StaticAnalyzer/Core/SimpleSValBuilder.cpp

183   SValBuilder &SVB = State->getStateManager().getSValBuilder();
185       SVB.evalBinOpNN(State, Rel, nonloc::SymbolVal(Sym),
186                       nonloc::ConcreteInt(Bound), SVB.getConditionType());
200   SValBuilder &SVB = State->getStateManager().getSValBuilder();
201   BasicValueFactory &BV = SVB.getBasicValueFactory();
243   SValBuilder &SVB = State->getStateManager().getSValBuilder();
244   BasicValueFactory &BV = SVB.getBasicValueFactory();
245   SymbolManager &SymMgr = SVB.getSymbolManager();
257     ResultTy = SVB.getConditionType();
265     return SVB.evalBinOpNN(State, Op, nonloc::ConcreteInt(LInt),
318   SValBuilder &SVB = StateMgr.getSValBuilder();
338     if (ResultTy != SVB.getConditionType())
654                                             SimpleSValBuilder &SVB) {
677     return SVB.makeTruthVal(false, resultTy);
679     return SVB.makeTruthVal(true, resultTy);
688       return SVB.makeTruthVal(leftFirst, resultTy);
690       return SVB.makeTruthVal(!leftFirst, resultTy);
1121     SValBuilder &SVB;
1139       return cache(Sym, SVB.makeSymbolVal(Sym));
1144         : State(State), SVB(State->getStateManager().getSValBuilder()) {}
1149               SVB.getKnownValue(State, SVB.makeSymbolVal(S)))
1150         return Loc::isLocType(S->getType()) ? (SVal)SVB.makeIntLocVal(*I)
1151                                             : (SVal)SVB.makeIntVal(*I);
1152       return SVB.makeSymbolVal(S);
1179           LHS = SVB.makeLoc(Sym);
1181         RHS = SVB.makeIntLocVal(S->getRHS());
1183         RHS = SVB.makeIntVal(S->getRHS());
1187           S, SVB.evalBinOp(State, S->getOpcode(), LHS, RHS, S->getType()));
1209           S, SVB.evalBinOp(State, S->getOpcode(), LHS, RHS, S->getType()));