clang 22.0.0git
Program.cpp
Go to the documentation of this file.
1//===--- Program.cpp - Bytecode 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 "Program.h"
10#include "Context.h"
11#include "Function.h"
12#include "Integral.h"
13#include "PrimType.h"
14#include "clang/AST/Decl.h"
15#include "clang/AST/DeclCXX.h"
17
18using namespace clang;
19using namespace clang::interp;
20
21unsigned Program::getOrCreateNativePointer(const void *Ptr) {
22 auto [It, Inserted] =
23 NativePointerIndices.try_emplace(Ptr, NativePointers.size());
24 if (Inserted)
25 NativePointers.push_back(Ptr);
26
27 return It->second;
28}
29
30const void *Program::getNativePointer(unsigned Idx) {
31 return NativePointers[Idx];
32}
33
35 const size_t CharWidth = S->getCharByteWidth();
36 const size_t BitWidth = CharWidth * Ctx.getCharBit();
37 unsigned StringLength = S->getLength();
38
39 OptPrimType CharType =
40 Ctx.classify(S->getType()->castAsArrayTypeUnsafe()->getElementType());
41 assert(CharType);
42
43 if (!Base)
44 Base = S;
45
46 // Create a descriptor for the string.
47 Descriptor *Desc = allocateDescriptor(Base, *CharType, Descriptor::GlobalMD,
48 StringLength + 1,
49 /*isConst=*/true,
50 /*isTemporary=*/false,
51 /*isMutable=*/false);
52
53 // Allocate storage for the string.
54 // The byte length does not include the null terminator.
55 unsigned GlobalIndex = Globals.size();
56 unsigned Sz = Desc->getAllocSize();
57 auto *G = new (Allocator, Sz) Global(Ctx.getEvalID(), Desc, /*isStatic=*/true,
58 /*isExtern=*/false);
59 G->block()->invokeCtor();
60
61 new (G->block()->rawData())
63 Globals.push_back(G);
64
65 const Pointer Ptr(G->block());
66 if (CharWidth == 1) {
67 std::memcpy(&Ptr.elem<char>(0), S->getString().data(), StringLength);
68 } else {
69 // Construct the string in storage.
70 for (unsigned I = 0; I <= StringLength; ++I) {
71 uint32_t CodePoint = I == StringLength ? 0 : S->getCodeUnit(I);
73 Ptr.elem<T>(I) = T::from(CodePoint, BitWidth););
74 }
75 }
77
78 return GlobalIndex;
79}
80
81Pointer Program::getPtrGlobal(unsigned Idx) const {
82 assert(Idx < Globals.size());
83 return Pointer(Globals[Idx]->block());
84}
85
87 if (auto It = GlobalIndices.find(VD); It != GlobalIndices.end())
88 return It->second;
89
90 // Find any previous declarations which were already evaluated.
91 std::optional<unsigned> Index;
92 for (const Decl *P = VD->getPreviousDecl(); P; P = P->getPreviousDecl()) {
93 if (auto It = GlobalIndices.find(P); It != GlobalIndices.end()) {
94 Index = It->second;
95 break;
96 }
97 }
98
99 // Map the decl to the existing index.
100 if (Index)
101 GlobalIndices[VD] = *Index;
102
103 return std::nullopt;
104}
105
107 if (auto It = GlobalIndices.find(E); It != GlobalIndices.end())
108 return It->second;
109 return std::nullopt;
110}
111
113 const Expr *Init) {
114 if (auto Idx = getGlobal(VD))
115 return Idx;
116
117 if (auto Idx = createGlobal(VD, Init)) {
118 GlobalIndices[VD] = *Idx;
119 return Idx;
120 }
121 return std::nullopt;
122}
123
125 assert(D);
126 // Dedup blocks since they are immutable and pointers cannot be compared.
127 if (auto It = DummyVariables.find(D.getOpaqueValue());
128 It != DummyVariables.end())
129 return It->second;
130
131 QualType QT;
132 bool IsWeak = false;
133 if (const auto *E = dyn_cast<const Expr *>(D)) {
134 QT = E->getType();
135 } else {
136 const auto *VD = cast<ValueDecl>(cast<const Decl *>(D));
137 IsWeak = VD->isWeak();
138 QT = VD->getType();
139 if (QT->isPointerOrReferenceType())
140 QT = QT->getPointeeType();
141 }
142 assert(!QT.isNull());
143
144 Descriptor *Desc;
145 if (OptPrimType T = Ctx.classify(QT))
146 Desc = createDescriptor(D, *T, /*SourceTy=*/nullptr, std::nullopt,
147 /*IsConst=*/QT.isConstQualified());
148 else
149 Desc = createDescriptor(D, QT.getTypePtr(), std::nullopt,
150 /*IsConst=*/QT.isConstQualified());
151 if (!Desc)
152 Desc = allocateDescriptor(D);
153
154 assert(Desc);
155
156 // Allocate a block for storage.
157 unsigned I = Globals.size();
158
159 auto *G = new (Allocator, Desc->getAllocSize())
160 Global(Ctx.getEvalID(), getCurrentDecl(), Desc, /*IsStatic=*/true,
161 /*IsExtern=*/false, IsWeak, /*IsDummy=*/true);
162 G->block()->invokeCtor();
163 assert(G->block()->isDummy());
164
165 Globals.push_back(G);
166 DummyVariables[D.getOpaqueValue()] = I;
167 return I;
168}
169
171 bool IsStatic, IsExtern;
172 bool IsWeak = VD->isWeak();
173 if (const auto *Var = dyn_cast<VarDecl>(VD)) {
175 IsExtern = Var->hasExternalStorage();
178 IsStatic = true;
179 IsExtern = false;
180 } else {
181 IsStatic = false;
182 IsExtern = true;
183 }
184
185 // Register all previous declarations as well. For extern blocks, just replace
186 // the index with the new variable.
187 UnsignedOrNone Idx =
188 createGlobal(VD, VD->getType(), IsStatic, IsExtern, IsWeak, Init);
189 if (!Idx)
190 return std::nullopt;
191
192 Global *NewGlobal = Globals[*Idx];
193 // Note that this loop has one iteration where Redecl == VD.
194 for (const Decl *Redecl : VD->redecls()) {
195
196 // If this redecl was registered as a dummy variable, it is now a proper
197 // global variable and points to the block we just created.
198 if (auto DummyIt = DummyVariables.find(Redecl);
199 DummyIt != DummyVariables.end()) {
200 Global *Dummy = Globals[DummyIt->second];
201 Dummy->block()->movePointersTo(NewGlobal->block());
202 Globals[DummyIt->second] = NewGlobal;
203 DummyVariables.erase(DummyIt);
204 }
205 // If the redeclaration hasn't been registered yet at all, we just set its
206 // global index to Idx. If it has been registered yet, it might have
207 // pointers pointing to it and we need to transfer those pointers to the new
208 // block.
209 auto [Iter, Inserted] = GlobalIndices.try_emplace(Redecl);
210 if (Inserted) {
211 GlobalIndices[Redecl] = *Idx;
212 continue;
213 }
214
215 if (Redecl != VD) {
216 if (Block *RedeclBlock = Globals[Iter->second]->block();
217 RedeclBlock->isExtern()) {
218
219 // All pointers pointing to the previous extern decl now point to the
220 // new decl.
221 // A previous iteration might've already fixed up the pointers for this
222 // global.
223 if (RedeclBlock != NewGlobal->block())
224 RedeclBlock->movePointersTo(NewGlobal->block());
225
226 Globals[Iter->second] = NewGlobal;
227 }
228 }
229 Iter->second = *Idx;
230 }
231
232 return *Idx;
233}
234
236 if (auto Idx = getGlobal(E))
237 return Idx;
238 if (auto Idx = createGlobal(E, E->getType(), /*isStatic=*/true,
239 /*isExtern=*/false, /*IsWeak=*/false)) {
240 GlobalIndices[E] = *Idx;
241 return *Idx;
242 }
243 return std::nullopt;
244}
245
247 bool IsStatic, bool IsExtern, bool IsWeak,
248 const Expr *Init) {
249 // Create a descriptor for the global.
250 Descriptor *Desc;
251 const bool IsConst = Ty.isConstQualified();
252 const bool IsTemporary = D.dyn_cast<const Expr *>();
253 const bool IsVolatile = Ty.isVolatileQualified();
254 if (OptPrimType T = Ctx.classify(Ty))
255 Desc = createDescriptor(D, *T, nullptr, Descriptor::GlobalMD, IsConst,
256 IsTemporary, /*IsMutable=*/false, IsVolatile);
257 else
258 Desc = createDescriptor(D, Ty.getTypePtr(), Descriptor::GlobalMD, IsConst,
259 IsTemporary, /*IsMutable=*/false, IsVolatile);
260
261 if (!Desc)
262 return std::nullopt;
263
264 // Allocate a block for storage.
265 unsigned I = Globals.size();
266
267 auto *G = new (Allocator, Desc->getAllocSize()) Global(
268 Ctx.getEvalID(), getCurrentDecl(), Desc, IsStatic, IsExtern, IsWeak);
269 G->block()->invokeCtor();
270
271 // Initialize GlobalInlineDescriptor fields.
272 auto *GD = new (G->block()->rawData()) GlobalInlineDescriptor();
273 if (!Init)
274 GD->InitState = GlobalInitState::NoInitializer;
275 Globals.push_back(G);
276
277 return I;
278}
279
281 F = F->getCanonicalDecl();
282 assert(F);
283 auto It = Funcs.find(F);
284 return It == Funcs.end() ? nullptr : It->second.get();
285}
286
288 // Use the actual definition as a key.
289 RD = RD->getDefinition();
290 if (!RD)
291 return nullptr;
292
293 if (!RD->isCompleteDefinition())
294 return nullptr;
295
296 // Return an existing record if available. Otherwise, we insert nullptr now
297 // and replace that later, so recursive calls to this function with the same
298 // RecordDecl don't run into infinite recursion.
299 auto [It, Inserted] = Records.try_emplace(RD);
300 if (!Inserted)
301 return It->second;
302
303 // Number of bytes required by fields and base classes.
304 unsigned BaseSize = 0;
305 // Number of bytes required by virtual base.
306 unsigned VirtSize = 0;
307
308 // Helper to get a base descriptor.
309 auto GetBaseDesc = [this](const RecordDecl *BD,
310 const Record *BR) -> const Descriptor * {
311 if (!BR)
312 return nullptr;
313 return allocateDescriptor(BD, BR, std::nullopt, /*isConst=*/false,
314 /*isTemporary=*/false,
315 /*isMutable=*/false, /*IsVolatile=*/false);
316 };
317
318 // Reserve space for base classes.
319 Record::BaseList Bases;
320 Record::VirtualBaseList VirtBases;
321 if (const auto *CD = dyn_cast<CXXRecordDecl>(RD)) {
322 for (const CXXBaseSpecifier &Spec : CD->bases()) {
323 if (Spec.isVirtual())
324 continue;
325
326 // In error cases, the base might not be a RecordType.
327 const auto *BD = Spec.getType()->getAsCXXRecordDecl();
328 if (!BD)
329 return nullptr;
330 const Record *BR = getOrCreateRecord(BD);
331
332 const Descriptor *Desc = GetBaseDesc(BD, BR);
333 if (!Desc)
334 return nullptr;
335
336 BaseSize += align(sizeof(InlineDescriptor));
337 Bases.push_back({BD, BaseSize, Desc, BR});
338 BaseSize += align(BR->getSize());
339 }
340
341 for (const CXXBaseSpecifier &Spec : CD->vbases()) {
342 const auto *BD = Spec.getType()->castAsCXXRecordDecl();
343 const Record *BR = getOrCreateRecord(BD);
344
345 const Descriptor *Desc = GetBaseDesc(BD, BR);
346 if (!Desc)
347 return nullptr;
348
349 VirtSize += align(sizeof(InlineDescriptor));
350 VirtBases.push_back({BD, VirtSize, Desc, BR});
351 VirtSize += align(BR->getSize());
352 }
353 }
354
355 // Reserve space for fields.
356 Record::FieldList Fields;
357 for (const FieldDecl *FD : RD->fields()) {
358 FD = FD->getFirstDecl();
359 // Note that we DO create fields and descriptors
360 // for unnamed bitfields here, even though we later ignore
361 // them everywhere. That's so the FieldDecl's getFieldIndex() matches.
362
363 // Reserve space for the field's descriptor and the offset.
364 BaseSize += align(sizeof(InlineDescriptor));
365
366 // Classify the field and add its metadata.
367 QualType FT = FD->getType();
368 const bool IsConst = FT.isConstQualified();
369 const bool IsMutable = FD->isMutable();
370 const bool IsVolatile = FT.isVolatileQualified();
371 const Descriptor *Desc;
372 if (OptPrimType T = Ctx.classify(FT)) {
373 Desc = createDescriptor(FD, *T, nullptr, std::nullopt, IsConst,
374 /*isTemporary=*/false, IsMutable, IsVolatile);
375 } else {
376 Desc = createDescriptor(FD, FT.getTypePtr(), std::nullopt, IsConst,
377 /*isTemporary=*/false, IsMutable, IsVolatile);
378 }
379 if (!Desc)
380 return nullptr;
381 Fields.push_back({FD, BaseSize, Desc});
382 BaseSize += align(Desc->getAllocSize());
383 }
384
385 Record *R = new (Allocator) Record(RD, std::move(Bases), std::move(Fields),
386 std::move(VirtBases), VirtSize, BaseSize);
387 Records[RD] = R;
388 return R;
389}
390
393 bool IsConst, bool IsTemporary,
394 bool IsMutable, bool IsVolatile,
395 const Expr *Init) {
396
397 // Classes and structures.
398 if (const auto *RD = Ty->getAsRecordDecl()) {
399 if (const auto *Record = getOrCreateRecord(RD))
400 return allocateDescriptor(D, Record, MDSize, IsConst, IsTemporary,
401 IsMutable, IsVolatile);
402 return allocateDescriptor(D, MDSize);
403 }
404
405 // Arrays.
406 if (const auto *ArrayType = Ty->getAsArrayTypeUnsafe()) {
408 // Array of well-known bounds.
409 if (const auto *CAT = dyn_cast<ConstantArrayType>(ArrayType)) {
410 size_t NumElems = CAT->getZExtSize();
411 if (OptPrimType T = Ctx.classify(ElemTy)) {
412 // Arrays of primitives.
413 unsigned ElemSize = primSize(*T);
414 if (std::numeric_limits<unsigned>::max() / ElemSize <= NumElems) {
415 return {};
416 }
417 return allocateDescriptor(D, *T, MDSize, NumElems, IsConst, IsTemporary,
418 IsMutable);
419 }
420 // Arrays of composites. In this case, the array is a list of pointers,
421 // followed by the actual elements.
422 const Descriptor *ElemDesc = createDescriptor(
423 D, ElemTy.getTypePtr(), std::nullopt, IsConst, IsTemporary);
424 if (!ElemDesc)
425 return nullptr;
426 unsigned ElemSize = ElemDesc->getAllocSize() + sizeof(InlineDescriptor);
427 if (std::numeric_limits<unsigned>::max() / ElemSize <= NumElems)
428 return {};
429 return allocateDescriptor(D, Ty, ElemDesc, MDSize, NumElems, IsConst,
430 IsTemporary, IsMutable);
431 }
432
433 // Array of unknown bounds - cannot be accessed and pointer arithmetic
434 // is forbidden on pointers to such objects.
437 if (OptPrimType T = Ctx.classify(ElemTy)) {
438 return allocateDescriptor(D, *T, MDSize, IsConst, IsTemporary,
440 }
441 const Descriptor *Desc = createDescriptor(
442 D, ElemTy.getTypePtr(), std::nullopt, IsConst, IsTemporary);
443 if (!Desc)
444 return nullptr;
445 return allocateDescriptor(D, Desc, MDSize, IsTemporary,
447 }
448 }
449
450 // Atomic types.
451 if (const auto *AT = Ty->getAs<AtomicType>()) {
452 const Type *InnerTy = AT->getValueType().getTypePtr();
453 return createDescriptor(D, InnerTy, MDSize, IsConst, IsTemporary,
454 IsMutable);
455 }
456
457 // Complex types - represented as arrays of elements.
458 if (const auto *CT = Ty->getAs<ComplexType>()) {
459 OptPrimType ElemTy = Ctx.classify(CT->getElementType());
460 if (!ElemTy)
461 return nullptr;
462
463 return allocateDescriptor(D, *ElemTy, MDSize, 2, IsConst, IsTemporary,
464 IsMutable);
465 }
466
467 // Same with vector types.
468 if (const auto *VT = Ty->getAs<VectorType>()) {
469 OptPrimType ElemTy = Ctx.classify(VT->getElementType());
470 if (!ElemTy)
471 return nullptr;
472
473 return allocateDescriptor(D, *ElemTy, MDSize, VT->getNumElements(), IsConst,
474 IsTemporary, IsMutable);
475 }
476
477 return nullptr;
478}
Defines the C++ Decl subclasses, other than those for templates (found in DeclTemplate....
Defines the C++ template declaration subclasses.
llvm::MachO::Record Record
Definition MachO.h:31
#define INT_TYPE_SWITCH_NO_BOOL(Expr, B)
Definition PrimType.h:251
Represents an array type, per C99 6.7.5.2 - Array Declarators.
Definition TypeBase.h:3722
QualType getElementType() const
Definition TypeBase.h:3734
Represents a base class of a C++ class.
Definition DeclCXX.h:146
Complex values, per C99 6.2.5p11.
Definition TypeBase.h:3275
Decl - This represents one declaration (or definition), e.g.
Definition DeclBase.h:86
Decl * getPreviousDecl()
Retrieve the previous declaration that declares the same entity as this declaration,...
Definition DeclBase.h:1061
redecl_range redecls() const
Returns an iterator range for all the redeclarations of the same decl.
Definition DeclBase.h:1049
This represents one expression.
Definition Expr.h:112
QualType getType() const
Definition Expr.h:144
Represents a member of a struct/union/class.
Definition Decl.h:3160
Represents a function declaration or definition.
Definition Decl.h:2000
FunctionDecl * getCanonicalDecl() override
Retrieves the "canonical" declaration of the given declaration.
Definition Decl.cpp:3736
A global _GUID constant.
Definition DeclCXX.h:4394
A (possibly-)qualified type.
Definition TypeBase.h:937
bool isVolatileQualified() const
Determine whether this type is volatile-qualified.
Definition TypeBase.h:8362
bool isNull() const
Return true if this QualType doesn't point to a type yet.
Definition TypeBase.h:1004
const Type * getTypePtr() const
Retrieves a pointer to the underlying (unqualified) type.
Definition TypeBase.h:8278
bool isConstQualified() const
Determine whether this type is const-qualified.
Definition TypeBase.h:8351
Represents a struct/union/class.
Definition Decl.h:4312
field_range fields() const
Definition Decl.h:4515
RecordDecl * getDefinition() const
Returns the RecordDecl that actually defines this struct/union/class.
Definition Decl.h:4496
StringLiteral - This represents a string literal expression, e.g.
Definition Expr.h:1799
unsigned getLength() const
Definition Expr.h:1909
uint32_t getCodeUnit(size_t i) const
Definition Expr.h:1882
StringRef getString() const
Definition Expr.h:1867
unsigned getCharByteWidth() const
Definition Expr.h:1910
bool isCompleteDefinition() const
Return true if this decl has its body fully specified.
Definition Decl.h:3812
A template parameter object.
The base class of the type hierarchy.
Definition TypeBase.h:1833
const ArrayType * castAsArrayTypeUnsafe() const
A variant of castAs<> for array type which silently discards qualifiers from the outermost type.
Definition TypeBase.h:9167
RecordDecl * getAsRecordDecl() const
Retrieves the RecordDecl this type refers to.
Definition Type.h:41
QualType getPointeeType() const
If this is a pointer, ObjC object pointer, or block pointer, this returns the respective pointee.
Definition Type.cpp:752
const ArrayType * getAsArrayTypeUnsafe() const
A variant of getAs<> for array types which silently discards qualifiers from the outermost type.
Definition TypeBase.h:9144
bool isPointerOrReferenceType() const
Definition TypeBase.h:8519
const T * getAs() const
Member-template getAs<specific type>'.
Definition TypeBase.h:9091
An artificial decl, representing a global anonymous constant value which is uniquified by value withi...
Definition DeclCXX.h:4451
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
bool isWeak() const
Determine whether this symbol is weakly-imported, or declared with the weak or weak-ref attr.
Definition Decl.cpp:5501
Represents a GCC generic vector type.
Definition TypeBase.h:4175
A memory block, either on the stack or in the heap.
Definition InterpBlock.h:44
bool isExtern() const
Checks if the block is extern.
Definition InterpBlock.h:77
void movePointersTo(Block *B)
Move all pointers from this block to.
static bool shouldBeGloballyIndexed(const ValueDecl *VD)
Returns whether we should create a global variable for the given ValueDecl.
Definition Context.h:132
OptPrimType classify(QualType T) const
Classifies a type.
Definition Context.cpp:362
unsigned getEvalID() const
Definition Context.h:147
Bytecode function.
Definition Function.h:86
A pointer to a memory block, live or dead.
Definition Pointer.h:91
void initializeAllElements() const
Initialize all elements of a primitive array at once.
Definition Pointer.cpp:546
T & elem(unsigned I) const
Dereferences the element at index I.
Definition Pointer.h:683
Function * getFunction(const FunctionDecl *F)
Returns a function.
Definition Program.cpp:280
Block * getGlobal(unsigned Idx)
Returns the value of a global.
Definition Program.h:71
UnsignedOrNone getOrCreateGlobal(const ValueDecl *VD, const Expr *Init=nullptr)
Returns or creates a global an creates an index to it.
Definition Program.cpp:112
const void * getNativePointer(unsigned Idx)
Returns the value of a marshalled native pointer.
Definition Program.cpp:30
unsigned getOrCreateNativePointer(const void *Ptr)
Marshals a native pointer to an ID for embedding in bytecode.
Definition Program.cpp:21
Pointer getPtrGlobal(unsigned Idx) const
Returns a pointer to a global.
Definition Program.cpp:81
unsigned getOrCreateDummy(const DeclTy &D)
Returns or creates a dummy value for unknown declarations.
Definition Program.cpp:124
UnsignedOrNone createGlobal(const ValueDecl *VD, const Expr *Init)
Creates a global and returns its index.
Definition Program.cpp:170
Descriptor * createDescriptor(const DeclTy &D, PrimType T, const Type *SourceTy=nullptr, Descriptor::MetadataSize MDSize=std::nullopt, bool IsConst=false, bool IsTemporary=false, bool IsMutable=false, bool IsVolatile=false)
Creates a descriptor for a primitive type.
Definition Program.h:119
unsigned createGlobalString(const StringLiteral *S, const Expr *Base=nullptr)
Emits a string literal among global data.
Definition Program.cpp:34
UnsignedOrNone getCurrentDecl() const
Returns the current declaration ID.
Definition Program.h:159
Record * getOrCreateRecord(const RecordDecl *RD)
Returns a record or creates one if it does not exist.
Definition Program.cpp:287
Structure/Class descriptor.
Definition Record.h:25
unsigned getSize() const
Returns the size of the record.
Definition Record.h:61
llvm::PointerUnion< const Decl *, const Expr * > DeclTy
Definition Descriptor.h:29
constexpr size_t align(size_t Size)
Aligns a size to the pointer alignment.
Definition PrimType.h:189
bool Init(InterpState &S, CodePtr OpPC)
Definition Interp.h:2081
size_t primSize(PrimType Type)
Returns the size of a primitive type in bytes.
Definition PrimType.cpp:23
The JSON file list parser is used to communicate input to InstallAPI.
bool isa(CodeGen::Address addr)
Definition Address.h:330
nullptr
This class represents a compute construct, representing a 'Kind' of ‘parallel’, 'serial',...
const FunctionProtoType * T
U cast(CodeGen::Address addr)
Definition Address.h:327
Token to denote structures of unknown size.
Definition Descriptor.h:141
Describes a memory block created by an allocation site.
Definition Descriptor.h:122
unsigned getAllocSize() const
Returns the allocated size, including metadata.
Definition Descriptor.h:242
static constexpr MetadataSize GlobalMD
Definition Descriptor.h:145
std::optional< unsigned > MetadataSize
Definition Descriptor.h:143
Descriptor used for global variables.
Definition Descriptor.h:51
Inline descriptor embedded in structures and arrays.
Definition Descriptor.h:67