Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DBasicValueFactory.h149 APSIntType getAPSIntType(QualType T) const { in getAPSIntType()
157 return APSIntType(Ctx.getIntWidth(T), in getAPSIntType()
161 return APSIntType(Ctx.getIntWidth(T), T->isUnsignedFixedPointType()); in getAPSIntType()
170 APSIntType TargetType(To); in Convert()
171 if (TargetType == APSIntType(From)) in Convert()
178 APSIntType TargetType = getAPSIntType(T); in Convert()
182 APSIntPtr Convert(APSIntType TargetType, const llvm::APSInt &From) { in Convert()
183 if (TargetType == APSIntType(From)) in Convert()
195 return getValue(APSIntType(v).getMaxValue()); in getMaxValue()
199 return getValue(APSIntType(v).getMinValue()); in getMinValue()
[all …]
H A DAPSIntType.h19 class APSIntType {
24 constexpr APSIntType(uint32_t Width, bool Unsigned) in APSIntType() function
27 /* implicit */ APSIntType(const llvm::APSInt &Value) in APSIntType() function
91 bool operator==(const APSIntType &Other) const {
99 bool operator<(const APSIntType &Other) const {
H A DRangedConstraintManager.h261 RangeSet castTo(RangeSet What, APSIntType Ty);
281 ContainerType truncateTo(RangeSet What, APSIntType Ty);
287 ContainerType convertTo(RangeSet What, APSIntType Ty);
292 ContainerType promoteTo(RangeSet What, APSIntType Ty);
347 APSIntType getAPSIntType() const;
356 APSIntType T{getMinValue()}; in containsZero()
H A DSMTConv.h319 APSIntType TargetType(ToWidth, !ToTy->isSignedIntegerOrEnumerationType()); in castAPSInt()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DRangedConstraintManager.cpp109 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType()); in assumeSymInclusiveRange()
116 APSIntType ComparisonType = std::max(WraparoundType, APSIntType(From)); in assumeSymInclusiveRange()
172 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType()); in assumeSymRel()
185 APSIntType ComparisonType = std::max(WraparoundType, APSIntType(Int)); in assumeSymRel()
224 Adjustment = APSIntType(Adjustment).convert(SE->getRHS()); in computeAdjustment()
H A DRangeConstraintManager.cpp180 APSIntType Ty = APSIntType(First->From()); in unite()
367 APSIntType clang::ento::RangeSet::getAPSIntType() const { in getAPSIntType()
369 return APSIntType(begin()->From()); in getAPSIntType()
385 APSIntType Type(getMinValue()); in pin()
386 if (Type.testInRange(Point, true) != APSIntType::RTR_Within) in pin()
399 APSIntType Type(getMinValue()); in pin()
400 APSIntType::RangeTestResultKind LowerTest = Type.testInRange(Lower, true); in pin()
401 APSIntType::RangeTestResultKind UpperTest = Type.testInRange(Upper, true); in pin()
404 case APSIntType::RTR_Below: in pin()
406 case APSIntType::RTR_Below: in pin()
[all …]
H A DAPSIntType.cpp14 APSIntType::RangeTestResultKind
15 APSIntType::testInRange(const llvm::APSInt &Value, in testInRange()
H A DSimpleSValBuilder.cpp110 APSIntType ResultType) { in isNegationValuePreserving()
220 APSIntType resultIntTy = BasicVals.getAPSIntType(resultTy); in MakeSymIntVal()
260 APSIntType AT = BV.getAPSIntType(T); in isWithinConstantOverflowBounds()
269 APSIntType AT(I); in isWithinConstantOverflowBounds()
304 assert(APSIntType(LInt) == BV.getAPSIntType(SymTy) && in doRearrangeUnchecked()
306 assert(APSIntType(RInt) == BV.getAPSIntType(SymTy) && in doRearrangeUnchecked()
536 APSIntType CompareType = std::max(APSIntType(LHSValue), in evalBinOpNN()
537 APSIntType(RHSValue)); in evalBinOpNN()
541 APSIntType IntType = BasicVals.getAPSIntType(resultTy); in evalBinOpNN()
676 APSIntType IntType = BasicVals.getAPSIntType(resultTy); in evalBinOpNN()
H A DSValBuilder.cpp608 APSIntType ToType(getContext().getTypeSize(castTy), in evalIntegralCast()
1068 APSIntType CTy = BVF.getAPSIntType(CastTy); in simplifySymbolCast()
1069 APSIntType TTy = BVF.getAPSIntType(T); in simplifySymbolCast()
1081 APSIntType RTy = BVF.getAPSIntType(RT); in simplifySymbolCast()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DIterator.cpp271 APSIntType AT = BV.getAPSIntType(T); in assumeNoOverflow()
H A DArrayBoundChecker.cpp264 llvm::APSInt constant = APSIntType(extentVal).convert(SIE->getRHS()); in getSimplifiedOffsets()
H A DCStringChecker.cpp1028 llvm::APSInt fourInt = APSIntType(maxValInt).getValue(4); in getCStringLengthForRegion()
H A DMallocChecker.cpp1944 SVB.makeIntVal(MaxValInt / APSIntType(MaxValInt).getValue(4)); in checkTaintedness()
/freebsd/lib/clang/libclang/
H A DMakefile809 SRCS_FUL+= StaticAnalyzer/Core/APSIntType.cpp