Lines Matching refs:BVF
571 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();
574 const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy);
694 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();
695 const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy);
697 const llvm::APSInt *maxLengthInt = BVF.evalAPSInt(BO_Div, maxValInt,
