Cross Reference: /external/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp

Lines Matching defs:builder
1460   BranchNodeBuilder builder(CheckersOutSet, Dst, BldCtx, DstT, DstF);
1493       builder.generateNode(PrevState, true, PredI);
1494       builder.generateNode(PrevState, false, PredI);
1504     if (builder.isFeasible(true)) {
1506         builder.generateNode(StTrue, true, PredI);
1508         builder.markInfeasible(true);
1512     if (builder.isFeasible(false)) {
1514         builder.generateNode(StFalse, false, PredI);
1516         builder.markInfeasible(false);
1539   BranchNodeBuilder builder(Pred, Dst, BuilderCtx, DstT, DstF);
1545   builder.generateNode(state, initHasRun, Pred);
1546   builder.markInfeasible(!initHasRun);
1553 void ExprEngine::processIndirectGoto(IndirectGotoNodeBuilder &builder) {
1555   ProgramStateRef state = builder.getState();
1556   SVal V = state->getSVal(builder.getTarget(), builder.getLocationContext());
1570     for (iterator I = builder.begin(), E = builder.end(); I != E; ++I) {
1572         builder.generateNode(I, state);
1582     //ExplodedNode* N = builder.generateNode(builder.begin(), state, true);
1591   for (iterator I=builder.begin(), E=builder.end(); I != E; ++I)
1592     builder.generateNode(I, state);
1622 void ExprEngine::processSwitch(SwitchNodeBuilder& builder) {
1624   ProgramStateRef state = builder.getState();
1625   const Expr *CondE = builder.getCondition();
1626   SVal  CondV_untested = state->getSVal(CondE, builder.getLocationContext());
1629     //ExplodedNode* N = builder.generateDefaultCaseNode(state, true);
1639   iterator I = builder.begin(), EI = builder.end();
1671         builder.generateCaseStmtNode(I, stateNew);
1713   const SwitchStmt *SS = builder.getSwitch();
1720   builder.generateDefaultCaseNode(DefaultSt);