Searched refs:BVF (Results 1 – 5 of 5) sorted by relevance
100 BasicValueFactory &BVF = getBasicVals(); in assumeAuxForSymbol() local107 const llvm::APSInt &zero = BVF.getValue(0, T); in assumeAuxForSymbol()218 BasicValueFactory &BVF = getBasicVals(); in assumeSymRel() local219 APSIntType WraparoundType = BVF.getAPSIntType(LHS->getType()); in assumeSymRel()
415 BasicValueFactory &BVF = getBasicValueFactory(); in evalCast() local418 return makeNonLoc(Sym, BO_NE, BVF.getValue(0, Sym->getType()), castTy); in evalCast()
319 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in assumeInBound() local323 nonloc::ConcreteInt Min(BVF.getMinValue(indexTy)); in assumeInBound()
86 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in evalCall() local87 BVF.getAPSIntType(CE->getType()).apply(Result); in evalCall()
559 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in checkAdditionOverflow() local562 const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy); in checkAdditionOverflow()682 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in getCStringLengthForRegion() local683 const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy); in getCStringLengthForRegion()685 const llvm::APSInt *maxLengthInt = BVF.evalAPSInt(BO_Div, maxValInt, in getCStringLengthForRegion()