Cross Reference: /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h

Lines Matching refs:Dst
114   /// of the function are added into the Dst set, which represent the exit
119                                        ExplodedNodeSet &Dst) {
120     return Engine.ExecuteWorkListWithInitialState(L, Steps, InitState, Dst);
205                                ExplodedNode *Pred, ExplodedNodeSet &Dst);
207                        ExplodedNode *Pred, ExplodedNodeSet &Dst);
209                          ExplodedNode *Pred, ExplodedNodeSet &Dst);
211                             ExplodedNode *Pred, ExplodedNodeSet &Dst);
223                      ExplodedNodeSet &Dst,
243                                  ExplodedNodeSet &Dst);
303   void Visit(const Stmt *S, ExplodedNode *Pred, ExplodedNodeSet &Dst);
308                                    ExplodedNodeSet &Dst);
312                        ExplodedNodeSet &Dst);
316                       ExplodedNodeSet &Dst);
320                       ExplodedNodeSet &Dst);
324                            ExplodedNodeSet &Dst);
329                      ExplodedNodeSet &Dst);
333                 ExplodedNodeSet &Dst);
337                                 ExplodedNode *Pred, ExplodedNodeSet &Dst);
341                               ExplodedNode *Pred, ExplodedNodeSet &Dst);
345                      ExplodedNodeSet &Dst);
349                         ExplodedNode *Pred, ExplodedNodeSet &Dst);
352                          ExplodedNodeSet &Dst);
356                         ExplodedNodeSet &Dst);
360                            ExplodedNodeSet &Dst);
364                                    ExplodedNode *Pred, ExplodedNodeSet &Dst);
368                                 ExplodedNodeSet &Dst);
373                                   ExplodedNode *Pred, ExplodedNodeSet &Dst);
376                         ExplodedNodeSet &Dst);
380                        ExplodedNodeSet &Dst);
384                          ExplodedNodeSet &Dst);
388                               ExplodedNode *Pred, ExplodedNodeSet &Dst);
392                           ExplodedNodeSet &Dst);
397                                        ExplodedNodeSet &Dst);
400                          ExplodedNodeSet &Dst);
403                         ExplodedNodeSet & Dst);
406                              ExplodedNodeSet &Dst);
410                           ExplodedNode *Pred, ExplodedNodeSet &Dst);
413                        ExplodedNodeSet &Dst);
416                           ExplodedNodeSet &Dst);
421                                 ExplodedNodeSet &Dst);
424   ///  expressions of the form 'x != 0' and generate new nodes (stored in Dst)
426   void evalEagerlyAssumeBinOpBifurcation(ExplodedNodeSet &Dst, ExplodedNodeSet &Src, 
461   void evalBind(ExplodedNodeSet &Dst, const Stmt *StoreE, ExplodedNode *Pred,
484   void evalLoad(ExplodedNodeSet &Dst,
495   void evalStore(ExplodedNodeSet &Dst, const Expr *AssignE, const Expr *StoreE,
507   void evalCall(ExplodedNodeSet &Dst, ExplodedNode *Pred,
514   void evalLoadCommon(ExplodedNodeSet &Dst,
525   void evalLocation(ExplodedNodeSet &Dst,