Searched refs:WraparoundType (Results 1 – 1 of 1) sorted by relevance
98 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType()); in assumeSymInclusiveRange() local100 llvm::APSInt Adjustment = WraparoundType.getZeroValue(); in assumeSymInclusiveRange()105 APSIntType ComparisonType = std::max(WraparoundType, APSIntType(From)); in assumeSymInclusiveRange()110 if (ComparisonType.getBitWidth() == WraparoundType.getBitWidth() && in assumeSymInclusiveRange()111 ComparisonType.isUnsigned() && !WraparoundType.isUnsigned()) in assumeSymInclusiveRange()159 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType()); in assumeSymRel() local168 llvm::APSInt Adjustment = WraparoundType.getZeroValue(); in assumeSymRel()172 APSIntType ComparisonType = std::max(WraparoundType, APSIntType(Int)); in assumeSymRel()176 if (ComparisonType.getBitWidth() == WraparoundType.getBitWidth() && in assumeSymRel()177 ComparisonType.isUnsigned() && !WraparoundType.isUnsigned()) in assumeSymRel()