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 InsertPos by FindNodeOrInsertPos() instead of calling
987 // InsertNode(FTInfo) 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 void *InsertPos = nullptr;
994 FunctionTemplateDecl::Common *CommonPtr = CanonTemplate->getCommonPtr();
995 FunctionTemplateSpecializationInfo *ExistingInfo =
996 CommonPtr->Specializations.FindNodeOrInsertPos(ID, InsertPos);
997 if (InsertPos)
998 CommonPtr->Specializations.InsertNode(N: FTInfo, InsertPos);
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.GetOrInsertNode(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.GetOrInsertNode(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.GetOrInsertNode(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->Statement = Record.readStmt();
1782}
1783
1784void ASTDeclReader::VisitBlockDecl(BlockDecl *BD) {
1785 VisitDecl(D: BD);
1786 BD->setBody(cast_or_null<CompoundStmt>(Val: Record.readStmt()));
1787 BD->setSignatureAsWritten(readTypeSourceInfo());
1788 unsigned NumParams = Record.readInt();
1789 SmallVector<ParmVarDecl *, 16> Params;
1790 Params.reserve(N: NumParams);
1791 for (unsigned I = 0; I != NumParams; ++I)
1792 Params.push_back(Elt: readDeclAs<ParmVarDecl>());
1793 BD->setParams(Params);
1794
1795 BD->setIsVariadic(Record.readInt());
1796 BD->setBlockMissingReturnType(Record.readInt());
1797 BD->setIsConversionFromLambda(Record.readInt());
1798 BD->setDoesNotEscape(Record.readInt());
1799 BD->setCanAvoidCopyToHeap(Record.readInt());
1800
1801 bool capturesCXXThis = Record.readInt();
1802 unsigned numCaptures = Record.readInt();
1803 SmallVector<BlockDecl::Capture, 16> captures;
1804 captures.reserve(N: numCaptures);
1805 for (unsigned i = 0; i != numCaptures; ++i) {
1806 auto *decl = readDeclAs<VarDecl>();
1807 unsigned flags = Record.readInt();
1808 bool byRef = (flags & 1);
1809 bool nested = (flags & 2);
1810 Expr *copyExpr = ((flags & 4) ? Record.readExpr() : nullptr);
1811
1812 captures.push_back(Elt: BlockDecl::Capture(decl, byRef, nested, copyExpr));
1813 }
1814 BD->setCaptures(Context&: Reader.getContext(), Captures: captures, CapturesCXXThis: capturesCXXThis);
1815}
1816
1817void ASTDeclReader::VisitOutlinedFunctionDecl(OutlinedFunctionDecl *D) {
1818 // NumParams is deserialized by OutlinedFunctionDecl::CreateDeserialized().
1819 VisitDecl(D);
1820 for (unsigned I = 0; I < D->NumParams; ++I)
1821 D->setParam(i: I, P: readDeclAs<ImplicitParamDecl>());
1822 D->setNothrow(Record.readInt() != 0);
1823 D->setBody(cast_or_null<Stmt>(Val: Record.readStmt()));
1824}
1825
1826void ASTDeclReader::VisitCapturedDecl(CapturedDecl *CD) {
1827 VisitDecl(D: CD);
1828 unsigned ContextParamPos = Record.readInt();
1829 CD->setNothrow(Record.readInt() != 0);
1830 // Body is set by VisitCapturedStmt.
1831 for (unsigned I = 0; I < CD->NumParams; ++I) {
1832 if (I != ContextParamPos)
1833 CD->setParam(i: I, P: readDeclAs<ImplicitParamDecl>());
1834 else
1835 CD->setContextParam(i: I, P: readDeclAs<ImplicitParamDecl>());
1836 }
1837}
1838
1839void ASTDeclReader::VisitLinkageSpecDecl(LinkageSpecDecl *D) {
1840 VisitDecl(D);
1841 D->setLanguage(static_cast<LinkageSpecLanguageIDs>(Record.readInt()));
1842 D->setExternLoc(readSourceLocation());
1843 D->setRBraceLoc(readSourceLocation());
1844}
1845
1846void ASTDeclReader::VisitExportDecl(ExportDecl *D) {
1847 VisitDecl(D);
1848 D->RBraceLoc = readSourceLocation();
1849}
1850
1851void ASTDeclReader::VisitLabelDecl(LabelDecl *D) {
1852 VisitNamedDecl(ND: D);
1853 D->setLocStart(readSourceLocation());
1854}
1855
1856void ASTDeclReader::VisitNamespaceDecl(NamespaceDecl *D) {
1857 RedeclarableResult Redecl = VisitRedeclarable(D);
1858 VisitNamedDecl(ND: D);
1859
1860 BitsUnpacker NamespaceDeclBits(Record.readInt());
1861 D->setInline(NamespaceDeclBits.getNextBit());
1862 D->setNested(NamespaceDeclBits.getNextBit());
1863 D->LocStart = readSourceLocation();
1864 D->RBraceLoc = readSourceLocation();
1865
1866 // Defer loading the anonymous namespace until we've finished merging
1867 // this namespace; loading it might load a later declaration of the
1868 // same namespace, and we have an invariant that older declarations
1869 // get merged before newer ones try to merge.
1870 GlobalDeclID AnonNamespace;
1871 if (Redecl.getFirstID() == ThisDeclID)
1872 AnonNamespace = readDeclID();
1873
1874 mergeRedeclarable(DBase: D, Redecl);
1875
1876 if (AnonNamespace.isValid()) {
1877 // Each module has its own anonymous namespace, which is disjoint from
1878 // any other module's anonymous namespaces, so don't attach the anonymous
1879 // namespace at all.
1880 auto *Anon = cast<NamespaceDecl>(Val: Reader.GetDecl(ID: AnonNamespace));
1881 if (!Record.isModule())
1882 D->setAnonymousNamespace(Anon);
1883 }
1884}
1885
1886void ASTDeclReader::VisitHLSLBufferDecl(HLSLBufferDecl *D) {
1887 VisitNamedDecl(ND: D);
1888 LookupBlockOffsets Offsets;
1889 VisitDeclContext(DC: D, Offsets);
1890 D->IsCBuffer = Record.readBool();
1891 D->KwLoc = readSourceLocation();
1892 D->LBraceLoc = readSourceLocation();
1893 D->RBraceLoc = readSourceLocation();
1894}
1895
1896void ASTDeclReader::VisitNamespaceAliasDecl(NamespaceAliasDecl *D) {
1897 RedeclarableResult Redecl = VisitRedeclarable(D);
1898 VisitNamedDecl(ND: D);
1899 D->NamespaceLoc = readSourceLocation();
1900 D->IdentLoc = readSourceLocation();
1901 D->QualifierLoc = Record.readNestedNameSpecifierLoc();
1902 D->Namespace = readDeclAs<NamespaceBaseDecl>();
1903 mergeRedeclarable(DBase: D, Redecl);
1904}
1905
1906void ASTDeclReader::VisitUsingDecl(UsingDecl *D) {
1907 VisitNamedDecl(ND: D);
1908 D->setUsingLoc(readSourceLocation());
1909 D->QualifierLoc = Record.readNestedNameSpecifierLoc();
1910 D->DNLoc = Record.readDeclarationNameLoc(Name: D->getDeclName());
1911 D->FirstUsingShadow.setPointer(readDeclAs<UsingShadowDecl>());
1912 D->setTypename(Record.readInt());
1913 if (auto *Pattern = readDeclAs<NamedDecl>())
1914 Reader.getContext().setInstantiatedFromUsingDecl(Inst: D, Pattern);
1915 mergeMergeable(D);
1916}
1917
1918void ASTDeclReader::VisitUsingEnumDecl(UsingEnumDecl *D) {
1919 VisitNamedDecl(ND: D);
1920 D->setUsingLoc(readSourceLocation());
1921 D->setEnumLoc(readSourceLocation());
1922 D->setEnumType(Record.readTypeSourceInfo());
1923 D->FirstUsingShadow.setPointer(readDeclAs<UsingShadowDecl>());
1924 if (auto *Pattern = readDeclAs<UsingEnumDecl>())
1925 Reader.getContext().setInstantiatedFromUsingEnumDecl(Inst: D, Pattern);
1926 mergeMergeable(D);
1927}
1928
1929void ASTDeclReader::VisitUsingPackDecl(UsingPackDecl *D) {
1930 VisitNamedDecl(ND: D);
1931 D->InstantiatedFrom = readDeclAs<NamedDecl>();
1932 auto **Expansions = D->getTrailingObjects();
1933 for (unsigned I = 0; I != D->NumExpansions; ++I)
1934 Expansions[I] = readDeclAs<NamedDecl>();
1935 mergeMergeable(D);
1936}
1937
1938void ASTDeclReader::VisitUsingShadowDecl(UsingShadowDecl *D) {
1939 RedeclarableResult Redecl = VisitRedeclarable(D);
1940 VisitNamedDecl(ND: D);
1941 D->Underlying = readDeclAs<NamedDecl>();
1942 D->IdentifierNamespace = Record.readInt();
1943 D->UsingOrNextShadow = readDeclAs<NamedDecl>();
1944 auto *Pattern = readDeclAs<UsingShadowDecl>();
1945 if (Pattern)
1946 Reader.getContext().setInstantiatedFromUsingShadowDecl(Inst: D, Pattern);
1947 mergeRedeclarable(DBase: D, Redecl);
1948}
1949
1950void ASTDeclReader::VisitConstructorUsingShadowDecl(
1951 ConstructorUsingShadowDecl *D) {
1952 VisitUsingShadowDecl(D);
1953 D->NominatedBaseClassShadowDecl = readDeclAs<ConstructorUsingShadowDecl>();
1954 D->ConstructedBaseClassShadowDecl = readDeclAs<ConstructorUsingShadowDecl>();
1955 D->IsVirtual = Record.readInt();
1956}
1957
1958void ASTDeclReader::VisitUsingDirectiveDecl(UsingDirectiveDecl *D) {
1959 VisitNamedDecl(ND: D);
1960 D->UsingLoc = readSourceLocation();
1961 D->NamespaceLoc = readSourceLocation();
1962 D->QualifierLoc = Record.readNestedNameSpecifierLoc();
1963 D->NominatedNamespace = readDeclAs<NamedDecl>();
1964 D->CommonAncestor = readDeclAs<DeclContext>();
1965}
1966
1967void ASTDeclReader::VisitUnresolvedUsingValueDecl(UnresolvedUsingValueDecl *D) {
1968 VisitValueDecl(VD: D);
1969 D->setUsingLoc(readSourceLocation());
1970 D->QualifierLoc = Record.readNestedNameSpecifierLoc();
1971 D->DNLoc = Record.readDeclarationNameLoc(Name: D->getDeclName());
1972 D->EllipsisLoc = readSourceLocation();
1973 mergeMergeable(D);
1974}
1975
1976void ASTDeclReader::VisitUnresolvedUsingTypenameDecl(
1977 UnresolvedUsingTypenameDecl *D) {
1978 VisitTypeDecl(TD: D);
1979 D->TypenameLocation = readSourceLocation();
1980 D->QualifierLoc = Record.readNestedNameSpecifierLoc();
1981 D->EllipsisLoc = readSourceLocation();
1982 mergeMergeable(D);
1983}
1984
1985void ASTDeclReader::VisitUnresolvedUsingIfExistsDecl(
1986 UnresolvedUsingIfExistsDecl *D) {
1987 VisitNamedDecl(ND: D);
1988}
1989
1990void ASTDeclReader::ReadCXXDefinitionData(
1991 struct CXXRecordDecl::DefinitionData &Data, const CXXRecordDecl *D,
1992 Decl *LambdaContext, unsigned IndexInLambdaContext) {
1993
1994 BitsUnpacker CXXRecordDeclBits = Record.readInt();
1995
1996#define FIELD(Name, Width, Merge) \
1997 if (!CXXRecordDeclBits.canGetNextNBits(Width)) \
1998 CXXRecordDeclBits.updateValue(Record.readInt()); \
1999 Data.Name = CXXRecordDeclBits.getNextBits(Width);
2000
2001#include "clang/AST/CXXRecordDeclDefinitionBits.def"
2002#undef FIELD
2003
2004 // Note: the caller has deserialized the IsLambda bit already.
2005 Data.ODRHash = Record.readInt();
2006 Data.HasODRHash = true;
2007
2008 if (Record.readInt()) {
2009 Reader.DefinitionSource[D] =
2010 Loc.F->Kind == ModuleKind::MK_MainFile ||
2011 Reader.getContext().getLangOpts().BuildingPCHWithObjectFile;
2012 }
2013
2014 Record.readUnresolvedSet(Set&: Data.Conversions);
2015 Data.ComputedVisibleConversions = Record.readInt();
2016 if (Data.ComputedVisibleConversions)
2017 Record.readUnresolvedSet(Set&: Data.VisibleConversions);
2018 assert(Data.Definition && "Data.Definition should be already set!");
2019
2020 if (!Data.IsLambda) {
2021 assert(!LambdaContext && !IndexInLambdaContext &&
2022 "given lambda context for non-lambda");
2023
2024 Data.NumBases = Record.readInt();
2025 if (Data.NumBases)
2026 Data.Bases = ReadGlobalOffset();
2027
2028 Data.NumVBases = Record.readInt();
2029 if (Data.NumVBases)
2030 Data.VBases = ReadGlobalOffset();
2031
2032 Data.FirstFriend = readDeclID().getRawValue();
2033 } else {
2034 using Capture = LambdaCapture;
2035
2036 auto &Lambda = static_cast<CXXRecordDecl::LambdaDefinitionData &>(Data);
2037
2038 BitsUnpacker LambdaBits(Record.readInt());
2039 Lambda.DependencyKind = LambdaBits.getNextBits(/*Width=*/2);
2040 Lambda.IsGenericLambda = LambdaBits.getNextBit();
2041 Lambda.CaptureDefault = LambdaBits.getNextBits(/*Width=*/2);
2042 Lambda.NumCaptures = LambdaBits.getNextBits(/*Width=*/15);
2043 Lambda.HasKnownInternalLinkage = LambdaBits.getNextBit();
2044
2045 Lambda.NumExplicitCaptures = Record.readInt();
2046 Lambda.ManglingNumber = Record.readInt();
2047 if (unsigned DeviceManglingNumber = Record.readInt())
2048 Reader.getContext().DeviceLambdaManglingNumbers[D] = DeviceManglingNumber;
2049 Lambda.IndexInContext = IndexInLambdaContext;
2050 Lambda.ContextDecl = LambdaContext;
2051 Capture *ToCapture = nullptr;
2052 if (Lambda.NumCaptures) {
2053 ToCapture = (Capture *)Reader.getContext().Allocate(Size: sizeof(Capture) *
2054 Lambda.NumCaptures);
2055 Lambda.AddCaptureList(Ctx&: Reader.getContext(), CaptureList: ToCapture);
2056 }
2057 Lambda.MethodTyInfo = readTypeSourceInfo();
2058 for (unsigned I = 0, N = Lambda.NumCaptures; I != N; ++I) {
2059 SourceLocation Loc = readSourceLocation();
2060 BitsUnpacker CaptureBits(Record.readInt());
2061 bool IsImplicit = CaptureBits.getNextBit();
2062 auto Kind =
2063 static_cast<LambdaCaptureKind>(CaptureBits.getNextBits(/*Width=*/3));
2064 switch (Kind) {
2065 case LCK_StarThis:
2066 case LCK_This:
2067 case LCK_VLAType:
2068 new (ToCapture)
2069 Capture(Loc, IsImplicit, Kind, nullptr, SourceLocation());
2070 ToCapture++;
2071 break;
2072 case LCK_ByCopy:
2073 case LCK_ByRef:
2074 auto *Var = readDeclAs<ValueDecl>();
2075 SourceLocation EllipsisLoc = readSourceLocation();
2076 new (ToCapture) Capture(Loc, IsImplicit, Kind, Var, EllipsisLoc);
2077 ToCapture++;
2078 break;
2079 }
2080 }
2081 }
2082}
2083
2084void ASTDeclMerger::MergeDefinitionData(
2085 CXXRecordDecl *D, struct CXXRecordDecl::DefinitionData &&MergeDD) {
2086 assert(D->DefinitionData &&
2087 "merging class definition into non-definition");
2088 auto &DD = *D->DefinitionData;
2089
2090 if (DD.Definition != MergeDD.Definition) {
2091 // Track that we merged the definitions.
2092 Reader.MergedDeclContexts.insert(KV: std::make_pair(x&: MergeDD.Definition,
2093 y&: DD.Definition));
2094 Reader.PendingDefinitions.erase(Ptr: MergeDD.Definition);
2095 MergeDD.Definition->demoteThisDefinitionToDeclaration();
2096 Reader.mergeDefinitionVisibility(Def: DD.Definition, MergedDef: MergeDD.Definition);
2097 assert(!Reader.Lookups.contains(MergeDD.Definition) &&
2098 "already loaded pending lookups for merged definition");
2099 }
2100
2101 auto PFDI = Reader.PendingFakeDefinitionData.find(Val: &DD);
2102 if (PFDI != Reader.PendingFakeDefinitionData.end() &&
2103 PFDI->second == ASTReader::PendingFakeDefinitionKind::Fake) {
2104 // We faked up this definition data because we found a class for which we'd
2105 // not yet loaded the definition. Replace it with the real thing now.
2106 assert(!DD.IsLambda && !MergeDD.IsLambda && "faked up lambda definition?");
2107 PFDI->second = ASTReader::PendingFakeDefinitionKind::FakeLoaded;
2108
2109 // Don't change which declaration is the definition; that is required
2110 // to be invariant once we select it.
2111 auto *Def = DD.Definition;
2112 DD = std::move(MergeDD);
2113 DD.Definition = Def;
2114 for (auto *R = Reader.getMostRecentExistingDecl(D: Def); R;
2115 R = R->getPreviousDecl())
2116 cast<CXXRecordDecl>(Val: R)->DefinitionData = &DD;
2117 return;
2118 }
2119
2120 bool DetectedOdrViolation = false;
2121
2122 #define FIELD(Name, Width, Merge) Merge(Name)
2123 #define MERGE_OR(Field) DD.Field |= MergeDD.Field;
2124 #define NO_MERGE(Field) \
2125 DetectedOdrViolation |= DD.Field != MergeDD.Field; \
2126 MERGE_OR(Field)
2127 #include "clang/AST/CXXRecordDeclDefinitionBits.def"
2128 NO_MERGE(IsLambda)
2129 #undef NO_MERGE
2130 #undef MERGE_OR
2131
2132 if (DD.NumBases != MergeDD.NumBases || DD.NumVBases != MergeDD.NumVBases)
2133 DetectedOdrViolation = true;
2134 // FIXME: Issue a diagnostic if the base classes don't match when we come
2135 // to lazily load them.
2136
2137 // FIXME: Issue a diagnostic if the list of conversion functions doesn't
2138 // match when we come to lazily load them.
2139 if (MergeDD.ComputedVisibleConversions && !DD.ComputedVisibleConversions) {
2140 DD.VisibleConversions = std::move(MergeDD.VisibleConversions);
2141 DD.ComputedVisibleConversions = true;
2142 }
2143
2144 // FIXME: Issue a diagnostic if FirstFriend doesn't match when we come to
2145 // lazily load it.
2146
2147 if (DD.IsLambda) {
2148 auto &Lambda1 = static_cast<CXXRecordDecl::LambdaDefinitionData &>(DD);
2149 auto &Lambda2 = static_cast<CXXRecordDecl::LambdaDefinitionData &>(MergeDD);
2150 DetectedOdrViolation |= Lambda1.DependencyKind != Lambda2.DependencyKind;
2151 DetectedOdrViolation |= Lambda1.IsGenericLambda != Lambda2.IsGenericLambda;
2152 DetectedOdrViolation |= Lambda1.CaptureDefault != Lambda2.CaptureDefault;
2153 DetectedOdrViolation |= Lambda1.NumCaptures != Lambda2.NumCaptures;
2154 DetectedOdrViolation |=
2155 Lambda1.NumExplicitCaptures != Lambda2.NumExplicitCaptures;
2156 DetectedOdrViolation |=
2157 Lambda1.HasKnownInternalLinkage != Lambda2.HasKnownInternalLinkage;
2158 DetectedOdrViolation |= Lambda1.ManglingNumber != Lambda2.ManglingNumber;
2159
2160 if (Lambda1.NumCaptures && Lambda1.NumCaptures == Lambda2.NumCaptures) {
2161 for (unsigned I = 0, N = Lambda1.NumCaptures; I != N; ++I) {
2162 LambdaCapture &Cap1 = Lambda1.Captures.front()[I];
2163 LambdaCapture &Cap2 = Lambda2.Captures.front()[I];
2164 DetectedOdrViolation |= Cap1.getCaptureKind() != Cap2.getCaptureKind();
2165 }
2166 Lambda1.AddCaptureList(Ctx&: Reader.getContext(), CaptureList: Lambda2.Captures.front());
2167 }
2168 }
2169
2170 // We don't want to check ODR for decls in the global module fragment.
2171 if (shouldSkipCheckingODR(D: MergeDD.Definition) || shouldSkipCheckingODR(D))
2172 return;
2173
2174 if (D->getODRHash() != MergeDD.ODRHash) {
2175 DetectedOdrViolation = true;
2176 }
2177
2178 if (DetectedOdrViolation)
2179 Reader.PendingOdrMergeFailures[DD.Definition].push_back(
2180 Elt: {MergeDD.Definition, &MergeDD});
2181}
2182
2183void ASTDeclReader::ReadCXXRecordDefinition(CXXRecordDecl *D, bool Update,
2184 Decl *LambdaContext,
2185 unsigned IndexInLambdaContext) {
2186 struct CXXRecordDecl::DefinitionData *DD;
2187 ASTContext &C = Reader.getContext();
2188
2189 // Determine whether this is a lambda closure type, so that we can
2190 // allocate the appropriate DefinitionData structure.
2191 bool IsLambda = Record.readInt();
2192 assert(!(IsLambda && Update) &&
2193 "lambda definition should not be added by update record");
2194 if (IsLambda)
2195 DD = new (C) CXXRecordDecl::LambdaDefinitionData(
2196 D, nullptr, CXXRecordDecl::LDK_Unknown, false, LCD_None);
2197 else
2198 DD = new (C) struct CXXRecordDecl::DefinitionData(D);
2199
2200 CXXRecordDecl *Canon = D->getCanonicalDecl();
2201 // Set decl definition data before reading it, so that during deserialization
2202 // when we read CXXRecordDecl, it already has definition data and we don't
2203 // set fake one.
2204 if (!Canon->DefinitionData)
2205 Canon->DefinitionData = DD;
2206 D->DefinitionData = Canon->DefinitionData;
2207 ReadCXXDefinitionData(Data&: *DD, D, LambdaContext, IndexInLambdaContext);
2208
2209 // Mark this declaration as being a definition.
2210 D->setCompleteDefinition(true);
2211
2212 // We might already have a different definition for this record. This can
2213 // happen either because we're reading an update record, or because we've
2214 // already done some merging. Either way, just merge into it.
2215 if (Canon->DefinitionData != DD) {
2216 MergeImpl.MergeDefinitionData(D: Canon, MergeDD: std::move(*DD));
2217 return;
2218 }
2219
2220 // If this is not the first declaration or is an update record, we can have
2221 // other redeclarations already. Make a note that we need to propagate the
2222 // DefinitionData pointer onto them.
2223 if (Update || Canon != D)
2224 Reader.PendingDefinitions.insert(Ptr: D);
2225}
2226
2227RedeclarableResult ASTDeclReader::VisitCXXRecordDeclImpl(CXXRecordDecl *D) {
2228 RedeclarableResult Redecl = VisitRecordDeclImpl(RD: D);
2229
2230 ASTContext &C = Reader.getContext();
2231
2232 enum CXXRecKind {
2233 CXXRecNotTemplate = 0,
2234 CXXRecTemplate,
2235 CXXRecMemberSpecialization,
2236 CXXLambda
2237 };
2238
2239 Decl *LambdaContext = nullptr;
2240 unsigned IndexInLambdaContext = 0;
2241
2242 switch ((CXXRecKind)Record.readInt()) {
2243 case CXXRecNotTemplate:
2244 // Merged when we merge the folding set entry in the primary template.
2245 if (!isa<ClassTemplateSpecializationDecl>(Val: D))
2246 mergeRedeclarable(DBase: D, Redecl);
2247 break;
2248 case CXXRecTemplate: {
2249 // Merged when we merge the template.
2250 auto *Template = readDeclAs<ClassTemplateDecl>();
2251 D->TemplateOrInstantiation = Template;
2252 break;
2253 }
2254 case CXXRecMemberSpecialization: {
2255 auto *RD = readDeclAs<CXXRecordDecl>();
2256 auto TSK = (TemplateSpecializationKind)Record.readInt();
2257 SourceLocation POI = readSourceLocation();
2258 MemberSpecializationInfo *MSI = new (C) MemberSpecializationInfo(RD, TSK);
2259 MSI->setPointOfInstantiation(POI);
2260 D->TemplateOrInstantiation = MSI;
2261 mergeRedeclarable(DBase: D, Redecl);
2262 break;
2263 }
2264 case CXXLambda: {
2265 LambdaContext = readDecl();
2266 if (LambdaContext)
2267 IndexInLambdaContext = Record.readInt();
2268 if (LambdaContext)
2269 MergeImpl.mergeLambda(D, Redecl, Context&: *LambdaContext, Number: IndexInLambdaContext);
2270 else
2271 // If we don't have a mangling context, treat this like any other
2272 // declaration.
2273 mergeRedeclarable(DBase: D, Redecl);
2274 break;
2275 }
2276 }
2277
2278 bool WasDefinition = Record.readInt();
2279 if (WasDefinition)
2280 ReadCXXRecordDefinition(D, /*Update=*/false, LambdaContext,
2281 IndexInLambdaContext);
2282 else
2283 // Propagate DefinitionData pointer from the canonical declaration.
2284 D->DefinitionData = D->getCanonicalDecl()->DefinitionData;
2285
2286 // Lazily load the key function to avoid deserializing every method so we can
2287 // compute it.
2288 if (WasDefinition) {
2289 GlobalDeclID KeyFn = readDeclID();
2290 if (KeyFn.isValid() && D->isCompleteDefinition())
2291 // FIXME: This is wrong for the ARM ABI, where some other module may have
2292 // made this function no longer be a key function. We need an update
2293 // record or similar for that case.
2294 C.KeyFunctions[D] = KeyFn.getRawValue();
2295 }
2296
2297 return Redecl;
2298}
2299
2300void ASTDeclReader::VisitCXXDeductionGuideDecl(CXXDeductionGuideDecl *D) {
2301 D->setExplicitSpecifier(Record.readExplicitSpec());
2302 D->Ctor = readDeclAs<CXXConstructorDecl>();
2303 VisitFunctionDecl(FD: D);
2304 D->setDeductionCandidateKind(
2305 static_cast<DeductionCandidate>(Record.readInt()));
2306 D->setSourceDeductionGuide(readDeclAs<CXXDeductionGuideDecl>());
2307 D->setSourceDeductionGuideKind(
2308 static_cast<CXXDeductionGuideDecl::SourceDeductionGuideKind>(
2309 Record.readInt()));
2310}
2311
2312void ASTDeclReader::VisitCXXMethodDecl(CXXMethodDecl *D) {
2313 VisitFunctionDecl(FD: D);
2314
2315 unsigned NumOverridenMethods = Record.readInt();
2316 if (D->isCanonicalDecl()) {
2317 while (NumOverridenMethods--) {
2318 // Avoid invariant checking of CXXMethodDecl::addOverriddenMethod,
2319 // MD may be initializing.
2320 if (auto *MD = readDeclAs<CXXMethodDecl>())
2321 Reader.getContext().addOverriddenMethod(Method: D, Overridden: MD->getCanonicalDecl());
2322 }
2323 } else {
2324 // We don't care about which declarations this used to override; we get
2325 // the relevant information from the canonical declaration.
2326 Record.skipInts(N: NumOverridenMethods);
2327 }
2328}
2329
2330void ASTDeclReader::VisitCXXConstructorDecl(CXXConstructorDecl *D) {
2331 // We need the inherited constructor information to merge the declaration,
2332 // so we have to read it before we call VisitCXXMethodDecl.
2333 D->setExplicitSpecifier(Record.readExplicitSpec());
2334 if (D->isInheritingConstructor()) {
2335 auto *Shadow = readDeclAs<ConstructorUsingShadowDecl>();
2336 auto *Ctor = readDeclAs<CXXConstructorDecl>();
2337 *D->getTrailingObjects<InheritedConstructor>() =
2338 InheritedConstructor(Shadow, Ctor);
2339 }
2340
2341 if (unsigned NumArgs = Record.readUInt32()) {
2342 CXXDefaultArgExpr **Args =
2343 new (Reader.getContext()) CXXDefaultArgExpr *[NumArgs];
2344 for (unsigned I = 0; I != NumArgs; I++)
2345 Args[I] = cast_or_null<CXXDefaultArgExpr>(Val: Record.readStmt());
2346 D->setCtorClosureDefaultArgs(ArrayRef(Args, NumArgs));
2347 }
2348
2349 VisitCXXMethodDecl(D);
2350}
2351
2352void ASTDeclReader::VisitCXXDestructorDecl(CXXDestructorDecl *D) {
2353 VisitCXXMethodDecl(D);
2354
2355 ASTContext &C = Reader.getContext();
2356 CXXDestructorDecl *Canon = cast<CXXDestructorDecl>(Val: D->getCanonicalDecl());
2357 if (auto *OperatorDelete = readDeclAs<FunctionDecl>()) {
2358 auto *ThisArg = Record.readExpr();
2359 // FIXME: Check consistency if we have an old and new operator delete.
2360 if (!C.dtorHasOperatorDelete(Dtor: D, K: ASTContext::OperatorDeleteKind::Regular)) {
2361 C.addOperatorDeleteForVDtor(Dtor: D, OperatorDelete,
2362 K: ASTContext::OperatorDeleteKind::Regular);
2363 Canon->OperatorDeleteThisArg = ThisArg;
2364 }
2365 }
2366 if (auto *OperatorGlobDelete = readDeclAs<FunctionDecl>()) {
2367 if (!C.dtorHasOperatorDelete(Dtor: D,
2368 K: ASTContext::OperatorDeleteKind::GlobalRegular))
2369 C.addOperatorDeleteForVDtor(
2370 Dtor: D, OperatorDelete: OperatorGlobDelete, K: ASTContext::OperatorDeleteKind::GlobalRegular);
2371 }
2372 if (auto *OperatorArrayDelete = readDeclAs<FunctionDecl>()) {
2373 if (!C.dtorHasOperatorDelete(Dtor: D, K: ASTContext::OperatorDeleteKind::Array))
2374 C.addOperatorDeleteForVDtor(Dtor: D, OperatorDelete: OperatorArrayDelete,
2375 K: ASTContext::OperatorDeleteKind::Array);
2376 }
2377 if (auto *OperatorGlobArrayDelete = readDeclAs<FunctionDecl>()) {
2378 if (!C.dtorHasOperatorDelete(Dtor: D,
2379 K: ASTContext::OperatorDeleteKind::ArrayGlobal))
2380 C.addOperatorDeleteForVDtor(Dtor: D, OperatorDelete: OperatorGlobArrayDelete,
2381 K: ASTContext::OperatorDeleteKind::ArrayGlobal);
2382 }
2383}
2384
2385void ASTDeclReader::VisitCXXConversionDecl(CXXConversionDecl *D) {
2386 D->setExplicitSpecifier(Record.readExplicitSpec());
2387 VisitCXXMethodDecl(D);
2388}
2389
2390void ASTDeclReader::VisitImportDecl(ImportDecl *D) {
2391 VisitDecl(D);
2392 D->ImportedModule = readModule();
2393 D->setImportComplete(Record.readInt());
2394 auto *StoredLocs = D->getTrailingObjects();
2395 for (unsigned I = 0, N = Record.back(); I != N; ++I)
2396 StoredLocs[I] = readSourceLocation();
2397 Record.skipInts(N: 1); // The number of stored source locations.
2398}
2399
2400void ASTDeclReader::VisitAccessSpecDecl(AccessSpecDecl *D) {
2401 VisitDecl(D);
2402 D->setColonLoc(readSourceLocation());
2403}
2404
2405void ASTDeclReader::VisitFriendDecl(FriendDecl *D) {
2406 VisitDecl(D);
2407 if (Record.readInt()) // hasFriendDecl
2408 D->Friend = readDeclAs<NamedDecl>();
2409 else
2410 D->Friend = readTypeSourceInfo();
2411 for (unsigned i = 0; i != D->NumTPLists; ++i)
2412 D->getTrailingObjects()[i] = Record.readTemplateParameterList();
2413 D->NextFriend = readDeclID().getRawValue();
2414 D->UnsupportedFriend = (Record.readInt() != 0);
2415 D->FriendLoc = readSourceLocation();
2416 D->EllipsisLoc = readSourceLocation();
2417}
2418
2419void ASTDeclReader::VisitFriendTemplateDecl(FriendTemplateDecl *D) {
2420 VisitDecl(D);
2421 unsigned NumParams = Record.readInt();
2422 D->NumParams = NumParams;
2423 D->Params = new (Reader.getContext()) TemplateParameterList *[NumParams];
2424 for (unsigned i = 0; i != NumParams; ++i)
2425 D->Params[i] = Record.readTemplateParameterList();
2426 if (Record.readInt()) // HasFriendDecl
2427 D->Friend = readDeclAs<NamedDecl>();
2428 else
2429 D->Friend = readTypeSourceInfo();
2430 D->FriendLoc = readSourceLocation();
2431}
2432
2433void ASTDeclReader::VisitTemplateDecl(TemplateDecl *D) {
2434 VisitNamedDecl(ND: D);
2435
2436 assert(!D->TemplateParams && "TemplateParams already set!");
2437 D->TemplateParams = Record.readTemplateParameterList();
2438 D->init(NewTemplatedDecl: readDeclAs<NamedDecl>());
2439}
2440
2441void ASTDeclReader::VisitConceptDecl(ConceptDecl *D) {
2442 VisitTemplateDecl(D);
2443 D->ConstraintExpr = Record.readExpr();
2444 mergeMergeable(D);
2445}
2446
2447void ASTDeclReader::VisitImplicitConceptSpecializationDecl(
2448 ImplicitConceptSpecializationDecl *D) {
2449 // The size of the template list was read during creation of the Decl, so we
2450 // don't have to re-read it here.
2451 VisitDecl(D);
2452 llvm::SmallVector<TemplateArgument, 4> Args;
2453 for (unsigned I = 0; I < D->NumTemplateArgs; ++I)
2454 Args.push_back(Elt: Record.readTemplateArgument(/*Canonicalize=*/false));
2455 D->setTemplateArguments(Args);
2456}
2457
2458void ASTDeclReader::VisitRequiresExprBodyDecl(RequiresExprBodyDecl *D) {
2459}
2460
2461void ASTDeclReader::ReadSpecializations(ModuleFile &M, Decl *D,
2462 llvm::BitstreamCursor &DeclsCursor,
2463 bool IsPartial) {
2464 uint64_t Offset = ReadLocalOffset();
2465 bool Failed =
2466 Reader.ReadSpecializations(M, Cursor&: DeclsCursor, Offset, D, IsPartial);
2467 (void)Failed;
2468 assert(!Failed);
2469}
2470
2471RedeclarableResult
2472ASTDeclReader::VisitRedeclarableTemplateDecl(RedeclarableTemplateDecl *D) {
2473 RedeclarableResult Redecl = VisitRedeclarable(D);
2474
2475 // Make sure we've allocated the Common pointer first. We do this before
2476 // VisitTemplateDecl so that getCommonPtr() can be used during initialization.
2477 RedeclarableTemplateDecl *CanonD = D->getCanonicalDecl();
2478 if (!CanonD->Common) {
2479 CanonD->Common = CanonD->newCommon(C&: Reader.getContext());
2480 Reader.PendingDefinitions.insert(Ptr: CanonD);
2481 }
2482 D->Common = CanonD->Common;
2483
2484 // If this is the first declaration of the template, fill in the information
2485 // for the 'common' pointer.
2486 if (ThisDeclID == Redecl.getFirstID()) {
2487 if (auto *RTD = readDeclAs<RedeclarableTemplateDecl>()) {
2488 assert(RTD->getKind() == D->getKind() &&
2489 "InstantiatedFromMemberTemplate kind mismatch");
2490 D->setInstantiatedFromMemberTemplate(RTD);
2491 if (Record.readInt())
2492 D->setMemberSpecialization();
2493 }
2494 }
2495
2496 VisitTemplateDecl(D);
2497 D->IdentifierNamespace = Record.readInt();
2498
2499 return Redecl;
2500}
2501
2502void ASTDeclReader::VisitClassTemplateDecl(ClassTemplateDecl *D) {
2503 RedeclarableResult Redecl = VisitRedeclarableTemplateDecl(D);
2504 mergeRedeclarableTemplate(D, Redecl);
2505
2506 if (ThisDeclID == Redecl.getFirstID()) {
2507 // This ClassTemplateDecl owns a CommonPtr; read it to keep track of all of
2508 // the specializations.
2509 ReadSpecializations(M&: *Loc.F, D, DeclsCursor&: Loc.F->DeclsCursor, /*IsPartial=*/false);
2510 ReadSpecializations(M&: *Loc.F, D, DeclsCursor&: Loc.F->DeclsCursor, /*IsPartial=*/true);
2511 }
2512}
2513
2514void ASTDeclReader::VisitBuiltinTemplateDecl(BuiltinTemplateDecl *D) {
2515 llvm_unreachable("BuiltinTemplates are not serialized");
2516}
2517
2518/// TODO: Unify with ClassTemplateDecl version?
2519/// May require unifying ClassTemplateDecl and
2520/// VarTemplateDecl beyond TemplateDecl...
2521void ASTDeclReader::VisitVarTemplateDecl(VarTemplateDecl *D) {
2522 RedeclarableResult Redecl = VisitRedeclarableTemplateDecl(D);
2523 mergeRedeclarableTemplate(D, Redecl);
2524
2525 if (ThisDeclID == Redecl.getFirstID()) {
2526 // This VarTemplateDecl owns a CommonPtr; read it to keep track of all of
2527 // the specializations.
2528 ReadSpecializations(M&: *Loc.F, D, DeclsCursor&: Loc.F->DeclsCursor, /*IsPartial=*/false);
2529 ReadSpecializations(M&: *Loc.F, D, DeclsCursor&: Loc.F->DeclsCursor, /*IsPartial=*/true);
2530 }
2531}
2532
2533RedeclarableResult ASTDeclReader::VisitClassTemplateSpecializationDeclImpl(
2534 ClassTemplateSpecializationDecl *D) {
2535 RedeclarableResult Redecl = VisitCXXRecordDeclImpl(D);
2536
2537 ASTContext &C = Reader.getContext();
2538 if (Decl *InstD = readDecl()) {
2539 if (auto *CTD = dyn_cast<ClassTemplateDecl>(Val: InstD)) {
2540 D->SpecializedTemplate = CTD;
2541 } else {
2542 SmallVector<TemplateArgument, 8> TemplArgs;
2543 Record.readTemplateArgumentList(TemplArgs);
2544 TemplateArgumentList *ArgList
2545 = TemplateArgumentList::CreateCopy(Context&: C, Args: TemplArgs);
2546 auto *PS =
2547 new (C) ClassTemplateSpecializationDecl::
2548 SpecializedPartialSpecialization();
2549 PS->PartialSpecialization
2550 = cast<ClassTemplatePartialSpecializationDecl>(Val: InstD);
2551 PS->TemplateArgs = ArgList;
2552 D->SpecializedTemplate = PS;
2553 }
2554 }
2555
2556 SmallVector<TemplateArgument, 8> TemplArgs;
2557 Record.readTemplateArgumentList(TemplArgs, /*Canonicalize*/ true);
2558 D->TemplateArgs = TemplateArgumentList::CreateCopy(Context&: C, Args: TemplArgs);
2559 D->PointOfInstantiation = readSourceLocation();
2560 D->SpecializationKind = (TemplateSpecializationKind)Record.readInt();
2561 D->StrictPackMatch = Record.readBool();
2562
2563 bool writtenAsCanonicalDecl = Record.readInt();
2564 if (writtenAsCanonicalDecl) {
2565 auto *CanonPattern = readDeclAs<ClassTemplateDecl>();
2566 if (D->isCanonicalDecl()) { // It's kept in the folding set.
2567 // Set this as, or find, the canonical declaration for this specialization
2568 ClassTemplateSpecializationDecl *CanonSpec;
2569 if (auto *Partial = dyn_cast<ClassTemplatePartialSpecializationDecl>(Val: D)) {
2570 CanonSpec = CanonPattern->getCommonPtr()->PartialSpecializations
2571 .GetOrInsertNode(N: Partial);
2572 } else {
2573 CanonSpec =
2574 CanonPattern->getCommonPtr()->Specializations.GetOrInsertNode(N: D);
2575 }
2576 // If there was already a canonical specialization, merge into it.
2577 if (CanonSpec != D) {
2578 MergeImpl.mergeRedeclarable<TagDecl>(D, Existing: CanonSpec, Redecl);
2579
2580 // This declaration might be a definition. Merge with any existing
2581 // definition.
2582 if (auto *DDD = D->DefinitionData) {
2583 if (CanonSpec->DefinitionData)
2584 MergeImpl.MergeDefinitionData(D: CanonSpec, MergeDD: std::move(*DDD));
2585 else
2586 CanonSpec->DefinitionData = D->DefinitionData;
2587 }
2588 D->DefinitionData = CanonSpec->DefinitionData;
2589 }
2590 }
2591 }
2592
2593 // extern/template keyword locations for explicit instantiations
2594 if (Record.readBool()) {
2595 auto *ExplicitInfo = new (C) ExplicitInstantiationInfo;
2596 ExplicitInfo->ExternKeywordLoc = readSourceLocation();
2597 ExplicitInfo->TemplateKeywordLoc = readSourceLocation();
2598 D->ExplicitInfo = ExplicitInfo;
2599 }
2600
2601 if (Record.readBool())
2602 D->setTemplateArgsAsWritten(Record.readASTTemplateArgumentListInfo());
2603
2604 return Redecl;
2605}
2606
2607void ASTDeclReader::VisitClassTemplatePartialSpecializationDecl(
2608 ClassTemplatePartialSpecializationDecl *D) {
2609 // We need to read the template params first because redeclarable is going to
2610 // need them for profiling
2611 TemplateParameterList *Params = Record.readTemplateParameterList();
2612 D->TemplateParams = Params;
2613
2614 RedeclarableResult Redecl = VisitClassTemplateSpecializationDeclImpl(D);
2615
2616 // These are read/set from/to the first declaration.
2617 if (ThisDeclID == Redecl.getFirstID()) {
2618 D->InstantiatedFromMember.setPointer(
2619 readDeclAs<ClassTemplatePartialSpecializationDecl>());
2620 D->InstantiatedFromMember.setInt(Record.readInt());
2621 }
2622}
2623
2624void ASTDeclReader::VisitFunctionTemplateDecl(FunctionTemplateDecl *D) {
2625 RedeclarableResult Redecl = VisitRedeclarableTemplateDecl(D);
2626
2627 if (ThisDeclID == Redecl.getFirstID()) {
2628 // This FunctionTemplateDecl owns a CommonPtr; read it.
2629 ReadSpecializations(M&: *Loc.F, D, DeclsCursor&: Loc.F->DeclsCursor, /*IsPartial=*/false);
2630 }
2631}
2632
2633/// TODO: Unify with ClassTemplateSpecializationDecl version?
2634/// May require unifying ClassTemplate(Partial)SpecializationDecl and
2635/// VarTemplate(Partial)SpecializationDecl with a new data
2636/// structure Template(Partial)SpecializationDecl, and
2637/// using Template(Partial)SpecializationDecl as input type.
2638RedeclarableResult ASTDeclReader::VisitVarTemplateSpecializationDeclImpl(
2639 VarTemplateSpecializationDecl *D) {
2640 ASTContext &C = Reader.getContext();
2641 if (Decl *InstD = readDecl()) {
2642 if (auto *VTD = dyn_cast<VarTemplateDecl>(Val: InstD)) {
2643 D->SpecializedTemplate = VTD;
2644 } else {
2645 SmallVector<TemplateArgument, 8> TemplArgs;
2646 Record.readTemplateArgumentList(TemplArgs);
2647 TemplateArgumentList *ArgList = TemplateArgumentList::CreateCopy(
2648 Context&: C, Args: TemplArgs);
2649 auto *PS =
2650 new (C)
2651 VarTemplateSpecializationDecl::SpecializedPartialSpecialization();
2652 PS->PartialSpecialization =
2653 cast<VarTemplatePartialSpecializationDecl>(Val: InstD);
2654 PS->TemplateArgs = ArgList;
2655 D->SpecializedTemplate = PS;
2656 }
2657 }
2658
2659 // extern/template keyword locations for explicit instantiations
2660 if (Record.readBool()) {
2661 auto *ExplicitInfo = new (C) ExplicitInstantiationInfo;
2662 ExplicitInfo->ExternKeywordLoc = readSourceLocation();
2663 ExplicitInfo->TemplateKeywordLoc = readSourceLocation();
2664 D->ExplicitInfo = ExplicitInfo;
2665 }
2666
2667 if (Record.readBool())
2668 D->setTemplateArgsAsWritten(Record.readASTTemplateArgumentListInfo());
2669
2670 SmallVector<TemplateArgument, 8> TemplArgs;
2671 Record.readTemplateArgumentList(TemplArgs, /*Canonicalize*/ true);
2672 D->TemplateArgs = TemplateArgumentList::CreateCopy(Context&: C, Args: TemplArgs);
2673 D->PointOfInstantiation = readSourceLocation();
2674 D->SpecializationKind = (TemplateSpecializationKind)Record.readInt();
2675 D->IsCompleteDefinition = Record.readInt();
2676
2677 RedeclarableResult Redecl = VisitVarDeclImpl(VD: D);
2678
2679 bool writtenAsCanonicalDecl = Record.readInt();
2680 if (writtenAsCanonicalDecl) {
2681 auto *CanonPattern = readDeclAs<VarTemplateDecl>();
2682 if (D->isCanonicalDecl()) { // It's kept in the folding set.
2683 VarTemplateSpecializationDecl *CanonSpec;
2684 if (auto *Partial = dyn_cast<VarTemplatePartialSpecializationDecl>(Val: D)) {
2685 CanonSpec = CanonPattern->getCommonPtr()
2686 ->PartialSpecializations.GetOrInsertNode(N: Partial);
2687 } else {
2688 CanonSpec =
2689 CanonPattern->getCommonPtr()->Specializations.GetOrInsertNode(N: D);
2690 }
2691 // If we already have a matching specialization, merge it.
2692 if (CanonSpec != D)
2693 MergeImpl.mergeRedeclarable<VarDecl>(D, Existing: CanonSpec, Redecl);
2694 }
2695 }
2696
2697 return Redecl;
2698}
2699
2700/// TODO: Unify with ClassTemplatePartialSpecializationDecl version?
2701/// May require unifying ClassTemplate(Partial)SpecializationDecl and
2702/// VarTemplate(Partial)SpecializationDecl with a new data
2703/// structure Template(Partial)SpecializationDecl, and
2704/// using Template(Partial)SpecializationDecl as input type.
2705void ASTDeclReader::VisitVarTemplatePartialSpecializationDecl(
2706 VarTemplatePartialSpecializationDecl *D) {
2707 TemplateParameterList *Params = Record.readTemplateParameterList();
2708 D->TemplateParams = Params;
2709
2710 RedeclarableResult Redecl = VisitVarTemplateSpecializationDeclImpl(D);
2711
2712 // These are read/set from/to the first declaration.
2713 if (ThisDeclID == Redecl.getFirstID()) {
2714 D->InstantiatedFromMember.setPointer(
2715 readDeclAs<VarTemplatePartialSpecializationDecl>());
2716 D->InstantiatedFromMember.setInt(Record.readInt());
2717 }
2718}
2719
2720void ASTDeclReader::VisitTemplateTypeParmDecl(TemplateTypeParmDecl *D) {
2721 VisitTypeDecl(TD: D);
2722
2723 D->setDeclaredWithTypename(Record.readInt());
2724
2725 bool TypeConstraintInitialized = D->hasTypeConstraint() && Record.readBool();
2726 if (TypeConstraintInitialized) {
2727 ConceptReference *CR = nullptr;
2728 if (Record.readBool())
2729 CR = Record.readConceptReference();
2730 Expr *ImmediatelyDeclaredConstraint = Record.readExpr();
2731 UnsignedOrNone ArgPackSubstIndex = Record.readUnsignedOrNone();
2732
2733 D->setTypeConstraint(CR, ImmediatelyDeclaredConstraint, ArgPackSubstIndex);
2734 D->NumExpanded = Record.readUnsignedOrNone();
2735 }
2736
2737 if (Record.readInt())
2738 D->setDefaultArgument(C: Reader.getContext(),
2739 DefArg: Record.readTemplateArgumentLoc());
2740}
2741
2742void ASTDeclReader::VisitNonTypeTemplateParmDecl(NonTypeTemplateParmDecl *D) {
2743 VisitDeclaratorDecl(DD: D);
2744 // TemplateParmPosition.
2745 D->setDepth(Record.readInt());
2746 D->setPosition(Record.readInt());
2747 if (D->hasPlaceholderTypeConstraint())
2748 D->setPlaceholderTypeConstraint(Record.readExpr());
2749 if (D->isExpandedParameterPack()) {
2750 auto TypesAndInfos =
2751 D->getTrailingObjects<std::pair<QualType, TypeSourceInfo *>>();
2752 for (unsigned I = 0, N = D->getNumExpansionTypes(); I != N; ++I) {
2753 new (&TypesAndInfos[I].first) QualType(Record.readType());
2754 TypesAndInfos[I].second = readTypeSourceInfo();
2755 }
2756 } else {
2757 // Rest of NonTypeTemplateParmDecl.
2758 D->ParameterPack = Record.readInt();
2759 if (Record.readInt())
2760 D->setDefaultArgument(C: Reader.getContext(),
2761 DefArg: Record.readTemplateArgumentLoc());
2762 }
2763}
2764
2765void ASTDeclReader::VisitTemplateTemplateParmDecl(TemplateTemplateParmDecl *D) {
2766 VisitTemplateDecl(D);
2767 D->ParameterKind = static_cast<TemplateNameKind>(Record.readInt());
2768 D->setDeclaredWithTypename(Record.readBool());
2769 // TemplateParmPosition.
2770 D->setDepth(Record.readInt());
2771 D->setPosition(Record.readInt());
2772 if (D->isExpandedParameterPack()) {
2773 auto **Data = D->getTrailingObjects();
2774 for (unsigned I = 0, N = D->getNumExpansionTemplateParameters();
2775 I != N; ++I)
2776 Data[I] = Record.readTemplateParameterList();
2777 } else {
2778 // Rest of TemplateTemplateParmDecl.
2779 D->ParameterPack = Record.readInt();
2780 if (Record.readInt())
2781 D->setDefaultArgument(C: Reader.getContext(),
2782 DefArg: Record.readTemplateArgumentLoc());
2783 }
2784}
2785
2786void ASTDeclReader::VisitTypeAliasTemplateDecl(TypeAliasTemplateDecl *D) {
2787 RedeclarableResult Redecl = VisitRedeclarableTemplateDecl(D);
2788 mergeRedeclarableTemplate(D, Redecl);
2789}
2790
2791void ASTDeclReader::VisitStaticAssertDecl(StaticAssertDecl *D) {
2792 VisitDecl(D);
2793 D->AssertExprAndFailed.setPointer(Record.readExpr());
2794 D->AssertExprAndFailed.setInt(Record.readInt());
2795 D->Message = cast_or_null<StringLiteral>(Val: Record.readExpr());
2796 D->RParenLoc = readSourceLocation();
2797}
2798
2799void ASTDeclReader::VisitExplicitInstantiationDecl(
2800 ExplicitInstantiationDecl *D) {
2801 // Note: trailing flags were already read by ReadDeclRecord and passed to
2802 // CreateDeserialized, so TypeAndFlags.getInt() is already set.
2803 VisitDecl(D);
2804 auto *Spec = readDeclAs<NamedDecl>();
2805 D->SpecAndTSK.setPointer(Spec);
2806 D->ExternLoc = readSourceLocation();
2807 D->NameLoc = readSourceLocation();
2808 TypeSourceInfo *TSI = readTypeSourceInfo();
2809 unsigned TSK = Record.readInt();
2810 D->SpecAndTSK.setInt(TSK);
2811 D->TypeAndFlags.setPointer(TSI); // preserves trailing flags in int bits
2812 // Read trailing objects.
2813 if (D->hasTrailingQualifier())
2814 *D->getTrailingObjects<NestedNameSpecifierLoc>() =
2815 Record.readNestedNameSpecifierLoc();
2816 if (D->hasTrailingArgsAsWritten())
2817 *D->getTrailingObjects<const ASTTemplateArgumentListInfo *>() =
2818 Record.readASTTemplateArgumentListInfo();
2819
2820 // Rebuild the ASTContext map from specialization to EID.
2821 if (Spec)
2822 Reader.getContext().addExplicitInstantiationDecl(Spec, EID: D);
2823}
2824
2825void ASTDeclReader::VisitCXXExpansionStmtDecl(CXXExpansionStmtDecl *D) {
2826 VisitDecl(D);
2827 D->Pattern = cast<CXXExpansionStmtPattern>(Val: Record.readStmt());
2828 D->Instantiations =
2829 cast_or_null<CXXExpansionStmtInstantiation>(Val: Record.readStmt());
2830 D->IndexNTTP = cast<NonTypeTemplateParmDecl>(Val: Record.readDeclRef());
2831}
2832
2833void ASTDeclReader::VisitEmptyDecl(EmptyDecl *D) {
2834 VisitDecl(D);
2835}
2836
2837void ASTDeclReader::VisitLifetimeExtendedTemporaryDecl(
2838 LifetimeExtendedTemporaryDecl *D) {
2839 VisitDecl(D);
2840 D->ExtendingDecl = readDeclAs<ValueDecl>();
2841 D->ExprWithTemporary = Record.readStmt();
2842 if (Record.readInt()) {
2843 D->Value = new (D->getASTContext()) APValue(Record.readAPValue());
2844 D->getASTContext().addDestruction(Ptr: D->Value);
2845 }
2846 D->ManglingNumber = Record.readInt();
2847 mergeMergeable(D);
2848}
2849
2850void ASTDeclReader::VisitDeclContext(DeclContext *DC,
2851 LookupBlockOffsets &Offsets) {
2852 Offsets.LexicalOffset = ReadLocalOffset();
2853 Offsets.VisibleOffset = ReadLocalOffset();
2854 Offsets.ModuleLocalOffset = ReadLocalOffset();
2855 Offsets.TULocalOffset = ReadLocalOffset();
2856}
2857
2858template <typename T>
2859RedeclarableResult ASTDeclReader::VisitRedeclarable(Redeclarable<T> *D) {
2860 GlobalDeclID FirstDeclID = readDeclID();
2861 Decl *MergeWith = nullptr;
2862
2863 bool IsKeyDecl = ThisDeclID == FirstDeclID;
2864 bool IsFirstLocalDecl = false;
2865
2866 uint64_t RedeclOffset = 0;
2867
2868 // invalid FirstDeclID indicates that this declaration was the only
2869 // declaration of its entity, and is used for space optimization.
2870 if (FirstDeclID.isInvalid()) {
2871 FirstDeclID = ThisDeclID;
2872 IsKeyDecl = true;
2873 IsFirstLocalDecl = true;
2874 } else if (unsigned N = Record.readInt()) {
2875 // This declaration was the first local declaration, but may have imported
2876 // other declarations.
2877 IsKeyDecl = N == 1;
2878 IsFirstLocalDecl = true;
2879
2880 // We have some declarations that must be before us in our redeclaration
2881 // chain. Read them now, and remember that we ought to merge with one of
2882 // them.
2883 // FIXME: Provide a known merge target to the second and subsequent such
2884 // declaration.
2885 for (unsigned I = 0; I != N - 1; ++I)
2886 MergeWith = readDecl();
2887
2888 RedeclOffset = ReadLocalOffset();
2889 } else {
2890 // This declaration was not the first local declaration. Read the first
2891 // local declaration now, to trigger the import of other redeclarations.
2892 (void)readDecl();
2893 }
2894
2895 auto *FirstDecl = cast_or_null<T>(Reader.GetDecl(ID: FirstDeclID));
2896 if (FirstDecl != D) {
2897 // We delay loading of the redeclaration chain to avoid deeply nested calls.
2898 // We temporarily set the first (canonical) declaration as the previous one
2899 // which is the one that matters and mark the real previous DeclID to be
2900 // loaded & attached later on.
2901 D->RedeclLink = Redeclarable<T>::PreviousDeclLink(FirstDecl);
2902 D->First = FirstDecl->getCanonicalDecl();
2903 }
2904
2905 auto *DAsT = static_cast<T *>(D);
2906
2907 // Note that we need to load local redeclarations of this decl and build a
2908 // decl chain for them. This must happen *after* we perform the preloading
2909 // above; this ensures that the redeclaration chain is built in the correct
2910 // order.
2911 if (IsFirstLocalDecl)
2912 Reader.PendingDeclChains.push_back(Elt: std::make_pair(DAsT, RedeclOffset));
2913
2914 return RedeclarableResult(MergeWith, FirstDeclID, IsKeyDecl);
2915}
2916
2917/// Attempts to merge the given declaration (D) with another declaration
2918/// of the same entity.
2919template <typename T>
2920void ASTDeclReader::mergeRedeclarable(Redeclarable<T> *DBase,
2921 RedeclarableResult &Redecl) {
2922 // If modules are not available, there is no reason to perform this merge.
2923 if (!Reader.getContext().getLangOpts().Modules)
2924 return;
2925
2926 // If we're not the canonical declaration, we don't need to merge.
2927 if (!DBase->isFirstDecl())
2928 return;
2929
2930 auto *D = static_cast<T *>(DBase);
2931
2932 if (auto *Existing = Redecl.getKnownMergeTarget())
2933 // We already know of an existing declaration we should merge with.
2934 MergeImpl.mergeRedeclarable(D, cast<T>(Existing), Redecl);
2935 else if (FindExistingResult ExistingRes = findExisting(D))
2936 if (T *Existing = ExistingRes)
2937 MergeImpl.mergeRedeclarable(D, Existing, Redecl);
2938}
2939
2940/// Attempt to merge D with a previous declaration of the same lambda, which is
2941/// found by its index within its context declaration, if it has one.
2942///
2943/// We can't look up lambdas in their enclosing lexical or semantic context in
2944/// general, because for lambdas in variables, both of those might be a
2945/// namespace or the translation unit.
2946void ASTDeclMerger::mergeLambda(CXXRecordDecl *D, RedeclarableResult &Redecl,
2947 Decl &Context, unsigned IndexInContext) {
2948 // If modules are not available, there is no reason to perform this merge.
2949 if (!Reader.getContext().getLangOpts().Modules)
2950 return;
2951
2952 // If we're not the canonical declaration, we don't need to merge.
2953 if (!D->isFirstDecl())
2954 return;
2955
2956 if (auto *Existing = Redecl.getKnownMergeTarget())
2957 // We already know of an existing declaration we should merge with.
2958 mergeRedeclarable(D, Existing: cast<TagDecl>(Val: Existing), Redecl);
2959
2960 // Look up this lambda to see if we've seen it before. If so, merge with the
2961 // one we already loaded.
2962 NamedDecl *&Slot = Reader.LambdaDeclarationsForMerging[{
2963 Context.getCanonicalDecl(), IndexInContext}];
2964 if (Slot)
2965 mergeRedeclarable(D, Existing: cast<TagDecl>(Val: Slot), Redecl);
2966 else
2967 Slot = D;
2968}
2969
2970void ASTDeclReader::mergeRedeclarableTemplate(RedeclarableTemplateDecl *D,
2971 RedeclarableResult &Redecl) {
2972 mergeRedeclarable(DBase: D, Redecl);
2973 // If we merged the template with a prior declaration chain, merge the
2974 // common pointer.
2975 // FIXME: Actually merge here, don't just overwrite.
2976 D->Common = D->getCanonicalDecl()->Common;
2977}
2978
2979/// "Cast" to type T, asserting if we don't have an implicit conversion.
2980/// We use this to put code in a template that will only be valid for certain
2981/// instantiations.
2982template<typename T> static T assert_cast(T t) { return t; }
2983template<typename T> static T assert_cast(...) {
2984 llvm_unreachable("bad assert_cast");
2985}
2986
2987/// Merge together the pattern declarations from two template
2988/// declarations.
2989void ASTDeclMerger::mergeTemplatePattern(RedeclarableTemplateDecl *D,
2990 RedeclarableTemplateDecl *Existing,
2991 bool IsKeyDecl) {
2992 auto *DPattern = D->getTemplatedDecl();
2993 auto *ExistingPattern = Existing->getTemplatedDecl();
2994 RedeclarableResult Result(
2995 /*MergeWith*/ ExistingPattern,
2996 DPattern->getCanonicalDecl()->getGlobalID(), IsKeyDecl);
2997
2998 if (auto *DClass = dyn_cast<CXXRecordDecl>(Val: DPattern)) {
2999 // Merge with any existing definition.
3000 // FIXME: This is duplicated in several places. Refactor.
3001 auto *ExistingClass =
3002 cast<CXXRecordDecl>(Val: ExistingPattern)->getCanonicalDecl();
3003 if (auto *DDD = DClass->DefinitionData) {
3004 if (ExistingClass->DefinitionData) {
3005 MergeDefinitionData(D: ExistingClass, MergeDD: std::move(*DDD));
3006 } else {
3007 ExistingClass->DefinitionData = DClass->DefinitionData;
3008 // We may have skipped this before because we thought that DClass
3009 // was the canonical declaration.
3010 Reader.PendingDefinitions.insert(Ptr: DClass);
3011 }
3012 }
3013 DClass->DefinitionData = ExistingClass->DefinitionData;
3014
3015 return mergeRedeclarable(D: DClass, Existing: cast<TagDecl>(Val: ExistingPattern),
3016 Redecl&: Result);
3017 }
3018 if (auto *DFunction = dyn_cast<FunctionDecl>(Val: DPattern))
3019 return mergeRedeclarable(D: DFunction, Existing: cast<FunctionDecl>(Val: ExistingPattern),
3020 Redecl&: Result);
3021 if (auto *DVar = dyn_cast<VarDecl>(Val: DPattern))
3022 return mergeRedeclarable(D: DVar, Existing: cast<VarDecl>(Val: ExistingPattern), Redecl&: Result);
3023 if (auto *DAlias = dyn_cast<TypeAliasDecl>(Val: DPattern))
3024 return mergeRedeclarable(D: DAlias, Existing: cast<TypedefNameDecl>(Val: ExistingPattern),
3025 Redecl&: Result);
3026 llvm_unreachable("merged an unknown kind of redeclarable template");
3027}
3028
3029/// Attempts to merge the given declaration (D) with another declaration
3030/// of the same entity.
3031template <typename T>
3032void ASTDeclMerger::mergeRedeclarableImpl(Redeclarable<T> *DBase, T *Existing,
3033 GlobalDeclID KeyDeclID) {
3034 auto *D = static_cast<T *>(DBase);
3035 T *ExistingCanon = Existing->getCanonicalDecl();
3036 T *DCanon = D->getCanonicalDecl();
3037 if (ExistingCanon != DCanon) {
3038 // Have our redeclaration link point back at the canonical declaration
3039 // of the existing declaration, so that this declaration has the
3040 // appropriate canonical declaration.
3041 D->RedeclLink = Redeclarable<T>::PreviousDeclLink(ExistingCanon);
3042 D->First = ExistingCanon;
3043 ExistingCanon->Used |= D->Used;
3044 D->Used = false;
3045
3046 bool IsKeyDecl = KeyDeclID.isValid();
3047
3048 // When we merge a template, merge its pattern.
3049 if (auto *DTemplate = dyn_cast<RedeclarableTemplateDecl>(D))
3050 mergeTemplatePattern(
3051 D: DTemplate, Existing: assert_cast<RedeclarableTemplateDecl *>(ExistingCanon),
3052 IsKeyDecl);
3053
3054 // If this declaration is a key declaration, make a note of that.
3055 if (IsKeyDecl)
3056 Reader.KeyDecls[ExistingCanon].push_back(KeyDeclID);
3057 }
3058}
3059
3060/// ODR-like semantics for C/ObjC allow us to merge tag types and a structural
3061/// check in Sema guarantees the types can be merged (see C11 6.2.7/1 or C89
3062/// 6.1.2.6/1). Although most merging is done in Sema, we need to guarantee
3063/// that some types are mergeable during deserialization, otherwise name
3064/// lookup fails. This is the case for EnumConstantDecl.
3065static bool allowODRLikeMergeInC(NamedDecl *ND) {
3066 if (!ND)
3067 return false;
3068 // TODO: implement merge for other necessary decls.
3069 if (isa<EnumConstantDecl, FieldDecl, IndirectFieldDecl>(Val: ND))
3070 return true;
3071 return false;
3072}
3073
3074/// Attempts to merge LifetimeExtendedTemporaryDecl with
3075/// identical class definitions from two different modules.
3076void ASTDeclReader::mergeMergeable(LifetimeExtendedTemporaryDecl *D) {
3077 // If modules are not available, there is no reason to perform this merge.
3078 if (!Reader.getContext().getLangOpts().Modules)
3079 return;
3080
3081 LifetimeExtendedTemporaryDecl *LETDecl = D;
3082
3083 LifetimeExtendedTemporaryDecl *&LookupResult =
3084 Reader.LETemporaryForMerging[std::make_pair(
3085 x: LETDecl->getExtendingDecl(), y: LETDecl->getManglingNumber())];
3086 if (LookupResult)
3087 Reader.getContext().setPrimaryMergedDecl(D: LETDecl,
3088 Primary: LookupResult->getCanonicalDecl());
3089 else
3090 LookupResult = LETDecl;
3091}
3092
3093/// Attempts to merge the given declaration (D) with another declaration
3094/// of the same entity, for the case where the entity is not actually
3095/// redeclarable. This happens, for instance, when merging the fields of
3096/// identical class definitions from two different modules.
3097template<typename T>
3098void ASTDeclReader::mergeMergeable(Mergeable<T> *D) {
3099 // If modules are not available, there is no reason to perform this merge.
3100 if (!Reader.getContext().getLangOpts().Modules)
3101 return;
3102
3103 // ODR-based merging is performed in C++ and in some cases (tag types) in C.
3104 // Note that C identically-named things in different translation units are
3105 // not redeclarations, but may still have compatible types, where ODR-like
3106 // semantics may apply.
3107 if (!Reader.getContext().getLangOpts().CPlusPlus &&
3108 !allowODRLikeMergeInC(dyn_cast<NamedDecl>(static_cast<T*>(D))))
3109 return;
3110
3111 if (FindExistingResult ExistingRes = findExisting(D: static_cast<T*>(D)))
3112 if (T *Existing = ExistingRes)
3113 Reader.getContext().setPrimaryMergedDecl(D: static_cast<T *>(D),
3114 Primary: Existing->getCanonicalDecl());
3115}
3116
3117void ASTDeclReader::VisitOMPThreadPrivateDecl(OMPThreadPrivateDecl *D) {
3118 Record.readOMPChildren(Data: D->Data);
3119 VisitDecl(D);
3120}
3121
3122void ASTDeclReader::VisitOMPAllocateDecl(OMPAllocateDecl *D) {
3123 Record.readOMPChildren(Data: D->Data);
3124 VisitDecl(D);
3125}
3126
3127void ASTDeclReader::VisitOMPRequiresDecl(OMPRequiresDecl * D) {
3128 Record.readOMPChildren(Data: D->Data);
3129 VisitDecl(D);
3130}
3131
3132void ASTDeclReader::VisitOMPDeclareReductionDecl(OMPDeclareReductionDecl *D) {
3133 VisitValueDecl(VD: D);
3134 D->setLocation(readSourceLocation());
3135 Expr *In = Record.readExpr();
3136 Expr *Out = Record.readExpr();
3137 D->setCombinerData(InE: In, OutE: Out);
3138 Expr *Combiner = Record.readExpr();
3139 D->setCombiner(Combiner);
3140 Expr *Orig = Record.readExpr();
3141 Expr *Priv = Record.readExpr();
3142 D->setInitializerData(OrigE: Orig, PrivE: Priv);
3143 Expr *Init = Record.readExpr();
3144 auto IK = static_cast<OMPDeclareReductionInitKind>(Record.readInt());
3145 D->setInitializer(E: Init, IK);
3146 D->PrevDeclInScope = readDeclID().getRawValue();
3147}
3148
3149void ASTDeclReader::VisitOMPDeclareMapperDecl(OMPDeclareMapperDecl *D) {
3150 Record.readOMPChildren(Data: D->Data);
3151 VisitValueDecl(VD: D);
3152 D->VarName = Record.readDeclarationName();
3153 D->PrevDeclInScope = readDeclID().getRawValue();
3154}
3155
3156void ASTDeclReader::VisitOMPCapturedExprDecl(OMPCapturedExprDecl *D) {
3157 VisitVarDecl(VD: D);
3158}
3159
3160void ASTDeclReader::VisitOpenACCDeclareDecl(OpenACCDeclareDecl *D) {
3161 VisitDecl(D);
3162 D->DirKind = Record.readEnum<OpenACCDirectiveKind>();
3163 D->DirectiveLoc = Record.readSourceLocation();
3164 D->EndLoc = Record.readSourceLocation();
3165 Record.readOpenACCClauseList(Clauses: D->Clauses);
3166}
3167void ASTDeclReader::VisitOpenACCRoutineDecl(OpenACCRoutineDecl *D) {
3168 VisitDecl(D);
3169 D->DirKind = Record.readEnum<OpenACCDirectiveKind>();
3170 D->DirectiveLoc = Record.readSourceLocation();
3171 D->EndLoc = Record.readSourceLocation();
3172 D->ParensLoc = Record.readSourceRange();
3173 D->FuncRef = Record.readExpr();
3174 Record.readOpenACCClauseList(Clauses: D->Clauses);
3175}
3176
3177//===----------------------------------------------------------------------===//
3178// Attribute Reading
3179//===----------------------------------------------------------------------===//
3180
3181namespace {
3182class AttrReader {
3183 ASTRecordReader &Reader;
3184
3185public:
3186 AttrReader(ASTRecordReader &Reader) : Reader(Reader) {}
3187
3188 uint64_t readInt() {
3189 return Reader.readInt();
3190 }
3191
3192 bool readBool() { return Reader.readBool(); }
3193
3194 SourceRange readSourceRange() {
3195 return Reader.readSourceRange();
3196 }
3197
3198 SourceLocation readSourceLocation() {
3199 return Reader.readSourceLocation();
3200 }
3201
3202 Expr *readExpr() { return Reader.readExpr(); }
3203
3204 Attr *readAttr() { return Reader.readAttr(); }
3205
3206 std::string readString() {
3207 return Reader.readString();
3208 }
3209
3210 TypeSourceInfo *readTypeSourceInfo() {
3211 return Reader.readTypeSourceInfo();
3212 }
3213
3214 IdentifierInfo *readIdentifier() {
3215 return Reader.readIdentifier();
3216 }
3217
3218 VersionTuple readVersionTuple() {
3219 return Reader.readVersionTuple();
3220 }
3221
3222 OMPTraitInfo *readOMPTraitInfo() { return Reader.readOMPTraitInfo(); }
3223
3224 template <typename T> T *readDeclAs() { return Reader.readDeclAs<T>(); }
3225};
3226}
3227
3228Attr *ASTRecordReader::readAttr() {
3229 AttrReader Record(*this);
3230 auto V = Record.readInt();
3231 if (!V)
3232 return nullptr;
3233
3234 Attr *New = nullptr;
3235 // Kind is stored as a 1-based integer because 0 is used to indicate a null
3236 // Attr pointer.
3237 auto Kind = static_cast<attr::Kind>(V - 1);
3238 ASTContext &Context = getContext();
3239
3240 IdentifierInfo *AttrName = Record.readIdentifier();
3241 IdentifierInfo *ScopeName = Record.readIdentifier();
3242 SourceRange AttrRange = Record.readSourceRange();
3243 SourceLocation ScopeLoc = Record.readSourceLocation();
3244 unsigned ParsedKind = Record.readInt();
3245 unsigned Syntax = Record.readInt();
3246 unsigned SpellingIndex = Record.readInt();
3247 bool IsAlignas = (ParsedKind == AttributeCommonInfo::AT_Aligned &&
3248 Syntax == AttributeCommonInfo::AS_Keyword &&
3249 SpellingIndex == AlignedAttr::Keyword_alignas);
3250 bool IsRegularKeywordAttribute = Record.readBool();
3251
3252 AttributeCommonInfo Info(AttrName, AttributeScopeInfo(ScopeName, ScopeLoc),
3253 AttrRange, AttributeCommonInfo::Kind(ParsedKind),
3254 {AttributeCommonInfo::Syntax(Syntax), SpellingIndex,
3255 IsAlignas, IsRegularKeywordAttribute});
3256
3257#include "clang/Serialization/AttrPCHRead.inc"
3258
3259 assert(New && "Unable to decode attribute?");
3260 return New;
3261}
3262
3263/// Reads attributes from the current stream position.
3264void ASTRecordReader::readAttributes(AttrVec &Attrs) {
3265 for (unsigned I = 0, E = readInt(); I != E; ++I)
3266 if (auto *A = readAttr())
3267 Attrs.push_back(Elt: A);
3268}
3269
3270//===----------------------------------------------------------------------===//
3271// ASTReader Implementation
3272//===----------------------------------------------------------------------===//
3273
3274/// Note that we have loaded the declaration with the given
3275/// Index.
3276///
3277/// This routine notes that this declaration has already been loaded,
3278/// so that future GetDecl calls will return this declaration rather
3279/// than trying to load a new declaration.
3280inline void ASTReader::LoadedDecl(unsigned Index, Decl *D) {
3281 assert(!DeclsLoaded[Index] && "Decl loaded twice?");
3282 DeclsLoaded[Index] = D;
3283}
3284
3285/// Determine whether the consumer will be interested in seeing
3286/// this declaration (via HandleTopLevelDecl).
3287///
3288/// This routine should return true for anything that might affect
3289/// code generation, e.g., inline function definitions, Objective-C
3290/// declarations with metadata, etc.
3291bool ASTReader::isConsumerInterestedIn(Decl *D) {
3292 // An ObjCMethodDecl is never considered as "interesting" because its
3293 // implementation container always is.
3294
3295 // An ImportDecl or VarDecl imported from a module map module will get
3296 // emitted when we import the relevant module.
3297 if (isPartOfPerModuleInitializer(D)) {
3298 auto *M = D->getImportedOwningModule();
3299 if (M && M->Kind == Module::ModuleMapModule &&
3300 getContext().DeclMustBeEmitted(D))
3301 return false;
3302 }
3303
3304 if (isa<FileScopeAsmDecl, TopLevelStmtDecl, ObjCProtocolDecl, ObjCImplDecl,
3305 ImportDecl, PragmaCommentDecl, PragmaDetectMismatchDecl>(Val: D))
3306 return true;
3307 if (isa<OMPThreadPrivateDecl, OMPDeclareReductionDecl, OMPDeclareMapperDecl,
3308 OMPAllocateDecl, OMPRequiresDecl>(Val: D))
3309 return !D->getDeclContext()->isFunctionOrMethod();
3310 if (const auto *Var = dyn_cast<VarDecl>(Val: D))
3311 return Var->isFileVarDecl() &&
3312 (Var->isThisDeclarationADefinition() == VarDecl::Definition ||
3313 OMPDeclareTargetDeclAttr::isDeclareTargetDeclaration(VD: Var));
3314 if (const auto *Func = dyn_cast<FunctionDecl>(Val: D))
3315 return Func->doesThisDeclarationHaveABody() || PendingBodies.count(Key: D);
3316
3317 if (auto *ES = D->getASTContext().getExternalSource())
3318 if (ES->hasExternalDefinitions(D) == ExternalASTSource::EK_Never)
3319 return true;
3320
3321 return false;
3322}
3323
3324/// Get the correct cursor and offset for loading a declaration.
3325ASTReader::RecordLocation ASTReader::DeclCursorForID(GlobalDeclID ID,
3326 SourceLocation &Loc) {
3327 ModuleFile *M = getOwningModuleFile(ID);
3328 assert(M);
3329 unsigned LocalDeclIndex = ID.getLocalDeclIndex();
3330 const DeclOffset &DOffs = M->DeclOffsets[LocalDeclIndex];
3331 Loc = ReadSourceLocation(MF&: *M, Raw: DOffs.getRawLoc());
3332 return RecordLocation(M, DOffs.getBitOffset(DeclTypesBlockStartOffset: M->DeclsBlockStartOffset));
3333}
3334
3335ASTReader::RecordLocation ASTReader::getLocalBitOffset(uint64_t GlobalOffset) {
3336 auto I = GlobalBitOffsetsMap.find(K: GlobalOffset);
3337
3338 assert(I != GlobalBitOffsetsMap.end() && "Corrupted global bit offsets map");
3339 return RecordLocation(I->second, GlobalOffset - I->second->GlobalBitOffset);
3340}
3341
3342uint64_t ASTReader::getGlobalBitOffset(ModuleFile &M, uint64_t LocalOffset) {
3343 return LocalOffset + M.GlobalBitOffset;
3344}
3345
3346CXXRecordDecl *
3347ASTDeclReader::getOrFakePrimaryClassDefinition(ASTReader &Reader,
3348 CXXRecordDecl *RD) {
3349 // Try to dig out the definition.
3350 auto *DD = RD->DefinitionData;
3351 if (!DD)
3352 DD = RD->getCanonicalDecl()->DefinitionData;
3353
3354 // If there's no definition yet, then DC's definition is added by an update
3355 // record, but we've not yet loaded that update record. In this case, we
3356 // commit to DC being the canonical definition now, and will fix this when
3357 // we load the update record.
3358 if (!DD) {
3359 DD = new (Reader.getContext()) struct CXXRecordDecl::DefinitionData(RD);
3360 RD->setCompleteDefinition(true);
3361 RD->DefinitionData = DD;
3362 RD->getCanonicalDecl()->DefinitionData = DD;
3363
3364 // Track that we did this horrible thing so that we can fix it later.
3365 Reader.PendingFakeDefinitionData.insert(
3366 KV: std::make_pair(x&: DD, y: ASTReader::PendingFakeDefinitionKind::Fake));
3367 }
3368
3369 return DD->Definition;
3370}
3371
3372/// Find the context in which we should search for previous declarations when
3373/// looking for declarations to merge.
3374DeclContext *ASTDeclReader::getPrimaryContextForMerging(ASTReader &Reader,
3375 DeclContext *DC) {
3376 if (auto *ND = dyn_cast<NamespaceDecl>(Val: DC))
3377 return ND->getFirstDecl();
3378
3379 if (auto *RD = dyn_cast<CXXRecordDecl>(Val: DC))
3380 return getOrFakePrimaryClassDefinition(Reader, RD);
3381
3382 if (auto *RD = dyn_cast<RecordDecl>(Val: DC))
3383 return RD->getDefinition();
3384
3385 if (auto *ED = dyn_cast<EnumDecl>(Val: DC))
3386 return ED->getDefinition();
3387
3388 if (auto *OID = dyn_cast<ObjCInterfaceDecl>(Val: DC))
3389 return OID->getDefinition();
3390
3391 // We can see the TU here only if we have no Sema object. It is possible
3392 // we're in clang-repl so we still need to get the primary context.
3393 if (auto *TU = dyn_cast<TranslationUnitDecl>(Val: DC))
3394 return TU->getPrimaryContext();
3395
3396 return nullptr;
3397}
3398
3399ASTDeclReader::FindExistingResult::~FindExistingResult() {
3400 // Record that we had a typedef name for linkage whether or not we merge
3401 // with that declaration.
3402 if (TypedefNameForLinkage) {
3403 DeclContext *DC = New->getDeclContext()->getRedeclContext();
3404 Reader.ImportedTypedefNamesForLinkage.insert(
3405 KV: std::make_pair(x: std::make_pair(x&: DC, y&: TypedefNameForLinkage), y&: New));
3406 return;
3407 }
3408
3409 if (!AddResult || Existing)
3410 return;
3411
3412 DeclarationName Name = New->getDeclName();
3413 DeclContext *DC = New->getDeclContext()->getRedeclContext();
3414 if (needsAnonymousDeclarationNumber(D: New)) {
3415 setAnonymousDeclForMerging(Reader, DC: New->getLexicalDeclContext(),
3416 Index: AnonymousDeclNumber, D: New);
3417 } else if (DC->isTranslationUnit() &&
3418 !Reader.getContext().getLangOpts().CPlusPlus) {
3419 if (Reader.getIdResolver().tryAddTopLevelDecl(D: New, Name))
3420 Reader.PendingFakeLookupResults[Name.getAsIdentifierInfo()]
3421 .push_back(Elt: New);
3422 } else if (DeclContext *MergeDC = getPrimaryContextForMerging(Reader, DC)) {
3423 // Add the declaration to its redeclaration context so later merging
3424 // lookups will find it.
3425 MergeDC->makeDeclVisibleInContextImpl(D: New, /*Internal*/true);
3426 }
3427}
3428
3429/// Find the declaration that should be merged into, given the declaration found
3430/// by name lookup. If we're not merging with a UsingShadowDecl but Found is a
3431/// UsingShadowDecl, we need to skip the UsingShadowDecl. If we're merging an
3432/// anonymous declaration within a typedef, we need a matching typedef, and we
3433/// merge with the type inside it.
3434static NamedDecl *getDeclForMerging(NamedDecl *Found,
3435 bool IsTypedefNameForLinkage,
3436 bool FilteringUsingShadowDecl) {
3437 // If the taregt declaration we want is not a UsingShadowDecl, we don't need
3438 // to return the UsingShadowDecl at all.
3439 if (auto *USD = dyn_cast<UsingShadowDecl>(Val: Found);
3440 USD && FilteringUsingShadowDecl)
3441 return getDeclForMerging(Found: USD->getTargetDecl(), IsTypedefNameForLinkage,
3442 FilteringUsingShadowDecl);
3443
3444 if (!IsTypedefNameForLinkage)
3445 return Found;
3446
3447 // If we found a typedef declaration that gives a name to some other
3448 // declaration, then we want that inner declaration. Declarations from
3449 // AST files are handled via ImportedTypedefNamesForLinkage.
3450 if (Found->isFromASTFile())
3451 return nullptr;
3452
3453 if (auto *TND = dyn_cast<TypedefNameDecl>(Val: Found))
3454 return TND->getAnonDeclWithTypedefName(/*AnyRedecl*/true);
3455
3456 return nullptr;
3457}
3458
3459/// Find the declaration to use to populate the anonymous declaration table
3460/// for the given lexical DeclContext. We only care about finding local
3461/// definitions of the context; we'll merge imported ones as we go.
3462DeclContext *
3463ASTDeclReader::getPrimaryDCForAnonymousDecl(DeclContext *LexicalDC) {
3464 // For classes, we track the definition as we merge.
3465 if (auto *RD = dyn_cast<CXXRecordDecl>(Val: LexicalDC)) {
3466 auto *DD = RD->getCanonicalDecl()->DefinitionData;
3467 return DD ? DD->Definition : nullptr;
3468 } else if (auto *OID = dyn_cast<ObjCInterfaceDecl>(Val: LexicalDC)) {
3469 return OID->getCanonicalDecl()->getDefinition();
3470 }
3471
3472 // For anything else, walk its merged redeclarations looking for a definition.
3473 // Note that we can't just call getDefinition here because the redeclaration
3474 // chain isn't wired up.
3475 for (auto *D : merged_redecls(D: cast<Decl>(Val: LexicalDC))) {
3476 if (auto *FD = dyn_cast<FunctionDecl>(Val: D))
3477 if (FD->isThisDeclarationADefinition())
3478 return FD;
3479 if (auto *MD = dyn_cast<ObjCMethodDecl>(Val: D))
3480 if (MD->isThisDeclarationADefinition())
3481 return MD;
3482 if (auto *RD = dyn_cast<RecordDecl>(Val: D))
3483 if (RD->isThisDeclarationADefinition())
3484 return RD;
3485 }
3486
3487 // No merged definition yet.
3488 return nullptr;
3489}
3490
3491NamedDecl *ASTDeclReader::getAnonymousDeclForMerging(ASTReader &Reader,
3492 DeclContext *DC,
3493 unsigned Index) {
3494 // If the lexical context has been merged, look into the now-canonical
3495 // definition.
3496 auto *CanonDC = cast<Decl>(Val: DC)->getCanonicalDecl();
3497
3498 // If we've seen this before, return the canonical declaration.
3499 auto &Previous = Reader.AnonymousDeclarationsForMerging[CanonDC];
3500 if (Index < Previous.size() && Previous[Index])
3501 return Previous[Index];
3502
3503 // If this is the first time, but we have parsed a declaration of the context,
3504 // build the anonymous declaration list from the parsed declaration.
3505 auto *PrimaryDC = getPrimaryDCForAnonymousDecl(LexicalDC: DC);
3506 auto needToNumberAnonymousDeclsWithin = [](Decl *D) {
3507 if (!D->isFromASTFile())
3508 return true;
3509 // If this is a class template specialization from an AST file, has at least
3510 // one field, but none of the fields have been loaded from external storage,
3511 // this is a situation where the class template specialization decl
3512 // was imported but the definition was instantiated within the source.
3513 // In such a case, we still need to number the anonymous decls.
3514 auto *CTSD = dyn_cast<ClassTemplateSpecializationDecl>(Val: D);
3515 return CTSD && !CTSD->noload_field_empty() &&
3516 !CTSD->hasLoadedFieldsFromExternalStorage();
3517 };
3518 if (PrimaryDC && needToNumberAnonymousDeclsWithin(cast<Decl>(Val: PrimaryDC))) {
3519 numberAnonymousDeclsWithin(DC: PrimaryDC, Visit: [&](NamedDecl *ND, unsigned Number) {
3520 if (Previous.size() == Number)
3521 Previous.push_back(Elt: cast<NamedDecl>(Val: ND->getCanonicalDecl()));
3522 else
3523 Previous[Number] = cast<NamedDecl>(Val: ND->getCanonicalDecl());
3524 });
3525 }
3526
3527 return Index < Previous.size() ? Previous[Index] : nullptr;
3528}
3529
3530void ASTDeclReader::setAnonymousDeclForMerging(ASTReader &Reader,
3531 DeclContext *DC, unsigned Index,
3532 NamedDecl *D) {
3533 auto *CanonDC = cast<Decl>(Val: DC)->getCanonicalDecl();
3534
3535 auto &Previous = Reader.AnonymousDeclarationsForMerging[CanonDC];
3536 if (Index >= Previous.size())
3537 Previous.resize(N: Index + 1);
3538 if (!Previous[Index])
3539 Previous[Index] = D;
3540}
3541
3542ASTDeclReader::FindExistingResult ASTDeclReader::findExisting(NamedDecl *D) {
3543 DeclarationName Name = TypedefNameForLinkage ? TypedefNameForLinkage
3544 : D->getDeclName();
3545
3546 if (!Name && !needsAnonymousDeclarationNumber(D)) {
3547 // Don't bother trying to find unnamed declarations that are in
3548 // unmergeable contexts.
3549 FindExistingResult Result(Reader, D, /*Existing=*/nullptr,
3550 AnonymousDeclNumber, TypedefNameForLinkage);
3551 Result.suppress();
3552 return Result;
3553 }
3554
3555 ASTContext &C = Reader.getContext();
3556 DeclContext *DC = D->getDeclContext()->getRedeclContext();
3557 if (TypedefNameForLinkage) {
3558 auto It = Reader.ImportedTypedefNamesForLinkage.find(
3559 Val: std::make_pair(x&: DC, y&: TypedefNameForLinkage));
3560 if (It != Reader.ImportedTypedefNamesForLinkage.end())
3561 if (C.isSameEntity(X: It->second, Y: D))
3562 return FindExistingResult(Reader, D, It->second, AnonymousDeclNumber,
3563 TypedefNameForLinkage);
3564 // Go on to check in other places in case an existing typedef name
3565 // was not imported.
3566 }
3567
3568 if (needsAnonymousDeclarationNumber(D)) {
3569 // This is an anonymous declaration that we may need to merge. Look it up
3570 // in its context by number.
3571 if (auto *Existing = getAnonymousDeclForMerging(
3572 Reader, DC: D->getLexicalDeclContext(), Index: AnonymousDeclNumber))
3573 if (C.isSameEntity(X: Existing, Y: D))
3574 return FindExistingResult(Reader, D, Existing, AnonymousDeclNumber,
3575 TypedefNameForLinkage);
3576 } else if (DC->isTranslationUnit() &&
3577 !Reader.getContext().getLangOpts().CPlusPlus) {
3578 IdentifierResolver &IdResolver = Reader.getIdResolver();
3579
3580 // Temporarily consider the identifier to be up-to-date. We don't want to
3581 // cause additional lookups here.
3582 class UpToDateIdentifierRAII {
3583 IdentifierInfo *II;
3584 bool WasOutToDate = false;
3585
3586 public:
3587 explicit UpToDateIdentifierRAII(IdentifierInfo *II) : II(II) {
3588 if (II) {
3589 WasOutToDate = II->isOutOfDate();
3590 if (WasOutToDate)
3591 II->setOutOfDate(false);
3592 }
3593 }
3594
3595 ~UpToDateIdentifierRAII() {
3596 if (WasOutToDate)
3597 II->setOutOfDate(true);
3598 }
3599 } UpToDate(Name.getAsIdentifierInfo());
3600
3601 for (IdentifierResolver::iterator I = IdResolver.begin(Name),
3602 IEnd = IdResolver.end();
3603 I != IEnd; ++I) {
3604 if (NamedDecl *Existing =
3605 getDeclForMerging(Found: *I, IsTypedefNameForLinkage: TypedefNameForLinkage,
3606 /*FilteringUsingShadowDecl=*/false))
3607 if (C.isSameEntity(X: Existing, Y: D))
3608 return FindExistingResult(Reader, D, Existing, AnonymousDeclNumber,
3609 TypedefNameForLinkage);
3610 }
3611 } else if (DeclContext *MergeDC = getPrimaryContextForMerging(Reader, DC)) {
3612 DeclContext::lookup_result R = MergeDC->noload_lookup(Name);
3613 for (DeclContext::lookup_iterator I = R.begin(), E = R.end(); I != E; ++I) {
3614 if (NamedDecl *Existing = getDeclForMerging(Found: *I, IsTypedefNameForLinkage: TypedefNameForLinkage,
3615 FilteringUsingShadowDecl: !isa<UsingShadowDecl>(Val: D)))
3616 if (C.isSameEntity(X: Existing, Y: D)) {
3617 return FindExistingResult(Reader, D, Existing, AnonymousDeclNumber,
3618 TypedefNameForLinkage);
3619 }
3620 }
3621 } else {
3622 // Not in a mergeable context.
3623 return FindExistingResult(Reader);
3624 }
3625
3626 // If this declaration is from a merged context, make a note that we need to
3627 // check that the canonical definition of that context contains the decl.
3628 //
3629 // Note that we don't perform ODR checks for decls from the global module
3630 // fragment.
3631 //
3632 // FIXME: We should do something similar if we merge two definitions of the
3633 // same template specialization into the same CXXRecordDecl.
3634 auto MergedDCIt = Reader.MergedDeclContexts.find(Val: D->getLexicalDeclContext());
3635 if (MergedDCIt != Reader.MergedDeclContexts.end() &&
3636 !shouldSkipCheckingODR(D) && MergedDCIt->second == D->getDeclContext() &&
3637 !shouldSkipCheckingODR(D: cast<Decl>(Val: D->getDeclContext())))
3638 Reader.PendingOdrMergeChecks.push_back(Elt: D);
3639
3640 return FindExistingResult(Reader, D, /*Existing=*/nullptr,
3641 AnonymousDeclNumber, TypedefNameForLinkage);
3642}
3643
3644template<typename DeclT>
3645Decl *ASTDeclReader::getMostRecentDeclImpl(Redeclarable<DeclT> *D) {
3646 return D->RedeclLink.getLatestNotUpdated();
3647}
3648
3649Decl *ASTDeclReader::getMostRecentDeclImpl(...) {
3650 llvm_unreachable("getMostRecentDecl on non-redeclarable declaration");
3651}
3652
3653Decl *ASTDeclReader::getMostRecentDecl(Decl *D) {
3654 assert(D);
3655
3656 switch (D->getKind()) {
3657#define ABSTRACT_DECL(TYPE)
3658#define DECL(TYPE, BASE) \
3659 case Decl::TYPE: \
3660 return getMostRecentDeclImpl(cast<TYPE##Decl>(D));
3661#include "clang/AST/DeclNodes.inc"
3662 }
3663 llvm_unreachable("unknown decl kind");
3664}
3665
3666Decl *ASTReader::getMostRecentExistingDecl(Decl *D) {
3667 return ASTDeclReader::getMostRecentDecl(D: D->getCanonicalDecl());
3668}
3669
3670namespace {
3671void mergeInheritableAttributes(ASTReader &Reader, Decl *D, Decl *Previous) {
3672 InheritableAttr *NewAttr = nullptr;
3673 ASTContext &Context = Reader.getContext();
3674 const auto *IA = Previous->getAttr<MSInheritanceAttr>();
3675
3676 if (IA && !D->hasAttr<MSInheritanceAttr>()) {
3677 NewAttr = cast<InheritableAttr>(Val: IA->clone(C&: Context));
3678 NewAttr->setInherited(true);
3679 D->addAttr(A: NewAttr);
3680 }
3681
3682 if (!D->hasAttr<AvailabilityAttr>()) {
3683 for (const auto *AA : Previous->specific_attrs<AvailabilityAttr>()) {
3684 NewAttr = AA->clone(C&: Context);
3685 NewAttr->setInherited(true);
3686 D->addAttr(A: NewAttr);
3687 }
3688 }
3689}
3690} // namespace
3691
3692template<typename DeclT>
3693void ASTDeclReader::attachPreviousDeclImpl(ASTReader &Reader,
3694 Redeclarable<DeclT> *D,
3695 Decl *Previous, Decl *Canon) {
3696 D->RedeclLink.setPrevious(cast<DeclT>(Previous));
3697 D->First = cast<DeclT>(Previous)->First;
3698}
3699
3700namespace clang {
3701
3702template<>
3703void ASTDeclReader::attachPreviousDeclImpl(ASTReader &Reader,
3704 Redeclarable<VarDecl> *D,
3705 Decl *Previous, Decl *Canon) {
3706 auto *PrevVD = cast<VarDecl>(Val: Previous);
3707 D->RedeclLink.setPrevious(PrevVD);
3708 D->First = PrevVD->First;
3709
3710 // We should keep at most one definition on the chain.
3711 // FIXME: Cache the definition once we've found it. Building a chain with
3712 // N definitions currently takes O(N^2) time here.
3713 auto *VD = static_cast<VarDecl *>(D);
3714 if (VD->isThisDeclarationADefinition() == VarDecl::Definition) {
3715 for (VarDecl *CurD = PrevVD; CurD; CurD = CurD->getPreviousDecl()) {
3716 if (CurD->isThisDeclarationADefinition() == VarDecl::Definition) {
3717 // FIXME: For header modules, there are some problems if we don't
3718 // demote definition to declaration.
3719 // See clang/test/Modules/module-init-forcelly-loaded-module.cpp
3720 // for example. Maybe we are able to handle the CodeGen part
3721 // to avoid it emitting duplicated definitions. But just workaround
3722 // now temporarily.
3723 if (VD->getOwningModule() &&
3724 VD->getOwningModule()->isHeaderLikeModule())
3725 VD->demoteThisDefinitionToDeclaration();
3726 Reader.mergeDefinitionVisibility(Def: CurD, MergedDef: VD);
3727 break;
3728 }
3729 }
3730 }
3731}
3732
3733static bool isUndeducedReturnType(QualType T) {
3734 auto *DT = T->getContainedDeducedType();
3735 return DT && !DT->isDeduced();
3736}
3737
3738template<>
3739void ASTDeclReader::attachPreviousDeclImpl(ASTReader &Reader,
3740 Redeclarable<FunctionDecl> *D,
3741 Decl *Previous, Decl *Canon) {
3742 auto *FD = static_cast<FunctionDecl *>(D);
3743 auto *PrevFD = cast<FunctionDecl>(Val: Previous);
3744
3745 FD->RedeclLink.setPrevious(PrevFD);
3746 FD->First = PrevFD->First;
3747
3748 // If the previous declaration is an inline function declaration, then this
3749 // declaration is too.
3750 if (PrevFD->isInlined() != FD->isInlined()) {
3751 // FIXME: [dcl.fct.spec]p4:
3752 // If a function with external linkage is declared inline in one
3753 // translation unit, it shall be declared inline in all translation
3754 // units in which it appears.
3755 //
3756 // Be careful of this case:
3757 //
3758 // module A:
3759 // template<typename T> struct X { void f(); };
3760 // template<typename T> inline void X<T>::f() {}
3761 //
3762 // module B instantiates the declaration of X<int>::f
3763 // module C instantiates the definition of X<int>::f
3764 //
3765 // If module B and C are merged, we do not have a violation of this rule.
3766 FD->setImplicitlyInline(true);
3767 }
3768
3769 auto *FPT = FD->getType()->getAs<FunctionProtoType>();
3770 auto *PrevFPT = PrevFD->getType()->getAs<FunctionProtoType>();
3771 if (FPT && PrevFPT) {
3772 // If we need to propagate an exception specification along the redecl
3773 // chain, make a note of that so that we can do so later.
3774 bool IsUnresolved = isUnresolvedExceptionSpec(ESpecType: FPT->getExceptionSpecType());
3775 bool WasUnresolved =
3776 isUnresolvedExceptionSpec(ESpecType: PrevFPT->getExceptionSpecType());
3777 if (IsUnresolved != WasUnresolved)
3778 Reader.PendingExceptionSpecUpdates.insert(
3779 KV: {Canon, IsUnresolved ? PrevFD : FD});
3780
3781 // If we need to propagate a deduced return type along the redecl chain,
3782 // make a note of that so that we can do it later.
3783 bool IsUndeduced = isUndeducedReturnType(T: FPT->getReturnType());
3784 bool WasUndeduced = isUndeducedReturnType(T: PrevFPT->getReturnType());
3785 if (IsUndeduced != WasUndeduced)
3786 Reader.PendingDeducedTypeUpdates.insert(
3787 KV: {cast<FunctionDecl>(Val: Canon),
3788 (IsUndeduced ? PrevFPT : FPT)->getReturnType()});
3789 }
3790}
3791
3792} // namespace clang
3793
3794void ASTDeclReader::attachPreviousDeclImpl(ASTReader &Reader, ...) {
3795 llvm_unreachable("attachPreviousDecl on non-redeclarable declaration");
3796}
3797
3798/// Inherit the default template argument from \p From to \p To. Returns
3799/// \c false if there is no default template for \p From.
3800template <typename ParmDecl>
3801static bool inheritDefaultTemplateArgument(ASTContext &Context, ParmDecl *From,
3802 Decl *ToD) {
3803 auto *To = cast<ParmDecl>(ToD);
3804 if (!From->hasDefaultArgument())
3805 return false;
3806 To->setInheritedDefaultArgument(Context, From);
3807 return true;
3808}
3809
3810static void inheritDefaultTemplateArguments(ASTContext &Context,
3811 TemplateDecl *From,
3812 TemplateDecl *To) {
3813 auto *FromTP = From->getTemplateParameters();
3814 auto *ToTP = To->getTemplateParameters();
3815 assert(FromTP->size() == ToTP->size() && "merged mismatched templates?");
3816
3817 for (unsigned I = 0, N = FromTP->size(); I != N; ++I) {
3818 NamedDecl *FromParam = FromTP->getParam(Idx: I);
3819 NamedDecl *ToParam = ToTP->getParam(Idx: I);
3820
3821 if (auto *FTTP = dyn_cast<TemplateTypeParmDecl>(Val: FromParam))
3822 inheritDefaultTemplateArgument(Context, From: FTTP, ToD: ToParam);
3823 else if (auto *FNTTP = dyn_cast<NonTypeTemplateParmDecl>(Val: FromParam))
3824 inheritDefaultTemplateArgument(Context, From: FNTTP, ToD: ToParam);
3825 else
3826 inheritDefaultTemplateArgument(
3827 Context, From: cast<TemplateTemplateParmDecl>(Val: FromParam), ToD: ToParam);
3828 }
3829}
3830
3831// [basic.link]/p10:
3832// If two declarations of an entity are attached to different modules,
3833// the program is ill-formed;
3834void ASTDeclReader::checkMultipleDefinitionInNamedModules(ASTReader &Reader,
3835 Decl *D,
3836 Decl *Previous) {
3837 // If it is previous implcitly introduced, it is not meaningful to
3838 // diagnose it.
3839 if (Previous->isImplicit())
3840 return;
3841
3842 // FIXME: Get rid of the enumeration of decl types once we have an appropriate
3843 // abstract for decls of an entity. e.g., the namespace decl and using decl
3844 // doesn't introduce an entity.
3845 if (!isa<VarDecl, FunctionDecl, TagDecl, RedeclarableTemplateDecl>(Val: Previous))
3846 return;
3847
3848 // Skip implicit instantiations since it may give false positive diagnostic
3849 // messages.
3850 // FIXME: Maybe this shows the implicit instantiations may have incorrect
3851 // module owner ships. But given we've finished the compilation of a module,
3852 // how can we add new entities to that module?
3853 if (isa<VarTemplateSpecializationDecl>(Val: Previous))
3854 return;
3855 if (isa<ClassTemplateSpecializationDecl>(Val: Previous))
3856 return;
3857 if (auto *Func = dyn_cast<FunctionDecl>(Val: Previous);
3858 Func && Func->getTemplateSpecializationInfo())
3859 return;
3860
3861 // The module ownership of in-class friend declaration is not straightforward.
3862 // Avoid diagnosing such cases.
3863 if (D->getFriendObjectKind() || Previous->getFriendObjectKind())
3864 return;
3865
3866 // Skip diagnosing in-class declarations.
3867 if (!Previous->getLexicalDeclContext()
3868 ->getNonTransparentContext()
3869 ->isFileContext() ||
3870 !D->getLexicalDeclContext()->getNonTransparentContext()->isFileContext())
3871 return;
3872
3873 Module *M = Previous->getOwningModule();
3874 if (!M)
3875 return;
3876
3877 // We only forbids merging decls within named modules.
3878 if (!M->isNamedModule()) {
3879 // Try to warn the case that we merged decls from global module.
3880 if (!M->isGlobalModule())
3881 return;
3882
3883 if (D->getOwningModule() &&
3884 M->getTopLevelModule() == D->getOwningModule()->getTopLevelModule())
3885 return;
3886
3887 Reader.PendingWarningForDuplicatedDefsInModuleUnits.push_back(
3888 Elt: {D, Previous});
3889 return;
3890 }
3891
3892 // It is fine if they are in the same module.
3893 if (Reader.getContext().isInSameModule(M1: M, M2: D->getOwningModule()))
3894 return;
3895
3896 Reader.Diag(Loc: Previous->getLocation(),
3897 DiagID: diag::err_multiple_decl_in_different_modules)
3898 << cast<NamedDecl>(Val: Previous) << M->Name;
3899 Reader.Diag(Loc: D->getLocation(), DiagID: diag::note_also_found);
3900}
3901
3902void ASTDeclReader::attachPreviousDecl(ASTReader &Reader, Decl *D,
3903 Decl *Previous, Decl *Canon) {
3904 assert(D && Previous);
3905
3906 switch (D->getKind()) {
3907#define ABSTRACT_DECL(TYPE)
3908#define DECL(TYPE, BASE) \
3909 case Decl::TYPE: \
3910 attachPreviousDeclImpl(Reader, cast<TYPE##Decl>(D), Previous, Canon); \
3911 break;
3912#include "clang/AST/DeclNodes.inc"
3913 }
3914
3915 checkMultipleDefinitionInNamedModules(Reader, D, Previous);
3916
3917 // If the declaration was visible in one module, a redeclaration of it in
3918 // another module remains visible even if it wouldn't be visible by itself.
3919 //
3920 // FIXME: In this case, the declaration should only be visible if a module
3921 // that makes it visible has been imported.
3922 D->IdentifierNamespace |=
3923 Previous->IdentifierNamespace &
3924 (Decl::IDNS_Ordinary | Decl::IDNS_Tag | Decl::IDNS_Type);
3925
3926 // If the declaration declares a template, it may inherit default arguments
3927 // from the previous declaration.
3928 if (auto *TD = dyn_cast<TemplateDecl>(Val: D))
3929 inheritDefaultTemplateArguments(Context&: Reader.getContext(),
3930 From: cast<TemplateDecl>(Val: Previous), To: TD);
3931
3932 // If any of the declaration in the chain contains an Inheritable attribute,
3933 // it needs to be added to all the declarations in the redeclarable chain.
3934 // FIXME: Only the logic of merging MSInheritableAttr is present, it should
3935 // be extended for all inheritable attributes.
3936 mergeInheritableAttributes(Reader, D, Previous);
3937}
3938
3939template<typename DeclT>
3940void ASTDeclReader::attachLatestDeclImpl(Redeclarable<DeclT> *D, Decl *Latest) {
3941 D->RedeclLink.setLatest(cast<DeclT>(Latest));
3942}
3943
3944void ASTDeclReader::attachLatestDeclImpl(...) {
3945 llvm_unreachable("attachLatestDecl on non-redeclarable declaration");
3946}
3947
3948void ASTDeclReader::attachLatestDecl(Decl *D, Decl *Latest) {
3949 assert(D && Latest);
3950
3951 switch (D->getKind()) {
3952#define ABSTRACT_DECL(TYPE)
3953#define DECL(TYPE, BASE) \
3954 case Decl::TYPE: \
3955 attachLatestDeclImpl(cast<TYPE##Decl>(D), Latest); \
3956 break;
3957#include "clang/AST/DeclNodes.inc"
3958 }
3959}
3960
3961template<typename DeclT>
3962void ASTDeclReader::markIncompleteDeclChainImpl(Redeclarable<DeclT> *D) {
3963 D->RedeclLink.markIncomplete();
3964}
3965
3966void ASTDeclReader::markIncompleteDeclChainImpl(...) {
3967 llvm_unreachable("markIncompleteDeclChain on non-redeclarable declaration");
3968}
3969
3970void ASTReader::markIncompleteDeclChain(Decl *D) {
3971 switch (D->getKind()) {
3972#define ABSTRACT_DECL(TYPE)
3973#define DECL(TYPE, BASE) \
3974 case Decl::TYPE: \
3975 ASTDeclReader::markIncompleteDeclChainImpl(cast<TYPE##Decl>(D)); \
3976 break;
3977#include "clang/AST/DeclNodes.inc"
3978 }
3979}
3980
3981/// Read the declaration at the given offset from the AST file.
3982Decl *ASTReader::ReadDeclRecord(GlobalDeclID ID) {
3983 SourceLocation DeclLoc;
3984 RecordLocation Loc = DeclCursorForID(ID, Loc&: DeclLoc);
3985 llvm::BitstreamCursor &DeclsCursor = Loc.F->DeclsCursor;
3986 // Keep track of where we are in the stream, then jump back there
3987 // after reading this declaration.
3988 SavedStreamPosition SavedPosition(DeclsCursor);
3989
3990 ReadingKindTracker ReadingKind(Read_Decl, *this);
3991
3992 // Note that we are loading a declaration record.
3993 Deserializing ADecl(this);
3994
3995 auto Fail = [](const char *what, llvm::Error &&Err) {
3996 llvm::report_fatal_error(reason: Twine("ASTReader::readDeclRecord failed ") + what +
3997 ": " + toString(E: std::move(Err)));
3998 };
3999
4000 if (llvm::Error JumpFailed = DeclsCursor.JumpToBit(BitNo: Loc.Offset))
4001 Fail("jumping", std::move(JumpFailed));
4002 ASTRecordReader Record(*this, *Loc.F);
4003 ASTDeclReader Reader(*this, Record, Loc, ID, DeclLoc);
4004 Expected<unsigned> MaybeCode = DeclsCursor.ReadCode();
4005 if (!MaybeCode)
4006 Fail("reading code", MaybeCode.takeError());
4007 unsigned Code = MaybeCode.get();
4008
4009 ASTContext &Context = getContext();
4010 Decl *D = nullptr;
4011 Expected<unsigned> MaybeDeclCode = Record.readRecord(Cursor&: DeclsCursor, AbbrevID: Code);
4012 if (!MaybeDeclCode)
4013 llvm::report_fatal_error(
4014 reason: Twine("ASTReader::readDeclRecord failed reading decl code: ") +
4015 toString(E: MaybeDeclCode.takeError()));
4016
4017 switch ((DeclCode)MaybeDeclCode.get()) {
4018 case DECL_CONTEXT_LEXICAL:
4019 case DECL_CONTEXT_VISIBLE:
4020 case DECL_CONTEXT_MODULE_LOCAL_VISIBLE:
4021 case DECL_CONTEXT_TU_LOCAL_VISIBLE:
4022 case DECL_SPECIALIZATIONS:
4023 case DECL_PARTIAL_SPECIALIZATIONS:
4024 llvm_unreachable("Record cannot be de-serialized with readDeclRecord");
4025 case DECL_TYPEDEF:
4026 D = TypedefDecl::CreateDeserialized(C&: Context, ID);
4027 break;
4028 case DECL_TYPEALIAS:
4029 D = TypeAliasDecl::CreateDeserialized(C&: Context, ID);
4030 break;
4031 case DECL_ENUM:
4032 D = EnumDecl::CreateDeserialized(C&: Context, ID);
4033 break;
4034 case DECL_RECORD:
4035 D = RecordDecl::CreateDeserialized(C: Context, ID);
4036 break;
4037 case DECL_ENUM_CONSTANT:
4038 D = EnumConstantDecl::CreateDeserialized(C&: Context, ID);
4039 break;
4040 case DECL_FUNCTION:
4041 D = FunctionDecl::CreateDeserialized(C&: Context, ID);
4042 break;
4043 case DECL_LINKAGE_SPEC:
4044 D = LinkageSpecDecl::CreateDeserialized(C&: Context, ID);
4045 break;
4046 case DECL_EXPORT:
4047 D = ExportDecl::CreateDeserialized(C&: Context, ID);
4048 break;
4049 case DECL_LABEL:
4050 D = LabelDecl::CreateDeserialized(C&: Context, ID);
4051 break;
4052 case DECL_NAMESPACE:
4053 D = NamespaceDecl::CreateDeserialized(C&: Context, ID);
4054 break;
4055 case DECL_NAMESPACE_ALIAS:
4056 D = NamespaceAliasDecl::CreateDeserialized(C&: Context, ID);
4057 break;
4058 case DECL_USING:
4059 D = UsingDecl::CreateDeserialized(C&: Context, ID);
4060 break;
4061 case DECL_USING_PACK:
4062 D = UsingPackDecl::CreateDeserialized(C&: Context, ID, NumExpansions: Record.readInt());
4063 break;
4064 case DECL_USING_SHADOW:
4065 D = UsingShadowDecl::CreateDeserialized(C&: Context, ID);
4066 break;
4067 case DECL_USING_ENUM:
4068 D = UsingEnumDecl::CreateDeserialized(C&: Context, ID);
4069 break;
4070 case DECL_CONSTRUCTOR_USING_SHADOW:
4071 D = ConstructorUsingShadowDecl::CreateDeserialized(C&: Context, ID);
4072 break;
4073 case DECL_USING_DIRECTIVE:
4074 D = UsingDirectiveDecl::CreateDeserialized(C&: Context, ID);
4075 break;
4076 case DECL_UNRESOLVED_USING_VALUE:
4077 D = UnresolvedUsingValueDecl::CreateDeserialized(C&: Context, ID);
4078 break;
4079 case DECL_UNRESOLVED_USING_TYPENAME:
4080 D = UnresolvedUsingTypenameDecl::CreateDeserialized(C&: Context, ID);
4081 break;
4082 case DECL_UNRESOLVED_USING_IF_EXISTS:
4083 D = UnresolvedUsingIfExistsDecl::CreateDeserialized(Ctx&: Context, ID);
4084 break;
4085 case DECL_CXX_RECORD:
4086 D = CXXRecordDecl::CreateDeserialized(C: Context, ID);
4087 break;
4088 case DECL_CXX_DEDUCTION_GUIDE:
4089 D = CXXDeductionGuideDecl::CreateDeserialized(C&: Context, ID);
4090 break;
4091 case DECL_CXX_METHOD:
4092 D = CXXMethodDecl::CreateDeserialized(C&: Context, ID);
4093 break;
4094 case DECL_CXX_CONSTRUCTOR:
4095 D = CXXConstructorDecl::CreateDeserialized(C&: Context, ID, AllocKind: Record.readInt());
4096 break;
4097 case DECL_CXX_DESTRUCTOR:
4098 D = CXXDestructorDecl::CreateDeserialized(C&: Context, ID);
4099 break;
4100 case DECL_CXX_CONVERSION:
4101 D = CXXConversionDecl::CreateDeserialized(C&: Context, ID);
4102 break;
4103 case DECL_ACCESS_SPEC:
4104 D = AccessSpecDecl::CreateDeserialized(C&: Context, ID);
4105 break;
4106 case DECL_FRIEND:
4107 D = FriendDecl::CreateDeserialized(C&: Context, ID, FriendTypeNumTPLists: Record.readInt());
4108 break;
4109 case DECL_FRIEND_TEMPLATE:
4110 D = FriendTemplateDecl::CreateDeserialized(C&: Context, ID);
4111 break;
4112 case DECL_CLASS_TEMPLATE:
4113 D = ClassTemplateDecl::CreateDeserialized(C&: Context, ID);
4114 break;
4115 case DECL_CLASS_TEMPLATE_SPECIALIZATION:
4116 D = ClassTemplateSpecializationDecl::CreateDeserialized(C&: Context, ID);
4117 break;
4118 case DECL_CLASS_TEMPLATE_PARTIAL_SPECIALIZATION:
4119 D = ClassTemplatePartialSpecializationDecl::CreateDeserialized(C&: Context, ID);
4120 break;
4121 case DECL_VAR_TEMPLATE:
4122 D = VarTemplateDecl::CreateDeserialized(C&: Context, ID);
4123 break;
4124 case DECL_VAR_TEMPLATE_SPECIALIZATION:
4125 D = VarTemplateSpecializationDecl::CreateDeserialized(C&: Context, ID);
4126 break;
4127 case DECL_VAR_TEMPLATE_PARTIAL_SPECIALIZATION:
4128 D = VarTemplatePartialSpecializationDecl::CreateDeserialized(C&: Context, ID);
4129 break;
4130 case DECL_FUNCTION_TEMPLATE:
4131 D = FunctionTemplateDecl::CreateDeserialized(C&: Context, ID);
4132 break;
4133 case DECL_TEMPLATE_TYPE_PARM: {
4134 bool HasTypeConstraint = Record.readInt();
4135 D = TemplateTypeParmDecl::CreateDeserialized(C: Context, ID,
4136 HasTypeConstraint);
4137 break;
4138 }
4139 case DECL_NON_TYPE_TEMPLATE_PARM: {
4140 bool HasTypeConstraint = Record.readInt();
4141 D = NonTypeTemplateParmDecl::CreateDeserialized(C&: Context, ID,
4142 HasTypeConstraint);
4143 break;
4144 }
4145 case DECL_EXPANDED_NON_TYPE_TEMPLATE_PARM_PACK: {
4146 bool HasTypeConstraint = Record.readInt();
4147 D = NonTypeTemplateParmDecl::CreateDeserialized(
4148 C&: Context, ID, NumExpandedTypes: Record.readInt(), HasTypeConstraint);
4149 break;
4150 }
4151 case DECL_TEMPLATE_TEMPLATE_PARM:
4152 D = TemplateTemplateParmDecl::CreateDeserialized(C&: Context, ID);
4153 break;
4154 case DECL_EXPANDED_TEMPLATE_TEMPLATE_PARM_PACK:
4155 D = TemplateTemplateParmDecl::CreateDeserialized(C&: Context, ID,
4156 NumExpansions: Record.readInt());
4157 break;
4158 case DECL_TYPE_ALIAS_TEMPLATE:
4159 D = TypeAliasTemplateDecl::CreateDeserialized(C&: Context, ID);
4160 break;
4161 case DECL_CONCEPT:
4162 D = ConceptDecl::CreateDeserialized(C&: Context, ID);
4163 break;
4164 case DECL_REQUIRES_EXPR_BODY:
4165 D = RequiresExprBodyDecl::CreateDeserialized(C&: Context, ID);
4166 break;
4167 case DECL_STATIC_ASSERT:
4168 D = StaticAssertDecl::CreateDeserialized(C&: Context, ID);
4169 break;
4170 case DECL_EXPLICIT_INSTANTIATION:
4171 D = ExplicitInstantiationDecl::CreateDeserialized(C&: Context, ID,
4172 TrailingFlags: Record.readInt());
4173 break;
4174 case DECL_EXPANSION_STMT:
4175 D = CXXExpansionStmtDecl::CreateDeserialized(C&: Context, ID);
4176 break;
4177 case DECL_OBJC_METHOD:
4178 D = ObjCMethodDecl::CreateDeserialized(C&: Context, ID);
4179 break;
4180 case DECL_OBJC_INTERFACE:
4181 D = ObjCInterfaceDecl::CreateDeserialized(C: Context, ID);
4182 break;
4183 case DECL_OBJC_IVAR:
4184 D = ObjCIvarDecl::CreateDeserialized(C&: Context, ID);
4185 break;
4186 case DECL_OBJC_PROTOCOL:
4187 D = ObjCProtocolDecl::CreateDeserialized(C&: Context, ID);
4188 break;
4189 case DECL_OBJC_AT_DEFS_FIELD:
4190 D = ObjCAtDefsFieldDecl::CreateDeserialized(C&: Context, ID);
4191 break;
4192 case DECL_OBJC_CATEGORY:
4193 D = ObjCCategoryDecl::CreateDeserialized(C&: Context, ID);
4194 break;
4195 case DECL_OBJC_CATEGORY_IMPL:
4196 D = ObjCCategoryImplDecl::CreateDeserialized(C&: Context, ID);
4197 break;
4198 case DECL_OBJC_IMPLEMENTATION:
4199 D = ObjCImplementationDecl::CreateDeserialized(C&: Context, ID);
4200 break;
4201 case DECL_OBJC_COMPATIBLE_ALIAS:
4202 D = ObjCCompatibleAliasDecl::CreateDeserialized(C&: Context, ID);
4203 break;
4204 case DECL_OBJC_PROPERTY:
4205 D = ObjCPropertyDecl::CreateDeserialized(C&: Context, ID);
4206 break;
4207 case DECL_OBJC_PROPERTY_IMPL:
4208 D = ObjCPropertyImplDecl::CreateDeserialized(C&: Context, ID);
4209 break;
4210 case DECL_FIELD:
4211 D = FieldDecl::CreateDeserialized(C&: Context, ID);
4212 break;
4213 case DECL_INDIRECTFIELD:
4214 D = IndirectFieldDecl::CreateDeserialized(C&: Context, ID);
4215 break;
4216 case DECL_VAR:
4217 D = VarDecl::CreateDeserialized(C&: Context, ID);
4218 break;
4219 case DECL_IMPLICIT_PARAM:
4220 D = ImplicitParamDecl::CreateDeserialized(C&: Context, ID);
4221 break;
4222 case DECL_PARM_VAR:
4223 D = ParmVarDecl::CreateDeserialized(C&: Context, ID);
4224 break;
4225 case DECL_DECOMPOSITION:
4226 D = DecompositionDecl::CreateDeserialized(C&: Context, ID, NumBindings: Record.readInt());
4227 break;
4228 case DECL_BINDING:
4229 D = BindingDecl::CreateDeserialized(C&: Context, ID);
4230 break;
4231 case DECL_FILE_SCOPE_ASM:
4232 D = FileScopeAsmDecl::CreateDeserialized(C&: Context, ID);
4233 break;
4234 case DECL_TOP_LEVEL_STMT_DECL:
4235 D = TopLevelStmtDecl::CreateDeserialized(C&: Context, ID);
4236 break;
4237 case DECL_BLOCK:
4238 D = BlockDecl::CreateDeserialized(C&: Context, ID);
4239 break;
4240 case DECL_MS_PROPERTY:
4241 D = MSPropertyDecl::CreateDeserialized(C&: Context, ID);
4242 break;
4243 case DECL_MS_GUID:
4244 D = MSGuidDecl::CreateDeserialized(C&: Context, ID);
4245 break;
4246 case DECL_UNNAMED_GLOBAL_CONSTANT:
4247 D = UnnamedGlobalConstantDecl::CreateDeserialized(C&: Context, ID);
4248 break;
4249 case DECL_TEMPLATE_PARAM_OBJECT:
4250 D = TemplateParamObjectDecl::CreateDeserialized(C&: Context, ID);
4251 break;
4252 case DECL_OUTLINEDFUNCTION:
4253 D = OutlinedFunctionDecl::CreateDeserialized(C&: Context, ID, NumParams: Record.readInt());
4254 break;
4255 case DECL_CAPTURED:
4256 D = CapturedDecl::CreateDeserialized(C&: Context, ID, NumParams: Record.readInt());
4257 break;
4258 case DECL_CXX_BASE_SPECIFIERS:
4259 Error(Msg: "attempt to read a C++ base-specifier record as a declaration");
4260 return nullptr;
4261 case DECL_CXX_CTOR_INITIALIZERS:
4262 Error(Msg: "attempt to read a C++ ctor initializer record as a declaration");
4263 return nullptr;
4264 case DECL_IMPORT:
4265 // Note: last entry of the ImportDecl record is the number of stored source
4266 // locations.
4267 D = ImportDecl::CreateDeserialized(C&: Context, ID, NumLocations: Record.back());
4268 break;
4269 case DECL_OMP_THREADPRIVATE: {
4270 Record.skipInts(N: 1);
4271 unsigned NumChildren = Record.readInt();
4272 Record.skipInts(N: 1);
4273 D = OMPThreadPrivateDecl::CreateDeserialized(C&: Context, ID, N: NumChildren);
4274 break;
4275 }
4276 case DECL_OMP_ALLOCATE: {
4277 unsigned NumClauses = Record.readInt();
4278 unsigned NumVars = Record.readInt();
4279 Record.skipInts(N: 1);
4280 D = OMPAllocateDecl::CreateDeserialized(C&: Context, ID, NVars: NumVars, NClauses: NumClauses);
4281 break;
4282 }
4283 case DECL_OMP_REQUIRES: {
4284 unsigned NumClauses = Record.readInt();
4285 Record.skipInts(N: 2);
4286 D = OMPRequiresDecl::CreateDeserialized(C&: Context, ID, N: NumClauses);
4287 break;
4288 }
4289 case DECL_OMP_DECLARE_REDUCTION:
4290 D = OMPDeclareReductionDecl::CreateDeserialized(C&: Context, ID);
4291 break;
4292 case DECL_OMP_DECLARE_MAPPER: {
4293 unsigned NumClauses = Record.readInt();
4294 Record.skipInts(N: 2);
4295 D = OMPDeclareMapperDecl::CreateDeserialized(C&: Context, ID, N: NumClauses);
4296 break;
4297 }
4298 case DECL_OMP_CAPTUREDEXPR:
4299 D = OMPCapturedExprDecl::CreateDeserialized(C&: Context, ID);
4300 break;
4301 case DECL_PRAGMA_COMMENT:
4302 D = PragmaCommentDecl::CreateDeserialized(C&: Context, ID, ArgSize: Record.readInt());
4303 break;
4304 case DECL_PRAGMA_DETECT_MISMATCH:
4305 D = PragmaDetectMismatchDecl::CreateDeserialized(C&: Context, ID,
4306 NameValueSize: Record.readInt());
4307 break;
4308 case DECL_EMPTY:
4309 D = EmptyDecl::CreateDeserialized(C&: Context, ID);
4310 break;
4311 case DECL_LIFETIME_EXTENDED_TEMPORARY:
4312 D = LifetimeExtendedTemporaryDecl::CreateDeserialized(C&: Context, ID);
4313 break;
4314 case DECL_OBJC_TYPE_PARAM:
4315 D = ObjCTypeParamDecl::CreateDeserialized(ctx&: Context, ID);
4316 break;
4317 case DECL_HLSL_BUFFER:
4318 D = HLSLBufferDecl::CreateDeserialized(C&: Context, ID);
4319 break;
4320 case DECL_IMPLICIT_CONCEPT_SPECIALIZATION:
4321 D = ImplicitConceptSpecializationDecl::CreateDeserialized(C: Context, ID,
4322 NumTemplateArgs: Record.readInt());
4323 break;
4324 case DECL_OPENACC_DECLARE:
4325 D = OpenACCDeclareDecl::CreateDeserialized(Ctx&: Context, ID, NumClauses: Record.readInt());
4326 break;
4327 case DECL_OPENACC_ROUTINE:
4328 D = OpenACCRoutineDecl::CreateDeserialized(Ctx&: Context, ID, NumClauses: Record.readInt());
4329 break;
4330 }
4331
4332 assert(D && "Unknown declaration reading AST file");
4333 LoadedDecl(Index: translateGlobalDeclIDToIndex(ID), D);
4334 // Set the DeclContext before doing any deserialization, to make sure internal
4335 // calls to Decl::getASTContext() by Decl's methods will find the
4336 // TranslationUnitDecl without crashing.
4337 D->setDeclContext(Context.getTranslationUnitDecl());
4338
4339 // Reading some declarations can result in deep recursion.
4340 runWithSufficientStackSpace(Loc: DeclLoc, Fn: [&] { Reader.Visit(D); });
4341
4342 // If this declaration is also a declaration context, get the
4343 // offsets for its tables of lexical and visible declarations.
4344 if (auto *DC = dyn_cast<DeclContext>(Val: D)) {
4345 LookupBlockOffsets Offsets;
4346
4347 Reader.VisitDeclContext(DC, Offsets);
4348
4349 // Get the lexical and visible block for the delayed namespace.
4350 // It is sufficient to judge if ID is in DelayedNamespaceOffsetMap.
4351 // But it may be more efficient to filter the other cases.
4352 if (!Offsets && isa<NamespaceDecl>(Val: D))
4353 if (auto Iter = DelayedNamespaceOffsetMap.find(Val: ID);
4354 Iter != DelayedNamespaceOffsetMap.end())
4355 Offsets = Iter->second;
4356
4357 if (Offsets.VisibleOffset &&
4358 ReadVisibleDeclContextStorage(
4359 M&: *Loc.F, Cursor&: DeclsCursor, Offset: Offsets.VisibleOffset, ID,
4360 VisibleKind: VisibleDeclContextStorageKind::GenerallyVisible))
4361 return nullptr;
4362 if (Offsets.ModuleLocalOffset &&
4363 ReadVisibleDeclContextStorage(
4364 M&: *Loc.F, Cursor&: DeclsCursor, Offset: Offsets.ModuleLocalOffset, ID,
4365 VisibleKind: VisibleDeclContextStorageKind::ModuleLocalVisible))
4366 return nullptr;
4367 if (Offsets.TULocalOffset &&
4368 ReadVisibleDeclContextStorage(
4369 M&: *Loc.F, Cursor&: DeclsCursor, Offset: Offsets.TULocalOffset, ID,
4370 VisibleKind: VisibleDeclContextStorageKind::TULocalVisible))
4371 return nullptr;
4372
4373 if (Offsets.LexicalOffset &&
4374 ReadLexicalDeclContextStorage(M&: *Loc.F, Cursor&: DeclsCursor,
4375 Offset: Offsets.LexicalOffset, DC))
4376 return nullptr;
4377 }
4378 assert(Record.getIdx() == Record.size());
4379
4380 // Load any relevant update records.
4381 PendingUpdateRecords.push_back(
4382 Elt: PendingUpdateRecord(ID, D, /*JustLoaded=*/true));
4383
4384 // Load the categories after recursive loading is finished.
4385 if (auto *Class = dyn_cast<ObjCInterfaceDecl>(Val: D))
4386 // If we already have a definition when deserializing the ObjCInterfaceDecl,
4387 // we put the Decl in PendingDefinitions so we can pull the categories here.
4388 if (Class->isThisDeclarationADefinition() ||
4389 PendingDefinitions.count(Ptr: Class))
4390 loadObjCCategories(ID, D: Class);
4391
4392 // If we have deserialized a declaration that has a definition the
4393 // AST consumer might need to know about, queue it.
4394 // We don't pass it to the consumer immediately because we may be in recursive
4395 // loading, and some declarations may still be initializing.
4396 PotentiallyInterestingDecls.push_back(x: D);
4397
4398 return D;
4399}
4400
4401void ASTReader::PassInterestingDeclsToConsumer() {
4402 assert(Consumer);
4403
4404 if (!CanPassDeclsToConsumer)
4405 return;
4406
4407 // Guard variable to avoid recursively redoing the process of passing
4408 // decls to consumer.
4409 SaveAndRestore GuardPassingDeclsToConsumer(CanPassDeclsToConsumer,
4410 /*NewValue=*/false);
4411
4412 // Ensure that we've loaded all potentially-interesting declarations
4413 // that need to be eagerly loaded.
4414 for (auto ID : EagerlyDeserializedDecls)
4415 GetDecl(ID);
4416 EagerlyDeserializedDecls.clear();
4417
4418 auto ConsumingPotentialInterestingDecls = [this]() {
4419 while (!PotentiallyInterestingDecls.empty()) {
4420 Decl *D = PotentiallyInterestingDecls.front();
4421 PotentiallyInterestingDecls.pop_front();
4422 if (isConsumerInterestedIn(D))
4423 PassInterestingDeclToConsumer(D);
4424 }
4425 };
4426 std::deque<Decl *> MaybeInterestingDecls =
4427 std::move(PotentiallyInterestingDecls);
4428 PotentiallyInterestingDecls.clear();
4429 assert(PotentiallyInterestingDecls.empty());
4430 while (!MaybeInterestingDecls.empty()) {
4431 Decl *D = MaybeInterestingDecls.front();
4432 MaybeInterestingDecls.pop_front();
4433 // Since we load the variable's initializers lazily, it'd be problematic
4434 // if the initializers dependent on each other. So here we try to load the
4435 // initializers of static variables to make sure they are passed to code
4436 // generator by order. If we read anything interesting, we would consume
4437 // that before emitting the current declaration.
4438 if (auto *VD = dyn_cast<VarDecl>(Val: D);
4439 VD && VD->isFileVarDecl() && !VD->isExternallyVisible())
4440 VD->getInit();
4441 ConsumingPotentialInterestingDecls();
4442 if (isConsumerInterestedIn(D))
4443 PassInterestingDeclToConsumer(D);
4444 }
4445
4446 // If we add any new potential interesting decl in the last call, consume it.
4447 ConsumingPotentialInterestingDecls();
4448
4449 for (GlobalDeclID ID : VTablesToEmit) {
4450 auto *RD = cast<CXXRecordDecl>(Val: GetDecl(ID));
4451 assert(!RD->shouldEmitInExternalSource());
4452 PassVTableToConsumer(RD);
4453 }
4454 VTablesToEmit.clear();
4455}
4456
4457void ASTReader::loadDeclUpdateRecords(PendingUpdateRecord &Record) {
4458 // The declaration may have been modified by files later in the chain.
4459 // If this is the case, read the record containing the updates from each file
4460 // and pass it to ASTDeclReader to make the modifications.
4461 GlobalDeclID ID = Record.ID;
4462 Decl *D = Record.D;
4463 ProcessingUpdatesRAIIObj ProcessingUpdates(*this);
4464 DeclUpdateOffsetsMap::iterator UpdI = DeclUpdateOffsets.find(Val: ID);
4465
4466 if (UpdI != DeclUpdateOffsets.end()) {
4467 auto UpdateOffsets = std::move(UpdI->second);
4468 DeclUpdateOffsets.erase(I: UpdI);
4469
4470 // Check if this decl was interesting to the consumer. If we just loaded
4471 // the declaration, then we know it was interesting and we skip the call
4472 // to isConsumerInterestedIn because it is unsafe to call in the
4473 // current ASTReader state.
4474 bool WasInteresting = Record.JustLoaded || isConsumerInterestedIn(D);
4475 for (auto &FileAndOffset : UpdateOffsets) {
4476 ModuleFile *F = FileAndOffset.first;
4477 uint64_t Offset = FileAndOffset.second;
4478 llvm::BitstreamCursor &Cursor = F->DeclsCursor;
4479 SavedStreamPosition SavedPosition(Cursor);
4480 if (llvm::Error JumpFailed = Cursor.JumpToBit(BitNo: Offset))
4481 // FIXME don't do a fatal error.
4482 llvm::report_fatal_error(
4483 reason: Twine("ASTReader::loadDeclUpdateRecords failed jumping: ") +
4484 toString(E: std::move(JumpFailed)));
4485 Expected<unsigned> MaybeCode = Cursor.ReadCode();
4486 if (!MaybeCode)
4487 llvm::report_fatal_error(
4488 reason: Twine("ASTReader::loadDeclUpdateRecords failed reading code: ") +
4489 toString(E: MaybeCode.takeError()));
4490 unsigned Code = MaybeCode.get();
4491 ASTRecordReader Record(*this, *F);
4492 if (Expected<unsigned> MaybeRecCode = Record.readRecord(Cursor, AbbrevID: Code))
4493 assert(MaybeRecCode.get() == DECL_UPDATES &&
4494 "Expected DECL_UPDATES record!");
4495 else
4496 llvm::report_fatal_error(
4497 reason: Twine("ASTReader::loadDeclUpdateRecords failed reading rec code: ") +
4498 toString(E: MaybeCode.takeError()));
4499
4500 ASTDeclReader Reader(*this, Record, RecordLocation(F, Offset), ID,
4501 SourceLocation());
4502 Reader.UpdateDecl(D);
4503
4504 // We might have made this declaration interesting. If so, remember that
4505 // we need to hand it off to the consumer.
4506 if (!WasInteresting && isConsumerInterestedIn(D)) {
4507 PotentiallyInterestingDecls.push_back(x: D);
4508 WasInteresting = true;
4509 }
4510 }
4511 }
4512
4513 // Load the pending visible updates for this decl context, if it has any.
4514 if (auto I = PendingVisibleUpdates.find(Val: ID);
4515 I != PendingVisibleUpdates.end()) {
4516 auto VisibleUpdates = std::move(I->second);
4517 PendingVisibleUpdates.erase(I);
4518
4519 auto *DC = cast<DeclContext>(Val: D)->getPrimaryContext();
4520 for (const auto &Update : VisibleUpdates)
4521 Lookups[DC].Table.add(
4522 File: Update.Mod, Data: Update.Data,
4523 InfoObj: reader::ASTDeclContextNameLookupTrait(*this, *Update.Mod));
4524 DC->setHasExternalVisibleStorage(true);
4525 }
4526
4527 if (auto I = PendingModuleLocalVisibleUpdates.find(Val: ID);
4528 I != PendingModuleLocalVisibleUpdates.end()) {
4529 auto ModuleLocalVisibleUpdates = std::move(I->second);
4530 PendingModuleLocalVisibleUpdates.erase(I);
4531
4532 auto *DC = cast<DeclContext>(Val: D)->getPrimaryContext();
4533 for (const auto &Update : ModuleLocalVisibleUpdates)
4534 ModuleLocalLookups[DC].Table.add(
4535 File: Update.Mod, Data: Update.Data,
4536 InfoObj: reader::ModuleLocalNameLookupTrait(*this, *Update.Mod));
4537 // NOTE: Can we optimize the case that the data being loaded
4538 // is not related to current module?
4539 DC->setHasExternalVisibleStorage(true);
4540 }
4541
4542 if (auto I = TULocalUpdates.find(Val: ID); I != TULocalUpdates.end()) {
4543 auto Updates = std::move(I->second);
4544 TULocalUpdates.erase(I);
4545
4546 auto *DC = cast<DeclContext>(Val: D)->getPrimaryContext();
4547 for (const auto &Update : Updates)
4548 TULocalLookups[DC].Table.add(
4549 File: Update.Mod, Data: Update.Data,
4550 InfoObj: reader::ASTDeclContextNameLookupTrait(*this, *Update.Mod));
4551 DC->setHasExternalVisibleStorage(true);
4552 }
4553
4554 // Load any pending related decls.
4555 if (D->isCanonicalDecl()) {
4556 if (auto IT = RelatedDeclsMap.find(Val: ID); IT != RelatedDeclsMap.end()) {
4557 for (auto LID : IT->second)
4558 GetDecl(ID: LID);
4559 RelatedDeclsMap.erase(I: IT);
4560 }
4561 }
4562
4563 // Load the pending specializations update for this decl, if it has any.
4564 if (auto I = PendingSpecializationsUpdates.find(Val: ID);
4565 I != PendingSpecializationsUpdates.end()) {
4566 auto SpecializationUpdates = std::move(I->second);
4567 PendingSpecializationsUpdates.erase(I);
4568
4569 for (const auto &Update : SpecializationUpdates)
4570 AddSpecializations(D, Data: Update.Data, M&: *Update.Mod, /*IsPartial=*/false);
4571 }
4572
4573 // Load the pending specializations update for this decl, if it has any.
4574 if (auto I = PendingPartialSpecializationsUpdates.find(Val: ID);
4575 I != PendingPartialSpecializationsUpdates.end()) {
4576 auto SpecializationUpdates = std::move(I->second);
4577 PendingPartialSpecializationsUpdates.erase(I);
4578
4579 for (const auto &Update : SpecializationUpdates)
4580 AddSpecializations(D, Data: Update.Data, M&: *Update.Mod, /*IsPartial=*/true);
4581 }
4582}
4583
4584void ASTReader::loadPendingDeclChain(Decl *FirstLocal, uint64_t LocalOffset) {
4585 // Attach FirstLocal to the end of the decl chain.
4586 Decl *CanonDecl = FirstLocal->getCanonicalDecl();
4587 if (FirstLocal != CanonDecl) {
4588 Decl *PrevMostRecent = ASTDeclReader::getMostRecentDecl(D: CanonDecl);
4589 ASTDeclReader::attachPreviousDecl(
4590 Reader&: *this, D: FirstLocal, Previous: PrevMostRecent ? PrevMostRecent : CanonDecl,
4591 Canon: CanonDecl);
4592 }
4593
4594 if (!LocalOffset) {
4595 ASTDeclReader::attachLatestDecl(D: CanonDecl, Latest: FirstLocal);
4596 return;
4597 }
4598
4599 // Load the list of other redeclarations from this module file.
4600 ModuleFile *M = getOwningModuleFile(D: FirstLocal);
4601 assert(M && "imported decl from no module file");
4602
4603 llvm::BitstreamCursor &Cursor = M->DeclsCursor;
4604 SavedStreamPosition SavedPosition(Cursor);
4605 if (llvm::Error JumpFailed = Cursor.JumpToBit(BitNo: LocalOffset))
4606 llvm::report_fatal_error(
4607 reason: Twine("ASTReader::loadPendingDeclChain failed jumping: ") +
4608 toString(E: std::move(JumpFailed)));
4609
4610 RecordData Record;
4611 Expected<unsigned> MaybeCode = Cursor.ReadCode();
4612 if (!MaybeCode)
4613 llvm::report_fatal_error(
4614 reason: Twine("ASTReader::loadPendingDeclChain failed reading code: ") +
4615 toString(E: MaybeCode.takeError()));
4616 unsigned Code = MaybeCode.get();
4617 if (Expected<unsigned> MaybeRecCode = Cursor.readRecord(AbbrevID: Code, Vals&: Record))
4618 assert(MaybeRecCode.get() == LOCAL_REDECLARATIONS &&
4619 "expected LOCAL_REDECLARATIONS record!");
4620 else
4621 llvm::report_fatal_error(
4622 reason: Twine("ASTReader::loadPendingDeclChain failed reading rec code: ") +
4623 toString(E: MaybeCode.takeError()));
4624
4625 // FIXME: We have several different dispatches on decl kind here; maybe
4626 // we should instead generate one loop per kind and dispatch up-front?
4627 Decl *MostRecent = FirstLocal;
4628 for (unsigned I = 0, N = Record.size(); I != N; ++I) {
4629 unsigned Idx = N - I - 1;
4630 auto *D = ReadDecl(F&: *M, R: Record, I&: Idx);
4631 ASTDeclReader::attachPreviousDecl(Reader&: *this, D, Previous: MostRecent, Canon: CanonDecl);
4632 MostRecent = D;
4633 }
4634 ASTDeclReader::attachLatestDecl(D: CanonDecl, Latest: MostRecent);
4635}
4636
4637namespace {
4638
4639 /// Given an ObjC interface, goes through the modules and links to the
4640 /// interface all the categories for it.
4641 class ObjCCategoriesVisitor {
4642 ASTReader &Reader;
4643 ObjCInterfaceDecl *Interface;
4644 llvm::SmallPtrSetImpl<ObjCCategoryDecl *> &Deserialized;
4645 ObjCCategoryDecl *Tail = nullptr;
4646 llvm::DenseMap<DeclarationName, ObjCCategoryDecl *> NameCategoryMap;
4647 GlobalDeclID InterfaceID;
4648 unsigned PreviousGeneration;
4649
4650 void add(ObjCCategoryDecl *Cat) {
4651 // Only process each category once.
4652 if (!Deserialized.erase(Ptr: Cat))
4653 return;
4654
4655 // Check for duplicate categories.
4656 if (Cat->getDeclName()) {
4657 ObjCCategoryDecl *&Existing = NameCategoryMap[Cat->getDeclName()];
4658 if (Existing && Reader.getOwningModuleFile(D: Existing) !=
4659 Reader.getOwningModuleFile(D: Cat)) {
4660 StructuralEquivalenceContext::NonEquivalentDeclSet NonEquivalentDecls;
4661 StructuralEquivalenceContext Ctx(
4662 Reader.getContext().getLangOpts(), Cat->getASTContext(),
4663 Existing->getASTContext(), NonEquivalentDecls,
4664 StructuralEquivalenceKind::Default,
4665 /*StrictTypeSpelling=*/false,
4666 /*Complain=*/false,
4667 /*ErrorOnTagTypeMismatch=*/true);
4668 if (!Ctx.IsEquivalent(D1: Cat, D2: Existing)) {
4669 // Warn only if the categories with the same name are different.
4670 Reader.Diag(Loc: Cat->getLocation(), DiagID: diag::warn_dup_category_def)
4671 << Interface->getDeclName() << Cat->getDeclName();
4672 Reader.Diag(Loc: Existing->getLocation(),
4673 DiagID: diag::note_previous_definition);
4674 }
4675 } else if (!Existing) {
4676 // Record this category.
4677 Existing = Cat;
4678 }
4679 }
4680
4681 // Add this category to the end of the chain.
4682 if (Tail)
4683 ASTDeclReader::setNextObjCCategory(Cat: Tail, Next: Cat);
4684 else
4685 Interface->setCategoryListRaw(Cat);
4686 Tail = Cat;
4687 }
4688
4689 public:
4690 ObjCCategoriesVisitor(
4691 ASTReader &Reader, ObjCInterfaceDecl *Interface,
4692 llvm::SmallPtrSetImpl<ObjCCategoryDecl *> &Deserialized,
4693 GlobalDeclID InterfaceID, unsigned PreviousGeneration)
4694 : Reader(Reader), Interface(Interface), Deserialized(Deserialized),
4695 InterfaceID(InterfaceID), PreviousGeneration(PreviousGeneration) {
4696 // Populate the name -> category map with the set of known categories.
4697 for (auto *Cat : Interface->known_categories()) {
4698 if (Cat->getDeclName())
4699 NameCategoryMap[Cat->getDeclName()] = Cat;
4700
4701 // Keep track of the tail of the category list.
4702 Tail = Cat;
4703 }
4704 }
4705
4706 bool operator()(ModuleFile &M) {
4707 // If we've loaded all of the category information we care about from
4708 // this module file, we're done.
4709 if (M.Generation <= PreviousGeneration)
4710 return true;
4711
4712 // Map global ID of the definition down to the local ID used in this
4713 // module file. If there is no such mapping, we'll find nothing here
4714 // (or in any module it imports).
4715 LocalDeclID LocalID =
4716 Reader.mapGlobalIDToModuleFileGlobalID(M, GlobalID: InterfaceID);
4717 if (LocalID.isInvalid())
4718 return true;
4719
4720 // Perform a binary search to find the local redeclarations for this
4721 // declaration (if any).
4722 const ObjCCategoriesInfo Compare = {LocalID, 0};
4723 const ObjCCategoriesInfo *Result = std::lower_bound(
4724 first: M.ObjCCategoriesMap,
4725 last: M.ObjCCategoriesMap + M.LocalNumObjCCategoriesInMap, val: Compare);
4726 if (Result == M.ObjCCategoriesMap + M.LocalNumObjCCategoriesInMap ||
4727 LocalID != Result->getDefinitionID()) {
4728 // We didn't find anything. If the class definition is in this module
4729 // file, then the module files it depends on cannot have any categories,
4730 // so suppress further lookup.
4731 return Reader.isDeclIDFromModule(ID: InterfaceID, M);
4732 }
4733
4734 // We found something. Dig out all of the categories.
4735 unsigned Offset = Result->Offset;
4736 unsigned N = M.ObjCCategories[Offset];
4737 M.ObjCCategories[Offset++] = 0; // Don't try to deserialize again
4738 for (unsigned I = 0; I != N; ++I)
4739 add(Cat: Reader.ReadDeclAs<ObjCCategoryDecl>(F&: M, R: M.ObjCCategories, I&: Offset));
4740 return true;
4741 }
4742 };
4743
4744} // namespace
4745
4746void ASTReader::loadObjCCategories(GlobalDeclID ID, ObjCInterfaceDecl *D,
4747 unsigned PreviousGeneration) {
4748 ObjCCategoriesVisitor Visitor(*this, D, CategoriesDeserialized, ID,
4749 PreviousGeneration);
4750 ModuleMgr.visit(Visitor);
4751}
4752
4753template<typename DeclT, typename Fn>
4754static void forAllLaterRedecls(DeclT *D, Fn F) {
4755 F(D);
4756
4757 // Check whether we've already merged D into its redeclaration chain.
4758 // MostRecent may or may not be nullptr if D has not been merged. If
4759 // not, walk the merged redecl chain and see if it's there.
4760 auto *MostRecent = D->getMostRecentDecl();
4761 bool Found = false;
4762 for (auto *Redecl = MostRecent; Redecl && !Found;
4763 Redecl = Redecl->getPreviousDecl())
4764 Found = (Redecl == D);
4765
4766 // If this declaration is merged, apply the functor to all later decls.
4767 if (Found) {
4768 for (auto *Redecl = MostRecent; Redecl != D;
4769 Redecl = Redecl->getPreviousDecl())
4770 F(Redecl);
4771 }
4772}
4773
4774void ASTDeclReader::UpdateDecl(Decl *D) {
4775 while (Record.getIdx() < Record.size()) {
4776 switch ((DeclUpdateKind)Record.readInt()) {
4777 case DeclUpdateKind::CXXAddedImplicitMember: {
4778 auto *RD = cast<CXXRecordDecl>(Val: D);
4779 Decl *MD = Record.readDecl();
4780 assert(MD && "couldn't read decl from update record");
4781 Reader.PendingAddedClassMembers.push_back(Elt: {RD, MD});
4782 break;
4783 }
4784
4785 case DeclUpdateKind::CXXAddedAnonymousNamespace: {
4786 auto *Anon = readDeclAs<NamespaceDecl>();
4787
4788 // Each module has its own anonymous namespace, which is disjoint from
4789 // any other module's anonymous namespaces, so don't attach the anonymous
4790 // namespace at all.
4791 if (!Record.isModule()) {
4792 if (auto *TU = dyn_cast<TranslationUnitDecl>(Val: D))
4793 TU->setAnonymousNamespace(Anon);
4794 else
4795 cast<NamespaceDecl>(Val: D)->setAnonymousNamespace(Anon);
4796 }
4797 break;
4798 }
4799
4800 case DeclUpdateKind::CXXAddedVarDefinition: {
4801 auto *VD = cast<VarDecl>(Val: D);
4802 VD->NonParmVarDeclBits.IsInline = Record.readInt();
4803 VD->NonParmVarDeclBits.IsInlineSpecified = Record.readInt();
4804 ReadVarDeclInit(VD);
4805 break;
4806 }
4807
4808 case DeclUpdateKind::CXXPointOfInstantiation: {
4809 SourceLocation POI = Record.readSourceLocation();
4810 if (auto *VTSD = dyn_cast<VarTemplateSpecializationDecl>(Val: D)) {
4811 VTSD->setPointOfInstantiation(POI);
4812 } else if (auto *VD = dyn_cast<VarDecl>(Val: D)) {
4813 MemberSpecializationInfo *MSInfo = VD->getMemberSpecializationInfo();
4814 assert(MSInfo && "No member specialization information");
4815 MSInfo->setPointOfInstantiation(POI);
4816 } else {
4817 auto *FD = cast<FunctionDecl>(Val: D);
4818 if (auto *FTSInfo = dyn_cast<FunctionTemplateSpecializationInfo *>(
4819 Val&: FD->TemplateOrSpecialization))
4820 FTSInfo->setPointOfInstantiation(POI);
4821 else
4822 cast<MemberSpecializationInfo *>(Val&: FD->TemplateOrSpecialization)
4823 ->setPointOfInstantiation(POI);
4824 }
4825 break;
4826 }
4827
4828 case DeclUpdateKind::CXXInstantiatedDefaultArgument: {
4829 auto *Param = cast<ParmVarDecl>(Val: D);
4830
4831 // We have to read the default argument regardless of whether we use it
4832 // so that hypothetical further update records aren't messed up.
4833 // TODO: Add a function to skip over the next expr record.
4834 auto *DefaultArg = Record.readExpr();
4835
4836 // Only apply the update if the parameter still has an uninstantiated
4837 // default argument.
4838 if (Param->hasUninstantiatedDefaultArg())
4839 Param->setDefaultArg(DefaultArg);
4840 break;
4841 }
4842
4843 case DeclUpdateKind::CXXInstantiatedDefaultMemberInitializer: {
4844 auto *FD = cast<FieldDecl>(Val: D);
4845 auto *DefaultInit = Record.readExpr();
4846
4847 // Only apply the update if the field still has an uninstantiated
4848 // default member initializer.
4849 if (FD->hasInClassInitializer() && !FD->hasNonNullInClassInitializer()) {
4850 if (DefaultInit)
4851 FD->setInClassInitializer(DefaultInit);
4852 else
4853 // Instantiation failed. We can get here if we serialized an AST for
4854 // an invalid program.
4855 FD->removeInClassInitializer();
4856 }
4857 break;
4858 }
4859
4860 case DeclUpdateKind::CXXAddedFunctionDefinition: {
4861 auto *FD = cast<FunctionDecl>(Val: D);
4862 if (Reader.PendingBodies[FD]) {
4863 // FIXME: Maybe check for ODR violations.
4864 // It's safe to stop now because this update record is always last.
4865 return;
4866 }
4867
4868 if (Record.readInt()) {
4869 // Maintain AST consistency: any later redeclarations of this function
4870 // are inline if this one is. (We might have merged another declaration
4871 // into this one.)
4872 forAllLaterRedecls(D: FD, F: [](FunctionDecl *FD) {
4873 FD->setImplicitlyInline();
4874 });
4875 }
4876 FD->setInnerLocStart(readSourceLocation());
4877 ReadFunctionDefinition(FD);
4878 assert(Record.getIdx() == Record.size() && "lazy body must be last");
4879 break;
4880 }
4881
4882 case DeclUpdateKind::CXXInstantiatedClassDefinition: {
4883 auto *RD = cast<CXXRecordDecl>(Val: D);
4884 auto *OldDD = RD->getCanonicalDecl()->DefinitionData;
4885 bool HadRealDefinition =
4886 OldDD && (OldDD->Definition != RD ||
4887 !Reader.PendingFakeDefinitionData.count(Val: OldDD));
4888 RD->setParamDestroyedInCallee(Record.readInt());
4889 RD->setArgPassingRestrictions(
4890 static_cast<RecordArgPassingKind>(Record.readInt()));
4891 ReadCXXRecordDefinition(D: RD, /*Update*/true);
4892
4893 // Visible update is handled separately.
4894 uint64_t LexicalOffset = ReadLocalOffset();
4895 if (!HadRealDefinition && LexicalOffset) {
4896 Record.readLexicalDeclContextStorage(Offset: LexicalOffset, DC: RD);
4897 Reader.PendingFakeDefinitionData.erase(Val: OldDD);
4898 }
4899
4900 auto TSK = (TemplateSpecializationKind)Record.readInt();
4901 SourceLocation POI = readSourceLocation();
4902 if (MemberSpecializationInfo *MSInfo =
4903 RD->getMemberSpecializationInfo()) {
4904 MSInfo->setTemplateSpecializationKind(TSK);
4905 MSInfo->setPointOfInstantiation(POI);
4906 } else {
4907 auto *Spec = cast<ClassTemplateSpecializationDecl>(Val: RD);
4908 Spec->setTemplateSpecializationKind(TSK);
4909 Spec->setPointOfInstantiation(POI);
4910
4911 if (Record.readInt()) {
4912 auto *PartialSpec =
4913 readDeclAs<ClassTemplatePartialSpecializationDecl>();
4914 SmallVector<TemplateArgument, 8> TemplArgs;
4915 Record.readTemplateArgumentList(TemplArgs);
4916 auto *TemplArgList = TemplateArgumentList::CreateCopy(
4917 Context&: Reader.getContext(), Args: TemplArgs);
4918
4919 // FIXME: If we already have a partial specialization set,
4920 // check that it matches.
4921 if (!isa<ClassTemplatePartialSpecializationDecl *>(
4922 Val: Spec->getSpecializedTemplateOrPartial()))
4923 Spec->setInstantiationOf(PartialSpec, TemplateArgs: TemplArgList);
4924 }
4925 }
4926
4927 RD->setTagKind(static_cast<TagTypeKind>(Record.readInt()));
4928 RD->setLocation(readSourceLocation());
4929 RD->setLocStart(readSourceLocation());
4930 RD->setBraceRange(readSourceRange());
4931
4932 if (Record.readInt()) {
4933 AttrVec Attrs;
4934 Record.readAttributes(Attrs);
4935 // If the declaration already has attributes, we assume that some other
4936 // AST file already loaded them.
4937 if (!D->hasAttrs())
4938 D->setAttrsImpl(Attrs, Ctx&: Reader.getContext());
4939 }
4940 break;
4941 }
4942
4943 case DeclUpdateKind::CXXResolvedDtorDelete: {
4944 // Set the 'operator delete' directly to avoid emitting another update
4945 // record.
4946 CXXDestructorDecl *Canon = cast<CXXDestructorDecl>(Val: D->getCanonicalDecl());
4947 ASTContext &C = Reader.getContext();
4948 auto *Del = readDeclAs<FunctionDecl>();
4949 auto *ThisArg = Record.readExpr();
4950 auto *Dtor = cast<CXXDestructorDecl>(Val: D);
4951 // FIXME: Check consistency if we have an old and new operator delete.
4952 if (!C.dtorHasOperatorDelete(Dtor,
4953 K: ASTContext::OperatorDeleteKind::Regular)) {
4954 C.addOperatorDeleteForVDtor(Dtor, OperatorDelete: Del,
4955 K: ASTContext::OperatorDeleteKind::Regular);
4956 Canon->OperatorDeleteThisArg = ThisArg;
4957 }
4958 break;
4959 }
4960
4961 case DeclUpdateKind::CXXResolvedDtorGlobDelete: {
4962 auto *Del = readDeclAs<FunctionDecl>();
4963 auto *Dtor = cast<CXXDestructorDecl>(Val: D);
4964 ASTContext &C = Reader.getContext();
4965 if (!C.dtorHasOperatorDelete(
4966 Dtor, K: ASTContext::OperatorDeleteKind::GlobalRegular))
4967 C.addOperatorDeleteForVDtor(
4968 Dtor, OperatorDelete: Del, K: ASTContext::OperatorDeleteKind::GlobalRegular);
4969 break;
4970 }
4971 case DeclUpdateKind::CXXResolvedDtorArrayDelete: {
4972 auto *Del = readDeclAs<FunctionDecl>();
4973 auto *Dtor = cast<CXXDestructorDecl>(Val: D);
4974 ASTContext &C = Reader.getContext();
4975 if (!C.dtorHasOperatorDelete(Dtor, K: ASTContext::OperatorDeleteKind::Array))
4976 C.addOperatorDeleteForVDtor(Dtor, OperatorDelete: Del,
4977 K: ASTContext::OperatorDeleteKind::Array);
4978 break;
4979 }
4980 case DeclUpdateKind::CXXResolvedDtorGlobArrayDelete: {
4981 auto *Del = readDeclAs<FunctionDecl>();
4982 auto *Dtor = cast<CXXDestructorDecl>(Val: D);
4983 ASTContext &C = Reader.getContext();
4984 if (!C.dtorHasOperatorDelete(Dtor,
4985 K: ASTContext::OperatorDeleteKind::ArrayGlobal))
4986 C.addOperatorDeleteForVDtor(
4987 Dtor, OperatorDelete: Del, K: ASTContext::OperatorDeleteKind::ArrayGlobal);
4988 break;
4989 }
4990
4991 case DeclUpdateKind::CXXResolvedExceptionSpec: {
4992 SmallVector<QualType, 8> ExceptionStorage;
4993 auto ESI = Record.readExceptionSpecInfo(buffer&: ExceptionStorage);
4994
4995 // Update this declaration's exception specification, if needed.
4996 auto *FD = cast<FunctionDecl>(Val: D);
4997 auto *FPT = FD->getType()->castAs<FunctionProtoType>();
4998 // FIXME: If the exception specification is already present, check that it
4999 // matches.
5000 if (isUnresolvedExceptionSpec(ESpecType: FPT->getExceptionSpecType())) {
5001 FD->setType(Reader.getContext().getFunctionType(
5002 ResultTy: FPT->getReturnType(), Args: FPT->getParamTypes(),
5003 EPI: FPT->getExtProtoInfo().withExceptionSpec(ESI)));
5004
5005 // When we get to the end of deserializing, see if there are other decls
5006 // that we need to propagate this exception specification onto.
5007 Reader.PendingExceptionSpecUpdates.insert(
5008 KV: std::make_pair(x: FD->getCanonicalDecl(), y&: FD));
5009 }
5010 break;
5011 }
5012
5013 case DeclUpdateKind::CXXDeducedReturnType: {
5014 auto *FD = cast<FunctionDecl>(Val: D);
5015 QualType DeducedResultType = Record.readType();
5016 Reader.PendingDeducedTypeUpdates.insert(
5017 KV: {FD->getCanonicalDecl(), DeducedResultType});
5018 break;
5019 }
5020
5021 case DeclUpdateKind::DeclMarkedUsed:
5022 // Maintain AST consistency: any later redeclarations are used too.
5023 D->markUsed(C&: Reader.getContext());
5024 break;
5025
5026 case DeclUpdateKind::ManglingNumber:
5027 Reader.getContext().setManglingNumber(ND: cast<NamedDecl>(Val: D),
5028 Number: Record.readInt());
5029 break;
5030
5031 case DeclUpdateKind::StaticLocalNumber:
5032 Reader.getContext().setStaticLocalNumber(VD: cast<VarDecl>(Val: D),
5033 Number: Record.readInt());
5034 break;
5035
5036 case DeclUpdateKind::DeclMarkedOpenMPThreadPrivate:
5037 D->addAttr(A: OMPThreadPrivateDeclAttr::CreateImplicit(Ctx&: Reader.getContext(),
5038 Range: readSourceRange()));
5039 break;
5040
5041 case DeclUpdateKind::DeclMarkedOpenMPAllocate: {
5042 auto AllocatorKind =
5043 static_cast<OMPAllocateDeclAttr::AllocatorTypeTy>(Record.readInt());
5044 Expr *Allocator = Record.readExpr();
5045 Expr *Alignment = Record.readExpr();
5046 SourceRange SR = readSourceRange();
5047 D->addAttr(A: OMPAllocateDeclAttr::CreateImplicit(
5048 Ctx&: Reader.getContext(), AllocatorType: AllocatorKind, Allocator, Alignment, Range: SR));
5049 break;
5050 }
5051
5052 case DeclUpdateKind::DeclMarkedOpenMPIndirectCall:
5053 D->addAttr(A: OMPTargetIndirectCallAttr::CreateImplicit(Ctx&: Reader.getContext(),
5054 Range: readSourceRange()));
5055 break;
5056
5057 case DeclUpdateKind::DeclExported: {
5058 unsigned SubmoduleID = readSubmoduleID();
5059 auto *Exported = cast<NamedDecl>(Val: D);
5060 Module *Owner = SubmoduleID ? Reader.getSubmodule(GlobalID: SubmoduleID) : nullptr;
5061 Reader.getContext().mergeDefinitionIntoModule(ND: Exported, M: Owner);
5062 Reader.PendingMergedDefinitionsToDeduplicate.insert(X: Exported);
5063 break;
5064 }
5065
5066 case DeclUpdateKind::DeclMarkedOpenMPDeclareTarget: {
5067 auto MapType = Record.readEnum<OMPDeclareTargetDeclAttr::MapTypeTy>();
5068 auto DevType = Record.readEnum<OMPDeclareTargetDeclAttr::DevTypeTy>();
5069 Expr *IndirectE = Record.readExpr();
5070 bool Indirect = Record.readBool();
5071 unsigned Level = Record.readInt();
5072 D->addAttr(A: OMPDeclareTargetDeclAttr::CreateImplicit(
5073 Ctx&: Reader.getContext(), MapType, DevType, IndirectExpr: IndirectE, Indirect, Level,
5074 Range: readSourceRange()));
5075 break;
5076 }
5077
5078 case DeclUpdateKind::AddedAttrToRecord:
5079 AttrVec Attrs;
5080 Record.readAttributes(Attrs);
5081 assert(Attrs.size() == 1);
5082 D->addAttr(A: Attrs[0]);
5083 break;
5084 }
5085 }
5086}
5087