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

Lines Matching refs:Dst
113   /// of the function are added into the Dst set, which represent the exit
118                                        ExplodedNodeSet &Dst) {
119     return Engine.ExecuteWorkListWithInitialState(L, Steps, InitState, Dst);
206                                ExplodedNode *Pred, ExplodedNodeSet &Dst);
208                          ExplodedNode *Pred, ExplodedNodeSet &Dst);
210                        ExplodedNode *Pred, ExplodedNodeSet &Dst);
212                          ExplodedNode *Pred, ExplodedNodeSet &Dst);
214                             ExplodedNode *Pred, ExplodedNodeSet &Dst);
226                      ExplodedNodeSet &Dst,
235                                 ExplodedNodeSet &Dst,
255                                  ExplodedNodeSet &Dst);
316   void Visit(const Stmt *S, ExplodedNode *Pred, ExplodedNodeSet &Dst);
321                                    ExplodedNodeSet &Dst);
325                        ExplodedNodeSet &Dst);
329                       ExplodedNodeSet &Dst);
333                       ExplodedNodeSet &Dst);
337                            ExplodedNodeSet &Dst);
342                      ExplodedNodeSet &Dst);
346                 ExplodedNodeSet &Dst);
350                                 ExplodedNode *Pred, ExplodedNodeSet &Dst);
354                               ExplodedNode *Pred, ExplodedNodeSet &Dst);
358                      ExplodedNodeSet &Dst);
362                         ExplodedNode *Pred, ExplodedNodeSet &Dst);
365                          ExplodedNodeSet &Dst);
369                         ExplodedNodeSet &Dst);
373                            ExplodedNodeSet &Dst);
377                                    ExplodedNode *Pred, ExplodedNodeSet &Dst);
381                                 ExplodedNodeSet &Dst);
386                                   ExplodedNode *Pred, ExplodedNodeSet &Dst);
389                         ExplodedNodeSet &Dst);
393                        ExplodedNodeSet &Dst);
397                          ExplodedNodeSet &Dst);
401                               ExplodedNode *Pred, ExplodedNodeSet &Dst);
405                           ExplodedNodeSet &Dst);
410                                        ExplodedNodeSet &Dst);
413                          ExplodedNodeSet &Dst);
416                         ExplodedNodeSet & Dst);
419                              ExplodedNodeSet &Dst);
423                           ExplodedNode *Pred, ExplodedNodeSet &Dst);
427                                 ExplodedNodeSet &Dst);
430                        ExplodedNodeSet &Dst);
433                           ExplodedNodeSet &Dst);
438                                 ExplodedNodeSet &Dst);
441   ///  expressions of the form 'x != 0' and generate new nodes (stored in Dst)
443   void evalEagerlyAssumeBinOpBifurcation(ExplodedNodeSet &Dst, ExplodedNodeSet &Src, 
478   void evalBind(ExplodedNodeSet &Dst, const Stmt *StoreE, ExplodedNode *Pred,
503   void evalLoad(ExplodedNodeSet &Dst,
514   void evalStore(ExplodedNodeSet &Dst, const Expr *AssignE, const Expr *StoreE,
526   void evalCall(ExplodedNodeSet &Dst, ExplodedNode *Pred,
533   void evalLoadCommon(ExplodedNodeSet &Dst,
544   void evalLocation(ExplodedNodeSet &Dst,