Home | History | Annotate | Download | only in Core

Lines Matching full: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);
243 StmtNodeBuilder Bldr(DstPreVisit, PreInitialized, *currBldrCtx);
265 Bldr.generateNode(CE, *I, State, /*tag=*/nullptr,
276 StmtNodeBuilder Bldr(DstPreCall, DstEvaluated, *currBldrCtx);
285 performTrivialCopy(Bldr, *I, *Call);
290 defaultEvalCall(Bldr, *I, *Call);
334 StmtNodeBuilder Bldr(DstPreCall, DstInvalidated, *currBldrCtx);
337 defaultEvalCall(Bldr, *I, *Call);
361 StmtNodeBuilder Bldr(DstPreCall, DstInvalidated, *currBldrCtx);
364 defaultEvalCall(Bldr, *I, *Call);
430 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
441 Bldr.generateNode(CNE, Pred, State);
459 ExplodedNode *NewN = Bldr.generateNode(CNE, Pred, State);
467 assert(Bldr.getResults().size() == 1);
468 Bldr.takeNodes(NewN);
477 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
479 Bldr.generateNode(CDE, Pred, state);
497 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
498 Bldr.generateNode(CS, Pred, state);
503 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
514 Bldr.generateNode(TE, Pred, state->BindExpr(TE, LCtx, V));