1//===- ASTReaderDecl.cpp - Decl Deserialization ---------------------------===//
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 implements the ASTReader::readDeclRecord method, which is the
10// entrypoint for loading a decl.
11//
12//===----------------------------------------------------------------------===//
13
14#include "ASTCommon.h"
15#include "ASTReaderInternals.h"
16#include "clang/AST/ASTConcept.h"
17#include "clang/AST/ASTContext.h"
18#include "clang/AST/ASTStructuralEquivalence.h"
19#include "clang/AST/Attr.h"
20#include "clang/AST/AttrIterator.h"
21#include "clang/AST/Decl.h"
22#include "clang/AST/DeclBase.h"
23#include "clang/AST/DeclCXX.h"
24#include "clang/AST/DeclFriend.h"
25#include "clang/AST/DeclObjC.h"
26#include "clang/AST/DeclOpenMP.h"
27#include "clang/AST/DeclTemplate.h"
28#include "clang/AST/DeclVisitor.h"
29#include "clang/AST/DeclarationName.h"
30#include "clang/AST/Expr.h"
31#include "clang/AST/ExternalASTSource.h"
32#include "clang/AST/LambdaCapture.h"
33#include "clang/AST/NestedNameSpecifier.h"
34#include "clang/AST/OpenMPClause.h"
35#include "clang/AST/Redeclarable.h"
36#include "clang/AST/Stmt.h"
37#include "clang/AST/TemplateBase.h"
38#include "clang/AST/Type.h"
39#include "clang/AST/UnresolvedSet.h"
40#include "clang/Basic/AttrKinds.h"
41#include "clang/Basic/DiagnosticSema.h"
42#include "clang/Basic/ExceptionSpecificationType.h"
43#include "clang/Basic/IdentifierTable.h"
44#include "clang/Basic/LLVM.h"
45#include "clang/Basic/Lambda.h"
46#include "clang/Basic/LangOptions.h"
47#include "clang/Basic/Linkage.h"
48#include "clang/Basic/Module.h"
49#include "clang/Basic/PragmaKinds.h"
50#include "clang/Basic/SourceLocation.h"
51#include "clang/Basic/Specifiers.h"
52#include "clang/Sema/IdentifierResolver.h"
53#include "clang/Serialization/ASTBitCodes.h"
54#include "clang/Serialization/ASTRecordReader.h"
55#include "clang/Serialization/ContinuousRangeMap.h"
56#include "clang/Serialization/ModuleFile.h"
57#include "llvm/ADT/DenseMap.h"
58#include "llvm/ADT/FoldingSet.h"
59#include "llvm/ADT/SmallPtrSet.h"
60#include "llvm/ADT/SmallVector.h"
61#include "llvm/ADT/iterator_range.h"
62#include "llvm/Bitstream/BitstreamReader.h"
63#include "llvm/Support/ErrorHandling.h"
64#include "llvm/Support/SaveAndRestore.h"
65#include <algorithm>
66#include <cassert>
67#include <cstdint>
68#include <cstring>
69#include <string>
70#include <utility>
71
72using namespace clang;
73using namespace serialization;
74
75//===----------------------------------------------------------------------===//
76// Declaration Merging
77//===----------------------------------------------------------------------===//
78
79namespace {
80/// Results from loading a RedeclarableDecl.
81class RedeclarableResult {
82 Decl *MergeWith;
83 GlobalDeclID FirstID;
84 bool IsKeyDecl;
85
86public:
87 RedeclarableResult(Decl *MergeWith, GlobalDeclID FirstID, bool IsKeyDecl)
88 : MergeWith(MergeWith), FirstID(FirstID), IsKeyDecl(IsKeyDecl) {}
89
90 /// Retrieve the first ID.
91 GlobalDeclID getFirstID() const { return FirstID; }
92
93 /// Is this declaration a key declaration?
94 bool isKeyDecl() const { return IsKeyDecl; }
95
96 /// Get a known declaration that this should be merged with, if
97 /// any.
98 Decl *getKnownMergeTarget() const { return MergeWith; }
99};
100} // namespace
101
102namespace clang {
103class ASTDeclMerger {
104 ASTReader &Reader;
105
106public:
107 ASTDeclMerger(ASTReader &Reader) : Reader(Reader) {}
108
109 void mergeLambda(CXXRecordDecl *D, RedeclarableResult &Redecl, Decl &Context,
110 unsigned Number);
111
112 /// \param KeyDeclID the decl ID of the key declaration \param D.
113 /// GlobalDeclID() if \param is not a key declaration.
114 /// See the comments of ASTReader::KeyDecls for the explanation
115 /// of key declaration.
116 template <typename T>
117 void mergeRedeclarableImpl(Redeclarable<T> *D, T *Existing,
118 GlobalDeclID KeyDeclID);
119
120 template <typename T>
121 void mergeRedeclarable(Redeclarable<T> *D, T *Existing,
122 RedeclarableResult &Redecl) {
123 mergeRedeclarableImpl(
124 D, Existing, Redecl.isKeyDecl() ? Redecl.getFirstID() : GlobalDeclID());
125 }
126
127 void mergeTemplatePattern(RedeclarableTemplateDecl *D,
128 RedeclarableTemplateDecl *Existing, bool IsKeyDecl);
129
130 void MergeDefinitionData(CXXRecordDecl *D,
131 struct CXXRecordDecl::DefinitionData &&NewDD);
132 void MergeDefinitionData(ObjCInterfaceDecl *D,
133 struct ObjCInterfaceDecl::DefinitionData &&NewDD);
134 void MergeDefinitionData(ObjCProtocolDecl *D,
135 struct ObjCProtocolDecl::DefinitionData &&NewDD);
136};
137} // namespace clang
138
139//===----------------------------------------------------------------------===//
140// Declaration deserialization
141//===----------------------------------------------------------------------===//
142
143namespace clang {
144class ASTDeclReader : public DeclVisitor<ASTDeclReader, void> {
145 ASTReader &Reader;
146 ASTDeclMerger MergeImpl;
147 ASTRecordReader &Record;
148 ASTReader::RecordLocation Loc;
149 const GlobalDeclID ThisDeclID;
150 const SourceLocation ThisDeclLoc;
151
152 using RecordData = ASTReader::RecordData;
153
154 TypeID DeferredTypeID = 0;
155 unsigned AnonymousDeclNumber = 0;
156 GlobalDeclID NamedDeclForTagDecl = GlobalDeclID();
157 IdentifierInfo *TypedefNameForLinkage = nullptr;
158
159 /// A flag to carry the information for a decl from the entity is
160 /// used. We use it to delay the marking of the canonical decl as used until
161 /// the entire declaration is deserialized and merged.
162 bool IsDeclMarkedUsed = false;
163
164 uint64_t GetCurrentCursorOffset();
165
166 uint64_t ReadLocalOffset() {
167 uint64_t LocalOffset = Record.readInt();
168 assert(LocalOffset < Loc.Offset && "offset point after current record");
169 return LocalOffset ? Loc.Offset - LocalOffset : 0;
170 }
171
172 uint64_t ReadGlobalOffset() {
173 uint64_t Local = ReadLocalOffset();
174 return Local ? Record.getGlobalBitOffset(LocalOffset: Local) : 0;
175 }
176
177 SourceLocation readSourceLocation() { return Record.readSourceLocation(); }
178
179 SourceRange readSourceRange() { return Record.readSourceRange(); }
180
181 TypeSourceInfo *readTypeSourceInfo() { return Record.readTypeSourceInfo(); }
182
183 GlobalDeclID readDeclID() { return Record.readDeclID(); }
184
185 std::string readString() { return Record.readString(); }
186
187 Decl *readDecl() { return Record.readDecl(); }
188
189 template <typename T> T *readDeclAs() { return Record.readDeclAs<T>(); }
190
191 serialization::SubmoduleID readSubmoduleID() {
192 if (Record.getIdx() == Record.size())
193 return 0;
194
195 return Record.getGlobalSubmoduleID(LocalID: Record.readInt());
196 }
197
198 Module *readModule() { return Record.getSubmodule(GlobalID: readSubmoduleID()); }
199
200 void ReadCXXRecordDefinition(CXXRecordDecl *D, bool Update,
201 Decl *LambdaContext = nullptr,
202 unsigned IndexInLambdaContext = 0);
203 void ReadCXXDefinitionData(struct CXXRecordDecl::DefinitionData &Data,
204 const CXXRecordDecl *D, Decl *LambdaContext,
205 unsigned IndexInLambdaContext);
206 void ReadObjCDefinitionData(struct ObjCInterfaceDecl::DefinitionData &Data);
207 void ReadObjCDefinitionData(struct ObjCProtocolDecl::DefinitionData &Data);
208
209 static DeclContext *getPrimaryDCForAnonymousDecl(DeclContext *LexicalDC);
210
211 static NamedDecl *getAnonymousDeclForMerging(ASTReader &Reader,
212 DeclContext *DC, unsigned Index);
213 static void setAnonymousDeclForMerging(ASTReader &Reader, DeclContext *DC,
214 unsigned Index, NamedDecl *D);
215
216 /// Commit to a primary definition of the class RD, which is known to be
217 /// a definition of the class. We might not have read the definition data
218 /// for it yet. If we haven't then allocate placeholder definition data
219 /// now too.
220 static CXXRecordDecl *getOrFakePrimaryClassDefinition(ASTReader &Reader,
221 CXXRecordDecl *RD);
222
223 /// Class used to capture the result of searching for an existing
224 /// declaration of a specific kind and name, along with the ability
225 /// to update the place where this result was found (the declaration
226 /// chain hanging off an identifier or the DeclContext we searched in)
227 /// if requested.
228 class FindExistingResult {
229 ASTReader &Reader;
230 NamedDecl *New = nullptr;
231 NamedDecl *Existing = nullptr;
232 bool AddResult = false;
233 unsigned AnonymousDeclNumber = 0;
234 IdentifierInfo *TypedefNameForLinkage = nullptr;
235
236 public:
237 FindExistingResult(ASTReader &Reader) : Reader(Reader) {}
238
239 FindExistingResult(ASTReader &Reader, NamedDecl *New, NamedDecl *Existing,
240 unsigned AnonymousDeclNumber,
241 IdentifierInfo *TypedefNameForLinkage)
242 : Reader(Reader), New(New), Existing(Existing), AddResult(true),
243 AnonymousDeclNumber(AnonymousDeclNumber),
244 TypedefNameForLinkage(TypedefNameForLinkage) {}
245
246 FindExistingResult(FindExistingResult &&Other)
247 : Reader(Other.Reader), New(Other.New), Existing(Other.Existing),
248 AddResult(Other.AddResult),
249 AnonymousDeclNumber(Other.AnonymousDeclNumber),
250 TypedefNameForLinkage(Other.TypedefNameForLinkage) {
251 Other.AddResult = false;
252 }
253
254 FindExistingResult &operator=(FindExistingResult &&) = delete;
255 ~FindExistingResult();
256
257 /// Suppress the addition of this result into the known set of
258 /// names.
259 void suppress() { AddResult = false; }
260
261 operator NamedDecl *() const { return Existing; }
262
263 template <typename T> operator T *() const {
264 return dyn_cast_or_null<T>(Existing);
265 }
266 };
267
268 static DeclContext *getPrimaryContextForMerging(ASTReader &Reader,
269 DeclContext *DC);
270 FindExistingResult findExisting(NamedDecl *D);
271
272public:
273 ASTDeclReader(ASTReader &Reader, ASTRecordReader &Record,
274 ASTReader::RecordLocation Loc, GlobalDeclID thisDeclID,
275 SourceLocation ThisDeclLoc)
276 : Reader(Reader), MergeImpl(Reader), Record(Record), Loc(Loc),
277 ThisDeclID(thisDeclID), ThisDeclLoc(ThisDeclLoc) {}
278
279 template <typename DeclT>
280 static Decl *getMostRecentDeclImpl(Redeclarable<DeclT> *D);
281 static Decl *getMostRecentDeclImpl(...);
282 static Decl *getMostRecentDecl(Decl *D);
283
284 template <typename DeclT>
285 static void attachPreviousDeclImpl(ASTReader &Reader, Redeclarable<DeclT> *D,
286 Decl *Previous, Decl *Canon);
287 static void attachPreviousDeclImpl(ASTReader &Reader, ...);
288 static void attachPreviousDecl(ASTReader &Reader, Decl *D, Decl *Previous,
289 Decl *Canon);
290
291 static void checkMultipleDefinitionInNamedModules(ASTReader &Reader, Decl *D,
292 Decl *Previous);
293
294 template <typename DeclT>
295 static void attachLatestDeclImpl(Redeclarable<DeclT> *D, Decl *Latest);
296 static void attachLatestDeclImpl(...);
297 static void attachLatestDecl(Decl *D, Decl *latest);
298
299 template <typename DeclT>
300 static void markIncompleteDeclChainImpl(Redeclarable<DeclT> *D);
301 static void markIncompleteDeclChainImpl(...);
302
303 void ReadSpecializations(ModuleFile &M, Decl *D,
304 llvm::BitstreamCursor &DeclsCursor, bool IsPartial);
305
306 void ReadFunctionDefinition(FunctionDecl *FD);
307 void Visit(Decl *D);
308
309 void UpdateDecl(Decl *D);
310
311 static void setNextObjCCategory(ObjCCategoryDecl *Cat,
312 ObjCCategoryDecl *Next) {
313 Cat->NextClassCategory = Next;
314 }
315
316 void VisitDecl(Decl *D);
317 void VisitPragmaCommentDecl(PragmaCommentDecl *D);
318 void VisitPragmaDetectMismatchDecl(PragmaDetectMismatchDecl *D);
319 void VisitTranslationUnitDecl(TranslationUnitDecl *TU);
320 void VisitNamedDecl(NamedDecl *ND);
321 void VisitLabelDecl(LabelDecl *LD);
322 void VisitNamespaceDecl(NamespaceDecl *D);
323 void VisitHLSLBufferDecl(HLSLBufferDecl *D);
324 void VisitUsingDirectiveDecl(UsingDirectiveDecl *D);
325 void VisitNamespaceAliasDecl(NamespaceAliasDecl *D);
326 void VisitTypeDecl(TypeDecl *TD);
327 RedeclarableResult VisitTypedefNameDecl(TypedefNameDecl *TD);
328 void VisitTypedefDecl(TypedefDecl *TD);
329 void VisitTypeAliasDecl(TypeAliasDecl *TD);
330 void VisitUnresolvedUsingTypenameDecl(UnresolvedUsingTypenameDecl *D);
331 void VisitUnresolvedUsingIfExistsDecl(UnresolvedUsingIfExistsDecl *D);
332 RedeclarableResult VisitTagDecl(TagDecl *TD);
333 void VisitEnumDecl(EnumDecl *ED);
334 RedeclarableResult VisitRecordDeclImpl(RecordDecl *RD);
335 void VisitRecordDecl(RecordDecl *RD);
336 RedeclarableResult VisitCXXRecordDeclImpl(CXXRecordDecl *D);
337 void VisitCXXRecordDecl(CXXRecordDecl *D) { VisitCXXRecordDeclImpl(D); }
338 RedeclarableResult
339 VisitClassTemplateSpecializationDeclImpl(ClassTemplateSpecializationDecl *D);
340
341 void
342 VisitClassTemplateSpecializationDecl(ClassTemplateSpecializationDecl *D) {
343 VisitClassTemplateSpecializationDeclImpl(D);
344 }
345
346 void VisitClassTemplatePartialSpecializationDecl(
347 ClassTemplatePartialSpecializationDecl *D);
348 RedeclarableResult
349 VisitVarTemplateSpecializationDeclImpl(VarTemplateSpecializationDecl *D);
350
351 void VisitVarTemplateSpecializationDecl(VarTemplateSpecializationDecl *D) {
352 VisitVarTemplateSpecializationDeclImpl(D);
353 }
354
355 void VisitVarTemplatePartialSpecializationDecl(
356 VarTemplatePartialSpecializationDecl *D);
357 void VisitTemplateTypeParmDecl(TemplateTypeParmDecl *D);
358 void VisitValueDecl(ValueDecl *VD);
359 void VisitEnumConstantDecl(EnumConstantDecl *ECD);
360 void VisitUnresolvedUsingValueDecl(UnresolvedUsingValueDecl *D);
361 void VisitDeclaratorDecl(DeclaratorDecl *DD);
362 void VisitFunctionDecl(FunctionDecl *FD);
363 void VisitCXXDeductionGuideDecl(CXXDeductionGuideDecl *GD);
364 void VisitCXXMethodDecl(CXXMethodDecl *D);
365 void VisitCXXConstructorDecl(CXXConstructorDecl *D);
366 void VisitCXXDestructorDecl(CXXDestructorDecl *D);
367 void VisitCXXConversionDecl(CXXConversionDecl *D);
368 void VisitFieldDecl(FieldDecl *FD);
369 void VisitMSPropertyDecl(MSPropertyDecl *FD);
370 void VisitMSGuidDecl(MSGuidDecl *D);
371 void VisitUnnamedGlobalConstantDecl(UnnamedGlobalConstantDecl *D);
372 void VisitTemplateParamObjectDecl(TemplateParamObjectDecl *D);
373 void VisitIndirectFieldDecl(IndirectFieldDecl *FD);
374 RedeclarableResult VisitVarDeclImpl(VarDecl *D);
375 void ReadVarDeclInit(VarDecl *VD);
376 void VisitVarDecl(VarDecl *VD) { VisitVarDeclImpl(D: VD); }
377 void VisitImplicitParamDecl(ImplicitParamDecl *PD);
378 void VisitParmVarDecl(ParmVarDecl *PD);
379 void VisitDecompositionDecl(DecompositionDecl *DD);
380 void VisitBindingDecl(BindingDecl *BD);
381 void VisitNonTypeTemplateParmDecl(NonTypeTemplateParmDecl *D);
382 void VisitTemplateDecl(TemplateDecl *D);
383 void VisitConceptDecl(ConceptDecl *D);
384 void
385 VisitImplicitConceptSpecializationDecl(ImplicitConceptSpecializationDecl *D);
386 void VisitRequiresExprBodyDecl(RequiresExprBodyDecl *D);
387 RedeclarableResult VisitRedeclarableTemplateDecl(RedeclarableTemplateDecl *D);
388 void VisitClassTemplateDecl(ClassTemplateDecl *D);
389 void VisitBuiltinTemplateDecl(BuiltinTemplateDecl *D);
390 void VisitVarTemplateDecl(VarTemplateDecl *D);
391 void VisitFunctionTemplateDecl(FunctionTemplateDecl *D);
392 void VisitTemplateTemplateParmDecl(TemplateTemplateParmDecl *D);
393 void VisitTypeAliasTemplateDecl(TypeAliasTemplateDecl *D);
394 void VisitUsingDecl(UsingDecl *D);
395 void VisitUsingEnumDecl(UsingEnumDecl *D);
396 void VisitUsingPackDecl(UsingPackDecl *D);
397 void VisitUsingShadowDecl(UsingShadowDecl *D);
398 void VisitConstructorUsingShadowDecl(ConstructorUsingShadowDecl *D);
399 void VisitLinkageSpecDecl(LinkageSpecDecl *D);
400 void VisitExportDecl(ExportDecl *D);
401 void VisitFileScopeAsmDecl(FileScopeAsmDecl *AD);
402 void VisitTopLevelStmtDecl(TopLevelStmtDecl *D);
403 void VisitImportDecl(ImportDecl *D);
404 void VisitAccessSpecDecl(AccessSpecDecl *D);
405 void VisitFriendDecl(FriendDecl *D);
406 void VisitFriendTemplateDecl(FriendTemplateDecl *D);
407 void VisitStaticAssertDecl(StaticAssertDecl *D);
408 void VisitExplicitInstantiationDecl(ExplicitInstantiationDecl *D);
409 void VisitCXXExpansionStmtDecl(CXXExpansionStmtDecl *D);
410 void VisitBlockDecl(BlockDecl *BD);
411 void VisitOutlinedFunctionDecl(OutlinedFunctionDecl *D);
412 void VisitCapturedDecl(CapturedDecl *CD);
413 void VisitEmptyDecl(EmptyDecl *D);
414 void VisitLifetimeExtendedTemporaryDecl(LifetimeExtendedTemporaryDecl *D);
415
416 void VisitOpenACCDeclareDecl(OpenACCDeclareDecl *D);
417 void VisitOpenACCRoutineDecl(OpenACCRoutineDecl *D);
418
419 void VisitDeclContext(DeclContext *DC, LookupBlockOffsets &Offsets);
420
421 template <typename T>
422 RedeclarableResult VisitRedeclarable(Redeclarable<T> *D);
423
424 template <typename T>
425 void mergeRedeclarable(Redeclarable<T> *D, RedeclarableResult &Redecl);
426
427 void mergeRedeclarableTemplate(RedeclarableTemplateDecl *D,
428 RedeclarableResult &Redecl);
429
430 template <typename T> void mergeMergeable(Mergeable<T> *D);
431
432 void mergeMergeable(LifetimeExtendedTemporaryDecl *D);
433
434 ObjCTypeParamList *ReadObjCTypeParamList();
435
436 // FIXME: Reorder according to DeclNodes.td?
437 void VisitObjCMethodDecl(ObjCMethodDecl *D);
438 void VisitObjCTypeParamDecl(ObjCTypeParamDecl *D);
439 void VisitObjCContainerDecl(ObjCContainerDecl *D);
440 void VisitObjCInterfaceDecl(ObjCInterfaceDecl *D);
441 void VisitObjCIvarDecl(ObjCIvarDecl *D);
442 void VisitObjCProtocolDecl(ObjCProtocolDecl *D);
443 void VisitObjCAtDefsFieldDecl(ObjCAtDefsFieldDecl *D);
444 void VisitObjCCategoryDecl(ObjCCategoryDecl *D);
445 void VisitObjCImplDecl(ObjCImplDecl *D);
446 void VisitObjCCategoryImplDecl(ObjCCategoryImplDecl *D);
447 void VisitObjCImplementationDecl(ObjCImplementationDecl *D);
448 void VisitObjCCompatibleAliasDecl(ObjCCompatibleAliasDecl *D);
449 void VisitObjCPropertyDecl(ObjCPropertyDecl *D);
450 void VisitObjCPropertyImplDecl(ObjCPropertyImplDecl *D);
451 void VisitOMPThreadPrivateDecl(OMPThreadPrivateDecl *D);
452 void VisitOMPAllocateDecl(OMPAllocateDecl *D);
453 void VisitOMPDeclareReductionDecl(OMPDeclareReductionDecl *D);
454 void VisitOMPDeclareMapperDecl(OMPDeclareMapperDecl *D);
455 void VisitOMPRequiresDecl(OMPRequiresDecl *D);
456 void VisitOMPCapturedExprDecl(OMPCapturedExprDecl *D);
457};
458} // namespace clang
459
460namespace {
461
462/// Iterator over the redeclarations of a declaration that have already
463/// been merged into the same redeclaration chain.
464template <typename DeclT> class MergedRedeclIterator {
465 DeclT *Start = nullptr;
466 DeclT *Canonical = nullptr;
467 DeclT *Current = nullptr;
468
469public:
470 MergedRedeclIterator() = default;
471 MergedRedeclIterator(DeclT *Start) : Start(Start), Current(Start) {}
472
473 DeclT *operator*() { return Current; }
474
475 MergedRedeclIterator &operator++() {
476 if (Current->isFirstDecl()) {
477 Canonical = Current;
478 Current = Current->getMostRecentDecl();
479 } else
480 Current = Current->getPreviousDecl();
481
482 // If we started in the merged portion, we'll reach our start position
483 // eventually. Otherwise, we'll never reach it, but the second declaration
484 // we reached was the canonical declaration, so stop when we see that one
485 // again.
486 if (Current == Start || Current == Canonical)
487 Current = nullptr;
488 return *this;
489 }
490
491 friend bool operator!=(const MergedRedeclIterator &A,
492 const MergedRedeclIterator &B) {
493 return A.Current != B.Current;
494 }
495};
496
497} // namespace
498
499template <typename DeclT>
500static llvm::iterator_range<MergedRedeclIterator<DeclT>>
501merged_redecls(DeclT *D) {
502 return llvm::make_range(MergedRedeclIterator<DeclT>(D),
503 MergedRedeclIterator<DeclT>());
504}
505
506uint64_t ASTDeclReader::GetCurrentCursorOffset() {
507 return Loc.F->DeclsCursor.GetCurrentBitNo() + Loc.F->GlobalBitOffset;
508}
509
510void ASTDeclReader::ReadFunctionDefinition(FunctionDecl *FD) {
511 if (Record.readInt()) {
512 Reader.DefinitionSource[FD] =
513 Loc.F->Kind == ModuleKind::MK_MainFile ||
514 Reader.getContext().getLangOpts().BuildingPCHWithObjectFile;
515 }
516 if (auto *CD = dyn_cast<CXXConstructorDecl>(Val: FD)) {
517 CD->setNumCtorInitializers(Record.readInt());
518 if (CD->getNumCtorInitializers())
519 CD->CtorInitializers = ReadGlobalOffset();
520 }
521 // Store the offset of the body so we can lazily load it later.
522 Reader.PendingBodies[FD] = GetCurrentCursorOffset();
523 // For now remember ThisDeclarationWasADefinition only for friend functions.
524 if (FD->getFriendObjectKind())
525 Reader.ThisDeclarationWasADefinitionSet.insert(V: FD);
526}
527
528void ASTDeclReader::Visit(Decl *D) {
529 DeclVisitor<ASTDeclReader, void>::Visit(D);
530
531 // At this point we have deserialized and merged the decl and it is safe to
532 // update its canonical decl to signal that the entire entity is used.
533 D->getCanonicalDecl()->Used |= IsDeclMarkedUsed;
534 IsDeclMarkedUsed = false;
535
536 if (auto *DD = dyn_cast<DeclaratorDecl>(Val: D)) {
537 if (auto *TInfo = DD->getTypeSourceInfo())
538 Record.readTypeLoc(TL: TInfo->getTypeLoc());
539 }
540
541 if (auto *TD = dyn_cast<TypeDecl>(Val: D)) {
542 // We have a fully initialized TypeDecl. Read its type now.
543 if (isa<TagDecl, TypedefDecl, TypeAliasDecl>(Val: TD))
544 assert(DeferredTypeID == 0 &&
545 "Deferred type not used for TagDecls and Typedefs");
546 else
547 TD->setTypeForDecl(Reader.GetType(ID: DeferredTypeID).getTypePtrOrNull());
548
549 // If this is a tag declaration with a typedef name for linkage, it's safe
550 // to load that typedef now.
551 if (NamedDeclForTagDecl.isValid())
552 cast<TagDecl>(Val: D)->TypedefNameDeclOrQualifier =
553 cast<TypedefNameDecl>(Val: Reader.GetDecl(ID: NamedDeclForTagDecl));
554 } else if (auto *ID = dyn_cast<ObjCInterfaceDecl>(Val: D)) {
555 // if we have a fully initialized TypeDecl, we can safely read its type now.
556 ID->TypeForDecl = Reader.GetType(ID: DeferredTypeID).getTypePtrOrNull();
557 } else if (auto *FD = dyn_cast<FunctionDecl>(Val: D)) {
558 // FunctionDecl's body was written last after all other Stmts/Exprs.
559 if (Record.readInt())
560 ReadFunctionDefinition(FD);
561 } else if (auto *VD = dyn_cast<VarDecl>(Val: D)) {
562 ReadVarDeclInit(VD);
563 } else if (auto *FD = dyn_cast<FieldDecl>(Val: D)) {
564 if (FD->hasInClassInitializer() && Record.readInt()) {
565 FD->setLazyInClassInitializer(LazyDeclStmtPtr(GetCurrentCursorOffset()));
566 }
567 }
568}
569
570void ASTDeclReader::VisitDecl(Decl *D) {
571 BitsUnpacker DeclBits(Record.readInt());
572 auto ModuleOwnership =
573 (Decl::ModuleOwnershipKind)DeclBits.getNextBits(/*Width=*/3);
574 D->setReferenced(DeclBits.getNextBit());
575 D->Used = DeclBits.getNextBit();
576 IsDeclMarkedUsed |= D->Used;
577 D->setAccess((AccessSpecifier)DeclBits.getNextBits(/*Width=*/2));
578 D->setImplicit(DeclBits.getNextBit());
579 bool HasStandaloneLexicalDC = DeclBits.getNextBit();
580 bool HasAttrs = DeclBits.getNextBit();
581 D->setTopLevelDeclInObjCContainer(DeclBits.getNextBit());
582 D->InvalidDecl = DeclBits.getNextBit();
583 D->FromASTFile = true;
584
585 if (D->isTemplateParameter() || D->isTemplateParameterPack() ||
586 isa<ParmVarDecl, ObjCTypeParamDecl>(Val: D)) {
587 // We don't want to deserialize the DeclContext of a template
588 // parameter or of a parameter of a function template immediately. These
589 // entities might be used in the formulation of its DeclContext (for
590 // example, a function parameter can be used in decltype() in trailing
591 // return type of the function). Use the translation unit DeclContext as a
592 // placeholder.
593 GlobalDeclID SemaDCIDForTemplateParmDecl = readDeclID();
594 GlobalDeclID LexicalDCIDForTemplateParmDecl =
595 HasStandaloneLexicalDC ? readDeclID() : GlobalDeclID();
596 if (LexicalDCIDForTemplateParmDecl.isInvalid())
597 LexicalDCIDForTemplateParmDecl = SemaDCIDForTemplateParmDecl;
598 Reader.addPendingDeclContextInfo(D,
599 SemaDC: SemaDCIDForTemplateParmDecl,
600 LexicalDC: LexicalDCIDForTemplateParmDecl);
601 D->setDeclContext(Reader.getContext().getTranslationUnitDecl());
602 } else {
603 auto *SemaDC = readDeclAs<DeclContext>();
604 auto *LexicalDC =
605 HasStandaloneLexicalDC ? readDeclAs<DeclContext>() : nullptr;
606 if (!LexicalDC)
607 LexicalDC = SemaDC;
608 // If the context is a class, we might not have actually merged it yet, in
609 // the case where the definition comes from an update record.
610 DeclContext *MergedSemaDC;
611 if (auto *RD = dyn_cast<CXXRecordDecl>(Val: SemaDC))
612 MergedSemaDC = getOrFakePrimaryClassDefinition(Reader, RD);
613 else
614 MergedSemaDC = Reader.MergedDeclContexts.lookup(Val: SemaDC);
615 // Avoid calling setLexicalDeclContext() directly because it uses
616 // Decl::getASTContext() internally which is unsafe during derialization.
617 D->setDeclContextsImpl(SemaDC: MergedSemaDC ? MergedSemaDC : SemaDC, LexicalDC,
618 Ctx&: Reader.getContext());
619 }
620 D->setLocation(ThisDeclLoc);
621
622 if (HasAttrs) {
623 AttrVec Attrs;
624 Record.readAttributes(Attrs);
625 // Avoid calling setAttrs() directly because it uses Decl::getASTContext()
626 // internally which is unsafe during derialization.
627 D->setAttrsImpl(Attrs, Ctx&: Reader.getContext());
628 }
629
630 // Determine whether this declaration is part of a (sub)module. If so, it
631 // may not yet be visible.
632 bool ModulePrivate =
633 (ModuleOwnership == Decl::ModuleOwnershipKind::ModulePrivate);
634 if (unsigned SubmoduleID = readSubmoduleID()) {
635 switch (ModuleOwnership) {
636 case Decl::ModuleOwnershipKind::Visible:
637 ModuleOwnership = Decl::ModuleOwnershipKind::VisibleWhenImported;
638 break;
639 case Decl::ModuleOwnershipKind::Unowned:
640 case Decl::ModuleOwnershipKind::VisibleWhenImported:
641 case Decl::ModuleOwnershipKind::VisiblePromoted:
642 case Decl::ModuleOwnershipKind::ReachableWhenImported:
643 case Decl::ModuleOwnershipKind::ModulePrivate:
644 break;
645 }
646
647 D->setModuleOwnershipKind(ModuleOwnership);
648 // Store the owning submodule ID in the declaration.
649 D->setOwningModuleID(SubmoduleID);
650
651 if (ModulePrivate) {
652 // Module-private declarations are never visible, so there is no work to
653 // do.
654 } else if (Reader.getContext().getLangOpts().ModulesLocalVisibility) {
655 // If local visibility is being tracked, this declaration will become
656 // hidden and visible as the owning module does.
657 } else if (Module *Owner = Reader.getSubmodule(GlobalID: SubmoduleID)) {
658 // Mark the declaration as visible when its owning module becomes visible.
659 if (Owner->NameVisibility == Module::AllVisible)
660 D->setVisibleDespiteOwningModule();
661 else
662 Reader.HiddenNamesMap[Owner].push_back(Elt: D);
663 }
664 } else if (ModulePrivate) {
665 D->setModuleOwnershipKind(Decl::ModuleOwnershipKind::ModulePrivate);
666 }
667}
668
669void ASTDeclReader::VisitPragmaCommentDecl(PragmaCommentDecl *D) {
670 VisitDecl(D);
671 D->setLocation(readSourceLocation());
672 D->CommentKind = (PragmaMSCommentKind)Record.readInt();
673 std::string Arg = readString();
674 memcpy(dest: D->getTrailingObjects(), src: Arg.data(), n: Arg.size());
675 D->getTrailingObjects()[Arg.size()] = '\0';
676}
677
678void ASTDeclReader::VisitPragmaDetectMismatchDecl(PragmaDetectMismatchDecl *D) {
679 VisitDecl(D);
680 D->setLocation(readSourceLocation());
681 std::string Name = readString();
682 memcpy(dest: D->getTrailingObjects(), src: Name.data(), n: Name.size());
683 D->getTrailingObjects()[Name.size()] = '\0';
684
685 D->ValueStart = Name.size() + 1;
686 std::string Value = readString();
687 memcpy(dest: D->getTrailingObjects() + D->ValueStart, src: Value.data(), n: Value.size());
688 D->getTrailingObjects()[D->ValueStart + Value.size()] = '\0';
689}
690
691void ASTDeclReader::VisitTranslationUnitDecl(TranslationUnitDecl *TU) {
692 llvm_unreachable("Translation units are not serialized");
693}
694
695void ASTDeclReader::VisitNamedDecl(NamedDecl *ND) {
696 VisitDecl(D: ND);
697 ND->setDeclName(Record.readDeclarationName());
698 AnonymousDeclNumber = Record.readInt();
699}
700
701void ASTDeclReader::VisitTypeDecl(TypeDecl *TD) {
702 VisitNamedDecl(ND: TD);
703 TD->setLocStart(readSourceLocation());
704 // Delay type reading until after we have fully initialized the decl.
705 if (!isa<TagDecl, TypedefDecl, TypeAliasDecl>(Val: TD))
706 DeferredTypeID = Record.getGlobalTypeID(LocalID: Record.readInt());
707}
708
709RedeclarableResult ASTDeclReader::VisitTypedefNameDecl(TypedefNameDecl *TD) {
710 RedeclarableResult Redecl = VisitRedeclarable(D: TD);
711 VisitTypeDecl(TD);
712 TypeSourceInfo *TInfo = readTypeSourceInfo();
713 if (Record.readInt()) { // isModed
714 QualType modedT = Record.readType();
715 TD->setModedTypeSourceInfo(unmodedTSI: TInfo, modedTy: modedT);
716 } else
717 TD->setTypeSourceInfo(TInfo);
718 // Read and discard the declaration for which this is a typedef name for
719 // linkage, if it exists. We cannot rely on our type to pull in this decl,
720 // because it might have been merged with a type from another module and
721 // thus might not refer to our version of the declaration.
722 readDecl();
723 return Redecl;
724}
725
726void ASTDeclReader::VisitTypedefDecl(TypedefDecl *TD) {
727 RedeclarableResult Redecl = VisitTypedefNameDecl(TD);
728 mergeRedeclarable(DBase: TD, Redecl);
729}
730
731void ASTDeclReader::VisitTypeAliasDecl(TypeAliasDecl *TD) {
732 RedeclarableResult Redecl = VisitTypedefNameDecl(TD);
733 if (auto *Template = readDeclAs<TypeAliasTemplateDecl>())
734 // Merged when we merge the template.
735 TD->setDescribedAliasTemplate(Template);
736 else
737 mergeRedeclarable(DBase: TD, Redecl);
738}
739
740RedeclarableResult ASTDeclReader::VisitTagDecl(TagDecl *TD) {
741 RedeclarableResult Redecl = VisitRedeclarable(D: TD);
742 VisitTypeDecl(TD);
743
744 TD->IdentifierNamespace = Record.readInt();
745
746 BitsUnpacker TagDeclBits(Record.readInt());
747 TD->setTagKind(
748 static_cast<TagTypeKind>(TagDeclBits.getNextBits(/*Width=*/3)));
749 TD->setCompleteDefinition(TagDeclBits.getNextBit());
750 TD->setEmbeddedInDeclarator(TagDeclBits.getNextBit());
751 TD->setFreeStanding(TagDeclBits.getNextBit());
752 TD->setCompleteDefinitionRequired(TagDeclBits.getNextBit());
753 TD->setBraceRange(readSourceRange());
754
755 switch (TagDeclBits.getNextBits(/*Width=*/2)) {
756 case 0:
757 break;
758 case 1: { // ExtInfo
759 auto *Info = new (Reader.getContext()) TagDecl::ExtInfo();
760 Record.readQualifierInfo(Info&: *Info);
761 TD->TypedefNameDeclOrQualifier = Info;
762 break;
763 }
764 case 2: // TypedefNameForAnonDecl
765 NamedDeclForTagDecl = readDeclID();
766 TypedefNameForLinkage = Record.readIdentifier();
767 break;
768 default:
769 llvm_unreachable("unexpected tag info kind");
770 }
771
772 if (!isa<CXXRecordDecl>(Val: TD))
773 mergeRedeclarable(DBase: TD, Redecl);
774 return Redecl;
775}
776
777void ASTDeclReader::VisitEnumDecl(EnumDecl *ED) {
778 VisitTagDecl(TD: ED);
779 if (TypeSourceInfo *TI = readTypeSourceInfo())
780 ED->setIntegerTypeSourceInfo(TI);
781 else
782 ED->setIntegerType(Record.readType());
783 ED->setPromotionType(Record.readType());
784
785 BitsUnpacker EnumDeclBits(Record.readInt());
786 ED->setNumPositiveBits(EnumDeclBits.getNextBits(/*Width=*/8));
787 ED->setNumNegativeBits(EnumDeclBits.getNextBits(/*Width=*/8));
788 ED->setScoped(EnumDeclBits.getNextBit());
789 ED->setScopedUsingClassTag(EnumDeclBits.getNextBit());
790 ED->setFixed(EnumDeclBits.getNextBit());
791
792 ED->setHasODRHash(true);
793 ED->ODRHash = Record.readInt();
794
795 // If this is a definition subject to the ODR, and we already have a
796 // definition, merge this one into it.
797 if (ED->isCompleteDefinition() && Reader.getContext().getLangOpts().Modules) {
798 EnumDecl *&OldDef = Reader.EnumDefinitions[ED->getCanonicalDecl()];
799 if (!OldDef) {
800 // This is the first time we've seen an imported definition. Look for a
801 // local definition before deciding that we are the first definition.
802 for (auto *D : merged_redecls(D: ED->getCanonicalDecl())) {
803 if (!D->isFromASTFile() && D->isCompleteDefinition()) {
804 OldDef = D;
805 break;
806 }
807 }
808 }
809 if (OldDef) {
810 Reader.MergedDeclContexts.insert(KV: std::make_pair(x&: ED, y&: OldDef));
811 ED->demoteThisDefinitionToDeclaration();
812 Reader.mergeDefinitionVisibility(Def: OldDef, MergedDef: ED);
813 // We don't want to check the ODR hash value for declarations from global
814 // module fragment.
815 if (!shouldSkipCheckingODR(D: ED) && !shouldSkipCheckingODR(D: OldDef) &&
816 OldDef->getODRHash() != ED->getODRHash())
817 Reader.PendingEnumOdrMergeFailures[OldDef].push_back(Elt: ED);
818 } else {
819 OldDef = ED;
820 }
821 }
822
823 if (auto *InstED = readDeclAs<EnumDecl>()) {
824 auto TSK = (TemplateSpecializationKind)Record.readInt();
825 SourceLocation POI = readSourceLocation();
826 ED->setInstantiationOfMemberEnum(C&: Reader.getContext(), ED: InstED, TSK);
827 ED->getMemberSpecializationInfo()->setPointOfInstantiation(POI);
828 }
829}
830
831RedeclarableResult ASTDeclReader::VisitRecordDeclImpl(RecordDecl *RD) {
832 RedeclarableResult Redecl = VisitTagDecl(TD: RD);
833
834 BitsUnpacker RecordDeclBits(Record.readInt());
835 RD->setHasFlexibleArrayMember(RecordDeclBits.getNextBit());
836 RD->setAnonymousStructOrUnion(RecordDeclBits.getNextBit());
837 RD->setHasObjectMember(RecordDeclBits.getNextBit());
838 RD->setHasVolatileMember(RecordDeclBits.getNextBit());
839 RD->setNonTrivialToPrimitiveDefaultInitialize(RecordDeclBits.getNextBit());
840 RD->setNonTrivialToPrimitiveCopy(RecordDeclBits.getNextBit());
841 RD->setNonTrivialToPrimitiveDestroy(RecordDeclBits.getNextBit());
842 RD->setHasNonTrivialToPrimitiveDefaultInitializeCUnion(
843 RecordDeclBits.getNextBit());
844 RD->setHasNonTrivialToPrimitiveDestructCUnion(RecordDeclBits.getNextBit());
845 RD->setHasNonTrivialToPrimitiveCopyCUnion(RecordDeclBits.getNextBit());
846 RD->setHasUninitializedExplicitInitFields(RecordDeclBits.getNextBit());
847 RD->setParamDestroyedInCallee(RecordDeclBits.getNextBit());
848 RD->setArgPassingRestrictions(
849 (RecordArgPassingKind)RecordDeclBits.getNextBits(/*Width=*/2));
850 return Redecl;
851}
852
853void ASTDeclReader::VisitRecordDecl(RecordDecl *RD) {
854 VisitRecordDeclImpl(RD);
855 RD->setODRHash(Record.readInt());
856
857 // Maintain the invariant of a redeclaration chain containing only
858 // a single definition.
859 if (RD->isCompleteDefinition()) {
860 RecordDecl *Canon = static_cast<RecordDecl *>(RD->getCanonicalDecl());
861 RecordDecl *&OldDef = Reader.RecordDefinitions[Canon];
862 if (!OldDef) {
863 // This is the first time we've seen an imported definition. Look for a
864 // local definition before deciding that we are the first definition.
865 for (auto *D : merged_redecls(D: Canon)) {
866 if (!D->isFromASTFile() && D->isCompleteDefinition()) {
867 OldDef = D;
868 break;
869 }
870 }
871 }
872 if (OldDef) {
873 Reader.MergedDeclContexts.insert(KV: std::make_pair(x&: RD, y&: OldDef));
874 RD->demoteThisDefinitionToDeclaration();
875 Reader.mergeDefinitionVisibility(Def: OldDef, MergedDef: RD);
876 if (OldDef->getODRHash() != RD->getODRHash())
877 Reader.PendingRecordOdrMergeFailures[OldDef].push_back(Elt: RD);
878 } else {
879 OldDef = RD;
880 }
881 }
882}
883
884void ASTDeclReader::VisitValueDecl(ValueDecl *VD) {
885 VisitNamedDecl(ND: VD);
886 // For function or variable declarations, defer reading the type in case the
887 // declaration has a deduced type that references an entity declared within
888 // the function definition or variable initializer.
889 if (isa<FunctionDecl, VarDecl>(Val: VD))
890 DeferredTypeID = Record.getGlobalTypeID(LocalID: Record.readInt());
891 else
892 VD->setType(Record.readType());
893}
894
895void ASTDeclReader::VisitEnumConstantDecl(EnumConstantDecl *ECD) {
896 VisitValueDecl(VD: ECD);
897 if (Record.readInt())
898 ECD->setInitExpr(Record.readExpr());
899 ECD->setInitVal(C: Reader.getContext(), V: Record.readAPSInt());
900 mergeMergeable(D: ECD);
901}
902
903void ASTDeclReader::VisitDeclaratorDecl(DeclaratorDecl *DD) {
904 VisitValueDecl(VD: DD);
905 DD->setInnerLocStart(readSourceLocation());
906 if (Record.readInt()) { // hasExtInfo
907 auto *Info = new (Reader.getContext()) DeclaratorDecl::ExtInfo();
908 Record.readQualifierInfo(Info&: *Info);
909 Info->TrailingRequiresClause = AssociatedConstraint(
910 Record.readExpr(),
911 UnsignedOrNone::fromInternalRepresentation(Rep: Record.readUInt32()));
912 DD->DeclInfo = Info;
913 }
914 QualType TSIType = Record.readType();
915 DD->setTypeSourceInfo(
916 TSIType.isNull() ? nullptr
917 : Reader.getContext().CreateTypeSourceInfo(T: TSIType));
918}
919
920void ASTDeclReader::VisitFunctionDecl(FunctionDecl *FD) {
921 RedeclarableResult Redecl = VisitRedeclarable(D: FD);
922
923 FunctionDecl *Existing = nullptr;
924
925 switch ((FunctionDecl::TemplatedKind)Record.readInt()) {
926 case FunctionDecl::TK_NonTemplate:
927 break;
928 case FunctionDecl::TK_DependentNonTemplate:
929 FD->setInstantiatedFromDecl(readDeclAs<FunctionDecl>());
930 break;
931 case FunctionDecl::TK_FunctionTemplate: {
932 auto *Template = readDeclAs<FunctionTemplateDecl>();
933 Template->init(NewTemplatedDecl: FD);
934 FD->setDescribedFunctionTemplate(Template);
935 break;
936 }
937 case FunctionDecl::TK_MemberSpecialization: {
938 auto *InstFD = readDeclAs<FunctionDecl>();
939 auto TSK = (TemplateSpecializationKind)Record.readInt();
940 SourceLocation POI = readSourceLocation();
941 FD->setInstantiationOfMemberFunction(C&: Reader.getContext(), FD: InstFD, TSK);
942 FD->getMemberSpecializationInfo()->setPointOfInstantiation(POI);
943 break;
944 }
945 case FunctionDecl::TK_FunctionTemplateSpecialization: {
946 auto *Template = readDeclAs<FunctionTemplateDecl>();
947 auto TSK = (TemplateSpecializationKind)Record.readInt();
948
949 // Template arguments.
950 SmallVector<TemplateArgument, 8> TemplArgs;
951 Record.readTemplateArgumentList(TemplArgs, /*Canonicalize*/ true);
952
953 // Template args as written.
954 TemplateArgumentListInfo TemplArgsWritten;
955 bool HasTemplateArgumentsAsWritten = Record.readBool();
956 if (HasTemplateArgumentsAsWritten)
957 Record.readTemplateArgumentListInfo(Result&: TemplArgsWritten);
958
959 SourceLocation POI = readSourceLocation();
960
961 ASTContext &C = Reader.getContext();
962 TemplateArgumentList *TemplArgList =
963 TemplateArgumentList::CreateCopy(Context&: C, Args: TemplArgs);
964
965 MemberSpecializationInfo *MSInfo = nullptr;
966 if (Record.readInt()) {
967 auto *FD = readDeclAs<FunctionDecl>();
968 auto TSK = (TemplateSpecializationKind)Record.readInt();
969 SourceLocation POI = readSourceLocation();
970
971 MSInfo = new (C) MemberSpecializationInfo(FD, TSK);
972 MSInfo->setPointOfInstantiation(POI);
973 }
974
975 FunctionTemplateSpecializationInfo *FTInfo =
976 FunctionTemplateSpecializationInfo::Create(
977 C, FD, Template, TSK, TemplateArgs: TemplArgList,
978 TemplateArgsAsWritten: HasTemplateArgumentsAsWritten ? &TemplArgsWritten : nullptr, POI,
979 MSInfo);
980 FD->TemplateOrSpecialization = FTInfo;
981
982 if (FD->isCanonicalDecl()) { // if canonical add to template's set.
983 // The template that contains the specializations set. It's not safe to
984 // use getCanonicalDecl on Template since it may still be initializing.
985 auto *CanonTemplate = readDeclAs<FunctionTemplateDecl>();
986 // Get the insert token by lookup() instead of calling insert(FTInfo)
987 // directly to avoid the getASTContext() call in
988 // FunctionTemplateSpecializationInfo's Profile().
989 // We avoid getASTContext because a decl in the parent hierarchy may
990 // be initializing.
991 llvm::FoldingSetNodeID ID;
992 FunctionTemplateSpecializationInfo::Profile(ID, TemplateArgs: TemplArgs, Context: C);
993 llvm::FoldingSetInsertToken InsertToken;
994 FunctionTemplateDecl::Common *CommonPtr = CanonTemplate->getCommonPtr();
995 FunctionTemplateSpecializationInfo *ExistingInfo =
996 CommonPtr->Specializations.lookup(ID, Token&: InsertToken);
997 if (InsertToken)
998 CommonPtr->Specializations.insert(N: FTInfo, Token: InsertToken);
999 else {
1000 Existing = ExistingInfo->getFunction();
1001 }
1002 }
1003 break;
1004 }
1005 case FunctionDecl::TK_DependentFunctionTemplateSpecialization: {
1006 // Templates.
1007 UnresolvedSet<8> Candidates;
1008 unsigned NumCandidates = Record.readInt();
1009 while (NumCandidates--)
1010 Candidates.addDecl(D: readDeclAs<NamedDecl>());
1011
1012 // Templates args.
1013 TemplateArgumentListInfo TemplArgsWritten;
1014 bool HasTemplateArgumentsAsWritten = Record.readBool();
1015 if (HasTemplateArgumentsAsWritten)
1016 Record.readTemplateArgumentListInfo(Result&: TemplArgsWritten);
1017
1018 FD->setDependentTemplateSpecialization(
1019 Context&: Reader.getContext(), Templates: Candidates,
1020 TemplateArgs: HasTemplateArgumentsAsWritten ? &TemplArgsWritten : nullptr);
1021 // These are not merged; we don't need to merge redeclarations of dependent
1022 // template friends.
1023 break;
1024 }
1025 }
1026
1027 VisitDeclaratorDecl(DD: FD);
1028
1029 // Attach a type to this function. Use the real type if possible, but fall
1030 // back to the type as written if it involves a deduced return type.
1031 if (FD->getTypeSourceInfo() && FD->getTypeSourceInfo()
1032 ->getType()
1033 ->castAs<FunctionType>()
1034 ->getReturnType()
1035 ->getContainedAutoType()) {
1036 // We'll set up the real type in Visit, once we've finished loading the
1037 // function.
1038 FD->setType(FD->getTypeSourceInfo()->getType());
1039 Reader.PendingDeducedFunctionTypes.push_back(Elt: {FD, DeferredTypeID});
1040 } else {
1041 FD->setType(Reader.GetType(ID: DeferredTypeID));
1042 }
1043 DeferredTypeID = 0;
1044
1045 FD->DNLoc = Record.readDeclarationNameLoc(Name: FD->getDeclName());
1046 FD->IdentifierNamespace = Record.readInt();
1047
1048 // FunctionDecl's body is handled last at ASTDeclReader::Visit,
1049 // after everything else is read.
1050 BitsUnpacker FunctionDeclBits(Record.readInt());
1051
1052 FD->setCachedLinkage((Linkage)FunctionDeclBits.getNextBits(/*Width=*/3));
1053 FD->setStorageClass((StorageClass)FunctionDeclBits.getNextBits(/*Width=*/3));
1054 FD->setInlineSpecified(FunctionDeclBits.getNextBit());
1055 FD->setImplicitlyInline(FunctionDeclBits.getNextBit());
1056 FD->setHasSkippedBody(FunctionDeclBits.getNextBit());
1057 FD->setVirtualAsWritten(FunctionDeclBits.getNextBit());
1058 // We defer calling `FunctionDecl::setPure()` here as for methods of
1059 // `CXXTemplateSpecializationDecl`s, we may not have connected up the
1060 // definition (which is required for `setPure`).
1061 const bool Pure = FunctionDeclBits.getNextBit();
1062 FD->setHasInheritedPrototype(FunctionDeclBits.getNextBit());
1063 FD->setHasWrittenPrototype(FunctionDeclBits.getNextBit());
1064 FD->setDeletedAsWritten(D: FunctionDeclBits.getNextBit());
1065 FD->setTrivial(FunctionDeclBits.getNextBit());
1066 FD->setTrivialForCall(FunctionDeclBits.getNextBit());
1067 FD->setDefaulted(FunctionDeclBits.getNextBit());
1068 FD->setExplicitlyDefaulted(FunctionDeclBits.getNextBit());
1069 FD->setIneligibleOrNotSelected(FunctionDeclBits.getNextBit());
1070 FD->setConstexprKind(
1071 (ConstexprSpecKind)FunctionDeclBits.getNextBits(/*Width=*/2));
1072 FD->setHasImplicitReturnZero(FunctionDeclBits.getNextBit());
1073 FD->setIsMultiVersion(FunctionDeclBits.getNextBit());
1074 FD->setLateTemplateParsed(FunctionDeclBits.getNextBit());
1075 FD->setInstantiatedFromMemberTemplate(FunctionDeclBits.getNextBit());
1076 FD->setFriendConstraintRefersToEnclosingTemplate(
1077 FunctionDeclBits.getNextBit());
1078 FD->setUsesSEHTry(FunctionDeclBits.getNextBit());
1079 FD->setIsDestroyingOperatorDelete(FunctionDeclBits.getNextBit());
1080 FD->setIsTypeAwareOperatorNewOrDelete(FunctionDeclBits.getNextBit());
1081
1082 FD->EndRangeLoc = readSourceLocation();
1083 if (FD->isExplicitlyDefaulted())
1084 FD->setDefaultLoc(readSourceLocation());
1085
1086 FD->ODRHash = Record.readInt();
1087 FD->setHasODRHash(true);
1088
1089 if (FD->isDefaulted() || FD->isDeletedAsWritten()) {
1090 // If 'Info' is nonzero, we need to read an DefaultedOrDeletedInfo; if,
1091 // additionally, the second bit is also set, we also need to read
1092 // a DeletedMessage for the DefaultedOrDeletedInfo.
1093 if (auto Info = Record.readInt()) {
1094 bool HasMessage = Info & 2;
1095 StringLiteral *DeletedMessage =
1096 HasMessage ? cast<StringLiteral>(Val: Record.readExpr()) : nullptr;
1097
1098 FPOptionsOverride FPFeatures =
1099 FPOptionsOverride::getFromOpaqueInt(I: Record.readInt());
1100
1101 unsigned NumLookups = Record.readInt();
1102 SmallVector<DeclAccessPair, 8> Lookups;
1103 for (unsigned I = 0; I != NumLookups; ++I) {
1104 NamedDecl *ND = Record.readDeclAs<NamedDecl>();
1105 AccessSpecifier AS = (AccessSpecifier)Record.readInt();
1106 Lookups.push_back(Elt: DeclAccessPair::make(D: ND, AS));
1107 }
1108
1109 FD->setDefaultedOrDeletedInfo(
1110 FunctionDecl::DefaultedOrDeletedFunctionInfo::Create(
1111 Context&: Reader.getContext(), Lookups, FPFeatures, DeletedMessage));
1112 }
1113 }
1114
1115 if (Existing)
1116 MergeImpl.mergeRedeclarable(D: FD, Existing, Redecl);
1117 else if (auto Kind = FD->getTemplatedKind();
1118 Kind == FunctionDecl::TK_FunctionTemplate ||
1119 Kind == FunctionDecl::TK_FunctionTemplateSpecialization) {
1120 // Function Templates have their FunctionTemplateDecls merged instead of
1121 // their FunctionDecls.
1122 auto merge = [this, &Redecl, FD](auto &&F) {
1123 auto *Existing = cast_or_null<FunctionDecl>(Val: Redecl.getKnownMergeTarget());
1124 RedeclarableResult NewRedecl(Existing ? F(Existing) : nullptr,
1125 Redecl.getFirstID(), Redecl.isKeyDecl());
1126 mergeRedeclarableTemplate(D: F(FD), Redecl&: NewRedecl);
1127 };
1128 if (Kind == FunctionDecl::TK_FunctionTemplate)
1129 merge(
1130 [](FunctionDecl *FD) { return FD->getDescribedFunctionTemplate(); });
1131 else
1132 merge([](FunctionDecl *FD) {
1133 return FD->getTemplateSpecializationInfo()->getTemplate();
1134 });
1135 } else
1136 mergeRedeclarable(DBase: FD, Redecl);
1137
1138 // Defer calling `setPure` until merging above has guaranteed we've set
1139 // `DefinitionData` (as this will need to access it).
1140 FD->setIsPureVirtual(Pure);
1141
1142 // Read in the parameters.
1143 unsigned NumParams = Record.readInt();
1144 SmallVector<ParmVarDecl *, 16> Params;
1145 Params.reserve(N: NumParams);
1146 for (unsigned I = 0; I != NumParams; ++I)
1147 Params.push_back(Elt: readDeclAs<ParmVarDecl>());
1148 FD->setParams(C&: Reader.getContext(), NewParamInfo: Params);
1149
1150 // If the declaration is a SYCL kernel entry point function as indicated by
1151 // the presence of a sycl_kernel_entry_point attribute, register it so that
1152 // associated metadata is recreated.
1153 if (FD->hasAttr<SYCLKernelEntryPointAttr>()) {
1154 auto *SKEPAttr = FD->getAttr<SYCLKernelEntryPointAttr>();
1155 ASTContext &C = Reader.getContext();
1156 const SYCLKernelInfo *SKI = C.findSYCLKernelInfo(T: SKEPAttr->getKernelName());
1157 if (SKI) {
1158 if (!declaresSameEntity(D1: FD, D2: SKI->getKernelEntryPointDecl())) {
1159 Reader.Diag(Loc: FD->getLocation(), DiagID: diag::err_sycl_kernel_name_conflict)
1160 << SKEPAttr;
1161 Reader.Diag(Loc: SKI->getKernelEntryPointDecl()->getLocation(),
1162 DiagID: diag::note_previous_declaration);
1163 SKEPAttr->setInvalidAttr();
1164 }
1165 } else {
1166 C.registerSYCLEntryPointFunction(FD);
1167 }
1168 }
1169}
1170
1171void ASTDeclReader::VisitObjCMethodDecl(ObjCMethodDecl *MD) {
1172 VisitNamedDecl(ND: MD);
1173 if (Record.readInt()) {
1174 // Load the body on-demand. Most clients won't care, because method
1175 // definitions rarely show up in headers.
1176 Reader.PendingBodies[MD] = GetCurrentCursorOffset();
1177 }
1178 MD->setSelfDecl(readDeclAs<ImplicitParamDecl>());
1179 MD->setCmdDecl(readDeclAs<ImplicitParamDecl>());
1180 MD->setInstanceMethod(Record.readInt());
1181 MD->setVariadic(Record.readInt());
1182 MD->setPropertyAccessor(Record.readInt());
1183 MD->setSynthesizedAccessorStub(Record.readInt());
1184 MD->setDefined(Record.readInt());
1185 MD->setOverriding(Record.readInt());
1186 MD->setHasSkippedBody(Record.readInt());
1187
1188 MD->setIsRedeclaration(Record.readInt());
1189 MD->setHasRedeclaration(Record.readInt());
1190 if (MD->hasRedeclaration())
1191 Reader.getContext().setObjCMethodRedeclaration(MD,
1192 Redecl: readDeclAs<ObjCMethodDecl>());
1193
1194 MD->setDeclImplementation(
1195 static_cast<ObjCImplementationControl>(Record.readInt()));
1196 MD->setObjCDeclQualifier((Decl::ObjCDeclQualifier)Record.readInt());
1197 MD->setRelatedResultType(Record.readInt());
1198 MD->setReturnType(Record.readType());
1199 MD->setReturnTypeSourceInfo(readTypeSourceInfo());
1200 MD->DeclEndLoc = readSourceLocation();
1201 unsigned NumParams = Record.readInt();
1202 SmallVector<ParmVarDecl *, 16> Params;
1203 Params.reserve(N: NumParams);
1204 for (unsigned I = 0; I != NumParams; ++I)
1205 Params.push_back(Elt: readDeclAs<ParmVarDecl>());
1206
1207 MD->setSelLocsKind((SelectorLocationsKind)Record.readInt());
1208 unsigned NumStoredSelLocs = Record.readInt();
1209 SmallVector<SourceLocation, 16> SelLocs;
1210 SelLocs.reserve(N: NumStoredSelLocs);
1211 for (unsigned i = 0; i != NumStoredSelLocs; ++i)
1212 SelLocs.push_back(Elt: readSourceLocation());
1213
1214 MD->setParamsAndSelLocs(C&: Reader.getContext(), Params, SelLocs);
1215}
1216
1217void ASTDeclReader::VisitObjCTypeParamDecl(ObjCTypeParamDecl *D) {
1218 VisitTypedefNameDecl(TD: D);
1219
1220 D->Variance = Record.readInt();
1221 D->Index = Record.readInt();
1222 D->VarianceLoc = readSourceLocation();
1223 D->ColonLoc = readSourceLocation();
1224}
1225
1226void ASTDeclReader::VisitObjCContainerDecl(ObjCContainerDecl *CD) {
1227 VisitNamedDecl(ND: CD);
1228 CD->setAtStartLoc(readSourceLocation());
1229 CD->setAtEndRange(readSourceRange());
1230}
1231
1232ObjCTypeParamList *ASTDeclReader::ReadObjCTypeParamList() {
1233 unsigned numParams = Record.readInt();
1234 if (numParams == 0)
1235 return nullptr;
1236
1237 SmallVector<ObjCTypeParamDecl *, 4> typeParams;
1238 typeParams.reserve(N: numParams);
1239 for (unsigned i = 0; i != numParams; ++i) {
1240 auto *typeParam = readDeclAs<ObjCTypeParamDecl>();
1241 if (!typeParam)
1242 return nullptr;
1243
1244 typeParams.push_back(Elt: typeParam);
1245 }
1246
1247 SourceLocation lAngleLoc = readSourceLocation();
1248 SourceLocation rAngleLoc = readSourceLocation();
1249
1250 return ObjCTypeParamList::create(ctx&: Reader.getContext(), lAngleLoc,
1251 typeParams, rAngleLoc);
1252}
1253
1254void ASTDeclReader::ReadObjCDefinitionData(
1255 struct ObjCInterfaceDecl::DefinitionData &Data) {
1256 // Read the superclass.
1257 Data.SuperClassTInfo = readTypeSourceInfo();
1258
1259 Data.EndLoc = readSourceLocation();
1260 Data.HasDesignatedInitializers = Record.readInt();
1261 Data.ODRHash = Record.readInt();
1262 Data.HasODRHash = true;
1263
1264 // Read the directly referenced protocols and their SourceLocations.
1265 unsigned NumProtocols = Record.readInt();
1266 SmallVector<ObjCProtocolDecl *, 16> Protocols;
1267 Protocols.reserve(N: NumProtocols);
1268 for (unsigned I = 0; I != NumProtocols; ++I)
1269 Protocols.push_back(Elt: readDeclAs<ObjCProtocolDecl>());
1270 SmallVector<SourceLocation, 16> ProtoLocs;
1271 ProtoLocs.reserve(N: NumProtocols);
1272 for (unsigned I = 0; I != NumProtocols; ++I)
1273 ProtoLocs.push_back(Elt: readSourceLocation());
1274 Data.ReferencedProtocols.set(InList: Protocols.data(), Elts: NumProtocols, Locs: ProtoLocs.data(),
1275 Ctx&: Reader.getContext());
1276
1277 // Read the transitive closure of protocols referenced by this class.
1278 NumProtocols = Record.readInt();
1279 Protocols.clear();
1280 Protocols.reserve(N: NumProtocols);
1281 for (unsigned I = 0; I != NumProtocols; ++I)
1282 Protocols.push_back(Elt: readDeclAs<ObjCProtocolDecl>());
1283 Data.AllReferencedProtocols.set(InList: Protocols.data(), Elts: NumProtocols,
1284 Ctx&: Reader.getContext());
1285}
1286
1287void ASTDeclMerger::MergeDefinitionData(
1288 ObjCInterfaceDecl *D, struct ObjCInterfaceDecl::DefinitionData &&NewDD) {
1289 struct ObjCInterfaceDecl::DefinitionData &DD = D->data();
1290 if (DD.Definition == NewDD.Definition)
1291 return;
1292
1293 Reader.MergedDeclContexts.insert(
1294 KV: std::make_pair(x&: NewDD.Definition, y&: DD.Definition));
1295 Reader.mergeDefinitionVisibility(Def: DD.Definition, MergedDef: NewDD.Definition);
1296
1297 if (D->getODRHash() != NewDD.ODRHash)
1298 Reader.PendingObjCInterfaceOdrMergeFailures[DD.Definition].push_back(
1299 Elt: {NewDD.Definition, &NewDD});
1300}
1301
1302void ASTDeclReader::VisitObjCInterfaceDecl(ObjCInterfaceDecl *ID) {
1303 RedeclarableResult Redecl = VisitRedeclarable(D: ID);
1304 VisitObjCContainerDecl(CD: ID);
1305 DeferredTypeID = Record.getGlobalTypeID(LocalID: Record.readInt());
1306 mergeRedeclarable(DBase: ID, Redecl);
1307
1308 ID->TypeParamList = ReadObjCTypeParamList();
1309 if (Record.readInt()) {
1310 // Read the definition.
1311 ID->allocateDefinitionData();
1312
1313 ReadObjCDefinitionData(Data&: ID->data());
1314 ObjCInterfaceDecl *Canon = ID->getCanonicalDecl();
1315 if (Canon->Data.getPointer()) {
1316 // If we already have a definition, keep the definition invariant and
1317 // merge the data.
1318 MergeImpl.MergeDefinitionData(D: Canon, NewDD: std::move(ID->data()));
1319 ID->Data = Canon->Data;
1320 } else {
1321 // Set the definition data of the canonical declaration, so other
1322 // redeclarations will see it.
1323 ID->getCanonicalDecl()->Data = ID->Data;
1324
1325 // We will rebuild this list lazily.
1326 ID->setIvarList(nullptr);
1327 }
1328
1329 // Note that we have deserialized a definition.
1330 Reader.PendingDefinitions.insert(Ptr: ID);
1331
1332 // Note that we've loaded this Objective-C class.
1333 Reader.ObjCClassesLoaded.push_back(Elt: ID);
1334 } else {
1335 ID->Data = ID->getCanonicalDecl()->Data;
1336 }
1337}
1338
1339void ASTDeclReader::VisitObjCIvarDecl(ObjCIvarDecl *IVD) {
1340 VisitFieldDecl(FD: IVD);
1341 IVD->setAccessControl((ObjCIvarDecl::AccessControl)Record.readInt());
1342 // This field will be built lazily.
1343 IVD->setNextIvar(nullptr);
1344 bool synth = Record.readInt();
1345 IVD->setSynthesize(synth);
1346
1347 // Check ivar redeclaration.
1348 if (IVD->isInvalidDecl())
1349 return;
1350 // Don't check ObjCInterfaceDecl as interfaces are named and mismatches can be
1351 // detected in VisitObjCInterfaceDecl. Here we are looking for redeclarations
1352 // in extensions.
1353 if (isa<ObjCInterfaceDecl>(Val: IVD->getDeclContext()))
1354 return;
1355 ObjCInterfaceDecl *CanonIntf =
1356 IVD->getContainingInterface()->getCanonicalDecl();
1357 IdentifierInfo *II = IVD->getIdentifier();
1358 ObjCIvarDecl *PrevIvar = CanonIntf->lookupInstanceVariable(IVarName: II);
1359 if (PrevIvar && PrevIvar != IVD) {
1360 auto *ParentExt = dyn_cast<ObjCCategoryDecl>(Val: IVD->getDeclContext());
1361 auto *PrevParentExt =
1362 dyn_cast<ObjCCategoryDecl>(Val: PrevIvar->getDeclContext());
1363 if (ParentExt && PrevParentExt) {
1364 // Postpone diagnostic as we should merge identical extensions from
1365 // different modules.
1366 Reader
1367 .PendingObjCExtensionIvarRedeclarations[std::make_pair(x&: ParentExt,
1368 y&: PrevParentExt)]
1369 .push_back(Elt: std::make_pair(x&: IVD, y&: PrevIvar));
1370 } else if (ParentExt || PrevParentExt) {
1371 // Duplicate ivars in extension + implementation are never compatible.
1372 // Compatibility of implementation + implementation should be handled in
1373 // VisitObjCImplementationDecl.
1374 Reader.Diag(Loc: IVD->getLocation(), DiagID: diag::err_duplicate_ivar_declaration)
1375 << II;
1376 Reader.Diag(Loc: PrevIvar->getLocation(), DiagID: diag::note_previous_definition);
1377 }
1378 }
1379}
1380
1381void ASTDeclReader::ReadObjCDefinitionData(
1382 struct ObjCProtocolDecl::DefinitionData &Data) {
1383 unsigned NumProtoRefs = Record.readInt();
1384 SmallVector<ObjCProtocolDecl *, 16> ProtoRefs;
1385 ProtoRefs.reserve(N: NumProtoRefs);
1386 for (unsigned I = 0; I != NumProtoRefs; ++I)
1387 ProtoRefs.push_back(Elt: readDeclAs<ObjCProtocolDecl>());
1388 SmallVector<SourceLocation, 16> ProtoLocs;
1389 ProtoLocs.reserve(N: NumProtoRefs);
1390 for (unsigned I = 0; I != NumProtoRefs; ++I)
1391 ProtoLocs.push_back(Elt: readSourceLocation());
1392 Data.ReferencedProtocols.set(InList: ProtoRefs.data(), Elts: NumProtoRefs,
1393 Locs: ProtoLocs.data(), Ctx&: Reader.getContext());
1394 Data.ODRHash = Record.readInt();
1395 Data.HasODRHash = true;
1396}
1397
1398void ASTDeclMerger::MergeDefinitionData(
1399 ObjCProtocolDecl *D, struct ObjCProtocolDecl::DefinitionData &&NewDD) {
1400 struct ObjCProtocolDecl::DefinitionData &DD = D->data();
1401 if (DD.Definition == NewDD.Definition)
1402 return;
1403
1404 Reader.MergedDeclContexts.insert(
1405 KV: std::make_pair(x&: NewDD.Definition, y&: DD.Definition));
1406 Reader.mergeDefinitionVisibility(Def: DD.Definition, MergedDef: NewDD.Definition);
1407
1408 if (D->getODRHash() != NewDD.ODRHash)
1409 Reader.PendingObjCProtocolOdrMergeFailures[DD.Definition].push_back(
1410 Elt: {NewDD.Definition, &NewDD});
1411}
1412
1413void ASTDeclReader::VisitObjCProtocolDecl(ObjCProtocolDecl *PD) {
1414 RedeclarableResult Redecl = VisitRedeclarable(D: PD);
1415 VisitObjCContainerDecl(CD: PD);
1416 mergeRedeclarable(DBase: PD, Redecl);
1417
1418 if (Record.readInt()) {
1419 // Read the definition.
1420 PD->allocateDefinitionData();
1421
1422 ReadObjCDefinitionData(Data&: PD->data());
1423
1424 ObjCProtocolDecl *Canon = PD->getCanonicalDecl();
1425 if (Canon->Data.getPointer()) {
1426 // If we already have a definition, keep the definition invariant and
1427 // merge the data.
1428 MergeImpl.MergeDefinitionData(D: Canon, NewDD: std::move(PD->data()));
1429 PD->Data = Canon->Data;
1430 } else {
1431 // Set the definition data of the canonical declaration, so other
1432 // redeclarations will see it.
1433 PD->getCanonicalDecl()->Data = PD->Data;
1434 }
1435 // Note that we have deserialized a definition.
1436 Reader.PendingDefinitions.insert(Ptr: PD);
1437 } else {
1438 PD->Data = PD->getCanonicalDecl()->Data;
1439 }
1440}
1441
1442void ASTDeclReader::VisitObjCAtDefsFieldDecl(ObjCAtDefsFieldDecl *FD) {
1443 VisitFieldDecl(FD);
1444}
1445
1446void ASTDeclReader::VisitObjCCategoryDecl(ObjCCategoryDecl *CD) {
1447 VisitObjCContainerDecl(CD);
1448 CD->setCategoryNameLoc(readSourceLocation());
1449 CD->setIvarLBraceLoc(readSourceLocation());
1450 CD->setIvarRBraceLoc(readSourceLocation());
1451
1452 // Note that this category has been deserialized. We do this before
1453 // deserializing the interface declaration, so that it will consider this
1454 /// category.
1455 Reader.CategoriesDeserialized.insert(Ptr: CD);
1456
1457 CD->ClassInterface = readDeclAs<ObjCInterfaceDecl>();
1458 CD->TypeParamList = ReadObjCTypeParamList();
1459 unsigned NumProtoRefs = Record.readInt();
1460 SmallVector<ObjCProtocolDecl *, 16> ProtoRefs;
1461 ProtoRefs.reserve(N: NumProtoRefs);
1462 for (unsigned I = 0; I != NumProtoRefs; ++I)
1463 ProtoRefs.push_back(Elt: readDeclAs<ObjCProtocolDecl>());
1464 SmallVector<SourceLocation, 16> ProtoLocs;
1465 ProtoLocs.reserve(N: NumProtoRefs);
1466 for (unsigned I = 0; I != NumProtoRefs; ++I)
1467 ProtoLocs.push_back(Elt: readSourceLocation());
1468 CD->setProtocolList(List: ProtoRefs.data(), Num: NumProtoRefs, Locs: ProtoLocs.data(),
1469 C&: Reader.getContext());
1470
1471 // Protocols in the class extension belong to the class.
1472 if (NumProtoRefs > 0 && CD->ClassInterface && CD->IsClassExtension())
1473 CD->ClassInterface->mergeClassExtensionProtocolList(
1474 List: (ObjCProtocolDecl *const *)ProtoRefs.data(), Num: NumProtoRefs,
1475 C&: Reader.getContext());
1476}
1477
1478void ASTDeclReader::VisitObjCCompatibleAliasDecl(ObjCCompatibleAliasDecl *CAD) {
1479 VisitNamedDecl(ND: CAD);
1480 CAD->setClassInterface(readDeclAs<ObjCInterfaceDecl>());
1481}
1482
1483void ASTDeclReader::VisitObjCPropertyDecl(ObjCPropertyDecl *D) {
1484 VisitNamedDecl(ND: D);
1485 D->setAtLoc(readSourceLocation());
1486 D->setLParenLoc(readSourceLocation());
1487 QualType T = Record.readType();
1488 TypeSourceInfo *TSI = readTypeSourceInfo();
1489 D->setType(T, TSI);
1490 D->setPropertyAttributes((ObjCPropertyAttribute::Kind)Record.readInt());
1491 D->setPropertyAttributesAsWritten(
1492 (ObjCPropertyAttribute::Kind)Record.readInt());
1493 D->setPropertyImplementation(
1494 (ObjCPropertyDecl::PropertyControl)Record.readInt());
1495 DeclarationName GetterName = Record.readDeclarationName();
1496 SourceLocation GetterLoc = readSourceLocation();
1497 D->setGetterName(Sel: GetterName.getObjCSelector(), Loc: GetterLoc);
1498 DeclarationName SetterName = Record.readDeclarationName();
1499 SourceLocation SetterLoc = readSourceLocation();
1500 D->setSetterName(Sel: SetterName.getObjCSelector(), Loc: SetterLoc);
1501 D->setGetterMethodDecl(readDeclAs<ObjCMethodDecl>());
1502 D->setSetterMethodDecl(readDeclAs<ObjCMethodDecl>());
1503 D->setPropertyIvarDecl(readDeclAs<ObjCIvarDecl>());
1504}
1505
1506void ASTDeclReader::VisitObjCImplDecl(ObjCImplDecl *D) {
1507 VisitObjCContainerDecl(CD: D);
1508 D->setClassInterface(readDeclAs<ObjCInterfaceDecl>());
1509}
1510
1511void ASTDeclReader::VisitObjCCategoryImplDecl(ObjCCategoryImplDecl *D) {
1512 VisitObjCImplDecl(D);
1513 D->CategoryNameLoc = readSourceLocation();
1514}
1515
1516void ASTDeclReader::VisitObjCImplementationDecl(ObjCImplementationDecl *D) {
1517 VisitObjCImplDecl(D);
1518 D->setSuperClass(readDeclAs<ObjCInterfaceDecl>());
1519 D->SuperLoc = readSourceLocation();
1520 D->setIvarLBraceLoc(readSourceLocation());
1521 D->setIvarRBraceLoc(readSourceLocation());
1522 D->setHasNonZeroConstructors(Record.readInt());
1523 D->setHasDestructors(Record.readInt());
1524 D->NumIvarInitializers = Record.readInt();
1525 if (D->NumIvarInitializers)
1526 D->IvarInitializers = ReadGlobalOffset();
1527}
1528
1529void ASTDeclReader::VisitObjCPropertyImplDecl(ObjCPropertyImplDecl *D) {
1530 VisitDecl(D);
1531 D->setAtLoc(readSourceLocation());
1532 D->setPropertyDecl(readDeclAs<ObjCPropertyDecl>());
1533 D->PropertyIvarDecl = readDeclAs<ObjCIvarDecl>();
1534 D->IvarLoc = readSourceLocation();
1535 D->setGetterMethodDecl(readDeclAs<ObjCMethodDecl>());
1536 D->setSetterMethodDecl(readDeclAs<ObjCMethodDecl>());
1537 D->setGetterCXXConstructor(Record.readExpr());
1538 D->setSetterCXXAssignment(Record.readExpr());
1539}
1540
1541void ASTDeclReader::VisitFieldDecl(FieldDecl *FD) {
1542 VisitDeclaratorDecl(DD: FD);
1543 FD->Mutable = Record.readInt();
1544
1545 unsigned Bits = Record.readInt();
1546 FD->StorageKind = Bits >> 1;
1547 if (FD->StorageKind == FieldDecl::ISK_CapturedVLAType)
1548 FD->CapturedVLAType =
1549 cast<VariableArrayType>(Val: Record.readType().getTypePtr());
1550 else if (Bits & 1)
1551 FD->setBitWidth(Record.readExpr());
1552
1553 if (!FD->getDeclName() ||
1554 FD->isPlaceholderVar(LangOpts: Reader.getContext().getLangOpts())) {
1555 if (auto *Tmpl = readDeclAs<FieldDecl>())
1556 Reader.getContext().setInstantiatedFromUnnamedFieldDecl(Inst: FD, Tmpl);
1557 }
1558 mergeMergeable(D: FD);
1559}
1560
1561void ASTDeclReader::VisitMSPropertyDecl(MSPropertyDecl *PD) {
1562 VisitDeclaratorDecl(DD: PD);
1563 PD->GetterId = Record.readIdentifier();
1564 PD->SetterId = Record.readIdentifier();
1565}
1566
1567void ASTDeclReader::VisitMSGuidDecl(MSGuidDecl *D) {
1568 VisitValueDecl(VD: D);
1569 D->PartVal.Part1 = Record.readInt();
1570 D->PartVal.Part2 = Record.readInt();
1571 D->PartVal.Part3 = Record.readInt();
1572 for (auto &C : D->PartVal.Part4And5)
1573 C = Record.readInt();
1574
1575 // Add this GUID to the AST context's lookup structure, and merge if needed.
1576 if (MSGuidDecl *Existing = Reader.getContext().MSGuidDecls.getOrInsert(N: D))
1577 Reader.getContext().setPrimaryMergedDecl(D, Primary: Existing->getCanonicalDecl());
1578}
1579
1580void ASTDeclReader::VisitUnnamedGlobalConstantDecl(
1581 UnnamedGlobalConstantDecl *D) {
1582 VisitValueDecl(VD: D);
1583 D->Value = Record.readAPValue();
1584
1585 // Add this to the AST context's lookup structure, and merge if needed.
1586 if (UnnamedGlobalConstantDecl *Existing =
1587 Reader.getContext().UnnamedGlobalConstantDecls.getOrInsert(N: D))
1588 Reader.getContext().setPrimaryMergedDecl(D, Primary: Existing->getCanonicalDecl());
1589}
1590
1591void ASTDeclReader::VisitTemplateParamObjectDecl(TemplateParamObjectDecl *D) {
1592 VisitValueDecl(VD: D);
1593 D->Value = Record.readAPValue();
1594
1595 // Add this template parameter object to the AST context's lookup structure,
1596 // and merge if needed.
1597 if (TemplateParamObjectDecl *Existing =
1598 Reader.getContext().TemplateParamObjectDecls.getOrInsert(N: D))
1599 Reader.getContext().setPrimaryMergedDecl(D, Primary: Existing->getCanonicalDecl());
1600}
1601
1602void ASTDeclReader::VisitIndirectFieldDecl(IndirectFieldDecl *FD) {
1603 VisitValueDecl(VD: FD);
1604
1605 FD->ChainingSize = Record.readInt();
1606 assert(FD->ChainingSize >= 2 && "Anonymous chaining must be >= 2");
1607 FD->Chaining = new (Reader.getContext())NamedDecl*[FD->ChainingSize];
1608
1609 for (unsigned I = 0; I != FD->ChainingSize; ++I)
1610 FD->Chaining[I] = readDeclAs<NamedDecl>();
1611
1612 mergeMergeable(D: FD);
1613}
1614
1615RedeclarableResult ASTDeclReader::VisitVarDeclImpl(VarDecl *VD) {
1616 RedeclarableResult Redecl = VisitRedeclarable(D: VD);
1617 VisitDeclaratorDecl(DD: VD);
1618
1619 BitsUnpacker VarDeclBits(Record.readInt());
1620 auto VarLinkage = Linkage(VarDeclBits.getNextBits(/*Width=*/3));
1621 bool DefGeneratedInModule = VarDeclBits.getNextBit();
1622 VD->VarDeclBits.SClass = (StorageClass)VarDeclBits.getNextBits(/*Width=*/3);
1623 VD->VarDeclBits.TSCSpec = VarDeclBits.getNextBits(/*Width=*/2);
1624 VD->VarDeclBits.InitStyle = VarDeclBits.getNextBits(/*Width=*/2);
1625 VD->VarDeclBits.ARCPseudoStrong = VarDeclBits.getNextBit();
1626 bool HasDeducedType = false;
1627 if (!isa<ParmVarDecl>(Val: VD)) {
1628 VD->NonParmVarDeclBits.IsThisDeclarationADemotedDefinition =
1629 VarDeclBits.getNextBit();
1630 VD->NonParmVarDeclBits.ExceptionVar = VarDeclBits.getNextBit();
1631 VD->NonParmVarDeclBits.NRVOVariable = VarDeclBits.getNextBit();
1632 VD->NonParmVarDeclBits.CXXForRangeDecl = VarDeclBits.getNextBit();
1633
1634 VD->NonParmVarDeclBits.IsInline = VarDeclBits.getNextBit();
1635 VD->NonParmVarDeclBits.IsInlineSpecified = VarDeclBits.getNextBit();
1636 VD->NonParmVarDeclBits.IsConstexpr = VarDeclBits.getNextBit();
1637 VD->NonParmVarDeclBits.IsInitCapture = VarDeclBits.getNextBit();
1638 VD->NonParmVarDeclBits.PreviousDeclInSameBlockScope =
1639 VarDeclBits.getNextBit();
1640
1641 VD->NonParmVarDeclBits.EscapingByref = VarDeclBits.getNextBit();
1642 HasDeducedType = VarDeclBits.getNextBit();
1643 VD->NonParmVarDeclBits.ImplicitParamKind =
1644 VarDeclBits.getNextBits(/*Width*/ 3);
1645
1646 VD->NonParmVarDeclBits.ObjCForDecl = VarDeclBits.getNextBit();
1647 VD->NonParmVarDeclBits.IsCXXForRangeImplicitVar = VarDeclBits.getNextBit();
1648 }
1649
1650 // If this variable has a deduced type, defer reading that type until we are
1651 // done deserializing this variable, because the type might refer back to the
1652 // variable.
1653 if (HasDeducedType)
1654 Reader.PendingDeducedVarTypes.push_back(Elt: {VD, DeferredTypeID});
1655 else
1656 VD->setType(Reader.GetType(ID: DeferredTypeID));
1657 DeferredTypeID = 0;
1658
1659 VD->setCachedLinkage(VarLinkage);
1660
1661 // Reconstruct the one piece of the IdentifierNamespace that we need.
1662 if (VD->getStorageClass() == SC_Extern && VarLinkage != Linkage::None &&
1663 VD->getLexicalDeclContext()->isFunctionOrMethod())
1664 VD->setLocalExternDecl();
1665
1666 if (DefGeneratedInModule) {
1667 Reader.DefinitionSource[VD] =
1668 Loc.F->Kind == ModuleKind::MK_MainFile ||
1669 Reader.getContext().getLangOpts().BuildingPCHWithObjectFile;
1670 }
1671
1672 if (VD->hasAttr<BlocksAttr>()) {
1673 Expr *CopyExpr = Record.readExpr();
1674 if (CopyExpr)
1675 Reader.getContext().setBlockVarCopyInit(VD, CopyExpr, CanThrow: Record.readInt());
1676 }
1677
1678 enum VarKind {
1679 VarNotTemplate = 0, VarTemplate, StaticDataMemberSpecialization
1680 };
1681 switch ((VarKind)Record.readInt()) {
1682 case VarNotTemplate:
1683 // Only true variables (not parameters or implicit parameters) can be
1684 // merged; the other kinds are not really redeclarable at all.
1685 if (!isa<ParmVarDecl>(Val: VD) && !isa<ImplicitParamDecl>(Val: VD) &&
1686 !isa<VarTemplateSpecializationDecl>(Val: VD))
1687 mergeRedeclarable(DBase: VD, Redecl);
1688 break;
1689 case VarTemplate:
1690 // Merged when we merge the template.
1691 VD->setDescribedVarTemplate(readDeclAs<VarTemplateDecl>());
1692 break;
1693 case StaticDataMemberSpecialization: { // HasMemberSpecializationInfo.
1694 auto *Tmpl = readDeclAs<VarDecl>();
1695 auto TSK = (TemplateSpecializationKind)Record.readInt();
1696 SourceLocation POI = readSourceLocation();
1697 Reader.getContext().setInstantiatedFromStaticDataMember(Inst: VD, Tmpl, TSK,PointOfInstantiation: POI);
1698 mergeRedeclarable(DBase: VD, Redecl);
1699 break;
1700 }
1701 }
1702
1703 return Redecl;
1704}
1705
1706void ASTDeclReader::ReadVarDeclInit(VarDecl *VD) {
1707 if (uint64_t Val = Record.readInt()) {
1708 EvaluatedStmt *Eval = VD->ensureEvaluatedStmt();
1709 Eval->HasConstantInitialization = (Val & 2) != 0;
1710 Eval->HasConstantDestruction = (Val & 4) != 0;
1711 Eval->WasEvaluated = (Val & 8) != 0;
1712 Eval->HasSideEffects = (Val & 16) != 0;
1713 Eval->CheckedForSideEffects = true;
1714 if (Eval->WasEvaluated) {
1715 Eval->Evaluated = Record.readAPValue();
1716 if (Eval->Evaluated.needsCleanup())
1717 Reader.getContext().addDestruction(Ptr: &Eval->Evaluated);
1718 }
1719
1720 // Store the offset of the initializer. Don't deserialize it yet: it might
1721 // not be needed, and might refer back to the variable, for example if it
1722 // contains a lambda.
1723 Eval->Value = GetCurrentCursorOffset();
1724 }
1725}
1726
1727void ASTDeclReader::VisitImplicitParamDecl(ImplicitParamDecl *PD) {
1728 VisitVarDecl(VD: PD);
1729}
1730
1731void ASTDeclReader::VisitParmVarDecl(ParmVarDecl *PD) {
1732 VisitVarDecl(VD: PD);
1733
1734 unsigned scopeIndex = Record.readInt();
1735 BitsUnpacker ParmVarDeclBits(Record.readInt());
1736 unsigned isObjCMethodParam = ParmVarDeclBits.getNextBit();
1737 unsigned scopeDepth = ParmVarDeclBits.getNextBits(/*Width=*/7);
1738 unsigned declQualifier = ParmVarDeclBits.getNextBits(/*Width=*/7);
1739 if (isObjCMethodParam) {
1740 assert(scopeDepth == 0);
1741 PD->setObjCMethodScopeInfo(scopeIndex);
1742 PD->ParmVarDeclBits.ScopeDepthOrObjCQuals = declQualifier;
1743 } else {
1744 PD->setScopeInfo(scopeDepth, parameterIndex: scopeIndex);
1745 }
1746 PD->ParmVarDeclBits.IsKNRPromoted = ParmVarDeclBits.getNextBit();
1747
1748 PD->ParmVarDeclBits.HasInheritedDefaultArg = ParmVarDeclBits.getNextBit();
1749 if (ParmVarDeclBits.getNextBit()) // hasUninstantiatedDefaultArg.
1750 PD->setUninstantiatedDefaultArg(Record.readExpr());
1751
1752 if (ParmVarDeclBits.getNextBit()) // Valid explicit object parameter
1753 PD->ExplicitObjectParameterIntroducerLoc = Record.readSourceLocation();
1754
1755 // FIXME: If this is a redeclaration of a function from another module, handle
1756 // inheritance of default arguments.
1757}
1758
1759void ASTDeclReader::VisitDecompositionDecl(DecompositionDecl *DD) {
1760 VisitVarDecl(VD: DD);
1761 auto **BDs = DD->getTrailingObjects();
1762 for (unsigned I = 0; I != DD->NumBindings; ++I) {
1763 BDs[I] = readDeclAs<BindingDecl>();
1764 BDs[I]->setDecomposedDecl(DD);
1765 }
1766}
1767
1768void ASTDeclReader::VisitBindingDecl(BindingDecl *BD) {
1769 VisitValueDecl(VD: BD);
1770 BD->Binding = Record.readExpr();
1771}
1772
1773void ASTDeclReader::VisitFileScopeAsmDecl(FileScopeAsmDecl *AD) {
1774 VisitDecl(D: AD);
1775 AD->setAsmString(cast<StringLiteral>(Val: Record.readExpr()));
1776 AD->setRParenLoc(readSourceLocation());
1777}
1778
1779void ASTDeclReader::VisitTopLevelStmtDecl(TopLevelStmtDecl *D) {
1780 VisitDecl(D);
1781 D->Ordinal = Record.readInt();
1782 // Keep new statements numbered after the ones loaded from an AST file.
1783 ASTContext &Ctx = Reader.getContext();
1784 Ctx.NumTopLevelStmtDecls = std::max(a: Ctx.NumTopLevelStmtDecls, b: D->Ordinal + 1);
1785 D->Statement = Record.readStmt();
1786}
1787
1788void ASTDeclReader::VisitBlockDecl(BlockDecl *BD) {
1789 VisitDecl(D: BD);
1790 BD->setBody(cast_or_null<CompoundStmt>(Val: Record.readStmt()));
1791 BD->setSignatureAsWritten(readTypeSourceInfo());
1792 unsigned NumParams = Record.readInt();
1793 SmallVector<ParmVarDecl *, 16> Params;
1794 Params.reserve(N: NumParams);
1795 for (unsigned I = 0; I != NumParams; ++I)
1796 Params.push_back(Elt: readDeclAs<ParmVarDecl>());
1797 BD->setParams(Params);
1798
1799 BD->setIsVariadic(Record.readInt());
1800 BD->setBlockMissingReturnType(Record.readInt());
1801 BD->setIsConversionFromLambda(Record.readInt());
1802 BD->setDoesNotEscape(Record.readInt());
1803 BD->setCanAvoidCopyToHeap(Record.readInt());
1804
1805 bool capturesCXXThis = Record.readInt();
1806 unsigned numCaptures = Record.readInt();
1807 SmallVector<BlockDecl::Capture, 16> captures;
1808 captures.reserve(N: numCaptures);
1809 for (unsigned i = 0; i != numCaptures; ++i) {
1810 auto *decl = readDeclAs<VarDecl>();
1811 unsigned flags = Record.readInt();
1812 bool byRef = (flags & 1);
1813 bool nested = (flags & 2);
1814 Expr *copyExpr = ((flags & 4) ? Record.readExpr() : nullptr);
1815
1816 captures.push_back(Elt: BlockDecl::Capture(decl, byRef, nested, copyExpr));
1817 }
1818 BD->setCaptures(Context&: Reader.getContext(), Captures: captures, CapturesCXXThis: capturesCXXThis);
1819}
1820
1821void ASTDeclReader::VisitOutlinedFunctionDecl(OutlinedFunctionDecl *D) {
1822 // NumParams is deserialized by OutlinedFunctionDecl::CreateDeserialized().
1823 VisitDecl(D);
1824 for (unsigned I = 0; I < D->NumParams; ++I)
1825 D->setParam(i: I, P: readDeclAs<ImplicitParamDecl>());
1826 D->setNothrow(Record.readInt() != 0);
1827 D->setBody(cast_or_null<Stmt>(Val: Record.readStmt()));
1828}
1829
1830void ASTDeclReader::VisitCapturedDecl(CapturedDecl *CD) {
1831 VisitDecl(D: CD);
1832 unsigned ContextParamPos = Record.readInt();
1833 CD->setNothrow(Record.readInt() != 0);
1834 // Body is set by VisitCapturedStmt.
1835 for (unsigned I = 0; I < CD->NumParams; ++I) {
1836 if (I != ContextParamPos)
1837 CD->setParam(i: I, P: readDeclAs<ImplicitParamDecl>());
1838 else
1839 CD->setContextParam(i: I, P: readDeclAs<ImplicitParamDecl>());
1840 }
1841}
1842
1843void ASTDeclReader::VisitLinkageSpecDecl(LinkageSpecDecl *D) {
1844 VisitDecl(D);
1845 D->setLanguage(static_cast<LinkageSpecLanguageIDs>(Record.readInt()));
1846 D->setExternLoc(readSourceLocation());
1847 D->setRBraceLoc(readSourceLocation());
1848}
1849
1850void ASTDeclReader::VisitExportDecl(ExportDecl *D) {
1851 VisitDecl(D);
1852 D->RBraceLoc = readSourceLocation();
1853}
1854
1855void ASTDeclReader::VisitLabelDecl(LabelDecl *D) {
1856 VisitNamedDecl(ND: D);
1857 D->setLocStart(readSourceLocation());
1858}
1859
1860void ASTDeclReader::VisitNamespaceDecl(NamespaceDecl *D) {
1861 RedeclarableResult Redecl = VisitRedeclarable(D);
1862 VisitNamedDecl(ND: D);
1863
1864 BitsUnpacker NamespaceDeclBits(Record.readInt());
1865 D->setInline(NamespaceDeclBits.getNextBit());
1866 D->setNested(NamespaceDeclBits.getNextBit());
1867 D->LocStart = readSourceLocation();
1868 D->RBraceLoc = readSourceLocation();
1869
1870 // Defer loading the anonymous namespace until we've finished merging
1871 // this namespace; loading it might load a later declaration of the
1872 // same namespace, and we have an invariant that older declarations
1873 // get merged before newer ones try to merge.
1874 GlobalDeclID AnonNamespace;
1875 if (Redecl.getFirstID() == ThisDeclID)
1876 AnonNamespace = readDeclID();
1877
1878 mergeRedeclarable(DBase: D, Redecl);
1879
1880 if (AnonNamespace.isValid()) {
1881 // Each module has its own anonymous namespace, which is disjoint from
1882 // any other module's anonymous namespaces, so don't attach the anonymous
1883 // namespace at all.
1884 auto *Anon = cast<NamespaceDecl>(Val: Reader.GetDecl(ID: AnonNamespace));
1885 if (!Record.isModule())
1886 D->setAnonymousNamespace(Anon);
1887 }
1888}
1889
1890void ASTDeclReader::VisitHLSLBufferDecl(HLSLBufferDecl *D) {
1891 VisitNamedDecl(ND: D);
1892 LookupBlockOffsets Offsets;
1893 VisitDeclContext(DC: D, Offsets);
1894 D->IsCBuffer = Record.readBool();
1895 D->KwLoc = readSourceLocation();
1896 D->LBraceLoc = readSourceLocation();
1897 D->RBraceLoc = readSourceLocation();
1898}
1899
1900void ASTDeclReader::VisitNamespaceAliasDecl(NamespaceAliasDecl *D) {
1901 RedeclarableResult Redecl = VisitRedeclarable(D);
1902 VisitNamedDecl(ND: D);
1903 D->NamespaceLoc = readSourceLocation();
1904 D->IdentLoc = readSourceLocation();
1905 D->QualifierLoc = Record.readNestedNameSpecifierLoc();
1906 D->Namespace = readDeclAs<NamespaceBaseDecl>();
1907 mergeRedeclarable(DBase: D, Redecl);
1908}
1909
1910void ASTDeclReader::VisitUsingDecl(UsingDecl *D) {
1911 VisitNamedDecl(ND: D);
1912 D->setUsingLoc(readSourceLocation());
1913 D->QualifierLoc = Record.readNestedNameSpecifierLoc();
1914 D->DNLoc = Record.readDeclarationNameLoc(Name: D->getDeclName());
1915 D->FirstUsingShadow.setPointer(readDeclAs<UsingShadowDecl>());
1916 D->setTypename(Record.readInt());
1917 if (auto *Pattern = readDeclAs<NamedDecl>())
1918 Reader.getContext().setInstantiatedFromUsingDecl(Inst: D, Pattern);
1919 mergeMergeable(D);
1920}
1921
1922void ASTDeclReader::VisitUsingEnumDecl(UsingEnumDecl *D) {
1923 VisitNamedDecl(ND: D);
1924 D->setUsingLoc(readSourceLocation());
1925 D->setEnumLoc(readSourceLocation());
1926 D->setEnumType(Record.readTypeSourceInfo());
1927 D->FirstUsingShadow.setPointer(readDeclAs<UsingShadowDecl>());
1928 if (auto *Pattern = readDeclAs<UsingEnumDecl>())
1929 Reader.getContext().setInstantiatedFromUsingEnumDecl(Inst: D, Pattern);
1930 mergeMergeable(D);
1931}
1932
1933void ASTDeclReader::VisitUsingPackDecl(UsingPackDecl *D) {
1934 VisitNamedDecl(ND: D);
1935 D->InstantiatedFrom = readDeclAs<NamedDecl>();
1936 auto **Expansions = D->getTrailingObjects();
1937 for (unsigned I = 0; I != D->NumExpansions; ++I)
1938 Expansions[I] = readDeclAs<NamedDecl>();
1939 mergeMergeable(D);
1940}
1941
1942void ASTDeclReader::VisitUsingShadowDecl(UsingShadowDecl *D) {
1943 RedeclarableResult Redecl = VisitRedeclarable(D);
1944 VisitNamedDecl(ND: D);
1945 D->Underlying = readDeclAs<NamedDecl>();
1946 D->IdentifierNamespace = Record.readInt();
1947 D->UsingOrNextShadow = readDeclAs<NamedDecl>();
1948 auto *Pattern = readDeclAs<UsingShadowDecl>();
1949 if (Pattern)
1950 Reader.getContext().setInstantiatedFromUsingShadowDecl(Inst: D, Pattern);
1951 mergeRedeclarable(DBase: D, Redecl);
1952}
1953
1954void ASTDeclReader::VisitConstructorUsingShadowDecl(
1955 ConstructorUsingShadowDecl *D) {
1956 VisitUsingShadowDecl(D);
1957 D->NominatedBaseClassShadowDecl = readDeclAs<ConstructorUsingShadowDecl>();
1958 D->ConstructedBaseClassShadowDecl = readDeclAs<ConstructorUsingShadowDecl>();
1959 D->IsVirtual = Record.readInt();
1960}
1961
1962void ASTDeclReader::VisitUsingDirectiveDecl(UsingDirectiveDecl *D) {
1963 VisitNamedDecl(ND: D);
1964 D->UsingLoc = readSourceLocation();
1965 D->NamespaceLoc = readSourceLocation();
1966 D->QualifierLoc = Record.readNestedNameSpecifierLoc();
1967 D->NominatedNamespace = readDeclAs<NamedDecl>();
1968 D->CommonAncestor = readDeclAs<DeclContext>();
1969}
1970
1971void ASTDeclReader::VisitUnresolvedUsingValueDecl(UnresolvedUsingValueDecl *D) {
1972 VisitValueDecl(VD: D);
1973 D->setUsingLoc(readSourceLocation());
1974 D->QualifierLoc = Record.readNestedNameSpecifierLoc();
1975 D->DNLoc = Record.readDeclarationNameLoc(Name: D->getDeclName());
1976 D->EllipsisLoc = readSourceLocation();
1977 mergeMergeable(D);
1978}
1979
1980void ASTDeclReader::VisitUnresolvedUsingTypenameDecl(
1981 UnresolvedUsingTypenameDecl *D) {
1982 VisitTypeDecl(TD: D);
1983 D->TypenameLocation = readSourceLocation();
1984 D->QualifierLoc = Record.readNestedNameSpecifierLoc();
1985 D->EllipsisLoc = readSourceLocation();
1986 mergeMergeable(D);
1987}
1988
1989void ASTDeclReader::VisitUnresolvedUsingIfExistsDecl(
1990 UnresolvedUsingIfExistsDecl *D) {
1991 VisitNamedDecl(ND: D);
1992}
1993
1994void ASTDeclReader::ReadCXXDefinitionData(
1995 struct CXXRecordDecl::DefinitionData &Data, const CXXRecordDecl *D,
1996 Decl *LambdaContext, unsigned IndexInLambdaContext) {
1997
1998 BitsUnpacker CXXRecordDeclBits = Record.readInt();
1999
2000#define FIELD(Name, Width, Merge) \
2001 if (!CXXRecordDeclBits.canGetNextNBits(Width)) \
2002 CXXRecordDeclBits.updateValue(Record.readInt()); \
2003 Data.Name = CXXRecordDeclBits.getNextBits(Width);
2004
2005#include "clang/AST/CXXRecordDeclDefinitionBits.def"
2006#undef FIELD
2007
2008 // Note: the caller has deserialized the IsLambda bit already.
2009 Data.ODRHash = Record.readInt();
2010 Data.HasODRHash = true;
2011
2012 if (Record.readInt()) {
2013 Reader.DefinitionSource[D] =
2014 Loc.F->Kind == ModuleKind::MK_MainFile ||
2015 Reader.getContext().getLangOpts().BuildingPCHWithObjectFile;
2016 }
2017
2018 Record.readUnresolvedSet(Set&: Data.Conversions);
2019 Data.ComputedVisibleConversions = Record.readInt();
2020 if (Data.ComputedVisibleConversions)
2021 Record.readUnresolvedSet(Set&: Data.VisibleConversions);
2022 assert(Data.Definition && "Data.Definition should be already set!");
2023
2024 if (!Data.IsLambda) {
2025 assert(!LambdaContext && !IndexInLambdaContext &&
2026 "given lambda context for non-lambda");
2027
2028 Data.NumBases = Record.readInt();
2029 if (Data.NumBases)
2030 Data.Bases = ReadGlobalOffset();
2031
2032 Data.NumVBases = Record.readInt();
2033 if (Data.NumVBases)
2034 Data.VBases = ReadGlobalOffset();
2035
2036 Data.FirstFriend = readDeclID().getRawValue();
2037 } else {
2038 using Capture = LambdaCapture;
2039
2040 auto &Lambda = static_cast<CXXRecordDecl::LambdaDefinitionData &>(Data);
2041
2042 BitsUnpacker LambdaBits(Record.readInt());
2043 Lambda.DependencyKind = LambdaBits.getNextBits(/*Width=*/2);
2044 Lambda.IsGenericLambda = LambdaBits.getNextBit();
2045 Lambda.CaptureDefault = LambdaBits.getNextBits(/*Width=*/2);
2046 Lambda.NumCaptures = LambdaBits.getNextBits(/*Width=*/15);
2047 Lambda.HasKnownInternalLinkage = LambdaBits.getNextBit();
2048
2049 Lambda.NumExplicitCaptures = Record.readInt();
2050 Lambda.ManglingNumber = Record.readInt();
2051 if (unsigned DeviceManglingNumber = Record.readInt())
2052 Reader.getContext().DeviceLambdaManglingNumbers[D] = DeviceManglingNumber;
2053 Lambda.IndexInContext = IndexInLambdaContext;
2054 Lambda.ContextDecl = LambdaContext;
2055 Capture *ToCapture = nullptr;
2056 if (Lambda.NumCaptures) {
2057 ToCapture = (Capture *)Reader.getContext().Allocate(Size: sizeof(Capture) *
2058 Lambda.NumCaptures);
2059 Lambda.AddCaptureList(Ctx&: Reader.getContext(), CaptureList: ToCapture);
2060 }
2061 Lambda.MethodTyInfo = readTypeSourceInfo();
2062 for (unsigned I = 0, N = Lambda.NumCaptures; I != N; ++I) {
2063 SourceLocation Loc = readSourceLocation();
2064 BitsUnpacker CaptureBits(Record.readInt());
2065 bool IsImplicit = CaptureBits.getNextBit();
2066 auto Kind =
2067 static_cast<LambdaCaptureKind>(CaptureBits.getNextBits(/*Width=*/3));
2068 switch (Kind) {
2069 case LCK_StarThis:
2070 case LCK_This:
2071 case LCK_VLAType:
2072 new (ToCapture)
2073 Capture(Loc, IsImplicit, Kind, nullptr, SourceLocation());
2074 ToCapture++;
2075 break;
2076 case LCK_ByCopy:
2077 case LCK_ByRef:
2078 auto *Var = readDeclAs<ValueDecl>();
2079 SourceLocation EllipsisLoc = readSourceLocation();
2080 new (ToCapture) Capture(Loc, IsImplicit, Kind, Var, EllipsisLoc);
2081 ToCapture++;
2082 break;
2083 }
2084 }
2085 }
2086}
2087
2088void ASTDeclMerger::MergeDefinitionData(
2089 CXXRecordDecl *D, struct CXXRecordDecl::DefinitionData &&MergeDD) {
2090 assert(D->DefinitionData &&
2091 "merging class definition into non-definition");
2092 auto &DD = *D->DefinitionData;
2093
2094 if (DD.Definition != MergeDD.Definition) {
2095 // Track that we merged the definitions.
2096 Reader.MergedDeclContexts.insert(KV: std::make_pair(x&: MergeDD.Definition,
2097 y&: DD.Definition));
2098 Reader.PendingDefinitions.erase(Ptr: MergeDD.Definition);
2099 MergeDD.Definition->demoteThisDefinitionToDeclaration();
2100 Reader.mergeDefinitionVisibility(Def: DD.Definition, MergedDef: MergeDD.Definition);
2101 assert(!Reader.Lookups.contains(MergeDD.Definition) &&
2102 "already loaded pending lookups for merged definition");
2103 }
2104
2105 auto PFDI = Reader.PendingFakeDefinitionData.find(Val: &DD);
2106 if (PFDI != Reader.PendingFakeDefinitionData.end() &&
2107 PFDI->second == ASTReader::PendingFakeDefinitionKind::Fake) {
2108 // We faked up this definition data because we found a class for which we'd
2109 // not yet loaded the definition. Replace it with the real thing now.
2110 assert(!DD.IsLambda && "faked up lambda definition?");
2111
2112 // This is possible for some special loading ordering. See
2113 // clang/test/Modules/pr217858.cppm for an example.
2114 //
2115 // LambdaDefinitionData is larger than DefinitionData, so it cannot replace
2116 // the fake DefinitionData object in place.
2117 if (MergeDD.IsLambda) {
2118 auto *Def = DD.Definition;
2119 MergeDD.Definition = Def;
2120 // Unlike an instantiated class definition,
2121 // whose update-record reader removes the fake entry after loading its
2122 // lexical declarations, a lambda's definition is part of its declaration
2123 // record and is fully loaded here.
2124 Reader.PendingFakeDefinitionData.erase(I: PFDI);
2125 for (auto *R = Reader.getMostRecentExistingDecl(D: Def); R;
2126 R = R->getPreviousDecl())
2127 cast<CXXRecordDecl>(Val: R)->DefinitionData = &MergeDD;
2128 return;
2129 }
2130
2131 PFDI->second = ASTReader::PendingFakeDefinitionKind::FakeLoaded;
2132
2133 // Don't change which declaration is the definition; that is required
2134 // to be invariant once we select it.
2135 auto *Def = DD.Definition;
2136 DD = std::move(MergeDD);
2137 DD.Definition = Def;
2138 for (auto *R = Reader.getMostRecentExistingDecl(D: Def); R;
2139 R = R->getPreviousDecl())
2140 cast<CXXRecordDecl>(Val: R)->DefinitionData = &DD;
2141 return;
2142 }
2143
2144 bool DetectedOdrViolation = false;
2145
2146 #define FIELD(Name, Width, Merge) Merge(Name)
2147 #define MERGE_OR(Field) DD.Field |= MergeDD.Field;
2148 #define NO_MERGE(Field) \
2149 DetectedOdrViolation |= DD.Field != MergeDD.Field; \
2150 MERGE_OR(Field)
2151 #include "clang/AST/CXXRecordDeclDefinitionBits.def"
2152 NO_MERGE(IsLambda)
2153 #undef NO_MERGE
2154 #undef MERGE_OR
2155
2156 if (DD.NumBases != MergeDD.NumBases || DD.NumVBases != MergeDD.NumVBases)
2157 DetectedOdrViolation = true;
2158 // FIXME: Issue a diagnostic if the base classes don't match when we come
2159 // to lazily load them.
2160
2161 // FIXME: Issue a diagnostic if the list of conversion functions doesn't
2162 // match when we come to lazily load them.
2163 if (MergeDD.ComputedVisibleConversions && !DD.ComputedVisibleConversions) {
2164 DD.VisibleConversions = std::move(MergeDD.VisibleConversions);
2165 DD.ComputedVisibleConversions = true;
2166 }
2167
2168 // FIXME: Issue a diagnostic if FirstFriend doesn't match when we come to
2169 // lazily load it.
2170
2171 if (DD.IsLambda) {
2172 auto &Lambda1 = static_cast<CXXRecordDecl::LambdaDefinitionData &>(DD);
2173 auto &Lambda2 = static_cast<CXXRecordDecl::LambdaDefinitionData &>(MergeDD);
2174 DetectedOdrViolation |= Lambda1.DependencyKind != Lambda2.DependencyKind;
2175 DetectedOdrViolation |= Lambda1.IsGenericLambda != Lambda2.IsGenericLambda;
2176 DetectedOdrViolation |= Lambda1.CaptureDefault != Lambda2.CaptureDefault;
2177 DetectedOdrViolation |= Lambda1.NumCaptures != Lambda2.NumCaptures;
2178 DetectedOdrViolation |=
2179 Lambda1.NumExplicitCaptures != Lambda2.NumExplicitCaptures;
2180 DetectedOdrViolation |=
2181 Lambda1.HasKnownInternalLinkage != Lambda2.HasKnownInternalLinkage;
2182 DetectedOdrViolation |= Lambda1.ManglingNumber != Lambda2.ManglingNumber;
2183
2184 if (Lambda1.NumCaptures && Lambda1.NumCaptures == Lambda2.NumCaptures) {
2185 for (unsigned I = 0, N = Lambda1.NumCaptures; I != N; ++I) {
2186 LambdaCapture &Cap1 = Lambda1.Captures.front()[I];
2187 LambdaCapture &Cap2 = Lambda2.Captures.front()[I];
2188 DetectedOdrViolation |= Cap1.getCaptureKind() != Cap2.getCaptureKind();
2189 }
2190 Lambda1.AddCaptureList(Ctx&: Reader.getContext(), CaptureList: Lambda2.Captures.front());
2191 }
2192 }
2193
2194 // We don't want to check ODR for decls in the global module fragment.
2195 if (shouldSkipCheckingODR(D: MergeDD.Definition) || shouldSkipCheckingODR(D))
2196 return;
2197
2198 if (D->getODRHash() != MergeDD.ODRHash) {
2199 DetectedOdrViolation = true;
2200 }
2201
2202 if (DetectedOdrViolation)
2203 Reader.PendingOdrMergeFailures[DD.Definition].push_back(
2204 Elt: {MergeDD.Definition, &MergeDD});
2205}
2206
2207void ASTDeclReader::ReadCXXRecordDefinition(CXXRecordDecl *D, bool Update,
2208 Decl *LambdaContext,
2209 unsigned IndexInLambdaContext) {
2210 struct CXXRecordDecl::DefinitionData *DD;
2211 ASTContext &C = Reader.getContext();
2212
2213 // Determine whether this is a lambda closure type, so that we can
2214 // allocate the appropriate DefinitionData structure.
2215 bool IsLambda = Record.readInt();
2216 assert(!(IsLambda && Update) &&
2217 "lambda definition should not be added by update record");
2218 if (IsLambda)
2219 DD = new (C) CXXRecordDecl::LambdaDefinitionData(
2220 D, nullptr, CXXRecordDecl::LDK_Unknown, false, LCD_None);
2221 else
2222 DD = new (C) struct CXXRecordDecl::DefinitionData(D);
2223
2224 CXXRecordDecl *Canon = D->getCanonicalDecl();
2225 // Set decl definition data before reading it, so that during deserialization
2226 // when we read CXXRecordDecl, it already has definition data and we don't
2227 // set fake one.
2228 if (!Canon->DefinitionData)
2229 Canon->DefinitionData = DD;
2230 D->DefinitionData = Canon->DefinitionData;
2231 ReadCXXDefinitionData(Data&: *DD, D, LambdaContext, IndexInLambdaContext);
2232
2233 // Mark this declaration as being a definition.
2234 D->setCompleteDefinition(true);
2235
2236 // We might already have a different definition for this record. This can
2237 // happen either because we're reading an update record, or because we've
2238 // already done some merging. Either way, just merge into it.
2239 if (Canon->DefinitionData != DD) {
2240 MergeImpl.MergeDefinitionData(D: Canon, MergeDD: std::move(*DD));
2241 return;
2242 }
2243
2244 // If this is not the first declaration or is an update record, we can have
2245 // other redeclarations already. Make a note that we need to propagate the
2246 // DefinitionData pointer onto them.
2247 if (Update || Canon != D)
2248 Reader.PendingDefinitions.insert(Ptr: D);
2249}
2250
2251RedeclarableResult ASTDeclReader::VisitCXXRecordDeclImpl(CXXRecordDecl *D) {
2252 RedeclarableResult Redecl = VisitRecordDeclImpl(RD: D);
2253
2254 ASTContext &C = Reader.getContext();
2255
2256 enum CXXRecKind {
2257 CXXRecNotTemplate = 0,
2258 CXXRecTemplate,
2259 CXXRecMemberSpecialization,
2260 CXXLambda
2261 };
2262
2263 Decl *LambdaContext = nullptr;
2264 unsigned IndexInLambdaContext = 0;
2265
2266 switch ((CXXRecKind)Record.readInt()) {
2267 case CXXRecNotTemplate:
2268 // Merged when we merge the folding set entry in the primary template.
2269 if (!isa<ClassTemplateSpecializationDecl>(Val: D))
2270 mergeRedeclarable(DBase: D, Redecl);
2271 break;
2272 case CXXRecTemplate: {
2273 // Merged when we merge the template.
2274 auto *Template = readDeclAs<ClassTemplateDecl>();
2275 D->TemplateOrInstantiation = Template;
2276 break;
2277 }
2278 case CXXRecMemberSpecialization: {
2279 auto *RD = readDeclAs<CXXRecordDecl>();
2280 auto TSK = (TemplateSpecializationKind)Record.readInt();
2281 SourceLocation POI = readSourceLocation();
2282 MemberSpecializationInfo *MSI = new (C) MemberSpecializationInfo(RD, TSK);
2283 MSI->setPointOfInstantiation(POI);
2284 D->TemplateOrInstantiation = MSI;
2285 mergeRedeclarable(DBase: D, Redecl);
2286 break;
2287 }
2288 case CXXLambda: {
2289 LambdaContext = readDecl();
2290 if (LambdaContext)
2291 IndexInLambdaContext = Record.readInt();
2292 if (LambdaContext)
2293 MergeImpl.mergeLambda(D, Redecl, Context&: *LambdaContext, Number: IndexInLambdaContext);
2294 else
2295 // If we don't have a mangling context, treat this like any other
2296 // declaration.
2297 mergeRedeclarable(DBase: D, Redecl);
2298 break;
2299 }
2300 }
2301
2302 bool WasDefinition = Record.readInt();
2303 if (WasDefinition)
2304 ReadCXXRecordDefinition(D, /*Update=*/false, LambdaContext,
2305 IndexInLambdaContext);
2306 else
2307 // Propagate DefinitionData pointer from the canonical declaration.
2308 D->DefinitionData = D->getCanonicalDecl()->DefinitionData;
2309
2310 // Lazily load the key function to avoid deserializing every method so we can
2311 // compute it.
2312 if (WasDefinition) {
2313 GlobalDeclID KeyFn = readDeclID();
2314 if (KeyFn.isValid() && D->isCompleteDefinition())
2315 // FIXME: This is wrong for the ARM ABI, where some other module may have
2316 // made this function no longer be a key function. We need an update
2317 // record or similar for that case.
2318 C.KeyFunctions[D] = KeyFn.getRawValue();
2319 }
2320
2321 return Redecl;
2322}
2323
2324void ASTDeclReader::VisitCXXDeductionGuideDecl(CXXDeductionGuideDecl *D) {
2325 D->setExplicitSpecifier(Record.readExplicitSpec());
2326 D->Ctor = readDeclAs<CXXConstructorDecl>();
2327 VisitFunctionDecl(FD: D);
2328 D->setDeductionCandidateKind(
2329 static_cast<DeductionCandidate>(Record.readInt()));
2330 D->setSourceDeductionGuide(readDeclAs<CXXDeductionGuideDecl>());
2331 D->setSourceDeductionGuideKind(
2332 static_cast<CXXDeductionGuideDecl::SourceDeductionGuideKind>(
2333 Record.readInt()));
2334}
2335
2336void ASTDeclReader::VisitCXXMethodDecl(CXXMethodDecl *D) {
2337 VisitFunctionDecl(FD: D);
2338
2339 unsigned NumOverridenMethods = Record.readInt();
2340 if (D->isCanonicalDecl()) {
2341 while (NumOverridenMethods--) {
2342 // Avoid invariant checking of CXXMethodDecl::addOverriddenMethod,
2343 // MD may be initializing.
2344 if (auto *MD = readDeclAs<CXXMethodDecl>())
2345 Reader.getContext().addOverriddenMethod(Method: D, Overridden: MD->getCanonicalDecl());
2346 }
2347 } else {
2348 // We don't care about which declarations this used to override; we get
2349 // the relevant information from the canonical declaration.
2350 Record.skipInts(N: NumOverridenMethods);
2351 }
2352}
2353
2354void ASTDeclReader::VisitCXXConstructorDecl(CXXConstructorDecl *D) {
2355 // We need the inherited constructor information to merge the declaration,
2356 // so we have to read it before we call VisitCXXMethodDecl.
2357 D->setExplicitSpecifier(Record.readExplicitSpec());
2358 if (D->isInheritingConstructor()) {
2359 auto *Shadow = readDeclAs<ConstructorUsingShadowDecl>();
2360 auto *Ctor = readDeclAs<CXXConstructorDecl>();
2361 *D->getTrailingObjects<InheritedConstructor>() =
2362 InheritedConstructor(Shadow, Ctor);
2363 }
2364
2365 if (unsigned NumArgs = Record.readUInt32()) {
2366 CXXDefaultArgExpr **Args =
2367 new (Reader.getContext()) CXXDefaultArgExpr *[NumArgs];
2368 for (unsigned I = 0; I != NumArgs; I++)
2369 Args[I] = cast_or_null<CXXDefaultArgExpr>(Val: Record.readStmt());
2370 D->setCtorClosureDefaultArgs(ArrayRef(Args, NumArgs));
2371 }
2372
2373 VisitCXXMethodDecl(D);
2374}
2375
2376void ASTDeclReader::VisitCXXDestructorDecl(CXXDestructorDecl *D) {
2377 VisitCXXMethodDecl(D);
2378
2379 ASTContext &C = Reader.getContext();
2380 CXXDestructorDecl *Canon = cast<CXXDestructorDecl>(Val: D->getCanonicalDecl());
2381 if (auto *OperatorDelete = readDeclAs<FunctionDecl>()) {
2382 auto *ThisArg = Record.readExpr();
2383 // FIXME: Check consistency if we have an old and new operator delete.
2384 if (!C.dtorHasOperatorDelete(Dtor: D, K: ASTContext::OperatorDeleteKind::Regular)) {
2385 C.addOperatorDeleteForVDtor(Dtor: D, OperatorDelete,
2386 K: ASTContext::OperatorDeleteKind::Regular);
2387 Canon->OperatorDeleteThisArg = ThisArg;
2388 }
2389 }
2390 if (auto *OperatorGlobDelete = readDeclAs<FunctionDecl>()) {
2391 if (!C.dtorHasOperatorDelete(Dtor: D,
2392 K: ASTContext::OperatorDeleteKind::GlobalRegular))
2393 C.addOperatorDeleteForVDtor(
2394 Dtor: D, OperatorDelete: OperatorGlobDelete, K: ASTContext::OperatorDeleteKind::GlobalRegular);
2395 }
2396 if (auto *OperatorArrayDelete = readDeclAs<FunctionDecl>()) {
2397 if (!C.dtorHasOperatorDelete(Dtor: D, K: ASTContext::OperatorDeleteKind::Array))
2398 C.addOperatorDeleteForVDtor(Dtor: D, OperatorDelete: OperatorArrayDelete,
2399 K: ASTContext::OperatorDeleteKind::Array);
2400 }
2401 if (auto *OperatorGlobArrayDelete = readDeclAs<FunctionDecl>()) {
2402 if (!C.dtorHasOperatorDelete(Dtor: D,
2403 K: ASTContext::OperatorDeleteKind::ArrayGlobal))
2404 C.addOperatorDeleteForVDtor(Dtor: D, OperatorDelete: OperatorGlobArrayDelete,
2405 K: ASTContext::OperatorDeleteKind::ArrayGlobal);
2406 }
2407}
2408
2409void ASTDeclReader::VisitCXXConversionDecl(CXXConversionDecl *D) {
2410 D->setExplicitSpecifier(Record.readExplicitSpec());
2411 VisitCXXMethodDecl(D);
2412}
2413
2414void ASTDeclReader::VisitImportDecl(ImportDecl *D) {
2415 VisitDecl(D);
2416 D->ImportedModule = readModule();
2417 D->setImportComplete(Record.readInt());
2418 auto *StoredLocs = D->getTrailingObjects();
2419 for (unsigned I = 0, N = Record.back(); I != N; ++I)
2420 StoredLocs[I] = readSourceLocation();
2421 Record.skipInts(N: 1); // The number of stored source locations.
2422}
2423
2424void ASTDeclReader::VisitAccessSpecDecl(AccessSpecDecl *D) {
2425 VisitDecl(D);
2426 D->setColonLoc(readSourceLocation());
2427}
2428
2429void ASTDeclReader::VisitFriendDecl(FriendDecl *D) {
2430 VisitDecl(D);
2431 if (Record.readInt()) // hasFriendDecl
2432 D->Friend = readDeclAs<NamedDecl>();
2433 else
2434 D->Friend = readTypeSourceInfo();
2435 D->NextFriend = readDeclID().getRawValue();
2436 D->FriendLoc = readSourceLocation();
2437 D->EllipsisLoc = readSourceLocation();
2438}
2439
2440void ASTDeclReader::VisitFriendTemplateDecl(FriendTemplateDecl *D) {
2441 VisitDecl(D);
2442 for (unsigned I = 0; I != D->NumTPLists; ++I)
2443 D->getTrailingObjects()[I] = Record.readTemplateParameterList();
2444 auto Kind = static_cast<FriendTemplateDeclKind>(Record.readInt());
2445 switch (Kind) {
2446 case FTDK_Type:
2447 D->Friend = readTypeSourceInfo();
2448 break;
2449 case FTDK_Decl:
2450 D->Friend = readDeclAs<NamedDecl>();
2451 break;
2452 case FTDK_Template:
2453 D->Template = Record.readTemplateName();
2454 assert(D->Template.getAsTemplateDecl() &&
2455 "friend template name must resolve to a template declaration");
2456 D->Friend = D->Template.getAsTemplateDecl();
2457 break;
2458 case FTDK_Dependent:
2459 D->Friend = readTypeSourceInfo();
2460 D->Template = Record.readTemplateName();
2461 break;
2462 }
2463 D->NextFriend = readDeclID().getRawValue();
2464 D->FriendLoc = readSourceLocation();
2465 D->EllipsisLoc = readSourceLocation();
2466}
2467
2468void ASTDeclReader::VisitTemplateDecl(TemplateDecl *D) {
2469 VisitNamedDecl(ND: D);
2470
2471 assert(!D->TemplateParams && "TemplateParams already set!");
2472 D->TemplateParams = Record.readTemplateParameterList();
2473 D->init(NewTemplatedDecl: readDeclAs<NamedDecl>());
2474}
2475
2476void ASTDeclReader::VisitConceptDecl(ConceptDecl *D) {
2477 VisitTemplateDecl(D);
2478 D->ConstraintExpr = Record.readExpr();
2479 mergeMergeable(D);
2480}
2481
2482void ASTDeclReader::VisitImplicitConceptSpecializationDecl(
2483 ImplicitConceptSpecializationDecl *D) {
2484 // The size of the template list was read during creation of the Decl, so we
2485 // don't have to re-read it here.
2486 VisitDecl(D);
2487 llvm::SmallVector<TemplateArgument, 4> Args;
2488 for (unsigned I = 0; I < D->NumTemplateArgs; ++I)
2489 Args.push_back(Elt: Record.readTemplateArgument(/*Canonicalize=*/false));
2490 D->setTemplateArguments(Args);
2491}
2492
2493void ASTDeclReader::VisitRequiresExprBodyDecl(RequiresExprBodyDecl *D) {
2494}
2495
2496void ASTDeclReader::ReadSpecializations(ModuleFile &M, Decl *D,
2497 llvm::BitstreamCursor &DeclsCursor,
2498 bool IsPartial) {
2499 uint64_t Offset = ReadLocalOffset();
2500 bool Failed =
2501 Reader.ReadSpecializations(M, Cursor&: DeclsCursor, Offset, D, IsPartial);
2502 (void)Failed;
2503 assert(!Failed);
2504}
2505
2506RedeclarableResult
2507ASTDeclReader::VisitRedeclarableTemplateDecl(RedeclarableTemplateDecl *D) {
2508 RedeclarableResult Redecl = VisitRedeclarable(D);
2509
2510 // Make sure we've allocated the Common pointer first. We do this before
2511 // VisitTemplateDecl so that getCommonPtr() can be used during initialization.
2512 RedeclarableTemplateDecl *CanonD = D->getCanonicalDecl();
2513 if (!CanonD->Common) {
2514 CanonD->Common = CanonD->newCommon(C&: Reader.getContext());
2515 Reader.PendingDefinitions.insert(Ptr: CanonD);
2516 }
2517 D->Common = CanonD->Common;
2518
2519 // If this is the first declaration of the template, fill in the information
2520 // for the 'common' pointer.
2521 if (ThisDeclID == Redecl.getFirstID()) {
2522 if (auto *RTD = readDeclAs<RedeclarableTemplateDecl>()) {
2523 assert(RTD->getKind() == D->getKind() &&
2524 "InstantiatedFromMemberTemplate kind mismatch");
2525 D->setInstantiatedFromMemberTemplate(RTD);
2526 if (Record.readInt())
2527 D->setMemberSpecialization();
2528 }
2529 }
2530
2531 VisitTemplateDecl(D);
2532 D->IdentifierNamespace = Record.readInt();
2533
2534 return Redecl;
2535}
2536
2537void ASTDeclReader::VisitClassTemplateDecl(ClassTemplateDecl *D) {
2538 RedeclarableResult Redecl = VisitRedeclarableTemplateDecl(D);
2539 mergeRedeclarableTemplate(D, Redecl);
2540
2541 if (ThisDeclID == Redecl.getFirstID()) {
2542 // This ClassTemplateDecl owns a CommonPtr; read it to keep track of all of
2543 // the specializations.
2544 ReadSpecializations(M&: *Loc.F, D, DeclsCursor&: Loc.F->DeclsCursor, /*IsPartial=*/false);
2545 ReadSpecializations(M&: *Loc.F, D, DeclsCursor&: Loc.F->DeclsCursor, /*IsPartial=*/true);
2546 }
2547}
2548
2549void ASTDeclReader::VisitBuiltinTemplateDecl(BuiltinTemplateDecl *D) {
2550 llvm_unreachable("BuiltinTemplates are not serialized");
2551}
2552
2553/// TODO: Unify with ClassTemplateDecl version?
2554/// May require unifying ClassTemplateDecl and
2555/// VarTemplateDecl beyond TemplateDecl...
2556void ASTDeclReader::VisitVarTemplateDecl(VarTemplateDecl *D) {
2557 RedeclarableResult Redecl = VisitRedeclarableTemplateDecl(D);
2558 mergeRedeclarableTemplate(D, Redecl);
2559
2560 if (ThisDeclID == Redecl.getFirstID()) {
2561 // This VarTemplateDecl owns a CommonPtr; read it to keep track of all of
2562 // the specializations.
2563 ReadSpecializations(M&: *Loc.F, D, DeclsCursor&: Loc.F->DeclsCursor, /*IsPartial=*/false);
2564 ReadSpecializations(M&: *Loc.F, D, DeclsCursor&: Loc.F->DeclsCursor, /*IsPartial=*/true);
2565 }
2566}
2567
2568RedeclarableResult ASTDeclReader::VisitClassTemplateSpecializationDeclImpl(
2569 ClassTemplateSpecializationDecl *D) {
2570 RedeclarableResult Redecl = VisitCXXRecordDeclImpl(D);
2571
2572 ASTContext &C = Reader.getContext();
2573 if (Decl *InstD = readDecl()) {
2574 if (auto *CTD = dyn_cast<ClassTemplateDecl>(Val: InstD)) {
2575 D->SpecializedTemplate = CTD;
2576 } else {
2577 SmallVector<TemplateArgument, 8> TemplArgs;
2578 Record.readTemplateArgumentList(TemplArgs);
2579 TemplateArgumentList *ArgList
2580 = TemplateArgumentList::CreateCopy(Context&: C, Args: TemplArgs);
2581 auto *PS =
2582 new (C) ClassTemplateSpecializationDecl::
2583 SpecializedPartialSpecialization();
2584 PS->PartialSpecialization
2585 = cast<ClassTemplatePartialSpecializationDecl>(Val: InstD);
2586 PS->TemplateArgs = ArgList;
2587 D->SpecializedTemplate = PS;
2588 }
2589 }
2590
2591 SmallVector<TemplateArgument, 8> TemplArgs;
2592 Record.readTemplateArgumentList(TemplArgs, /*Canonicalize*/ true);
2593 D->TemplateArgs = TemplateArgumentList::CreateCopy(Context&: C, Args: TemplArgs);
2594 D->PointOfInstantiation = readSourceLocation();
2595 D->SpecializationKind = (TemplateSpecializationKind)Record.readInt();
2596 D->StrictPackMatch = Record.readBool();
2597
2598 bool writtenAsCanonicalDecl = Record.readInt();
2599 if (writtenAsCanonicalDecl) {
2600 auto *CanonPattern = readDeclAs<ClassTemplateDecl>();
2601 if (D->isCanonicalDecl()) { // It's kept in the folding set.
2602 // Set this as, or find, the canonical declaration for this specialization
2603 ClassTemplateSpecializationDecl *CanonSpec;
2604 if (auto *Partial = dyn_cast<ClassTemplatePartialSpecializationDecl>(Val: D)) {
2605 CanonSpec =
2606 CanonPattern->getCommonPtr()->PartialSpecializations.getOrInsert(
2607 N: Partial);
2608 } else {
2609 CanonSpec =
2610 CanonPattern->getCommonPtr()->Specializations.getOrInsert(N: D);
2611 }
2612 // If there was already a canonical specialization, merge into it.
2613 if (CanonSpec != D) {
2614 MergeImpl.mergeRedeclarable<TagDecl>(D, Existing: CanonSpec, Redecl);
2615
2616 // This declaration might be a definition. Merge with any existing
2617 // definition.
2618 if (auto *DDD = D->DefinitionData) {
2619 if (CanonSpec->DefinitionData)
2620 MergeImpl.MergeDefinitionData(D: CanonSpec, MergeDD: std::move(*DDD));
2621 else
2622 CanonSpec->DefinitionData = D->DefinitionData;
2623 }
2624 D->DefinitionData = CanonSpec->DefinitionData;
2625 }
2626 }
2627 }
2628
2629 // extern/template keyword locations for explicit instantiations
2630 if (Record.readBool()) {
2631 auto *ExplicitInfo = new (C) ExplicitInstantiationInfo;
2632 ExplicitInfo->ExternKeywordLoc = readSourceLocation();
2633 ExplicitInfo->TemplateKeywordLoc = readSourceLocation();
2634 D->ExplicitInfo = ExplicitInfo;
2635 }
2636
2637 if (Record.readBool())
2638 D->setTemplateArgsAsWritten(Record.readASTTemplateArgumentListInfo());
2639
2640 return Redecl;
2641}
2642
2643void ASTDeclReader::VisitClassTemplatePartialSpecializationDecl(
2644 ClassTemplatePartialSpecializationDecl *D) {
2645 // We need to read the template params first because redeclarable is going to
2646 // need them for profiling
2647 TemplateParameterList *Params = Record.readTemplateParameterList();
2648 D->TemplateParams = Params;
2649
2650 RedeclarableResult Redecl = VisitClassTemplateSpecializationDeclImpl(D);
2651
2652 // These are read/set from/to the first declaration.
2653 if (ThisDeclID == Redecl.getFirstID()) {
2654 D->InstantiatedFromMember.setPointer(
2655 readDeclAs<ClassTemplatePartialSpecializationDecl>());
2656 D->InstantiatedFromMember.setInt(Record.readInt());
2657 }
2658}
2659
2660void ASTDeclReader::VisitFunctionTemplateDecl(FunctionTemplateDecl *D) {
2661 RedeclarableResult Redecl = VisitRedeclarableTemplateDecl(D);
2662
2663 if (ThisDeclID == Redecl.getFirstID()) {
2664 // This FunctionTemplateDecl owns a CommonPtr; read it.
2665 ReadSpecializations(M&: *Loc.F, D, DeclsCursor&: Loc.F->DeclsCursor, /*IsPartial=*/false);
2666 }
2667}
2668
2669/// TODO: Unify with ClassTemplateSpecializationDecl version?
2670/// May require unifying ClassTemplate(Partial)SpecializationDecl and
2671/// VarTemplate(Partial)SpecializationDecl with a new data
2672/// structure Template(Partial)SpecializationDecl, and
2673/// using Template(Partial)SpecializationDecl as input type.
2674RedeclarableResult ASTDeclReader::VisitVarTemplateSpecializationDeclImpl(
2675 VarTemplateSpecializationDecl *D) {
2676 ASTContext &C = Reader.getContext();
2677 if (Decl *InstD = readDecl()) {
2678 if (auto *VTD = dyn_cast<VarTemplateDecl>(Val: InstD)) {
2679 D->SpecializedTemplate = VTD;
2680 } else {
2681 SmallVector<TemplateArgument, 8> TemplArgs;
2682 Record.readTemplateArgumentList(TemplArgs);
2683 TemplateArgumentList *ArgList = TemplateArgumentList::CreateCopy(
2684 Context&: C, Args: TemplArgs);
2685 auto *PS =
2686 new (C)
2687 VarTemplateSpecializationDecl::SpecializedPartialSpecialization();
2688 PS->PartialSpecialization =
2689 cast<VarTemplatePartialSpecializationDecl>(Val: InstD);
2690 PS->TemplateArgs = ArgList;
2691 D->SpecializedTemplate = PS;
2692 }
2693 }
2694
2695 // extern/template keyword locations for explicit instantiations
2696 if (Record.readBool()) {
2697 auto *ExplicitInfo = new (C) ExplicitInstantiationInfo;
2698 ExplicitInfo->ExternKeywordLoc = readSourceLocation();
2699 ExplicitInfo->TemplateKeywordLoc = readSourceLocation();
2700 D->ExplicitInfo = ExplicitInfo;
2701 }
2702
2703 if (Record.readBool())
2704 D->setTemplateArgsAsWritten(Record.readASTTemplateArgumentListInfo());
2705
2706 SmallVector<TemplateArgument, 8> TemplArgs;
2707 Record.readTemplateArgumentList(TemplArgs, /*Canonicalize*/ true);
2708 D->TemplateArgs = TemplateArgumentList::CreateCopy(Context&: C, Args: TemplArgs);
2709 D->PointOfInstantiation = readSourceLocation();
2710 D->SpecializationKind = (TemplateSpecializationKind)Record.readInt();
2711 D->IsCompleteDefinition = Record.readInt();
2712
2713 RedeclarableResult Redecl = VisitVarDeclImpl(VD: D);
2714
2715 bool writtenAsCanonicalDecl = Record.readInt();
2716 if (writtenAsCanonicalDecl) {
2717 auto *CanonPattern = readDeclAs<VarTemplateDecl>();
2718 if (D->isCanonicalDecl()) { // It's kept in the folding set.
2719 VarTemplateSpecializationDecl *CanonSpec;
2720 if (auto *Partial = dyn_cast<VarTemplatePartialSpecializationDecl>(Val: D)) {
2721 CanonSpec =
2722 CanonPattern->getCommonPtr()->PartialSpecializations.getOrInsert(
2723 N: Partial);
2724 } else {
2725 CanonSpec =
2726 CanonPattern->getCommonPtr()->Specializations.getOrInsert(N: D);
2727 }
2728 // If we already have a matching specialization, merge it.
2729 if (CanonSpec != D)
2730 MergeImpl.mergeRedeclarable<VarDecl>(D, Existing: CanonSpec, Redecl);
2731 }
2732 }
2733
2734 return Redecl;
2735}
2736
2737/// TODO: Unify with ClassTemplatePartialSpecializationDecl version?
2738/// May require unifying ClassTemplate(Partial)SpecializationDecl and
2739/// VarTemplate(Partial)SpecializationDecl with a new data
2740/// structure Template(Partial)SpecializationDecl, and
2741/// using Template(Partial)SpecializationDecl as input type.
2742void ASTDeclReader::VisitVarTemplatePartialSpecializationDecl(
2743 VarTemplatePartialSpecializationDecl *D) {
2744 TemplateParameterList *Params = Record.readTemplateParameterList();
2745 D->TemplateParams = Params;
2746
2747 RedeclarableResult Redecl = VisitVarTemplateSpecializationDeclImpl(D);
2748
2749 // These are read/set from/to the first declaration.
2750 if (ThisDeclID == Redecl.getFirstID()) {
2751 D->InstantiatedFromMember.setPointer(
2752 readDeclAs<VarTemplatePartialSpecializationDecl>());
2753 D->InstantiatedFromMember.setInt(Record.readInt());
2754 }
2755}
2756
2757void ASTDeclReader::VisitTemplateTypeParmDecl(TemplateTypeParmDecl *D) {
2758 VisitTypeDecl(TD: D);
2759
2760 D->setDeclaredWithTypename(Record.readInt());
2761
2762 bool TypeConstraintInitialized = D->hasTypeConstraint() && Record.readBool();
2763 if (TypeConstraintInitialized) {
2764 ConceptReference *CR = nullptr;
2765 if (Record.readBool())
2766 CR = Record.readConceptReference();
2767 Expr *ImmediatelyDeclaredConstraint = Record.readExpr();
2768 UnsignedOrNone ArgPackSubstIndex = Record.readUnsignedOrNone();
2769
2770 D->setTypeConstraint(CR, ImmediatelyDeclaredConstraint, ArgPackSubstIndex);
2771 D->NumExpanded = Record.readUnsignedOrNone();
2772 }
2773
2774 if (Record.readInt())
2775 D->setDefaultArgument(C: Reader.getContext(),
2776 DefArg: Record.readTemplateArgumentLoc());
2777}
2778
2779void ASTDeclReader::VisitNonTypeTemplateParmDecl(NonTypeTemplateParmDecl *D) {
2780 VisitDeclaratorDecl(DD: D);
2781 // TemplateParmPosition.
2782 D->setDepth(Record.readInt());
2783 D->setPosition(Record.readInt());
2784 if (D->hasPlaceholderTypeConstraint())
2785 D->setPlaceholderTypeConstraint(Record.readExpr());
2786 if (D->isExpandedParameterPack()) {
2787 auto TypesAndInfos =
2788 D->getTrailingObjects<std::pair<QualType, TypeSourceInfo *>>();
2789 for (unsigned I = 0, N = D->getNumExpansionTypes(); I != N; ++I) {
2790 new (&TypesAndInfos[I].first) QualType(Record.readType());
2791 TypesAndInfos[I].second = readTypeSourceInfo();
2792 }
2793 } else {
2794 // Rest of NonTypeTemplateParmDecl.
2795 D->ParameterPack = Record.readInt();
2796 if (Record.readInt())
2797 D->setDefaultArgument(C: Reader.getContext(),
2798 DefArg: Record.readTemplateArgumentLoc());
2799 }
2800}
2801
2802void ASTDeclReader::VisitTemplateTemplateParmDecl(TemplateTemplateParmDecl *D) {
2803 VisitTemplateDecl(D);
2804 D->ParameterKind = static_cast<TemplateNameKind>(Record.readInt());
2805 D->setDeclaredWithTypename(Record.readBool());
2806 // TemplateParmPosition.
2807 D->setDepth(Record.readInt());
2808 D->setPosition(Record.readInt());
2809 if (D->isExpandedParameterPack()) {
2810 auto **Data = D->getTrailingObjects();
2811 for (unsigned I = 0, N = D->getNumExpansionTemplateParameters();
2812 I != N; ++I)
2813 Data[I] = Record.readTemplateParameterList();
2814 } else {
2815 // Rest of TemplateTemplateParmDecl.
2816 D->ParameterPack = Record.readInt();
2817 if (Record.readInt())
2818 D->setDefaultArgument(C: Reader.getContext(),
2819 DefArg: Record.readTemplateArgumentLoc());
2820 }
2821}
2822
2823void ASTDeclReader::VisitTypeAliasTemplateDecl(TypeAliasTemplateDecl *D) {
2824 RedeclarableResult Redecl = VisitRedeclarableTemplateDecl(D);
2825 mergeRedeclarableTemplate(D, Redecl);
2826}
2827
2828void ASTDeclReader::VisitStaticAssertDecl(StaticAssertDecl *D) {
2829 VisitDecl(D);
2830 D->AssertExprAndFailed.setPointer(Record.readExpr());
2831 D->AssertExprAndFailed.setInt(Record.readInt());
2832 D->Message = cast_or_null<StringLiteral>(Val: Record.readExpr());
2833 D->RParenLoc = readSourceLocation();
2834}
2835
2836void ASTDeclReader::VisitExplicitInstantiationDecl(
2837 ExplicitInstantiationDecl *D) {
2838 // Note: trailing flags were already read by ReadDeclRecord and passed to
2839 // CreateDeserialized, so TypeAndFlags.getInt() is already set.
2840 VisitDecl(D);
2841 auto *Spec = readDeclAs<NamedDecl>();
2842 D->SpecAndTSK.setPointer(Spec);
2843 D->ExternLoc = readSourceLocation();
2844 D->NameLoc = readSourceLocation();
2845 TypeSourceInfo *TSI = readTypeSourceInfo();
2846 unsigned TSK = Record.readInt();
2847 D->SpecAndTSK.setInt(TSK);
2848 D->TypeAndFlags.setPointer(TSI); // preserves trailing flags in int bits
2849 // Read trailing objects.
2850 if (D->hasTrailingQualifier())
2851 *D->getTrailingObjects<NestedNameSpecifierLoc>() =
2852 Record.readNestedNameSpecifierLoc();
2853 if (D->hasTrailingArgsAsWritten())
2854 *D->getTrailingObjects<const ASTTemplateArgumentListInfo *>() =
2855 Record.readASTTemplateArgumentListInfo();
2856
2857 // Rebuild the ASTContext map from specialization to EID.
2858 if (Spec)
2859 Reader.getContext().addExplicitInstantiationDecl(Spec, EID: D);
2860}
2861
2862void ASTDeclReader::VisitCXXExpansionStmtDecl(CXXExpansionStmtDecl *D) {
2863 VisitDecl(D);
2864 D->Pattern = cast<CXXExpansionStmtPattern>(Val: Record.readStmt());
2865 D->Instantiations =
2866 cast_or_null<CXXExpansionStmtInstantiation>(Val: Record.readStmt());
2867 D->IndexNTTP = cast<NonTypeTemplateParmDecl>(Val: Record.readDeclRef());
2868}
2869
2870void ASTDeclReader::VisitEmptyDecl(EmptyDecl *D) {
2871 VisitDecl(D);
2872}
2873
2874void ASTDeclReader::VisitLifetimeExtendedTemporaryDecl(
2875 LifetimeExtendedTemporaryDecl *D) {
2876 VisitDecl(D);
2877 D->ExtendingDecl = readDeclAs<ValueDecl>();
2878 D->ExprWithTemporary = Record.readStmt();
2879 if (Record.readInt()) {
2880 D->Value = new (D->getASTContext()) APValue(Record.readAPValue());
2881 D->getASTContext().addDestruction(Ptr: D->Value);
2882 }
2883 D->ManglingNumber = Record.readInt();
2884 mergeMergeable(D);
2885}
2886
2887void ASTDeclReader::VisitDeclContext(DeclContext *DC,
2888 LookupBlockOffsets &Offsets) {
2889 Offsets.LexicalOffset = ReadLocalOffset();
2890 Offsets.VisibleOffset = ReadLocalOffset();
2891 Offsets.ModuleLocalOffset = ReadLocalOffset();
2892 Offsets.TULocalOffset = ReadLocalOffset();
2893}
2894
2895template <typename T>
2896RedeclarableResult ASTDeclReader::VisitRedeclarable(Redeclarable<T> *D) {
2897 GlobalDeclID FirstDeclID = readDeclID();
2898 Decl *MergeWith = nullptr;
2899
2900 bool IsKeyDecl = ThisDeclID == FirstDeclID;
2901 bool IsFirstLocalDecl = false;
2902
2903 uint64_t RedeclOffset = 0;
2904
2905 // invalid FirstDeclID indicates that this declaration was the only
2906 // declaration of its entity, and is used for space optimization.
2907 if (FirstDeclID.isInvalid()) {
2908 FirstDeclID = ThisDeclID;
2909 IsKeyDecl = true;
2910 IsFirstLocalDecl = true;
2911 } else if (unsigned N = Record.readInt()) {
2912 // This declaration was the first local declaration, but may have imported
2913 // other declarations.
2914 IsKeyDecl = N == 1;
2915 IsFirstLocalDecl = true;
2916
2917 // We have some declarations that must be before us in our redeclaration
2918 // chain. Read them now, and remember that we ought to merge with one of
2919 // them.
2920 // FIXME: Provide a known merge target to the second and subsequent such
2921 // declaration.
2922 for (unsigned I = 0; I != N - 1; ++I)
2923 MergeWith = readDecl();
2924
2925 RedeclOffset = ReadLocalOffset();
2926 } else {
2927 // This declaration was not the first local declaration. Read the first
2928 // local declaration now, to trigger the import of other redeclarations.
2929 (void)readDecl();
2930 }
2931
2932 auto *FirstDecl = cast_or_null<T>(Reader.GetDecl(ID: FirstDeclID));
2933 if (FirstDecl != D) {
2934 // We delay loading of the redeclaration chain to avoid deeply nested calls.
2935 // We temporarily set the first (canonical) declaration as the previous one
2936 // which is the one that matters and mark the real previous DeclID to be
2937 // loaded & attached later on.
2938 D->RedeclLink = Redeclarable<T>::PreviousDeclLink(FirstDecl);
2939 D->First = FirstDecl->getCanonicalDecl();
2940 }
2941
2942 auto *DAsT = static_cast<T *>(D);
2943
2944 // Note that we need to load local redeclarations of this decl and build a
2945 // decl chain for them. This must happen *after* we perform the preloading
2946 // above; this ensures that the redeclaration chain is built in the correct
2947 // order.
2948 if (IsFirstLocalDecl)
2949 Reader.PendingDeclChains.push_back(Elt: std::make_pair(DAsT, RedeclOffset));
2950
2951 return RedeclarableResult(MergeWith, FirstDeclID, IsKeyDecl);
2952}
2953
2954/// Attempts to merge the given declaration (D) with another declaration
2955/// of the same entity.
2956template <typename T>
2957void ASTDeclReader::mergeRedeclarable(Redeclarable<T> *DBase,
2958 RedeclarableResult &Redecl) {
2959 // If modules are not available, there is no reason to perform this merge.
2960 if (!Reader.getContext().getLangOpts().Modules)
2961 return;
2962
2963 // If we're not the canonical declaration, we don't need to merge.
2964 if (!DBase->isFirstDecl())
2965 return;
2966
2967 auto *D = static_cast<T *>(DBase);
2968
2969 if (auto *Existing = Redecl.getKnownMergeTarget())
2970 // We already know of an existing declaration we should merge with.
2971 MergeImpl.mergeRedeclarable(D, cast<T>(Existing), Redecl);
2972 else if (FindExistingResult ExistingRes = findExisting(D))
2973 if (T *Existing = ExistingRes)
2974 MergeImpl.mergeRedeclarable(D, Existing, Redecl);
2975}
2976
2977/// Attempt to merge D with a previous declaration of the same lambda, which is
2978/// found by its index within its context declaration, if it has one.
2979///
2980/// We can't look up lambdas in their enclosing lexical or semantic context in
2981/// general, because for lambdas in variables, both of those might be a
2982/// namespace or the translation unit.
2983void ASTDeclMerger::mergeLambda(CXXRecordDecl *D, RedeclarableResult &Redecl,
2984 Decl &Context, unsigned IndexInContext) {
2985 // If modules are not available, there is no reason to perform this merge.
2986 if (!Reader.getContext().getLangOpts().Modules)
2987 return;
2988
2989 // If we're not the canonical declaration, we don't need to merge.
2990 if (!D->isFirstDecl())
2991 return;
2992
2993 if (auto *Existing = Redecl.getKnownMergeTarget())
2994 // We already know of an existing declaration we should merge with.
2995 mergeRedeclarable(D, Existing: cast<TagDecl>(Val: Existing), Redecl);
2996
2997 // Look up this lambda to see if we've seen it before. If so, merge with the
2998 // one we already loaded.
2999 auto *&Slot = Reader.getContext().getLambdaDeclarationSlotForMerging(
3000 ContextDecl: &Context, IndexInContext);
3001 if (TagDecl *PrevDecl = Slot)
3002 mergeRedeclarable(D, Existing: PrevDecl, Redecl);
3003 else
3004 Slot = D;
3005}
3006
3007void ASTDeclReader::mergeRedeclarableTemplate(RedeclarableTemplateDecl *D,
3008 RedeclarableResult &Redecl) {
3009 mergeRedeclarable(DBase: D, Redecl);
3010 // If we merged the template with a prior declaration chain, merge the
3011 // common pointer.
3012 // FIXME: Actually merge here, don't just overwrite.
3013 D->Common = D->getCanonicalDecl()->Common;
3014}
3015
3016/// "Cast" to type T, asserting if we don't have an implicit conversion.
3017/// We use this to put code in a template that will only be valid for certain
3018/// instantiations.
3019template<typename T> static T assert_cast(T t) { return t; }
3020template<typename T> static T assert_cast(...) {
3021 llvm_unreachable("bad assert_cast");
3022}
3023
3024/// Merge together the pattern declarations from two template
3025/// declarations.
3026void ASTDeclMerger::mergeTemplatePattern(RedeclarableTemplateDecl *D,
3027 RedeclarableTemplateDecl *Existing,
3028 bool IsKeyDecl) {
3029 auto *DPattern = D->getTemplatedDecl();
3030 auto *ExistingPattern = Existing->getTemplatedDecl();
3031 RedeclarableResult Result(
3032 /*MergeWith*/ ExistingPattern,
3033 DPattern->getCanonicalDecl()->getGlobalID(), IsKeyDecl);
3034
3035 if (auto *DClass = dyn_cast<CXXRecordDecl>(Val: DPattern)) {
3036 // Merge with any existing definition.
3037 // FIXME: This is duplicated in several places. Refactor.
3038 auto *ExistingClass =
3039 cast<CXXRecordDecl>(Val: ExistingPattern)->getCanonicalDecl();
3040 if (auto *DDD = DClass->DefinitionData) {
3041 if (ExistingClass->DefinitionData) {
3042 MergeDefinitionData(D: ExistingClass, MergeDD: std::move(*DDD));
3043 } else {
3044 ExistingClass->DefinitionData = DClass->DefinitionData;
3045 // We may have skipped this before because we thought that DClass
3046 // was the canonical declaration.
3047 Reader.PendingDefinitions.insert(Ptr: DClass);
3048 }
3049 }
3050 DClass->DefinitionData = ExistingClass->DefinitionData;
3051
3052 return mergeRedeclarable(D: DClass, Existing: cast<TagDecl>(Val: ExistingPattern),
3053 Redecl&: Result);
3054 }
3055 if (auto *DFunction = dyn_cast<FunctionDecl>(Val: DPattern))
3056 return mergeRedeclarable(D: DFunction, Existing: cast<FunctionDecl>(Val: ExistingPattern),
3057 Redecl&: Result);
3058 if (auto *DVar = dyn_cast<VarDecl>(Val: DPattern))
3059 return mergeRedeclarable(D: DVar, Existing: cast<VarDecl>(Val: ExistingPattern), Redecl&: Result);
3060 if (auto *DAlias = dyn_cast<TypeAliasDecl>(Val: DPattern))
3061 return mergeRedeclarable(D: DAlias, Existing: cast<TypedefNameDecl>(Val: ExistingPattern),
3062 Redecl&: Result);
3063 llvm_unreachable("merged an unknown kind of redeclarable template");
3064}
3065
3066/// Attempts to merge the given declaration (D) with another declaration
3067/// of the same entity.
3068template <typename T>
3069void ASTDeclMerger::mergeRedeclarableImpl(Redeclarable<T> *DBase, T *Existing,
3070 GlobalDeclID KeyDeclID) {
3071 auto *D = static_cast<T *>(DBase);
3072 T *ExistingCanon = Existing->getCanonicalDecl();
3073 T *DCanon = D->getCanonicalDecl();
3074 if (ExistingCanon != DCanon) {
3075 // Have our redeclaration link point back at the canonical declaration
3076 // of the existing declaration, so that this declaration has the
3077 // appropriate canonical declaration.
3078 D->RedeclLink = Redeclarable<T>::PreviousDeclLink(ExistingCanon);
3079 D->First = ExistingCanon;
3080 ExistingCanon->Used |= D->Used;
3081 D->Used = false;
3082
3083 bool IsKeyDecl = KeyDeclID.isValid();
3084
3085 // When we merge a template, merge its pattern.
3086 if (auto *DTemplate = dyn_cast<RedeclarableTemplateDecl>(D))
3087 mergeTemplatePattern(
3088 D: DTemplate, Existing: assert_cast<RedeclarableTemplateDecl *>(ExistingCanon),
3089 IsKeyDecl);
3090
3091 // If this declaration is a key declaration, make a note of that.
3092 if (IsKeyDecl)
3093 Reader.KeyDecls[ExistingCanon].push_back(KeyDeclID);
3094 }
3095}
3096
3097/// ODR-like semantics for C/ObjC allow us to merge tag types and a structural
3098/// check in Sema guarantees the types can be merged (see C11 6.2.7/1 or C89
3099/// 6.1.2.6/1). Although most merging is done in Sema, we need to guarantee
3100/// that some types are mergeable during deserialization, otherwise name
3101/// lookup fails. This is the case for EnumConstantDecl.
3102static bool allowODRLikeMergeInC(NamedDecl *ND) {
3103 if (!ND)
3104 return false;
3105 // TODO: implement merge for other necessary decls.
3106 if (isa<EnumConstantDecl, FieldDecl, IndirectFieldDecl>(Val: ND))
3107 return true;
3108 return false;
3109}
3110
3111/// Attempts to merge LifetimeExtendedTemporaryDecl with
3112/// identical class definitions from two different modules.
3113void ASTDeclReader::mergeMergeable(LifetimeExtendedTemporaryDecl *D) {
3114 // If modules are not available, there is no reason to perform this merge.
3115 if (!Reader.getContext().getLangOpts().Modules)
3116 return;
3117
3118 LifetimeExtendedTemporaryDecl *LETDecl = D;
3119
3120 LifetimeExtendedTemporaryDecl *&LookupResult =
3121 Reader.LETemporaryForMerging[std::make_pair(
3122 x: LETDecl->getExtendingDecl(), y: LETDecl->getManglingNumber())];
3123 if (LookupResult)
3124 Reader.getContext().setPrimaryMergedDecl(D: LETDecl,
3125 Primary: LookupResult->getCanonicalDecl());
3126 else
3127 LookupResult = LETDecl;
3128}
3129
3130/// Attempts to merge the given declaration (D) with another declaration
3131/// of the same entity, for the case where the entity is not actually
3132/// redeclarable. This happens, for instance, when merging the fields of
3133/// identical class definitions from two different modules.
3134template<typename T>
3135void ASTDeclReader::mergeMergeable(Mergeable<T> *D) {
3136 // If modules are not available, there is no reason to perform this merge.
3137 if (!Reader.getContext().getLangOpts().Modules)
3138 return;
3139
3140 // ODR-based merging is performed in C++ and in some cases (tag types) in C.
3141 // Note that C identically-named things in different translation units are
3142 // not redeclarations, but may still have compatible types, where ODR-like
3143 // semantics may apply.
3144 if (!Reader.getContext().getLangOpts().CPlusPlus &&
3145 !allowODRLikeMergeInC(dyn_cast<NamedDecl>(static_cast<T*>(D))))
3146 return;
3147
3148 if (FindExistingResult ExistingRes = findExisting(D: static_cast<T*>(D)))
3149 if (T *Existing = ExistingRes)
3150 Reader.getContext().setPrimaryMergedDecl(D: static_cast<T *>(D),
3151 Primary: Existing->getCanonicalDecl());
3152}
3153
3154void ASTDeclReader::VisitOMPThreadPrivateDecl(OMPThreadPrivateDecl *D) {
3155 Record.readOMPChildren(Data: D->Data);
3156 VisitDecl(D);
3157}
3158
3159void ASTDeclReader::VisitOMPAllocateDecl(OMPAllocateDecl *D) {
3160 Record.readOMPChildren(Data: D->Data);
3161 VisitDecl(D);
3162}
3163
3164void ASTDeclReader::VisitOMPRequiresDecl(OMPRequiresDecl * D) {
3165 Record.readOMPChildren(Data: D->Data);
3166 VisitDecl(D);
3167}
3168
3169void ASTDeclReader::VisitOMPDeclareReductionDecl(OMPDeclareReductionDecl *D) {
3170 VisitValueDecl(VD: D);
3171 D->setLocation(readSourceLocation());
3172 Expr *In = Record.readExpr();
3173 Expr *Out = Record.readExpr();
3174 D->setCombinerData(InE: In, OutE: Out);
3175 Expr *Combiner = Record.readExpr();
3176 D->setCombiner(Combiner);
3177 Expr *Orig = Record.readExpr();
3178 Expr *Priv = Record.readExpr();
3179 D->setInitializerData(OrigE: Orig, PrivE: Priv);
3180 Expr *Init = Record.readExpr();
3181 auto IK = static_cast<OMPDeclareReductionInitKind>(Record.readInt());
3182 D->setInitializer(E: Init, IK);
3183 D->PrevDeclInScope = readDeclID().getRawValue();
3184}
3185
3186void ASTDeclReader::VisitOMPDeclareMapperDecl(OMPDeclareMapperDecl *D) {
3187 Record.readOMPChildren(Data: D->Data);
3188 VisitValueDecl(VD: D);
3189 D->VarName = Record.readDeclarationName();
3190 D->PrevDeclInScope = readDeclID().getRawValue();
3191}
3192
3193void ASTDeclReader::VisitOMPCapturedExprDecl(OMPCapturedExprDecl *D) {
3194 VisitVarDecl(VD: D);
3195}
3196
3197void ASTDeclReader::VisitOpenACCDeclareDecl(OpenACCDeclareDecl *D) {
3198 VisitDecl(D);
3199 D->DirKind = Record.readEnum<OpenACCDirectiveKind>();
3200 D->DirectiveLoc = Record.readSourceLocation();
3201 D->EndLoc = Record.readSourceLocation();
3202 Record.readOpenACCClauseList(Clauses: D->Clauses);
3203}
3204void ASTDeclReader::VisitOpenACCRoutineDecl(OpenACCRoutineDecl *D) {
3205 VisitDecl(D);
3206 D->DirKind = Record.readEnum<OpenACCDirectiveKind>();
3207 D->DirectiveLoc = Record.readSourceLocation();
3208 D->EndLoc = Record.readSourceLocation();
3209 D->ParensLoc = Record.readSourceRange();
3210 D->FuncRef = Record.readExpr();
3211 Record.readOpenACCClauseList(Clauses: D->Clauses);
3212}
3213
3214//===----------------------------------------------------------------------===//
3215// Attribute Reading
3216//===----------------------------------------------------------------------===//
3217
3218namespace {
3219class AttrReader {
3220 ASTRecordReader &Reader;
3221
3222public:
3223 AttrReader(ASTRecordReader &Reader) : Reader(Reader) {}
3224
3225 uint64_t readInt() {
3226 return Reader.readInt();
3227 }
3228
3229 bool readBool() { return Reader.readBool(); }
3230
3231 SourceRange readSourceRange() {
3232 return Reader.readSourceRange();
3233 }
3234
3235 SourceLocation readSourceLocation() {
3236 return Reader.readSourceLocation();
3237 }
3238
3239 Expr *readExpr() { return Reader.readExpr(); }
3240
3241 Attr *readAttr() { return Reader.readAttr(); }
3242
3243 std::string readString() {
3244 return Reader.readString();
3245 }
3246
3247 TypeSourceInfo *readTypeSourceInfo() {
3248 return Reader.readTypeSourceInfo();
3249 }
3250
3251 IdentifierInfo *readIdentifier() {
3252 return Reader.readIdentifier();
3253 }
3254
3255 VersionTuple readVersionTuple() {
3256 return Reader.readVersionTuple();
3257 }
3258
3259 OMPTraitInfo *readOMPTraitInfo() { return Reader.readOMPTraitInfo(); }
3260
3261 template <typename T> T *readDeclAs() { return Reader.readDeclAs<T>(); }
3262};
3263}
3264
3265Attr *ASTRecordReader::readAttr() {
3266 AttrReader Record(*this);
3267 auto V = Record.readInt();
3268 if (!V)
3269 return nullptr;
3270
3271 Attr *New = nullptr;
3272 // Kind is stored as a 1-based integer because 0 is used to indicate a null
3273 // Attr pointer.
3274 auto Kind = static_cast<attr::Kind>(V - 1);
3275 ASTContext &Context = getContext();
3276
3277 IdentifierInfo *AttrName = Record.readIdentifier();
3278 IdentifierInfo *ScopeName = Record.readIdentifier();
3279 SourceRange AttrRange = Record.readSourceRange();
3280 SourceLocation ScopeLoc = Record.readSourceLocation();
3281 unsigned ParsedKind = Record.readInt();
3282 unsigned Syntax = Record.readInt();
3283 unsigned SpellingIndex = Record.readInt();
3284 bool IsAlignas = (ParsedKind == AttributeCommonInfo::AT_Aligned &&
3285 Syntax == AttributeCommonInfo::AS_Keyword &&
3286 SpellingIndex == AlignedAttr::Keyword_alignas);
3287 bool IsRegularKeywordAttribute = Record.readBool();
3288
3289 AttributeCommonInfo Info(AttrName, AttributeScopeInfo(ScopeName, ScopeLoc),
3290 AttrRange, AttributeCommonInfo::Kind(ParsedKind),
3291 {AttributeCommonInfo::Syntax(Syntax), SpellingIndex,
3292 IsAlignas, IsRegularKeywordAttribute});
3293
3294#include "clang/Serialization/AttrPCHRead.inc"
3295
3296 assert(New && "Unable to decode attribute?");
3297 return New;
3298}
3299
3300/// Reads attributes from the current stream position.
3301void ASTRecordReader::readAttributes(AttrVec &Attrs) {
3302 for (unsigned I = 0, E = readInt(); I != E; ++I)
3303 if (auto *A = readAttr())
3304 Attrs.push_back(Elt: A);
3305}
3306
3307//===----------------------------------------------------------------------===//
3308// ASTReader Implementation
3309//===----------------------------------------------------------------------===//
3310
3311/// Note that we have loaded the declaration with the given
3312/// Index.
3313///
3314/// This routine notes that this declaration has already been loaded,
3315/// so that future GetDecl calls will return this declaration rather
3316/// than trying to load a new declaration.
3317inline void ASTReader::LoadedDecl(unsigned Index, Decl *D) {
3318 assert(!DeclsLoaded[Index] && "Decl loaded twice?");
3319 DeclsLoaded[Index] = D;
3320}
3321
3322/// Determine whether the consumer will be interested in seeing
3323/// this declaration (via HandleTopLevelDecl).
3324///
3325/// This routine should return true for anything that might affect
3326/// code generation, e.g., inline function definitions, Objective-C
3327/// declarations with metadata, etc.
3328bool ASTReader::isConsumerInterestedIn(Decl *D) {
3329 // An ObjCMethodDecl is never considered as "interesting" because its
3330 // implementation container always is.
3331
3332 // An ImportDecl or VarDecl imported from a module map module will get
3333 // emitted when we import the relevant module.
3334 if (isPartOfPerModuleInitializer(D)) {
3335 auto *M = D->getImportedOwningModule();
3336 if (M && M->Kind == Module::ModuleMapModule &&
3337 getContext().DeclMustBeEmitted(D))
3338 return false;
3339 }
3340
3341 if (isa<FileScopeAsmDecl, TopLevelStmtDecl, ObjCProtocolDecl, ObjCImplDecl,
3342 ImportDecl, PragmaCommentDecl, PragmaDetectMismatchDecl>(Val: D))
3343 return true;
3344 if (isa<OMPThreadPrivateDecl, OMPDeclareReductionDecl, OMPDeclareMapperDecl,
3345 OMPAllocateDecl, OMPRequiresDecl>(Val: D))
3346 return !D->getDeclContext()->isFunctionOrMethod();
3347 if (const auto *Var = dyn_cast<VarDecl>(Val: D))
3348 return Var->isFileVarDecl() &&
3349 (Var->isThisDeclarationADefinition() == VarDecl::Definition ||
3350 OMPDeclareTargetDeclAttr::isDeclareTargetDeclaration(VD: Var));
3351 if (const auto *Func = dyn_cast<FunctionDecl>(Val: D))
3352 return Func->doesThisDeclarationHaveABody() || PendingBodies.count(Key: D);
3353
3354 if (auto *ES = D->getASTContext().getExternalSource())
3355 if (ES->hasExternalDefinitions(D) == ExternalASTSource::EK_Never)
3356 return true;
3357
3358 return false;
3359}
3360
3361/// Get the correct cursor and offset for loading a declaration.
3362ASTReader::RecordLocation ASTReader::DeclCursorForID(GlobalDeclID ID,
3363 SourceLocation &Loc) {
3364 ModuleFile *M = getOwningModuleFile(ID);
3365 assert(M);
3366 unsigned LocalDeclIndex = ID.getLocalDeclIndex();
3367 const DeclOffset &DOffs = M->DeclOffsets[LocalDeclIndex];
3368 Loc = ReadSourceLocation(MF&: *M, Raw: DOffs.getRawLoc());
3369 return RecordLocation(M, DOffs.getBitOffset(DeclTypesBlockStartOffset: M->DeclsBlockStartOffset));
3370}
3371
3372ASTReader::RecordLocation ASTReader::getLocalBitOffset(uint64_t GlobalOffset) {
3373 auto I = GlobalBitOffsetsMap.find(K: GlobalOffset);
3374
3375 assert(I != GlobalBitOffsetsMap.end() && "Corrupted global bit offsets map");
3376 return RecordLocation(I->second, GlobalOffset - I->second->GlobalBitOffset);
3377}
3378
3379uint64_t ASTReader::getGlobalBitOffset(ModuleFile &M, uint64_t LocalOffset) {
3380 return LocalOffset + M.GlobalBitOffset;
3381}
3382
3383CXXRecordDecl *
3384ASTDeclReader::getOrFakePrimaryClassDefinition(ASTReader &Reader,
3385 CXXRecordDecl *RD) {
3386 // Try to dig out the definition.
3387 auto *DD = RD->DefinitionData;
3388 if (!DD)
3389 DD = RD->getCanonicalDecl()->DefinitionData;
3390
3391 // If there's no definition yet, then DC's definition is added by an update
3392 // record, but we've not yet loaded that update record. In this case, we
3393 // commit to DC being the canonical definition now, and will fix this when
3394 // we load the update record.
3395 if (!DD) {
3396 DD = new (Reader.getContext()) struct CXXRecordDecl::DefinitionData(RD);
3397 RD->setCompleteDefinition(true);
3398 RD->DefinitionData = DD;
3399 RD->getCanonicalDecl()->DefinitionData = DD;
3400
3401 // Track that we did this horrible thing so that we can fix it later.
3402 Reader.PendingFakeDefinitionData.insert(
3403 KV: std::make_pair(x&: DD, y: ASTReader::PendingFakeDefinitionKind::Fake));
3404 }
3405
3406 return DD->Definition;
3407}
3408
3409/// Find the context in which we should search for previous declarations when
3410/// looking for declarations to merge.
3411DeclContext *ASTDeclReader::getPrimaryContextForMerging(ASTReader &Reader,
3412 DeclContext *DC) {
3413 if (auto *ND = dyn_cast<NamespaceDecl>(Val: DC))
3414 return ND->getFirstDecl();
3415
3416 if (auto *RD = dyn_cast<CXXRecordDecl>(Val: DC))
3417 return getOrFakePrimaryClassDefinition(Reader, RD);
3418
3419 if (auto *RD = dyn_cast<RecordDecl>(Val: DC))
3420 return RD->getDefinition();
3421
3422 if (auto *ED = dyn_cast<EnumDecl>(Val: DC))
3423 return ED->getDefinition();
3424
3425 if (auto *OID = dyn_cast<ObjCInterfaceDecl>(Val: DC))
3426 return OID->getDefinition();
3427
3428 // We can see the TU here only if we have no Sema object. It is possible
3429 // we're in clang-repl so we still need to get the primary context.
3430 if (auto *TU = dyn_cast<TranslationUnitDecl>(Val: DC))
3431 return TU->getPrimaryContext();
3432
3433 return nullptr;
3434}
3435
3436ASTDeclReader::FindExistingResult::~FindExistingResult() {
3437 // Record that we had a typedef name for linkage whether or not we merge
3438 // with that declaration.
3439 if (TypedefNameForLinkage) {
3440 DeclContext *DC = New->getDeclContext()->getRedeclContext();
3441 Reader.ImportedTypedefNamesForLinkage.insert(
3442 KV: std::make_pair(x: std::make_pair(x&: DC, y&: TypedefNameForLinkage), y&: New));
3443 return;
3444 }
3445
3446 if (!AddResult || Existing)
3447 return;
3448
3449 DeclarationName Name = New->getDeclName();
3450 DeclContext *DC = New->getDeclContext()->getRedeclContext();
3451 if (needsAnonymousDeclarationNumber(D: New)) {
3452 setAnonymousDeclForMerging(Reader, DC: New->getLexicalDeclContext(),
3453 Index: AnonymousDeclNumber, D: New);
3454 } else if (DC->isTranslationUnit() &&
3455 !Reader.getContext().getLangOpts().CPlusPlus) {
3456 if (Reader.getIdResolver().tryAddTopLevelDecl(D: New, Name))
3457 Reader.PendingFakeLookupResults[Name.getAsIdentifierInfo()]
3458 .push_back(Elt: New);
3459 } else if (DeclContext *MergeDC = getPrimaryContextForMerging(Reader, DC)) {
3460 // Add the declaration to its redeclaration context so later merging
3461 // lookups will find it.
3462 MergeDC->makeDeclVisibleInContextImpl(D: New, /*Internal*/true);
3463 }
3464}
3465
3466/// Find the declaration that should be merged into, given the declaration found
3467/// by name lookup. If we're not merging with a UsingShadowDecl but Found is a
3468/// UsingShadowDecl, we need to skip the UsingShadowDecl. If we're merging an
3469/// anonymous declaration within a typedef, we need a matching typedef, and we
3470/// merge with the type inside it.
3471static NamedDecl *getDeclForMerging(NamedDecl *Found,
3472 bool IsTypedefNameForLinkage,
3473 bool FilteringUsingShadowDecl) {
3474 // If the taregt declaration we want is not a UsingShadowDecl, we don't need
3475 // to return the UsingShadowDecl at all.
3476 if (auto *USD = dyn_cast<UsingShadowDecl>(Val: Found);
3477 USD && FilteringUsingShadowDecl)
3478 return getDeclForMerging(Found: USD->getTargetDecl(), IsTypedefNameForLinkage,
3479 FilteringUsingShadowDecl);
3480
3481 if (!IsTypedefNameForLinkage)
3482 return Found;
3483
3484 // If we found a typedef declaration that gives a name to some other
3485 // declaration, then we want that inner declaration. Declarations from
3486 // AST files are handled via ImportedTypedefNamesForLinkage.
3487 if (Found->isFromASTFile())
3488 return nullptr;
3489
3490 if (auto *TND = dyn_cast<TypedefNameDecl>(Val: Found))
3491 return TND->getAnonDeclWithTypedefName(/*AnyRedecl*/true);
3492
3493 return nullptr;
3494}
3495
3496/// Find the declaration to use to populate the anonymous declaration table
3497/// for the given lexical DeclContext. We only care about finding local
3498/// definitions of the context; we'll merge imported ones as we go.
3499DeclContext *
3500ASTDeclReader::getPrimaryDCForAnonymousDecl(DeclContext *LexicalDC) {
3501 // For classes, we track the definition as we merge.
3502 if (auto *RD = dyn_cast<CXXRecordDecl>(Val: LexicalDC)) {
3503 auto *DD = RD->getCanonicalDecl()->DefinitionData;
3504 return DD ? DD->Definition : nullptr;
3505 } else if (auto *OID = dyn_cast<ObjCInterfaceDecl>(Val: LexicalDC)) {
3506 return OID->getCanonicalDecl()->getDefinition();
3507 }
3508
3509 // For anything else, walk its merged redeclarations looking for a definition.
3510 // Note that we can't just call getDefinition here because the redeclaration
3511 // chain isn't wired up.
3512 for (auto *D : merged_redecls(D: cast<Decl>(Val: LexicalDC))) {
3513 if (auto *FD = dyn_cast<FunctionDecl>(Val: D))
3514 if (FD->isThisDeclarationADefinition())
3515 return FD;
3516 if (auto *MD = dyn_cast<ObjCMethodDecl>(Val: D))
3517 if (MD->isThisDeclarationADefinition())
3518 return MD;
3519 if (auto *RD = dyn_cast<RecordDecl>(Val: D))
3520 if (RD->isThisDeclarationADefinition())
3521 return RD;
3522 }
3523
3524 // No merged definition yet.
3525 return nullptr;
3526}
3527
3528NamedDecl *ASTDeclReader::getAnonymousDeclForMerging(ASTReader &Reader,
3529 DeclContext *DC,
3530 unsigned Index) {
3531 // If the lexical context has been merged, look into the now-canonical
3532 // definition.
3533 auto *CanonDC = cast<Decl>(Val: DC)->getCanonicalDecl();
3534
3535 // If we've seen this before, return the canonical declaration.
3536 auto &Previous = Reader.AnonymousDeclarationsForMerging[CanonDC];
3537 if (Index < Previous.size() && Previous[Index])
3538 return Previous[Index];
3539
3540 // If this is the first time, but we have parsed a declaration of the context,
3541 // build the anonymous declaration list from the parsed declaration.
3542 auto *PrimaryDC = getPrimaryDCForAnonymousDecl(LexicalDC: DC);
3543 auto needToNumberAnonymousDeclsWithin = [](Decl *D) {
3544 if (!D->isFromASTFile())
3545 return true;
3546 // If this is a class template specialization from an AST file, has at least
3547 // one field, but none of the fields have been loaded from external storage,
3548 // this is a situation where the class template specialization decl
3549 // was imported but the definition was instantiated within the source.
3550 // In such a case, we still need to number the anonymous decls.
3551 auto *CTSD = dyn_cast<ClassTemplateSpecializationDecl>(Val: D);
3552 return CTSD && !CTSD->noload_field_empty() &&
3553 !CTSD->hasLoadedFieldsFromExternalStorage();
3554 };
3555 if (PrimaryDC && needToNumberAnonymousDeclsWithin(cast<Decl>(Val: PrimaryDC))) {
3556 numberAnonymousDeclsWithin(DC: PrimaryDC, Visit: [&](NamedDecl *ND, unsigned Number) {
3557 if (Previous.size() == Number)
3558 Previous.push_back(Elt: cast<NamedDecl>(Val: ND->getCanonicalDecl()));
3559 else
3560 Previous[Number] = cast<NamedDecl>(Val: ND->getCanonicalDecl());
3561 });
3562 }
3563
3564 return Index < Previous.size() ? Previous[Index] : nullptr;
3565}
3566
3567void ASTDeclReader::setAnonymousDeclForMerging(ASTReader &Reader,
3568 DeclContext *DC, unsigned Index,
3569 NamedDecl *D) {
3570 auto *CanonDC = cast<Decl>(Val: DC)->getCanonicalDecl();
3571
3572 auto &Previous = Reader.AnonymousDeclarationsForMerging[CanonDC];
3573 if (Index >= Previous.size())
3574 Previous.resize(N: Index + 1);
3575 if (!Previous[Index])
3576 Previous[Index] = D;
3577}
3578
3579ASTDeclReader::FindExistingResult ASTDeclReader::findExisting(NamedDecl *D) {
3580 DeclarationName Name = TypedefNameForLinkage ? TypedefNameForLinkage
3581 : D->getDeclName();
3582
3583 if (!Name && !needsAnonymousDeclarationNumber(D)) {
3584 // Don't bother trying to find unnamed declarations that are in
3585 // unmergeable contexts.
3586 FindExistingResult Result(Reader, D, /*Existing=*/nullptr,
3587 AnonymousDeclNumber, TypedefNameForLinkage);
3588 Result.suppress();
3589 return Result;
3590 }
3591
3592 ASTContext &C = Reader.getContext();
3593 DeclContext *DC = D->getDeclContext()->getRedeclContext();
3594 if (TypedefNameForLinkage) {
3595 auto It = Reader.ImportedTypedefNamesForLinkage.find(
3596 Val: std::make_pair(x&: DC, y&: TypedefNameForLinkage));
3597 if (It != Reader.ImportedTypedefNamesForLinkage.end())
3598 if (C.isSameEntity(X: It->second, Y: D))
3599 return FindExistingResult(Reader, D, It->second, AnonymousDeclNumber,
3600 TypedefNameForLinkage);
3601 // Go on to check in other places in case an existing typedef name
3602 // was not imported.
3603 }
3604
3605 if (needsAnonymousDeclarationNumber(D)) {
3606 // This is an anonymous declaration that we may need to merge. Look it up
3607 // in its context by number.
3608 if (auto *Existing = getAnonymousDeclForMerging(
3609 Reader, DC: D->getLexicalDeclContext(), Index: AnonymousDeclNumber))
3610 if (C.isSameEntity(X: Existing, Y: D))
3611 return FindExistingResult(Reader, D, Existing, AnonymousDeclNumber,
3612 TypedefNameForLinkage);
3613 } else if (DC->isTranslationUnit() &&
3614 !Reader.getContext().getLangOpts().CPlusPlus) {
3615 IdentifierResolver &IdResolver = Reader.getIdResolver();
3616
3617 // Temporarily consider the identifier to be up-to-date. We don't want to
3618 // cause additional lookups here.
3619 class UpToDateIdentifierRAII {
3620 IdentifierInfo *II;
3621 bool WasOutToDate = false;
3622
3623 public:
3624 explicit UpToDateIdentifierRAII(IdentifierInfo *II) : II(II) {
3625 if (II) {
3626 WasOutToDate = II->isOutOfDate();
3627 if (WasOutToDate)
3628 II->setOutOfDate(false);
3629 }
3630 }
3631
3632 ~UpToDateIdentifierRAII() {
3633 if (WasOutToDate)
3634 II->setOutOfDate(true);
3635 }
3636 } UpToDate(Name.getAsIdentifierInfo());
3637
3638 for (IdentifierResolver::iterator I = IdResolver.begin(Name),
3639 IEnd = IdResolver.end();
3640 I != IEnd; ++I) {
3641 if (NamedDecl *Existing =
3642 getDeclForMerging(Found: *I, IsTypedefNameForLinkage: TypedefNameForLinkage,
3643 /*FilteringUsingShadowDecl=*/false))
3644 if (C.isSameEntity(X: Existing, Y: D))
3645 return FindExistingResult(Reader, D, Existing, AnonymousDeclNumber,
3646 TypedefNameForLinkage);
3647 }
3648 } else if (DeclContext *MergeDC = getPrimaryContextForMerging(Reader, DC)) {
3649 DeclContext::lookup_result R = MergeDC->noload_lookup(Name);
3650 for (DeclContext::lookup_iterator I = R.begin(), E = R.end(); I != E; ++I) {
3651 if (NamedDecl *Existing = getDeclForMerging(Found: *I, IsTypedefNameForLinkage: TypedefNameForLinkage,
3652 FilteringUsingShadowDecl: !isa<UsingShadowDecl>(Val: D)))
3653 if (C.isSameEntity(X: Existing, Y: D)) {
3654 return FindExistingResult(Reader, D, Existing, AnonymousDeclNumber,
3655 TypedefNameForLinkage);
3656 }
3657 }
3658 } else {
3659 // Not in a mergeable context.
3660 return FindExistingResult(Reader);
3661 }
3662
3663 // If this declaration is from a merged context, make a note that we need to
3664 // check that the canonical definition of that context contains the decl.
3665 //
3666 // Note that we don't perform ODR checks for decls from the global module
3667 // fragment.
3668 //
3669 // FIXME: We should do something similar if we merge two definitions of the
3670 // same template specialization into the same CXXRecordDecl.
3671 auto MergedDCIt = Reader.MergedDeclContexts.find(Val: D->getLexicalDeclContext());
3672 if (MergedDCIt != Reader.MergedDeclContexts.end() &&
3673 !shouldSkipCheckingODR(D) && MergedDCIt->second == D->getDeclContext() &&
3674 !shouldSkipCheckingODR(D: cast<Decl>(Val: D->getDeclContext())))
3675 Reader.PendingOdrMergeChecks.push_back(Elt: D);
3676
3677 return FindExistingResult(Reader, D, /*Existing=*/nullptr,
3678 AnonymousDeclNumber, TypedefNameForLinkage);
3679}
3680
3681template<typename DeclT>
3682Decl *ASTDeclReader::getMostRecentDeclImpl(Redeclarable<DeclT> *D) {
3683 return D->RedeclLink.getLatestNotUpdated();
3684}
3685
3686Decl *ASTDeclReader::getMostRecentDeclImpl(...) {
3687 llvm_unreachable("getMostRecentDecl on non-redeclarable declaration");
3688}
3689
3690Decl *ASTDeclReader::getMostRecentDecl(Decl *D) {
3691 assert(D);
3692
3693 switch (D->getKind()) {
3694#define ABSTRACT_DECL(TYPE)
3695#define DECL(TYPE, BASE) \
3696 case Decl::TYPE: \
3697 return getMostRecentDeclImpl(cast<TYPE##Decl>(D));
3698#include "clang/AST/DeclNodes.inc"
3699 }
3700 llvm_unreachable("unknown decl kind");
3701}
3702
3703Decl *ASTReader::getMostRecentExistingDecl(Decl *D) {
3704 return ASTDeclReader::getMostRecentDecl(D: D->getCanonicalDecl());
3705}
3706
3707namespace {
3708void mergeInheritableAttributes(ASTReader &Reader, Decl *D, Decl *Previous) {
3709 InheritableAttr *NewAttr = nullptr;
3710 ASTContext &Context = Reader.getContext();
3711 const auto *IA = Previous->getAttr<MSInheritanceAttr>();
3712
3713 if (IA && !D->hasAttr<MSInheritanceAttr>()) {
3714 NewAttr = cast<InheritableAttr>(Val: IA->clone(C&: Context));
3715 NewAttr->setInherited(true);
3716 D->addAttr(A: NewAttr);
3717 }
3718
3719 if (!D->hasAttr<AvailabilityAttr>()) {
3720 for (const auto *AA : Previous->specific_attrs<AvailabilityAttr>()) {
3721 NewAttr = AA->clone(C&: Context);
3722 NewAttr->setInherited(true);
3723 D->addAttr(A: NewAttr);
3724 }
3725 }
3726}
3727} // namespace
3728
3729template<typename DeclT>
3730void ASTDeclReader::attachPreviousDeclImpl(ASTReader &Reader,
3731 Redeclarable<DeclT> *D,
3732 Decl *Previous, Decl *Canon) {
3733 D->RedeclLink.setPrevious(cast<DeclT>(Previous));
3734 D->First = cast<DeclT>(Previous)->First;
3735}
3736
3737namespace clang {
3738
3739template<>
3740void ASTDeclReader::attachPreviousDeclImpl(ASTReader &Reader,
3741 Redeclarable<VarDecl> *D,
3742 Decl *Previous, Decl *Canon) {
3743 auto *PrevVD = cast<VarDecl>(Val: Previous);
3744 D->RedeclLink.setPrevious(PrevVD);
3745 D->First = PrevVD->First;
3746
3747 // We should keep at most one definition on the chain.
3748 // FIXME: Cache the definition once we've found it. Building a chain with
3749 // N definitions currently takes O(N^2) time here.
3750 auto *VD = static_cast<VarDecl *>(D);
3751 if (VD->isThisDeclarationADefinition() == VarDecl::Definition) {
3752 for (VarDecl *CurD = PrevVD; CurD; CurD = CurD->getPreviousDecl()) {
3753 if (CurD->isThisDeclarationADefinition() == VarDecl::Definition) {
3754 // FIXME: For header modules, there are some problems if we don't
3755 // demote definition to declaration.
3756 // See clang/test/Modules/module-init-forcelly-loaded-module.cpp
3757 // for example. Maybe we are able to handle the CodeGen part
3758 // to avoid it emitting duplicated definitions. But just workaround
3759 // now temporarily.
3760 if (VD->getOwningModule() &&
3761 VD->getOwningModule()->isHeaderLikeModule())
3762 VD->demoteThisDefinitionToDeclaration();
3763 Reader.mergeDefinitionVisibility(Def: CurD, MergedDef: VD);
3764 break;
3765 }
3766 }
3767 }
3768}
3769
3770static bool isUndeducedReturnType(QualType T) {
3771 auto *DT = T->getContainedDeducedType();
3772 return DT && !DT->isDeduced();
3773}
3774
3775template<>
3776void ASTDeclReader::attachPreviousDeclImpl(ASTReader &Reader,
3777 Redeclarable<FunctionDecl> *D,
3778 Decl *Previous, Decl *Canon) {
3779 auto *FD = static_cast<FunctionDecl *>(D);
3780 auto *PrevFD = cast<FunctionDecl>(Val: Previous);
3781
3782 FD->RedeclLink.setPrevious(PrevFD);
3783 FD->First = PrevFD->First;
3784
3785 // If the previous declaration is an inline function declaration, then this
3786 // declaration is too.
3787 if (PrevFD->isInlined() != FD->isInlined()) {
3788 // FIXME: [dcl.fct.spec]p4:
3789 // If a function with external linkage is declared inline in one
3790 // translation unit, it shall be declared inline in all translation
3791 // units in which it appears.
3792 //
3793 // Be careful of this case:
3794 //
3795 // module A:
3796 // template<typename T> struct X { void f(); };
3797 // template<typename T> inline void X<T>::f() {}
3798 //
3799 // module B instantiates the declaration of X<int>::f
3800 // module C instantiates the definition of X<int>::f
3801 //
3802 // If module B and C are merged, we do not have a violation of this rule.
3803 FD->setImplicitlyInline(true);
3804 }
3805
3806 auto *FPT = FD->getType()->getAs<FunctionProtoType>();
3807 auto *PrevFPT = PrevFD->getType()->getAs<FunctionProtoType>();
3808 if (FPT && PrevFPT) {
3809 // If we need to propagate an exception specification along the redecl
3810 // chain, make a note of that so that we can do so later.
3811 bool IsUnresolved = isUnresolvedExceptionSpec(ESpecType: FPT->getExceptionSpecType());
3812 bool WasUnresolved =
3813 isUnresolvedExceptionSpec(ESpecType: PrevFPT->getExceptionSpecType());
3814 if (IsUnresolved != WasUnresolved)
3815 Reader.PendingExceptionSpecUpdates.insert(
3816 KV: {Canon, IsUnresolved ? PrevFD : FD});
3817
3818 // If we need to propagate a deduced return type along the redecl chain,
3819 // make a note of that so that we can do it later.
3820 bool IsUndeduced = isUndeducedReturnType(T: FPT->getReturnType());
3821 bool WasUndeduced = isUndeducedReturnType(T: PrevFPT->getReturnType());
3822 if (IsUndeduced != WasUndeduced)
3823 Reader.PendingDeducedTypeUpdates.insert(
3824 KV: {cast<FunctionDecl>(Val: Canon),
3825 (IsUndeduced ? PrevFPT : FPT)->getReturnType()});
3826 }
3827}
3828
3829} // namespace clang
3830
3831void ASTDeclReader::attachPreviousDeclImpl(ASTReader &Reader, ...) {
3832 llvm_unreachable("attachPreviousDecl on non-redeclarable declaration");
3833}
3834
3835/// Inherit the default template argument from \p From to \p To. Returns
3836/// \c false if there is no default template for \p From.
3837template <typename ParmDecl>
3838static bool inheritDefaultTemplateArgument(ASTContext &Context, ParmDecl *From,
3839 Decl *ToD) {
3840 auto *To = cast<ParmDecl>(ToD);
3841 if (!From->hasDefaultArgument())
3842 return false;
3843 To->setInheritedDefaultArgument(Context, From);
3844 return true;
3845}
3846
3847static void inheritDefaultTemplateArguments(ASTContext &Context,
3848 TemplateDecl *From,
3849 TemplateDecl *To) {
3850 auto *FromTP = From->getTemplateParameters();
3851 auto *ToTP = To->getTemplateParameters();
3852 assert(FromTP->size() == ToTP->size() && "merged mismatched templates?");
3853
3854 for (unsigned I = 0, N = FromTP->size(); I != N; ++I) {
3855 NamedDecl *FromParam = FromTP->getParam(Idx: I);
3856 NamedDecl *ToParam = ToTP->getParam(Idx: I);
3857
3858 if (auto *FTTP = dyn_cast<TemplateTypeParmDecl>(Val: FromParam))
3859 inheritDefaultTemplateArgument(Context, From: FTTP, ToD: ToParam);
3860 else if (auto *FNTTP = dyn_cast<NonTypeTemplateParmDecl>(Val: FromParam))
3861 inheritDefaultTemplateArgument(Context, From: FNTTP, ToD: ToParam);
3862 else
3863 inheritDefaultTemplateArgument(
3864 Context, From: cast<TemplateTemplateParmDecl>(Val: FromParam), ToD: ToParam);
3865 }
3866}
3867
3868// [basic.link]/p10:
3869// If two declarations of an entity are attached to different modules,
3870// the program is ill-formed;
3871void ASTDeclReader::checkMultipleDefinitionInNamedModules(ASTReader &Reader,
3872 Decl *D,
3873 Decl *Previous) {
3874 // If it is previous implcitly introduced, it is not meaningful to
3875 // diagnose it.
3876 if (Previous->isImplicit())
3877 return;
3878
3879 // FIXME: Get rid of the enumeration of decl types once we have an appropriate
3880 // abstract for decls of an entity. e.g., the namespace decl and using decl
3881 // doesn't introduce an entity.
3882 if (!isa<VarDecl, FunctionDecl, TagDecl, RedeclarableTemplateDecl>(Val: Previous))
3883 return;
3884
3885 // Skip implicit instantiations since it may give false positive diagnostic
3886 // messages.
3887 // FIXME: Maybe this shows the implicit instantiations may have incorrect
3888 // module owner ships. But given we've finished the compilation of a module,
3889 // how can we add new entities to that module?
3890 if (isa<VarTemplateSpecializationDecl>(Val: Previous))
3891 return;
3892 if (isa<ClassTemplateSpecializationDecl>(Val: Previous))
3893 return;
3894 if (auto *Func = dyn_cast<FunctionDecl>(Val: Previous);
3895 Func && Func->getTemplateSpecializationInfo())
3896 return;
3897
3898 // The module ownership of in-class friend declaration is not straightforward.
3899 // Avoid diagnosing such cases.
3900 if (D->getFriendObjectKind() || Previous->getFriendObjectKind())
3901 return;
3902
3903 // Skip diagnosing in-class declarations.
3904 if (!Previous->getLexicalDeclContext()
3905 ->getNonTransparentContext()
3906 ->isFileContext() ||
3907 !D->getLexicalDeclContext()->getNonTransparentContext()->isFileContext())
3908 return;
3909
3910 Module *M = Previous->getOwningModule();
3911 if (!M)
3912 return;
3913
3914 // We only forbids merging decls within named modules.
3915 if (!M->isNamedModule()) {
3916 // Try to warn the case that we merged decls from global module.
3917 if (!M->isGlobalModule())
3918 return;
3919
3920 if (D->getOwningModule() &&
3921 M->getTopLevelModule() == D->getOwningModule()->getTopLevelModule())
3922 return;
3923
3924 Reader.PendingWarningForDuplicatedDefsInModuleUnits.push_back(
3925 Elt: {D, Previous});
3926 return;
3927 }
3928
3929 // It is fine if they are in the same module.
3930 if (Reader.getContext().isInSameModule(M1: M, M2: D->getOwningModule()))
3931 return;
3932
3933 Reader.Diag(Loc: Previous->getLocation(),
3934 DiagID: diag::err_multiple_decl_in_different_modules)
3935 << cast<NamedDecl>(Val: Previous) << M->Name;
3936 Reader.Diag(Loc: D->getLocation(), DiagID: diag::note_also_found);
3937}
3938
3939void ASTDeclReader::attachPreviousDecl(ASTReader &Reader, Decl *D,
3940 Decl *Previous, Decl *Canon) {
3941 assert(D && Previous);
3942
3943 switch (D->getKind()) {
3944#define ABSTRACT_DECL(TYPE)
3945#define DECL(TYPE, BASE) \
3946 case Decl::TYPE: \
3947 attachPreviousDeclImpl(Reader, cast<TYPE##Decl>(D), Previous, Canon); \
3948 break;
3949#include "clang/AST/DeclNodes.inc"
3950 }
3951
3952 checkMultipleDefinitionInNamedModules(Reader, D, Previous);
3953
3954 // If the declaration was visible in one module, a redeclaration of it in
3955 // another module remains visible even if it wouldn't be visible by itself.
3956 //
3957 // FIXME: In this case, the declaration should only be visible if a module
3958 // that makes it visible has been imported.
3959 D->IdentifierNamespace |=
3960 Previous->IdentifierNamespace &
3961 (Decl::IDNS_Ordinary | Decl::IDNS_Tag | Decl::IDNS_Type);
3962
3963 // If the declaration declares a template, it may inherit default arguments
3964 // from the previous declaration.
3965 if (auto *TD = dyn_cast<TemplateDecl>(Val: D))
3966 inheritDefaultTemplateArguments(Context&: Reader.getContext(),
3967 From: cast<TemplateDecl>(Val: Previous), To: TD);
3968
3969 // If any of the declaration in the chain contains an Inheritable attribute,
3970 // it needs to be added to all the declarations in the redeclarable chain.
3971 // FIXME: Only the logic of merging MSInheritableAttr is present, it should
3972 // be extended for all inheritable attributes.
3973 mergeInheritableAttributes(Reader, D, Previous);
3974}
3975
3976template<typename DeclT>
3977void ASTDeclReader::attachLatestDeclImpl(Redeclarable<DeclT> *D, Decl *Latest) {
3978 D->RedeclLink.setLatest(cast<DeclT>(Latest));
3979}
3980
3981void ASTDeclReader::attachLatestDeclImpl(...) {
3982 llvm_unreachable("attachLatestDecl on non-redeclarable declaration");
3983}
3984
3985void ASTDeclReader::attachLatestDecl(Decl *D, Decl *Latest) {
3986 assert(D && Latest);
3987
3988 switch (D->getKind()) {
3989#define ABSTRACT_DECL(TYPE)
3990#define DECL(TYPE, BASE) \
3991 case Decl::TYPE: \
3992 attachLatestDeclImpl(cast<TYPE##Decl>(D), Latest); \
3993 break;
3994#include "clang/AST/DeclNodes.inc"
3995 }
3996}
3997
3998template<typename DeclT>
3999void ASTDeclReader::markIncompleteDeclChainImpl(Redeclarable<DeclT> *D) {
4000 D->RedeclLink.markIncomplete();
4001}
4002
4003void ASTDeclReader::markIncompleteDeclChainImpl(...) {
4004 llvm_unreachable("markIncompleteDeclChain on non-redeclarable declaration");
4005}
4006
4007void ASTReader::markIncompleteDeclChain(Decl *D) {
4008 switch (D->getKind()) {
4009#define ABSTRACT_DECL(TYPE)
4010#define DECL(TYPE, BASE) \
4011 case Decl::TYPE: \
4012 ASTDeclReader::markIncompleteDeclChainImpl(cast<TYPE##Decl>(D)); \
4013 break;
4014#include "clang/AST/DeclNodes.inc"
4015 }
4016}
4017
4018/// Read the declaration at the given offset from the AST file.
4019Decl *ASTReader::ReadDeclRecord(GlobalDeclID ID) {
4020 SourceLocation DeclLoc;
4021 RecordLocation Loc = DeclCursorForID(ID, Loc&: DeclLoc);
4022 llvm::BitstreamCursor &DeclsCursor = Loc.F->DeclsCursor;
4023 // Keep track of where we are in the stream, then jump back there
4024 // after reading this declaration.
4025 SavedStreamPosition SavedPosition(DeclsCursor);
4026
4027 ReadingKindTracker ReadingKind(Read_Decl, *this);
4028
4029 // Note that we are loading a declaration record.
4030 Deserializing ADecl(this);
4031
4032 auto Fail = [](const char *what, llvm::Error &&Err) {
4033 llvm::report_fatal_error(reason: Twine("ASTReader::readDeclRecord failed ") + what +
4034 ": " + toString(E: std::move(Err)));
4035 };
4036
4037 if (llvm::Error JumpFailed = DeclsCursor.JumpToBit(BitNo: Loc.Offset))
4038 Fail("jumping", std::move(JumpFailed));
4039 ASTRecordReader Record(*this, *Loc.F);
4040 ASTDeclReader Reader(*this, Record, Loc, ID, DeclLoc);
4041 Expected<unsigned> MaybeCode = DeclsCursor.ReadCode();
4042 if (!MaybeCode)
4043 Fail("reading code", MaybeCode.takeError());
4044 unsigned Code = MaybeCode.get();
4045
4046 ASTContext &Context = getContext();
4047 Decl *D = nullptr;
4048 Expected<unsigned> MaybeDeclCode = Record.readRecord(Cursor&: DeclsCursor, AbbrevID: Code);
4049 if (!MaybeDeclCode)
4050 llvm::report_fatal_error(
4051 reason: Twine("ASTReader::readDeclRecord failed reading decl code: ") +
4052 toString(E: MaybeDeclCode.takeError()));
4053
4054 switch ((DeclCode)MaybeDeclCode.get()) {
4055 case DECL_CONTEXT_LEXICAL:
4056 case DECL_CONTEXT_VISIBLE:
4057 case DECL_CONTEXT_MODULE_LOCAL_VISIBLE:
4058 case DECL_CONTEXT_TU_LOCAL_VISIBLE:
4059 case DECL_SPECIALIZATIONS:
4060 case DECL_PARTIAL_SPECIALIZATIONS:
4061 llvm_unreachable("Record cannot be de-serialized with readDeclRecord");
4062 case DECL_TYPEDEF:
4063 D = TypedefDecl::CreateDeserialized(C&: Context, ID);
4064 break;
4065 case DECL_TYPEALIAS:
4066 D = TypeAliasDecl::CreateDeserialized(C&: Context, ID);
4067 break;
4068 case DECL_ENUM:
4069 D = EnumDecl::CreateDeserialized(C&: Context, ID);
4070 break;
4071 case DECL_RECORD:
4072 D = RecordDecl::CreateDeserialized(C: Context, ID);
4073 break;
4074 case DECL_ENUM_CONSTANT:
4075 D = EnumConstantDecl::CreateDeserialized(C&: Context, ID);
4076 break;
4077 case DECL_FUNCTION:
4078 D = FunctionDecl::CreateDeserialized(C&: Context, ID);
4079 break;
4080 case DECL_LINKAGE_SPEC:
4081 D = LinkageSpecDecl::CreateDeserialized(C&: Context, ID);
4082 break;
4083 case DECL_EXPORT:
4084 D = ExportDecl::CreateDeserialized(C&: Context, ID);
4085 break;
4086 case DECL_LABEL:
4087 D = LabelDecl::CreateDeserialized(C&: Context, ID);
4088 break;
4089 case DECL_NAMESPACE:
4090 D = NamespaceDecl::CreateDeserialized(C&: Context, ID);
4091 break;
4092 case DECL_NAMESPACE_ALIAS:
4093 D = NamespaceAliasDecl::CreateDeserialized(C&: Context, ID);
4094 break;
4095 case DECL_USING:
4096 D = UsingDecl::CreateDeserialized(C&: Context, ID);
4097 break;
4098 case DECL_USING_PACK:
4099 D = UsingPackDecl::CreateDeserialized(C&: Context, ID, NumExpansions: Record.readInt());
4100 break;
4101 case DECL_USING_SHADOW:
4102 D = UsingShadowDecl::CreateDeserialized(C&: Context, ID);
4103 break;
4104 case DECL_USING_ENUM:
4105 D = UsingEnumDecl::CreateDeserialized(C&: Context, ID);
4106 break;
4107 case DECL_CONSTRUCTOR_USING_SHADOW:
4108 D = ConstructorUsingShadowDecl::CreateDeserialized(C&: Context, ID);
4109 break;
4110 case DECL_USING_DIRECTIVE:
4111 D = UsingDirectiveDecl::CreateDeserialized(C&: Context, ID);
4112 break;
4113 case DECL_UNRESOLVED_USING_VALUE:
4114 D = UnresolvedUsingValueDecl::CreateDeserialized(C&: Context, ID);
4115 break;
4116 case DECL_UNRESOLVED_USING_TYPENAME:
4117 D = UnresolvedUsingTypenameDecl::CreateDeserialized(C&: Context, ID);
4118 break;
4119 case DECL_UNRESOLVED_USING_IF_EXISTS:
4120 D = UnresolvedUsingIfExistsDecl::CreateDeserialized(Ctx&: Context, ID);
4121 break;
4122 case DECL_CXX_RECORD:
4123 D = CXXRecordDecl::CreateDeserialized(C: Context, ID);
4124 break;
4125 case DECL_CXX_DEDUCTION_GUIDE:
4126 D = CXXDeductionGuideDecl::CreateDeserialized(C&: Context, ID);
4127 break;
4128 case DECL_CXX_METHOD:
4129 D = CXXMethodDecl::CreateDeserialized(C&: Context, ID);
4130 break;
4131 case DECL_CXX_CONSTRUCTOR:
4132 D = CXXConstructorDecl::CreateDeserialized(C&: Context, ID, AllocKind: Record.readInt());
4133 break;
4134 case DECL_CXX_DESTRUCTOR:
4135 D = CXXDestructorDecl::CreateDeserialized(C&: Context, ID);
4136 break;
4137 case DECL_CXX_CONVERSION:
4138 D = CXXConversionDecl::CreateDeserialized(C&: Context, ID);
4139 break;
4140 case DECL_ACCESS_SPEC:
4141 D = AccessSpecDecl::CreateDeserialized(C&: Context, ID);
4142 break;
4143 case DECL_FRIEND:
4144 D = FriendDecl::CreateDeserialized(C&: Context, ID);
4145 break;
4146 case DECL_FRIEND_TEMPLATE:
4147 D = FriendTemplateDecl::CreateDeserialized(C&: Context, ID,
4148 /*NumTPLists=*/NumFriendTPLists: Record.readInt());
4149 break;
4150 case DECL_CLASS_TEMPLATE:
4151 D = ClassTemplateDecl::CreateDeserialized(C&: Context, ID);
4152 break;
4153 case DECL_CLASS_TEMPLATE_SPECIALIZATION:
4154 D = ClassTemplateSpecializationDecl::CreateDeserialized(C&: Context, ID);
4155 break;
4156 case DECL_CLASS_TEMPLATE_PARTIAL_SPECIALIZATION:
4157 D = ClassTemplatePartialSpecializationDecl::CreateDeserialized(C&: Context, ID);
4158 break;
4159 case DECL_VAR_TEMPLATE:
4160 D = VarTemplateDecl::CreateDeserialized(C&: Context, ID);
4161 break;
4162 case DECL_VAR_TEMPLATE_SPECIALIZATION:
4163 D = VarTemplateSpecializationDecl::CreateDeserialized(C&: Context, ID);
4164 break;
4165 case DECL_VAR_TEMPLATE_PARTIAL_SPECIALIZATION:
4166 D = VarTemplatePartialSpecializationDecl::CreateDeserialized(C&: Context, ID);
4167 break;
4168 case DECL_FUNCTION_TEMPLATE:
4169 D = FunctionTemplateDecl::CreateDeserialized(C&: Context, ID);
4170 break;
4171 case DECL_TEMPLATE_TYPE_PARM: {
4172 bool HasTypeConstraint = Record.readInt();
4173 D = TemplateTypeParmDecl::CreateDeserialized(C: Context, ID,
4174 HasTypeConstraint);
4175 break;
4176 }
4177 case DECL_NON_TYPE_TEMPLATE_PARM: {
4178 bool HasTypeConstraint = Record.readInt();
4179 D = NonTypeTemplateParmDecl::CreateDeserialized(C&: Context, ID,
4180 HasTypeConstraint);
4181 break;
4182 }
4183 case DECL_EXPANDED_NON_TYPE_TEMPLATE_PARM_PACK: {
4184 bool HasTypeConstraint = Record.readInt();
4185 D = NonTypeTemplateParmDecl::CreateDeserialized(
4186 C&: Context, ID, NumExpandedTypes: Record.readInt(), HasTypeConstraint);
4187 break;
4188 }
4189 case DECL_TEMPLATE_TEMPLATE_PARM:
4190 D = TemplateTemplateParmDecl::CreateDeserialized(C&: Context, ID);
4191 break;
4192 case DECL_EXPANDED_TEMPLATE_TEMPLATE_PARM_PACK:
4193 D = TemplateTemplateParmDecl::CreateDeserialized(C&: Context, ID,
4194 NumExpansions: Record.readInt());
4195 break;
4196 case DECL_TYPE_ALIAS_TEMPLATE:
4197 D = TypeAliasTemplateDecl::CreateDeserialized(C&: Context, ID);
4198 break;
4199 case DECL_CONCEPT:
4200 D = ConceptDecl::CreateDeserialized(C&: Context, ID);
4201 break;
4202 case DECL_REQUIRES_EXPR_BODY:
4203 D = RequiresExprBodyDecl::CreateDeserialized(C&: Context, ID);
4204 break;
4205 case DECL_STATIC_ASSERT:
4206 D = StaticAssertDecl::CreateDeserialized(C&: Context, ID);
4207 break;
4208 case DECL_EXPLICIT_INSTANTIATION:
4209 D = ExplicitInstantiationDecl::CreateDeserialized(C&: Context, ID,
4210 TrailingFlags: Record.readInt());
4211 break;
4212 case DECL_EXPANSION_STMT:
4213 D = CXXExpansionStmtDecl::CreateDeserialized(C&: Context, ID);
4214 break;
4215 case DECL_OBJC_METHOD:
4216 D = ObjCMethodDecl::CreateDeserialized(C&: Context, ID);
4217 break;
4218 case DECL_OBJC_INTERFACE:
4219 D = ObjCInterfaceDecl::CreateDeserialized(C: Context, ID);
4220 break;
4221 case DECL_OBJC_IVAR:
4222 D = ObjCIvarDecl::CreateDeserialized(C&: Context, ID);
4223 break;
4224 case DECL_OBJC_PROTOCOL:
4225 D = ObjCProtocolDecl::CreateDeserialized(C&: Context, ID);
4226 break;
4227 case DECL_OBJC_AT_DEFS_FIELD:
4228 D = ObjCAtDefsFieldDecl::CreateDeserialized(C&: Context, ID);
4229 break;
4230 case DECL_OBJC_CATEGORY:
4231 D = ObjCCategoryDecl::CreateDeserialized(C&: Context, ID);
4232 break;
4233 case DECL_OBJC_CATEGORY_IMPL:
4234 D = ObjCCategoryImplDecl::CreateDeserialized(C&: Context, ID);
4235 break;
4236 case DECL_OBJC_IMPLEMENTATION:
4237 D = ObjCImplementationDecl::CreateDeserialized(C&: Context, ID);
4238 break;
4239 case DECL_OBJC_COMPATIBLE_ALIAS:
4240 D = ObjCCompatibleAliasDecl::CreateDeserialized(C&: Context, ID);
4241 break;
4242 case DECL_OBJC_PROPERTY:
4243 D = ObjCPropertyDecl::CreateDeserialized(C&: Context, ID);
4244 break;
4245 case DECL_OBJC_PROPERTY_IMPL:
4246 D = ObjCPropertyImplDecl::CreateDeserialized(C&: Context, ID);
4247 break;
4248 case DECL_FIELD:
4249 D = FieldDecl::CreateDeserialized(C&: Context, ID);
4250 break;
4251 case DECL_INDIRECTFIELD:
4252 D = IndirectFieldDecl::CreateDeserialized(C&: Context, ID);
4253 break;
4254 case DECL_VAR:
4255 D = VarDecl::CreateDeserialized(C&: Context, ID);
4256 break;
4257 case DECL_IMPLICIT_PARAM:
4258 D = ImplicitParamDecl::CreateDeserialized(C&: Context, ID);
4259 break;
4260 case DECL_PARM_VAR:
4261 D = ParmVarDecl::CreateDeserialized(C&: Context, ID);
4262 break;
4263 case DECL_DECOMPOSITION:
4264 D = DecompositionDecl::CreateDeserialized(C&: Context, ID, NumBindings: Record.readInt());
4265 break;
4266 case DECL_BINDING:
4267 D = BindingDecl::CreateDeserialized(C&: Context, ID);
4268 break;
4269 case DECL_FILE_SCOPE_ASM:
4270 D = FileScopeAsmDecl::CreateDeserialized(C&: Context, ID);
4271 break;
4272 case DECL_TOP_LEVEL_STMT_DECL:
4273 D = TopLevelStmtDecl::CreateDeserialized(C&: Context, ID);
4274 break;
4275 case DECL_BLOCK:
4276 D = BlockDecl::CreateDeserialized(C&: Context, ID);
4277 break;
4278 case DECL_MS_PROPERTY:
4279 D = MSPropertyDecl::CreateDeserialized(C&: Context, ID);
4280 break;
4281 case DECL_MS_GUID:
4282 D = MSGuidDecl::CreateDeserialized(C&: Context, ID);
4283 break;
4284 case DECL_UNNAMED_GLOBAL_CONSTANT:
4285 D = UnnamedGlobalConstantDecl::CreateDeserialized(C&: Context, ID);
4286 break;
4287 case DECL_TEMPLATE_PARAM_OBJECT:
4288 D = TemplateParamObjectDecl::CreateDeserialized(C&: Context, ID);
4289 break;
4290 case DECL_OUTLINEDFUNCTION:
4291 D = OutlinedFunctionDecl::CreateDeserialized(C&: Context, ID, NumParams: Record.readInt());
4292 break;
4293 case DECL_CAPTURED:
4294 D = CapturedDecl::CreateDeserialized(C&: Context, ID, NumParams: Record.readInt());
4295 break;
4296 case DECL_CXX_BASE_SPECIFIERS:
4297 Error(Msg: "attempt to read a C++ base-specifier record as a declaration");
4298 return nullptr;
4299 case DECL_CXX_CTOR_INITIALIZERS:
4300 Error(Msg: "attempt to read a C++ ctor initializer record as a declaration");
4301 return nullptr;
4302 case DECL_IMPORT:
4303 // Note: last entry of the ImportDecl record is the number of stored source
4304 // locations.
4305 D = ImportDecl::CreateDeserialized(C&: Context, ID, NumLocations: Record.back());
4306 break;
4307 case DECL_OMP_THREADPRIVATE: {
4308 Record.skipInts(N: 1);
4309 unsigned NumChildren = Record.readInt();
4310 Record.skipInts(N: 1);
4311 D = OMPThreadPrivateDecl::CreateDeserialized(C&: Context, ID, N: NumChildren);
4312 break;
4313 }
4314 case DECL_OMP_ALLOCATE: {
4315 unsigned NumClauses = Record.readInt();
4316 unsigned NumVars = Record.readInt();
4317 Record.skipInts(N: 1);
4318 D = OMPAllocateDecl::CreateDeserialized(C&: Context, ID, NVars: NumVars, NClauses: NumClauses);
4319 break;
4320 }
4321 case DECL_OMP_REQUIRES: {
4322 unsigned NumClauses = Record.readInt();
4323 Record.skipInts(N: 2);
4324 D = OMPRequiresDecl::CreateDeserialized(C&: Context, ID, N: NumClauses);
4325 break;
4326 }
4327 case DECL_OMP_DECLARE_REDUCTION:
4328 D = OMPDeclareReductionDecl::CreateDeserialized(C&: Context, ID);
4329 break;
4330 case DECL_OMP_DECLARE_MAPPER: {
4331 unsigned NumClauses = Record.readInt();
4332 Record.skipInts(N: 2);
4333 D = OMPDeclareMapperDecl::CreateDeserialized(C&: Context, ID, N: NumClauses);
4334 break;
4335 }
4336 case DECL_OMP_CAPTUREDEXPR:
4337 D = OMPCapturedExprDecl::CreateDeserialized(C&: Context, ID);
4338 break;
4339 case DECL_PRAGMA_COMMENT:
4340 D = PragmaCommentDecl::CreateDeserialized(C&: Context, ID, ArgSize: Record.readInt());
4341 break;
4342 case DECL_PRAGMA_DETECT_MISMATCH:
4343 D = PragmaDetectMismatchDecl::CreateDeserialized(C&: Context, ID,
4344 NameValueSize: Record.readInt());
4345 break;
4346 case DECL_EMPTY:
4347 D = EmptyDecl::CreateDeserialized(C&: Context, ID);
4348 break;
4349 case DECL_LIFETIME_EXTENDED_TEMPORARY:
4350 D = LifetimeExtendedTemporaryDecl::CreateDeserialized(C&: Context, ID);
4351 break;
4352 case DECL_OBJC_TYPE_PARAM:
4353 D = ObjCTypeParamDecl::CreateDeserialized(ctx&: Context, ID);
4354 break;
4355 case DECL_HLSL_BUFFER:
4356 D = HLSLBufferDecl::CreateDeserialized(C&: Context, ID);
4357 break;
4358 case DECL_IMPLICIT_CONCEPT_SPECIALIZATION:
4359 D = ImplicitConceptSpecializationDecl::CreateDeserialized(C: Context, ID,
4360 NumTemplateArgs: Record.readInt());
4361 break;
4362 case DECL_OPENACC_DECLARE:
4363 D = OpenACCDeclareDecl::CreateDeserialized(Ctx&: Context, ID, NumClauses: Record.readInt());
4364 break;
4365 case DECL_OPENACC_ROUTINE:
4366 D = OpenACCRoutineDecl::CreateDeserialized(Ctx&: Context, ID, NumClauses: Record.readInt());
4367 break;
4368 }
4369
4370 assert(D && "Unknown declaration reading AST file");
4371 LoadedDecl(Index: translateGlobalDeclIDToIndex(ID), D);
4372 // Set the DeclContext before doing any deserialization, to make sure internal
4373 // calls to Decl::getASTContext() by Decl's methods will find the
4374 // TranslationUnitDecl without crashing.
4375 D->setDeclContext(Context.getTranslationUnitDecl());
4376
4377 // Reading some declarations can result in deep recursion.
4378 runWithSufficientStackSpace(Loc: DeclLoc, Fn: [&] { Reader.Visit(D); });
4379
4380 // If this declaration is also a declaration context, get the
4381 // offsets for its tables of lexical and visible declarations.
4382 if (auto *DC = dyn_cast<DeclContext>(Val: D)) {
4383 LookupBlockOffsets Offsets;
4384
4385 Reader.VisitDeclContext(DC, Offsets);
4386
4387 // Get the lexical and visible block for the delayed namespace.
4388 // It is sufficient to judge if ID is in DelayedNamespaceOffsetMap.
4389 // But it may be more efficient to filter the other cases.
4390 if (!Offsets && isa<NamespaceDecl>(Val: D))
4391 if (auto Iter = DelayedNamespaceOffsetMap.find(Val: ID);
4392 Iter != DelayedNamespaceOffsetMap.end())
4393 Offsets = Iter->second;
4394
4395 if (Offsets.VisibleOffset &&
4396 ReadVisibleDeclContextStorage(
4397 M&: *Loc.F, Cursor&: DeclsCursor, Offset: Offsets.VisibleOffset, ID,
4398 VisibleKind: VisibleDeclContextStorageKind::GenerallyVisible))
4399 return nullptr;
4400 if (Offsets.ModuleLocalOffset &&
4401 ReadVisibleDeclContextStorage(
4402 M&: *Loc.F, Cursor&: DeclsCursor, Offset: Offsets.ModuleLocalOffset, ID,
4403 VisibleKind: VisibleDeclContextStorageKind::ModuleLocalVisible))
4404 return nullptr;
4405 if (Offsets.TULocalOffset &&
4406 ReadVisibleDeclContextStorage(
4407 M&: *Loc.F, Cursor&: DeclsCursor, Offset: Offsets.TULocalOffset, ID,
4408 VisibleKind: VisibleDeclContextStorageKind::TULocalVisible))
4409 return nullptr;
4410
4411 if (Offsets.LexicalOffset &&
4412 ReadLexicalDeclContextStorage(M&: *Loc.F, Cursor&: DeclsCursor,
4413 Offset: Offsets.LexicalOffset, DC))
4414 return nullptr;
4415 }
4416 assert(Record.getIdx() == Record.size());
4417
4418 // Load any relevant update records.
4419 PendingUpdateRecords.push_back(
4420 Elt: PendingUpdateRecord(ID, D, /*JustLoaded=*/true));
4421
4422 // Load the categories after recursive loading is finished.
4423 if (auto *Class = dyn_cast<ObjCInterfaceDecl>(Val: D))
4424 // If we already have a definition when deserializing the ObjCInterfaceDecl,
4425 // we put the Decl in PendingDefinitions so we can pull the categories here.
4426 if (Class->isThisDeclarationADefinition() ||
4427 PendingDefinitions.count(Ptr: Class))
4428 loadObjCCategories(ID, D: Class);
4429
4430 // If we have deserialized a declaration that has a definition the
4431 // AST consumer might need to know about, queue it.
4432 // We don't pass it to the consumer immediately because we may be in recursive
4433 // loading, and some declarations may still be initializing.
4434 PotentiallyInterestingDecls.push_back(x: D);
4435
4436 return D;
4437}
4438
4439void ASTReader::PassInterestingDeclsToConsumer() {
4440 assert(Consumer);
4441
4442 if (!CanPassDeclsToConsumer)
4443 return;
4444
4445 // Guard variable to avoid recursively redoing the process of passing
4446 // decls to consumer.
4447 SaveAndRestore GuardPassingDeclsToConsumer(CanPassDeclsToConsumer,
4448 /*NewValue=*/false);
4449
4450 // Ensure that we've loaded all potentially-interesting declarations
4451 // that need to be eagerly loaded.
4452 for (auto ID : EagerlyDeserializedDecls)
4453 GetDecl(ID);
4454 EagerlyDeserializedDecls.clear();
4455
4456 auto ConsumingPotentialInterestingDecls = [this]() {
4457 while (!PotentiallyInterestingDecls.empty()) {
4458 Decl *D = PotentiallyInterestingDecls.front();
4459 PotentiallyInterestingDecls.pop_front();
4460 if (isConsumerInterestedIn(D))
4461 PassInterestingDeclToConsumer(D);
4462 }
4463 };
4464 std::deque<Decl *> MaybeInterestingDecls =
4465 std::move(PotentiallyInterestingDecls);
4466 PotentiallyInterestingDecls.clear();
4467 assert(PotentiallyInterestingDecls.empty());
4468 while (!MaybeInterestingDecls.empty()) {
4469 Decl *D = MaybeInterestingDecls.front();
4470 MaybeInterestingDecls.pop_front();
4471 // Since we load the variable's initializers lazily, it'd be problematic
4472 // if the initializers dependent on each other. So here we try to load the
4473 // initializers of static variables to make sure they are passed to code
4474 // generator by order. If we read anything interesting, we would consume
4475 // that before emitting the current declaration.
4476 if (auto *VD = dyn_cast<VarDecl>(Val: D);
4477 VD && VD->isFileVarDecl() && !VD->isExternallyVisible())
4478 VD->getInit();
4479 ConsumingPotentialInterestingDecls();
4480 if (isConsumerInterestedIn(D))
4481 PassInterestingDeclToConsumer(D);
4482 }
4483
4484 // If we add any new potential interesting decl in the last call, consume it.
4485 ConsumingPotentialInterestingDecls();
4486
4487 for (GlobalDeclID ID : VTablesToEmit) {
4488 auto *RD = cast<CXXRecordDecl>(Val: GetDecl(ID));
4489 assert(!RD->shouldEmitInExternalSource());
4490 PassVTableToConsumer(RD);
4491 }
4492 VTablesToEmit.clear();
4493}
4494
4495void ASTReader::loadDeclUpdateRecords(PendingUpdateRecord &Record) {
4496 // The declaration may have been modified by files later in the chain.
4497 // If this is the case, read the record containing the updates from each file
4498 // and pass it to ASTDeclReader to make the modifications.
4499 GlobalDeclID ID = Record.ID;
4500 Decl *D = Record.D;
4501 ProcessingUpdatesRAIIObj ProcessingUpdates(*this);
4502 DeclUpdateOffsetsMap::iterator UpdI = DeclUpdateOffsets.find(Val: ID);
4503
4504 if (UpdI != DeclUpdateOffsets.end()) {
4505 auto UpdateOffsets = std::move(UpdI->second);
4506 DeclUpdateOffsets.erase(I: UpdI);
4507
4508 // Check if this decl was interesting to the consumer. If we just loaded
4509 // the declaration, then we know it was interesting and we skip the call
4510 // to isConsumerInterestedIn because it is unsafe to call in the
4511 // current ASTReader state.
4512 bool WasInteresting = Record.JustLoaded || isConsumerInterestedIn(D);
4513 for (auto &FileAndOffset : UpdateOffsets) {
4514 ModuleFile *F = FileAndOffset.first;
4515 uint64_t Offset = FileAndOffset.second;
4516 llvm::BitstreamCursor &Cursor = F->DeclsCursor;
4517 SavedStreamPosition SavedPosition(Cursor);
4518 if (llvm::Error JumpFailed = Cursor.JumpToBit(BitNo: Offset))
4519 // FIXME don't do a fatal error.
4520 llvm::report_fatal_error(
4521 reason: Twine("ASTReader::loadDeclUpdateRecords failed jumping: ") +
4522 toString(E: std::move(JumpFailed)));
4523 Expected<unsigned> MaybeCode = Cursor.ReadCode();
4524 if (!MaybeCode)
4525 llvm::report_fatal_error(
4526 reason: Twine("ASTReader::loadDeclUpdateRecords failed reading code: ") +
4527 toString(E: MaybeCode.takeError()));
4528 unsigned Code = MaybeCode.get();
4529 ASTRecordReader Record(*this, *F);
4530 if (Expected<unsigned> MaybeRecCode = Record.readRecord(Cursor, AbbrevID: Code))
4531 assert(MaybeRecCode.get() == DECL_UPDATES &&
4532 "Expected DECL_UPDATES record!");
4533 else
4534 llvm::report_fatal_error(
4535 reason: Twine("ASTReader::loadDeclUpdateRecords failed reading rec code: ") +
4536 toString(E: MaybeCode.takeError()));
4537
4538 ASTDeclReader Reader(*this, Record, RecordLocation(F, Offset), ID,
4539 SourceLocation());
4540 Reader.UpdateDecl(D);
4541
4542 // We might have made this declaration interesting. If so, remember that
4543 // we need to hand it off to the consumer.
4544 if (!WasInteresting && isConsumerInterestedIn(D)) {
4545 PotentiallyInterestingDecls.push_back(x: D);
4546 WasInteresting = true;
4547 }
4548 }
4549 }
4550
4551 // Load the pending visible updates for this decl context, if it has any.
4552 if (auto I = PendingVisibleUpdates.find(Val: ID);
4553 I != PendingVisibleUpdates.end()) {
4554 auto VisibleUpdates = std::move(I->second);
4555 PendingVisibleUpdates.erase(I);
4556
4557 auto *DC = cast<DeclContext>(Val: D)->getPrimaryContext();
4558 for (const auto &Update : VisibleUpdates)
4559 Lookups[DC].Table.add(
4560 File: Update.Mod, Data: Update.Data,
4561 InfoObj: reader::ASTDeclContextNameLookupTrait(*this, *Update.Mod));
4562 DC->setHasExternalVisibleStorage(true);
4563 }
4564
4565 if (auto I = PendingModuleLocalVisibleUpdates.find(Val: ID);
4566 I != PendingModuleLocalVisibleUpdates.end()) {
4567 auto ModuleLocalVisibleUpdates = std::move(I->second);
4568 PendingModuleLocalVisibleUpdates.erase(I);
4569
4570 auto *DC = cast<DeclContext>(Val: D)->getPrimaryContext();
4571 for (const auto &Update : ModuleLocalVisibleUpdates)
4572 ModuleLocalLookups[DC].Table.add(
4573 File: Update.Mod, Data: Update.Data,
4574 InfoObj: reader::ModuleLocalNameLookupTrait(*this, *Update.Mod));
4575 // NOTE: Can we optimize the case that the data being loaded
4576 // is not related to current module?
4577 DC->setHasExternalVisibleStorage(true);
4578 }
4579
4580 if (auto I = TULocalUpdates.find(Val: ID); I != TULocalUpdates.end()) {
4581 auto Updates = std::move(I->second);
4582 TULocalUpdates.erase(I);
4583
4584 auto *DC = cast<DeclContext>(Val: D)->getPrimaryContext();
4585 for (const auto &Update : Updates)
4586 TULocalLookups[DC].Table.add(
4587 File: Update.Mod, Data: Update.Data,
4588 InfoObj: reader::ASTDeclContextNameLookupTrait(*this, *Update.Mod));
4589 DC->setHasExternalVisibleStorage(true);
4590 }
4591
4592 // Load any pending related decls.
4593 if (D->isCanonicalDecl()) {
4594 if (auto IT = RelatedDeclsMap.find(Val: ID); IT != RelatedDeclsMap.end()) {
4595 for (auto LID : IT->second)
4596 GetDecl(ID: LID);
4597 RelatedDeclsMap.erase(I: IT);
4598 }
4599 }
4600
4601 // Load the pending specializations update for this decl, if it has any.
4602 if (auto I = PendingSpecializationsUpdates.find(Val: ID);
4603 I != PendingSpecializationsUpdates.end()) {
4604 auto SpecializationUpdates = std::move(I->second);
4605 PendingSpecializationsUpdates.erase(I);
4606
4607 for (const auto &Update : SpecializationUpdates)
4608 AddSpecializations(D, Data: Update.Data, M&: *Update.Mod, /*IsPartial=*/false);
4609 }
4610
4611 // Load the pending specializations update for this decl, if it has any.
4612 if (auto I = PendingPartialSpecializationsUpdates.find(Val: ID);
4613 I != PendingPartialSpecializationsUpdates.end()) {
4614 auto SpecializationUpdates = std::move(I->second);
4615 PendingPartialSpecializationsUpdates.erase(I);
4616
4617 for (const auto &Update : SpecializationUpdates)
4618 AddSpecializations(D, Data: Update.Data, M&: *Update.Mod, /*IsPartial=*/true);
4619 }
4620}
4621
4622void ASTReader::loadPendingDeclChain(Decl *FirstLocal, uint64_t LocalOffset) {
4623 Decl *CanonDecl = FirstLocal->getCanonicalDecl();
4624
4625 Decl *MostRecent = ASTDeclReader::getMostRecentDecl(D: CanonDecl);
4626 if (!MostRecent)
4627 MostRecent = CanonDecl;
4628 if (FirstLocal != CanonDecl) {
4629 // Attach FirstLocal to the end of the decl chain.
4630 ASTDeclReader::attachPreviousDecl(Reader&: *this, D: FirstLocal, Previous: MostRecent, Canon: CanonDecl);
4631 MostRecent = FirstLocal;
4632 }
4633
4634 if (!LocalOffset) {
4635 ASTDeclReader::attachLatestDecl(D: CanonDecl, Latest: MostRecent);
4636 return;
4637 }
4638
4639 // Load the list of other redeclarations from this module file.
4640 ModuleFile *M = getOwningModuleFile(D: FirstLocal);
4641 assert(M && "imported decl from no module file");
4642
4643 llvm::BitstreamCursor &Cursor = M->DeclsCursor;
4644 SavedStreamPosition SavedPosition(Cursor);
4645 if (llvm::Error JumpFailed = Cursor.JumpToBit(BitNo: LocalOffset))
4646 llvm::report_fatal_error(
4647 reason: Twine("ASTReader::loadPendingDeclChain failed jumping: ") +
4648 toString(E: std::move(JumpFailed)));
4649
4650 RecordData Record;
4651 Expected<unsigned> MaybeCode = Cursor.ReadCode();
4652 if (!MaybeCode)
4653 llvm::report_fatal_error(
4654 reason: Twine("ASTReader::loadPendingDeclChain failed reading code: ") +
4655 toString(E: MaybeCode.takeError()));
4656 unsigned Code = MaybeCode.get();
4657 if (Expected<unsigned> MaybeRecCode = Cursor.readRecord(AbbrevID: Code, Vals&: Record))
4658 assert(MaybeRecCode.get() == LOCAL_REDECLARATIONS &&
4659 "expected LOCAL_REDECLARATIONS record!");
4660 else
4661 llvm::report_fatal_error(
4662 reason: Twine("ASTReader::loadPendingDeclChain failed reading rec code: ") +
4663 toString(E: MaybeCode.takeError()));
4664
4665 // FIXME: We have several different dispatches on decl kind here; maybe
4666 // we should instead generate one loop per kind and dispatch up-front?
4667 for (unsigned I = 0, N = Record.size(); I != N; ++I) {
4668 unsigned Idx = N - I - 1;
4669 auto *D = ReadDecl(F&: *M, R: Record, I&: Idx);
4670 ASTDeclReader::attachPreviousDecl(Reader&: *this, D, Previous: MostRecent, Canon: CanonDecl);
4671 MostRecent = D;
4672 }
4673 ASTDeclReader::attachLatestDecl(D: CanonDecl, Latest: MostRecent);
4674}
4675
4676namespace {
4677
4678 /// Given an ObjC interface, goes through the modules and links to the
4679 /// interface all the categories for it.
4680 class ObjCCategoriesVisitor {
4681 ASTReader &Reader;
4682 ObjCInterfaceDecl *Interface;
4683 llvm::SmallPtrSetImpl<ObjCCategoryDecl *> &Deserialized;
4684 ObjCCategoryDecl *Tail = nullptr;
4685 llvm::DenseMap<DeclarationName, ObjCCategoryDecl *> NameCategoryMap;
4686 GlobalDeclID InterfaceID;
4687 unsigned PreviousGeneration;
4688
4689 void add(ObjCCategoryDecl *Cat) {
4690 // Only process each category once.
4691 if (!Deserialized.erase(Ptr: Cat))
4692 return;
4693
4694 // Check for duplicate categories.
4695 if (Cat->getDeclName()) {
4696 ObjCCategoryDecl *&Existing = NameCategoryMap[Cat->getDeclName()];
4697 if (Existing && Reader.getOwningModuleFile(D: Existing) !=
4698 Reader.getOwningModuleFile(D: Cat)) {
4699 StructuralEquivalenceContext::NonEquivalentDeclSet NonEquivalentDecls;
4700 StructuralEquivalenceContext Ctx(
4701 Reader.getContext().getLangOpts(), Cat->getASTContext(),
4702 Existing->getASTContext(), NonEquivalentDecls,
4703 StructuralEquivalenceKind::Default,
4704 /*StrictTypeSpelling=*/false,
4705 /*Complain=*/false,
4706 /*ErrorOnTagTypeMismatch=*/true);
4707 if (!Ctx.IsEquivalent(D1: Cat, D2: Existing)) {
4708 // Warn only if the categories with the same name are different.
4709 Reader.Diag(Loc: Cat->getLocation(), DiagID: diag::warn_dup_category_def)
4710 << Interface->getDeclName() << Cat->getDeclName();
4711 Reader.Diag(Loc: Existing->getLocation(),
4712 DiagID: diag::note_previous_definition);
4713 }
4714 } else if (!Existing) {
4715 // Record this category.
4716 Existing = Cat;
4717 }
4718 }
4719
4720 // Add this category to the end of the chain.
4721 if (Tail)
4722 ASTDeclReader::setNextObjCCategory(Cat: Tail, Next: Cat);
4723 else
4724 Interface->setCategoryListRaw(Cat);
4725 Tail = Cat;
4726 }
4727
4728 public:
4729 ObjCCategoriesVisitor(
4730 ASTReader &Reader, ObjCInterfaceDecl *Interface,
4731 llvm::SmallPtrSetImpl<ObjCCategoryDecl *> &Deserialized,
4732 GlobalDeclID InterfaceID, unsigned PreviousGeneration)
4733 : Reader(Reader), Interface(Interface), Deserialized(Deserialized),
4734 InterfaceID(InterfaceID), PreviousGeneration(PreviousGeneration) {
4735 // Populate the name -> category map with the set of known categories.
4736 for (auto *Cat : Interface->known_categories()) {
4737 if (Cat->getDeclName())
4738 NameCategoryMap[Cat->getDeclName()] = Cat;
4739
4740 // Keep track of the tail of the category list.
4741 Tail = Cat;
4742 }
4743 }
4744
4745 bool operator()(ModuleFile &M) {
4746 // If we've loaded all of the category information we care about from
4747 // this module file, we're done.
4748 if (M.Generation <= PreviousGeneration)
4749 return true;
4750
4751 // Map global ID of the definition down to the local ID used in this
4752 // module file. If there is no such mapping, we'll find nothing here
4753 // (or in any module it imports).
4754 LocalDeclID LocalID =
4755 Reader.mapGlobalIDToModuleFileGlobalID(M, GlobalID: InterfaceID);
4756 if (LocalID.isInvalid())
4757 return true;
4758
4759 // Perform a binary search to find the local redeclarations for this
4760 // declaration (if any).
4761 const ObjCCategoriesInfo Compare = {LocalID, 0};
4762 const ObjCCategoriesInfo *Result = std::lower_bound(
4763 first: M.ObjCCategoriesMap,
4764 last: M.ObjCCategoriesMap + M.LocalNumObjCCategoriesInMap, val: Compare);
4765 if (Result == M.ObjCCategoriesMap + M.LocalNumObjCCategoriesInMap ||
4766 LocalID != Result->getDefinitionID()) {
4767 // We didn't find anything. If the class definition is in this module
4768 // file, then the module files it depends on cannot have any categories,
4769 // so suppress further lookup.
4770 return Reader.isDeclIDFromModule(ID: InterfaceID, M);
4771 }
4772
4773 // We found something. Dig out all of the categories.
4774 unsigned Offset = Result->Offset;
4775 unsigned N = M.ObjCCategories[Offset];
4776 M.ObjCCategories[Offset++] = 0; // Don't try to deserialize again
4777 for (unsigned I = 0; I != N; ++I)
4778 add(Cat: Reader.ReadDeclAs<ObjCCategoryDecl>(F&: M, R: M.ObjCCategories, I&: Offset));
4779 return true;
4780 }
4781 };
4782
4783} // namespace
4784
4785void ASTReader::loadObjCCategories(GlobalDeclID ID, ObjCInterfaceDecl *D,
4786 unsigned PreviousGeneration) {
4787 ObjCCategoriesVisitor Visitor(*this, D, CategoriesDeserialized, ID,
4788 PreviousGeneration);
4789 ModuleMgr.visit(Visitor);
4790}
4791
4792template<typename DeclT, typename Fn>
4793static void forAllLaterRedecls(DeclT *D, Fn F) {
4794 F(D);
4795
4796 // Check whether we've already merged D into its redeclaration chain.
4797 // MostRecent may or may not be nullptr if D has not been merged. If
4798 // not, walk the merged redecl chain and see if it's there.
4799 auto *MostRecent = D->getMostRecentDecl();
4800 bool Found = false;
4801 for (auto *Redecl = MostRecent; Redecl && !Found;
4802 Redecl = Redecl->getPreviousDecl())
4803 Found = (Redecl == D);
4804
4805 // If this declaration is merged, apply the functor to all later decls.
4806 if (Found) {
4807 for (auto *Redecl = MostRecent; Redecl != D;
4808 Redecl = Redecl->getPreviousDecl())
4809 F(Redecl);
4810 }
4811}
4812
4813void ASTDeclReader::UpdateDecl(Decl *D) {
4814 while (Record.getIdx() < Record.size()) {
4815 switch ((DeclUpdateKind)Record.readInt()) {
4816 case DeclUpdateKind::CXXAddedImplicitMember: {
4817 auto *RD = cast<CXXRecordDecl>(Val: D);
4818 Decl *MD = Record.readDecl();
4819 assert(MD && "couldn't read decl from update record");
4820 Reader.PendingAddedClassMembers.push_back(Elt: {RD, MD});
4821 break;
4822 }
4823
4824 case DeclUpdateKind::CXXAddedAnonymousNamespace: {
4825 auto *Anon = readDeclAs<NamespaceDecl>();
4826
4827 // Each module has its own anonymous namespace, which is disjoint from
4828 // any other module's anonymous namespaces, so don't attach the anonymous
4829 // namespace at all.
4830 if (!Record.isModule()) {
4831 if (auto *TU = dyn_cast<TranslationUnitDecl>(Val: D))
4832 TU->setAnonymousNamespace(Anon);
4833 else
4834 cast<NamespaceDecl>(Val: D)->setAnonymousNamespace(Anon);
4835 }
4836 break;
4837 }
4838
4839 case DeclUpdateKind::CXXAddedVarDefinition: {
4840 auto *VD = cast<VarDecl>(Val: D);
4841 VD->NonParmVarDeclBits.IsInline = Record.readInt();
4842 VD->NonParmVarDeclBits.IsInlineSpecified = Record.readInt();
4843 ReadVarDeclInit(VD);
4844 break;
4845 }
4846
4847 case DeclUpdateKind::CXXPointOfInstantiation: {
4848 SourceLocation POI = Record.readSourceLocation();
4849 if (auto *VTSD = dyn_cast<VarTemplateSpecializationDecl>(Val: D)) {
4850 VTSD->setPointOfInstantiation(POI);
4851 } else if (auto *VD = dyn_cast<VarDecl>(Val: D)) {
4852 MemberSpecializationInfo *MSInfo = VD->getMemberSpecializationInfo();
4853 assert(MSInfo && "No member specialization information");
4854 MSInfo->setPointOfInstantiation(POI);
4855 } else {
4856 auto *FD = cast<FunctionDecl>(Val: D);
4857 if (auto *FTSInfo = dyn_cast<FunctionTemplateSpecializationInfo *>(
4858 Val&: FD->TemplateOrSpecialization))
4859 FTSInfo->setPointOfInstantiation(POI);
4860 else
4861 cast<MemberSpecializationInfo *>(Val&: FD->TemplateOrSpecialization)
4862 ->setPointOfInstantiation(POI);
4863 }
4864 break;
4865 }
4866
4867 case DeclUpdateKind::CXXInstantiatedDefaultArgument: {
4868 auto *Param = cast<ParmVarDecl>(Val: D);
4869
4870 // We have to read the default argument regardless of whether we use it
4871 // so that hypothetical further update records aren't messed up.
4872 // TODO: Add a function to skip over the next expr record.
4873 auto *DefaultArg = Record.readExpr();
4874
4875 // Only apply the update if the parameter still has an uninstantiated
4876 // default argument.
4877 if (Param->hasUninstantiatedDefaultArg())
4878 Param->setDefaultArg(DefaultArg);
4879 break;
4880 }
4881
4882 case DeclUpdateKind::CXXInstantiatedDefaultMemberInitializer: {
4883 auto *FD = cast<FieldDecl>(Val: D);
4884 auto *DefaultInit = Record.readExpr();
4885
4886 // Only apply the update if the field still has an uninstantiated
4887 // default member initializer.
4888 if (FD->hasInClassInitializer() && !FD->hasNonNullInClassInitializer()) {
4889 if (DefaultInit)
4890 FD->setInClassInitializer(DefaultInit);
4891 else
4892 // Instantiation failed. We can get here if we serialized an AST for
4893 // an invalid program.
4894 FD->removeInClassInitializer();
4895 }
4896 break;
4897 }
4898
4899 case DeclUpdateKind::CXXAddedFunctionDefinition: {
4900 auto *FD = cast<FunctionDecl>(Val: D);
4901 if (Reader.PendingBodies[FD]) {
4902 // FIXME: Maybe check for ODR violations.
4903 // It's safe to stop now because this update record is always last.
4904 return;
4905 }
4906
4907 if (Record.readInt()) {
4908 // Maintain AST consistency: any later redeclarations of this function
4909 // are inline if this one is. (We might have merged another declaration
4910 // into this one.)
4911 forAllLaterRedecls(D: FD, F: [](FunctionDecl *FD) {
4912 FD->setImplicitlyInline();
4913 });
4914 }
4915 FD->setInnerLocStart(readSourceLocation());
4916 ReadFunctionDefinition(FD);
4917 assert(Record.getIdx() == Record.size() && "lazy body must be last");
4918 break;
4919 }
4920
4921 case DeclUpdateKind::CXXInstantiatedClassDefinition: {
4922 auto *RD = cast<CXXRecordDecl>(Val: D);
4923 auto *OldDD = RD->getCanonicalDecl()->DefinitionData;
4924 bool HadRealDefinition =
4925 OldDD && (OldDD->Definition != RD ||
4926 !Reader.PendingFakeDefinitionData.count(Val: OldDD));
4927 RD->setParamDestroyedInCallee(Record.readInt());
4928 RD->setArgPassingRestrictions(
4929 static_cast<RecordArgPassingKind>(Record.readInt()));
4930 ReadCXXRecordDefinition(D: RD, /*Update*/true);
4931
4932 // Visible update is handled separately.
4933 uint64_t LexicalOffset = ReadLocalOffset();
4934 if (!HadRealDefinition && LexicalOffset) {
4935 Record.readLexicalDeclContextStorage(Offset: LexicalOffset, DC: RD);
4936 Reader.PendingFakeDefinitionData.erase(Val: OldDD);
4937 }
4938
4939 auto TSK = (TemplateSpecializationKind)Record.readInt();
4940 SourceLocation POI = readSourceLocation();
4941 if (MemberSpecializationInfo *MSInfo =
4942 RD->getMemberSpecializationInfo()) {
4943 MSInfo->setTemplateSpecializationKind(TSK);
4944 MSInfo->setPointOfInstantiation(POI);
4945 } else {
4946 auto *Spec = cast<ClassTemplateSpecializationDecl>(Val: RD);
4947 Spec->setTemplateSpecializationKind(TSK);
4948 Spec->setPointOfInstantiation(POI);
4949
4950 if (Record.readInt()) {
4951 auto *PartialSpec =
4952 readDeclAs<ClassTemplatePartialSpecializationDecl>();
4953 SmallVector<TemplateArgument, 8> TemplArgs;
4954 Record.readTemplateArgumentList(TemplArgs);
4955 auto *TemplArgList = TemplateArgumentList::CreateCopy(
4956 Context&: Reader.getContext(), Args: TemplArgs);
4957
4958 // FIXME: If we already have a partial specialization set,
4959 // check that it matches.
4960 if (!isa<ClassTemplatePartialSpecializationDecl *>(
4961 Val: Spec->getSpecializedTemplateOrPartial()))
4962 Spec->setInstantiationOf(PartialSpec, TemplateArgs: TemplArgList);
4963 }
4964 }
4965
4966 RD->setTagKind(static_cast<TagTypeKind>(Record.readInt()));
4967 RD->setLocation(readSourceLocation());
4968 RD->setLocStart(readSourceLocation());
4969 RD->setBraceRange(readSourceRange());
4970
4971 if (Record.readInt()) {
4972 AttrVec Attrs;
4973 Record.readAttributes(Attrs);
4974 // If the declaration already has attributes, we assume that some other
4975 // AST file already loaded them.
4976 if (!D->hasAttrs())
4977 D->setAttrsImpl(Attrs, Ctx&: Reader.getContext());
4978 }
4979 break;
4980 }
4981
4982 case DeclUpdateKind::CXXResolvedDtorDelete: {
4983 // Set the 'operator delete' directly to avoid emitting another update
4984 // record.
4985 CXXDestructorDecl *Canon = cast<CXXDestructorDecl>(Val: D->getCanonicalDecl());
4986 ASTContext &C = Reader.getContext();
4987 auto *Del = readDeclAs<FunctionDecl>();
4988 auto *ThisArg = Record.readExpr();
4989 auto *Dtor = cast<CXXDestructorDecl>(Val: D);
4990 // FIXME: Check consistency if we have an old and new operator delete.
4991 if (!C.dtorHasOperatorDelete(Dtor,
4992 K: ASTContext::OperatorDeleteKind::Regular)) {
4993 C.addOperatorDeleteForVDtor(Dtor, OperatorDelete: Del,
4994 K: ASTContext::OperatorDeleteKind::Regular);
4995 Canon->OperatorDeleteThisArg = ThisArg;
4996 }
4997 break;
4998 }
4999
5000 case DeclUpdateKind::CXXResolvedDtorGlobDelete: {
5001 auto *Del = readDeclAs<FunctionDecl>();
5002 auto *Dtor = cast<CXXDestructorDecl>(Val: D);
5003 ASTContext &C = Reader.getContext();
5004 if (!C.dtorHasOperatorDelete(
5005 Dtor, K: ASTContext::OperatorDeleteKind::GlobalRegular))
5006 C.addOperatorDeleteForVDtor(
5007 Dtor, OperatorDelete: Del, K: ASTContext::OperatorDeleteKind::GlobalRegular);
5008 break;
5009 }
5010 case DeclUpdateKind::CXXResolvedDtorArrayDelete: {
5011 auto *Del = readDeclAs<FunctionDecl>();
5012 auto *Dtor = cast<CXXDestructorDecl>(Val: D);
5013 ASTContext &C = Reader.getContext();
5014 if (!C.dtorHasOperatorDelete(Dtor, K: ASTContext::OperatorDeleteKind::Array))
5015 C.addOperatorDeleteForVDtor(Dtor, OperatorDelete: Del,
5016 K: ASTContext::OperatorDeleteKind::Array);
5017 break;
5018 }
5019 case DeclUpdateKind::CXXResolvedDtorGlobArrayDelete: {
5020 auto *Del = readDeclAs<FunctionDecl>();
5021 auto *Dtor = cast<CXXDestructorDecl>(Val: D);
5022 ASTContext &C = Reader.getContext();
5023 if (!C.dtorHasOperatorDelete(Dtor,
5024 K: ASTContext::OperatorDeleteKind::ArrayGlobal))
5025 C.addOperatorDeleteForVDtor(
5026 Dtor, OperatorDelete: Del, K: ASTContext::OperatorDeleteKind::ArrayGlobal);
5027 break;
5028 }
5029
5030 case DeclUpdateKind::CXXResolvedExceptionSpec: {
5031 SmallVector<QualType, 8> ExceptionStorage;
5032 auto ESI = Record.readExceptionSpecInfo(buffer&: ExceptionStorage);
5033
5034 // Update this declaration's exception specification, if needed.
5035 auto *FD = cast<FunctionDecl>(Val: D);
5036 auto *FPT = FD->getType()->castAs<FunctionProtoType>();
5037 // FIXME: If the exception specification is already present, check that it
5038 // matches.
5039 if (isUnresolvedExceptionSpec(ESpecType: FPT->getExceptionSpecType())) {
5040 FD->setType(Reader.getContext().getFunctionType(
5041 ResultTy: FPT->getReturnType(), Args: FPT->getParamTypes(),
5042 EPI: FPT->getExtProtoInfo().withExceptionSpec(ESI)));
5043
5044 // When we get to the end of deserializing, see if there are other decls
5045 // that we need to propagate this exception specification onto.
5046 Reader.PendingExceptionSpecUpdates.insert(
5047 KV: std::make_pair(x: FD->getCanonicalDecl(), y&: FD));
5048 }
5049 break;
5050 }
5051
5052 case DeclUpdateKind::CXXDeducedReturnType: {
5053 auto *FD = cast<FunctionDecl>(Val: D);
5054 QualType DeducedResultType = Record.readType();
5055 Reader.PendingDeducedTypeUpdates.insert(
5056 KV: {FD->getCanonicalDecl(), DeducedResultType});
5057 break;
5058 }
5059
5060 case DeclUpdateKind::DeclMarkedUsed:
5061 // Maintain AST consistency: any later redeclarations are used too.
5062 D->markUsed(C&: Reader.getContext());
5063 break;
5064
5065 case DeclUpdateKind::ManglingNumber:
5066 Reader.getContext().setManglingNumber(ND: cast<NamedDecl>(Val: D),
5067 Number: Record.readInt());
5068 break;
5069
5070 case DeclUpdateKind::StaticLocalNumber:
5071 Reader.getContext().setStaticLocalNumber(VD: cast<VarDecl>(Val: D),
5072 Number: Record.readInt());
5073 break;
5074
5075 case DeclUpdateKind::DeclMarkedOpenMPThreadPrivate:
5076 D->addAttr(A: OMPThreadPrivateDeclAttr::CreateImplicit(Ctx&: Reader.getContext(),
5077 Range: readSourceRange()));
5078 break;
5079
5080 case DeclUpdateKind::DeclMarkedOpenMPAllocate: {
5081 auto AllocatorKind =
5082 static_cast<OMPAllocateDeclAttr::AllocatorTypeTy>(Record.readInt());
5083 Expr *Allocator = Record.readExpr();
5084 Expr *Alignment = Record.readExpr();
5085 SourceRange SR = readSourceRange();
5086 D->addAttr(A: OMPAllocateDeclAttr::CreateImplicit(
5087 Ctx&: Reader.getContext(), AllocatorType: AllocatorKind, Allocator, Alignment, Range: SR));
5088 break;
5089 }
5090
5091 case DeclUpdateKind::DeclMarkedOpenMPIndirectCall:
5092 D->addAttr(A: OMPTargetIndirectCallAttr::CreateImplicit(Ctx&: Reader.getContext(),
5093 Range: readSourceRange()));
5094 break;
5095
5096 case DeclUpdateKind::DeclExported: {
5097 unsigned SubmoduleID = readSubmoduleID();
5098 auto *Exported = cast<NamedDecl>(Val: D);
5099 Module *Owner = SubmoduleID ? Reader.getSubmodule(GlobalID: SubmoduleID) : nullptr;
5100 Reader.getContext().mergeDefinitionIntoModule(ND: Exported, M: Owner);
5101 Reader.PendingMergedDefinitionsToDeduplicate.insert(X: Exported);
5102 break;
5103 }
5104
5105 case DeclUpdateKind::DeclMarkedOpenMPDeclareTarget: {
5106 auto MapType = Record.readEnum<OMPDeclareTargetDeclAttr::MapTypeTy>();
5107 auto DevType = Record.readEnum<OMPDeclareTargetDeclAttr::DevTypeTy>();
5108 Expr *IndirectE = Record.readExpr();
5109 bool Indirect = Record.readBool();
5110 unsigned Level = Record.readInt();
5111 D->addAttr(A: OMPDeclareTargetDeclAttr::CreateImplicit(
5112 Ctx&: Reader.getContext(), MapType, DevType, IndirectExpr: IndirectE, Indirect, Level,
5113 Range: readSourceRange()));
5114 break;
5115 }
5116
5117 case DeclUpdateKind::AddedAttrToRecord:
5118 AttrVec Attrs;
5119 Record.readAttributes(Attrs);
5120 assert(Attrs.size() == 1);
5121 D->addAttr(A: Attrs[0]);
5122 break;
5123 }
5124 }
5125}
5126