Searched refs:WraparoundType (Results 1 – 1 of 1) sorted by relevance
109 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType()); in assumeSymInclusiveRange() local111 llvm::APSInt Adjustment = WraparoundType.getZeroValue(); in assumeSymInclusiveRange()116 APSIntType ComparisonType = std::max(WraparoundType, APSIntType(From)); in assumeSymInclusiveRange()121 if (ComparisonType.getBitWidth() == WraparoundType.getBitWidth() && in assumeSymInclusiveRange()122 ComparisonType.isUnsigned() && !WraparoundType.isUnsigned()) in assumeSymInclusiveRange()172 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType()); in assumeSymRel() local181 llvm::APSInt Adjustment = WraparoundType.getZeroValue(); in assumeSymRel()185 APSIntType ComparisonType = std::max(WraparoundType, APSIntType(Int)); in assumeSymRel()189 if (ComparisonType.getBitWidth() == WraparoundType.getBitWidth() && in assumeSymRel()190 ComparisonType.isUnsigned() && !WraparoundType.isUnsigned()) in assumeSymRel()