Home
last modified time | relevance | path

Searched refs:WraparoundType (Results 1 – 1 of 1) sorted by relevance

/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DRangedConstraintManager.cpp103 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType()); in assumeSymInclusiveRange() local
105 llvm::APSInt Adjustment = WraparoundType.getZeroValue(); in assumeSymInclusiveRange()
110 APSIntType ComparisonType = std::max(WraparoundType, APSIntType(From)); in assumeSymInclusiveRange()
115 if (ComparisonType.getBitWidth() == WraparoundType.getBitWidth() && in assumeSymInclusiveRange()
116 ComparisonType.isUnsigned() && !WraparoundType.isUnsigned()) in assumeSymInclusiveRange()
166 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType()); in assumeSymRel() local
175 llvm::APSInt Adjustment = WraparoundType.getZeroValue(); in assumeSymRel()
179 APSIntType ComparisonType = std::max(WraparoundType, APSIntType(Int)); in assumeSymRel()
183 if (ComparisonType.getBitWidth() == WraparoundType.getBitWidth() && in assumeSymRel()
184 ComparisonType.isUnsigned() && !WraparoundType.isUnsigned()) in assumeSymRel()