Lines Matching refs:generateNode

934     Bldr.generateNode(DiagnosticStmt, I, CleanedCheckerSt, &cleanupTag, K);  in removeDead()
981 Bldr.generateNode(PP, NewState, Pred); in ProcessLoopExit()
1016 Bldr.generateNode(PS, State, Pred); in ProcessInitializer()
1067 Bldr.generateNode(PP, State, I); in ProcessInitializer()
1115 Bldr.generateNode(PP, Pred->getState(), Pred); in ProcessNewAllocator()
1174 Bldr.generateNode(PP, Pred->getState(), Pred); in ProcessDeleteDtor()
1265 Bldr.generateNode(PP, State, Pred); in ProcessTemporaryDtor()
1271 StmtBldr.generateNode(D.getBindTemporaryExpr(), Pred, State); in ProcessTemporaryDtor()
1310 TempDtorBuilder.generateNode(State, true, Pred); in processCleanupTemporaryBranch()
1313 TempDtorBuilder.generateNode(State, false, Pred); in processCleanupTemporaryBranch()
1340 StmtBldr.generateNode(BTE, Node, State); in VisitCXXBindTemporaryExpr()
1527 Bldr.generateNode(S, Pred, state); in Visit()
1653 Bldr2.generateNode(S, I, State); in Visit()
1695 Bldr2.generateNode(S, N, State); in Visit()
1752 Bldr.generateNode(B, Pred, in Visit()
1787 Pred = Bldr.generateNode(OCE, Pred, NewState, /*tag=*/nullptr, in Visit()
2025 Bldr.generateNode(SE, Pred, in Visit()
2053 Bldr.generateNode(S, Pred, in Visit()
2057 Bldr.generateNode(S, Pred, in Visit()
2074 Bldr.generateNode(S, Pred, in Visit()
2159 ExplodedNode *UpdatedNode = nodeBuilder.generateNode(NewState, Pred); in processCFGBlockEntrance()
2182 nodeBuilder.generateNode(WidenedState, Pred); in processCFGBlockEntrance()
2416 NullCondBldr.generateNode(Pred->getState(), true, Pred); in processBranch()
2447 builder.generateNode(PrevState, true, PredN); in processBranch()
2448 builder.generateNode(PrevState, false, PredN); in processBranch()
2457 builder.generateNode(StTrue, true, PredN); in processBranch()
2465 builder.generateNode(StFalse, false, PredN); in processBranch()
2496 builder.generateNode(state, initHasRun, Pred); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
2522 builder.generateNode(I, state); in processIndirectGoto()
2542 builder.generateNode(I, state); in processIndirectGoto()
2597 Pred = Bldr.generateNode(Pred->getLocation(), State, Pred); in processEndOfFunction()
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()
2943 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, Base)); in VisitArrayInitLoopExpr()
2986 Bldr.generateNode(A, Node, state->BindExpr(A, LCtx, V), nullptr, in VisitArraySubscriptExpr()
2990 Bldr.generateNode(A, Node, state, nullptr); in VisitArraySubscriptExpr()
3032 Bldr.generateNode(M, I, state); in VisitMemberExpr()
3068 Bldr.generateNode(M, I, state->BindExpr(M, LCtx, L), nullptr, in VisitMemberExpr()
3111 Bldr.generateNode(AE, I, State, nullptr, in VisitAtomicExpr()
3241 Bldr.generateNode(L, state, Pred); in evalBind()
3263 Bldr.generateNode(L, state, PredI); in evalBind()
3331 Bldr.generateNode(NodeEx, I, state->BindExpr(BoundEx, LCtx, V), tag, in evalLoad()
3363 Bldr.generateNode(NodeEx, Pred, state, &tag); in evalLocation()
3410 Bldr.generateNode(Ex, Pred, StateTrue, tags.first); in evalEagerlyAssumeBinOpBifurcation()
3417 Bldr.generateNode(Ex, Pred, StateFalse, tags.second); in evalEagerlyAssumeBinOpBifurcation()
3443 Bldr.generateNode(A, Pred, state); in VisitGCCAsmStmt()
3449 Bldr.generateNode(A, Pred, Pred->getState()); in VisitMSAsmStmt()