Home
last modified time | relevance | path

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

/freebsd-14.2/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DBasicValueFactory.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()
183 if (TargetType == APSIntType(From)) in Convert()
195 return getValue(APSIntType(v).getMaxValue()); in getMaxValue()
199 return getValue(APSIntType(v).getMinValue()); in getMinValue()
210 const llvm::APSInt &getMaxValue(APSIntType T) { in getMaxValue()
[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.h317 APSIntType TargetType(ToWidth, !ToTy->isSignedIntegerOrEnumerationType()); in castAPSInt()
/freebsd-14.2/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()
404 case APSIntType::RTR_Below: in pin()
406 case APSIntType::RTR_Below: in pin()
421 case APSIntType::RTR_Above: in pin()
428 case APSIntType::RTR_Within: in pin()
430 case APSIntType::RTR_Below: in pin()
440 case APSIntType::RTR_Above: in pin()
447 case APSIntType::RTR_Above: in pin()
449 case APSIntType::RTR_Below: in pin()
457 case APSIntType::RTR_Above: in pin()
[all …]
H A DAPSIntType.cpp14 APSIntType::RangeTestResultKind
15 APSIntType::testInRange(const llvm::APSInt &Value, in testInRange()
H A DSimpleSValBuilder.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()
H A DSValBuilder.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.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DIterator.cpp270 APSIntType AT = BV.getAPSIntType(T); in assumeNoOverflow()
H A DArrayBoundCheckerV2.cpp149 APSIntType(extent.getValue()).convert(SIE->getRHS()); in getSimplifiedOffsets()
H A DCStringChecker.cpp877 llvm::APSInt fourInt = APSIntType(maxValInt).getValue(4); in getCStringLengthForRegion()
/freebsd-14.2/lib/clang/libclang/
H A DMakefile737 SRCS_FUL+= StaticAnalyzer/Core/APSIntType.cpp