Searched refs:getAPSIntType (Results 1 – 6 of 6) sorted by relevance
148 APSIntType getAPSIntType(QualType T) const { in getAPSIntType() function178 APSIntType TargetType = getAPSIntType(T); in Convert()203 return getMaxValue(getAPSIntType(T)); in getMaxValue()207 return getMinValue(getAPSIntType(T)); in getMinValue()
571 static inline QualType getAPSIntType(ASTContext &Ctx, in getAPSIntType() function584 if (Int.getBitWidth() == 1 && getAPSIntType(Ctx, Int).isNull()) { in fixAPSInt()589 return std::make_pair(NewInt, getAPSIntType(Ctx, NewInt)); in fixAPSInt()
347 APSIntType getAPSIntType() const;
109 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType()); in assumeSymInclusiveRange()172 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType()); in assumeSymRel()
367 APSIntType clang::ento::RangeSet::getAPSIntType() const { in getAPSIntType() function in clang::ento::RangeSet678 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 …]
137 BVF.getAPSIntType(CE->getType()).apply(Result); in evalCall()