Home
last modified time | relevance | path

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

12345678

/freebsd-13.1/contrib/llvm-project/llvm/include/llvm/ADT/
H A DAPSInt.h111 const APSInt &operator%=(const APSInt &RHS) {
119 const APSInt &operator/=(const APSInt &RHS) {
127 APSInt operator%(const APSInt &RHS) const {
131 APSInt operator/(const APSInt &RHS) const {
218 APSInt& operator+=(const APSInt& RHS) {
223 APSInt& operator-=(const APSInt& RHS) {
228 APSInt& operator*=(const APSInt& RHS) {
233 APSInt& operator&=(const APSInt& RHS) {
238 APSInt& operator|=(const APSInt& RHS) {
243 APSInt& operator^=(const APSInt& RHS) {
[all …]
H A DAPFixedPoint.h114 APSInt getValue() const { return APSInt(Val, !Sema.isSigned()); } in getValue()
156 APSInt getIntPart() const { in getIntPart()
168 APSInt convertToInt(unsigned DstWidth, bool DstSign,
210 static APFixedPoint getFromIntValue(const APSInt &Value,
226 APSInt Val;
/freebsd-13.1/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DRangedConstraintManager.h31 Range(const llvm::APSInt &From, const llvm::APSInt &To) : Impl(&From, &To) { in Range()
60 std::pair<const llvm::APSInt *, const llvm::APSInt *> Impl;
148 RangeSet getRangeSet(const llvm::APSInt &From, const llvm::APSInt &To) { in getRangeSet()
172 RangeSet intersect(RangeSet What, llvm::APSInt Lower, llvm::APSInt Upper);
247 RangeSet(Factory &F, const llvm::APSInt &From, const llvm::APSInt &To) in RangeSet()
272 const llvm::APSInt &getMinValue() const;
276 const llvm::APSInt &getMaxValue() const;
303 bool pin(llvm::APSInt &Lower, llvm::APSInt &Upper) const;
304 bool pin(llvm::APSInt &Point) const;
377 const llvm::APSInt &To, const llvm::APSInt &Adjustment) = 0;
[all …]
H A DBasicValueFactory.h138 const llvm::APSInt& getValue(const llvm::APSInt& X);
157 const llvm::APSInt &Convert(const llvm::APSInt& To, in Convert()
166 const llvm::APSInt &Convert(QualType T, const llvm::APSInt &From) { in Convert()
171 const llvm::APSInt &Convert(APSIntType TargetType, const llvm::APSInt &From) { in Convert()
183 const llvm::APSInt &getMaxValue(const llvm::APSInt &v) { in getMaxValue()
187 const llvm::APSInt &getMinValue(const llvm::APSInt &v) { in getMinValue()
207 const llvm::APSInt &Add1(const llvm::APSInt &V) { in Add1()
208 llvm::APSInt X = V; in Add1()
213 const llvm::APSInt &Sub1(const llvm::APSInt &V) { in Sub1()
214 llvm::APSInt X = V; in Sub1()
[all …]
H A DAPSIntType.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 …]
H A DConstraintManager.h27 class APSInt; variable
118 const llvm::APSInt &From,
119 const llvm::APSInt &To,
124 const llvm::APSInt &From, in assumeInclusiveRangeDual()
125 const llvm::APSInt &To) { in assumeInclusiveRangeDual()
151 virtual const llvm::APSInt* getSymVal(ProgramStateRef state, in getSymVal()
H A DSimpleConstraintManager.h43 const llvm::APSInt &From,
44 const llvm::APSInt &To,
63 const llvm::APSInt &From,
64 const llvm::APSInt &To,
H A DSMTConv.h275 Solver->mkBitvector(llvm::APSInt("0"), ToBitWidth)); in fromCast()
313 static inline llvm::APSInt castAPSInt(llvm::SMTSolverRef &Solver, in castAPSInt()
392 llvm::APSInt NewRInt; in getSymBinExpr()
400 llvm::APSInt NewLInt; in getSymBinExpr()
509 const llvm::APSInt &From, const llvm::APSInt &To, bool InRange) { in getRangeExpr()
512 llvm::APSInt NewFromInt; in getRangeExpr()
527 llvm::APSInt NewToInt; in getRangeExpr()
548 const llvm::APSInt &Int) { in getAPSIntType()
553 static inline std::pair<llvm::APSInt, QualType>
554 fixAPSInt(ASTContext &Ctx, const llvm::APSInt &Int) { in fixAPSInt()
[all …]
H A DSMTConstraintManager.h64 const llvm::APSInt &From, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
65 const llvm::APSInt &To, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
110 const llvm::APSInt *getSymVal(ProgramStateRef State, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
118 llvm::APSInt Value(Ctx.getTypeSize(Ty), in REGISTER_TRAIT_WITH_PROGRAMSTATE()
163 const llvm::APSInt *Value; in REGISTER_TRAIT_WITH_PROGRAMSTATE()
170 const llvm::APSInt *LHS, *RHS; in REGISTER_TRAIT_WITH_PROGRAMSTATE()
188 llvm::APSInt ConvertedLHS, ConvertedRHS; in REGISTER_TRAIT_WITH_PROGRAMSTATE()
192 SMTConv::doIntTypeConversion<llvm::APSInt, &SMTConv::castAPSInt>( in REGISTER_TRAIT_WITH_PROGRAMSTATE()
H A DSymbolManager.h344 static unsigned computeOperandComplexity(const llvm::APSInt &Value) { in computeOperandComplexity()
348 static const llvm::APSInt *getPointer(const llvm::APSInt &Value) { in getPointer()
354 static void dumpToStreamImpl(raw_ostream &os, const llvm::APSInt &Value);
406 using SymIntExpr = BinarySymExprImpl<const SymExpr *, const llvm::APSInt &,
410 using IntSymExpr = BinarySymExprImpl<const llvm::APSInt &, const SymExpr *,
475 const llvm::APSInt& rhs, QualType t);
478 const llvm::APSInt& rhs, QualType t) { in getSymIntExpr()
482 const IntSymExpr *getIntSymExpr(const llvm::APSInt& lhs,
/freebsd-13.1/contrib/llvm-project/llvm/lib/Support/
H A DAPFixedPoint.cpp21 APSInt NewVal = Val; in convert()
65 APSInt ThisVal = getValue(); in compare()
185 APSInt Result; in add()
209 APSInt Result; in sub()
250 APSInt Result; in mul()
303 APSInt Result; in div()
337 APSInt ThisVal = Val; in shl()
371 APSInt Val = getValue(); in toString()
417 APSInt Result = getIntPart(); in convertToInt()
420 APSInt DstMin = APSInt::getMinValue(DstWidth, !DstSign); in convertToInt()
[all …]
H A DAPSInt.cpp21 APSInt::APSInt(StringRef Str) { in APSInt() function in APSInt
31 *this = APSInt(Tmp, /*isUnsigned=*/false); in APSInt()
37 *this = APSInt(Tmp, /*isUnsigned=*/true); in APSInt()
40 void APSInt::Profile(FoldingSetNodeID& ID) const { in Profile()
/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DRangeConstraintManager.cpp196 bool RangeSet::pin(llvm::APSInt &Lower, llvm::APSInt &Upper) const { in pin()
434 const llvm::APSInt &From = It->From(); in negate()
435 const llvm::APSInt &To = It->To(); in negate()
487 llvm::APSInt Upper = Point; in deletePoint()
488 llvm::APSInt Lower = Point; in deletePoint()
1404 using Const = const llvm::APSInt &;
1660 const llvm::APSInt &To, const llvm::APSInt &Adjustment) override;
1664 const llvm::APSInt &To, const llvm::APSInt &Adjustment) override;
2468 llvm::APSInt Lower = Min - Adjustment; in getSymLTRange()
2604 const llvm::APSInt &To, const llvm::APSInt &Adjustment) { in assumeSymWithinInclusiveRange()
[all …]
H A DRangedConstraintManager.cpp63 const llvm::APSInt &Zero = getBasicVals().getValue(0, DiffTy); in assumeSym()
80 const llvm::APSInt &Zero = getBasicVals().getValue(0, ExprType); in assumeSym()
96 ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From, in assumeSymInclusiveRange()
97 const llvm::APSInt &To, bool InRange) { in assumeSymInclusiveRange()
105 llvm::APSInt Adjustment = WraparoundType.getZeroValue(); in assumeSymInclusiveRange()
111 llvm::APSInt ConvertedFrom = ComparisonType.convert(From); in assumeSymInclusiveRange()
112 llvm::APSInt ConvertedTo = ComparisonType.convert(To); in assumeSymInclusiveRange()
139 const llvm::APSInt &Zero = BVF.getValue(0, T); in assumeSymUnsupported()
175 llvm::APSInt Adjustment = WraparoundType.getZeroValue(); in assumeSymRel()
180 llvm::APSInt ConvertedInt = ComparisonType.convert(Int); in assumeSymRel()
[all …]
H A DSimpleSValBuilder.cpp87 const llvm::APSInt &RHS, in MakeSymIntVal()
154 const llvm::APSInt *ConvertedRHS = &RHS; in MakeSymIntVal()
214 static bool isWithinConstantOverflowBounds(llvm::APSInt I) { in isWithinConstantOverflowBounds()
223 static std::pair<SymbolRef, llvm::APSInt>
271 llvm::APSInt ResultInt; in doRearrangeUnchecked()
361 llvm::APSInt LInt, RInt; in tryRearrange()
471 llvm::APSInt RHSValue = *KnownRHSValue; in evalBinOpNN()
486 const llvm::APSInt *Result = in evalBinOpNN()
607 const llvm::APSInt *newRHS; in evalBinOpNN()
1024 const llvm::APSInt &leftI = lhsInt->getValue(); in evalBinOpLN()
[all …]
H A DBasicValueFactory.cpp84 I.getValue().~APSInt(); in ~BasicValueFactory()
90 const llvm::APSInt& BasicValueFactory::getValue(const llvm::APSInt& X) { in getValue()
94 using FoldNodeTy = llvm::FoldingSetNodeWrapper<llvm::APSInt>; in getValue()
108 const llvm::APSInt& BasicValueFactory::getValue(const llvm::APInt& X, in getValue()
110 llvm::APSInt V(X, isUnsigned); in getValue()
114 const llvm::APSInt& BasicValueFactory::getValue(uint64_t X, unsigned BitWidth, in getValue()
116 llvm::APSInt V(BitWidth, isUnsigned); in getValue()
121 const llvm::APSInt& BasicValueFactory::getValue(uint64_t X, QualType T) { in getValue()
249 const llvm::APSInt*
251 const llvm::APSInt& V1, const llvm::APSInt& V2) { in evalAPSInt()
/freebsd-13.1/contrib/llvm-project/llvm/lib/DebugInfo/CodeView/
H A DRecordSerialization.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-13.1/contrib/llvm-project/clang/include/clang/AST/
H A DAPValue.h124 typedef llvm::APSInt APSInt;
261 APSInt Real, Imag;
322 APValue(APSInt R, APSInt I) : Kind(None) {
415 APSInt &getInt() {
417 return *(APSInt *)(char *)&Data;
419 const APSInt &getInt() const {
445 APSInt &getComplexIntReal() {
453 APSInt &getComplexIntImag() {
580 void setInt(APSInt I) {
597 void setComplexInt(APSInt R, APSInt I) {
[all …]
/freebsd-13.1/contrib/llvm-project/clang/lib/AST/Interp/
H A DIntegral.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);
H A DInterpState.cpp22 using APSInt = llvm::APSInt; typedef
51 bool InterpState::reportOverflow(const Expr *E, const llvm::APSInt &Value) { in reportOverflow()
H A DBoolean.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-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DUndefResultChecker.cpp70 const llvm::APSInt *LHS = SB.getKnownValue(State, C.getSVal(B->getLHS())); in isLeftShiftResultUnrepresentable()
71 const llvm::APSInt *RHS = SB.getKnownValue(State, C.getSVal(B->getRHS())); in isLeftShiftResultUnrepresentable()
138 const llvm::APSInt *I = in checkPostStmt()
158 const llvm::APSInt *LHS = in checkPostStmt()
160 const llvm::APSInt *RHS = in checkPostStmt()
H A DDebugIteratorModeling.cpp106 }, nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0)))); in analyzerIteratorPosition()
114 }, loc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0)))); in analyzerIteratorContainer()
122 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get((P->isValid())))); in analyzerIteratorValidity()
123 }, nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0)))); in analyzerIteratorValidity()
H A DMallocOverflowSecurityChecker.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()
/freebsd-13.1/contrib/llvm-project/lldb/source/Plugins/SymbolFile/NativePDB/
H A DDWARFLocationExpression.h16 class APSInt; variable
41 const llvm::APSInt &constant, lldb::ModuleSP module);

12345678