Home
last modified time | relevance | path

Searched refs:APSInt (Results 1 – 25 of 159) sorted by relevance

1234567

/freebsd-11-stable/contrib/llvm-project/llvm/include/llvm/ADT/
HDAPSInt.h21 class LLVM_NODISCARD APSInt : public APInt {
26 explicit APSInt() : IsUnsigned(false) {} in APSInt() function
30 explicit APSInt(uint32_t BitWidth, bool isUnsigned = true)
33 explicit APSInt(APInt I, bool isUnsigned = true)
43 explicit APSInt(StringRef Str);
63 APSInt &operator=(APInt RHS) {
69 APSInt &operator=(uint64_t RHS) {
98 APSInt trunc(uint32_t width) const { in trunc()
99 return APSInt(APInt::trunc(width), IsUnsigned); in trunc()
102 APSInt extend(uint32_t width) const { in extend()
[all …]
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
HDRangedConstraintManager.h27 class Range : public std::pair<const llvm::APSInt *, const llvm::APSInt *> {
29 Range(const llvm::APSInt &from, const llvm::APSInt &to) in Range()
30 : std::pair<const llvm::APSInt *, const llvm::APSInt *>(&from, &to) { in Range()
33 bool Includes(const llvm::APSInt &v) const { in Includes()
36 const llvm::APSInt &From() const { return *first; } in From()
37 const llvm::APSInt &To() const { return *second; } in To()
38 const llvm::APSInt *getConcreteValue() const { in getConcreteValue()
89 RangeSet(Factory &F, const llvm::APSInt &from, const llvm::APSInt &to) in RangeSet()
99 const llvm::APSInt *getConcreteValue() const { in getConcreteValue()
105 const llvm::APSInt &Lower, const llvm::APSInt &Upper,
[all …]
HDBasicValueFactory.h108 llvm::FoldingSet<llvm::FoldingSetNodeWrapper<llvm::APSInt>>;
125 const llvm::APSInt& getValue(uint64_t X, unsigned BitWidth, bool isUnsigned);
136 const llvm::APSInt& getValue(const llvm::APSInt& X);
137 const llvm::APSInt& getValue(const llvm::APInt& X, bool isUnsigned);
138 const llvm::APSInt& getValue(uint64_t X, QualType T);
149 const llvm::APSInt &Convert(const llvm::APSInt& To, in Convert()
150 const llvm::APSInt& From) { in Convert()
158 const llvm::APSInt &Convert(QualType T, const llvm::APSInt &From) { in Convert()
166 const llvm::APSInt &getIntValue(uint64_t X, bool isUnsigned) { in getIntValue()
171 const llvm::APSInt &getMaxValue(const llvm::APSInt &v) { in getMaxValue()
[all …]
HDAPSIntType.h27 /* implicit */ APSIntType(const llvm::APSInt &Value) in APSIntType()
37 void apply(llvm::APSInt &Value) const { in apply()
48 llvm::APSInt convert(const llvm::APSInt &Value) const LLVM_READONLY { in convert()
49 llvm::APSInt Result(Value, Value.isUnsigned()); in convert()
55 llvm::APSInt getZeroValue() const LLVM_READONLY { in getZeroValue()
56 return llvm::APSInt(BitWidth, IsUnsigned); in getZeroValue()
60 llvm::APSInt getMinValue() const LLVM_READONLY { in getMinValue()
61 return llvm::APSInt::getMinValue(BitWidth, IsUnsigned); in getMinValue()
65 llvm::APSInt getMaxValue() const LLVM_READONLY { in getMaxValue()
66 return llvm::APSInt::getMaxValue(BitWidth, IsUnsigned); in getMaxValue()
[all …]
HDConstraintManager.h27 class APSInt; variable
122 const llvm::APSInt &From,
123 const llvm::APSInt &To,
128 const llvm::APSInt &From, in assumeInclusiveRangeDual()
129 const llvm::APSInt &To) { in assumeInclusiveRangeDual()
155 virtual const llvm::APSInt* getSymVal(ProgramStateRef state, in getSymVal()
HDSimpleConstraintManager.h43 const llvm::APSInt &From,
44 const llvm::APSInt &To,
63 const llvm::APSInt &From,
64 const llvm::APSInt &To,
HDSMTConv.h274 Exp, Solver->mkBitvector(llvm::APSInt("1"), ToBitWidth), in fromCast()
275 Solver->mkBitvector(llvm::APSInt("0"), ToBitWidth)); in fromCast()
313 static inline llvm::APSInt castAPSInt(llvm::SMTSolverRef &Solver, in castAPSInt()
314 const llvm::APSInt &V, QualType ToTy, in castAPSInt()
387 llvm::APSInt NewRInt; in getSymBinExpr()
395 llvm::APSInt NewLInt; in getSymBinExpr()
494 Solver->mkBitvector(llvm::APSInt("0"), Ctx.getTypeSize(Ty)), in getZeroExpr()
505 const llvm::APSInt &From, const llvm::APSInt &To, bool InRange) { in getRangeExpr()
508 llvm::APSInt NewFromInt; in getRangeExpr()
523 llvm::APSInt NewToInt; in getRangeExpr()
[all …]
HDSMTConstraintManager.h62 const llvm::APSInt &From, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
63 const llvm::APSInt &To, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
108 const llvm::APSInt *getSymVal(ProgramStateRef State, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
116 llvm::APSInt Value(Ctx.getTypeSize(Ty), in REGISTER_TRAIT_WITH_PROGRAMSTATE()
162 const llvm::APSInt *Value; in REGISTER_TRAIT_WITH_PROGRAMSTATE()
169 const llvm::APSInt *LHS, *RHS; in REGISTER_TRAIT_WITH_PROGRAMSTATE()
187 llvm::APSInt ConvertedLHS, ConvertedRHS; in REGISTER_TRAIT_WITH_PROGRAMSTATE()
191 SMTConv::doIntTypeConversion<llvm::APSInt, &SMTConv::castAPSInt>( in REGISTER_TRAIT_WITH_PROGRAMSTATE()
HDSymbolManager.h334 const llvm::APSInt& RHS;
338 const llvm::APSInt &rhs, QualType t) in SymIntExpr()
346 const llvm::APSInt &getRHS() const { return RHS; } in getRHS()
355 BinaryOperator::Opcode op, const llvm::APSInt& rhs, in Profile()
376 const llvm::APSInt& LHS;
380 IntSymExpr(const llvm::APSInt &lhs, BinaryOperator::Opcode op, in IntSymExpr()
389 const llvm::APSInt &getLHS() const { return LHS; } in getLHS()
397 static void Profile(llvm::FoldingSetNodeID& ID, const llvm::APSInt& lhs, in Profile()
518 const llvm::APSInt& rhs, QualType t);
521 const llvm::APSInt& rhs, QualType t) { in getSymIntExpr()
[all …]
HDSValBuilder.h133 virtual const llvm::APSInt *getKnownValue(ProgramStateRef state, SVal val) = 0;
290 nonloc::ConcreteInt makeIntVal(const llvm::APSInt& integer) { in makeIntVal()
294 loc::ConcreteInt makeIntLocVal(const llvm::APSInt &integer) { in makeIntLocVal()
323 const llvm::APSInt& rhs, QualType type);
325 NonLoc makeNonLoc(const llvm::APSInt& rhs, BinaryOperator::Opcode op,
365 Loc makeLoc(const llvm::APSInt& integer) { in makeLoc()
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
HDRangeConstraintManager.cpp27 const llvm::APSInt &Lower, const llvm::APSInt &Upper, in IntersectInRange()
63 const llvm::APSInt &RangeSet::getMinValue() const { in getMinValue()
68 bool RangeSet::pin(llvm::APSInt &Lower, llvm::APSInt &Upper) const { in pin()
157 llvm::APSInt Lower, llvm::APSInt Upper) const { in Intersect()
200 const llvm::APSInt &from = i->From(), &to = i->To(); in Negate()
201 const llvm::APSInt &newTo = (from.isMinSignedValue() ? in Negate()
209 const llvm::APSInt &newFrom = newRanges.begin()->From(); in Negate()
213 const llvm::APSInt &newFrom = BV.getValue(- to); in Negate()
259 const llvm::APSInt *getSymVal(ProgramStateRef State,
273 const llvm::APSInt &V,
[all …]
HDRangedConstraintManager.cpp60 const llvm::APSInt &Zero = getBasicVals().getValue(0, DiffTy); in assumeSym()
74 ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From, in assumeSymInclusiveRange()
75 const llvm::APSInt &To, bool InRange) { in assumeSymInclusiveRange()
80 llvm::APSInt Adjustment = WraparoundType.getZeroValue(); in assumeSymInclusiveRange()
86 llvm::APSInt ConvertedFrom = ComparisonType.convert(From); in assumeSymInclusiveRange()
87 llvm::APSInt ConvertedTo = ComparisonType.convert(To); in assumeSymInclusiveRange()
112 const llvm::APSInt &Zero = BVF.getValue(0, T); in assumeSymUnsupported()
122 const llvm::APSInt &Int) { in assumeSymRel()
148 llvm::APSInt Adjustment = WraparoundType.getZeroValue(); in assumeSymRel()
153 llvm::APSInt ConvertedInt = ComparisonType.convert(Int); in assumeSymRel()
[all …]
HDBasicValueFactory.cpp83 I.getValue().~APSInt(); in ~BasicValueFactory()
89 const llvm::APSInt& BasicValueFactory::getValue(const llvm::APSInt& X) { in getValue()
93 using FoldNodeTy = llvm::FoldingSetNodeWrapper<llvm::APSInt>; in getValue()
107 const llvm::APSInt& BasicValueFactory::getValue(const llvm::APInt& X, in getValue()
109 llvm::APSInt V(X, isUnsigned); in getValue()
113 const llvm::APSInt& BasicValueFactory::getValue(uint64_t X, unsigned BitWidth, in getValue()
115 llvm::APSInt V(BitWidth, isUnsigned); in getValue()
120 const llvm::APSInt& BasicValueFactory::getValue(uint64_t X, QualType T) { in getValue()
204 const llvm::APSInt*
206 const llvm::APSInt& V1, const llvm::APSInt& V2) { in evalAPSInt()
HDSimpleSValBuilder.cpp47 const llvm::APSInt *getKnownValue(ProgramStateRef state, SVal V) override;
54 const llvm::APSInt &RHS, QualType resultTy);
121 llvm::APSInt i = val.castAs<nonloc::ConcreteInt>().getValue(); in evalCastFromNonLoc()
180 llvm::APSInt i = val.castAs<loc::ConcreteInt>().getValue(); in evalCastFromLoc()
219 const llvm::APSInt &RHS, in MakeSymIntVal()
272 const llvm::APSInt &Result = BasicVals.Convert(resultTy, RHS); in MakeSymIntVal()
286 const llvm::APSInt *ConvertedRHS = &RHS; in MakeSymIntVal()
314 llvm::APSInt Bound, ProgramStateRef State) { in isInRelation()
340 llvm::APSInt Max = AT.getMaxValue() / AT.getValue(4), Min = -Max; in isWithinConstantOverflowBounds()
346 static bool isWithinConstantOverflowBounds(llvm::APSInt I) { in isWithinConstantOverflowBounds()
[all …]
/freebsd-11-stable/contrib/llvm-project/clang/lib/Basic/
HDFixedPoint.cpp20 llvm::APSInt NewVal = Val; in convert()
64 llvm::APSInt ThisVal = getValue(); in compare()
65 llvm::APSInt OtherVal = Other.getValue(); in compare()
116 auto Val = llvm::APSInt::getMaxValue(Sema.getWidth(), IsUnsigned); in getMax()
123 auto Val = llvm::APSInt::getMinValue(Sema.getWidth(), !Sema.isSigned()); in getMin()
157 llvm::APSInt ThisVal = ConvertedThis.getValue(); in add()
158 llvm::APSInt OtherVal = ConvertedOther.getValue(); in add()
161 llvm::APSInt Result; in add()
177 llvm::APSInt Val = getValue(); in toString()
185 llvm::APSInt IntPart = Val >> Scale; in toString()
[all …]
/freebsd-11-stable/contrib/llvm-project/llvm/lib/DebugInfo/CodeView/
HDRecordSerialization.cpp36 Error llvm::codeview::consume(BinaryStreamReader &Reader, APSInt &Num) { in consume()
44 Num = APSInt(APInt(/*numBits=*/16, Short, /*isSigned=*/false), in consume()
54 Num = APSInt(APInt(8, N, true), false); in consume()
61 Num = APSInt(APInt(16, N, true), false); in consume()
68 Num = APSInt(APInt(16, N, false), true); in consume()
75 Num = APSInt(APInt(32, N, true), false); in consume()
82 Num = APSInt(APInt(32, N, FalseVal), true); in consume()
89 Num = APSInt(APInt(64, N, true), false); in consume()
96 Num = APSInt(APInt(64, N, false), true); in consume()
104 Error llvm::codeview::consume(StringRef &Data, APSInt &Num) { in consume()
[all …]
/freebsd-11-stable/contrib/llvm-project/llvm/lib/Support/
HDAPSInt.cpp20 APSInt::APSInt(StringRef Str) { in APSInt() function in APSInt
30 *this = APSInt(Tmp, /*isUnsigned=*/false); in APSInt()
36 *this = APSInt(Tmp, /*isUnsigned=*/true); in APSInt()
39 void APSInt::Profile(FoldingSetNodeID& ID) const { in Profile()
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/AST/
HDAPValue.h116 typedef llvm::APSInt APSInt;
237 APSInt Real, Imag;
277 typedef llvm::AlignedCharArrayUnion<void *, APSInt, APFloat, ComplexAPSInt,
286 explicit APValue(APSInt I) : Kind(None) {
298 APValue(APSInt R, APSInt I) : Kind(None) {
380 APSInt &getInt() {
382 return *(APSInt*)(char*)Data.buffer;
384 const APSInt &getInt() const {
391 bool toIntegralConstant(APSInt &Result, QualType SrcTy,
410 APSInt &getComplexIntReal() {
[all …]
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/Basic/
HDFixedPoint.h110 llvm::APSInt getValue() const { return llvm::APSInt(Val, !Sema.isSigned()); } in getValue()
146 llvm::APSInt getIntPart() const { in getIntPart()
161 llvm::APSInt convertToInt(unsigned DstWidth, bool DstSign,
195 static APFixedPoint getFromIntValue(const llvm::APSInt &Value,
200 llvm::APSInt Val;
/freebsd-11-stable/contrib/llvm-project/clang/lib/AST/Interp/
HDIntegral.h28 using APSInt = llvm::APSInt; variable
80 explicit Integral(const APSInt &V)
106 APSInt toAPSInt() const {
107 return APSInt(APInt(Bits, static_cast<uint64_t>(V), Signed), !Signed);
109 APSInt toAPSInt(unsigned NumBits) const {
111 return APSInt(toAPSInt().sextOrTrunc(NumBits), !Signed);
113 return APSInt(toAPSInt().zextOrTrunc(NumBits), !Signed);
HDInterpState.cpp22 using APSInt = llvm::APSInt; typedef
51 bool InterpState::reportOverflow(const Expr *E, const llvm::APSInt &Value) { in reportOverflow()
HDBoolean.h53 APSInt toAPSInt() const { in toAPSInt()
54 return APSInt(APInt(1, static_cast<uint64_t>(V), false), true); in toAPSInt()
56 APSInt toAPSInt(unsigned NumBits) const { in toAPSInt()
57 return APSInt(toAPSInt().zextOrTrunc(NumBits), true); in toAPSInt()
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
HDDebugIteratorModeling.cpp115 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0)))); in analyzerContainerDataField()
158 }, nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0)))); in analyzerIteratorPosition()
166 }, loc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0)))); in analyzerIteratorContainer()
174 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get((P->isValid())))); in analyzerIteratorValidity()
175 }, nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0)))); in analyzerIteratorValidity()
HDUndefResultChecker.cpp69 const llvm::APSInt *LHS = SB.getKnownValue(State, C.getSVal(B->getLHS())); in isLeftShiftResultUnrepresentable()
70 const llvm::APSInt *RHS = SB.getKnownValue(State, C.getSVal(B->getRHS())); in isLeftShiftResultUnrepresentable()
137 const llvm::APSInt *I = in checkPostStmt()
157 const llvm::APSInt *LHS = in checkPostStmt()
159 const llvm::APSInt *RHS = in checkPostStmt()
HDMallocOverflowSecurityChecker.cpp31 using llvm::APSInt;
37 APSInt maxVal;
39 MallocOverflowCheck(const BinaryOperator *m, const Expr *v, APSInt val) in MallocOverflowCheck()
60 static inline bool EvaluatesToZero(APSInt &Val, BinaryOperatorKind op) { in EvaluatesToZero()
76 APSInt maxVal; in CheckMallocArgument()
178 APSInt denomVal; in CheckAssignmentExpr()

1234567