Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Core/
DRangeConstraintManager.cpp164 APSIntType Type(getMinValue()); in pin()
165 APSIntType::RangeTestResultKind LowerTest = Type.testInRange(Lower, true); in pin()
166 APSIntType::RangeTestResultKind UpperTest = Type.testInRange(Upper, true); in pin()
169 case APSIntType::RTR_Below: in pin()
171 case APSIntType::RTR_Below: in pin()
181 case APSIntType::RTR_Within: in pin()
186 case APSIntType::RTR_Above: in pin()
193 case APSIntType::RTR_Within: in pin()
195 case APSIntType::RTR_Below: in pin()
200 case APSIntType::RTR_Within: in pin()
[all …]
DSimpleConstraintManager.cpp235 Adjustment = APSIntType(Adjustment).convert(SE->getRHS()); in computeAdjustment()
255 APSIntType WraparoundType = BVF.getAPSIntType(LHS->getType()); in assumeSymRel()
269 APSIntType ComparisonType = std::max(WraparoundType, APSIntType(Int)); in assumeSymRel()
309 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType()); in assumeSymWithinInclusiveRange()
316 APSIntType ComparisonType = std::max(WraparoundType, APSIntType(From)); in assumeSymWithinInclusiveRange()
DAPSIntType.cpp15 APSIntType::RangeTestResultKind
16 APSIntType::testInRange(const llvm::APSInt &Value, in testInRange()
DSimpleSValBuilder.cpp373 APSIntType CompareType = std::max(APSIntType(LHSValue), in evalBinOpNN()
374 APSIntType(RHSValue)); in evalBinOpNN()
378 APSIntType IntType = BasicVals.getAPSIntType(resultTy); in evalBinOpNN()
493 APSIntType IntType = BasicVals.getAPSIntType(resultTy); in evalBinOpNN()
DCMakeLists.txt4 APSIntType.cpp
DSValBuilder.cpp446 APSIntType ToType(getContext().getTypeSize(castTy), in evalIntegralCast()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DAPSIntType.h20 class APSIntType {
25 APSIntType(uint32_t Width, bool Unsigned) in APSIntType() function
28 /* implicit */ APSIntType(const llvm::APSInt &Value) in APSIntType() function
92 bool operator==(const APSIntType &Other) const {
100 bool operator<(const APSIntType &Other) const {
DBasicValueFactory.h95 APSIntType getAPSIntType(QualType T) const { in getAPSIntType()
97 return APSIntType(Ctx.getTypeSize(T), in getAPSIntType()
105 APSIntType TargetType(To); in Convert()
106 if (TargetType == APSIntType(From)) in Convert()
113 APSIntType TargetType = getAPSIntType(T); in Convert()
114 if (TargetType == APSIntType(From)) in Convert()
126 return getValue(APSIntType(v).getMaxValue()); in getMaxValue()
130 return getValue(APSIntType(v).getMinValue()); in getMinValue()
/external/clang/lib/StaticAnalyzer/Checkers/
DCStringChecker.cpp696 llvm::APSInt fourInt = APSIntType(maxValInt).getValue(4); in getCStringLengthForRegion()