clang 23.0.0git
Pointer.cpp
Go to the documentation of this file.
1//===--- Pointer.cpp - Types for the constexpr VM ---------------*- 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#include "Pointer.h"
10#include "Boolean.h"
11#include "Context.h"
12#include "Floating.h"
13#include "Function.h"
14#include "InitMap.h"
15#include "Integral.h"
16#include "InterpBlock.h"
17#include "MemberPointer.h"
18#include "PrimType.h"
19#include "Record.h"
20#include "clang/AST/Expr.h"
21#include "clang/AST/ExprCXX.h"
23
24using namespace clang;
25using namespace clang::interp;
26
28 : Pointer(Pointee, Pointee->getDescriptor()->getMetadataSize(),
29 Pointee->getDescriptor()->getMetadataSize()) {}
30
31Pointer::Pointer(Block *Pointee, uint64_t BaseAndOffset)
32 : Pointer(Pointee, BaseAndOffset, BaseAndOffset) {}
33
34Pointer::Pointer(Block *Pointee, unsigned Base, uint64_t Offset)
35 : Offset(Offset), StorageKind(Storage::Block) {
36 assert(Pointee);
37 assert((Base == RootPtrMark || Base % alignof(void *) == 0) && "wrong base");
38 assert(Base >= Pointee->getDescriptor()->getMetadataSize());
39
40 BS = {Pointee, Base, nullptr, nullptr};
41 Pointee->addPointer(this);
42}
43
45 : Offset(P.Offset), StorageKind(P.StorageKind) {
46 switch (StorageKind) {
47 case Storage::Int:
48 Int = P.Int;
49 break;
50 case Storage::Block:
51 BS = P.BS;
52 if (BS.Pointee)
53 BS.Pointee->addPointer(this);
54 break;
55 case Storage::Fn:
56 Fn = P.Fn;
57 break;
58 case Storage::Typeid:
59 Typeid = P.Typeid;
60 break;
61 }
62}
63
64Pointer::Pointer(Pointer &&P) : Offset(P.Offset), StorageKind(P.StorageKind) {
65 switch (StorageKind) {
66 case Storage::Int:
67 Int = P.Int;
68 break;
69 case Storage::Block:
70 BS = P.BS;
71 if (BS.Pointee)
72 BS.Pointee->replacePointer(&P, this);
73 break;
74 case Storage::Fn:
75 Fn = P.Fn;
76 break;
77 case Storage::Typeid:
78 Typeid = P.Typeid;
79 break;
80 }
81}
82
84 if (!isBlockPointer())
85 return;
86
87 if (Block *Pointee = BS.Pointee) {
88 Pointee->removePointer(this);
89 BS.Pointee = nullptr;
90 Pointee->cleanup();
91 }
92}
93
95 // If the current storage type is Block, we need to remove
96 // this pointer from the block.
97 if (isBlockPointer()) {
98 if (P.isBlockPointer() && this->block() == P.block()) {
99 Offset = P.Offset;
100 BS.Base = P.BS.Base;
101 return *this;
102 }
103
104 if (Block *Pointee = BS.Pointee) {
105 Pointee->removePointer(this);
106 BS.Pointee = nullptr;
107 Pointee->cleanup();
108 }
109 }
110
111 StorageKind = P.StorageKind;
112 Offset = P.Offset;
113
114 switch (StorageKind) {
115 case Storage::Int:
116 Int = P.Int;
117 break;
118 case Storage::Block:
119 BS = P.BS;
120
121 if (BS.Pointee)
122 BS.Pointee->addPointer(this);
123 break;
124 case Storage::Fn:
125 Fn = P.Fn;
126 break;
127 case Storage::Typeid:
128 Typeid = P.Typeid;
129 }
130 return *this;
131}
132
134 // If the current storage type is Block, we need to remove
135 // this pointer from the block.
136 if (isBlockPointer()) {
137 if (P.isBlockPointer() && this->block() == P.block()) {
138 Offset = P.Offset;
139 BS.Base = P.BS.Base;
140 return *this;
141 }
142
143 if (Block *Pointee = BS.Pointee) {
144 Pointee->removePointer(this);
145 BS.Pointee = nullptr;
146 Pointee->cleanup();
147 }
148 }
149
150 StorageKind = P.StorageKind;
151 Offset = P.Offset;
152
153 switch (StorageKind) {
154 case Storage::Int:
155 Int = P.Int;
156 break;
157 case Storage::Block:
158 BS = P.BS;
159
160 if (BS.Pointee)
161 BS.Pointee->addPointer(this);
162 break;
163 case Storage::Fn:
164 Fn = P.Fn;
165 break;
166 case Storage::Typeid:
167 Typeid = P.Typeid;
168 }
169 return *this;
170}
171
174
175 if (isZero())
176 return APValue(static_cast<const Expr *>(nullptr), CharUnits::Zero(), Path,
177 /*IsOnePastEnd=*/false, /*IsNullPtr=*/true);
178 if (isIntegralPointer())
179 return APValue(static_cast<const Expr *>(nullptr),
181 Path,
182 /*IsOnePastEnd=*/false, /*IsNullPtr=*/false);
183 if (isFunctionPointer()) {
185 if (const FunctionDecl *FD = FP.getFunction()->getDecl())
186 return APValue(FD, CharUnits::fromQuantity(Offset), {},
187 /*OnePastTheEnd=*/false, /*IsNull=*/false);
188 return APValue(FP.getFunction()->getExpr(), CharUnits::fromQuantity(Offset),
189 {},
190 /*OnePastTheEnd=*/false, /*IsNull=*/false);
191 }
192
193 if (isTypeidPointer()) {
196 TypeInfo, QualType(Typeid.TypeInfoType, 0)),
197 CharUnits::Zero(), {},
198 /*OnePastTheEnd=*/false, /*IsNull=*/false);
199 }
200
201 // Build the lvalue base from the block.
202 const Descriptor *Desc = getDeclDesc();
204 if (const auto *VD = Desc->asValueDecl())
205 Base = VD;
206 else if (const auto *E = Desc->asExpr()) {
207 if (block()->isDynamic()) {
208 QualType AllocatedType = getDeclPtr().getFieldDesc()->getDataType(ASTCtx);
209 DynamicAllocLValue DA(*block()->DynAllocId);
210 Base = APValue::LValueBase::getDynamicAlloc(DA, AllocatedType);
211 } else {
212 Base = E;
213 }
214 } else
215 llvm_unreachable("Invalid allocation type");
216
217 if (isUnknownSizeArray())
218 return APValue(Base, CharUnits::Zero(), Path,
219 /*IsOnePastEnd=*/isOnePastEnd(), /*IsNullPtr=*/false);
220
221 CharUnits Offset = CharUnits::Zero();
222
223 auto getFieldOffset = [&](const FieldDecl *FD) -> CharUnits {
224 // This shouldn't happen, but if it does, don't crash inside
225 // getASTRecordLayout.
226 if (FD->getParent()->isInvalidDecl())
227 return CharUnits::Zero();
228 const ASTRecordLayout &Layout = ASTCtx.getASTRecordLayout(FD->getParent());
229 unsigned FieldIndex = FD->getFieldIndex();
230 return ASTCtx.toCharUnitsFromBits(Layout.getFieldOffset(FieldIndex));
231 };
232
233 bool UsePath = true;
234 if (const ValueDecl *VD = getDeclDesc()->asValueDecl();
235 VD && VD->getType()->isReferenceType())
236 UsePath = false;
237
238 // Build the path into the object.
239 bool OnePastEnd = isOnePastEnd() && !isZeroSizeArray();
240 Pointer Ptr = *this;
241 while (Ptr.isField() || Ptr.isArrayElement()) {
242
243 if (Ptr.isArrayRoot()) {
244 // An array root may still be an array element itself.
245 if (Ptr.isArrayElement()) {
246 Ptr = Ptr.expand();
247 const Descriptor *Desc = Ptr.getFieldDesc();
248 unsigned Index = Ptr.getIndex();
249 QualType ElemType = Desc->getElemQualType();
250 Offset += (Index * ASTCtx.getTypeSizeInChars(ElemType));
251 if (Ptr.getArray().getFieldDesc()->IsArray)
252 Path.push_back(APValue::LValuePathEntry::ArrayIndex(Index));
253 Ptr = Ptr.getArray();
254 } else {
255 const Descriptor *Desc = Ptr.getFieldDesc();
256 const auto *Dcl = Desc->asDecl();
257 Path.push_back(APValue::LValuePathEntry({Dcl, /*IsVirtual=*/false}));
258
259 if (const auto *FD = dyn_cast_if_present<FieldDecl>(Dcl))
260 Offset += getFieldOffset(FD);
261
262 Ptr = Ptr.getBase();
263 }
264 } else if (Ptr.isArrayElement()) {
265 Ptr = Ptr.expand();
266 const Descriptor *Desc = Ptr.getFieldDesc();
267 unsigned Index;
268 if (Ptr.isOnePastEnd()) {
269 Index = Ptr.getArray().getNumElems();
270 OnePastEnd = false;
271 } else
272 Index = Ptr.getIndex();
273
274 QualType ElemType = Desc->getElemQualType();
275 if (const auto *RD = ElemType->getAsRecordDecl();
276 RD && !RD->getDefinition()) {
277 // Ignore this for the offset.
278 } else {
279 Offset += (Index * ASTCtx.getTypeSizeInChars(ElemType));
280 }
281 if (Ptr.getArray().getFieldDesc()->IsArray)
282 Path.push_back(APValue::LValuePathEntry::ArrayIndex(Index));
283 Ptr = Ptr.getArray();
284 } else {
285 const Descriptor *Desc = Ptr.getFieldDesc();
286
287 // Create a path entry for the field.
288 if (const auto *BaseOrMember = Desc->asDecl()) {
289 bool IsVirtual = false;
290 if (const auto *FD = dyn_cast<FieldDecl>(BaseOrMember)) {
291 Ptr = Ptr.getBase();
292 Offset += getFieldOffset(FD);
293 } else if (const auto *RD = dyn_cast<CXXRecordDecl>(BaseOrMember)) {
294 IsVirtual = Ptr.isVirtualBaseClass();
295 Ptr = Ptr.getBase();
296 const Record *BaseRecord = Ptr.getRecord();
297
298 const ASTRecordLayout &Layout = ASTCtx.getASTRecordLayout(
299 cast<CXXRecordDecl>(BaseRecord->getDecl()));
300 if (IsVirtual)
301 Offset += Layout.getVBaseClassOffset(RD);
302 else
303 Offset += Layout.getBaseClassOffset(RD);
304
305 } else {
306 Ptr = Ptr.getBase();
307 }
308 Path.push_back(APValue::LValuePathEntry({BaseOrMember, IsVirtual}));
309 continue;
310 }
311 llvm_unreachable("Invalid field type");
312 }
313 }
314
315 // We assemble the LValuePath starting from the innermost pointer to the
316 // outermost one. SO in a.b.c, the first element in Path will refer to
317 // the field 'c', while later code expects it to refer to 'a'.
318 // Just invert the order of the elements.
319 std::reverse(Path.begin(), Path.end());
320
321 if (UsePath)
322 return APValue(Base, Offset, Path, OnePastEnd);
323
324 return APValue(Base, Offset, APValue::NoLValuePath());
325}
326
327void Pointer::print(llvm::raw_ostream &OS) const {
328 switch (StorageKind) {
329 case Storage::Block: {
330 const Block *B = BS.Pointee;
331 OS << "(Block) " << B << " {";
332
333 if (isRoot())
334 OS << "rootptr(" << BS.Base << "), ";
335 else
336 OS << BS.Base << ", ";
337
338 if (isElementPastEnd())
339 OS << "pastend, ";
340 else
341 OS << Offset << ", ";
342
343 if (B)
344 OS << B->getSize();
345 else
346 OS << "nullptr";
347 OS << "}";
348 } break;
349 case Storage::Int:
350 OS << "(Int) {";
351 OS << Int.Value << " + " << Offset << ", " << Int.Desc;
352 OS << "}";
353 break;
354 case Storage::Fn:
355 OS << "(Fn) { " << asFunctionPointer().getFunction() << " + " << Offset
356 << " }";
357 break;
358 case Storage::Typeid:
359 OS << "(Typeid) { " << (const void *)asTypeidPointer().TypePtr << ", "
360 << (const void *)asTypeidPointer().TypeInfoType << " + " << Offset
361 << "}";
362 }
363}
364
365/// Compute an offset that can be used to compare the pointer to another one
366/// with the same base. To get accurate results, we basically _have to_ compute
367/// the lvalue offset using the ASTRecordLayout.
368///
369/// FIXME: We're still mixing values from the record layout with our internal
370/// offsets, which will inevitably lead to cryptic errors.
372 switch (StorageKind) {
373 case Storage::Int:
374 return Int.Value + Offset;
375 case Storage::Block:
376 // See below.
377 break;
378 case Storage::Fn:
379 return Fn.getIntegerRepresentation() + Offset;
380 case Storage::Typeid:
381 return reinterpret_cast<uintptr_t>(asTypeidPointer().TypePtr) + Offset;
382 }
383
384 size_t Result = 0;
385 Pointer P = *this;
386 while (true) {
387 if (P.isVirtualBaseClass()) {
388 Result += getInlineDesc()->Offset;
389 P = P.getBase();
390 continue;
391 }
392
393 if (P.isBaseClass()) {
394 if (P.getRecord()->getNumVirtualBases() > 0)
395 Result += P.getInlineDesc()->Offset;
396 P = P.getBase();
397 continue;
398 }
399 if (P.isArrayElement()) {
400 P = P.expand();
401 Result += (P.getIndex() * P.elemSize());
402 P = P.getArray();
403 continue;
404 }
405
406 if (P.isRoot()) {
407 if (P.isOnePastEnd())
408 Result +=
410 break;
411 }
412
413 assert(P.getField());
414 const Record *R = P.getBase().getRecord();
415 assert(R);
416
417 const ASTRecordLayout &Layout = ASTCtx.getASTRecordLayout(R->getDecl());
418 Result += ASTCtx
421 .getQuantity();
422
423 if (P.isOnePastEnd())
424 Result +=
426
427 P = P.getBase();
428 if (P.isRoot())
429 break;
430 }
431 return Result;
432}
433
434std::string Pointer::toDiagnosticString(const ASTContext &Ctx) const {
435 if (isZero())
436 return "nullptr";
437
438 if (isIntegralPointer())
439 return (Twine("&(") + Twine(asIntPointer().Value + Offset) + ")").str();
440
441 if (isFunctionPointer())
443
444 return toAPValue(Ctx).getAsString(Ctx, getType());
445}
446
448 if (!isBlockPointer())
449 return true;
450
451 if (isRoot() && BS.Base == sizeof(GlobalInlineDescriptor) &&
452 Offset == BS.Base) {
453 const auto &GD = block()->getBlockDesc<GlobalInlineDescriptor>();
455 }
456
457 assert(BS.Pointee && "Cannot check if null pointer was initialized");
458 const Descriptor *Desc = getFieldDesc();
459 assert(Desc);
460 if (Desc->isPrimitiveArray())
462
463 if (asBlockPointer().Base == 0)
464 return true;
465 // Field has its bit in an inline descriptor.
466 return getInlineDesc()->IsInitialized;
467}
468
469bool Pointer::isElementInitialized(unsigned Index) const {
470 if (!isBlockPointer())
471 return true;
472
473 const Descriptor *Desc = getFieldDesc();
474 assert(Desc);
475
476 if (isStatic() && BS.Base == 0)
477 return true;
478
479 if (isRoot() && BS.Base == sizeof(GlobalInlineDescriptor) &&
480 Offset == BS.Base) {
481 const auto &GD = block()->getBlockDesc<GlobalInlineDescriptor>();
483 }
484
485 if (Desc->isPrimitiveArray()) {
486 InitMapPtr IM = getInitMap();
487
488 if (IM.allInitialized())
489 return true;
490
491 if (!IM.hasInitMap())
492 return false;
493 return IM->isElementInitialized(Index);
494 }
495 return isInitialized();
496}
497
498bool Pointer::isElementAlive(unsigned Index) const {
499 assert(getFieldDesc()->isPrimitiveArray());
500
501 InitMapPtr &IM = getInitMap();
502 if (!IM.hasInitMap())
503 return true;
504
505 if (IM.allInitialized())
506 return true;
507
508 return IM->isElementAlive(Index);
509}
510
512 if (!isBlockPointer())
513 return;
514 if (BS.Base < sizeof(InlineDescriptor))
515 return;
516
517 if (inArray()) {
518 const Descriptor *Desc = getFieldDesc();
519 InitMapPtr &IM = getInitMap();
520 if (!IM.hasInitMap())
521 IM.setInitMap(new InitMap(Desc->getNumElems(), IM.allInitialized()));
522
524 assert(isArrayRoot() || (this->getLifetime() == Lifetime::Started));
525 return;
526 }
527
528 getInlineDesc()->LifeState = Lifetime::Started;
529}
530
532 if (!isBlockPointer())
533 return;
534 if (BS.Base < sizeof(InlineDescriptor))
535 return;
536
537 if (inArray()) {
538 const Descriptor *Desc = getFieldDesc();
539 InitMapPtr &IM = getInitMap();
540 if (!IM.hasInitMap())
541 IM.setInitMap(new InitMap(Desc->getNumElems(), IM.allInitialized()));
542
544 assert(isArrayRoot() || (this->getLifetime() == Lifetime::Ended));
545 return;
546 }
547
548 getInlineDesc()->LifeState = Lifetime::Ended;
549}
550
552 if (!isBlockPointer())
553 return;
554
555 assert(BS.Pointee && "Cannot initialize null pointer");
556
557 if (isRoot() && BS.Base == sizeof(GlobalInlineDescriptor) &&
558 Offset == BS.Base) {
559 auto &GD = BS.Pointee->getBlockDesc<GlobalInlineDescriptor>();
561 return;
562 }
563
564 const Descriptor *Desc = getFieldDesc();
565 assert(Desc);
566 if (Desc->isPrimitiveArray()) {
567 if (Desc->getNumElems() != 0)
569 return;
570 }
571
572 // Field has its bit in an inline descriptor.
573 assert(BS.Base != 0 && "Only composite fields can be initialised");
574 getInlineDesc()->IsInitialized = true;
575}
576
577void Pointer::initializeElement(unsigned Index) const {
578 // Primitive global arrays don't have an initmap.
579 if (isStatic() && BS.Base == 0)
580 return;
581
582 assert(Index < getFieldDesc()->getNumElems());
583
584 InitMapPtr &IM = getInitMap();
585 if (IM.allInitialized())
586 return;
587
588 if (!IM.hasInitMap()) {
589 const Descriptor *Desc = getFieldDesc();
590 IM.setInitMap(new InitMap(Desc->getNumElems()));
591 }
592 assert(IM.hasInitMap());
593
594 if (IM->initializeElement(Index))
596}
597
599 assert(getFieldDesc()->isPrimitiveArray());
600 assert(isArrayRoot());
601
602 getInitMap().noteAllInitialized();
603}
604
606 assert(getFieldDesc()->isPrimitiveArray());
607 assert(isArrayRoot());
608
609 if (isStatic() && BS.Base == 0)
610 return true;
611
612 if (isRoot() && BS.Base == sizeof(GlobalInlineDescriptor) &&
613 Offset == BS.Base) {
614 const auto &GD = block()->getBlockDesc<GlobalInlineDescriptor>();
616 }
617
618 InitMapPtr IM = getInitMap();
619 return IM.allInitialized();
620}
621
623 assert(getFieldDesc()->isPrimitiveArray());
624 assert(isArrayRoot());
625
626 if (isStatic() && BS.Base == 0)
627 return true;
628
629 if (isRoot() && BS.Base == sizeof(GlobalInlineDescriptor) &&
630 Offset == BS.Base) {
631 const auto &GD = block()->getBlockDesc<GlobalInlineDescriptor>();
633 }
634
635 InitMapPtr &IM = getInitMap();
636 return IM.allInitialized() || (IM.hasInitMap() && IM->allElementsAlive());
637}
638
639void Pointer::activate() const {
640 // Field has its bit in an inline descriptor.
641 assert(BS.Base != 0 && "Only composite fields can be activated");
642
643 if (isRoot() && BS.Base == sizeof(GlobalInlineDescriptor))
644 return;
645 if (!getInlineDesc()->InUnion)
646 return;
647
649 activate = [&activate](Pointer &P) -> void {
650 P.getInlineDesc()->IsActive = true;
651 if (const Record *R = P.getRecord(); R && !R->isUnion()) {
652 for (const Record::Field &F : R->fields()) {
653 Pointer FieldPtr = P.atField(F.Offset);
654 if (!FieldPtr.getInlineDesc()->IsActive)
655 activate(FieldPtr);
656 }
657 // FIXME: Bases?
658 }
659 };
660
662 deactivate = [&deactivate](Pointer &P) -> void {
663 P.getInlineDesc()->IsActive = false;
664
665 if (const Record *R = P.getRecord()) {
666 for (const Record::Field &F : R->fields()) {
667 Pointer FieldPtr = P.atField(F.Offset);
668 if (FieldPtr.getInlineDesc()->IsActive)
669 deactivate(FieldPtr);
670 }
671 // FIXME: Bases?
672 }
673 };
674
675 Pointer B = *this;
676 while (!B.isRoot() && B.inUnion()) {
677 activate(B);
678
679 // When walking up the pointer chain, deactivate
680 // all union child pointers that aren't on our path.
681 Pointer Cur = B;
682 B = B.getBase();
683 if (const Record *BR = B.getRecord(); BR && BR->isUnion()) {
684 for (const Record::Field &F : BR->fields()) {
685 Pointer FieldPtr = B.atField(F.Offset);
686 if (FieldPtr != Cur)
687 deactivate(FieldPtr);
688 }
689 }
690 }
691}
692
694 // TODO: this only appears in constructors, so nothing to deactivate.
695}
696
697bool Pointer::hasSameBase(const Pointer &A, const Pointer &B) {
698 // Two null pointers always have the same base.
699 if (A.isZero() && B.isZero())
700 return true;
701
703 return true;
705 return true;
706 if (A.isTypeidPointer() && B.isTypeidPointer())
707 return true;
708
709 if (A.StorageKind != B.StorageKind)
710 return false;
711
713}
714
715bool Pointer::pointToSameBlock(const Pointer &A, const Pointer &B) {
716 if (!A.isBlockPointer() || !B.isBlockPointer())
717 return false;
718 return A.block() == B.block();
719}
720
721bool Pointer::hasSameArray(const Pointer &A, const Pointer &B) {
722 return hasSameBase(A, B) && A.BS.Base == B.BS.Base &&
724}
725
727 if (isZero() || !isBlockPointer())
728 return false;
729
730 if (block()->isDynamic())
731 return false;
732
733 const Expr *E = block()->getDescriptor()->asExpr();
735}
736
738 if (isZero() || !isBlockPointer())
739 return false;
740
741 if (block()->isDynamic())
742 return false;
743
744 const Expr *E = block()->getDescriptor()->asExpr();
745 return isa_and_nonnull<StringLiteral>(E);
746}
747
748std::optional<std::pair<Pointer, Pointer>>
750 if (!A.isBlockPointer() || !B.isBlockPointer())
751 return std::nullopt;
752
754 return std::nullopt;
755 if (A.isRoot() && B.isRoot())
756 return std::nullopt;
757
758 if (A == B)
759 return std::make_pair(A, B);
760
761 auto getBase = [](const Pointer &P) -> Pointer {
762 if (P.isArrayElement())
763 return P.expand().getArray();
764 return P.getBase();
765 };
766
767 Pointer IterA = A;
768 Pointer IterB = B;
769 Pointer CurA = IterA;
770 Pointer CurB = IterB;
771 for (;;) {
772 if (IterA.asBlockPointer().Base > IterB.asBlockPointer().Base) {
773 CurA = IterA;
774 IterA = getBase(IterA);
775 } else {
776 CurB = IterB;
777 IterB = getBase(IterB);
778 }
779
780 if (IterA == IterB)
781 return std::make_pair(CurA, CurB);
782
783 if (IterA.isRoot() && IterB.isRoot())
784 return std::nullopt;
785 }
786
787 llvm_unreachable("The loop above should've returned.");
788}
789
790std::optional<APValue> Pointer::toRValue(const Context &Ctx,
791 QualType ResultType) const {
792 const ASTContext &ASTCtx = Ctx.getASTContext();
793 assert(!ResultType.isNull());
794 // Method to recursively traverse composites.
795 std::function<bool(QualType, const Pointer &, APValue &)> Composite;
796 Composite = [&Composite, &Ctx, &ASTCtx](QualType Ty, const Pointer &Ptr,
797 APValue &R) {
798 if (const auto *AT = Ty->getAs<AtomicType>())
799 Ty = AT->getValueType();
800
801 // Invalid pointers.
802 if (Ptr.isDummy() || !Ptr.isLive() || !Ptr.isBlockPointer() ||
803 Ptr.isPastEnd())
804 return false;
805
806 // Primitive values.
807 if (OptPrimType T = Ctx.classify(Ty)) {
808 TYPE_SWITCH(*T, R = Ptr.deref<T>().toAPValue(ASTCtx));
809 return true;
810 }
811
812 if (const auto *RT = Ty->getAsCanonical<RecordType>()) {
813 const auto *Record = Ptr.getRecord();
814 assert(Record && "Missing record descriptor");
815
816 bool Ok = true;
817 if (RT->getDecl()->isUnion()) {
818 const FieldDecl *ActiveField = nullptr;
820 for (const auto &F : Record->fields()) {
821 const Pointer &FP = Ptr.atField(F.Offset);
822 QualType FieldTy = F.Decl->getType();
823 if (FP.isActive()) {
824 if (OptPrimType T = Ctx.classify(FieldTy)) {
825 TYPE_SWITCH(*T, Value = FP.deref<T>().toAPValue(ASTCtx));
826 } else {
827 Ok &= Composite(FieldTy, FP, Value);
828 }
829 ActiveField = FP.getFieldDesc()->asFieldDecl();
830 break;
831 }
832 }
833 R = APValue(ActiveField, Value);
834 } else {
835 unsigned NF = Record->getNumFields();
836 unsigned NB = Record->getNumBases();
837 unsigned NV = Ptr.isBaseClass() ? 0 : Record->getNumVirtualBases();
838
839 R = APValue(APValue::UninitStruct(), NB, NF);
840
841 for (unsigned I = 0; I < NF; ++I) {
842 const Record::Field *FD = Record->getField(I);
843 QualType FieldTy = FD->Decl->getType();
844 const Pointer &FP = Ptr.atField(FD->Offset);
845 APValue &Value = R.getStructField(I);
846
847 if (OptPrimType T = Ctx.classify(FieldTy)) {
848 TYPE_SWITCH(*T, Value = FP.deref<T>().toAPValue(ASTCtx));
849 } else {
850 Ok &= Composite(FieldTy, FP, Value);
851 }
852 }
853
854 for (unsigned I = 0; I < NB; ++I) {
855 const Record::Base *BD = Record->getBase(I);
856 QualType BaseTy = Ctx.getASTContext().getCanonicalTagType(BD->Decl);
857 const Pointer &BP = Ptr.atField(BD->Offset);
858 Ok &= Composite(BaseTy, BP, R.getStructBase(I));
859 }
860
861 for (unsigned I = 0; I < NV; ++I) {
862 const Record::Base *VD = Record->getVirtualBase(I);
863 QualType VirtBaseTy =
864 Ctx.getASTContext().getCanonicalTagType(VD->Decl);
865 const Pointer &VP = Ptr.atField(VD->Offset);
866 Ok &= Composite(VirtBaseTy, VP, R.getStructBase(NB + I));
867 }
868 }
869 return Ok;
870 }
871
872 if (Ty->isIncompleteArrayType()) {
873 R = APValue(APValue::UninitArray(), 0, 0);
874 return true;
875 }
876
877 if (const auto *AT = Ty->getAsArrayTypeUnsafe()) {
878 const size_t NumElems = Ptr.getNumElems();
879 QualType ElemTy = AT->getElementType();
880 R = APValue(APValue::UninitArray{}, NumElems, NumElems);
881
882 bool Ok = true;
883 OptPrimType ElemT = Ctx.classify(ElemTy);
884 for (unsigned I = 0; I != NumElems; ++I) {
885 APValue &Slot = R.getArrayInitializedElt(I);
886 if (ElemT) {
887 TYPE_SWITCH(*ElemT, Slot = Ptr.elem<T>(I).toAPValue(ASTCtx));
888 } else {
889 Ok &= Composite(ElemTy, Ptr.atIndex(I).narrow(), Slot);
890 }
891 }
892 return Ok;
893 }
894
895 // Complex types.
896 if (const auto *CT = Ty->getAs<ComplexType>()) {
897 // Can happen via C casts.
898 if (!Ptr.getFieldDesc()->isPrimitiveArray())
899 return false;
900
901 QualType ElemTy = CT->getElementType();
902 if (ElemTy->isIntegerType()) {
903 OptPrimType ElemT = Ctx.classify(ElemTy);
904 assert(ElemT);
905 INT_TYPE_SWITCH(*ElemT, {
906 auto V1 = Ptr.elem<T>(0);
907 auto V2 = Ptr.elem<T>(1);
908 R = APValue(V1.toAPSInt(), V2.toAPSInt());
909 return true;
910 });
911 } else if (ElemTy->isFloatingType()) {
912 R = APValue(Ptr.elem<Floating>(0).getAPFloat(),
913 Ptr.elem<Floating>(1).getAPFloat());
914 return true;
915 }
916 return false;
917 }
918
919 // Vector types.
920 if (const auto *VT = Ty->getAs<VectorType>()) {
921 assert(Ptr.getFieldDesc()->isPrimitiveArray());
922 QualType ElemTy = VT->getElementType();
923 PrimType ElemT = *Ctx.classify(ElemTy);
924
926 Values.reserve(VT->getNumElements());
927 for (unsigned I = 0; I != VT->getNumElements(); ++I) {
928 TYPE_SWITCH(ElemT,
929 { Values.push_back(Ptr.elem<T>(I).toAPValue(ASTCtx)); });
930 }
931
932 assert(Values.size() == VT->getNumElements());
933 R = APValue(Values.data(), Values.size());
934 return true;
935 }
936
937 llvm_unreachable("invalid value to return");
938 };
939
940 // Invalid to read from.
941 if (isDummy() || !isLive() || isPastEnd())
942 return std::nullopt;
943
944 // We can return these as rvalues, but we can't deref() them.
945 if (isZero() || isIntegralPointer())
946 return toAPValue(ASTCtx);
947
948 // Just load primitive types.
949 if (OptPrimType T = Ctx.classify(ResultType)) {
950 TYPE_SWITCH(*T, return this->deref<T>().toAPValue(ASTCtx));
951 }
952
953 // Return the composite type.
955 if (!Composite(ResultType, *this, Result))
956 return std::nullopt;
957 return Result;
958}
959
960std::optional<IntPointer> IntPointer::atOffset(const ASTContext &ASTCtx,
961 unsigned Offset) const {
962 if (!this->Desc)
963 return *this;
964 const Record *R = this->Desc->ElemRecord;
965 if (!R)
966 return *this;
967
968 const Record::Field *F = nullptr;
969 for (auto &It : R->fields()) {
970 if (It.Offset == Offset) {
971 F = &It;
972 break;
973 }
974 }
975 if (!F)
976 return *this;
977
978 const FieldDecl *FD = F->Decl;
979 if (FD->getParent()->isInvalidDecl())
980 return std::nullopt;
981
982 const ASTRecordLayout &Layout = ASTCtx.getASTRecordLayout(FD->getParent());
983 unsigned FieldIndex = FD->getFieldIndex();
984 uint64_t FieldOffset =
985 ASTCtx.toCharUnitsFromBits(Layout.getFieldOffset(FieldIndex))
986 .getQuantity();
987 return IntPointer{F->Desc, this->Value + FieldOffset};
988}
989
991 unsigned BaseOffset) const {
992 if (!Desc) {
993 assert(Value == 0);
994 return *this;
995 }
996 const Record *R = Desc->ElemRecord;
997 const Descriptor *BaseDesc = nullptr;
998
999 // This iterates over bases and checks for the proper offset. That's
1000 // potentially slow but this case really shouldn't happen a lot.
1001 for (const Record::Base &B : R->bases()) {
1002 if (B.Offset == BaseOffset) {
1003 BaseDesc = B.Desc;
1004 break;
1005 }
1006 }
1007 assert(BaseDesc);
1008
1009 // Adjust the offset value based on the information from the record layout.
1010 const ASTRecordLayout &Layout = ASTCtx.getASTRecordLayout(R->getDecl());
1011 CharUnits BaseLayoutOffset =
1012 Layout.getBaseClassOffset(cast<CXXRecordDecl>(BaseDesc->asDecl()));
1013
1014 return {BaseDesc, Value + BaseLayoutOffset.getQuantity()};
1015}
Defines the clang::Expr interface and subclasses for C++ expressions.
#define INT_TYPE_SWITCH(Expr, B)
Definition PrimType.h:232
#define TYPE_SWITCH(Expr, B)
Definition PrimType.h:211
static uint64_t getFieldOffset(const ASTContext &C, const FieldDecl *FD)
static LValueBase getTypeInfo(TypeInfoLValue LV, QualType TypeInfo)
Definition APValue.cpp:55
static LValueBase getDynamicAlloc(DynamicAllocLValue LV, QualType Type)
Definition APValue.cpp:47
A non-discriminated union of a base, field, or array index.
Definition APValue.h:207
static LValuePathEntry ArrayIndex(uint64_t Index)
Definition APValue.h:215
APValue - This class implements a discriminated union of [uninitialized] [APSInt] [APFloat],...
Definition APValue.h:122
APValue & getArrayInitializedElt(unsigned I)
Definition APValue.h:576
std::string getAsString(const ASTContext &Ctx, QualType Ty) const
Definition APValue.cpp:956
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
Definition ASTContext.h:220
const ASTRecordLayout & getASTRecordLayout(const RecordDecl *D) const
Get or compute information about the layout of the specified record (struct/union/class) D,...
CharUnits getTypeSizeInChars(QualType T) const
Return the size of the specified (complete) type T, in characters.
CharUnits toCharUnitsFromBits(int64_t BitSize) const
Convert a size in bits to a size in characters.
CanQualType getCanonicalTagType(const TagDecl *TD) const
ASTRecordLayout - This class contains layout information for one RecordDecl, which is a struct/union/...
uint64_t getFieldOffset(unsigned FieldNo) const
getFieldOffset - Get the offset of the given field index, in bits.
CharUnits getBaseClassOffset(const CXXRecordDecl *Base) const
getBaseClassOffset - Get the offset, in chars, for the given base class.
CharUnits getVBaseClassOffset(const CXXRecordDecl *VBase) const
getVBaseClassOffset - Get the offset, in chars, for the given base class.
CharUnits - This is an opaque type for sizes expressed in character units.
Definition CharUnits.h:38
QuantityType getQuantity() const
getQuantity - Get the raw integer representation of this quantity.
Definition CharUnits.h:185
static CharUnits fromQuantity(QuantityType Quantity)
fromQuantity - Construct a CharUnits quantity from a raw integer type.
Definition CharUnits.h:63
static CharUnits Zero()
Zero - Construct a CharUnits quantity of zero.
Definition CharUnits.h:53
Complex values, per C99 6.2.5p11.
Definition TypeBase.h:3276
Decl()=delete
bool isInvalidDecl() const
Definition DeclBase.h:588
Symbolic representation of a dynamic allocation.
Definition APValue.h:65
This represents one expression.
Definition Expr.h:112
Represents a member of a struct/union/class.
Definition Decl.h:3160
unsigned getFieldIndex() const
Returns the index of this field within its record, as appropriate for passing to ASTRecordLayout::get...
Definition Decl.h:3245
const RecordDecl * getParent() const
Returns the parent of this field declaration, which is the struct in which this field is defined.
Definition Decl.h:3396
Represents a function declaration or definition.
Definition Decl.h:2000
A (possibly-)qualified type.
Definition TypeBase.h:937
bool isNull() const
Return true if this QualType doesn't point to a type yet.
Definition TypeBase.h:1004
RecordDecl * getDefinition() const
Returns the RecordDecl that actually defines this struct/union/class.
Definition Decl.h:4508
Symbolic representation of typeid(T) for some type T.
Definition APValue.h:44
RecordDecl * getAsRecordDecl() const
Retrieves the RecordDecl this type refers to.
Definition Type.h:41
bool isIntegerType() const
isIntegerType() does not include complex integers (a GCC extension).
Definition TypeBase.h:8935
bool isFloatingType() const
Definition Type.cpp:2305
Represent the declaration of a variable (in which case it is an lvalue) a function (in which case it ...
Definition Decl.h:712
QualType getType() const
Definition Decl.h:723
Represents a GCC generic vector type.
Definition TypeBase.h:4176
unsigned getSize() const
Returns the size of the block.
Definition InterpBlock.h:87
const Descriptor * getDescriptor() const
Returns the block's descriptor.
Definition InterpBlock.h:73
Holds all information required to evaluate constexpr code in a module.
Definition Context.h:41
ASTContext & getASTContext() const
Returns the AST context.
Definition Context.h:79
OptPrimType classify(QualType T) const
Classifies a type.
Definition Context.cpp:364
If a Floating is constructed from Memory, it DOES NOT OWN THAT MEMORY.
Definition Floating.h:35
APFloat getAPFloat() const
Definition Floating.h:64
const Function * getFunction() const
std::string toDiagnosticString(const ASTContext &Ctx) const
const BlockExpr * getExpr() const
Definition Function.h:114
const FunctionDecl * getDecl() const
Returns the original FunctionDecl.
Definition Function.h:111
static bool hasSameBase(const Pointer &A, const Pointer &B)
Checks if two pointers are comparable.
Definition Pointer.cpp:697
void deactivate() const
Deactivates an entire strurcutre.
Definition Pointer.cpp:693
bool isInitialized() const
Checks if an object was initialized.
Definition Pointer.cpp:447
bool isStatic() const
Checks if the storage is static.
Definition Pointer.h:501
bool isDynamic() const
Checks if the storage has been dynamically allocated.
Definition Pointer.h:516
bool inUnion() const
Definition Pointer.h:409
bool isZeroSizeArray() const
Checks if the pointer is pointing to a zero-size array.
Definition Pointer.h:661
bool isElementInitialized(unsigned Index) const
Like isInitialized(), but for primitive arrays.
Definition Pointer.cpp:469
FunctionPointer Fn
Definition Pointer.h:853
bool isDummy() const
Checks if the pointer points to a dummy value.
Definition Pointer.h:554
void print(llvm::raw_ostream &OS) const
Prints the pointer.
Definition Pointer.cpp:327
int64_t getIndex() const
Returns the index into an array.
Definition Pointer.h:619
bool isActive() const
Checks if the object is active.
Definition Pointer.h:543
void startLifetime() const
Start the lifetime of this pointer.
Definition Pointer.cpp:511
Pointer atField(unsigned Off) const
Creates a pointer to a field.
Definition Pointer.h:175
T & deref() const
Dereferences the pointer, if it's live.
Definition Pointer.h:670
unsigned getNumElems() const
Returns the number of elements.
Definition Pointer.h:603
Pointer getArray() const
Returns the parent array.
Definition Pointer.h:322
bool isUnknownSizeArray() const
Checks if the structure is an array of unknown size.
Definition Pointer.h:422
void activate() const
Activats a field.
Definition Pointer.cpp:639
static std::optional< std::pair< Pointer, Pointer > > computeSplitPoint(const Pointer &A, const Pointer &B)
Definition Pointer.cpp:749
const TypeidPointer & asTypeidPointer() const
Definition Pointer.h:470
bool isIntegralPointer() const
Definition Pointer.h:476
QualType getType() const
Returns the type of the innermost field.
Definition Pointer.h:342
bool isArrayElement() const
Checks if the pointer points to an array.
Definition Pointer.h:428
void initializeAllElements() const
Initialize all elements of a primitive array at once.
Definition Pointer.cpp:598
bool pointsToStringLiteral() const
Definition Pointer.cpp:737
bool isArrayRoot() const
Whether this array refers to an array, but not to the first element.
Definition Pointer.h:401
size_t computeOffsetForComparison(const ASTContext &ASTCtx) const
Compute an integer that can be used to compare this pointer to another one.
Definition Pointer.cpp:371
bool isLive() const
Checks if the pointer is live.
Definition Pointer.h:274
bool inArray() const
Checks if the innermost field is an array.
Definition Pointer.h:404
bool isElementAlive(unsigned Index) const
Definition Pointer.cpp:498
bool pointsToLiteral() const
Whether this points to a block that's been created for a "literal lvalue", i.e.
Definition Pointer.cpp:726
bool allElementsAlive() const
Definition Pointer.cpp:622
Pointer getBase() const
Returns a pointer to the object of which this pointer is a field.
Definition Pointer.h:313
bool isTypeidPointer() const
Definition Pointer.h:478
std::string toDiagnosticString(const ASTContext &Ctx) const
Converts the pointer to a string usable in diagnostics.
Definition Pointer.cpp:434
bool isZero() const
Checks if the pointer is null.
Definition Pointer.h:260
Pointer & operator=(const Pointer &P)
Definition Pointer.cpp:94
const IntPointer & asIntPointer() const
Definition Pointer.h:462
bool isRoot() const
Pointer points directly to a block.
Definition Pointer.h:444
const Descriptor * getDeclDesc() const
Accessor for information about the declaration site.
Definition Pointer.h:288
static bool pointToSameBlock(const Pointer &A, const Pointer &B)
Checks if both given pointers point to the same block.
Definition Pointer.cpp:715
APValue toAPValue(const ASTContext &ASTCtx) const
Converts the pointer to an APValue.
Definition Pointer.cpp:172
bool isOnePastEnd() const
Checks if the index is one past end.
Definition Pointer.h:636
static bool hasSameArray(const Pointer &A, const Pointer &B)
Checks if two pointers can be subtracted.
Definition Pointer.cpp:721
bool isPastEnd() const
Checks if the pointer points past the end of the object.
Definition Pointer.h:650
const FieldDecl * getField() const
Returns the field information.
Definition Pointer.h:488
Pointer expand() const
Expands a pointer to the containing array, undoing narrowing.
Definition Pointer.h:225
friend class Block
Definition Pointer.h:813
bool isElementPastEnd() const
Checks if the pointer is an out-of-bounds element pointer.
Definition Pointer.h:658
bool isBlockPointer() const
Definition Pointer.h:475
BlockPointer BS
Definition Pointer.h:852
TypeidPointer Typeid
Definition Pointer.h:854
std::optional< APValue > toRValue(const Context &Ctx, QualType ResultType) const
Converts the pointer to an APValue that is an rvalue.
Definition Pointer.cpp:790
const FunctionPointer & asFunctionPointer() const
Definition Pointer.h:466
bool allElementsInitialized() const
Definition Pointer.cpp:605
const Block * block() const
Definition Pointer.h:609
bool isFunctionPointer() const
Definition Pointer.h:477
void endLifetime() const
Ends the lifetime of the pointer.
Definition Pointer.cpp:531
Pointer getDeclPtr() const
Definition Pointer.h:362
const Descriptor * getFieldDesc() const
Accessors for information about the innermost field.
Definition Pointer.h:332
bool isVirtualBaseClass() const
Definition Pointer.h:550
bool isBaseClass() const
Checks if a structure is a base class.
Definition Pointer.h:549
size_t elemSize() const
Returns the element size of the innermost field.
Definition Pointer.h:365
Lifetime getLifetime() const
Definition Pointer.h:734
const BlockPointer & asBlockPointer() const
Definition Pointer.h:458
void initialize() const
Initializes a field.
Definition Pointer.cpp:551
bool isField() const
Checks if the item is a field in an object.
Definition Pointer.h:280
void initializeElement(unsigned Index) const
Initialized the given element of a primitive array.
Definition Pointer.cpp:577
const Record * getRecord() const
Returns the record descriptor of a class.
Definition Pointer.h:481
Structure/Class descriptor.
Definition Record.h:25
const RecordDecl * getDecl() const
Returns the underlying declaration.
Definition Record.h:53
bool isUnion() const
Checks if the record is a union.
Definition Record.h:57
const Field * getField(unsigned I) const
Definition Record.h:81
unsigned getNumBases() const
Definition Record.h:90
const Base * getBase(unsigned I) const
Definition Record.h:91
const Base * getVirtualBase(unsigned I) const
Definition Record.h:106
llvm::iterator_range< const_base_iter > bases() const
Definition Record.h:86
unsigned getNumFields() const
Definition Record.h:80
unsigned getNumVirtualBases() const
Definition Record.h:105
llvm::iterator_range< const_field_iter > fields() const
Definition Record.h:76
#define bool
Definition gpuintrin.h:32
PrimType
Enumeration of the primitive types of the VM.
Definition PrimType.h:34
The JSON file list parser is used to communicate input to InstallAPI.
bool isa(CodeGen::Address addr)
Definition Address.h:330
@ Result
The result type of a method or function.
Definition TypeBase.h:905
const FunctionProtoType * T
U cast(CodeGen::Address addr)
Definition Address.h:327
int const char * function
Definition c++config.h:31
__UINTPTR_TYPE__ uintptr_t
An unsigned integer type with the property that any valid pointer to void can be converted to this ty...
unsigned Base
Start of the current subfield.
Definition Pointer.h:40
Block * Pointee
The block the pointer is pointing to.
Definition Pointer.h:38
Describes a memory block created by an allocation site.
Definition Descriptor.h:121
unsigned getNumElems() const
Returns the number of elements stored in the block.
Definition Descriptor.h:249
QualType getElemQualType() const
const ValueDecl * asValueDecl() const
Definition Descriptor.h:214
QualType getType() const
const Decl * asDecl() const
Definition Descriptor.h:210
unsigned getMetadataSize() const
Returns the size of the metadata.
Definition Descriptor.h:246
QualType getDataType(const ASTContext &Ctx) const
const bool IsArray
Flag indicating if the block is an array.
Definition Descriptor.h:167
bool isPrimitiveArray() const
Checks if the descriptor is of an array of primitives.
Definition Descriptor.h:254
const FieldDecl * asFieldDecl() const
Definition Descriptor.h:222
const Expr * asExpr() const
Definition Descriptor.h:211
Descriptor used for global variables.
Definition Descriptor.h:50
A pointer-sized struct we use to allocate into data storage.
Definition InitMap.h:79
bool hasInitMap() const
Definition InitMap.h:88
bool allInitialized() const
Are all elements in the array already initialized?
Definition InitMap.h:92
void setInitMap(const InitMap *IM)
Definition InitMap.h:94
Bitfield tracking the initialisation status of elements of primitive arrays.
Definition InitMap.h:22
void startElementLifetime(unsigned I)
Definition InitMap.cpp:32
void endElementLifetime(unsigned I)
Definition InitMap.cpp:45
bool allElementsAlive() const
Definition InitMap.h:58
bool isElementInitialized(unsigned I) const
Checks if an element was initialized.
Definition InitMap.cpp:23
bool initializeElement(unsigned I)
Initializes an element. Returns true when object if fully initialized.
Definition InitMap.cpp:13
bool isElementAlive(unsigned I) const
Definition InitMap.h:52
Inline descriptor embedded in structures and arrays.
Definition Descriptor.h:66
unsigned IsActive
Flag indicating if the field is the active member of a union.
Definition Descriptor.h:88
unsigned Offset
Offset inside the structure/array.
Definition Descriptor.h:68
std::optional< IntPointer > atOffset(const ASTContext &ASTCtx, unsigned Offset) const
Definition Pointer.cpp:960
IntPointer baseCast(const ASTContext &ASTCtx, unsigned BaseOffset) const
Definition Pointer.cpp:990
const Descriptor * Desc
Definition Pointer.h:48
const Type * TypeInfoType
Definition Pointer.h:58