Home
last modified time | relevance | path

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

/freebsd-13.1/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DAPSIntType.h19 class APSIntType {
24 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 DBasicValueFactory.h143 APSIntType getAPSIntType(QualType T) const { in getAPSIntType()
151 return APSIntType(Ctx.getIntWidth(T), in getAPSIntType()
159 APSIntType TargetType(To); in Convert()
160 if (TargetType == APSIntType(From)) in Convert()
167 APSIntType TargetType = getAPSIntType(T); in Convert()
171 const llvm::APSInt &Convert(APSIntType TargetType, const llvm::APSInt &From) { in Convert()
172 if (TargetType == APSIntType(From)) in Convert()
184 return getValue(APSIntType(v).getMaxValue()); in getMaxValue()
188 return getValue(APSIntType(v).getMinValue()); in getMinValue()
199 const llvm::APSInt &getMaxValue(APSIntType T) { in getMaxValue()
[all …]
H A DSMTConv.h317 APSIntType TargetType(ToWidth, !ToTy->isSignedIntegerOrEnumerationType()); in castAPSInt()
/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DRangedConstraintManager.cpp103 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType()); in assumeSymInclusiveRange()
110 APSIntType ComparisonType = std::max(WraparoundType, APSIntType(From)); in assumeSymInclusiveRange()
166 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType()); in assumeSymRel()
179 APSIntType ComparisonType = std::max(WraparoundType, APSIntType(Int)); in assumeSymRel()
218 Adjustment = APSIntType(Adjustment).convert(SE->getRHS()); in computeAdjustment()
H A DRangeConstraintManager.cpp207 case APSIntType::RTR_Below: in pin()
209 case APSIntType::RTR_Below: in pin()
219 case APSIntType::RTR_Within: in pin()
224 case APSIntType::RTR_Above: in pin()
231 case APSIntType::RTR_Within: in pin()
233 case APSIntType::RTR_Below: in pin()
238 case APSIntType::RTR_Within: in pin()
243 case APSIntType::RTR_Above: in pin()
250 case APSIntType::RTR_Above: in pin()
252 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.cpp206 APSIntType AT = BV.getAPSIntType(T); in isWithinConstantOverflowBounds()
215 APSIntType AT(I); in isWithinConstantOverflowBounds()
250 assert(APSIntType(LInt) == BV.getAPSIntType(SymTy) && in doRearrangeUnchecked()
252 assert(APSIntType(RInt) == BV.getAPSIntType(SymTy) && in doRearrangeUnchecked()
476 APSIntType CompareType = std::max(APSIntType(LHSValue), in evalBinOpNN()
477 APSIntType(RHSValue)); in evalBinOpNN()
481 APSIntType IntType = BasicVals.getAPSIntType(resultTy); in evalBinOpNN()
603 APSIntType IntType = BasicVals.getAPSIntType(resultTy); in evalBinOpNN()
H A DSValBuilder.cpp531 APSIntType ToType(getContext().getTypeSize(castTy), in evalIntegralCast()
/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DArrayBoundCheckerV2.cpp91 APSIntType(extent.getValue()).convert(SIE->getRHS()); in getSimplifiedOffsets()
H A DIterator.cpp272 APSIntType AT = BV.getAPSIntType(T); in assumeNoOverflow()
H A DCStringChecker.cpp763 llvm::APSInt fourInt = APSIntType(maxValInt).getValue(4); in getCStringLengthForRegion()
/freebsd-13.1/lib/clang/libclang/
H A DMakefile657 SRCS_FUL+= StaticAnalyzer/Core/APSIntType.cpp