Lines Matching refs:Bldr
28 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
34 Bldr.generateNode(ME, Pred, state);
39 void ExprEngine::performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred,
59 Bldr.takeNodes(Pred);
81 Bldr.generateNode(PS, State, *I);
232 StmtNodeBuilder Bldr(DstPreVisit, PreInitialized, *currBldrCtx);
254 Bldr.generateNode(CE, *I, State, /*tag=*/0, ProgramPoint::PreStmtKind);
264 StmtNodeBuilder Bldr(DstPreCall, DstEvaluated, *currBldrCtx);
273 performTrivialCopy(Bldr, *I, *Call);
278 defaultEvalCall(Bldr, *I, *Call);
322 StmtNodeBuilder Bldr(DstPreCall, DstInvalidated, *currBldrCtx);
325 defaultEvalCall(Bldr, *I, *Call);
392 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
403 Bldr.generateNode(CNE, Pred, State);
421 ExplodedNode *NewN = Bldr.generateNode(CNE, Pred, State);
429 assert(Bldr.getResults().size() == 1);
430 Bldr.takeNodes(NewN);
439 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
441 Bldr.generateNode(CDE, Pred, state);
459 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
460 Bldr.generateNode(CS, Pred, state);
465 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
476 Bldr.generateNode(TE, Pred, state->BindExpr(TE, LCtx, V));