437       SValBuilder &SVB = C.getSValBuilder();  in apply()  local
439           SVB.conjureSymbolVal(&Tag, Call.getOriginExpr(),  in apply()
444           SVB.makeZeroVal(C.getASTContext().IntTy).castAs<NonLoc>();  in apply()
446           SVB.evalBinOp(State, Op, ErrnoSVal, ZeroVal, SVB.getConditionType())  in apply()
776   SValBuilder &SVB = Mgr.getSValBuilder();  in getBVF()  local
777   return SVB.getBasicValueFactory();  in getBVF()
860   SValBuilder &SVB = Mgr.getSValBuilder();  in applyAsOutOfRange()  local
861   BasicValueFactory &BVF = SVB.getBasicValueFactory();  in applyAsOutOfRange()
889   SValBuilder &SVB = Mgr.getSValBuilder();  in applyAsWithinRange()  local
890   BasicValueFactory &BVF = SVB.getBasicValueFactory();  in applyAsWithinRange()
946   SValBuilder &SVB = Mgr.getSValBuilder();  in apply()  local
947   QualType CondT = SVB.getConditionType();  in apply()
956   OtherV = SVB.evalCast(OtherV, T, OtherT);  in apply()
957   if (auto CompV = SVB.evalBinOp(State, Op, V, OtherV, CondT)  in apply()
1140   SValBuilder &SVB = C.getSValBuilder();  in initFunctionSummaries()  local
1141   BasicValueFactory &BVF = SVB.getBasicValueFactory();  in initFunctionSummaries()