Lines Matching defs:Bldr
432 NodeBuilder &Bldr, ExplodedNode *Pred,
473 Bldr.takeNodes(Pred);
709 void ExprEngine::conservativeEvalCall(const CallEvent &Call, NodeBuilder &Bldr,
715 Bldr.generateNode(Call.getProgramPoint(), State, Pred);
1038 void ExprEngine::defaultEvalCall(NodeBuilder &Bldr, ExplodedNode *Pred,
1047 performTrivialCopy(Bldr, Pred, *Call);
1069 BifurcateCall(RD.getDispatchRegion(), *Call, D, Bldr, Pred);
1075 conservativeEvalCall(*Call, Bldr, Pred, State);
1081 if (inlineCall(*Call, D, Bldr, Pred, State))
1087 conservativeEvalCall(*Call, Bldr, Pred, State);
1092 NodeBuilder &Bldr, ExplodedNode *Pred) {
1104 if (inlineCall(Call, D, Bldr, Pred, State))
1109 conservativeEvalCall(Call, Bldr, Pred, State);
1118 inlineCall(Call, D, Bldr, Pred, IState);
1123 conservativeEvalCall(Call, Bldr, Pred, NoIState);