Lines Matching refs:generateNode
341 Bldr.generateNode(DiagnosticStmt, Pred, CleanedState, &cleanupTag, K);
373 Bldr.generateNode(DiagnosticStmt, *I, CleanedCheckerSt, &cleanupTag, K);
457 Bldr.generateNode(PP, N->getState(), N);
621 Bldr.generateNode(S, Pred, state);
710 Bldr2.generateNode(S, *I, State);
741 Bldr2.generateNode(S, N, state);
783 Bldr.generateNode(B, Pred,
818 Pred = Bldr.generateNode(OCE, Pred, NewState, /*Tag=*/0,
1026 Bldr.generateNode(SE, Pred,
1054 Bldr.generateNode(S, Pred,
1058 Bldr.generateNode(S, Pred,
1264 NullCondBldr.generateNode(Pred->getState(), true, Pred);
1318 builder.generateNode(PrevState, true, PredI);
1319 builder.generateNode(PrevState, false, PredI);
1331 builder.generateNode(StTrue, true, PredI);
1339 builder.generateNode(StFalse, false, PredI);
1368 builder.generateNode(I, state);
1378 //ExplodedNode* N = builder.generateNode(builder.begin(), state, true);
1388 builder.generateNode(I, state);
1543 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), 0,
1550 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V));
1555 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), 0,
1566 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), 0,
1596 Bldr.generateNode(A, *it, state->BindExpr(A, LCtx, V), 0,
1630 Bldr.generateNode(M, Pred, state);
1648 Bldr.generateNode(M, Pred, state->BindExpr(M, LCtx, L), 0,
1794 Bldr.generateNode(L, state, Pred);
1819 Bldr.generateNode(L, state, PredI);
1925 Bldr.generateNode(NodeEx, *NI, state->BindExpr(BoundEx, LCtx, V), tag,
1958 Bldr.generateNode(NodeEx, Pred, state, &tag);
2004 Bldr.generateNode(Ex, Pred, StateTrue, tags.first);
2011 Bldr.generateNode(Ex, Pred, StateFalse, tags.second);
2038 Bldr.generateNode(A, Pred, state);
2044 Bldr.generateNode(A, Pred, Pred->getState());
