Searched refs:BVF (Results 1 – 4 of 4) sorted by relevance
131 BasicValueFactory &BVF = getBasicVals(); in assumeAuxForSymbol() local138 const llvm::APSInt &zero = BVF.getValue(0, T); in assumeAuxForSymbol()249 BasicValueFactory &BVF = getBasicVals(); in assumeSymRel() local250 APSIntType WraparoundType = BVF.getAPSIntType(LHS->getType()); in assumeSymRel()
409 BasicValueFactory &BVF = getBasicValueFactory(); in evalCast() local412 return makeNonLoc(Sym, BO_NE, BVF.getValue(0, Sym->getType()), castTy); in evalCast()
340 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in assumeInBound() local344 nonloc::ConcreteInt Min(BVF.getMinValue(indexTy)); in assumeInBound()
553 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in checkAdditionOverflow() local556 const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy); in checkAdditionOverflow()