Searched refs:WraparoundType (Results 1 – 1 of 1) sorted by relevance
255 APSIntType WraparoundType = BVF.getAPSIntType(LHS->getType()); in assumeSymRel() local265 llvm::APSInt Adjustment = WraparoundType.getZeroValue(); in assumeSymRel()269 APSIntType ComparisonType = std::max(WraparoundType, APSIntType(Int)); in assumeSymRel()273 if (ComparisonType.getBitWidth() == WraparoundType.getBitWidth() && in assumeSymRel()274 ComparisonType.isUnsigned() && !WraparoundType.isUnsigned()) in assumeSymRel()309 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType()); in assumeSymWithinInclusiveRange() local311 llvm::APSInt Adjustment = WraparoundType.getZeroValue(); in assumeSymWithinInclusiveRange()316 APSIntType ComparisonType = std::max(WraparoundType, APSIntType(From)); in assumeSymWithinInclusiveRange()321 if (ComparisonType.getBitWidth() == WraparoundType.getBitWidth() && in assumeSymWithinInclusiveRange()322 ComparisonType.isUnsigned() && !WraparoundType.isUnsigned()) in assumeSymWithinInclusiveRange()