Home
last modified time | relevance | path

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

/openbsd-src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DBasicValueFactory.h148 APSIntType getAPSIntType(QualType T) const { in getAPSIntType() function
178 APSIntType TargetType = getAPSIntType(T); in Convert()
203 return getMaxValue(getAPSIntType(T)); in getMaxValue()
207 return getMinValue(getAPSIntType(T)); in getMinValue()
H A DSMTConv.h571 static inline QualType getAPSIntType(ASTContext &Ctx, in getAPSIntType() function
584 if (Int.getBitWidth() == 1 && getAPSIntType(Ctx, Int).isNull()) { in fixAPSInt()
589 return std::make_pair(NewInt, getAPSIntType(Ctx, NewInt)); in fixAPSInt()
H A DRangedConstraintManager.h347 APSIntType getAPSIntType() const;
/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Core/
H A DSimpleSValBuilder.cpp206 APSIntType resultIntTy = BasicVals.getAPSIntType(resultTy); in MakeSymIntVal()
245 APSIntType AT = BV.getAPSIntType(T); in isWithinConstantOverflowBounds()
289 assert(APSIntType(LInt) == BV.getAPSIntType(SymTy) && in doRearrangeUnchecked()
291 assert(APSIntType(RInt) == BV.getAPSIntType(SymTy) && in doRearrangeUnchecked()
493 BasicVals.getAPSIntType(lSym->getType()).apply(i); in evalBinOpNN()
495 BasicVals.getAPSIntType(Context.VoidPtrTy).apply(i); in evalBinOpNN()
525 APSIntType IntType = BasicVals.getAPSIntType(resultTy); in evalBinOpNN()
647 APSIntType IntType = BasicVals.getAPSIntType(resultTy); in evalBinOpNN()
H A DRangedConstraintManager.cpp109 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType()); in assumeSymInclusiveRange()
172 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType()); in assumeSymRel()
H A DSValBuilder.cpp672 VB.getBasicValueFactory().getAPSIntType(CastTy).apply(Value); in VisitLocConcreteInt()
679 VB.getBasicValueFactory().getAPSIntType(CastTy).apply(Value); in VisitLocConcreteInt()
865 VB.getBasicValueFactory().getAPSIntType(CastTy).apply(Value); in VisitNonLocConcreteInt()
1057 APSIntType CTy = BVF.getAPSIntType(CastTy); in simplifySymbolCast()
1058 APSIntType TTy = BVF.getAPSIntType(T); in simplifySymbolCast()
1070 APSIntType RTy = BVF.getAPSIntType(RT); in simplifySymbolCast()
H A DRangeConstraintManager.cpp367 APSIntType clang::ento::RangeSet::getAPSIntType() const { in getAPSIntType() function in clang::ento::RangeSet
678 if (What.isEmpty() || What.getAPSIntType() == Ty) in castTo()
709 return castTo(What, ValueFactory.getAPSIntType(T)); in castTo()
1374 APSIntType ResultType = ValueFactory.getAPSIntType(T); in VisitBinaryOperator()
1404 APSIntType RangeType = ValueFactory.getAPSIntType(T); in getSymmetricalRange()
1437 APSIntType IntType = ValueFactory.getAPSIntType(T); in assumeNonZero()
1622 if (LHS.getAPSIntType() == RHS.getAPSIntType()) { in VisitBinaryOperator()
1642 LHS.getAPSIntType().convert(RHS.getMaxValue()) < LHS.getMinValue()) in VisitBinaryOperator()
1647 RHS.getAPSIntType().convert(LHS.getMaxValue()) < RHS.getMinValue()) in VisitBinaryOperator()
1670 APSIntType ResultType = ValueFactory.getAPSIntType(T); in VisitBinaryOperator()
[all …]
H A DBasicValueFactory.cpp122 return getValue(getAPSIntType(T).getValue(X)); in getValue()
/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/
H A DBuiltinFunctionChecker.cpp115 BVF.getAPSIntType(CE->getType()).apply(Result); in evalCall()
H A DIterator.cpp272 APSIntType AT = BV.getAPSIntType(T); in assumeNoOverflow()