Home
last modified time | relevance | path

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

/freebsd-14-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
HDBasicValueFactory.h148 APSIntType getAPSIntType(QualType T) const { in getAPSIntType()
156 return APSIntType(Ctx.getIntWidth(T), in getAPSIntType()
160 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 const llvm::APSInt &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 …]
HDAPSIntType.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 {
HDRangedConstraintManager.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()
HDSMTConv.h317 APSIntType TargetType(ToWidth, !ToTy->isSignedIntegerOrEnumerationType()); in castAPSInt()
/freebsd-14-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
HDRangedConstraintManager.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()
HDRangeConstraintManager.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 …]
HDAPSIntType.cpp14 APSIntType::RangeTestResultKind
15 APSIntType::testInRange(const llvm::APSInt &Value, in testInRange()
HDSimpleSValBuilder.cpp109 APSIntType ResultType) { in isNegationValuePreserving()
220 APSIntType resultIntTy = BasicVals.getAPSIntType(resultTy); in MakeSymIntVal()
259 APSIntType AT = BV.getAPSIntType(T); in isWithinConstantOverflowBounds()
268 APSIntType AT(I); in isWithinConstantOverflowBounds()
303 assert(APSIntType(LInt) == BV.getAPSIntType(SymTy) && in doRearrangeUnchecked()
305 assert(APSIntType(RInt) == BV.getAPSIntType(SymTy) && in doRearrangeUnchecked()
534 APSIntType CompareType = std::max(APSIntType(LHSValue), in evalBinOpNN()
535 APSIntType(RHSValue)); in evalBinOpNN()
539 APSIntType IntType = BasicVals.getAPSIntType(resultTy); in evalBinOpNN()
674 APSIntType IntType = BasicVals.getAPSIntType(resultTy); in evalBinOpNN()
HDSValBuilder.cpp606 APSIntType ToType(getContext().getTypeSize(castTy), in evalIntegralCast()
1067 APSIntType CTy = BVF.getAPSIntType(CastTy); in simplifySymbolCast()
1068 APSIntType TTy = BVF.getAPSIntType(T); in simplifySymbolCast()
1080 APSIntType RTy = BVF.getAPSIntType(RT); in simplifySymbolCast()
/freebsd-14-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
HDIterator.cpp270 APSIntType AT = BV.getAPSIntType(T); in assumeNoOverflow()
HDArrayBoundCheckerV2.cpp248 APSIntType(extent.getValue()).convert(SIE->getRHS()); in getSimplifiedOffsets()
HDCStringChecker.cpp1022 llvm::APSInt fourInt = APSIntType(maxValInt).getValue(4); in getCStringLengthForRegion()
HDMallocChecker.cpp1731 SVB.makeIntVal(MaxValInt / APSIntType(MaxValInt).getValue(4)); in checkTaintedness()
/freebsd-14-stable/lib/clang/libclang/
HDMakefile768 SRCS_FUL+= StaticAnalyzer/Core/APSIntType.cpp