Core/PathSensitive/ExprEngine.h

272   void processCFGElement(const CFGElement E, ExplodedNode *Pred,
275   void ProcessStmt(const Stmt *S, ExplodedNode *Pred);
277   void ProcessLoopExit(const Stmt* S, ExplodedNode *Pred);
279   void ProcessInitializer(const CFGInitializer I, ExplodedNode *Pred);
281   void ProcessImplicitDtor(const CFGImplicitDtor D, ExplodedNode *Pred);
283   void ProcessNewAllocator(const CXXNewExpr *NE, ExplodedNode *Pred);
286                                ExplodedNode *Pred, ExplodedNodeSet &Dst);
288                          ExplodedNode *Pred, ExplodedNodeSet &Dst);
290                        ExplodedNode *Pred, ExplodedNodeSet &Dst);
292                          ExplodedNode *Pred, ExplodedNodeSet &Dst);
294                             ExplodedNode *Pred, ExplodedNodeSet &Dst);
299                                ExplodedNode *Pred) override;
305                      ExplodedNode *Pred,
315                                      ExplodedNode *Pred, ExplodedNodeSet &Dst,
323                                 ExplodedNode *Pred,
339                               ExplodedNode *Pred, ExplodedNodeSet &Dst,
345                             ExplodedNode *Pred,
350                                  ExplodedNode *Pred,
355                         ExplodedNode *Pred) override;
359   void processCallExit(ExplodedNode *Pred) override;
413   void Visit(const Stmt *S, ExplodedNode *Pred, ExplodedNodeSet &Dst);
417                                ExplodedNode *Pred,
421   void VisitGCCAsmStmt(const GCCAsmStmt *A, ExplodedNode *Pred,
425   void VisitMSAsmStmt(const MSAsmStmt *A, ExplodedNode *Pred,
429   void VisitBlockExpr(const BlockExpr *BE, ExplodedNode *Pred,
433   void VisitLambdaExpr(const LambdaExpr *LE, ExplodedNode *Pred,
437   void VisitBinaryOperator(const BinaryOperator* B, ExplodedNode *Pred,
442   void VisitCallExpr(const CallExpr *CE, ExplodedNode *Pred,
446   void VisitCast(const CastExpr *CastE, const Expr *Ex, ExplodedNode *Pred,
451                                 ExplodedNode *Pred, ExplodedNodeSet &Dst);
455                               ExplodedNode *Pred, ExplodedNodeSet &Dst);
458   void VisitDeclStmt(const DeclStmt *DS, ExplodedNode *Pred,
463                         ExplodedNode *Pred, ExplodedNodeSet &Dst);
465   void VisitInitListExpr(const InitListExpr *E, ExplodedNode *Pred,
469   void VisitLogicalExpr(const BinaryOperator* B, ExplodedNode *Pred,
473   void VisitMemberExpr(const MemberExpr *M, ExplodedNode *Pred,
477   void VisitAtomicExpr(const AtomicExpr *E, ExplodedNode *Pred,
482                                    ExplodedNode *Pred, ExplodedNodeSet &Dst);
485   void VisitLvalObjCIvarRefExpr(const ObjCIvarRefExpr *DR, ExplodedNode *Pred,
491                                   ExplodedNode *Pred, ExplodedNodeSet &Dst);
493   void VisitObjCMessage(const ObjCMessageExpr *ME, ExplodedNode *Pred,
497   void VisitReturnStmt(const ReturnStmt *R, ExplodedNode *Pred,
501   void VisitOffsetOfExpr(const OffsetOfExpr *Ex, ExplodedNode *Pred,
506                                      ExplodedNode *Pred, ExplodedNodeSet &Dst);
509   void VisitUnaryOperator(const UnaryOperator* B, ExplodedNode *Pred,
514                                        ExplodedNode *Pred,
521   void VisitCXXCatchStmt(const CXXCatchStmt *CS, ExplodedNode *Pred,
524   void VisitCXXThisExpr(const CXXThisExpr *TE, ExplodedNode *Pred,
527   void VisitCXXConstructExpr(const CXXConstructExpr *E, ExplodedNode *Pred,
532                           ExplodedNode *Pred, ExplodedNodeSet &Dst,
536                                 ExplodedNode *Pred,
539   void VisitCXXNewExpr(const CXXNewExpr *CNE, ExplodedNode *Pred,
542   void VisitCXXDeleteExpr(const CXXDeleteExpr *CDE, ExplodedNode *Pred,
547                                 ExplodedNode *Pred,
571                                       ExplodedNode *Pred);
577                                      ExplodedNode *Pred);
611   void evalBind(ExplodedNodeSet &Dst, const Stmt *StoreE, ExplodedNode *Pred,
646   // be the same as Pred->state, and when 'location' may not be the
652                 ExplodedNode *Pred,
661                  ExplodedNode *Pred, ProgramStateRef St, SVal TargetLV, SVal Val,
678   void evalCall(ExplodedNodeSet &Dst, ExplodedNode *Pred,
682   void defaultEvalCall(NodeBuilder &B, ExplodedNode *Pred,
689   void finishArgumentConstruction(ExplodedNodeSet &Dst, ExplodedNode *Pred,
695                       ExplodedNode *Pred,
704                     ExplodedNode *Pred,
722                                      const ExplodedNode *Pred,
747                         const ExplodedNode *Pred,
751                   ExplodedNode *Pred, ProgramStateRef State);
756                             ExplodedNode *Pred, ProgramStateRef State);
762                      ExplodedNode *Pred);
768   void performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred,