StaticAnalyzer/Core/SimpleSValBuilder.cpp

315   SValBuilder &SVB = State->getStateManager().getSValBuilder();
317       SVB.evalBinOpNN(State, Rel, nonloc::SymbolVal(Sym),
318                       nonloc::ConcreteInt(Bound), SVB.getConditionType());
332   SValBuilder &SVB = State->getStateManager().getSValBuilder();
333   BasicValueFactory &BV = SVB.getBasicValueFactory();
375   SValBuilder &SVB = State->getStateManager().getSValBuilder();
376   BasicValueFactory &BV = SVB.getBasicValueFactory();
377   SymbolManager &SymMgr = SVB.getSymbolManager();
389     ResultTy = SVB.getConditionType();
397     return SVB.evalBinOpNN(State, Op, nonloc::ConcreteInt(LInt),
450   SValBuilder &SVB = StateMgr.getSValBuilder();
470     if (ResultTy != SVB.getConditionType())
778                                             SimpleSValBuilder &SVB) {
801     return SVB.makeTruthVal(false, resultTy);
803     return SVB.makeTruthVal(true, resultTy);
812       return SVB.makeTruthVal(leftFirst, resultTy);
814       return SVB.makeTruthVal(!leftFirst, resultTy);
1236     SValBuilder &SVB;
1254       return cache(Sym, SVB.makeSymbolVal(Sym));
1259         : State(State), SVB(State->getStateManager().getSValBuilder()) {}
1264               SVB.getKnownValue(State, SVB.makeSymbolVal(S)))
1265         return Loc::isLocType(S->getType()) ? (SVal)SVB.makeIntLocVal(*I)
1266                                             : (SVal)SVB.makeIntVal(*I);
1267       return SVB.makeSymbolVal(S);
1294           LHS = SVB.makeLoc(Sym);
1296         RHS = SVB.makeIntLocVal(S->getRHS());
1298         RHS = SVB.makeIntVal(S->getRHS());
1302           S, SVB.evalBinOp(State, S->getOpcode(), LHS, RHS, S->getType()));
1324           S, SVB.evalBinOp(State, S->getOpcode(), LHS, RHS, S->getType()));