221   SValBuilder &SVB = State->getStateManager().getSValBuilder();  in isInRelation()  local
223       SVB.evalBinOpNN(State, Rel, nonloc::SymbolVal(Sym),  in isInRelation()
224                       nonloc::ConcreteInt(Bound), SVB.getConditionType());  in isInRelation()
238   SValBuilder &SVB = State->getStateManager().getSValBuilder();  in isWithinConstantOverflowBounds()  local
239   BasicValueFactory &BV = SVB.getBasicValueFactory();  in isWithinConstantOverflowBounds()
281   SValBuilder &SVB = State->getStateManager().getSValBuilder();  in doRearrangeUnchecked()  local
282   BasicValueFactory &BV = SVB.getBasicValueFactory();  in doRearrangeUnchecked()
283   SymbolManager &SymMgr = SVB.getSymbolManager();  in doRearrangeUnchecked()
295     ResultTy = SVB.getConditionType();  in doRearrangeUnchecked()
302     return SVB.evalBinOpNN(State, Op, nonloc::ConcreteInt(LInt),  in doRearrangeUnchecked()
355   SValBuilder &SVB = StateMgr.getSValBuilder();  in tryRearrange()  local
363   if (!SVB.getAnalyzerOptions().ShouldAggressivelySimplifyBinaryOperation)  in tryRearrange()
372     if (ResultTy != SVB.getConditionType())  in tryRearrange()
697                                             SimpleSValBuilder &SVB) {  in evalBinOpFieldRegionFieldRegion()  argument
720     return SVB.makeTruthVal(false, resultTy);  in evalBinOpFieldRegionFieldRegion()
722     return SVB.makeTruthVal(true, resultTy);  in evalBinOpFieldRegionFieldRegion()
731       return SVB.makeTruthVal(leftFirst, resultTy);  in evalBinOpFieldRegionFieldRegion()
733       return SVB.makeTruthVal(!leftFirst, resultTy);  in evalBinOpFieldRegionFieldRegion()
1210     SValBuilder &SVB;  in simplifySValOnce()  member in SimpleSValBuilder::simplifySValOnce::Simplifier
1228       return cache(Sym, SVB.makeSymbolVal(Sym));  in simplifySValOnce()
1237         return Loc::isLocType(Sym->getType()) ? (SVal)SVB.makeIntLocVal(*Const)  in simplifySValOnce()
1238                                               : (SVal)SVB.makeIntVal(*Const);  in simplifySValOnce()
1251         : State(State), SVB(State->getStateManager().getSValBuilder()) {}  in simplifySValOnce()
1257         return Loc::isLocType(S->getType()) ? (SVal)SVB.makeIntLocVal(*I)  in simplifySValOnce()
1258                                             : (SVal)SVB.makeIntVal(*I);  in simplifySValOnce()
1259       return SVB.makeSymbolVal(S);  in simplifySValOnce()
1283           LHS = SVB.makeLoc(Sym);  in simplifySValOnce()
1285         RHS = SVB.makeIntLocVal(S->getRHS());  in simplifySValOnce()
1287         RHS = SVB.makeIntVal(S->getRHS());  in simplifySValOnce()
1291           S, SVB.evalBinOp(State, S->getOpcode(), LHS, RHS, S->getType()));  in simplifySValOnce()
1303       SVal LHS = SVB.makeIntVal(S->getLHS());  in simplifySValOnce()
1305           S, SVB.evalBinOp(State, S->getOpcode(), LHS, RHS, S->getType()));  in simplifySValOnce()
1328           S, SVB.evalBinOp(State, S->getOpcode(), LHS, RHS, S->getType()));  in simplifySValOnce()
1340       return cache(S, SVB.evalCast(OpVal, S->getType(), OpSym->getType()));  in simplifySValOnce()
1352           S, SVB.evalUnaryOp(State, S->getOpcode(), Op, S->getType()));  in simplifySValOnce()