239   BasicValueFactory &BV = SVB.getBasicValueFactory();  in isWithinConstantOverflowBounds()  local
244   APSIntType AT = BV.getAPSIntType(T);  in isWithinConstantOverflowBounds()
262 decomposeSymbol(SymbolRef Sym, BasicValueFactory &BV) {  in decomposeSymbol()  argument
271   return std::make_pair(Sym, BV.getValue(0, Sym->getType()));  in decomposeSymbol()
282   BasicValueFactory &BV = SVB.getBasicValueFactory();  in doRearrangeUnchecked()  local
288   assert(APSIntType(LInt) == BV.getAPSIntType(SymTy) &&  in doRearrangeUnchecked()
290   assert(APSIntType(RInt) == BV.getAPSIntType(SymTy) &&  in doRearrangeUnchecked()
335   const llvm::APSInt &PersistentResultInt = BV.getValue(ResultInt);  in doRearrangeUnchecked()
394   BasicValueFactory &BV = State->getBasicVals();  in tryRearrange()  local
396   std::tie(LSym, LInt) = decomposeSymbol(LSym, BV);  in tryRearrange()
397   std::tie(RSym, RInt) = decomposeSymbol(RSym, BV);  in tryRearrange()