Home
last modified time | relevance | path

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

/netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DBasicValueFactory.h141 APSIntType getAPSIntType(QualType T) const { in getAPSIntType() function
165 APSIntType TargetType = getAPSIntType(T); in Convert()
190 return getMaxValue(getAPSIntType(T)); in getMaxValue()
194 return getMinValue(getAPSIntType(T)); in getMinValue()
H A DSMTConv.h547 static inline QualType getAPSIntType(ASTContext &Ctx, in getAPSIntType() function
560 if (Int.getBitWidth() == 1 && getAPSIntType(Ctx, Int).isNull()) { in fixAPSInt()
565 return std::make_pair(NewInt, getAPSIntType(Ctx, NewInt)); in fixAPSInt()
/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
H A DSimpleSValBuilder.cpp206 APSIntType AT = BV.getAPSIntType(T); in isWithinConstantOverflowBounds()
250 assert(APSIntType(LInt) == BV.getAPSIntType(SymTy) && in doRearrangeUnchecked()
252 assert(APSIntType(RInt) == BV.getAPSIntType(SymTy) && in doRearrangeUnchecked()
449 BasicVals.getAPSIntType(lSym->getType()).apply(i); in evalBinOpNN()
451 BasicVals.getAPSIntType(Context.VoidPtrTy).apply(i); in evalBinOpNN()
481 APSIntType IntType = BasicVals.getAPSIntType(resultTy); in evalBinOpNN()
603 APSIntType IntType = BasicVals.getAPSIntType(resultTy); in evalBinOpNN()
H A DRangedConstraintManager.cpp98 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType()); in assumeSymInclusiveRange()
159 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType()); in assumeSymRel()
H A DRangeConstraintManager.cpp999 APSIntType ResultType = ValueFactory.getAPSIntType(T); in VisitBinaryOperator()
1029 APSIntType RangeType = ValueFactory.getAPSIntType(T); in getSymmetricalRange()
1062 APSIntType IntType = ValueFactory.getAPSIntType(T); in assumeNonZero()
1216 APSIntType ResultType = ValueFactory.getAPSIntType(T); in VisitBinaryOperator()
1274 APSIntType ResultType = ValueFactory.getAPSIntType(T); in VisitBinaryOperator()
1320 llvm::APSInt Zero = ValueFactory.getAPSIntType(T).getZeroValue(); in VisitBinaryOperator()
2010 APSIntType IntType = BV.getAPSIntType(Sym->getType()); in checkNull()
H A DBasicValueFactory.cpp122 return getValue(getAPSIntType(T).getValue(X)); in getValue()
H A DSValBuilder.cpp649 BasicVals.getAPSIntType(CastTy).apply(Value); in evalCastSubKind()
836 BasicVals.getAPSIntType(CastTy).apply(Value); in evalCastSubKind()
/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
H A DBuiltinFunctionChecker.cpp114 BVF.getAPSIntType(CE->getType()).apply(Result); in evalCall()
H A DIterator.cpp272 APSIntType AT = BV.getAPSIntType(T); in assumeNoOverflow()