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()254 BasicValueFactory &BVF = getBasicVals(); in assumeSymRel() local255 APSIntType WraparoundType = BVF.getAPSIntType(LHS->getType()); in assumeSymRel()308 BasicValueFactory &BVF = getBasicVals(); in assumeSymWithinInclusiveRange() local309 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType()); in assumeSymWithinInclusiveRange()
487 BasicValueFactory &BVF = getBasicValueFactory(); in evalCast() local490 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()
89 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in evalCall() local90 BVF.getAPSIntType(CE->getType()).apply(Result); in evalCall()
571 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in checkAdditionOverflow() local574 const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy); in checkAdditionOverflow()694 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in getCStringLengthForRegion() local695 const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy); in getCStringLengthForRegion()697 const llvm::APSInt *maxLengthInt = BVF.evalAPSInt(BO_Div, maxValInt, in getCStringLengthForRegion()