616   SValBuilder &SVB = Mgr.getSValBuilder();  in getBVF()  local
617   return SVB.getBasicValueFactory();  in getBVF()
700   SValBuilder &SVB = Mgr.getSValBuilder();  in applyAsOutOfRange()  local
701   BasicValueFactory &BVF = SVB.getBasicValueFactory();  in applyAsOutOfRange()
729   SValBuilder &SVB = Mgr.getSValBuilder();  in applyAsWithinRange()  local
730   BasicValueFactory &BVF = SVB.getBasicValueFactory();  in applyAsWithinRange()
786   SValBuilder &SVB = Mgr.getSValBuilder();  in apply()  local
787   QualType CondT = SVB.getConditionType();  in apply()
796   OtherV = SVB.evalCast(OtherV, T, OtherT);  in apply()
797   if (auto CompV = SVB.evalBinOp(State, Op, V, OtherV, CondT)  in apply()
954   SValBuilder &SVB = C.getSValBuilder();  in initFunctionSummaries()  local
955   BasicValueFactory &BVF = SVB.getBasicValueFactory();  in initFunctionSummaries()