Home | History | Annotate | Download | only in Core

Lines Matching full:bldr

417                             NodeBuilder &Bldr, ExplodedNode *Pred,
459 Bldr.takeNodes(Pred);
574 void ExprEngine::conservativeEvalCall(const CallEvent &Call, NodeBuilder &Bldr,
581 Bldr.generateNode(Call.getProgramPoint(), State, Pred);
900 void ExprEngine::defaultEvalCall(NodeBuilder &Bldr, ExplodedNode *Pred,
908 performTrivialCopy(Bldr, Pred, *Call);
930 BifurcateCall(RD.getDispatchRegion(), *Call, D, Bldr, Pred);
936 conservativeEvalCall(*Call, Bldr, Pred, State);
942 if (inlineCall(*Call, D, Bldr, Pred, State))
948 conservativeEvalCall(*Call, Bldr, Pred, State);
953 NodeBuilder &Bldr, ExplodedNode *Pred) {
965 if (inlineCall(Call, D, Bldr, Pred, State))
970 conservativeEvalCall(Call, Bldr, Pred, State);
979 inlineCall(Call, D, Bldr, Pred, IState);
984 conservativeEvalCall(Call, Bldr, Pred, NoIState);