Searched refs:maxValInt (Results 1 – 1 of 1) sorted by relevance
917 const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy); in checkAdditionOverflow() local918 NonLoc maxVal = svalBuilder.makeIntVal(maxValInt); in checkAdditionOverflow()1021 const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy); in getCStringLengthForRegion() local1022 llvm::APSInt fourInt = APSIntType(maxValInt).getValue(4); in getCStringLengthForRegion()1023 const llvm::APSInt *maxLengthInt = BVF.evalAPSInt(BO_Div, maxValInt, in getCStringLengthForRegion()