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