Searched refs:APSIntType (Results 1 – 15 of 15) sorted by relevance
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | BasicValueFactory.h | 148 APSIntType getAPSIntType(QualType T) const { in getAPSIntType()
156 return APSIntType(Ctx.getIntWidth(T), in getAPSIntType()
164 APSIntType TargetType(To); in Convert()
165 if (TargetType == APSIntType(From)) in Convert()
172 APSIntType TargetType = getAPSIntType(T); in Convert()
176 const llvm::APSInt &Convert(APSIntType TargetType, const llvm::APSInt &From) { in Convert()
177 if (TargetType == APSIntType(From)) in Convert()
189 return getValue(APSIntType(v).getMaxValue()); in getMaxValue()
193 return getValue(APSIntType(v).getMinValue()); in getMinValue()
204 const llvm::APSInt &getMaxValue(APSIntType T) { in getMaxValue()
[all …]
|
| H A D | APSIntType.h | 19 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 D | RangedConstraintManager.h | 261 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 D | SMTConv.h | 317 APSIntType TargetType(ToWidth, !ToTy->isSignedIntegerOrEnumerationType()); in castAPSInt()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | RangedConstraintManager.cpp | 109 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 D | RangeConstraintManager.cpp | 179 APSIntType Ty = APSIntType(First->From()); in unite()
403 case APSIntType::RTR_Below: in pin()
405 case APSIntType::RTR_Below: in pin()
420 case APSIntType::RTR_Above: in pin()
427 case APSIntType::RTR_Within: in pin()
429 case APSIntType::RTR_Below: in pin()
439 case APSIntType::RTR_Above: in pin()
446 case APSIntType::RTR_Above: in pin()
448 case APSIntType::RTR_Below: in pin()
456 case APSIntType::RTR_Above: in pin()
[all …]
|
| H A D | APSIntType.cpp | 14 APSIntType::RangeTestResultKind
15 APSIntType::testInRange(const llvm::APSInt &Value, in testInRange()
|
| H A D | SimpleSValBuilder.cpp | 94 APSIntType ResultType) { in isNegationValuePreserving()
205 APSIntType resultIntTy = BasicVals.getAPSIntType(resultTy); in MakeSymIntVal()
244 APSIntType AT = BV.getAPSIntType(T); in isWithinConstantOverflowBounds()
253 APSIntType AT(I); in isWithinConstantOverflowBounds()
288 assert(APSIntType(LInt) == BV.getAPSIntType(SymTy) && in doRearrangeUnchecked()
290 assert(APSIntType(RInt) == BV.getAPSIntType(SymTy) && in doRearrangeUnchecked()
519 APSIntType CompareType = std::max(APSIntType(LHSValue), in evalBinOpNN()
520 APSIntType(RHSValue)); in evalBinOpNN()
524 APSIntType IntType = BasicVals.getAPSIntType(resultTy); in evalBinOpNN()
646 APSIntType IntType = BasicVals.getAPSIntType(resultTy); in evalBinOpNN()
|
| H A D | CMakeLists.txt | 7 APSIntType.cpp
|
| H A D | SValBuilder.cpp | 597 APSIntType ToType(getContext().getTypeSize(castTy), in evalIntegralCast()
1055 APSIntType CTy = BVF.getAPSIntType(CastTy); in simplifySymbolCast()
1056 APSIntType TTy = BVF.getAPSIntType(T); in simplifySymbolCast()
1068 APSIntType RTy = BVF.getAPSIntType(RT); in simplifySymbolCast()
|
| /llvm-project-15.0.7/llvm/utils/gn/secondary/clang/lib/StaticAnalyzer/Core/ |
| H A D | BUILD.gn | 16 "APSIntType.cpp",
|
| /llvm-project-15.0.7/clang/unittests/StaticAnalyzer/ |
| H A D | RangeSetTest.cpp | 44 APSIntType Ty) { in operator <<()
111 static constexpr APSIntType APSIntTy =
112 APSIntType(sizeof(T) * CHAR_BIT, !is_signed_v<T>);
142 RangeSet from(RawRangeSetT<T> Init, APSIntType Ty = APSIntTy<BaseType>) { in from()
266 void checkCastToImpl(RangeSet What, APSIntType Ty, RangeSet Expected) { in checkCastToImpl()
274 static constexpr APSIntType FromTy = APSIntTy<From>; in checkCastTo()
275 static constexpr APSIntType ToTy = APSIntTy<To>; in checkCastTo()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ArrayBoundCheckerV2.cpp | 91 APSIntType(extent.getValue()).convert(SIE->getRHS()); in getSimplifiedOffsets()
|
| H A D | Iterator.cpp | 272 APSIntType AT = BV.getAPSIntType(T); in assumeNoOverflow()
|
| H A D | CStringChecker.cpp | 829 llvm::APSInt fourInt = APSIntType(maxValInt).getValue(4); in getCStringLengthForRegion()
|