clang 17.0.0git
APValue.h
Go to the documentation of this file.
1//===--- APValue.h - Union class for APFloat/APSInt/Complex -----*- C++ -*-===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8//
9// This file defines the APValue class.
10//
11//===----------------------------------------------------------------------===//
12
13#ifndef LLVM_CLANG_AST_APVALUE_H
14#define LLVM_CLANG_AST_APVALUE_H
15
16#include "clang/Basic/LLVM.h"
17#include "llvm/ADT/APFixedPoint.h"
18#include "llvm/ADT/APFloat.h"
19#include "llvm/ADT/APSInt.h"
20#include "llvm/ADT/FoldingSet.h"
21#include "llvm/ADT/PointerIntPair.h"
22#include "llvm/ADT/PointerUnion.h"
23#include "llvm/Support/AlignOf.h"
24
25namespace clang {
26namespace serialization {
27template <typename T> class BasicReaderBase;
28} // end namespace serialization
29
30 class AddrLabelExpr;
31 class ASTContext;
32 class CharUnits;
33 class CXXRecordDecl;
34 class Decl;
36 class Expr;
37 class FieldDecl;
38 struct PrintingPolicy;
39 class Type;
40 class ValueDecl;
41 class QualType;
42
43/// Symbolic representation of typeid(T) for some type T.
45 const Type *T;
46
47public:
48 TypeInfoLValue() : T() {}
49 explicit TypeInfoLValue(const Type *T);
50
51 const Type *getType() const { return T; }
52 explicit operator bool() const { return T; }
53
54 void *getOpaqueValue() { return const_cast<Type*>(T); }
57 V.T = reinterpret_cast<const Type*>(Value);
58 return V;
59 }
60
61 void print(llvm::raw_ostream &Out, const PrintingPolicy &Policy) const;
62};
63
64/// Symbolic representation of a dynamic allocation.
66 unsigned Index;
67
68public:
69 DynamicAllocLValue() : Index(0) {}
70 explicit DynamicAllocLValue(unsigned Index) : Index(Index + 1) {}
71 unsigned getIndex() { return Index - 1; }
72
73 explicit operator bool() const { return Index != 0; }
74
76 return reinterpret_cast<void *>(static_cast<uintptr_t>(Index)
78 }
81 V.Index = reinterpret_cast<uintptr_t>(Value) >> NumLowBitsAvailable;
82 return V;
83 }
84
85 static unsigned getMaxIndex() {
86 return (std::numeric_limits<unsigned>::max() >> NumLowBitsAvailable) - 1;
87 }
88
89 static constexpr int NumLowBitsAvailable = 3;
90};
91}
92
93namespace llvm {
94template<> struct PointerLikeTypeTraits<clang::TypeInfoLValue> {
96 return V.getOpaqueValue();
97 }
100 }
101 // Validated by static_assert in APValue.cpp; hardcoded to avoid needing
102 // to include Type.h.
103 static constexpr int NumLowBitsAvailable = 3;
104};
105
106template<> struct PointerLikeTypeTraits<clang::DynamicAllocLValue> {
108 return V.getOpaqueValue();
109 }
112 }
113 static constexpr int NumLowBitsAvailable =
115};
116}
117
118namespace clang {
119/// APValue - This class implements a discriminated union of [uninitialized]
120/// [APSInt] [APFloat], [Complex APSInt] [Complex APFloat], [Expr + Offset],
121/// [Vector: N * APValue], [Array: N * APValue]
122class APValue {
123 typedef llvm::APFixedPoint APFixedPoint;
124 typedef llvm::APSInt APSInt;
125 typedef llvm::APFloat APFloat;
126public:
128 /// There is no such object (it's outside its lifetime).
130 /// This object has an indeterminate value (C++ [basic.indet]).
144 };
145
147 typedef llvm::PointerUnion<const ValueDecl *, const Expr *, TypeInfoLValue,
149 PtrTy;
150
151 public:
153 LValueBase(const ValueDecl *P, unsigned I = 0, unsigned V = 0);
154 LValueBase(const Expr *P, unsigned I = 0, unsigned V = 0);
157
158 void Profile(llvm::FoldingSetNodeID &ID) const;
159
160 template <class T>
161 bool is() const { return Ptr.is<T>(); }
162
163 template <class T>
164 T get() const { return Ptr.get<T>(); }
165
166 template <class T>
167 T dyn_cast() const { return Ptr.dyn_cast<T>(); }
168
169 void *getOpaqueValue() const;
170
171 bool isNull() const;
172
173 explicit operator bool() const;
174
175 unsigned getCallIndex() const;
176 unsigned getVersion() const;
179
180 QualType getType() const;
181
182 friend bool operator==(const LValueBase &LHS, const LValueBase &RHS);
183 friend bool operator!=(const LValueBase &LHS, const LValueBase &RHS) {
184 return !(LHS == RHS);
185 }
186 friend llvm::hash_code hash_value(const LValueBase &Base);
187 friend struct llvm::DenseMapInfo<LValueBase>;
188
189 private:
190 PtrTy Ptr;
191 struct LocalState {
192 unsigned CallIndex, Version;
193 };
194 union {
195 LocalState Local;
196 /// The type std::type_info, if this is a TypeInfoLValue.
198 /// The QualType, if this is a DynamicAllocLValue.
200 };
201 };
202
203 /// A FieldDecl or CXXRecordDecl, along with a flag indicating whether we
204 /// mean a virtual or non-virtual base class subobject.
205 typedef llvm::PointerIntPair<const Decl *, 1, bool> BaseOrMemberType;
206
207 /// A non-discriminated union of a base, field, or array index.
209 static_assert(sizeof(uintptr_t) <= sizeof(uint64_t),
210 "pointer doesn't fit in 64 bits?");
211 uint64_t Value;
212
213 public:
215 LValuePathEntry(BaseOrMemberType BaseOrMember);
216 static LValuePathEntry ArrayIndex(uint64_t Index) {
218 Result.Value = Index;
219 return Result;
220 }
221
223 return BaseOrMemberType::getFromOpaqueValue(
224 reinterpret_cast<void *>(Value));
225 }
226 uint64_t getAsArrayIndex() const { return Value; }
227
228 void Profile(llvm::FoldingSetNodeID &ID) const;
229
231 return A.Value == B.Value;
232 }
234 return A.Value != B.Value;
235 }
236 friend llvm::hash_code hash_value(LValuePathEntry A) {
237 return llvm::hash_value(A.Value);
238 }
239 };
241 const void *Ty;
242
243 public:
245
248 };
249 struct NoLValuePath {};
250 struct UninitArray {};
251 struct UninitStruct {};
252
253 template <typename Impl> friend class clang::serialization::BasicReaderBase;
254 friend class ASTImporter;
255 friend class ASTNodeImporter;
256
257private:
258 ValueKind Kind;
259
260 struct ComplexAPSInt {
261 APSInt Real, Imag;
262 ComplexAPSInt() : Real(1), Imag(1) {}
263 };
264 struct ComplexAPFloat {
265 APFloat Real, Imag;
266 ComplexAPFloat() : Real(0.0), Imag(0.0) {}
267 };
268 struct LV;
269 struct Vec {
270 APValue *Elts;
271 unsigned NumElts;
272 Vec() : Elts(nullptr), NumElts(0) {}
273 ~Vec() { delete[] Elts; }
274 };
275 struct Arr {
276 APValue *Elts;
277 unsigned NumElts, ArrSize;
278 Arr(unsigned NumElts, unsigned ArrSize);
279 ~Arr();
280 };
281 struct StructData {
282 APValue *Elts;
283 unsigned NumBases;
284 unsigned NumFields;
285 StructData(unsigned NumBases, unsigned NumFields);
286 ~StructData();
287 };
288 struct UnionData {
289 const FieldDecl *Field;
290 APValue *Value;
291 UnionData();
292 ~UnionData();
293 };
294 struct AddrLabelDiffData {
295 const AddrLabelExpr* LHSExpr;
296 const AddrLabelExpr* RHSExpr;
297 };
298 struct MemberPointerData;
299
300 // We ensure elsewhere that Data is big enough for LV and MemberPointerData.
301 typedef llvm::AlignedCharArrayUnion<void *, APSInt, APFloat, ComplexAPSInt,
302 ComplexAPFloat, Vec, Arr, StructData,
303 UnionData, AddrLabelDiffData> DataType;
304 static const size_t DataSize = sizeof(DataType);
305
306 DataType Data;
307
308public:
309 APValue() : Kind(None) {}
310 explicit APValue(APSInt I) : Kind(None) {
311 MakeInt(); setInt(std::move(I));
312 }
313 explicit APValue(APFloat F) : Kind(None) {
314 MakeFloat(); setFloat(std::move(F));
315 }
316 explicit APValue(APFixedPoint FX) : Kind(None) {
317 MakeFixedPoint(std::move(FX));
318 }
319 explicit APValue(const APValue *E, unsigned N) : Kind(None) {
320 MakeVector(); setVector(E, N);
321 }
322 APValue(APSInt R, APSInt I) : Kind(None) {
323 MakeComplexInt(); setComplexInt(std::move(R), std::move(I));
324 }
325 APValue(APFloat R, APFloat I) : Kind(None) {
326 MakeComplexFloat(); setComplexFloat(std::move(R), std::move(I));
327 }
328 APValue(const APValue &RHS);
329 APValue(APValue &&RHS);
331 bool IsNullPtr = false)
332 : Kind(None) {
333 MakeLValue(); setLValue(B, O, N, IsNullPtr);
334 }
336 bool OnePastTheEnd, bool IsNullPtr = false)
337 : Kind(None) {
338 MakeLValue(); setLValue(B, O, Path, OnePastTheEnd, IsNullPtr);
339 }
340 APValue(UninitArray, unsigned InitElts, unsigned Size) : Kind(None) {
341 MakeArray(InitElts, Size);
342 }
343 APValue(UninitStruct, unsigned B, unsigned M) : Kind(None) {
344 MakeStruct(B, M);
345 }
346 explicit APValue(const FieldDecl *D, const APValue &V = APValue())
347 : Kind(None) {
348 MakeUnion(); setUnion(D, V);
349 }
350 APValue(const ValueDecl *Member, bool IsDerivedMember,
352 MakeMemberPointer(Member, IsDerivedMember, Path);
353 }
354 APValue(const AddrLabelExpr* LHSExpr, const AddrLabelExpr* RHSExpr)
355 : Kind(None) {
356 MakeAddrLabelDiff(); setAddrLabelDiff(LHSExpr, RHSExpr);
357 }
360 Result.Kind = Indeterminate;
361 return Result;
362 }
363
364 APValue &operator=(const APValue &RHS);
365 APValue &operator=(APValue &&RHS);
366
368 if (Kind != None && Kind != Indeterminate)
369 DestroyDataAndMakeUninit();
370 }
371
372 /// Returns whether the object performed allocations.
373 ///
374 /// If APValues are constructed via placement new, \c needsCleanup()
375 /// indicates whether the destructor must be called in order to correctly
376 /// free all allocated memory.
377 bool needsCleanup() const;
378
379 /// Swaps the contents of this and the given APValue.
380 void swap(APValue &RHS);
381
382 /// profile this value. There is no guarantee that values of different
383 /// types will not produce the same profiled value, so the type should
384 /// typically also be profiled if it's not implied by the context.
385 void Profile(llvm::FoldingSetNodeID &ID) const;
386
387 ValueKind getKind() const { return Kind; }
388
389 bool isAbsent() const { return Kind == None; }
390 bool isIndeterminate() const { return Kind == Indeterminate; }
391 bool hasValue() const { return Kind != None && Kind != Indeterminate; }
392
393 bool isInt() const { return Kind == Int; }
394 bool isFloat() const { return Kind == Float; }
395 bool isFixedPoint() const { return Kind == FixedPoint; }
396 bool isComplexInt() const { return Kind == ComplexInt; }
397 bool isComplexFloat() const { return Kind == ComplexFloat; }
398 bool isLValue() const { return Kind == LValue; }
399 bool isVector() const { return Kind == Vector; }
400 bool isArray() const { return Kind == Array; }
401 bool isStruct() const { return Kind == Struct; }
402 bool isUnion() const { return Kind == Union; }
403 bool isMemberPointer() const { return Kind == MemberPointer; }
404 bool isAddrLabelDiff() const { return Kind == AddrLabelDiff; }
405
406 void dump() const;
407 void dump(raw_ostream &OS, const ASTContext &Context) const;
408
409 void printPretty(raw_ostream &OS, const ASTContext &Ctx, QualType Ty) const;
410 void printPretty(raw_ostream &OS, const PrintingPolicy &Policy, QualType Ty,
411 const ASTContext *Ctx = nullptr) const;
412
413 std::string getAsString(const ASTContext &Ctx, QualType Ty) const;
414
415 APSInt &getInt() {
416 assert(isInt() && "Invalid accessor");
417 return *(APSInt *)(char *)&Data;
418 }
419 const APSInt &getInt() const {
420 return const_cast<APValue*>(this)->getInt();
421 }
422
423 /// Try to convert this value to an integral constant. This works if it's an
424 /// integer, null pointer, or offset from a null pointer. Returns true on
425 /// success.
427 const ASTContext &Ctx) const;
428
429 APFloat &getFloat() {
430 assert(isFloat() && "Invalid accessor");
431 return *(APFloat *)(char *)&Data;
432 }
433 const APFloat &getFloat() const {
434 return const_cast<APValue*>(this)->getFloat();
435 }
436
437 APFixedPoint &getFixedPoint() {
438 assert(isFixedPoint() && "Invalid accessor");
439 return *(APFixedPoint *)(char *)&Data;
440 }
441 const APFixedPoint &getFixedPoint() const {
442 return const_cast<APValue *>(this)->getFixedPoint();
443 }
444
446 assert(isComplexInt() && "Invalid accessor");
447 return ((ComplexAPSInt *)(char *)&Data)->Real;
448 }
449 const APSInt &getComplexIntReal() const {
450 return const_cast<APValue*>(this)->getComplexIntReal();
451 }
452
454 assert(isComplexInt() && "Invalid accessor");
455 return ((ComplexAPSInt *)(char *)&Data)->Imag;
456 }
457 const APSInt &getComplexIntImag() const {
458 return const_cast<APValue*>(this)->getComplexIntImag();
459 }
460
462 assert(isComplexFloat() && "Invalid accessor");
463 return ((ComplexAPFloat *)(char *)&Data)->Real;
464 }
465 const APFloat &getComplexFloatReal() const {
466 return const_cast<APValue*>(this)->getComplexFloatReal();
467 }
468
470 assert(isComplexFloat() && "Invalid accessor");
471 return ((ComplexAPFloat *)(char *)&Data)->Imag;
472 }
473 const APFloat &getComplexFloatImag() const {
474 return const_cast<APValue*>(this)->getComplexFloatImag();
475 }
476
477 const LValueBase getLValueBase() const;
479 const CharUnits &getLValueOffset() const {
480 return const_cast<APValue*>(this)->getLValueOffset();
481 }
482 bool isLValueOnePastTheEnd() const;
483 bool hasLValuePath() const;
485 unsigned getLValueCallIndex() const;
486 unsigned getLValueVersion() const;
487 bool isNullPointer() const;
488
489 APValue &getVectorElt(unsigned I) {
490 assert(isVector() && "Invalid accessor");
491 assert(I < getVectorLength() && "Index out of range");
492 return ((Vec *)(char *)&Data)->Elts[I];
493 }
494 const APValue &getVectorElt(unsigned I) const {
495 return const_cast<APValue*>(this)->getVectorElt(I);
496 }
497 unsigned getVectorLength() const {
498 assert(isVector() && "Invalid accessor");
499 return ((const Vec *)(const void *)&Data)->NumElts;
500 }
501
503 assert(isArray() && "Invalid accessor");
504 assert(I < getArrayInitializedElts() && "Index out of range");
505 return ((Arr *)(char *)&Data)->Elts[I];
506 }
507 const APValue &getArrayInitializedElt(unsigned I) const {
508 return const_cast<APValue*>(this)->getArrayInitializedElt(I);
509 }
510 bool hasArrayFiller() const {
512 }
514 assert(isArray() && "Invalid accessor");
515 assert(hasArrayFiller() && "No array filler");
516 return ((Arr *)(char *)&Data)->Elts[getArrayInitializedElts()];
517 }
518 const APValue &getArrayFiller() const {
519 return const_cast<APValue*>(this)->getArrayFiller();
520 }
521 unsigned getArrayInitializedElts() const {
522 assert(isArray() && "Invalid accessor");
523 return ((const Arr *)(const void *)&Data)->NumElts;
524 }
525 unsigned getArraySize() const {
526 assert(isArray() && "Invalid accessor");
527 return ((const Arr *)(const void *)&Data)->ArrSize;
528 }
529
530 unsigned getStructNumBases() const {
531 assert(isStruct() && "Invalid accessor");
532 return ((const StructData *)(const char *)&Data)->NumBases;
533 }
534 unsigned getStructNumFields() const {
535 assert(isStruct() && "Invalid accessor");
536 return ((const StructData *)(const char *)&Data)->NumFields;
537 }
538 APValue &getStructBase(unsigned i) {
539 assert(isStruct() && "Invalid accessor");
540 assert(i < getStructNumBases() && "base class index OOB");
541 return ((StructData *)(char *)&Data)->Elts[i];
542 }
543 APValue &getStructField(unsigned i) {
544 assert(isStruct() && "Invalid accessor");
545 assert(i < getStructNumFields() && "field index OOB");
546 return ((StructData *)(char *)&Data)->Elts[getStructNumBases() + i];
547 }
548 const APValue &getStructBase(unsigned i) const {
549 return const_cast<APValue*>(this)->getStructBase(i);
550 }
551 const APValue &getStructField(unsigned i) const {
552 return const_cast<APValue*>(this)->getStructField(i);
553 }
554
555 const FieldDecl *getUnionField() const {
556 assert(isUnion() && "Invalid accessor");
557 return ((const UnionData *)(const char *)&Data)->Field;
558 }
560 assert(isUnion() && "Invalid accessor");
561 return *((UnionData *)(char *)&Data)->Value;
562 }
563 const APValue &getUnionValue() const {
564 return const_cast<APValue*>(this)->getUnionValue();
565 }
566
567 const ValueDecl *getMemberPointerDecl() const;
570
572 assert(isAddrLabelDiff() && "Invalid accessor");
573 return ((const AddrLabelDiffData *)(const char *)&Data)->LHSExpr;
574 }
576 assert(isAddrLabelDiff() && "Invalid accessor");
577 return ((const AddrLabelDiffData *)(const char *)&Data)->RHSExpr;
578 }
579
580 void setInt(APSInt I) {
581 assert(isInt() && "Invalid accessor");
582 *(APSInt *)(char *)&Data = std::move(I);
583 }
584 void setFloat(APFloat F) {
585 assert(isFloat() && "Invalid accessor");
586 *(APFloat *)(char *)&Data = std::move(F);
587 }
588 void setFixedPoint(APFixedPoint FX) {
589 assert(isFixedPoint() && "Invalid accessor");
590 *(APFixedPoint *)(char *)&Data = std::move(FX);
591 }
592 void setVector(const APValue *E, unsigned N) {
593 MutableArrayRef<APValue> InternalElts = setVectorUninit(N);
594 for (unsigned i = 0; i != N; ++i)
595 InternalElts[i] = E[i];
596 }
597 void setComplexInt(APSInt R, APSInt I) {
598 assert(R.getBitWidth() == I.getBitWidth() &&
599 "Invalid complex int (type mismatch).");
600 assert(isComplexInt() && "Invalid accessor");
601 ((ComplexAPSInt *)(char *)&Data)->Real = std::move(R);
602 ((ComplexAPSInt *)(char *)&Data)->Imag = std::move(I);
603 }
604 void setComplexFloat(APFloat R, APFloat I) {
605 assert(&R.getSemantics() == &I.getSemantics() &&
606 "Invalid complex float (type mismatch).");
607 assert(isComplexFloat() && "Invalid accessor");
608 ((ComplexAPFloat *)(char *)&Data)->Real = std::move(R);
609 ((ComplexAPFloat *)(char *)&Data)->Imag = std::move(I);
610 }
611 void setLValue(LValueBase B, const CharUnits &O, NoLValuePath,
612 bool IsNullPtr);
613 void setLValue(LValueBase B, const CharUnits &O,
614 ArrayRef<LValuePathEntry> Path, bool OnePastTheEnd,
615 bool IsNullPtr);
616 void setUnion(const FieldDecl *Field, const APValue &Value);
617 void setAddrLabelDiff(const AddrLabelExpr* LHSExpr,
618 const AddrLabelExpr* RHSExpr) {
619 ((AddrLabelDiffData *)(char *)&Data)->LHSExpr = LHSExpr;
620 ((AddrLabelDiffData *)(char *)&Data)->RHSExpr = RHSExpr;
621 }
622
623private:
624 void DestroyDataAndMakeUninit();
625 void MakeInt() {
626 assert(isAbsent() && "Bad state change");
627 new ((void *)&Data) APSInt(1);
628 Kind = Int;
629 }
630 void MakeFloat() {
631 assert(isAbsent() && "Bad state change");
632 new ((void *)(char *)&Data) APFloat(0.0);
633 Kind = Float;
634 }
635 void MakeFixedPoint(APFixedPoint &&FX) {
636 assert(isAbsent() && "Bad state change");
637 new ((void *)(char *)&Data) APFixedPoint(std::move(FX));
639 }
640 void MakeVector() {
641 assert(isAbsent() && "Bad state change");
642 new ((void *)(char *)&Data) Vec();
643 Kind = Vector;
644 }
645 void MakeComplexInt() {
646 assert(isAbsent() && "Bad state change");
647 new ((void *)(char *)&Data) ComplexAPSInt();
649 }
650 void MakeComplexFloat() {
651 assert(isAbsent() && "Bad state change");
652 new ((void *)(char *)&Data) ComplexAPFloat();
654 }
655 void MakeLValue();
656 void MakeArray(unsigned InitElts, unsigned Size);
657 void MakeStruct(unsigned B, unsigned M) {
658 assert(isAbsent() && "Bad state change");
659 new ((void *)(char *)&Data) StructData(B, M);
660 Kind = Struct;
661 }
662 void MakeUnion() {
663 assert(isAbsent() && "Bad state change");
664 new ((void *)(char *)&Data) UnionData();
665 Kind = Union;
666 }
667 void MakeMemberPointer(const ValueDecl *Member, bool IsDerivedMember,
668 ArrayRef<const CXXRecordDecl*> Path);
669 void MakeAddrLabelDiff() {
670 assert(isAbsent() && "Bad state change");
671 new ((void *)(char *)&Data) AddrLabelDiffData();
673 }
674
675private:
676 /// The following functions are used as part of initialization, during
677 /// deserialization and importing. Reserve the space so that it can be
678 /// filled in by those steps.
679 MutableArrayRef<APValue> setVectorUninit(unsigned N) {
680 assert(isVector() && "Invalid accessor");
681 Vec *V = ((Vec *)(char *)&Data);
682 V->Elts = new APValue[N];
683 V->NumElts = N;
684 return {V->Elts, V->NumElts};
685 }
686 MutableArrayRef<LValuePathEntry>
687 setLValueUninit(LValueBase B, const CharUnits &O, unsigned Size,
688 bool OnePastTheEnd, bool IsNullPtr);
689 MutableArrayRef<const CXXRecordDecl *>
690 setMemberPointerUninit(const ValueDecl *Member, bool IsDerivedMember,
691 unsigned Size);
692};
693
694} // end namespace clang.
695
696namespace llvm {
697template<> struct DenseMapInfo<clang::APValue::LValueBase> {
698 static clang::APValue::LValueBase getEmptyKey();
699 static clang::APValue::LValueBase getTombstoneKey();
700 static unsigned getHashValue(const clang::APValue::LValueBase &Base);
701 static bool isEqual(const clang::APValue::LValueBase &LHS,
702 const clang::APValue::LValueBase &RHS);
703};
704}
705
706#endif
MutableArrayRef< APValue::LValuePathEntry > setLValueUninit(APValue::LValueBase B, const CharUnits &O, unsigned Size, bool OnePastTheEnd, bool IsNullPtr)
#define V(N, I)
Definition: ASTContext.h:3217
StringRef P
llvm::APSInt APSInt
Forward-declares and imports various common LLVM datatypes that clang wants to use unqualified.
llvm::raw_ostream & OS
Definition: Logger.cpp:24
const char * Data
friend llvm::hash_code hash_value(const LValueBase &Base)
Definition: APValue.cpp:202
friend bool operator!=(const LValueBase &LHS, const LValueBase &RHS)
Definition: APValue.h:183
void Profile(llvm::FoldingSetNodeID &ID) const
Definition: APValue.cpp:127
QualType getType() const
Definition: APValue.cpp:63
unsigned getVersion() const
Definition: APValue.cpp:113
QualType getDynamicAllocType() const
Definition: APValue.cpp:122
QualType getTypeInfoType() const
Definition: APValue.cpp:117
friend bool operator==(const LValueBase &LHS, const LValueBase &RHS)
Definition: APValue.cpp:136
void * DynamicAllocType
The QualType, if this is a DynamicAllocLValue.
Definition: APValue.h:199
static LValueBase getTypeInfo(TypeInfoLValue LV, QualType TypeInfo)
Definition: APValue.cpp:55
static LValueBase getDynamicAlloc(DynamicAllocLValue LV, QualType Type)
Definition: APValue.cpp:47
void * TypeInfoType
The type std::type_info, if this is a TypeInfoLValue.
Definition: APValue.h:197
void * getOpaqueValue() const
Definition: APValue.cpp:175
unsigned getCallIndex() const
Definition: APValue.cpp:108
A non-discriminated union of a base, field, or array index.
Definition: APValue.h:208
BaseOrMemberType getAsBaseOrMember() const
Definition: APValue.h:222
uint64_t getAsArrayIndex() const
Definition: APValue.h:226
friend llvm::hash_code hash_value(LValuePathEntry A)
Definition: APValue.h:236
friend bool operator!=(LValuePathEntry A, LValuePathEntry B)
Definition: APValue.h:233
static LValuePathEntry ArrayIndex(uint64_t Index)
Definition: APValue.h:216
friend bool operator==(LValuePathEntry A, LValuePathEntry B)
Definition: APValue.h:230
void Profile(llvm::FoldingSetNodeID &ID) const
Definition: APValue.cpp:153
ArrayRef< LValuePathEntry > Path
Definition: APValue.h:244
APValue - This class implements a discriminated union of [uninitialized] [APSInt] [APFloat],...
Definition: APValue.h:122
const APSInt & getComplexIntReal() const
Definition: APValue.h:449
APValue(LValueBase B, const CharUnits &O, ArrayRef< LValuePathEntry > Path, bool OnePastTheEnd, bool IsNullPtr=false)
Definition: APValue.h:335
APValue(UninitStruct, unsigned B, unsigned M)
Definition: APValue.h:343
bool hasArrayFiller() const
Definition: APValue.h:510
const LValueBase getLValueBase() const
Definition: APValue.cpp:964
APValue(APFloat F)
Definition: APValue.h:313
void setFloat(APFloat F)
Definition: APValue.h:584
APValue & getArrayInitializedElt(unsigned I)
Definition: APValue.h:502
ArrayRef< LValuePathEntry > getLValuePath() const
Definition: APValue.cpp:984
void swap(APValue &RHS)
Swaps the contents of this and the given APValue.
Definition: APValue.cpp:466
APSInt & getInt()
Definition: APValue.h:415
APValue & getStructField(unsigned i)
Definition: APValue.h:543
void setInt(APSInt I)
Definition: APValue.h:580
APValue(APSInt I)
Definition: APValue.h:310
const FieldDecl * getUnionField() const
Definition: APValue.h:555
const APFloat & getFloat() const
Definition: APValue.h:433
bool isVector() const
Definition: APValue.h:399
APSInt & getComplexIntImag()
Definition: APValue.h:453
unsigned getStructNumFields() const
Definition: APValue.h:534
APValue(LValueBase B, const CharUnits &O, NoLValuePath N, bool IsNullPtr=false)
Definition: APValue.h:330
const APValue & getArrayInitializedElt(unsigned I) const
Definition: APValue.h:507
APValue(APFloat R, APFloat I)
Definition: APValue.h:325
bool isAbsent() const
Definition: APValue.h:389
bool isComplexInt() const
Definition: APValue.h:396
llvm::PointerIntPair< const Decl *, 1, bool > BaseOrMemberType
A FieldDecl or CXXRecordDecl, along with a flag indicating whether we mean a virtual or non-virtual b...
Definition: APValue.h:205
ValueKind getKind() const
Definition: APValue.h:387
bool isLValueOnePastTheEnd() const
Definition: APValue.cpp:969
bool isArray() const
Definition: APValue.h:400
APValue(const APValue *E, unsigned N)
Definition: APValue.h:319
void setFixedPoint(APFixedPoint FX)
Definition: APValue.h:588
unsigned getLValueVersion() const
Definition: APValue.cpp:995
bool isMemberPointerToDerivedMember() const
Definition: APValue.cpp:1054
unsigned getArrayInitializedElts() const
Definition: APValue.h:521
static APValue IndeterminateValue()
Definition: APValue.h:358
bool isFloat() const
Definition: APValue.h:394
void setComplexInt(APSInt R, APSInt I)
Definition: APValue.h:597
const APFixedPoint & getFixedPoint() const
Definition: APValue.h:441
void Profile(llvm::FoldingSetNodeID &ID) const
profile this value.
Definition: APValue.cpp:477
unsigned getStructNumBases() const
Definition: APValue.h:530
APFixedPoint & getFixedPoint()
Definition: APValue.h:437
APValue(const ValueDecl *Member, bool IsDerivedMember, ArrayRef< const CXXRecordDecl * > Path)
Definition: APValue.h:350
bool needsCleanup() const
Returns whether the object performed allocations.
Definition: APValue.cpp:429
const APValue & getStructBase(unsigned i) const
Definition: APValue.h:548
bool hasValue() const
Definition: APValue.h:391
bool hasLValuePath() const
Definition: APValue.cpp:979
const ValueDecl * getMemberPointerDecl() const
Definition: APValue.cpp:1047
APValue & getUnionValue()
Definition: APValue.h:559
const AddrLabelExpr * getAddrLabelDiffRHS() const
Definition: APValue.h:575
CharUnits & getLValueOffset()
Definition: APValue.cpp:974
void printPretty(raw_ostream &OS, const ASTContext &Ctx, QualType Ty) const
Definition: APValue.cpp:691
void setAddrLabelDiff(const AddrLabelExpr *LHSExpr, const AddrLabelExpr *RHSExpr)
Definition: APValue.h:617
void setComplexFloat(APFloat R, APFloat I)
Definition: APValue.h:604
bool isComplexFloat() const
Definition: APValue.h:397
APValue & getVectorElt(unsigned I)
Definition: APValue.h:489
APValue & getArrayFiller()
Definition: APValue.h:513
const APValue & getArrayFiller() const
Definition: APValue.h:518
const APFloat & getComplexFloatImag() const
Definition: APValue.h:473
unsigned getVectorLength() const
Definition: APValue.h:497
const APValue & getUnionValue() const
Definition: APValue.h:563
const APValue & getVectorElt(unsigned I) const
Definition: APValue.h:494
APValue(UninitArray, unsigned InitElts, unsigned Size)
Definition: APValue.h:340
bool isLValue() const
Definition: APValue.h:398
void setUnion(const FieldDecl *Field, const APValue &Value)
Definition: APValue.cpp:1040
APValue(const AddrLabelExpr *LHSExpr, const AddrLabelExpr *RHSExpr)
Definition: APValue.h:354
bool isIndeterminate() const
Definition: APValue.h:390
void setLValue(LValueBase B, const CharUnits &O, NoLValuePath, bool IsNullPtr)
Definition: APValue.cpp:1005
ArrayRef< const CXXRecordDecl * > getMemberPointerPath() const
Definition: APValue.cpp:1061
bool isMemberPointer() const
Definition: APValue.h:403
const APSInt & getInt() const
Definition: APValue.h:419
const APFloat & getComplexFloatReal() const
Definition: APValue.h:465
APValue(const FieldDecl *D, const APValue &V=APValue())
Definition: APValue.h:346
bool isInt() const
Definition: APValue.h:393
unsigned getArraySize() const
Definition: APValue.h:525
APValue(APSInt R, APSInt I)
Definition: APValue.h:322
bool isUnion() const
Definition: APValue.h:402
bool toIntegralConstant(APSInt &Result, QualType SrcTy, const ASTContext &Ctx) const
Try to convert this value to an integral constant.
Definition: APValue.cpp:944
const CharUnits & getLValueOffset() const
Definition: APValue.h:479
std::string getAsString(const ASTContext &Ctx, QualType Ty) const
Definition: APValue.cpp:936
bool isFixedPoint() const
Definition: APValue.h:395
APValue & operator=(const APValue &RHS)
Definition: APValue.cpp:386
unsigned getLValueCallIndex() const
Definition: APValue.cpp:990
void setVector(const APValue *E, unsigned N)
Definition: APValue.h:592
@ Indeterminate
This object has an indeterminate value (C++ [basic.indet]).
Definition: APValue.h:131
@ None
There is no such object (it's outside its lifetime).
Definition: APValue.h:129
const APValue & getStructField(unsigned i) const
Definition: APValue.h:551
const APSInt & getComplexIntImag() const
Definition: APValue.h:457
bool isStruct() const
Definition: APValue.h:401
bool isNullPointer() const
Definition: APValue.cpp:1000
APSInt & getComplexIntReal()
Definition: APValue.h:445
APFloat & getComplexFloatImag()
Definition: APValue.h:469
APFloat & getComplexFloatReal()
Definition: APValue.h:461
APFloat & getFloat()
Definition: APValue.h:429
APValue & getStructBase(unsigned i)
Definition: APValue.h:538
void dump() const
Definition: ASTDumper.cpp:325
APValue(APFixedPoint FX)
Definition: APValue.h:316
const AddrLabelExpr * getAddrLabelDiffLHS() const
Definition: APValue.h:571
bool isAddrLabelDiff() const
Definition: APValue.h:404
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
Definition: ASTContext.h:182
Imports selected nodes from one AST context into another context, merging AST nodes where appropriate...
Definition: ASTImporter.h:62
AddrLabelExpr - The GNU address of label extension, representing &&label.
Definition: Expr.h:4311
Represents a C++ struct/union/class.
Definition: DeclCXX.h:254
CharUnits - This is an opaque type for sizes expressed in character units.
Definition: CharUnits.h:38
Decl - This represents one declaration (or definition), e.g.
Definition: DeclBase.h:83
A little helper class used to produce diagnostics.
Definition: Diagnostic.h:1266
Symbolic representation of a dynamic allocation.
Definition: APValue.h:65
static unsigned getMaxIndex()
Definition: APValue.h:85
static constexpr int NumLowBitsAvailable
Definition: APValue.h:89
DynamicAllocLValue(unsigned Index)
Definition: APValue.h:70
static DynamicAllocLValue getFromOpaqueValue(void *Value)
Definition: APValue.h:79
This represents one expression.
Definition: Expr.h:110
Represents a member of a struct/union/class.
Definition: Decl.h:2941
A (possibly-)qualified type.
Definition: Type.h:736
Symbolic representation of typeid(T) for some type T.
Definition: APValue.h:44
const Type * getType() const
Definition: APValue.h:51
static TypeInfoLValue getFromOpaqueValue(void *Value)
Definition: APValue.h:55
void * getOpaqueValue()
Definition: APValue.h:54
void print(llvm::raw_ostream &Out, const PrintingPolicy &Policy) const
Definition: APValue.cpp:30
The base class of the type hierarchy.
Definition: Type.h:1566
Represent the declaration of a variable (in which case it is an lvalue) a function (in which case it ...
Definition: Decl.h:701
llvm::APFloat APFloat
Definition: Floating.h:23
@ Result
The result type of a method or function.
YAML serialization mapping.
Definition: Dominators.h:30
__UINTPTR_TYPE__ uintptr_t
An unsigned integer type with the property that any valid pointer to void can be converted to this ty...
#define bool
Definition: stdbool.h:20
Describes how types, statements, expressions, and declarations should be printed.
Definition: PrettyPrinter.h:57
static void * getAsVoidPointer(clang::DynamicAllocLValue V)
Definition: APValue.h:107
static clang::DynamicAllocLValue getFromVoidPointer(void *P)
Definition: APValue.h:110
static void * getAsVoidPointer(clang::TypeInfoLValue V)
Definition: APValue.h:95
static clang::TypeInfoLValue getFromVoidPointer(void *P)
Definition: APValue.h:98