Searched refs:WraparoundType (Results 1 – 1 of 1) sorted by relevance
219 APSIntType WraparoundType = BVF.getAPSIntType(LHS->getType()); in assumeSymRel() local229 llvm::APSInt Adjustment = WraparoundType.getZeroValue(); in assumeSymRel()233 APSIntType ComparisonType = std::max(WraparoundType, APSIntType(Int)); in assumeSymRel()237 if (ComparisonType.getBitWidth() == WraparoundType.getBitWidth() && in assumeSymRel()238 ComparisonType.isUnsigned() && !WraparoundType.isUnsigned()) in assumeSymRel()