Lines Matching refs:Dst
432 ExplodedNodeSet Dst;
438 Dst.insert(DstI);
442 Engine.enqueue(Dst, currBldrCtx->getBlock(), currStmtIdx);
518 ExplodedNodeSet Dst;
519 NodeBuilder Bldr(Tmp, Dst, *currBldrCtx);
526 Engine.enqueue(Dst, currBldrCtx->getBlock(), currStmtIdx);
531 ExplodedNodeSet Dst;
534 ProcessAutomaticObjDtor(D.castAs<CFGAutomaticObjDtor>(), Pred, Dst);
537 ProcessBaseDtor(D.castAs<CFGBaseDtor>(), Pred, Dst);
540 ProcessMemberDtor(D.castAs<CFGMemberDtor>(), Pred, Dst);
543 ProcessTemporaryDtor(D.castAs<CFGTemporaryDtor>(), Pred, Dst);
546 ProcessDeleteDtor(D.castAs<CFGDeleteDtor>(), Pred, Dst);
553 Engine.enqueue(Dst, currBldrCtx->getBlock(), currStmtIdx);
558 ExplodedNodeSet Dst;
565 VisitCXXNewAllocatorCall(NE, Pred, Dst);
567 NodeBuilder Bldr(Pred, Dst, *currBldrCtx);
572 Engine.enqueue(Dst, currBldrCtx->getBlock(), currStmtIdx);
577 ExplodedNodeSet &Dst) {
591 Pred, Dst);
596 ExplodedNodeSet &Dst) {
612 NodeBuilder Bldr(Pred, Dst, *currBldrCtx);
620 Pred, Dst);
624 ExplodedNode *Pred, ExplodedNodeSet &Dst) {
639 CurDtor->getBody(), /*IsBase=*/ true, Pred, Dst);
643 ExplodedNode *Pred, ExplodedNodeSet &Dst) {
656 CurDtor->getBody(), /*IsBase=*/false, Pred, Dst);
661 ExplodedNodeSet &Dst) {
668 /*IsBase=*/ false, Pred, Dst);
676 ExplodedNodeSet Dst;
759 VisitObjCAtSynchronizedStmt(cast<ObjCAtSynchronizedStmt>(S), Pred, Dst);
760 Bldr.addNodes(Dst);
811 getCheckerManager().runCheckersForPostStmt(Dst, preVisit, S, *this);
812 Bldr.addNodes(Dst);
856 getCheckerManager().runCheckersForPostStmt(Dst, Tmp, S, *this);
857 Bldr.addNodes(Dst);
888 getCheckerManager().runCheckersForPostStmt(Dst, Tmp, S, *this);
889 Bldr.addNodes(Dst);
895 VisitLvalArraySubscriptExpr(cast<ArraySubscriptExpr>(S), Pred, Dst);
896 Bldr.addNodes(Dst);
901 VisitGCCAsmStmt(cast<GCCAsmStmt>(S), Pred, Dst);
902 Bldr.addNodes(Dst);
907 VisitMSAsmStmt(cast<MSAsmStmt>(S), Pred, Dst);
908 Bldr.addNodes(Dst);
913 VisitBlockExpr(cast<BlockExpr>(S), Pred, Dst);
914 Bldr.addNodes(Dst);
921 VisitLogicalExpr(B, Pred, Dst);
922 Bldr.addNodes(Dst);
940 evalEagerlyAssumeBinOpBifurcation(Dst, Tmp, cast<Expr>(S));
943 VisitBinaryOperator(cast<BinaryOperator>(S), Pred, Dst);
945 Bldr.addNodes(Dst);
976 VisitCallExpr(cast<CallExpr>(S), Pred, Dst);
977 Bldr.addNodes(Dst);
983 VisitCXXCatchStmt(cast<CXXCatchStmt>(S), Pred, Dst);
984 Bldr.addNodes(Dst);
991 VisitCXXConstructExpr(cast<CXXConstructExpr>(S), Pred, Dst);
992 Bldr.addNodes(Dst);
1000 getCheckerManager().runCheckersForPostStmt(Dst, PostVisit, S, *this);
1001 Bldr.addNodes(Dst);
1013 VisitCXXDeleteExpr(CDE, *i, Dst);
1015 Bldr.addNodes(Dst);
1024 VisitGuardedExpr(C, C->getLHS(), C->getRHS(), Pred, Dst);
1025 Bldr.addNodes(Dst);
1031 VisitBinaryOperator(cast<BinaryOperator>(S), Pred, Dst);
1032 Bldr.addNodes(Dst);
1037 VisitCompoundLiteralExpr(cast<CompoundLiteralExpr>(S), Pred, Dst);
1038 Bldr.addNodes(Dst);
1046 VisitGuardedExpr(C, C->getTrueExpr(), C->getFalseExpr(), Pred, Dst);
1047 Bldr.addNodes(Dst);
1053 VisitCXXThisExpr(cast<CXXThisExpr>(S), Pred, Dst);
1054 Bldr.addNodes(Dst);
1060 VisitCommonDeclRefExpr(DE, DE->getDecl(), Pred, Dst);
1061 Bldr.addNodes(Dst);
1067 VisitDeclStmt(cast<DeclStmt>(S), Pred, Dst);
1068 Bldr.addNodes(Dst);
1093 getCheckerManager().runCheckersForPostStmt(Dst, dstExpr, C, *this);
1094 Bldr.addNodes(Dst);
1101 CreateCXXTemporaryObject(MTE, Pred, Dst);
1102 Bldr.addNodes(Dst);
1108 VisitInitListExpr(cast<InitListExpr>(S), Pred, Dst);
1109 Bldr.addNodes(Dst);
1114 VisitMemberExpr(cast<MemberExpr>(S), Pred, Dst);
1115 Bldr.addNodes(Dst);
1120 VisitLvalObjCIvarRefExpr(cast<ObjCIvarRefExpr>(S), Pred, Dst);
1121 Bldr.addNodes(Dst);
1126 VisitObjCForCollectionStmt(cast<ObjCForCollectionStmt>(S), Pred, Dst);
1127 Bldr.addNodes(Dst);
1132 VisitObjCMessage(cast<ObjCMessageExpr>(S), Pred, Dst);
1133 Bldr.addNodes(Dst);
1145 VisitReturnStmt(cast<ReturnStmt>(S), Pred, Dst);
1146 Bldr.addNodes(Dst);
1151 VisitOffsetOfExpr(cast<OffsetOfExpr>(S), Pred, Dst);
1152 Bldr.addNodes(Dst);
1158 Pred, Dst);
1159 Bldr.addNodes(Dst);
1188 evalEagerlyAssumeBinOpBifurcation(Dst, Tmp, U);
1191 VisitUnaryOperator(U, Pred, Dst);
1192 Bldr.addNodes(Dst);
1210 Bldr.addNodes(Dst);
1429 ExplodedNodeSet &Dst,
1438 BranchNodeBuilder NullCondBldr(Pred, Dst, BldCtx, DstT, DstF);
1460 BranchNodeBuilder builder(CheckersOutSet, Dst, BldCtx, DstT, DstF);
1530 clang::ento::ExplodedNodeSet &Dst,
1539 BranchNodeBuilder builder(Pred, Dst, BuilderCtx, DstT, DstF);
1602 ExplodedNodeSet Dst;
1611 getCheckerManager().runCheckersForEndFunction(BC, Dst, *I, *this);
1614 getCheckerManager().runCheckersForEndFunction(BC, Dst, Pred, *this);
1617 Engine.enqueueEndOfFunction(Dst);
1729 ExplodedNodeSet &Dst) {
1730 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
1784 ExplodedNodeSet &Dst){
1793 StmtNodeBuilder Bldr(checkerPreStmt, Dst, *currBldrCtx);
1810 ExplodedNodeSet &Dst) {
1822 ExplodedNodeSet Dst;
1887 getCheckerManager().runCheckersForPostStmt(Dst, EvalSet, M, *this);
2000 void ExprEngine::evalBind(ExplodedNodeSet &Dst, const Stmt *StoreE,
2016 StmtNodeBuilder Bldr(CheckedSet, Dst, *currBldrCtx);
2055 /// @param Dst The node set to store generated state nodes
2062 void ExprEngine::evalStore(ExplodedNodeSet &Dst, const Expr *AssignE,
2082 evalBind(Dst, StoreE, *NI, location, Val, false);
2085 void ExprEngine::evalLoad(ExplodedNodeSet &Dst,
2115 evalLoadCommon(Dst, NodeEx, BoundEx, *I, state, location, tag, LoadTy);
2121 evalLoadCommon(Dst, NodeEx, BoundEx, Pred, state, location, tag, LoadTy);
2124 void ExprEngine::evalLoadCommon(ExplodedNodeSet &Dst,
2140 StmtNodeBuilder Bldr(Tmp, Dst, *currBldrCtx);
2161 void ExprEngine::evalLocation(ExplodedNodeSet &Dst,
2169 StmtNodeBuilder BldrTop(Pred, Dst, *currBldrCtx);
2208 void ExprEngine::evalEagerlyAssumeBinOpBifurcation(ExplodedNodeSet &Dst,
2211 StmtNodeBuilder Bldr(Src, Dst, *currBldrCtx);
2251 ExplodedNodeSet &Dst) {
2252 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
2274 ExplodedNodeSet &Dst) {
2275 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);