Lines Matching refs:builder
2167 BranchNodeBuilder builder(CheckersOutSet, Dst, BldCtx, DstT, DstF);
2196 builder.generateNode(PrevState, true, PredI);
2197 builder.generateNode(PrevState, false, PredI);
2207 if (builder.isFeasible(true)) {
2209 builder.generateNode(StTrue, true, PredI);
2211 builder.markInfeasible(true);
2215 if (builder.isFeasible(false)) {
2217 builder.generateNode(StFalse, false, PredI);
2219 builder.markInfeasible(false);
2242 BranchNodeBuilder builder(Pred, Dst, BuilderCtx, DstT, DstF);
2248 builder.generateNode(state, initHasRun, Pred);
2249 builder.markInfeasible(!initHasRun);
2256 void ExprEngine::processIndirectGoto(IndirectGotoNodeBuilder &builder) {
2257 ProgramStateRef state = builder.getState();
2258 SVal V = state->getSVal(builder.getTarget(), builder.getLocationContext());
2272 for (iterator I = builder.begin(), E = builder.end(); I != E; ++I) {
2274 builder.generateNode(I, state);
2284 //ExplodedNode* N = builder.generateNode(builder.begin(), state, true);
2293 for (iterator I = builder.begin(), E = builder.end(); I != E; ++I)
2294 builder.generateNode(I, state);
2381 void ExprEngine::processSwitch(SwitchNodeBuilder& builder) {
2384 ProgramStateRef state = builder.getState();
2385 const Expr *CondE = builder.getCondition();
2386 SVal CondV_untested = state->getSVal(CondE, builder.getLocationContext());
2389 //ExplodedNode* N = builder.generateDefaultCaseNode(state, true);
2399 iterator I = builder.begin(), EI = builder.end();
2428 builder.generateCaseStmtNode(I, StateCase);
2450 const SwitchStmt *SS = builder.getSwitch();
2457 builder.generateDefaultCaseNode(DefaultSt);