Home
last modified time | relevance | path

Searched refs:getAPSIntType (Results 1 – 8 of 8) sorted by relevance

/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DBasicValueFactory.h142 APSIntType getAPSIntType(QualType T) const { in getAPSIntType() function
160 APSIntType TargetType = getAPSIntType(T); in Convert()
181 return getValue(getAPSIntType(T).getMaxValue()); in getMaxValue()
185 return getValue(getAPSIntType(T).getMinValue()); in getMinValue()
H A DSMTConv.h530 static inline QualType getAPSIntType(ASTContext &Ctx, in getAPSIntType() function
543 if (Int.getBitWidth() == 1 && getAPSIntType(Ctx, Int).isNull()) { in fixAPSInt()
548 return std::make_pair(NewInt, getAPSIntType(Ctx, NewInt)); in fixAPSInt()
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DSimpleSValBuilder.cpp123 BasicVals.getAPSIntType(castTy).apply(i); in evalCastFromNonLoc()
182 BasicVals.getAPSIntType(castTy).apply(i); in evalCastFromLoc()
339 APSIntType AT = BV.getAPSIntType(T); in isWithinConstantOverflowBounds()
383 assert(APSIntType(LInt) == BV.getAPSIntType(SymTy) && in doRearrangeUnchecked()
385 assert(APSIntType(RInt) == BV.getAPSIntType(SymTy) && in doRearrangeUnchecked()
575 BasicVals.getAPSIntType(Context.VoidPtrTy).apply(i); in evalBinOpNN()
605 APSIntType IntType = BasicVals.getAPSIntType(resultTy); in evalBinOpNN()
720 APSIntType IntType = BasicVals.getAPSIntType(resultTy); in evalBinOpNN()
H A DRangedConstraintManager.cpp79 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType()); in assumeSymInclusiveRange()
140 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType()); in assumeSymRel()
H A DRangeConstraintManager.cpp374 APSIntType IntType = BV.getAPSIntType(Sym->getType()); in checkNull()
417 APSIntType IntType = BV.getAPSIntType(Sym->getType()); in assumeNonZero()
438 const llvm::APSInt &Zero = BV.getAPSIntType(T).getZeroValue(); in applyBitwiseConstraints()
H A DBasicValueFactory.cpp122 return getValue(getAPSIntType(T).getValue(X)); in getValue()
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DBuiltinFunctionChecker.cpp110 BVF.getAPSIntType(CE->getType()).apply(Result); in evalCall()
H A DIteratorChecker.cpp991 APSIntType AT = BV.getAPSIntType(T); in assumeNoOverflow()