Lines Matching refs:Pred
796 void ExprEngine::processCFGElement(const CFGElement E, ExplodedNode *Pred, in processCFGElement() argument
798 PrettyStackTraceLocationContext CrashInfo(Pred->getLocationContext()); in processCFGElement()
806 ProcessStmt(E.castAs<CFGStmt>().getStmt(), Pred); in processCFGElement()
809 ProcessInitializer(E.castAs<CFGInitializer>(), Pred); in processCFGElement()
813 Pred); in processCFGElement()
820 ProcessImplicitDtor(E.castAs<CFGImplicitDtor>(), Pred); in processCFGElement()
823 ProcessLoopExit(E.castAs<CFGLoopExit>().getLoopStmt(), Pred); in processCFGElement()
834 const ExplodedNode *Pred, in shouldRemoveDeadBindings() argument
841 if (Pred->getLocation().getAs<BlockEntrance>()) in shouldRemoveDeadBindings()
858 void ExprEngine::removeDead(ExplodedNode *Pred, ExplodedNodeSet &Out, in removeDead() argument
874 ProgramStateRef CleanedState = Pred->getState(); in removeDead()
909 getCheckerManager().runCheckersForDeadSymbols(CheckedSet, Pred, SymReaper, in removeDead()
923 assert(StateMgr.haveEqualEnvironments(CheckerState, Pred->getState()) && in removeDead()
926 assert(StateMgr.haveEqualStores(CheckerState, Pred->getState()) && in removeDead()
938 void ExprEngine::ProcessStmt(const Stmt *currStmt, ExplodedNode *Pred) { in ProcessStmt() argument
948 if (shouldRemoveDeadBindings(AMgr, currStmt, Pred, in ProcessStmt()
949 Pred->getLocationContext())) { in ProcessStmt()
950 removeDead(Pred, CleanedStates, currStmt, in ProcessStmt()
951 Pred->getLocationContext()); in ProcessStmt()
953 CleanedStates.Add(Pred); in ProcessStmt()
968 void ExprEngine::ProcessLoopExit(const Stmt* S, ExplodedNode *Pred) { in ProcessLoopExit() argument
973 Dst.Add(Pred); in ProcessLoopExit()
974 NodeBuilder Bldr(Pred, Dst, *currBldrCtx); in ProcessLoopExit()
975 ProgramStateRef NewState = Pred->getState(); in ProcessLoopExit()
980 LoopExit PP(S, Pred->getLocationContext()); in ProcessLoopExit()
981 Bldr.generateNode(PP, NewState, Pred); in ProcessLoopExit()
987 ExplodedNode *Pred) { in ProcessInitializer() argument
990 const LocationContext *LC = Pred->getLocationContext(); in ProcessInitializer()
997 const auto *stackFrame = cast<StackFrameContext>(Pred->getLocationContext()); in ProcessInitializer()
1000 ProgramStateRef State = Pred->getState(); in ProcessInitializer()
1014 NodeBuilder Bldr(Pred, Tmp, *currBldrCtx); in ProcessInitializer()
1016 Bldr.generateNode(PS, State, Pred); in ProcessInitializer()
1052 evalBind(Tmp, Init, Pred, FieldLoc, InitVal, /*isInit=*/true, &PP); in ProcessInitializer()
1056 Tmp.insert(Pred); in ProcessInitializer()
1075 ExplodedNode *Pred) { in ProcessImplicitDtor() argument
1079 ProcessAutomaticObjDtor(D.castAs<CFGAutomaticObjDtor>(), Pred, Dst); in ProcessImplicitDtor()
1082 ProcessBaseDtor(D.castAs<CFGBaseDtor>(), Pred, Dst); in ProcessImplicitDtor()
1085 ProcessMemberDtor(D.castAs<CFGMemberDtor>(), Pred, Dst); in ProcessImplicitDtor()
1088 ProcessTemporaryDtor(D.castAs<CFGTemporaryDtor>(), Pred, Dst); in ProcessImplicitDtor()
1091 ProcessDeleteDtor(D.castAs<CFGDeleteDtor>(), Pred, Dst); in ProcessImplicitDtor()
1102 ExplodedNode *Pred) { in ProcessNewAllocator() argument
1110 VisitCXXNewAllocatorCall(NE, Pred, Dst); in ProcessNewAllocator()
1112 NodeBuilder Bldr(Pred, Dst, *currBldrCtx); in ProcessNewAllocator()
1113 const LocationContext *LCtx = Pred->getLocationContext(); in ProcessNewAllocator()
1115 Bldr.generateNode(PP, Pred->getState(), Pred); in ProcessNewAllocator()
1121 ExplodedNode *Pred, in ProcessAutomaticObjDtor() argument
1126 ProgramStateRef state = Pred->getState(); in ProcessAutomaticObjDtor()
1127 SVal dest = state->getLValue(varDecl, Pred->getLocationContext()); in ProcessAutomaticObjDtor()
1152 /*IsBase=*/false, Pred, Dst, CallOpts); in ProcessAutomaticObjDtor()
1156 ExplodedNode *Pred, in ProcessDeleteDtor() argument
1158 ProgramStateRef State = Pred->getState(); in ProcessDeleteDtor()
1159 const LocationContext *LCtx = Pred->getLocationContext(); in ProcessDeleteDtor()
1173 NodeBuilder Bldr(Pred, Dst, *currBldrCtx); in ProcessDeleteDtor()
1174 Bldr.generateNode(PP, Pred->getState(), Pred); in ProcessDeleteDtor()
1192 VisitCXXDestructor(DTy, ArgR, DE, /*IsBase=*/false, Pred, Dst, CallOpts); in ProcessDeleteDtor()
1196 ExplodedNode *Pred, ExplodedNodeSet &Dst) { in ProcessBaseDtor() argument
1197 const LocationContext *LCtx = Pred->getLocationContext(); in ProcessBaseDtor()
1202 SVal ThisVal = Pred->getState()->getSVal(ThisPtr); in ProcessBaseDtor()
1212 /*IsBase=*/true, Pred, Dst, CallOpts); in ProcessBaseDtor()
1216 ExplodedNode *Pred, ExplodedNodeSet &Dst) { in ProcessMemberDtor() argument
1219 ProgramStateRef State = Pred->getState(); in ProcessMemberDtor()
1220 const LocationContext *LCtx = Pred->getLocationContext(); in ProcessMemberDtor()
1235 /*IsBase=*/false, Pred, Dst, CallOpts); in ProcessMemberDtor()
1239 ExplodedNode *Pred, in ProcessTemporaryDtor() argument
1242 ProgramStateRef State = Pred->getState(); in ProcessTemporaryDtor()
1243 const LocationContext *LC = Pred->getLocationContext(); in ProcessTemporaryDtor()
1248 Pred->getLocationContext())) { in ProcessTemporaryDtor()
1253 Pred->getLocationContext()); in ProcessTemporaryDtor()
1261 NodeBuilder Bldr(Pred, Dst, *currBldrCtx); in ProcessTemporaryDtor()
1264 Pred->getLocationContext()); in ProcessTemporaryDtor()
1265 Bldr.generateNode(PP, State, Pred); in ProcessTemporaryDtor()
1270 StmtNodeBuilder StmtBldr(Pred, CleanDtorState, *currBldrCtx); in ProcessTemporaryDtor()
1271 StmtBldr.generateNode(D.getBindTemporaryExpr(), Pred, State); in ProcessTemporaryDtor()
1278 CleanDtorState.empty() ? Pred : *CleanDtorState.begin(); in ProcessTemporaryDtor()
1301 ExplodedNode *Pred, in processCleanupTemporaryBranch() argument
1305 BranchNodeBuilder TempDtorBuilder(Pred, Dst, BldCtx, DstT, DstF); in processCleanupTemporaryBranch()
1306 ProgramStateRef State = Pred->getState(); in processCleanupTemporaryBranch()
1307 const LocationContext *LC = Pred->getLocationContext(); in processCleanupTemporaryBranch()
1310 TempDtorBuilder.generateNode(State, true, Pred); in processCleanupTemporaryBranch()
1313 TempDtorBuilder.generateNode(State, false, Pred); in processCleanupTemporaryBranch()
1371 void ExprEngine::Visit(const Stmt *S, ExplodedNode *Pred, in Visit() argument
1376 StmtNodeBuilder Bldr(Pred, DstTop, *currBldrCtx); in Visit()
1482 const ExplodedNode *node = Bldr.generateSink(S, Pred, Pred->getState()); in Visit()
1523 ProgramStateRef state = Pred->getState(); in Visit()
1525 S, Pred->getLocationContext(), in Visit()
1527 Bldr.generateNode(S, Pred, state); in Visit()
1532 Bldr.takeNodes(Pred); in Visit()
1533 VisitObjCAtSynchronizedStmt(cast<ObjCAtSynchronizedStmt>(S), Pred, Dst); in Visit()
1543 Bldr.takeNodes(Pred); in Visit()
1545 getCheckerManager().runCheckersForPreStmt(PreVisit, Pred, S, *this); in Visit()
1554 Bldr.takeNodes(Pred); in Visit()
1555 VisitArrayInitLoopExpr(cast<ArrayInitLoopExpr>(S), Pred, Dst); in Visit()
1610 Bldr.takeNodes(Pred); in Visit()
1612 getCheckerManager().runCheckersForPreStmt(preVisit, Pred, S, *this); in Visit()
1620 Bldr.takeNodes(Pred); in Visit()
1622 getCheckerManager().runCheckersForPreStmt(PreVisit, Pred, S, *this); in Visit()
1645 const LocationContext *LCtx = Pred->getLocationContext(); in Visit()
1666 Bldr.takeNodes(Pred); in Visit()
1669 getCheckerManager().runCheckersForPreStmt(preVisit, Pred, S, *this); in Visit()
1704 Bldr.takeNodes(Pred); in Visit()
1705 VisitArraySubscriptExpr(cast<ArraySubscriptExpr>(S), Pred, Dst); in Visit()
1714 Bldr.takeNodes(Pred); in Visit()
1715 VisitGCCAsmStmt(cast<GCCAsmStmt>(S), Pred, Dst); in Visit()
1720 Bldr.takeNodes(Pred); in Visit()
1721 VisitMSAsmStmt(cast<MSAsmStmt>(S), Pred, Dst); in Visit()
1726 Bldr.takeNodes(Pred); in Visit()
1727 VisitBlockExpr(cast<BlockExpr>(S), Pred, Dst); in Visit()
1733 Bldr.takeNodes(Pred); in Visit()
1734 VisitLambdaExpr(cast<LambdaExpr>(S), Pred, Dst); in Visit()
1737 const ExplodedNode *node = Bldr.generateSink(S, Pred, Pred->getState()); in Visit()
1745 Bldr.takeNodes(Pred); in Visit()
1746 VisitLogicalExpr(B, Pred, Dst); in Visit()
1751 ProgramStateRef state = Pred->getState(); in Visit()
1752 Bldr.generateNode(B, Pred, in Visit()
1753 state->BindExpr(B, Pred->getLocationContext(), in Visit()
1755 Pred->getLocationContext()))); in Visit()
1759 Bldr.takeNodes(Pred); in Visit()
1764 VisitBinaryOperator(cast<BinaryOperator>(S), Pred, Tmp); in Visit()
1768 VisitBinaryOperator(cast<BinaryOperator>(S), Pred, Dst); in Visit()
1782 ProgramStateRef State = Pred->getState(); in Visit()
1783 const LocationContext *LCtx = Pred->getLocationContext(); in Visit()
1787 Pred = Bldr.generateNode(OCE, Pred, NewState, /*tag=*/nullptr, in Visit()
1790 if (!Pred) in Visit()
1802 Bldr.takeNodes(Pred); in Visit()
1803 VisitCallExpr(cast<CallExpr>(S), Pred, Dst); in Visit()
1808 Bldr.takeNodes(Pred); in Visit()
1809 VisitCXXCatchStmt(cast<CXXCatchStmt>(S), Pred, Dst); in Visit()
1815 Bldr.takeNodes(Pred); in Visit()
1816 VisitCXXConstructExpr(cast<CXXConstructExpr>(S), Pred, Dst); in Visit()
1821 Bldr.takeNodes(Pred); in Visit()
1822 VisitCXXInheritedCtorInitExpr(cast<CXXInheritedCtorInitExpr>(S), Pred, in Visit()
1828 Bldr.takeNodes(Pred); in Visit()
1831 getCheckerManager().runCheckersForPreStmt(PreVisit, Pred, S, *this); in Visit()
1843 Bldr.takeNodes(Pred); in Visit()
1846 getCheckerManager().runCheckersForPreStmt(PreVisit, Pred, S, *this); in Visit()
1860 Bldr.takeNodes(Pred); in Visit()
1862 VisitGuardedExpr(C, C->getLHS(), C->getRHS(), Pred, Dst); in Visit()
1868 Bldr.takeNodes(Pred); in Visit()
1869 VisitBinaryOperator(cast<BinaryOperator>(S), Pred, Dst); in Visit()
1874 Bldr.takeNodes(Pred); in Visit()
1875 VisitCompoundLiteralExpr(cast<CompoundLiteralExpr>(S), Pred, Dst); in Visit()
1881 Bldr.takeNodes(Pred); in Visit()
1883 VisitGuardedExpr(C, C->getTrueExpr(), C->getFalseExpr(), Pred, Dst); in Visit()
1889 Bldr.takeNodes(Pred); in Visit()
1890 VisitCXXThisExpr(cast<CXXThisExpr>(S), Pred, Dst); in Visit()
1895 Bldr.takeNodes(Pred); in Visit()
1897 VisitCommonDeclRefExpr(DE, DE->getDecl(), Pred, Dst); in Visit()
1903 Bldr.takeNodes(Pred); in Visit()
1904 VisitDeclStmt(cast<DeclStmt>(S), Pred, Dst); in Visit()
1918 Bldr.takeNodes(Pred); in Visit()
1921 VisitCast(C, C->getSubExpr(), Pred, dstExpr); in Visit()
1930 Bldr.takeNodes(Pred); in Visit()
1933 getCheckerManager().runCheckersForPreStmt(dstPrevisit, Pred, MTE, *this); in Visit()
1943 Bldr.takeNodes(Pred); in Visit()
1944 VisitInitListExpr(cast<InitListExpr>(S), Pred, Dst); in Visit()
1949 Bldr.takeNodes(Pred); in Visit()
1950 VisitMemberExpr(cast<MemberExpr>(S), Pred, Dst); in Visit()
1955 Bldr.takeNodes(Pred); in Visit()
1956 VisitAtomicExpr(cast<AtomicExpr>(S), Pred, Dst); in Visit()
1961 Bldr.takeNodes(Pred); in Visit()
1962 VisitLvalObjCIvarRefExpr(cast<ObjCIvarRefExpr>(S), Pred, Dst); in Visit()
1967 Bldr.takeNodes(Pred); in Visit()
1968 VisitObjCForCollectionStmt(cast<ObjCForCollectionStmt>(S), Pred, Dst); in Visit()
1973 Bldr.takeNodes(Pred); in Visit()
1974 VisitObjCMessage(cast<ObjCMessageExpr>(S), Pred, Dst); in Visit()
1982 Bldr.generateSink(S, Pred, Pred->getState()); in Visit()
1986 Bldr.takeNodes(Pred); in Visit()
1987 VisitReturnStmt(cast<ReturnStmt>(S), Pred, Dst); in Visit()
1992 Bldr.takeNodes(Pred); in Visit()
1994 getCheckerManager().runCheckersForPreStmt(PreVisit, Pred, S, *this); in Visit()
2006 Bldr.takeNodes(Pred); in Visit()
2008 Pred, Dst); in Visit()
2024 ProgramStateRef state = Pred->getState(); in Visit()
2025 Bldr.generateNode(SE, Pred, in Visit()
2026 state->BindExpr(SE, Pred->getLocationContext(), in Visit()
2028 Pred->getLocationContext()))); in Visit()
2034 Bldr.takeNodes(Pred); in Visit()
2038 VisitUnaryOperator(U, Pred, Tmp); in Visit()
2042 VisitUnaryOperator(U, Pred, Dst); in Visit()
2048 Bldr.takeNodes(Pred); in Visit()
2049 ProgramStateRef state = Pred->getState(); in Visit()
2052 SVal V = state->getSVal(Result, Pred->getLocationContext()); in Visit()
2053 Bldr.generateNode(S, Pred, in Visit()
2054 state->BindExpr(S, Pred->getLocationContext(), V)); in Visit()
2057 Bldr.generateNode(S, Pred, in Visit()
2058 state->BindExpr(S, Pred->getLocationContext(), in Visit()
2069 Bldr.takeNodes(Pred); in Visit()
2070 ProgramStateRef state = Pred->getState(); in Visit()
2073 SVal V = state->getSVal(E, Pred->getLocationContext()); in Visit()
2074 Bldr.generateNode(S, Pred, in Visit()
2075 state->BindExpr(S, Pred->getLocationContext(), V)); in Visit()
2148 ExplodedNode *Pred) { in processCFGBlockEntrance() argument
2149 PrettyStackTraceLocationContext CrashInfo(Pred->getLocationContext()); in processCFGBlockEntrance()
2157 Pred, maxBlockVisitOnPath); in processCFGBlockEntrance()
2158 if (NewState != Pred->getState()) { in processCFGBlockEntrance()
2159 ExplodedNode *UpdatedNode = nodeBuilder.generateNode(NewState, Pred); in processCFGBlockEntrance()
2162 Pred = UpdatedNode; in processCFGBlockEntrance()
2166 if(isUnrolledState(Pred->getState())) in processCFGBlockEntrance()
2179 const LocationContext *LCtx = Pred->getLocationContext(); in processCFGBlockEntrance()
2181 getWidenedLoopState(Pred->getState(), LCtx, BlockCount, Term); in processCFGBlockEntrance()
2182 nodeBuilder.generateNode(WidenedState, Pred); in processCFGBlockEntrance()
2190 nodeBuilder.generateSink(Pred->getState(), Pred, &tag); in processCFGBlockEntrance()
2194 const LocationContext *CalleeLC = Pred->getLocation().getLocationContext(); in processCFGBlockEntrance()
2206 replayWithoutInlining(Pred, CalleeLC))) in processCFGBlockEntrance()
2402 ExplodedNode *Pred, in processBranch() argument
2408 const LocationContext *LCtx = Pred->getLocationContext(); in processBranch()
2414 BranchNodeBuilder NullCondBldr(Pred, Dst, BldCtx, DstT, DstF); in processBranch()
2416 NullCondBldr.generateNode(Pred->getState(), true, Pred); in processBranch()
2430 Pred, *this); in processBranch()
2480 ExplodedNode *Pred, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
2484 PrettyStackTraceLocationContext CrashInfo(Pred->getLocationContext()); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
2488 ProgramStateRef state = Pred->getState(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
2490 BranchNodeBuilder builder(Pred, Dst, BuilderCtx, DstT, DstF); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
2496 builder.generateNode(state, initHasRun, Pred); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
2546 ExplodedNode *Pred, in processBeginOfFunction() argument
2550 getCheckerManager().runCheckersForBeginFunction(Dst, L, Pred, *this); in processBeginOfFunction()
2556 ExplodedNode *Pred, in processEndOfFunction() argument
2558 ProgramStateRef State = Pred->getState(); in processEndOfFunction()
2560 if (!Pred->getStackFrame()->inTopFrame()) in processEndOfFunction()
2563 Pred->getStackFrame(), Pred->getState())); in processEndOfFunction()
2573 const LocationContext *FromLC = Pred->getLocationContext(); in processEndOfFunction()
2594 if (State != Pred->getState()) { in processEndOfFunction()
2596 NodeBuilder Bldr(Pred, PostCleanup, BC); in processEndOfFunction()
2597 Pred = Bldr.generateNode(Pred->getLocation(), State, Pred); in processEndOfFunction()
2598 if (!Pred) { in processEndOfFunction()
2605 assert(areAllObjectsFullyConstructed(Pred->getState(), in processEndOfFunction()
2606 Pred->getLocationContext(), in processEndOfFunction()
2607 Pred->getStackFrame()->getParent())); in processEndOfFunction()
2609 PrettyStackTraceLocationContext CrashInfo(Pred->getLocationContext()); in processEndOfFunction()
2612 if (Pred->getLocationContext()->inTopFrame()) { in processEndOfFunction()
2615 removeDeadOnEndOfFunction(BC, Pred, AfterRemovedDead); in processEndOfFunction()
2621 getCheckerManager().runCheckersForEndFunction(BC, Dst, Pred, *this, RS); in processEndOfFunction()
2713 ExplodedNode *Pred, in VisitCommonDeclRefExpr() argument
2715 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx); in VisitCommonDeclRefExpr()
2717 ProgramStateRef state = Pred->getState(); in VisitCommonDeclRefExpr()
2718 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCommonDeclRefExpr()
2724 const LocationContext *LocCtxt = Pred->getLocationContext(); in VisitCommonDeclRefExpr()
2764 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), nullptr, in VisitCommonDeclRefExpr()
2771 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V)); in VisitCommonDeclRefExpr()
2776 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), nullptr, in VisitCommonDeclRefExpr()
2836 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), nullptr, in VisitCommonDeclRefExpr()
2853 ExplodedNode *Pred, in VisitArrayInitLoopExpr() argument
2856 getCheckerManager().runCheckersForPreStmt(CheckerPreStmt, Pred, Ex, *this); in VisitArrayInitLoopExpr()
2943 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, Base)); in VisitArrayInitLoopExpr()
2951 ExplodedNode *Pred, in VisitArraySubscriptExpr() argument
2957 getCheckerManager().runCheckersForPreStmt(CheckerPreStmt, Pred, A, *this); in VisitArraySubscriptExpr()
3001 void ExprEngine::VisitMemberExpr(const MemberExpr *M, ExplodedNode *Pred, in VisitMemberExpr() argument
3005 getCheckerManager().runCheckersForPreStmt(CheckedSet, Pred, M, *this); in VisitMemberExpr()
3081 void ExprEngine::VisitAtomicExpr(const AtomicExpr *AE, ExplodedNode *Pred, in VisitAtomicExpr() argument
3084 getCheckerManager().runCheckersForPreStmt(AfterPreSet, Pred, AE, *this); in VisitAtomicExpr()
3219 ExplodedNode *Pred, in evalBind() argument
3222 const LocationContext *LC = Pred->getLocationContext(); in evalBind()
3229 getCheckerManager().runCheckersForBind(CheckedSet, Pred, location, Val, in evalBind()
3239 ProgramStateRef state = Pred->getState(); in evalBind()
3241 Bldr.generateNode(L, state, Pred); in evalBind()
3277 ExplodedNode *Pred, in evalStore() argument
3286 evalLocation(Tmp, AssignE, LocationE, Pred, state, location, false); in evalStore()
3301 ExplodedNode *Pred, in evalLoad() argument
3311 evalLocation(Tmp, NodeEx, BoundEx, Pred, state, location, true); in evalLoad()
3339 ExplodedNode *Pred, in evalLocation() argument
3343 StmtNodeBuilder BldrTop(Pred, Dst, *currBldrCtx); in evalLocation()
3350 BldrTop.takeNodes(Pred); in evalLocation()
3351 StmtNodeBuilder Bldr(Pred, Src, *currBldrCtx); in evalLocation()
3352 if (Pred->getState() != state) { in evalLocation()
3363 Bldr.generateNode(NodeEx, Pred, state, &tag); in evalLocation()
3387 for (const auto Pred : Src) { in evalEagerlyAssumeBinOpBifurcation() local
3391 ProgramPoint P = Pred->getLocation(); in evalEagerlyAssumeBinOpBifurcation()
3396 ProgramStateRef state = Pred->getState(); in evalEagerlyAssumeBinOpBifurcation()
3397 SVal V = state->getSVal(Ex, Pred->getLocationContext()); in evalEagerlyAssumeBinOpBifurcation()
3409 StateTrue = StateTrue->BindExpr(Ex, Pred->getLocationContext(), Val); in evalEagerlyAssumeBinOpBifurcation()
3410 Bldr.generateNode(Ex, Pred, StateTrue, tags.first); in evalEagerlyAssumeBinOpBifurcation()
3416 StateFalse = StateFalse->BindExpr(Ex, Pred->getLocationContext(), Val); in evalEagerlyAssumeBinOpBifurcation()
3417 Bldr.generateNode(Ex, Pred, StateFalse, tags.second); in evalEagerlyAssumeBinOpBifurcation()
3423 void ExprEngine::VisitGCCAsmStmt(const GCCAsmStmt *A, ExplodedNode *Pred, in VisitGCCAsmStmt() argument
3425 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx); in VisitGCCAsmStmt()
3433 ProgramStateRef state = Pred->getState(); in VisitGCCAsmStmt()
3436 SVal X = state->getSVal(O, Pred->getLocationContext()); in VisitGCCAsmStmt()
3440 state = state->bindLoc(*LV, UnknownVal(), Pred->getLocationContext()); in VisitGCCAsmStmt()
3443 Bldr.generateNode(A, Pred, state); in VisitGCCAsmStmt()
3446 void ExprEngine::VisitMSAsmStmt(const MSAsmStmt *A, ExplodedNode *Pred, in VisitMSAsmStmt() argument
3448 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx); in VisitMSAsmStmt()
3449 Bldr.generateNode(A, Pred, Pred->getState()); in VisitMSAsmStmt()