Searched defs:maxValInt (Results 1 – 1 of 1) sorted by relevance
574 const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy); in checkAdditionOverflow() local695 const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy); in getCStringLengthForRegion() local