H A D | ExprEngine.cpp | 432 ExplodedNodeSet Dst; local 438 Dst.insert(DstI); 442 Engine.enqueue(Dst, currBldrCtx->getBlock(), currStmtIdx); 518 ExplodedNodeSet Dst; local 519 NodeBuilder Bldr(Tmp, Dst, *currBldrCtx); 526 Engine.enqueue(Dst, currBldrCtx->getBlock(), currStmtIdx); 531 ExplodedNodeSet Dst; local 534 ProcessAutomaticObjDtor(D.castAs<CFGAutomaticObjDtor>(), Pred, Dst); 537 ProcessBaseDtor(D.castAs<CFGBaseDtor>(), Pred, Dst); 540 ProcessMemberDtor(D.castAs<CFGMemberDtor>(), Pred, Dst); 558 ExplodedNodeSet Dst; local 575 ProcessAutomaticObjDtor(const CFGAutomaticObjDtor Dtor, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument 594 ProcessDeleteDtor(const CFGDeleteDtor Dtor, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument 623 ProcessBaseDtor(const CFGBaseDtor D, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument 642 ProcessMemberDtor(const CFGMemberDtor D, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument 659 ProcessTemporaryDtor(const CFGTemporaryDtor D, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument 676 ExplodedNodeSet Dst; local 759 VisitObjCAtSynchronizedStmt(cast<ObjCAtSynchronizedStmt>(S), Pred, Dst); local 895 VisitLvalArraySubscriptExpr(cast<ArraySubscriptExpr>(S), Pred, Dst); local 901 VisitGCCAsmStmt(cast<GCCAsmStmt>(S), Pred, Dst); local 907 VisitMSAsmStmt(cast<MSAsmStmt>(S), Pred, Dst); local 913 VisitBlockExpr(cast<BlockExpr>(S), Pred, Dst); local 943 VisitBinaryOperator(cast<BinaryOperator>(S), Pred, Dst); local 976 VisitCallExpr(cast<CallExpr>(S), Pred, Dst); local 983 VisitCXXCatchStmt(cast<CXXCatchStmt>(S), Pred, Dst); local 991 VisitCXXConstructExpr(cast<CXXConstructExpr>(S), Pred, Dst); local 1031 VisitBinaryOperator(cast<BinaryOperator>(S), Pred, Dst); local 1037 VisitCompoundLiteralExpr(cast<CompoundLiteralExpr>(S), Pred, Dst); local 1053 VisitCXXThisExpr(cast<CXXThisExpr>(S), Pred, Dst); local 1067 VisitDeclStmt(cast<DeclStmt>(S), Pred, Dst); local 1108 VisitInitListExpr(cast<InitListExpr>(S), Pred, Dst); local 1114 VisitMemberExpr(cast<MemberExpr>(S), Pred, Dst); local 1120 VisitLvalObjCIvarRefExpr(cast<ObjCIvarRefExpr>(S), Pred, Dst); local 1126 VisitObjCForCollectionStmt(cast<ObjCForCollectionStmt>(S), Pred, Dst); local 1132 VisitObjCMessage(cast<ObjCMessageExpr>(S), Pred, Dst); local 1145 VisitReturnStmt(cast<ReturnStmt>(S), Pred, Dst); local 1151 VisitOffsetOfExpr(cast<OffsetOfExpr>(S), Pred, Dst); local 1158 Pred, Dst); local 1426 processBranch(const Stmt *Condition, const Stmt *Term, NodeBuilderContext& BldCtx, ExplodedNode *Pred, ExplodedNodeSet &Dst, const CFGBlock *DstT, const CFGBlock *DstF) argument 1527 processStaticInitializer(const DeclStmt *DS, NodeBuilderContext &BuilderCtx, ExplodedNode *Pred, clang::ento::ExplodedNodeSet &Dst, const CFGBlock *DstT, const CFGBlock *DstF) argument 1602 ExplodedNodeSet Dst; local 1727 VisitCommonDeclRefExpr(const Expr *Ex, const NamedDecl *D, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument 1782 VisitLvalArraySubscriptExpr(const ArraySubscriptExpr *A, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument 1809 VisitMemberExpr(const MemberExpr *M, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument 1822 ExplodedNodeSet Dst; local 2000 evalBind(ExplodedNodeSet &Dst, const Stmt *StoreE, ExplodedNode *Pred, SVal location, SVal Val, bool atDeclInit, const ProgramPoint *PP) argument 2062 evalStore(ExplodedNodeSet &Dst, const Expr *AssignE, const Expr *LocationE, ExplodedNode *Pred, ProgramStateRef state, SVal location, SVal Val, const ProgramPointTag *tag) argument 2085 evalLoad(ExplodedNodeSet &Dst, const Expr *NodeEx, const Expr *BoundEx, ExplodedNode *Pred, ProgramStateRef state, SVal location, const ProgramPointTag *tag, QualType LoadTy) argument 2124 evalLoadCommon(ExplodedNodeSet &Dst, const Expr *NodeEx, const Expr *BoundEx, ExplodedNode *Pred, ProgramStateRef state, SVal location, const ProgramPointTag *tag, QualType LoadTy) argument 2161 evalLocation(ExplodedNodeSet &Dst, const Stmt *NodeEx, const Stmt *BoundEx, ExplodedNode *Pred, ProgramStateRef state, SVal location, const ProgramPointTag *tag, bool isLoad) argument 2208 evalEagerlyAssumeBinOpBifurcation(ExplodedNodeSet &Dst, ExplodedNodeSet &Src, const Expr *Ex) argument 2250 VisitGCCAsmStmt(const GCCAsmStmt *A, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument 2273 VisitMSAsmStmt(const MSAsmStmt *A, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument [all...] |