Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Core/
DSimpleConstraintManager.cpp269 APSIntType ComparisonType = std::max(WraparoundType, APSIntType(Int)); in assumeSymRel() local
270 llvm::APSInt ConvertedInt = ComparisonType.convert(Int); in assumeSymRel()
273 if (ComparisonType.getBitWidth() == WraparoundType.getBitWidth() && in assumeSymRel()
274 ComparisonType.isUnsigned() && !WraparoundType.isUnsigned()) in assumeSymRel()
316 APSIntType ComparisonType = std::max(WraparoundType, APSIntType(From)); in assumeSymWithinInclusiveRange() local
317 llvm::APSInt ConvertedFrom = ComparisonType.convert(From); in assumeSymWithinInclusiveRange()
318 llvm::APSInt ConvertedTo = ComparisonType.convert(To); in assumeSymWithinInclusiveRange()
321 if (ComparisonType.getBitWidth() == WraparoundType.getBitWidth() && in assumeSymWithinInclusiveRange()
322 ComparisonType.isUnsigned() && !WraparoundType.isUnsigned()) in assumeSymWithinInclusiveRange()