Searched refs:getAPSIntType (Results 1 – 10 of 10) sorted by relevance
149 APSIntType getAPSIntType(QualType T) const { in getAPSIntType() function178 APSIntType TargetType = getAPSIntType(T); in Convert()202 APSIntPtr getMaxValue(QualType T) { return getMaxValue(getAPSIntType(T)); } in getMaxValue()204 APSIntPtr getMinValue(QualType T) { return getMinValue(getAPSIntType(T)); } in getMinValue()
573 static inline QualType getAPSIntType(ASTContext &Ctx, in getAPSIntType() function593 QualType Ty = getAPSIntType(Ctx, Int); in fixAPSInt()600 getAPSIntType(Ctx, NewInt)}; in fixAPSInt()602 return {Int.extend(Ctx.getTypeSize(getAPSIntType(Ctx, Int))), in fixAPSInt()603 getAPSIntType(Ctx, NewInt)}; in fixAPSInt()
347 APSIntType getAPSIntType() const;
220 APSIntType resultIntTy = BasicVals.getAPSIntType(resultTy); in MakeSymIntVal()260 APSIntType AT = BV.getAPSIntType(T); in isWithinConstantOverflowBounds()304 assert(APSIntType(LInt) == BV.getAPSIntType(SymTy) && in doRearrangeUnchecked()306 assert(APSIntType(RInt) == BV.getAPSIntType(SymTy) && in doRearrangeUnchecked()509 BasicVals.getAPSIntType(lSym->getType()).apply(i); in evalBinOpNN()511 BasicVals.getAPSIntType(Context.VoidPtrTy).apply(i); in evalBinOpNN()541 APSIntType IntType = BasicVals.getAPSIntType(resultTy); in evalBinOpNN()676 APSIntType IntType = BasicVals.getAPSIntType(resultTy); in evalBinOpNN()
109 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType()); in assumeSymInclusiveRange()172 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType()); in assumeSymRel()
678 VB.getBasicValueFactory().getAPSIntType(CastTy).apply(Value); in VisitConcreteInt()685 VB.getBasicValueFactory().getAPSIntType(CastTy).apply(Value); in VisitConcreteInt()871 VB.getBasicValueFactory().getAPSIntType(CastTy).apply(Value); in VisitConcreteInt()1068 APSIntType CTy = BVF.getAPSIntType(CastTy); in simplifySymbolCast()1069 APSIntType TTy = BVF.getAPSIntType(T); in simplifySymbolCast()1081 APSIntType RTy = BVF.getAPSIntType(RT); in simplifySymbolCast()
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()1376 APSIntType ResultType = ValueFactory.getAPSIntType(T); in VisitBinaryOperator()1406 APSIntType RangeType = ValueFactory.getAPSIntType(T); in getSymmetricalRange()1439 APSIntType IntType = ValueFactory.getAPSIntType(T); in assumeNonZero()1640 if (LHS.getAPSIntType() == RHS.getAPSIntType()) { in VisitBinaryOperator()1660 LHS.getAPSIntType().convert(RHS.getMaxValue()) < LHS.getMinValue()) in VisitBinaryOperator()1665 RHS.getAPSIntType().convert(LHS.getMaxValue()) < RHS.getMinValue()) in VisitBinaryOperator()1688 APSIntType ResultType = ValueFactory.getAPSIntType(T); in VisitBinaryOperator()[all …]
121 return getValue(getAPSIntType(T).getValue(X)); in getValue()
271 APSIntType AT = BV.getAPSIntType(T); in assumeNoOverflow()
329 BVF.getAPSIntType(CE->getType()).apply(Result); in evalCall()