Searched refs:BVF (Results 1 – 5 of 5) sorted by relevance
26 BasicValueFactory &BVF; variable29 : SU(subengine), BVF(BV) {} in SimpleConstraintManager()84 BasicValueFactory &getBasicVals() const { return BVF; } in getBasicVals()
141 BasicValueFactory &BVF = getBasicVals(); in assumeAuxForSymbol() local148 const llvm::APSInt &zero = BVF.getValue(0, T); in assumeAuxForSymbol()242 BasicValueFactory &BVF = getBasicVals(); in assumeSymRel() local243 APSIntType WraparoundType = BVF.getAPSIntType(LHS->getType()); in assumeSymRel()
288 RangeConstraintManager(SubEngine *subengine, BasicValueFactory &BVF) in RangeConstraintManager() argument289 : SimpleConstraintManager(subengine, BVF) {} in RangeConstraintManager()
296 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in assumeInBound() local300 nonloc::ConcreteInt Min(BVF.getMinValue(indexTy)); in assumeInBound()
551 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in checkAdditionOverflow() local554 const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy); in checkAdditionOverflow()