1 //===--- ASTReaderDecl.cpp - Decl Deserialization ---------------*- C++ -*-===//
2 //
3 //                     The LLVM Compiler Infrastructure
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 //
10 // This file implements the ASTReader::ReadDeclRecord method, which is the
11 // entrypoint for loading a decl.
12 //
13 //===----------------------------------------------------------------------===//
14 
15 #include "clang/Serialization/ASTReader.h"
16 #include "ASTCommon.h"
17 #include "ASTReaderInternals.h"
18 #include "clang/AST/ASTConsumer.h"
19 #include "clang/AST/ASTContext.h"
20 #include "clang/AST/DeclCXX.h"
21 #include "clang/AST/DeclGroup.h"
22 #include "clang/AST/DeclTemplate.h"
23 #include "clang/AST/DeclVisitor.h"
24 #include "clang/AST/Expr.h"
25 #include "clang/Sema/IdentifierResolver.h"
26 #include "clang/Sema/Sema.h"
27 #include "clang/Sema/SemaDiagnostic.h"
28 #include "llvm/Support/SaveAndRestore.h"
29 
30 using namespace clang;
31 using namespace clang::serialization;
32 
33 //===----------------------------------------------------------------------===//
34 // Declaration deserialization
35 //===----------------------------------------------------------------------===//
36 
37 namespace clang {
38   class ASTDeclReader : public DeclVisitor<ASTDeclReader, void> {
39     ASTReader &Reader;
40     ModuleFile &F;
41     uint64_t Offset;
42     const DeclID ThisDeclID;
43     const SourceLocation ThisDeclLoc;
44     typedef ASTReader::RecordData RecordData;
45     const RecordData &Record;
46     unsigned &Idx;
47     TypeID TypeIDForTypeDecl;
48     unsigned AnonymousDeclNumber;
49     GlobalDeclID NamedDeclForTagDecl;
50     IdentifierInfo *TypedefNameForLinkage;
51 
52     bool HasPendingBody;
53 
54     uint64_t GetCurrentCursorOffset();
55 
56     uint64_t ReadLocalOffset(const RecordData &R, unsigned &I) {
57       uint64_t LocalOffset = R[I++];
58       assert(LocalOffset < Offset && "offset point after current record");
59       return LocalOffset ? Offset - LocalOffset : 0;
60     }
61 
62     SourceLocation ReadSourceLocation(const RecordData &R, unsigned &I) {
63       return Reader.ReadSourceLocation(F, R, I);
64     }
65 
66     SourceRange ReadSourceRange(const RecordData &R, unsigned &I) {
67       return Reader.ReadSourceRange(F, R, I);
68     }
69 
70     TypeSourceInfo *GetTypeSourceInfo(const RecordData &R, unsigned &I) {
71       return Reader.GetTypeSourceInfo(F, R, I);
72     }
73 
74     serialization::DeclID ReadDeclID(const RecordData &R, unsigned &I) {
75       return Reader.ReadDeclID(F, R, I);
76     }
77 
78     std::string ReadString(const RecordData &R, unsigned &I) {
79       return Reader.ReadString(R, I);
80     }
81 
82     void ReadDeclIDList(SmallVectorImpl<DeclID> &IDs) {
83       for (unsigned I = 0, Size = Record[Idx++]; I != Size; ++I)
84         IDs.push_back(ReadDeclID(Record, Idx));
85     }
86 
87     Decl *ReadDecl(const RecordData &R, unsigned &I) {
88       return Reader.ReadDecl(F, R, I);
89     }
90 
91     template<typename T>
92     T *ReadDeclAs(const RecordData &R, unsigned &I) {
93       return Reader.ReadDeclAs<T>(F, R, I);
94     }
95 
96     void ReadQualifierInfo(QualifierInfo &Info,
97                            const RecordData &R, unsigned &I) {
98       Reader.ReadQualifierInfo(F, Info, R, I);
99     }
100 
101     void ReadDeclarationNameLoc(DeclarationNameLoc &DNLoc, DeclarationName Name,
102                                 const RecordData &R, unsigned &I) {
103       Reader.ReadDeclarationNameLoc(F, DNLoc, Name, R, I);
104     }
105 
106     void ReadDeclarationNameInfo(DeclarationNameInfo &NameInfo,
107                                 const RecordData &R, unsigned &I) {
108       Reader.ReadDeclarationNameInfo(F, NameInfo, R, I);
109     }
110 
111     serialization::SubmoduleID readSubmoduleID(const RecordData &R,
112                                                unsigned &I) {
113       if (I >= R.size())
114         return 0;
115 
116       return Reader.getGlobalSubmoduleID(F, R[I++]);
117     }
118 
119     Module *readModule(const RecordData &R, unsigned &I) {
120       return Reader.getSubmodule(readSubmoduleID(R, I));
121     }
122 
123     void ReadCXXRecordDefinition(CXXRecordDecl *D, bool Update);
124     void ReadCXXDefinitionData(struct CXXRecordDecl::DefinitionData &Data,
125                                const RecordData &R, unsigned &I);
126     void MergeDefinitionData(CXXRecordDecl *D,
127                              struct CXXRecordDecl::DefinitionData &&NewDD);
128 
129     static NamedDecl *getAnonymousDeclForMerging(ASTReader &Reader,
130                                                  DeclContext *DC,
131                                                  unsigned Index);
132     static void setAnonymousDeclForMerging(ASTReader &Reader, DeclContext *DC,
133                                            unsigned Index, NamedDecl *D);
134 
135     /// Results from loading a RedeclarableDecl.
136     class RedeclarableResult {
137       GlobalDeclID FirstID;
138       Decl *MergeWith;
139       bool IsKeyDecl;
140 
141     public:
142       RedeclarableResult(GlobalDeclID FirstID, Decl *MergeWith, bool IsKeyDecl)
143           : FirstID(FirstID), MergeWith(MergeWith), IsKeyDecl(IsKeyDecl) {}
144 
145       /// \brief Retrieve the first ID.
146       GlobalDeclID getFirstID() const { return FirstID; }
147 
148       /// \brief Is this declaration a key declaration?
149       bool isKeyDecl() const { return IsKeyDecl; }
150 
151       /// \brief Get a known declaration that this should be merged with, if
152       /// any.
153       Decl *getKnownMergeTarget() const { return MergeWith; }
154     };
155 
156     /// \brief Class used to capture the result of searching for an existing
157     /// declaration of a specific kind and name, along with the ability
158     /// to update the place where this result was found (the declaration
159     /// chain hanging off an identifier or the DeclContext we searched in)
160     /// if requested.
161     class FindExistingResult {
162       ASTReader &Reader;
163       NamedDecl *New;
164       NamedDecl *Existing;
165       mutable bool AddResult;
166 
167       unsigned AnonymousDeclNumber;
168       IdentifierInfo *TypedefNameForLinkage;
169 
170       void operator=(FindExistingResult&) = delete;
171 
172     public:
173       FindExistingResult(ASTReader &Reader)
174           : Reader(Reader), New(nullptr), Existing(nullptr), AddResult(false),
175             AnonymousDeclNumber(0), TypedefNameForLinkage(nullptr) {}
176 
177       FindExistingResult(ASTReader &Reader, NamedDecl *New, NamedDecl *Existing,
178                          unsigned AnonymousDeclNumber,
179                          IdentifierInfo *TypedefNameForLinkage)
180           : Reader(Reader), New(New), Existing(Existing), AddResult(true),
181             AnonymousDeclNumber(AnonymousDeclNumber),
182             TypedefNameForLinkage(TypedefNameForLinkage) {}
183 
184       FindExistingResult(const FindExistingResult &Other)
185           : Reader(Other.Reader), New(Other.New), Existing(Other.Existing),
186             AddResult(Other.AddResult),
187             AnonymousDeclNumber(Other.AnonymousDeclNumber),
188             TypedefNameForLinkage(Other.TypedefNameForLinkage) {
189         Other.AddResult = false;
190       }
191 
192       ~FindExistingResult();
193 
194       /// \brief Suppress the addition of this result into the known set of
195       /// names.
196       void suppress() { AddResult = false; }
197 
198       operator NamedDecl*() const { return Existing; }
199 
200       template<typename T>
201       operator T*() const { return dyn_cast_or_null<T>(Existing); }
202     };
203 
204     static DeclContext *getPrimaryContextForMerging(ASTReader &Reader,
205                                                     DeclContext *DC);
206     FindExistingResult findExisting(NamedDecl *D);
207 
208   public:
209     ASTDeclReader(ASTReader &Reader, ASTReader::RecordLocation Loc,
210                   DeclID thisDeclID, SourceLocation ThisDeclLoc,
211                   const RecordData &Record, unsigned &Idx)
212         : Reader(Reader), F(*Loc.F), Offset(Loc.Offset), ThisDeclID(thisDeclID),
213           ThisDeclLoc(ThisDeclLoc), Record(Record), Idx(Idx),
214           TypeIDForTypeDecl(0), NamedDeclForTagDecl(0),
215           TypedefNameForLinkage(nullptr), HasPendingBody(false) {}
216 
217     template <typename DeclT>
218     static Decl *getMostRecentDeclImpl(Redeclarable<DeclT> *D);
219     static Decl *getMostRecentDeclImpl(...);
220     static Decl *getMostRecentDecl(Decl *D);
221 
222     template <typename DeclT>
223     static void attachPreviousDeclImpl(ASTReader &Reader,
224                                        Redeclarable<DeclT> *D, Decl *Previous,
225                                        Decl *Canon);
226     static void attachPreviousDeclImpl(ASTReader &Reader, ...);
227     static void attachPreviousDecl(ASTReader &Reader, Decl *D, Decl *Previous,
228                                    Decl *Canon);
229 
230     template <typename DeclT>
231     static void attachLatestDeclImpl(Redeclarable<DeclT> *D, Decl *Latest);
232     static void attachLatestDeclImpl(...);
233     static void attachLatestDecl(Decl *D, Decl *latest);
234 
235     template <typename DeclT>
236     static void markIncompleteDeclChainImpl(Redeclarable<DeclT> *D);
237     static void markIncompleteDeclChainImpl(...);
238 
239     /// \brief Determine whether this declaration has a pending body.
240     bool hasPendingBody() const { return HasPendingBody; }
241 
242     void Visit(Decl *D);
243 
244     void UpdateDecl(Decl *D, ModuleFile &ModuleFile,
245                     const RecordData &Record);
246 
247     static void setNextObjCCategory(ObjCCategoryDecl *Cat,
248                                     ObjCCategoryDecl *Next) {
249       Cat->NextClassCategory = Next;
250     }
251 
252     void VisitDecl(Decl *D);
253     void VisitPragmaCommentDecl(PragmaCommentDecl *D);
254     void VisitPragmaDetectMismatchDecl(PragmaDetectMismatchDecl *D);
255     void VisitTranslationUnitDecl(TranslationUnitDecl *TU);
256     void VisitNamedDecl(NamedDecl *ND);
257     void VisitLabelDecl(LabelDecl *LD);
258     void VisitNamespaceDecl(NamespaceDecl *D);
259     void VisitUsingDirectiveDecl(UsingDirectiveDecl *D);
260     void VisitNamespaceAliasDecl(NamespaceAliasDecl *D);
261     void VisitTypeDecl(TypeDecl *TD);
262     RedeclarableResult VisitTypedefNameDecl(TypedefNameDecl *TD);
263     void VisitTypedefDecl(TypedefDecl *TD);
264     void VisitTypeAliasDecl(TypeAliasDecl *TD);
265     void VisitUnresolvedUsingTypenameDecl(UnresolvedUsingTypenameDecl *D);
266     RedeclarableResult VisitTagDecl(TagDecl *TD);
267     void VisitEnumDecl(EnumDecl *ED);
268     RedeclarableResult VisitRecordDeclImpl(RecordDecl *RD);
269     void VisitRecordDecl(RecordDecl *RD) { VisitRecordDeclImpl(RD); }
270     RedeclarableResult VisitCXXRecordDeclImpl(CXXRecordDecl *D);
271     void VisitCXXRecordDecl(CXXRecordDecl *D) { VisitCXXRecordDeclImpl(D); }
272     RedeclarableResult VisitClassTemplateSpecializationDeclImpl(
273                                             ClassTemplateSpecializationDecl *D);
274     void VisitClassTemplateSpecializationDecl(
275         ClassTemplateSpecializationDecl *D) {
276       VisitClassTemplateSpecializationDeclImpl(D);
277     }
278     void VisitClassTemplatePartialSpecializationDecl(
279                                      ClassTemplatePartialSpecializationDecl *D);
280     void VisitClassScopeFunctionSpecializationDecl(
281                                        ClassScopeFunctionSpecializationDecl *D);
282     RedeclarableResult
283     VisitVarTemplateSpecializationDeclImpl(VarTemplateSpecializationDecl *D);
284     void VisitVarTemplateSpecializationDecl(VarTemplateSpecializationDecl *D) {
285       VisitVarTemplateSpecializationDeclImpl(D);
286     }
287     void VisitVarTemplatePartialSpecializationDecl(
288         VarTemplatePartialSpecializationDecl *D);
289     void VisitTemplateTypeParmDecl(TemplateTypeParmDecl *D);
290     void VisitValueDecl(ValueDecl *VD);
291     void VisitEnumConstantDecl(EnumConstantDecl *ECD);
292     void VisitUnresolvedUsingValueDecl(UnresolvedUsingValueDecl *D);
293     void VisitDeclaratorDecl(DeclaratorDecl *DD);
294     void VisitFunctionDecl(FunctionDecl *FD);
295     void VisitCXXMethodDecl(CXXMethodDecl *D);
296     void VisitCXXConstructorDecl(CXXConstructorDecl *D);
297     void VisitCXXDestructorDecl(CXXDestructorDecl *D);
298     void VisitCXXConversionDecl(CXXConversionDecl *D);
299     void VisitFieldDecl(FieldDecl *FD);
300     void VisitMSPropertyDecl(MSPropertyDecl *FD);
301     void VisitIndirectFieldDecl(IndirectFieldDecl *FD);
302     RedeclarableResult VisitVarDeclImpl(VarDecl *D);
303     void VisitVarDecl(VarDecl *VD) { VisitVarDeclImpl(VD); }
304     void VisitImplicitParamDecl(ImplicitParamDecl *PD);
305     void VisitParmVarDecl(ParmVarDecl *PD);
306     void VisitNonTypeTemplateParmDecl(NonTypeTemplateParmDecl *D);
307     DeclID VisitTemplateDecl(TemplateDecl *D);
308     RedeclarableResult VisitRedeclarableTemplateDecl(RedeclarableTemplateDecl *D);
309     void VisitClassTemplateDecl(ClassTemplateDecl *D);
310     void VisitBuiltinTemplateDecl(BuiltinTemplateDecl *D);
311     void VisitVarTemplateDecl(VarTemplateDecl *D);
312     void VisitFunctionTemplateDecl(FunctionTemplateDecl *D);
313     void VisitTemplateTemplateParmDecl(TemplateTemplateParmDecl *D);
314     void VisitTypeAliasTemplateDecl(TypeAliasTemplateDecl *D);
315     void VisitUsingDecl(UsingDecl *D);
316     void VisitUsingShadowDecl(UsingShadowDecl *D);
317     void VisitLinkageSpecDecl(LinkageSpecDecl *D);
318     void VisitFileScopeAsmDecl(FileScopeAsmDecl *AD);
319     void VisitImportDecl(ImportDecl *D);
320     void VisitAccessSpecDecl(AccessSpecDecl *D);
321     void VisitFriendDecl(FriendDecl *D);
322     void VisitFriendTemplateDecl(FriendTemplateDecl *D);
323     void VisitStaticAssertDecl(StaticAssertDecl *D);
324     void VisitBlockDecl(BlockDecl *BD);
325     void VisitCapturedDecl(CapturedDecl *CD);
326     void VisitEmptyDecl(EmptyDecl *D);
327 
328     std::pair<uint64_t, uint64_t> VisitDeclContext(DeclContext *DC);
329 
330     template<typename T>
331     RedeclarableResult VisitRedeclarable(Redeclarable<T> *D);
332 
333     template<typename T>
334     void mergeRedeclarable(Redeclarable<T> *D, RedeclarableResult &Redecl,
335                            DeclID TemplatePatternID = 0);
336 
337     template<typename T>
338     void mergeRedeclarable(Redeclarable<T> *D, T *Existing,
339                            RedeclarableResult &Redecl,
340                            DeclID TemplatePatternID = 0);
341 
342     template<typename T>
343     void mergeMergeable(Mergeable<T> *D);
344 
345     void mergeTemplatePattern(RedeclarableTemplateDecl *D,
346                               RedeclarableTemplateDecl *Existing,
347                               DeclID DsID, bool IsKeyDecl);
348 
349     ObjCTypeParamList *ReadObjCTypeParamList();
350 
351     // FIXME: Reorder according to DeclNodes.td?
352     void VisitObjCMethodDecl(ObjCMethodDecl *D);
353     void VisitObjCTypeParamDecl(ObjCTypeParamDecl *D);
354     void VisitObjCContainerDecl(ObjCContainerDecl *D);
355     void VisitObjCInterfaceDecl(ObjCInterfaceDecl *D);
356     void VisitObjCIvarDecl(ObjCIvarDecl *D);
357     void VisitObjCProtocolDecl(ObjCProtocolDecl *D);
358     void VisitObjCAtDefsFieldDecl(ObjCAtDefsFieldDecl *D);
359     void VisitObjCCategoryDecl(ObjCCategoryDecl *D);
360     void VisitObjCImplDecl(ObjCImplDecl *D);
361     void VisitObjCCategoryImplDecl(ObjCCategoryImplDecl *D);
362     void VisitObjCImplementationDecl(ObjCImplementationDecl *D);
363     void VisitObjCCompatibleAliasDecl(ObjCCompatibleAliasDecl *D);
364     void VisitObjCPropertyDecl(ObjCPropertyDecl *D);
365     void VisitObjCPropertyImplDecl(ObjCPropertyImplDecl *D);
366     void VisitOMPThreadPrivateDecl(OMPThreadPrivateDecl *D);
367     void VisitOMPDeclareReductionDecl(OMPDeclareReductionDecl *D);
368     void VisitOMPCapturedExprDecl(OMPCapturedExprDecl *D);
369 
370     /// We've merged the definition \p MergedDef into the existing definition
371     /// \p Def. Ensure that \p Def is made visible whenever \p MergedDef is made
372     /// visible.
373     void mergeDefinitionVisibility(NamedDecl *Def, NamedDecl *MergedDef) {
374       if (Def->isHidden()) {
375         // If MergedDef is visible or becomes visible, make the definition visible.
376         if (!MergedDef->isHidden())
377           Def->Hidden = false;
378         else if (Reader.getContext().getLangOpts().ModulesLocalVisibility) {
379           Reader.getContext().mergeDefinitionIntoModule(
380               Def, MergedDef->getImportedOwningModule(),
381               /*NotifyListeners*/ false);
382           Reader.PendingMergedDefinitionsToDeduplicate.insert(Def);
383         } else {
384           auto SubmoduleID = MergedDef->getOwningModuleID();
385           assert(SubmoduleID && "hidden definition in no module");
386           Reader.HiddenNamesMap[Reader.getSubmodule(SubmoduleID)].push_back(Def);
387         }
388       }
389     }
390   };
391 } // end namespace clang
392 
393 namespace {
394 /// Iterator over the redeclarations of a declaration that have already
395 /// been merged into the same redeclaration chain.
396 template<typename DeclT>
397 class MergedRedeclIterator {
398   DeclT *Start, *Canonical, *Current;
399 public:
400   MergedRedeclIterator() : Current(nullptr) {}
401   MergedRedeclIterator(DeclT *Start)
402       : Start(Start), Canonical(nullptr), Current(Start) {}
403 
404   DeclT *operator*() { return Current; }
405 
406   MergedRedeclIterator &operator++() {
407     if (Current->isFirstDecl()) {
408       Canonical = Current;
409       Current = Current->getMostRecentDecl();
410     } else
411       Current = Current->getPreviousDecl();
412 
413     // If we started in the merged portion, we'll reach our start position
414     // eventually. Otherwise, we'll never reach it, but the second declaration
415     // we reached was the canonical declaration, so stop when we see that one
416     // again.
417     if (Current == Start || Current == Canonical)
418       Current = nullptr;
419     return *this;
420   }
421 
422   friend bool operator!=(const MergedRedeclIterator &A,
423                          const MergedRedeclIterator &B) {
424     return A.Current != B.Current;
425   }
426 };
427 } // end anonymous namespace
428 
429 template<typename DeclT>
430 llvm::iterator_range<MergedRedeclIterator<DeclT>> merged_redecls(DeclT *D) {
431   return llvm::make_range(MergedRedeclIterator<DeclT>(D),
432                           MergedRedeclIterator<DeclT>());
433 }
434 
435 uint64_t ASTDeclReader::GetCurrentCursorOffset() {
436   return F.DeclsCursor.GetCurrentBitNo() + F.GlobalBitOffset;
437 }
438 
439 void ASTDeclReader::Visit(Decl *D) {
440   DeclVisitor<ASTDeclReader, void>::Visit(D);
441 
442   if (DeclaratorDecl *DD = dyn_cast<DeclaratorDecl>(D)) {
443     if (DD->DeclInfo) {
444       DeclaratorDecl::ExtInfo *Info =
445           DD->DeclInfo.get<DeclaratorDecl::ExtInfo *>();
446       Info->TInfo =
447           GetTypeSourceInfo(Record, Idx);
448     }
449     else {
450       DD->DeclInfo = GetTypeSourceInfo(Record, Idx);
451     }
452   }
453 
454   if (TypeDecl *TD = dyn_cast<TypeDecl>(D)) {
455     // We have a fully initialized TypeDecl. Read its type now.
456     TD->setTypeForDecl(Reader.GetType(TypeIDForTypeDecl).getTypePtrOrNull());
457 
458     // If this is a tag declaration with a typedef name for linkage, it's safe
459     // to load that typedef now.
460     if (NamedDeclForTagDecl)
461       cast<TagDecl>(D)->TypedefNameDeclOrQualifier =
462           cast<TypedefNameDecl>(Reader.GetDecl(NamedDeclForTagDecl));
463   } else if (ObjCInterfaceDecl *ID = dyn_cast<ObjCInterfaceDecl>(D)) {
464     // if we have a fully initialized TypeDecl, we can safely read its type now.
465     ID->TypeForDecl = Reader.GetType(TypeIDForTypeDecl).getTypePtrOrNull();
466   } else if (FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
467     // FunctionDecl's body was written last after all other Stmts/Exprs.
468     // We only read it if FD doesn't already have a body (e.g., from another
469     // module).
470     // FIXME: Can we diagnose ODR violations somehow?
471     if (Record[Idx++]) {
472       if (auto *CD = dyn_cast<CXXConstructorDecl>(FD)) {
473         CD->NumCtorInitializers = Record[Idx++];
474         if (CD->NumCtorInitializers)
475           CD->CtorInitializers =
476               Reader.ReadCXXCtorInitializersRef(F, Record, Idx);
477       }
478       Reader.PendingBodies[FD] = GetCurrentCursorOffset();
479       HasPendingBody = true;
480     }
481   }
482 }
483 
484 void ASTDeclReader::VisitDecl(Decl *D) {
485   if (D->isTemplateParameter() || D->isTemplateParameterPack() ||
486       isa<ParmVarDecl>(D)) {
487     // We don't want to deserialize the DeclContext of a template
488     // parameter or of a parameter of a function template immediately.   These
489     // entities might be used in the formulation of its DeclContext (for
490     // example, a function parameter can be used in decltype() in trailing
491     // return type of the function).  Use the translation unit DeclContext as a
492     // placeholder.
493     GlobalDeclID SemaDCIDForTemplateParmDecl = ReadDeclID(Record, Idx);
494     GlobalDeclID LexicalDCIDForTemplateParmDecl = ReadDeclID(Record, Idx);
495     if (!LexicalDCIDForTemplateParmDecl)
496       LexicalDCIDForTemplateParmDecl = SemaDCIDForTemplateParmDecl;
497     Reader.addPendingDeclContextInfo(D,
498                                      SemaDCIDForTemplateParmDecl,
499                                      LexicalDCIDForTemplateParmDecl);
500     D->setDeclContext(Reader.getContext().getTranslationUnitDecl());
501   } else {
502     DeclContext *SemaDC = ReadDeclAs<DeclContext>(Record, Idx);
503     DeclContext *LexicalDC = ReadDeclAs<DeclContext>(Record, Idx);
504     if (!LexicalDC)
505       LexicalDC = SemaDC;
506     DeclContext *MergedSemaDC = Reader.MergedDeclContexts.lookup(SemaDC);
507     // Avoid calling setLexicalDeclContext() directly because it uses
508     // Decl::getASTContext() internally which is unsafe during derialization.
509     D->setDeclContextsImpl(MergedSemaDC ? MergedSemaDC : SemaDC, LexicalDC,
510                            Reader.getContext());
511   }
512   D->setLocation(ThisDeclLoc);
513   D->setInvalidDecl(Record[Idx++]);
514   if (Record[Idx++]) { // hasAttrs
515     AttrVec Attrs;
516     Reader.ReadAttributes(F, Attrs, Record, Idx);
517     // Avoid calling setAttrs() directly because it uses Decl::getASTContext()
518     // internally which is unsafe during derialization.
519     D->setAttrsImpl(Attrs, Reader.getContext());
520   }
521   D->setImplicit(Record[Idx++]);
522   D->Used = Record[Idx++];
523   D->setReferenced(Record[Idx++]);
524   D->setTopLevelDeclInObjCContainer(Record[Idx++]);
525   D->setAccess((AccessSpecifier)Record[Idx++]);
526   D->FromASTFile = true;
527   D->setModulePrivate(Record[Idx++]);
528   D->Hidden = D->isModulePrivate();
529 
530   // Determine whether this declaration is part of a (sub)module. If so, it
531   // may not yet be visible.
532   if (unsigned SubmoduleID = readSubmoduleID(Record, Idx)) {
533     // Store the owning submodule ID in the declaration.
534     D->setOwningModuleID(SubmoduleID);
535 
536     if (D->Hidden) {
537       // Module-private declarations are never visible, so there is no work to do.
538     } else if (Reader.getContext().getLangOpts().ModulesLocalVisibility) {
539       // If local visibility is being tracked, this declaration will become
540       // hidden and visible as the owning module does. Inform Sema that this
541       // declaration might not be visible.
542       D->Hidden = true;
543     } else if (Module *Owner = Reader.getSubmodule(SubmoduleID)) {
544       if (Owner->NameVisibility != Module::AllVisible) {
545         // The owning module is not visible. Mark this declaration as hidden.
546         D->Hidden = true;
547 
548         // Note that this declaration was hidden because its owning module is
549         // not yet visible.
550         Reader.HiddenNamesMap[Owner].push_back(D);
551       }
552     }
553   }
554 }
555 
556 void ASTDeclReader::VisitPragmaCommentDecl(PragmaCommentDecl *D) {
557   VisitDecl(D);
558   D->setLocation(ReadSourceLocation(Record, Idx));
559   D->CommentKind = (PragmaMSCommentKind)Record[Idx++];
560   std::string Arg = ReadString(Record, Idx);
561   memcpy(D->getTrailingObjects<char>(), Arg.data(), Arg.size());
562   D->getTrailingObjects<char>()[Arg.size()] = '\0';
563 }
564 
565 void ASTDeclReader::VisitPragmaDetectMismatchDecl(PragmaDetectMismatchDecl *D) {
566   VisitDecl(D);
567   D->setLocation(ReadSourceLocation(Record, Idx));
568   std::string Name = ReadString(Record, Idx);
569   memcpy(D->getTrailingObjects<char>(), Name.data(), Name.size());
570   D->getTrailingObjects<char>()[Name.size()] = '\0';
571 
572   D->ValueStart = Name.size() + 1;
573   std::string Value = ReadString(Record, Idx);
574   memcpy(D->getTrailingObjects<char>() + D->ValueStart, Value.data(),
575          Value.size());
576   D->getTrailingObjects<char>()[D->ValueStart + Value.size()] = '\0';
577 }
578 
579 void ASTDeclReader::VisitTranslationUnitDecl(TranslationUnitDecl *TU) {
580   llvm_unreachable("Translation units are not serialized");
581 }
582 
583 void ASTDeclReader::VisitNamedDecl(NamedDecl *ND) {
584   VisitDecl(ND);
585   ND->setDeclName(Reader.ReadDeclarationName(F, Record, Idx));
586   AnonymousDeclNumber = Record[Idx++];
587 }
588 
589 void ASTDeclReader::VisitTypeDecl(TypeDecl *TD) {
590   VisitNamedDecl(TD);
591   TD->setLocStart(ReadSourceLocation(Record, Idx));
592   // Delay type reading until after we have fully initialized the decl.
593   TypeIDForTypeDecl = Reader.getGlobalTypeID(F, Record[Idx++]);
594 }
595 
596 ASTDeclReader::RedeclarableResult
597 ASTDeclReader::VisitTypedefNameDecl(TypedefNameDecl *TD) {
598   RedeclarableResult Redecl = VisitRedeclarable(TD);
599   VisitTypeDecl(TD);
600   TypeSourceInfo *TInfo = GetTypeSourceInfo(Record, Idx);
601   if (Record[Idx++]) { // isModed
602     QualType modedT = Reader.readType(F, Record, Idx);
603     TD->setModedTypeSourceInfo(TInfo, modedT);
604   } else
605     TD->setTypeSourceInfo(TInfo);
606   return Redecl;
607 }
608 
609 void ASTDeclReader::VisitTypedefDecl(TypedefDecl *TD) {
610   RedeclarableResult Redecl = VisitTypedefNameDecl(TD);
611   mergeRedeclarable(TD, Redecl);
612 }
613 
614 void ASTDeclReader::VisitTypeAliasDecl(TypeAliasDecl *TD) {
615   RedeclarableResult Redecl = VisitTypedefNameDecl(TD);
616   if (auto *Template = ReadDeclAs<TypeAliasTemplateDecl>(Record, Idx))
617     // Merged when we merge the template.
618     TD->setDescribedAliasTemplate(Template);
619   else
620     mergeRedeclarable(TD, Redecl);
621 }
622 
623 ASTDeclReader::RedeclarableResult ASTDeclReader::VisitTagDecl(TagDecl *TD) {
624   RedeclarableResult Redecl = VisitRedeclarable(TD);
625   VisitTypeDecl(TD);
626 
627   TD->IdentifierNamespace = Record[Idx++];
628   TD->setTagKind((TagDecl::TagKind)Record[Idx++]);
629   if (!isa<CXXRecordDecl>(TD))
630     TD->setCompleteDefinition(Record[Idx++]);
631   TD->setEmbeddedInDeclarator(Record[Idx++]);
632   TD->setFreeStanding(Record[Idx++]);
633   TD->setCompleteDefinitionRequired(Record[Idx++]);
634   TD->setRBraceLoc(ReadSourceLocation(Record, Idx));
635 
636   switch (Record[Idx++]) {
637   case 0:
638     break;
639   case 1: { // ExtInfo
640     TagDecl::ExtInfo *Info = new (Reader.getContext()) TagDecl::ExtInfo();
641     ReadQualifierInfo(*Info, Record, Idx);
642     TD->TypedefNameDeclOrQualifier = Info;
643     break;
644   }
645   case 2: // TypedefNameForAnonDecl
646     NamedDeclForTagDecl = ReadDeclID(Record, Idx);
647     TypedefNameForLinkage = Reader.GetIdentifierInfo(F, Record, Idx);
648     break;
649   default:
650     llvm_unreachable("unexpected tag info kind");
651   }
652 
653   if (!isa<CXXRecordDecl>(TD))
654     mergeRedeclarable(TD, Redecl);
655   return Redecl;
656 }
657 
658 void ASTDeclReader::VisitEnumDecl(EnumDecl *ED) {
659   VisitTagDecl(ED);
660   if (TypeSourceInfo *TI = Reader.GetTypeSourceInfo(F, Record, Idx))
661     ED->setIntegerTypeSourceInfo(TI);
662   else
663     ED->setIntegerType(Reader.readType(F, Record, Idx));
664   ED->setPromotionType(Reader.readType(F, Record, Idx));
665   ED->setNumPositiveBits(Record[Idx++]);
666   ED->setNumNegativeBits(Record[Idx++]);
667   ED->IsScoped = Record[Idx++];
668   ED->IsScopedUsingClassTag = Record[Idx++];
669   ED->IsFixed = Record[Idx++];
670 
671   // If this is a definition subject to the ODR, and we already have a
672   // definition, merge this one into it.
673   if (ED->IsCompleteDefinition &&
674       Reader.getContext().getLangOpts().Modules &&
675       Reader.getContext().getLangOpts().CPlusPlus) {
676     EnumDecl *&OldDef = Reader.EnumDefinitions[ED->getCanonicalDecl()];
677     if (!OldDef) {
678       // This is the first time we've seen an imported definition. Look for a
679       // local definition before deciding that we are the first definition.
680       for (auto *D : merged_redecls(ED->getCanonicalDecl())) {
681         if (!D->isFromASTFile() && D->isCompleteDefinition()) {
682           OldDef = D;
683           break;
684         }
685       }
686     }
687     if (OldDef) {
688       Reader.MergedDeclContexts.insert(std::make_pair(ED, OldDef));
689       ED->IsCompleteDefinition = false;
690       mergeDefinitionVisibility(OldDef, ED);
691     } else {
692       OldDef = ED;
693     }
694   }
695 
696   if (EnumDecl *InstED = ReadDeclAs<EnumDecl>(Record, Idx)) {
697     TemplateSpecializationKind TSK = (TemplateSpecializationKind)Record[Idx++];
698     SourceLocation POI = ReadSourceLocation(Record, Idx);
699     ED->setInstantiationOfMemberEnum(Reader.getContext(), InstED, TSK);
700     ED->getMemberSpecializationInfo()->setPointOfInstantiation(POI);
701   }
702 }
703 
704 ASTDeclReader::RedeclarableResult
705 ASTDeclReader::VisitRecordDeclImpl(RecordDecl *RD) {
706   RedeclarableResult Redecl = VisitTagDecl(RD);
707   RD->setHasFlexibleArrayMember(Record[Idx++]);
708   RD->setAnonymousStructOrUnion(Record[Idx++]);
709   RD->setHasObjectMember(Record[Idx++]);
710   RD->setHasVolatileMember(Record[Idx++]);
711   return Redecl;
712 }
713 
714 void ASTDeclReader::VisitValueDecl(ValueDecl *VD) {
715   VisitNamedDecl(VD);
716   VD->setType(Reader.readType(F, Record, Idx));
717 }
718 
719 void ASTDeclReader::VisitEnumConstantDecl(EnumConstantDecl *ECD) {
720   VisitValueDecl(ECD);
721   if (Record[Idx++])
722     ECD->setInitExpr(Reader.ReadExpr(F));
723   ECD->setInitVal(Reader.ReadAPSInt(Record, Idx));
724   mergeMergeable(ECD);
725 }
726 
727 void ASTDeclReader::VisitDeclaratorDecl(DeclaratorDecl *DD) {
728   VisitValueDecl(DD);
729   DD->setInnerLocStart(ReadSourceLocation(Record, Idx));
730   if (Record[Idx++]) { // hasExtInfo
731     DeclaratorDecl::ExtInfo *Info
732         = new (Reader.getContext()) DeclaratorDecl::ExtInfo();
733     ReadQualifierInfo(*Info, Record, Idx);
734     DD->DeclInfo = Info;
735   }
736 }
737 
738 void ASTDeclReader::VisitFunctionDecl(FunctionDecl *FD) {
739   RedeclarableResult Redecl = VisitRedeclarable(FD);
740   VisitDeclaratorDecl(FD);
741 
742   ReadDeclarationNameLoc(FD->DNLoc, FD->getDeclName(), Record, Idx);
743   FD->IdentifierNamespace = Record[Idx++];
744 
745   // FunctionDecl's body is handled last at ASTDeclReader::Visit,
746   // after everything else is read.
747 
748   FD->SClass = (StorageClass)Record[Idx++];
749   FD->IsInline = Record[Idx++];
750   FD->IsInlineSpecified = Record[Idx++];
751   FD->IsVirtualAsWritten = Record[Idx++];
752   FD->IsPure = Record[Idx++];
753   FD->HasInheritedPrototype = Record[Idx++];
754   FD->HasWrittenPrototype = Record[Idx++];
755   FD->IsDeleted = Record[Idx++];
756   FD->IsTrivial = Record[Idx++];
757   FD->IsDefaulted = Record[Idx++];
758   FD->IsExplicitlyDefaulted = Record[Idx++];
759   FD->HasImplicitReturnZero = Record[Idx++];
760   FD->IsConstexpr = Record[Idx++];
761   FD->HasSkippedBody = Record[Idx++];
762   FD->IsLateTemplateParsed = Record[Idx++];
763   FD->setCachedLinkage(Linkage(Record[Idx++]));
764   FD->EndRangeLoc = ReadSourceLocation(Record, Idx);
765 
766   switch ((FunctionDecl::TemplatedKind)Record[Idx++]) {
767   case FunctionDecl::TK_NonTemplate:
768     mergeRedeclarable(FD, Redecl);
769     break;
770   case FunctionDecl::TK_FunctionTemplate:
771     // Merged when we merge the template.
772     FD->setDescribedFunctionTemplate(ReadDeclAs<FunctionTemplateDecl>(Record,
773                                                                       Idx));
774     break;
775   case FunctionDecl::TK_MemberSpecialization: {
776     FunctionDecl *InstFD = ReadDeclAs<FunctionDecl>(Record, Idx);
777     TemplateSpecializationKind TSK = (TemplateSpecializationKind)Record[Idx++];
778     SourceLocation POI = ReadSourceLocation(Record, Idx);
779     FD->setInstantiationOfMemberFunction(Reader.getContext(), InstFD, TSK);
780     FD->getMemberSpecializationInfo()->setPointOfInstantiation(POI);
781     mergeRedeclarable(FD, Redecl);
782     break;
783   }
784   case FunctionDecl::TK_FunctionTemplateSpecialization: {
785     FunctionTemplateDecl *Template = ReadDeclAs<FunctionTemplateDecl>(Record,
786                                                                       Idx);
787     TemplateSpecializationKind TSK = (TemplateSpecializationKind)Record[Idx++];
788 
789     // Template arguments.
790     SmallVector<TemplateArgument, 8> TemplArgs;
791     Reader.ReadTemplateArgumentList(TemplArgs, F, Record, Idx,
792                                     /*Canonicalize*/ true);
793 
794     // Template args as written.
795     SmallVector<TemplateArgumentLoc, 8> TemplArgLocs;
796     SourceLocation LAngleLoc, RAngleLoc;
797     bool HasTemplateArgumentsAsWritten = Record[Idx++];
798     if (HasTemplateArgumentsAsWritten) {
799       unsigned NumTemplateArgLocs = Record[Idx++];
800       TemplArgLocs.reserve(NumTemplateArgLocs);
801       for (unsigned i=0; i != NumTemplateArgLocs; ++i)
802         TemplArgLocs.push_back(
803             Reader.ReadTemplateArgumentLoc(F, Record, Idx));
804 
805       LAngleLoc = ReadSourceLocation(Record, Idx);
806       RAngleLoc = ReadSourceLocation(Record, Idx);
807     }
808 
809     SourceLocation POI = ReadSourceLocation(Record, Idx);
810 
811     ASTContext &C = Reader.getContext();
812     TemplateArgumentList *TemplArgList
813       = TemplateArgumentList::CreateCopy(C, TemplArgs.data(), TemplArgs.size());
814     TemplateArgumentListInfo TemplArgsInfo(LAngleLoc, RAngleLoc);
815     for (unsigned i=0, e = TemplArgLocs.size(); i != e; ++i)
816       TemplArgsInfo.addArgument(TemplArgLocs[i]);
817     FunctionTemplateSpecializationInfo *FTInfo
818         = FunctionTemplateSpecializationInfo::Create(C, FD, Template, TSK,
819                                                      TemplArgList,
820                              HasTemplateArgumentsAsWritten ? &TemplArgsInfo
821                                                            : nullptr,
822                                                      POI);
823     FD->TemplateOrSpecialization = FTInfo;
824 
825     if (FD->isCanonicalDecl()) { // if canonical add to template's set.
826       // The template that contains the specializations set. It's not safe to
827       // use getCanonicalDecl on Template since it may still be initializing.
828       FunctionTemplateDecl *CanonTemplate
829         = ReadDeclAs<FunctionTemplateDecl>(Record, Idx);
830       // Get the InsertPos by FindNodeOrInsertPos() instead of calling
831       // InsertNode(FTInfo) directly to avoid the getASTContext() call in
832       // FunctionTemplateSpecializationInfo's Profile().
833       // We avoid getASTContext because a decl in the parent hierarchy may
834       // be initializing.
835       llvm::FoldingSetNodeID ID;
836       FunctionTemplateSpecializationInfo::Profile(ID, TemplArgs, C);
837       void *InsertPos = nullptr;
838       FunctionTemplateDecl::Common *CommonPtr = CanonTemplate->getCommonPtr();
839       FunctionTemplateSpecializationInfo *ExistingInfo =
840           CommonPtr->Specializations.FindNodeOrInsertPos(ID, InsertPos);
841       if (InsertPos)
842         CommonPtr->Specializations.InsertNode(FTInfo, InsertPos);
843       else {
844         assert(Reader.getContext().getLangOpts().Modules &&
845                "already deserialized this template specialization");
846         mergeRedeclarable(FD, ExistingInfo->Function, Redecl);
847       }
848     }
849     break;
850   }
851   case FunctionDecl::TK_DependentFunctionTemplateSpecialization: {
852     // Templates.
853     UnresolvedSet<8> TemplDecls;
854     unsigned NumTemplates = Record[Idx++];
855     while (NumTemplates--)
856       TemplDecls.addDecl(ReadDeclAs<NamedDecl>(Record, Idx));
857 
858     // Templates args.
859     TemplateArgumentListInfo TemplArgs;
860     unsigned NumArgs = Record[Idx++];
861     while (NumArgs--)
862       TemplArgs.addArgument(Reader.ReadTemplateArgumentLoc(F, Record, Idx));
863     TemplArgs.setLAngleLoc(ReadSourceLocation(Record, Idx));
864     TemplArgs.setRAngleLoc(ReadSourceLocation(Record, Idx));
865 
866     FD->setDependentTemplateSpecialization(Reader.getContext(),
867                                            TemplDecls, TemplArgs);
868     // These are not merged; we don't need to merge redeclarations of dependent
869     // template friends.
870     break;
871   }
872   }
873 
874   // Read in the parameters.
875   unsigned NumParams = Record[Idx++];
876   SmallVector<ParmVarDecl *, 16> Params;
877   Params.reserve(NumParams);
878   for (unsigned I = 0; I != NumParams; ++I)
879     Params.push_back(ReadDeclAs<ParmVarDecl>(Record, Idx));
880   FD->setParams(Reader.getContext(), Params);
881 }
882 
883 void ASTDeclReader::VisitObjCMethodDecl(ObjCMethodDecl *MD) {
884   VisitNamedDecl(MD);
885   if (Record[Idx++]) {
886     // Load the body on-demand. Most clients won't care, because method
887     // definitions rarely show up in headers.
888     Reader.PendingBodies[MD] = GetCurrentCursorOffset();
889     HasPendingBody = true;
890     MD->setSelfDecl(ReadDeclAs<ImplicitParamDecl>(Record, Idx));
891     MD->setCmdDecl(ReadDeclAs<ImplicitParamDecl>(Record, Idx));
892   }
893   MD->setInstanceMethod(Record[Idx++]);
894   MD->setVariadic(Record[Idx++]);
895   MD->setPropertyAccessor(Record[Idx++]);
896   MD->setDefined(Record[Idx++]);
897   MD->IsOverriding = Record[Idx++];
898   MD->HasSkippedBody = Record[Idx++];
899 
900   MD->IsRedeclaration = Record[Idx++];
901   MD->HasRedeclaration = Record[Idx++];
902   if (MD->HasRedeclaration)
903     Reader.getContext().setObjCMethodRedeclaration(MD,
904                                        ReadDeclAs<ObjCMethodDecl>(Record, Idx));
905 
906   MD->setDeclImplementation((ObjCMethodDecl::ImplementationControl)Record[Idx++]);
907   MD->setObjCDeclQualifier((Decl::ObjCDeclQualifier)Record[Idx++]);
908   MD->SetRelatedResultType(Record[Idx++]);
909   MD->setReturnType(Reader.readType(F, Record, Idx));
910   MD->setReturnTypeSourceInfo(GetTypeSourceInfo(Record, Idx));
911   MD->DeclEndLoc = ReadSourceLocation(Record, Idx);
912   unsigned NumParams = Record[Idx++];
913   SmallVector<ParmVarDecl *, 16> Params;
914   Params.reserve(NumParams);
915   for (unsigned I = 0; I != NumParams; ++I)
916     Params.push_back(ReadDeclAs<ParmVarDecl>(Record, Idx));
917 
918   MD->SelLocsKind = Record[Idx++];
919   unsigned NumStoredSelLocs = Record[Idx++];
920   SmallVector<SourceLocation, 16> SelLocs;
921   SelLocs.reserve(NumStoredSelLocs);
922   for (unsigned i = 0; i != NumStoredSelLocs; ++i)
923     SelLocs.push_back(ReadSourceLocation(Record, Idx));
924 
925   MD->setParamsAndSelLocs(Reader.getContext(), Params, SelLocs);
926 }
927 
928 void ASTDeclReader::VisitObjCTypeParamDecl(ObjCTypeParamDecl *D) {
929   VisitTypedefNameDecl(D);
930 
931   D->Variance = Record[Idx++];
932   D->Index = Record[Idx++];
933   D->VarianceLoc = ReadSourceLocation(Record, Idx);
934   D->ColonLoc = ReadSourceLocation(Record, Idx);
935 }
936 
937 void ASTDeclReader::VisitObjCContainerDecl(ObjCContainerDecl *CD) {
938   VisitNamedDecl(CD);
939   CD->setAtStartLoc(ReadSourceLocation(Record, Idx));
940   CD->setAtEndRange(ReadSourceRange(Record, Idx));
941 }
942 
943 ObjCTypeParamList *ASTDeclReader::ReadObjCTypeParamList() {
944   unsigned numParams = Record[Idx++];
945   if (numParams == 0)
946     return nullptr;
947 
948   SmallVector<ObjCTypeParamDecl *, 4> typeParams;
949   typeParams.reserve(numParams);
950   for (unsigned i = 0; i != numParams; ++i) {
951     auto typeParam = ReadDeclAs<ObjCTypeParamDecl>(Record, Idx);
952     if (!typeParam)
953       return nullptr;
954 
955     typeParams.push_back(typeParam);
956   }
957 
958   SourceLocation lAngleLoc = ReadSourceLocation(Record, Idx);
959   SourceLocation rAngleLoc = ReadSourceLocation(Record, Idx);
960 
961   return ObjCTypeParamList::create(Reader.getContext(), lAngleLoc,
962                                    typeParams, rAngleLoc);
963 }
964 
965 void ASTDeclReader::VisitObjCInterfaceDecl(ObjCInterfaceDecl *ID) {
966   RedeclarableResult Redecl = VisitRedeclarable(ID);
967   VisitObjCContainerDecl(ID);
968   TypeIDForTypeDecl = Reader.getGlobalTypeID(F, Record[Idx++]);
969   mergeRedeclarable(ID, Redecl);
970 
971   ID->TypeParamList = ReadObjCTypeParamList();
972   if (Record[Idx++]) {
973     // Read the definition.
974     ID->allocateDefinitionData();
975 
976     // Set the definition data of the canonical declaration, so other
977     // redeclarations will see it.
978     ID->getCanonicalDecl()->Data = ID->Data;
979 
980     ObjCInterfaceDecl::DefinitionData &Data = ID->data();
981 
982     // Read the superclass.
983     Data.SuperClassTInfo = GetTypeSourceInfo(Record, Idx);
984 
985     Data.EndLoc = ReadSourceLocation(Record, Idx);
986     Data.HasDesignatedInitializers = Record[Idx++];
987 
988     // Read the directly referenced protocols and their SourceLocations.
989     unsigned NumProtocols = Record[Idx++];
990     SmallVector<ObjCProtocolDecl *, 16> Protocols;
991     Protocols.reserve(NumProtocols);
992     for (unsigned I = 0; I != NumProtocols; ++I)
993       Protocols.push_back(ReadDeclAs<ObjCProtocolDecl>(Record, Idx));
994     SmallVector<SourceLocation, 16> ProtoLocs;
995     ProtoLocs.reserve(NumProtocols);
996     for (unsigned I = 0; I != NumProtocols; ++I)
997       ProtoLocs.push_back(ReadSourceLocation(Record, Idx));
998     ID->setProtocolList(Protocols.data(), NumProtocols, ProtoLocs.data(),
999                         Reader.getContext());
1000 
1001     // Read the transitive closure of protocols referenced by this class.
1002     NumProtocols = Record[Idx++];
1003     Protocols.clear();
1004     Protocols.reserve(NumProtocols);
1005     for (unsigned I = 0; I != NumProtocols; ++I)
1006       Protocols.push_back(ReadDeclAs<ObjCProtocolDecl>(Record, Idx));
1007     ID->data().AllReferencedProtocols.set(Protocols.data(), NumProtocols,
1008                                           Reader.getContext());
1009 
1010     // We will rebuild this list lazily.
1011     ID->setIvarList(nullptr);
1012 
1013     // Note that we have deserialized a definition.
1014     Reader.PendingDefinitions.insert(ID);
1015 
1016     // Note that we've loaded this Objective-C class.
1017     Reader.ObjCClassesLoaded.push_back(ID);
1018   } else {
1019     ID->Data = ID->getCanonicalDecl()->Data;
1020   }
1021 }
1022 
1023 void ASTDeclReader::VisitObjCIvarDecl(ObjCIvarDecl *IVD) {
1024   VisitFieldDecl(IVD);
1025   IVD->setAccessControl((ObjCIvarDecl::AccessControl)Record[Idx++]);
1026   // This field will be built lazily.
1027   IVD->setNextIvar(nullptr);
1028   bool synth = Record[Idx++];
1029   IVD->setSynthesize(synth);
1030 }
1031 
1032 void ASTDeclReader::VisitObjCProtocolDecl(ObjCProtocolDecl *PD) {
1033   RedeclarableResult Redecl = VisitRedeclarable(PD);
1034   VisitObjCContainerDecl(PD);
1035   mergeRedeclarable(PD, Redecl);
1036 
1037   if (Record[Idx++]) {
1038     // Read the definition.
1039     PD->allocateDefinitionData();
1040 
1041     // Set the definition data of the canonical declaration, so other
1042     // redeclarations will see it.
1043     PD->getCanonicalDecl()->Data = PD->Data;
1044 
1045     unsigned NumProtoRefs = Record[Idx++];
1046     SmallVector<ObjCProtocolDecl *, 16> ProtoRefs;
1047     ProtoRefs.reserve(NumProtoRefs);
1048     for (unsigned I = 0; I != NumProtoRefs; ++I)
1049       ProtoRefs.push_back(ReadDeclAs<ObjCProtocolDecl>(Record, Idx));
1050     SmallVector<SourceLocation, 16> ProtoLocs;
1051     ProtoLocs.reserve(NumProtoRefs);
1052     for (unsigned I = 0; I != NumProtoRefs; ++I)
1053       ProtoLocs.push_back(ReadSourceLocation(Record, Idx));
1054     PD->setProtocolList(ProtoRefs.data(), NumProtoRefs, ProtoLocs.data(),
1055                         Reader.getContext());
1056 
1057     // Note that we have deserialized a definition.
1058     Reader.PendingDefinitions.insert(PD);
1059   } else {
1060     PD->Data = PD->getCanonicalDecl()->Data;
1061   }
1062 }
1063 
1064 void ASTDeclReader::VisitObjCAtDefsFieldDecl(ObjCAtDefsFieldDecl *FD) {
1065   VisitFieldDecl(FD);
1066 }
1067 
1068 void ASTDeclReader::VisitObjCCategoryDecl(ObjCCategoryDecl *CD) {
1069   VisitObjCContainerDecl(CD);
1070   CD->setCategoryNameLoc(ReadSourceLocation(Record, Idx));
1071   CD->setIvarLBraceLoc(ReadSourceLocation(Record, Idx));
1072   CD->setIvarRBraceLoc(ReadSourceLocation(Record, Idx));
1073 
1074   // Note that this category has been deserialized. We do this before
1075   // deserializing the interface declaration, so that it will consider this
1076   /// category.
1077   Reader.CategoriesDeserialized.insert(CD);
1078 
1079   CD->ClassInterface = ReadDeclAs<ObjCInterfaceDecl>(Record, Idx);
1080   CD->TypeParamList = ReadObjCTypeParamList();
1081   unsigned NumProtoRefs = Record[Idx++];
1082   SmallVector<ObjCProtocolDecl *, 16> ProtoRefs;
1083   ProtoRefs.reserve(NumProtoRefs);
1084   for (unsigned I = 0; I != NumProtoRefs; ++I)
1085     ProtoRefs.push_back(ReadDeclAs<ObjCProtocolDecl>(Record, Idx));
1086   SmallVector<SourceLocation, 16> ProtoLocs;
1087   ProtoLocs.reserve(NumProtoRefs);
1088   for (unsigned I = 0; I != NumProtoRefs; ++I)
1089     ProtoLocs.push_back(ReadSourceLocation(Record, Idx));
1090   CD->setProtocolList(ProtoRefs.data(), NumProtoRefs, ProtoLocs.data(),
1091                       Reader.getContext());
1092 }
1093 
1094 void ASTDeclReader::VisitObjCCompatibleAliasDecl(ObjCCompatibleAliasDecl *CAD) {
1095   VisitNamedDecl(CAD);
1096   CAD->setClassInterface(ReadDeclAs<ObjCInterfaceDecl>(Record, Idx));
1097 }
1098 
1099 void ASTDeclReader::VisitObjCPropertyDecl(ObjCPropertyDecl *D) {
1100   VisitNamedDecl(D);
1101   D->setAtLoc(ReadSourceLocation(Record, Idx));
1102   D->setLParenLoc(ReadSourceLocation(Record, Idx));
1103   QualType T = Reader.readType(F, Record, Idx);
1104   TypeSourceInfo *TSI = GetTypeSourceInfo(Record, Idx);
1105   D->setType(T, TSI);
1106   D->setPropertyAttributes(
1107                       (ObjCPropertyDecl::PropertyAttributeKind)Record[Idx++]);
1108   D->setPropertyAttributesAsWritten(
1109                       (ObjCPropertyDecl::PropertyAttributeKind)Record[Idx++]);
1110   D->setPropertyImplementation(
1111                             (ObjCPropertyDecl::PropertyControl)Record[Idx++]);
1112   D->setGetterName(Reader.ReadDeclarationName(F,Record, Idx).getObjCSelector());
1113   D->setSetterName(Reader.ReadDeclarationName(F,Record, Idx).getObjCSelector());
1114   D->setGetterMethodDecl(ReadDeclAs<ObjCMethodDecl>(Record, Idx));
1115   D->setSetterMethodDecl(ReadDeclAs<ObjCMethodDecl>(Record, Idx));
1116   D->setPropertyIvarDecl(ReadDeclAs<ObjCIvarDecl>(Record, Idx));
1117 }
1118 
1119 void ASTDeclReader::VisitObjCImplDecl(ObjCImplDecl *D) {
1120   VisitObjCContainerDecl(D);
1121   D->setClassInterface(ReadDeclAs<ObjCInterfaceDecl>(Record, Idx));
1122 }
1123 
1124 void ASTDeclReader::VisitObjCCategoryImplDecl(ObjCCategoryImplDecl *D) {
1125   VisitObjCImplDecl(D);
1126   D->setIdentifier(Reader.GetIdentifierInfo(F, Record, Idx));
1127   D->CategoryNameLoc = ReadSourceLocation(Record, Idx);
1128 }
1129 
1130 void ASTDeclReader::VisitObjCImplementationDecl(ObjCImplementationDecl *D) {
1131   VisitObjCImplDecl(D);
1132   D->setSuperClass(ReadDeclAs<ObjCInterfaceDecl>(Record, Idx));
1133   D->SuperLoc = ReadSourceLocation(Record, Idx);
1134   D->setIvarLBraceLoc(ReadSourceLocation(Record, Idx));
1135   D->setIvarRBraceLoc(ReadSourceLocation(Record, Idx));
1136   D->setHasNonZeroConstructors(Record[Idx++]);
1137   D->setHasDestructors(Record[Idx++]);
1138   D->NumIvarInitializers = Record[Idx++];
1139   if (D->NumIvarInitializers)
1140     D->IvarInitializers = Reader.ReadCXXCtorInitializersRef(F, Record, Idx);
1141 }
1142 
1143 void ASTDeclReader::VisitObjCPropertyImplDecl(ObjCPropertyImplDecl *D) {
1144   VisitDecl(D);
1145   D->setAtLoc(ReadSourceLocation(Record, Idx));
1146   D->setPropertyDecl(ReadDeclAs<ObjCPropertyDecl>(Record, Idx));
1147   D->PropertyIvarDecl = ReadDeclAs<ObjCIvarDecl>(Record, Idx);
1148   D->IvarLoc = ReadSourceLocation(Record, Idx);
1149   D->setGetterCXXConstructor(Reader.ReadExpr(F));
1150   D->setSetterCXXAssignment(Reader.ReadExpr(F));
1151 }
1152 
1153 void ASTDeclReader::VisitFieldDecl(FieldDecl *FD) {
1154   VisitDeclaratorDecl(FD);
1155   FD->Mutable = Record[Idx++];
1156   if (int BitWidthOrInitializer = Record[Idx++]) {
1157     FD->InitStorage.setInt(
1158           static_cast<FieldDecl::InitStorageKind>(BitWidthOrInitializer - 1));
1159     if (FD->InitStorage.getInt() == FieldDecl::ISK_CapturedVLAType) {
1160       // Read captured variable length array.
1161       FD->InitStorage.setPointer(
1162           Reader.readType(F, Record, Idx).getAsOpaquePtr());
1163     } else {
1164       FD->InitStorage.setPointer(Reader.ReadExpr(F));
1165     }
1166   }
1167   if (!FD->getDeclName()) {
1168     if (FieldDecl *Tmpl = ReadDeclAs<FieldDecl>(Record, Idx))
1169       Reader.getContext().setInstantiatedFromUnnamedFieldDecl(FD, Tmpl);
1170   }
1171   mergeMergeable(FD);
1172 }
1173 
1174 void ASTDeclReader::VisitMSPropertyDecl(MSPropertyDecl *PD) {
1175   VisitDeclaratorDecl(PD);
1176   PD->GetterId = Reader.GetIdentifierInfo(F, Record, Idx);
1177   PD->SetterId = Reader.GetIdentifierInfo(F, Record, Idx);
1178 }
1179 
1180 void ASTDeclReader::VisitIndirectFieldDecl(IndirectFieldDecl *FD) {
1181   VisitValueDecl(FD);
1182 
1183   FD->ChainingSize = Record[Idx++];
1184   assert(FD->ChainingSize >= 2 && "Anonymous chaining must be >= 2");
1185   FD->Chaining = new (Reader.getContext())NamedDecl*[FD->ChainingSize];
1186 
1187   for (unsigned I = 0; I != FD->ChainingSize; ++I)
1188     FD->Chaining[I] = ReadDeclAs<NamedDecl>(Record, Idx);
1189 
1190   mergeMergeable(FD);
1191 }
1192 
1193 ASTDeclReader::RedeclarableResult ASTDeclReader::VisitVarDeclImpl(VarDecl *VD) {
1194   RedeclarableResult Redecl = VisitRedeclarable(VD);
1195   VisitDeclaratorDecl(VD);
1196 
1197   VD->VarDeclBits.SClass = (StorageClass)Record[Idx++];
1198   VD->VarDeclBits.TSCSpec = Record[Idx++];
1199   VD->VarDeclBits.InitStyle = Record[Idx++];
1200   if (!isa<ParmVarDecl>(VD)) {
1201     VD->NonParmVarDeclBits.ExceptionVar = Record[Idx++];
1202     VD->NonParmVarDeclBits.NRVOVariable = Record[Idx++];
1203     VD->NonParmVarDeclBits.CXXForRangeDecl = Record[Idx++];
1204     VD->NonParmVarDeclBits.ARCPseudoStrong = Record[Idx++];
1205     VD->NonParmVarDeclBits.IsConstexpr = Record[Idx++];
1206     VD->NonParmVarDeclBits.IsInitCapture = Record[Idx++];
1207     VD->NonParmVarDeclBits.PreviousDeclInSameBlockScope = Record[Idx++];
1208   }
1209   Linkage VarLinkage = Linkage(Record[Idx++]);
1210   VD->setCachedLinkage(VarLinkage);
1211 
1212   // Reconstruct the one piece of the IdentifierNamespace that we need.
1213   if (VD->getStorageClass() == SC_Extern && VarLinkage != NoLinkage &&
1214       VD->getLexicalDeclContext()->isFunctionOrMethod())
1215     VD->setLocalExternDecl();
1216 
1217   if (uint64_t Val = Record[Idx++]) {
1218     VD->setInit(Reader.ReadExpr(F));
1219     if (Val > 1) {
1220       EvaluatedStmt *Eval = VD->ensureEvaluatedStmt();
1221       Eval->CheckedICE = true;
1222       Eval->IsICE = Val == 3;
1223     }
1224   }
1225 
1226   enum VarKind {
1227     VarNotTemplate = 0, VarTemplate, StaticDataMemberSpecialization
1228   };
1229   switch ((VarKind)Record[Idx++]) {
1230   case VarNotTemplate:
1231     // Only true variables (not parameters or implicit parameters) can be
1232     // merged; the other kinds are not really redeclarable at all.
1233     if (!isa<ParmVarDecl>(VD) && !isa<ImplicitParamDecl>(VD) &&
1234         !isa<VarTemplateSpecializationDecl>(VD))
1235       mergeRedeclarable(VD, Redecl);
1236     break;
1237   case VarTemplate:
1238     // Merged when we merge the template.
1239     VD->setDescribedVarTemplate(ReadDeclAs<VarTemplateDecl>(Record, Idx));
1240     break;
1241   case StaticDataMemberSpecialization: { // HasMemberSpecializationInfo.
1242     VarDecl *Tmpl = ReadDeclAs<VarDecl>(Record, Idx);
1243     TemplateSpecializationKind TSK = (TemplateSpecializationKind)Record[Idx++];
1244     SourceLocation POI = ReadSourceLocation(Record, Idx);
1245     Reader.getContext().setInstantiatedFromStaticDataMember(VD, Tmpl, TSK,POI);
1246     mergeRedeclarable(VD, Redecl);
1247     break;
1248   }
1249   }
1250 
1251   return Redecl;
1252 }
1253 
1254 void ASTDeclReader::VisitImplicitParamDecl(ImplicitParamDecl *PD) {
1255   VisitVarDecl(PD);
1256 }
1257 
1258 void ASTDeclReader::VisitParmVarDecl(ParmVarDecl *PD) {
1259   VisitVarDecl(PD);
1260   unsigned isObjCMethodParam = Record[Idx++];
1261   unsigned scopeDepth = Record[Idx++];
1262   unsigned scopeIndex = Record[Idx++];
1263   unsigned declQualifier = Record[Idx++];
1264   if (isObjCMethodParam) {
1265     assert(scopeDepth == 0);
1266     PD->setObjCMethodScopeInfo(scopeIndex);
1267     PD->ParmVarDeclBits.ScopeDepthOrObjCQuals = declQualifier;
1268   } else {
1269     PD->setScopeInfo(scopeDepth, scopeIndex);
1270   }
1271   PD->ParmVarDeclBits.IsKNRPromoted = Record[Idx++];
1272   PD->ParmVarDeclBits.HasInheritedDefaultArg = Record[Idx++];
1273   if (Record[Idx++]) // hasUninstantiatedDefaultArg.
1274     PD->setUninstantiatedDefaultArg(Reader.ReadExpr(F));
1275 
1276   // FIXME: If this is a redeclaration of a function from another module, handle
1277   // inheritance of default arguments.
1278 }
1279 
1280 void ASTDeclReader::VisitFileScopeAsmDecl(FileScopeAsmDecl *AD) {
1281   VisitDecl(AD);
1282   AD->setAsmString(cast<StringLiteral>(Reader.ReadExpr(F)));
1283   AD->setRParenLoc(ReadSourceLocation(Record, Idx));
1284 }
1285 
1286 void ASTDeclReader::VisitBlockDecl(BlockDecl *BD) {
1287   VisitDecl(BD);
1288   BD->setBody(cast_or_null<CompoundStmt>(Reader.ReadStmt(F)));
1289   BD->setSignatureAsWritten(GetTypeSourceInfo(Record, Idx));
1290   unsigned NumParams = Record[Idx++];
1291   SmallVector<ParmVarDecl *, 16> Params;
1292   Params.reserve(NumParams);
1293   for (unsigned I = 0; I != NumParams; ++I)
1294     Params.push_back(ReadDeclAs<ParmVarDecl>(Record, Idx));
1295   BD->setParams(Params);
1296 
1297   BD->setIsVariadic(Record[Idx++]);
1298   BD->setBlockMissingReturnType(Record[Idx++]);
1299   BD->setIsConversionFromLambda(Record[Idx++]);
1300 
1301   bool capturesCXXThis = Record[Idx++];
1302   unsigned numCaptures = Record[Idx++];
1303   SmallVector<BlockDecl::Capture, 16> captures;
1304   captures.reserve(numCaptures);
1305   for (unsigned i = 0; i != numCaptures; ++i) {
1306     VarDecl *decl = ReadDeclAs<VarDecl>(Record, Idx);
1307     unsigned flags = Record[Idx++];
1308     bool byRef = (flags & 1);
1309     bool nested = (flags & 2);
1310     Expr *copyExpr = ((flags & 4) ? Reader.ReadExpr(F) : nullptr);
1311 
1312     captures.push_back(BlockDecl::Capture(decl, byRef, nested, copyExpr));
1313   }
1314   BD->setCaptures(Reader.getContext(), captures, capturesCXXThis);
1315 }
1316 
1317 void ASTDeclReader::VisitCapturedDecl(CapturedDecl *CD) {
1318   VisitDecl(CD);
1319   unsigned ContextParamPos = Record[Idx++];
1320   CD->setNothrow(Record[Idx++] != 0);
1321   // Body is set by VisitCapturedStmt.
1322   for (unsigned I = 0; I < CD->NumParams; ++I) {
1323     if (I != ContextParamPos)
1324       CD->setParam(I, ReadDeclAs<ImplicitParamDecl>(Record, Idx));
1325     else
1326       CD->setContextParam(I, ReadDeclAs<ImplicitParamDecl>(Record, Idx));
1327   }
1328 }
1329 
1330 void ASTDeclReader::VisitLinkageSpecDecl(LinkageSpecDecl *D) {
1331   VisitDecl(D);
1332   D->setLanguage((LinkageSpecDecl::LanguageIDs)Record[Idx++]);
1333   D->setExternLoc(ReadSourceLocation(Record, Idx));
1334   D->setRBraceLoc(ReadSourceLocation(Record, Idx));
1335 }
1336 
1337 void ASTDeclReader::VisitLabelDecl(LabelDecl *D) {
1338   VisitNamedDecl(D);
1339   D->setLocStart(ReadSourceLocation(Record, Idx));
1340 }
1341 
1342 void ASTDeclReader::VisitNamespaceDecl(NamespaceDecl *D) {
1343   RedeclarableResult Redecl = VisitRedeclarable(D);
1344   VisitNamedDecl(D);
1345   D->setInline(Record[Idx++]);
1346   D->LocStart = ReadSourceLocation(Record, Idx);
1347   D->RBraceLoc = ReadSourceLocation(Record, Idx);
1348 
1349   // Defer loading the anonymous namespace until we've finished merging
1350   // this namespace; loading it might load a later declaration of the
1351   // same namespace, and we have an invariant that older declarations
1352   // get merged before newer ones try to merge.
1353   GlobalDeclID AnonNamespace = 0;
1354   if (Redecl.getFirstID() == ThisDeclID) {
1355     AnonNamespace = ReadDeclID(Record, Idx);
1356   } else {
1357     // Link this namespace back to the first declaration, which has already
1358     // been deserialized.
1359     D->AnonOrFirstNamespaceAndInline.setPointer(D->getFirstDecl());
1360   }
1361 
1362   mergeRedeclarable(D, Redecl);
1363 
1364   if (AnonNamespace) {
1365     // Each module has its own anonymous namespace, which is disjoint from
1366     // any other module's anonymous namespaces, so don't attach the anonymous
1367     // namespace at all.
1368     NamespaceDecl *Anon = cast<NamespaceDecl>(Reader.GetDecl(AnonNamespace));
1369     if (F.Kind != MK_ImplicitModule && F.Kind != MK_ExplicitModule)
1370       D->setAnonymousNamespace(Anon);
1371   }
1372 }
1373 
1374 void ASTDeclReader::VisitNamespaceAliasDecl(NamespaceAliasDecl *D) {
1375   RedeclarableResult Redecl = VisitRedeclarable(D);
1376   VisitNamedDecl(D);
1377   D->NamespaceLoc = ReadSourceLocation(Record, Idx);
1378   D->IdentLoc = ReadSourceLocation(Record, Idx);
1379   D->QualifierLoc = Reader.ReadNestedNameSpecifierLoc(F, Record, Idx);
1380   D->Namespace = ReadDeclAs<NamedDecl>(Record, Idx);
1381   mergeRedeclarable(D, Redecl);
1382 }
1383 
1384 void ASTDeclReader::VisitUsingDecl(UsingDecl *D) {
1385   VisitNamedDecl(D);
1386   D->setUsingLoc(ReadSourceLocation(Record, Idx));
1387   D->QualifierLoc = Reader.ReadNestedNameSpecifierLoc(F, Record, Idx);
1388   ReadDeclarationNameLoc(D->DNLoc, D->getDeclName(), Record, Idx);
1389   D->FirstUsingShadow.setPointer(ReadDeclAs<UsingShadowDecl>(Record, Idx));
1390   D->setTypename(Record[Idx++]);
1391   if (NamedDecl *Pattern = ReadDeclAs<NamedDecl>(Record, Idx))
1392     Reader.getContext().setInstantiatedFromUsingDecl(D, Pattern);
1393   mergeMergeable(D);
1394 }
1395 
1396 void ASTDeclReader::VisitUsingShadowDecl(UsingShadowDecl *D) {
1397   RedeclarableResult Redecl = VisitRedeclarable(D);
1398   VisitNamedDecl(D);
1399   D->setTargetDecl(ReadDeclAs<NamedDecl>(Record, Idx));
1400   D->UsingOrNextShadow = ReadDeclAs<NamedDecl>(Record, Idx);
1401   UsingShadowDecl *Pattern = ReadDeclAs<UsingShadowDecl>(Record, Idx);
1402   if (Pattern)
1403     Reader.getContext().setInstantiatedFromUsingShadowDecl(D, Pattern);
1404   mergeRedeclarable(D, Redecl);
1405 }
1406 
1407 void ASTDeclReader::VisitUsingDirectiveDecl(UsingDirectiveDecl *D) {
1408   VisitNamedDecl(D);
1409   D->UsingLoc = ReadSourceLocation(Record, Idx);
1410   D->NamespaceLoc = ReadSourceLocation(Record, Idx);
1411   D->QualifierLoc = Reader.ReadNestedNameSpecifierLoc(F, Record, Idx);
1412   D->NominatedNamespace = ReadDeclAs<NamedDecl>(Record, Idx);
1413   D->CommonAncestor = ReadDeclAs<DeclContext>(Record, Idx);
1414 }
1415 
1416 void ASTDeclReader::VisitUnresolvedUsingValueDecl(UnresolvedUsingValueDecl *D) {
1417   VisitValueDecl(D);
1418   D->setUsingLoc(ReadSourceLocation(Record, Idx));
1419   D->QualifierLoc = Reader.ReadNestedNameSpecifierLoc(F, Record, Idx);
1420   ReadDeclarationNameLoc(D->DNLoc, D->getDeclName(), Record, Idx);
1421   mergeMergeable(D);
1422 }
1423 
1424 void ASTDeclReader::VisitUnresolvedUsingTypenameDecl(
1425                                                UnresolvedUsingTypenameDecl *D) {
1426   VisitTypeDecl(D);
1427   D->TypenameLocation = ReadSourceLocation(Record, Idx);
1428   D->QualifierLoc = Reader.ReadNestedNameSpecifierLoc(F, Record, Idx);
1429   mergeMergeable(D);
1430 }
1431 
1432 void ASTDeclReader::ReadCXXDefinitionData(
1433                                    struct CXXRecordDecl::DefinitionData &Data,
1434                                    const RecordData &Record, unsigned &Idx) {
1435   // Note: the caller has deserialized the IsLambda bit already.
1436   Data.UserDeclaredConstructor = Record[Idx++];
1437   Data.UserDeclaredSpecialMembers = Record[Idx++];
1438   Data.Aggregate = Record[Idx++];
1439   Data.PlainOldData = Record[Idx++];
1440   Data.Empty = Record[Idx++];
1441   Data.Polymorphic = Record[Idx++];
1442   Data.Abstract = Record[Idx++];
1443   Data.IsStandardLayout = Record[Idx++];
1444   Data.HasNoNonEmptyBases = Record[Idx++];
1445   Data.HasPrivateFields = Record[Idx++];
1446   Data.HasProtectedFields = Record[Idx++];
1447   Data.HasPublicFields = Record[Idx++];
1448   Data.HasMutableFields = Record[Idx++];
1449   Data.HasVariantMembers = Record[Idx++];
1450   Data.HasOnlyCMembers = Record[Idx++];
1451   Data.HasInClassInitializer = Record[Idx++];
1452   Data.HasUninitializedReferenceMember = Record[Idx++];
1453   Data.HasUninitializedFields = Record[Idx++];
1454   Data.NeedOverloadResolutionForMoveConstructor = Record[Idx++];
1455   Data.NeedOverloadResolutionForMoveAssignment = Record[Idx++];
1456   Data.NeedOverloadResolutionForDestructor = Record[Idx++];
1457   Data.DefaultedMoveConstructorIsDeleted = Record[Idx++];
1458   Data.DefaultedMoveAssignmentIsDeleted = Record[Idx++];
1459   Data.DefaultedDestructorIsDeleted = Record[Idx++];
1460   Data.HasTrivialSpecialMembers = Record[Idx++];
1461   Data.DeclaredNonTrivialSpecialMembers = Record[Idx++];
1462   Data.HasIrrelevantDestructor = Record[Idx++];
1463   Data.HasConstexprNonCopyMoveConstructor = Record[Idx++];
1464   Data.HasDefaultedDefaultConstructor = Record[Idx++];
1465   Data.DefaultedDefaultConstructorIsConstexpr = Record[Idx++];
1466   Data.HasConstexprDefaultConstructor = Record[Idx++];
1467   Data.HasNonLiteralTypeFieldsOrBases = Record[Idx++];
1468   Data.ComputedVisibleConversions = Record[Idx++];
1469   Data.UserProvidedDefaultConstructor = Record[Idx++];
1470   Data.DeclaredSpecialMembers = Record[Idx++];
1471   Data.ImplicitCopyConstructorHasConstParam = Record[Idx++];
1472   Data.ImplicitCopyAssignmentHasConstParam = Record[Idx++];
1473   Data.HasDeclaredCopyConstructorWithConstParam = Record[Idx++];
1474   Data.HasDeclaredCopyAssignmentWithConstParam = Record[Idx++];
1475 
1476   Data.NumBases = Record[Idx++];
1477   if (Data.NumBases)
1478     Data.Bases = Reader.readCXXBaseSpecifiers(F, Record, Idx);
1479   Data.NumVBases = Record[Idx++];
1480   if (Data.NumVBases)
1481     Data.VBases = Reader.readCXXBaseSpecifiers(F, Record, Idx);
1482 
1483   Reader.ReadUnresolvedSet(F, Data.Conversions, Record, Idx);
1484   Reader.ReadUnresolvedSet(F, Data.VisibleConversions, Record, Idx);
1485   assert(Data.Definition && "Data.Definition should be already set!");
1486   Data.FirstFriend = ReadDeclID(Record, Idx);
1487 
1488   if (Data.IsLambda) {
1489     typedef LambdaCapture Capture;
1490     CXXRecordDecl::LambdaDefinitionData &Lambda
1491       = static_cast<CXXRecordDecl::LambdaDefinitionData &>(Data);
1492     Lambda.Dependent = Record[Idx++];
1493     Lambda.IsGenericLambda = Record[Idx++];
1494     Lambda.CaptureDefault = Record[Idx++];
1495     Lambda.NumCaptures = Record[Idx++];
1496     Lambda.NumExplicitCaptures = Record[Idx++];
1497     Lambda.ManglingNumber = Record[Idx++];
1498     Lambda.ContextDecl = ReadDecl(Record, Idx);
1499     Lambda.Captures
1500       = (Capture*)Reader.Context.Allocate(sizeof(Capture)*Lambda.NumCaptures);
1501     Capture *ToCapture = Lambda.Captures;
1502     Lambda.MethodTyInfo = GetTypeSourceInfo(Record, Idx);
1503     for (unsigned I = 0, N = Lambda.NumCaptures; I != N; ++I) {
1504       SourceLocation Loc = ReadSourceLocation(Record, Idx);
1505       bool IsImplicit = Record[Idx++];
1506       LambdaCaptureKind Kind = static_cast<LambdaCaptureKind>(Record[Idx++]);
1507       switch (Kind) {
1508       case LCK_StarThis:
1509       case LCK_This:
1510       case LCK_VLAType:
1511         *ToCapture++ = Capture(Loc, IsImplicit, Kind, nullptr,SourceLocation());
1512         break;
1513       case LCK_ByCopy:
1514       case LCK_ByRef:
1515         VarDecl *Var = ReadDeclAs<VarDecl>(Record, Idx);
1516         SourceLocation EllipsisLoc = ReadSourceLocation(Record, Idx);
1517         *ToCapture++ = Capture(Loc, IsImplicit, Kind, Var, EllipsisLoc);
1518         break;
1519       }
1520     }
1521   }
1522 }
1523 
1524 void ASTDeclReader::MergeDefinitionData(
1525     CXXRecordDecl *D, struct CXXRecordDecl::DefinitionData &&MergeDD) {
1526   assert(D->DefinitionData.getNotUpdated() &&
1527          "merging class definition into non-definition");
1528   auto &DD = *D->DefinitionData.getNotUpdated();
1529 
1530   if (DD.Definition != MergeDD.Definition) {
1531     // Track that we merged the definitions.
1532     Reader.MergedDeclContexts.insert(std::make_pair(MergeDD.Definition,
1533                                                     DD.Definition));
1534     Reader.PendingDefinitions.erase(MergeDD.Definition);
1535     MergeDD.Definition->IsCompleteDefinition = false;
1536     mergeDefinitionVisibility(DD.Definition, MergeDD.Definition);
1537     assert(Reader.Lookups.find(MergeDD.Definition) == Reader.Lookups.end() &&
1538            "already loaded pending lookups for merged definition");
1539   }
1540 
1541   auto PFDI = Reader.PendingFakeDefinitionData.find(&DD);
1542   if (PFDI != Reader.PendingFakeDefinitionData.end() &&
1543       PFDI->second == ASTReader::PendingFakeDefinitionKind::Fake) {
1544     // We faked up this definition data because we found a class for which we'd
1545     // not yet loaded the definition. Replace it with the real thing now.
1546     assert(!DD.IsLambda && !MergeDD.IsLambda && "faked up lambda definition?");
1547     PFDI->second = ASTReader::PendingFakeDefinitionKind::FakeLoaded;
1548 
1549     // Don't change which declaration is the definition; that is required
1550     // to be invariant once we select it.
1551     auto *Def = DD.Definition;
1552     DD = std::move(MergeDD);
1553     DD.Definition = Def;
1554     return;
1555   }
1556 
1557   // FIXME: Move this out into a .def file?
1558   bool DetectedOdrViolation = false;
1559 #define OR_FIELD(Field) DD.Field |= MergeDD.Field;
1560 #define MATCH_FIELD(Field) \
1561     DetectedOdrViolation |= DD.Field != MergeDD.Field; \
1562     OR_FIELD(Field)
1563   MATCH_FIELD(UserDeclaredConstructor)
1564   MATCH_FIELD(UserDeclaredSpecialMembers)
1565   MATCH_FIELD(Aggregate)
1566   MATCH_FIELD(PlainOldData)
1567   MATCH_FIELD(Empty)
1568   MATCH_FIELD(Polymorphic)
1569   MATCH_FIELD(Abstract)
1570   MATCH_FIELD(IsStandardLayout)
1571   MATCH_FIELD(HasNoNonEmptyBases)
1572   MATCH_FIELD(HasPrivateFields)
1573   MATCH_FIELD(HasProtectedFields)
1574   MATCH_FIELD(HasPublicFields)
1575   MATCH_FIELD(HasMutableFields)
1576   MATCH_FIELD(HasVariantMembers)
1577   MATCH_FIELD(HasOnlyCMembers)
1578   MATCH_FIELD(HasInClassInitializer)
1579   MATCH_FIELD(HasUninitializedReferenceMember)
1580   MATCH_FIELD(HasUninitializedFields)
1581   MATCH_FIELD(NeedOverloadResolutionForMoveConstructor)
1582   MATCH_FIELD(NeedOverloadResolutionForMoveAssignment)
1583   MATCH_FIELD(NeedOverloadResolutionForDestructor)
1584   MATCH_FIELD(DefaultedMoveConstructorIsDeleted)
1585   MATCH_FIELD(DefaultedMoveAssignmentIsDeleted)
1586   MATCH_FIELD(DefaultedDestructorIsDeleted)
1587   OR_FIELD(HasTrivialSpecialMembers)
1588   OR_FIELD(DeclaredNonTrivialSpecialMembers)
1589   MATCH_FIELD(HasIrrelevantDestructor)
1590   OR_FIELD(HasConstexprNonCopyMoveConstructor)
1591   OR_FIELD(HasDefaultedDefaultConstructor)
1592   MATCH_FIELD(DefaultedDefaultConstructorIsConstexpr)
1593   OR_FIELD(HasConstexprDefaultConstructor)
1594   MATCH_FIELD(HasNonLiteralTypeFieldsOrBases)
1595   // ComputedVisibleConversions is handled below.
1596   MATCH_FIELD(UserProvidedDefaultConstructor)
1597   OR_FIELD(DeclaredSpecialMembers)
1598   MATCH_FIELD(ImplicitCopyConstructorHasConstParam)
1599   MATCH_FIELD(ImplicitCopyAssignmentHasConstParam)
1600   OR_FIELD(HasDeclaredCopyConstructorWithConstParam)
1601   OR_FIELD(HasDeclaredCopyAssignmentWithConstParam)
1602   MATCH_FIELD(IsLambda)
1603 #undef OR_FIELD
1604 #undef MATCH_FIELD
1605 
1606   if (DD.NumBases != MergeDD.NumBases || DD.NumVBases != MergeDD.NumVBases)
1607     DetectedOdrViolation = true;
1608   // FIXME: Issue a diagnostic if the base classes don't match when we come
1609   // to lazily load them.
1610 
1611   // FIXME: Issue a diagnostic if the list of conversion functions doesn't
1612   // match when we come to lazily load them.
1613   if (MergeDD.ComputedVisibleConversions && !DD.ComputedVisibleConversions) {
1614     DD.VisibleConversions = std::move(MergeDD.VisibleConversions);
1615     DD.ComputedVisibleConversions = true;
1616   }
1617 
1618   // FIXME: Issue a diagnostic if FirstFriend doesn't match when we come to
1619   // lazily load it.
1620 
1621   if (DD.IsLambda) {
1622     // FIXME: ODR-checking for merging lambdas (this happens, for instance,
1623     // when they occur within the body of a function template specialization).
1624   }
1625 
1626   if (DetectedOdrViolation)
1627     Reader.PendingOdrMergeFailures[DD.Definition].push_back(MergeDD.Definition);
1628 }
1629 
1630 void ASTDeclReader::ReadCXXRecordDefinition(CXXRecordDecl *D, bool Update) {
1631   struct CXXRecordDecl::DefinitionData *DD;
1632   ASTContext &C = Reader.getContext();
1633 
1634   // Determine whether this is a lambda closure type, so that we can
1635   // allocate the appropriate DefinitionData structure.
1636   bool IsLambda = Record[Idx++];
1637   if (IsLambda)
1638     DD = new (C) CXXRecordDecl::LambdaDefinitionData(D, nullptr, false, false,
1639                                                      LCD_None);
1640   else
1641     DD = new (C) struct CXXRecordDecl::DefinitionData(D);
1642 
1643   ReadCXXDefinitionData(*DD, Record, Idx);
1644 
1645   // We might already have a definition for this record. This can happen either
1646   // because we're reading an update record, or because we've already done some
1647   // merging. Either way, just merge into it.
1648   CXXRecordDecl *Canon = D->getCanonicalDecl();
1649   if (Canon->DefinitionData.getNotUpdated()) {
1650     MergeDefinitionData(Canon, std::move(*DD));
1651     D->DefinitionData = Canon->DefinitionData;
1652     return;
1653   }
1654 
1655   // Mark this declaration as being a definition.
1656   D->IsCompleteDefinition = true;
1657   D->DefinitionData = DD;
1658 
1659   // If this is not the first declaration or is an update record, we can have
1660   // other redeclarations already. Make a note that we need to propagate the
1661   // DefinitionData pointer onto them.
1662   if (Update || Canon != D) {
1663     Canon->DefinitionData = D->DefinitionData;
1664     Reader.PendingDefinitions.insert(D);
1665   }
1666 }
1667 
1668 ASTDeclReader::RedeclarableResult
1669 ASTDeclReader::VisitCXXRecordDeclImpl(CXXRecordDecl *D) {
1670   RedeclarableResult Redecl = VisitRecordDeclImpl(D);
1671 
1672   ASTContext &C = Reader.getContext();
1673 
1674   enum CXXRecKind {
1675     CXXRecNotTemplate = 0, CXXRecTemplate, CXXRecMemberSpecialization
1676   };
1677   switch ((CXXRecKind)Record[Idx++]) {
1678   case CXXRecNotTemplate:
1679     // Merged when we merge the folding set entry in the primary template.
1680     if (!isa<ClassTemplateSpecializationDecl>(D))
1681       mergeRedeclarable(D, Redecl);
1682     break;
1683   case CXXRecTemplate: {
1684     // Merged when we merge the template.
1685     ClassTemplateDecl *Template = ReadDeclAs<ClassTemplateDecl>(Record, Idx);
1686     D->TemplateOrInstantiation = Template;
1687     if (!Template->getTemplatedDecl()) {
1688       // We've not actually loaded the ClassTemplateDecl yet, because we're
1689       // currently being loaded as its pattern. Rely on it to set up our
1690       // TypeForDecl (see VisitClassTemplateDecl).
1691       //
1692       // Beware: we do not yet know our canonical declaration, and may still
1693       // get merged once the surrounding class template has got off the ground.
1694       TypeIDForTypeDecl = 0;
1695     }
1696     break;
1697   }
1698   case CXXRecMemberSpecialization: {
1699     CXXRecordDecl *RD = ReadDeclAs<CXXRecordDecl>(Record, Idx);
1700     TemplateSpecializationKind TSK = (TemplateSpecializationKind)Record[Idx++];
1701     SourceLocation POI = ReadSourceLocation(Record, Idx);
1702     MemberSpecializationInfo *MSI = new (C) MemberSpecializationInfo(RD, TSK);
1703     MSI->setPointOfInstantiation(POI);
1704     D->TemplateOrInstantiation = MSI;
1705     mergeRedeclarable(D, Redecl);
1706     break;
1707   }
1708   }
1709 
1710   bool WasDefinition = Record[Idx++];
1711   if (WasDefinition)
1712     ReadCXXRecordDefinition(D, /*Update*/false);
1713   else
1714     // Propagate DefinitionData pointer from the canonical declaration.
1715     D->DefinitionData = D->getCanonicalDecl()->DefinitionData;
1716 
1717   // Lazily load the key function to avoid deserializing every method so we can
1718   // compute it.
1719   if (WasDefinition) {
1720     DeclID KeyFn = ReadDeclID(Record, Idx);
1721     if (KeyFn && D->IsCompleteDefinition)
1722       // FIXME: This is wrong for the ARM ABI, where some other module may have
1723       // made this function no longer be a key function. We need an update
1724       // record or similar for that case.
1725       C.KeyFunctions[D] = KeyFn;
1726   }
1727 
1728   return Redecl;
1729 }
1730 
1731 void ASTDeclReader::VisitCXXMethodDecl(CXXMethodDecl *D) {
1732   VisitFunctionDecl(D);
1733 
1734   unsigned NumOverridenMethods = Record[Idx++];
1735   if (D->isCanonicalDecl()) {
1736     while (NumOverridenMethods--) {
1737       // Avoid invariant checking of CXXMethodDecl::addOverriddenMethod,
1738       // MD may be initializing.
1739       if (CXXMethodDecl *MD = ReadDeclAs<CXXMethodDecl>(Record, Idx))
1740         Reader.getContext().addOverriddenMethod(D, MD->getCanonicalDecl());
1741     }
1742   } else {
1743     // We don't care about which declarations this used to override; we get
1744     // the relevant information from the canonical declaration.
1745     Idx += NumOverridenMethods;
1746   }
1747 }
1748 
1749 void ASTDeclReader::VisitCXXConstructorDecl(CXXConstructorDecl *D) {
1750   VisitCXXMethodDecl(D);
1751 
1752   if (auto *CD = ReadDeclAs<CXXConstructorDecl>(Record, Idx))
1753     if (D->isCanonicalDecl())
1754       D->setInheritedConstructor(CD->getCanonicalDecl());
1755   D->IsExplicitSpecified = Record[Idx++];
1756 }
1757 
1758 void ASTDeclReader::VisitCXXDestructorDecl(CXXDestructorDecl *D) {
1759   VisitCXXMethodDecl(D);
1760 
1761   if (auto *OperatorDelete = ReadDeclAs<FunctionDecl>(Record, Idx)) {
1762     auto *Canon = cast<CXXDestructorDecl>(D->getCanonicalDecl());
1763     // FIXME: Check consistency if we have an old and new operator delete.
1764     if (!Canon->OperatorDelete)
1765       Canon->OperatorDelete = OperatorDelete;
1766   }
1767 }
1768 
1769 void ASTDeclReader::VisitCXXConversionDecl(CXXConversionDecl *D) {
1770   VisitCXXMethodDecl(D);
1771   D->IsExplicitSpecified = Record[Idx++];
1772 }
1773 
1774 void ASTDeclReader::VisitImportDecl(ImportDecl *D) {
1775   VisitDecl(D);
1776   D->ImportedAndComplete.setPointer(readModule(Record, Idx));
1777   D->ImportedAndComplete.setInt(Record[Idx++]);
1778   SourceLocation *StoredLocs = D->getTrailingObjects<SourceLocation>();
1779   for (unsigned I = 0, N = Record.back(); I != N; ++I)
1780     StoredLocs[I] = ReadSourceLocation(Record, Idx);
1781   ++Idx; // The number of stored source locations.
1782 }
1783 
1784 void ASTDeclReader::VisitAccessSpecDecl(AccessSpecDecl *D) {
1785   VisitDecl(D);
1786   D->setColonLoc(ReadSourceLocation(Record, Idx));
1787 }
1788 
1789 void ASTDeclReader::VisitFriendDecl(FriendDecl *D) {
1790   VisitDecl(D);
1791   if (Record[Idx++]) // hasFriendDecl
1792     D->Friend = ReadDeclAs<NamedDecl>(Record, Idx);
1793   else
1794     D->Friend = GetTypeSourceInfo(Record, Idx);
1795   for (unsigned i = 0; i != D->NumTPLists; ++i)
1796     D->getTrailingObjects<TemplateParameterList *>()[i] =
1797         Reader.ReadTemplateParameterList(F, Record, Idx);
1798   D->NextFriend = ReadDeclID(Record, Idx);
1799   D->UnsupportedFriend = (Record[Idx++] != 0);
1800   D->FriendLoc = ReadSourceLocation(Record, Idx);
1801 }
1802 
1803 void ASTDeclReader::VisitFriendTemplateDecl(FriendTemplateDecl *D) {
1804   VisitDecl(D);
1805   unsigned NumParams = Record[Idx++];
1806   D->NumParams = NumParams;
1807   D->Params = new TemplateParameterList*[NumParams];
1808   for (unsigned i = 0; i != NumParams; ++i)
1809     D->Params[i] = Reader.ReadTemplateParameterList(F, Record, Idx);
1810   if (Record[Idx++]) // HasFriendDecl
1811     D->Friend = ReadDeclAs<NamedDecl>(Record, Idx);
1812   else
1813     D->Friend = GetTypeSourceInfo(Record, Idx);
1814   D->FriendLoc = ReadSourceLocation(Record, Idx);
1815 }
1816 
1817 DeclID ASTDeclReader::VisitTemplateDecl(TemplateDecl *D) {
1818   VisitNamedDecl(D);
1819 
1820   DeclID PatternID = ReadDeclID(Record, Idx);
1821   NamedDecl *TemplatedDecl = cast_or_null<NamedDecl>(Reader.GetDecl(PatternID));
1822   TemplateParameterList* TemplateParams
1823       = Reader.ReadTemplateParameterList(F, Record, Idx);
1824   D->init(TemplatedDecl, TemplateParams);
1825 
1826   return PatternID;
1827 }
1828 
1829 ASTDeclReader::RedeclarableResult
1830 ASTDeclReader::VisitRedeclarableTemplateDecl(RedeclarableTemplateDecl *D) {
1831   RedeclarableResult Redecl = VisitRedeclarable(D);
1832 
1833   // Make sure we've allocated the Common pointer first. We do this before
1834   // VisitTemplateDecl so that getCommonPtr() can be used during initialization.
1835   RedeclarableTemplateDecl *CanonD = D->getCanonicalDecl();
1836   if (!CanonD->Common) {
1837     CanonD->Common = CanonD->newCommon(Reader.getContext());
1838     Reader.PendingDefinitions.insert(CanonD);
1839   }
1840   D->Common = CanonD->Common;
1841 
1842   // If this is the first declaration of the template, fill in the information
1843   // for the 'common' pointer.
1844   if (ThisDeclID == Redecl.getFirstID()) {
1845     if (RedeclarableTemplateDecl *RTD
1846           = ReadDeclAs<RedeclarableTemplateDecl>(Record, Idx)) {
1847       assert(RTD->getKind() == D->getKind() &&
1848              "InstantiatedFromMemberTemplate kind mismatch");
1849       D->setInstantiatedFromMemberTemplate(RTD);
1850       if (Record[Idx++])
1851         D->setMemberSpecialization();
1852     }
1853   }
1854 
1855   DeclID PatternID = VisitTemplateDecl(D);
1856   D->IdentifierNamespace = Record[Idx++];
1857 
1858   mergeRedeclarable(D, Redecl, PatternID);
1859 
1860   // If we merged the template with a prior declaration chain, merge the common
1861   // pointer.
1862   // FIXME: Actually merge here, don't just overwrite.
1863   D->Common = D->getCanonicalDecl()->Common;
1864 
1865   return Redecl;
1866 }
1867 
1868 static DeclID *newDeclIDList(ASTContext &Context, DeclID *Old,
1869                              SmallVectorImpl<DeclID> &IDs) {
1870   assert(!IDs.empty() && "no IDs to add to list");
1871   if (Old) {
1872     IDs.insert(IDs.end(), Old + 1, Old + 1 + Old[0]);
1873     std::sort(IDs.begin(), IDs.end());
1874     IDs.erase(std::unique(IDs.begin(), IDs.end()), IDs.end());
1875   }
1876 
1877   auto *Result = new (Context) DeclID[1 + IDs.size()];
1878   *Result = IDs.size();
1879   std::copy(IDs.begin(), IDs.end(), Result + 1);
1880   return Result;
1881 }
1882 
1883 void ASTDeclReader::VisitClassTemplateDecl(ClassTemplateDecl *D) {
1884   RedeclarableResult Redecl = VisitRedeclarableTemplateDecl(D);
1885 
1886   if (ThisDeclID == Redecl.getFirstID()) {
1887     // This ClassTemplateDecl owns a CommonPtr; read it to keep track of all of
1888     // the specializations.
1889     SmallVector<serialization::DeclID, 32> SpecIDs;
1890     ReadDeclIDList(SpecIDs);
1891 
1892     if (!SpecIDs.empty()) {
1893       auto *CommonPtr = D->getCommonPtr();
1894       CommonPtr->LazySpecializations = newDeclIDList(
1895           Reader.getContext(), CommonPtr->LazySpecializations, SpecIDs);
1896     }
1897   }
1898 
1899   if (D->getTemplatedDecl()->TemplateOrInstantiation) {
1900     // We were loaded before our templated declaration was. We've not set up
1901     // its corresponding type yet (see VisitCXXRecordDeclImpl), so reconstruct
1902     // it now.
1903     Reader.Context.getInjectedClassNameType(
1904         D->getTemplatedDecl(), D->getInjectedClassNameSpecialization());
1905   }
1906 }
1907 
1908 void ASTDeclReader::VisitBuiltinTemplateDecl(BuiltinTemplateDecl *D) {
1909   llvm_unreachable("BuiltinTemplates are not serialized");
1910 }
1911 
1912 /// TODO: Unify with ClassTemplateDecl version?
1913 ///       May require unifying ClassTemplateDecl and
1914 ///        VarTemplateDecl beyond TemplateDecl...
1915 void ASTDeclReader::VisitVarTemplateDecl(VarTemplateDecl *D) {
1916   RedeclarableResult Redecl = VisitRedeclarableTemplateDecl(D);
1917 
1918   if (ThisDeclID == Redecl.getFirstID()) {
1919     // This VarTemplateDecl owns a CommonPtr; read it to keep track of all of
1920     // the specializations.
1921     SmallVector<serialization::DeclID, 32> SpecIDs;
1922     ReadDeclIDList(SpecIDs);
1923 
1924     if (!SpecIDs.empty()) {
1925       auto *CommonPtr = D->getCommonPtr();
1926       CommonPtr->LazySpecializations = newDeclIDList(
1927           Reader.getContext(), CommonPtr->LazySpecializations, SpecIDs);
1928     }
1929   }
1930 }
1931 
1932 ASTDeclReader::RedeclarableResult
1933 ASTDeclReader::VisitClassTemplateSpecializationDeclImpl(
1934     ClassTemplateSpecializationDecl *D) {
1935   RedeclarableResult Redecl = VisitCXXRecordDeclImpl(D);
1936 
1937   ASTContext &C = Reader.getContext();
1938   if (Decl *InstD = ReadDecl(Record, Idx)) {
1939     if (ClassTemplateDecl *CTD = dyn_cast<ClassTemplateDecl>(InstD)) {
1940       D->SpecializedTemplate = CTD;
1941     } else {
1942       SmallVector<TemplateArgument, 8> TemplArgs;
1943       Reader.ReadTemplateArgumentList(TemplArgs, F, Record, Idx);
1944       TemplateArgumentList *ArgList
1945         = TemplateArgumentList::CreateCopy(C, TemplArgs.data(),
1946                                            TemplArgs.size());
1947       ClassTemplateSpecializationDecl::SpecializedPartialSpecialization *PS
1948           = new (C) ClassTemplateSpecializationDecl::
1949                                              SpecializedPartialSpecialization();
1950       PS->PartialSpecialization
1951           = cast<ClassTemplatePartialSpecializationDecl>(InstD);
1952       PS->TemplateArgs = ArgList;
1953       D->SpecializedTemplate = PS;
1954     }
1955   }
1956 
1957   SmallVector<TemplateArgument, 8> TemplArgs;
1958   Reader.ReadTemplateArgumentList(TemplArgs, F, Record, Idx,
1959                                   /*Canonicalize*/ true);
1960   D->TemplateArgs = TemplateArgumentList::CreateCopy(C, TemplArgs.data(),
1961                                                      TemplArgs.size());
1962   D->PointOfInstantiation = ReadSourceLocation(Record, Idx);
1963   D->SpecializationKind = (TemplateSpecializationKind)Record[Idx++];
1964 
1965   bool writtenAsCanonicalDecl = Record[Idx++];
1966   if (writtenAsCanonicalDecl) {
1967     ClassTemplateDecl *CanonPattern = ReadDeclAs<ClassTemplateDecl>(Record,Idx);
1968     if (D->isCanonicalDecl()) { // It's kept in the folding set.
1969       // Set this as, or find, the canonical declaration for this specialization
1970       ClassTemplateSpecializationDecl *CanonSpec;
1971       if (ClassTemplatePartialSpecializationDecl *Partial =
1972               dyn_cast<ClassTemplatePartialSpecializationDecl>(D)) {
1973         CanonSpec = CanonPattern->getCommonPtr()->PartialSpecializations
1974             .GetOrInsertNode(Partial);
1975       } else {
1976         CanonSpec =
1977             CanonPattern->getCommonPtr()->Specializations.GetOrInsertNode(D);
1978       }
1979       // If there was already a canonical specialization, merge into it.
1980       if (CanonSpec != D) {
1981         mergeRedeclarable<TagDecl>(D, CanonSpec, Redecl);
1982 
1983         // This declaration might be a definition. Merge with any existing
1984         // definition.
1985         if (auto *DDD = D->DefinitionData.getNotUpdated()) {
1986           if (CanonSpec->DefinitionData.getNotUpdated())
1987             MergeDefinitionData(CanonSpec, std::move(*DDD));
1988           else
1989             CanonSpec->DefinitionData = D->DefinitionData;
1990         }
1991         D->DefinitionData = CanonSpec->DefinitionData;
1992       }
1993     }
1994   }
1995 
1996   // Explicit info.
1997   if (TypeSourceInfo *TyInfo = GetTypeSourceInfo(Record, Idx)) {
1998     ClassTemplateSpecializationDecl::ExplicitSpecializationInfo *ExplicitInfo
1999         = new (C) ClassTemplateSpecializationDecl::ExplicitSpecializationInfo;
2000     ExplicitInfo->TypeAsWritten = TyInfo;
2001     ExplicitInfo->ExternLoc = ReadSourceLocation(Record, Idx);
2002     ExplicitInfo->TemplateKeywordLoc = ReadSourceLocation(Record, Idx);
2003     D->ExplicitInfo = ExplicitInfo;
2004   }
2005 
2006   return Redecl;
2007 }
2008 
2009 void ASTDeclReader::VisitClassTemplatePartialSpecializationDecl(
2010                                     ClassTemplatePartialSpecializationDecl *D) {
2011   RedeclarableResult Redecl = VisitClassTemplateSpecializationDeclImpl(D);
2012 
2013   D->TemplateParams = Reader.ReadTemplateParameterList(F, Record, Idx);
2014   D->ArgsAsWritten = Reader.ReadASTTemplateArgumentListInfo(F, Record, Idx);
2015 
2016   // These are read/set from/to the first declaration.
2017   if (ThisDeclID == Redecl.getFirstID()) {
2018     D->InstantiatedFromMember.setPointer(
2019       ReadDeclAs<ClassTemplatePartialSpecializationDecl>(Record, Idx));
2020     D->InstantiatedFromMember.setInt(Record[Idx++]);
2021   }
2022 }
2023 
2024 void ASTDeclReader::VisitClassScopeFunctionSpecializationDecl(
2025                                     ClassScopeFunctionSpecializationDecl *D) {
2026   VisitDecl(D);
2027   D->Specialization = ReadDeclAs<CXXMethodDecl>(Record, Idx);
2028 }
2029 
2030 void ASTDeclReader::VisitFunctionTemplateDecl(FunctionTemplateDecl *D) {
2031   RedeclarableResult Redecl = VisitRedeclarableTemplateDecl(D);
2032 
2033   if (ThisDeclID == Redecl.getFirstID()) {
2034     // This FunctionTemplateDecl owns a CommonPtr; read it.
2035     SmallVector<serialization::DeclID, 32> SpecIDs;
2036     ReadDeclIDList(SpecIDs);
2037 
2038     if (!SpecIDs.empty()) {
2039       auto *CommonPtr = D->getCommonPtr();
2040       CommonPtr->LazySpecializations = newDeclIDList(
2041           Reader.getContext(), CommonPtr->LazySpecializations, SpecIDs);
2042     }
2043   }
2044 }
2045 
2046 /// TODO: Unify with ClassTemplateSpecializationDecl version?
2047 ///       May require unifying ClassTemplate(Partial)SpecializationDecl and
2048 ///        VarTemplate(Partial)SpecializationDecl with a new data
2049 ///        structure Template(Partial)SpecializationDecl, and
2050 ///        using Template(Partial)SpecializationDecl as input type.
2051 ASTDeclReader::RedeclarableResult
2052 ASTDeclReader::VisitVarTemplateSpecializationDeclImpl(
2053     VarTemplateSpecializationDecl *D) {
2054   RedeclarableResult Redecl = VisitVarDeclImpl(D);
2055 
2056   ASTContext &C = Reader.getContext();
2057   if (Decl *InstD = ReadDecl(Record, Idx)) {
2058     if (VarTemplateDecl *VTD = dyn_cast<VarTemplateDecl>(InstD)) {
2059       D->SpecializedTemplate = VTD;
2060     } else {
2061       SmallVector<TemplateArgument, 8> TemplArgs;
2062       Reader.ReadTemplateArgumentList(TemplArgs, F, Record, Idx);
2063       TemplateArgumentList *ArgList = TemplateArgumentList::CreateCopy(
2064           C, TemplArgs.data(), TemplArgs.size());
2065       VarTemplateSpecializationDecl::SpecializedPartialSpecialization *PS =
2066           new (C)
2067           VarTemplateSpecializationDecl::SpecializedPartialSpecialization();
2068       PS->PartialSpecialization =
2069           cast<VarTemplatePartialSpecializationDecl>(InstD);
2070       PS->TemplateArgs = ArgList;
2071       D->SpecializedTemplate = PS;
2072     }
2073   }
2074 
2075   // Explicit info.
2076   if (TypeSourceInfo *TyInfo = GetTypeSourceInfo(Record, Idx)) {
2077     VarTemplateSpecializationDecl::ExplicitSpecializationInfo *ExplicitInfo =
2078         new (C) VarTemplateSpecializationDecl::ExplicitSpecializationInfo;
2079     ExplicitInfo->TypeAsWritten = TyInfo;
2080     ExplicitInfo->ExternLoc = ReadSourceLocation(Record, Idx);
2081     ExplicitInfo->TemplateKeywordLoc = ReadSourceLocation(Record, Idx);
2082     D->ExplicitInfo = ExplicitInfo;
2083   }
2084 
2085   SmallVector<TemplateArgument, 8> TemplArgs;
2086   Reader.ReadTemplateArgumentList(TemplArgs, F, Record, Idx,
2087                                   /*Canonicalize*/ true);
2088   D->TemplateArgs =
2089       TemplateArgumentList::CreateCopy(C, TemplArgs.data(), TemplArgs.size());
2090   D->PointOfInstantiation = ReadSourceLocation(Record, Idx);
2091   D->SpecializationKind = (TemplateSpecializationKind)Record[Idx++];
2092 
2093   bool writtenAsCanonicalDecl = Record[Idx++];
2094   if (writtenAsCanonicalDecl) {
2095     VarTemplateDecl *CanonPattern = ReadDeclAs<VarTemplateDecl>(Record, Idx);
2096     if (D->isCanonicalDecl()) { // It's kept in the folding set.
2097       // FIXME: If it's already present, merge it.
2098       if (VarTemplatePartialSpecializationDecl *Partial =
2099               dyn_cast<VarTemplatePartialSpecializationDecl>(D)) {
2100         CanonPattern->getCommonPtr()->PartialSpecializations
2101             .GetOrInsertNode(Partial);
2102       } else {
2103         CanonPattern->getCommonPtr()->Specializations.GetOrInsertNode(D);
2104       }
2105     }
2106   }
2107 
2108   return Redecl;
2109 }
2110 
2111 /// TODO: Unify with ClassTemplatePartialSpecializationDecl version?
2112 ///       May require unifying ClassTemplate(Partial)SpecializationDecl and
2113 ///        VarTemplate(Partial)SpecializationDecl with a new data
2114 ///        structure Template(Partial)SpecializationDecl, and
2115 ///        using Template(Partial)SpecializationDecl as input type.
2116 void ASTDeclReader::VisitVarTemplatePartialSpecializationDecl(
2117     VarTemplatePartialSpecializationDecl *D) {
2118   RedeclarableResult Redecl = VisitVarTemplateSpecializationDeclImpl(D);
2119 
2120   D->TemplateParams = Reader.ReadTemplateParameterList(F, Record, Idx);
2121   D->ArgsAsWritten = Reader.ReadASTTemplateArgumentListInfo(F, Record, Idx);
2122 
2123   // These are read/set from/to the first declaration.
2124   if (ThisDeclID == Redecl.getFirstID()) {
2125     D->InstantiatedFromMember.setPointer(
2126         ReadDeclAs<VarTemplatePartialSpecializationDecl>(Record, Idx));
2127     D->InstantiatedFromMember.setInt(Record[Idx++]);
2128   }
2129 }
2130 
2131 void ASTDeclReader::VisitTemplateTypeParmDecl(TemplateTypeParmDecl *D) {
2132   VisitTypeDecl(D);
2133 
2134   D->setDeclaredWithTypename(Record[Idx++]);
2135 
2136   if (Record[Idx++])
2137     D->setDefaultArgument(GetTypeSourceInfo(Record, Idx));
2138 }
2139 
2140 void ASTDeclReader::VisitNonTypeTemplateParmDecl(NonTypeTemplateParmDecl *D) {
2141   VisitDeclaratorDecl(D);
2142   // TemplateParmPosition.
2143   D->setDepth(Record[Idx++]);
2144   D->setPosition(Record[Idx++]);
2145   if (D->isExpandedParameterPack()) {
2146     auto TypesAndInfos =
2147         D->getTrailingObjects<std::pair<QualType, TypeSourceInfo *>>();
2148     for (unsigned I = 0, N = D->getNumExpansionTypes(); I != N; ++I) {
2149       new (&TypesAndInfos[I].first) QualType(Reader.readType(F, Record, Idx));
2150       TypesAndInfos[I].second = GetTypeSourceInfo(Record, Idx);
2151     }
2152   } else {
2153     // Rest of NonTypeTemplateParmDecl.
2154     D->ParameterPack = Record[Idx++];
2155     if (Record[Idx++])
2156       D->setDefaultArgument(Reader.ReadExpr(F));
2157   }
2158 }
2159 
2160 void ASTDeclReader::VisitTemplateTemplateParmDecl(TemplateTemplateParmDecl *D) {
2161   VisitTemplateDecl(D);
2162   // TemplateParmPosition.
2163   D->setDepth(Record[Idx++]);
2164   D->setPosition(Record[Idx++]);
2165   if (D->isExpandedParameterPack()) {
2166     TemplateParameterList **Data =
2167         D->getTrailingObjects<TemplateParameterList *>();
2168     for (unsigned I = 0, N = D->getNumExpansionTemplateParameters();
2169          I != N; ++I)
2170       Data[I] = Reader.ReadTemplateParameterList(F, Record, Idx);
2171   } else {
2172     // Rest of TemplateTemplateParmDecl.
2173     D->ParameterPack = Record[Idx++];
2174     if (Record[Idx++])
2175       D->setDefaultArgument(Reader.getContext(),
2176                             Reader.ReadTemplateArgumentLoc(F, Record, Idx));
2177   }
2178 }
2179 
2180 void ASTDeclReader::VisitTypeAliasTemplateDecl(TypeAliasTemplateDecl *D) {
2181   VisitRedeclarableTemplateDecl(D);
2182 }
2183 
2184 void ASTDeclReader::VisitStaticAssertDecl(StaticAssertDecl *D) {
2185   VisitDecl(D);
2186   D->AssertExprAndFailed.setPointer(Reader.ReadExpr(F));
2187   D->AssertExprAndFailed.setInt(Record[Idx++]);
2188   D->Message = cast<StringLiteral>(Reader.ReadExpr(F));
2189   D->RParenLoc = ReadSourceLocation(Record, Idx);
2190 }
2191 
2192 void ASTDeclReader::VisitEmptyDecl(EmptyDecl *D) {
2193   VisitDecl(D);
2194 }
2195 
2196 std::pair<uint64_t, uint64_t>
2197 ASTDeclReader::VisitDeclContext(DeclContext *DC) {
2198   uint64_t LexicalOffset = ReadLocalOffset(Record, Idx);
2199   uint64_t VisibleOffset = ReadLocalOffset(Record, Idx);
2200   return std::make_pair(LexicalOffset, VisibleOffset);
2201 }
2202 
2203 template <typename T>
2204 ASTDeclReader::RedeclarableResult
2205 ASTDeclReader::VisitRedeclarable(Redeclarable<T> *D) {
2206   DeclID FirstDeclID = ReadDeclID(Record, Idx);
2207   Decl *MergeWith = nullptr;
2208 
2209   bool IsKeyDecl = ThisDeclID == FirstDeclID;
2210   bool IsFirstLocalDecl = false;
2211 
2212   uint64_t RedeclOffset = 0;
2213 
2214   // 0 indicates that this declaration was the only declaration of its entity,
2215   // and is used for space optimization.
2216   if (FirstDeclID == 0) {
2217     FirstDeclID = ThisDeclID;
2218     IsKeyDecl = true;
2219     IsFirstLocalDecl = true;
2220   } else if (unsigned N = Record[Idx++]) {
2221     // This declaration was the first local declaration, but may have imported
2222     // other declarations.
2223     IsKeyDecl = N == 1;
2224     IsFirstLocalDecl = true;
2225 
2226     // We have some declarations that must be before us in our redeclaration
2227     // chain. Read them now, and remember that we ought to merge with one of
2228     // them.
2229     // FIXME: Provide a known merge target to the second and subsequent such
2230     // declaration.
2231     for (unsigned I = 0; I != N - 1; ++I)
2232       MergeWith = ReadDecl(Record, Idx/*, MergeWith*/);
2233 
2234     RedeclOffset = ReadLocalOffset(Record, Idx);
2235   } else {
2236     // This declaration was not the first local declaration. Read the first
2237     // local declaration now, to trigger the import of other redeclarations.
2238     (void)ReadDecl(Record, Idx);
2239   }
2240 
2241   T *FirstDecl = cast_or_null<T>(Reader.GetDecl(FirstDeclID));
2242   if (FirstDecl != D) {
2243     // We delay loading of the redeclaration chain to avoid deeply nested calls.
2244     // We temporarily set the first (canonical) declaration as the previous one
2245     // which is the one that matters and mark the real previous DeclID to be
2246     // loaded & attached later on.
2247     D->RedeclLink = Redeclarable<T>::PreviousDeclLink(FirstDecl);
2248     D->First = FirstDecl->getCanonicalDecl();
2249   }
2250 
2251   T *DAsT = static_cast<T*>(D);
2252 
2253   // Note that we need to load local redeclarations of this decl and build a
2254   // decl chain for them. This must happen *after* we perform the preloading
2255   // above; this ensures that the redeclaration chain is built in the correct
2256   // order.
2257   if (IsFirstLocalDecl)
2258     Reader.PendingDeclChains.push_back(std::make_pair(DAsT, RedeclOffset));
2259 
2260   return RedeclarableResult(FirstDeclID, MergeWith, IsKeyDecl);
2261 }
2262 
2263 /// \brief Attempts to merge the given declaration (D) with another declaration
2264 /// of the same entity.
2265 template<typename T>
2266 void ASTDeclReader::mergeRedeclarable(Redeclarable<T> *DBase,
2267                                       RedeclarableResult &Redecl,
2268                                       DeclID TemplatePatternID) {
2269   T *D = static_cast<T*>(DBase);
2270 
2271   // If modules are not available, there is no reason to perform this merge.
2272   if (!Reader.getContext().getLangOpts().Modules)
2273     return;
2274 
2275   // If we're not the canonical declaration, we don't need to merge.
2276   if (!DBase->isFirstDecl())
2277     return;
2278 
2279   if (auto *Existing = Redecl.getKnownMergeTarget())
2280     // We already know of an existing declaration we should merge with.
2281     mergeRedeclarable(D, cast<T>(Existing), Redecl, TemplatePatternID);
2282   else if (FindExistingResult ExistingRes = findExisting(D))
2283     if (T *Existing = ExistingRes)
2284       mergeRedeclarable(D, Existing, Redecl, TemplatePatternID);
2285 }
2286 
2287 /// \brief "Cast" to type T, asserting if we don't have an implicit conversion.
2288 /// We use this to put code in a template that will only be valid for certain
2289 /// instantiations.
2290 template<typename T> static T assert_cast(T t) { return t; }
2291 template<typename T> static T assert_cast(...) {
2292   llvm_unreachable("bad assert_cast");
2293 }
2294 
2295 /// \brief Merge together the pattern declarations from two template
2296 /// declarations.
2297 void ASTDeclReader::mergeTemplatePattern(RedeclarableTemplateDecl *D,
2298                                          RedeclarableTemplateDecl *Existing,
2299                                          DeclID DsID, bool IsKeyDecl) {
2300   auto *DPattern = D->getTemplatedDecl();
2301   auto *ExistingPattern = Existing->getTemplatedDecl();
2302   RedeclarableResult Result(DPattern->getCanonicalDecl()->getGlobalID(),
2303                             /*MergeWith*/ ExistingPattern, IsKeyDecl);
2304 
2305   if (auto *DClass = dyn_cast<CXXRecordDecl>(DPattern)) {
2306     // Merge with any existing definition.
2307     // FIXME: This is duplicated in several places. Refactor.
2308     auto *ExistingClass =
2309         cast<CXXRecordDecl>(ExistingPattern)->getCanonicalDecl();
2310     if (auto *DDD = DClass->DefinitionData.getNotUpdated()) {
2311       if (ExistingClass->DefinitionData.getNotUpdated()) {
2312         MergeDefinitionData(ExistingClass, std::move(*DDD));
2313       } else {
2314         ExistingClass->DefinitionData = DClass->DefinitionData;
2315         // We may have skipped this before because we thought that DClass
2316         // was the canonical declaration.
2317         Reader.PendingDefinitions.insert(DClass);
2318       }
2319     }
2320     DClass->DefinitionData = ExistingClass->DefinitionData;
2321 
2322     return mergeRedeclarable(DClass, cast<TagDecl>(ExistingPattern),
2323                              Result);
2324   }
2325   if (auto *DFunction = dyn_cast<FunctionDecl>(DPattern))
2326     return mergeRedeclarable(DFunction, cast<FunctionDecl>(ExistingPattern),
2327                              Result);
2328   if (auto *DVar = dyn_cast<VarDecl>(DPattern))
2329     return mergeRedeclarable(DVar, cast<VarDecl>(ExistingPattern), Result);
2330   if (auto *DAlias = dyn_cast<TypeAliasDecl>(DPattern))
2331     return mergeRedeclarable(DAlias, cast<TypedefNameDecl>(ExistingPattern),
2332                              Result);
2333   llvm_unreachable("merged an unknown kind of redeclarable template");
2334 }
2335 
2336 /// \brief Attempts to merge the given declaration (D) with another declaration
2337 /// of the same entity.
2338 template<typename T>
2339 void ASTDeclReader::mergeRedeclarable(Redeclarable<T> *DBase, T *Existing,
2340                                       RedeclarableResult &Redecl,
2341                                       DeclID TemplatePatternID) {
2342   T *D = static_cast<T*>(DBase);
2343   T *ExistingCanon = Existing->getCanonicalDecl();
2344   T *DCanon = D->getCanonicalDecl();
2345   if (ExistingCanon != DCanon) {
2346     assert(DCanon->getGlobalID() == Redecl.getFirstID() &&
2347            "already merged this declaration");
2348 
2349     // Have our redeclaration link point back at the canonical declaration
2350     // of the existing declaration, so that this declaration has the
2351     // appropriate canonical declaration.
2352     D->RedeclLink = Redeclarable<T>::PreviousDeclLink(ExistingCanon);
2353     D->First = ExistingCanon;
2354 
2355     // When we merge a namespace, update its pointer to the first namespace.
2356     // We cannot have loaded any redeclarations of this declaration yet, so
2357     // there's nothing else that needs to be updated.
2358     if (auto *Namespace = dyn_cast<NamespaceDecl>(D))
2359       Namespace->AnonOrFirstNamespaceAndInline.setPointer(
2360           assert_cast<NamespaceDecl*>(ExistingCanon));
2361 
2362     // When we merge a template, merge its pattern.
2363     if (auto *DTemplate = dyn_cast<RedeclarableTemplateDecl>(D))
2364       mergeTemplatePattern(
2365           DTemplate, assert_cast<RedeclarableTemplateDecl*>(ExistingCanon),
2366           TemplatePatternID, Redecl.isKeyDecl());
2367 
2368     // If this declaration is a key declaration, make a note of that.
2369     if (Redecl.isKeyDecl())
2370       Reader.KeyDecls[ExistingCanon].push_back(Redecl.getFirstID());
2371   }
2372 }
2373 
2374 /// \brief Attempts to merge the given declaration (D) with another declaration
2375 /// of the same entity, for the case where the entity is not actually
2376 /// redeclarable. This happens, for instance, when merging the fields of
2377 /// identical class definitions from two different modules.
2378 template<typename T>
2379 void ASTDeclReader::mergeMergeable(Mergeable<T> *D) {
2380   // If modules are not available, there is no reason to perform this merge.
2381   if (!Reader.getContext().getLangOpts().Modules)
2382     return;
2383 
2384   // ODR-based merging is only performed in C++. In C, identically-named things
2385   // in different translation units are not redeclarations (but may still have
2386   // compatible types).
2387   if (!Reader.getContext().getLangOpts().CPlusPlus)
2388     return;
2389 
2390   if (FindExistingResult ExistingRes = findExisting(static_cast<T*>(D)))
2391     if (T *Existing = ExistingRes)
2392       Reader.Context.setPrimaryMergedDecl(static_cast<T*>(D),
2393                                           Existing->getCanonicalDecl());
2394 }
2395 
2396 void ASTDeclReader::VisitOMPThreadPrivateDecl(OMPThreadPrivateDecl *D) {
2397   VisitDecl(D);
2398   unsigned NumVars = D->varlist_size();
2399   SmallVector<Expr *, 16> Vars;
2400   Vars.reserve(NumVars);
2401   for (unsigned i = 0; i != NumVars; ++i) {
2402     Vars.push_back(Reader.ReadExpr(F));
2403   }
2404   D->setVars(Vars);
2405 }
2406 
2407 void ASTDeclReader::VisitOMPDeclareReductionDecl(OMPDeclareReductionDecl *D) {
2408   VisitValueDecl(D);
2409   D->setLocation(Reader.ReadSourceLocation(F, Record, Idx));
2410   D->setCombiner(Reader.ReadExpr(F));
2411   D->setInitializer(Reader.ReadExpr(F));
2412   D->PrevDeclInScope = Reader.ReadDeclID(F, Record, Idx);
2413 }
2414 
2415 void ASTDeclReader::VisitOMPCapturedExprDecl(OMPCapturedExprDecl *D) {
2416   VisitVarDecl(D);
2417 }
2418 
2419 //===----------------------------------------------------------------------===//
2420 // Attribute Reading
2421 //===----------------------------------------------------------------------===//
2422 
2423 /// \brief Reads attributes from the current stream position.
2424 void ASTReader::ReadAttributes(ModuleFile &F, AttrVec &Attrs,
2425                                const RecordData &Record, unsigned &Idx) {
2426   for (unsigned i = 0, e = Record[Idx++]; i != e; ++i) {
2427     Attr *New = nullptr;
2428     attr::Kind Kind = (attr::Kind)Record[Idx++];
2429     SourceRange Range = ReadSourceRange(F, Record, Idx);
2430 
2431 #include "clang/Serialization/AttrPCHRead.inc"
2432 
2433     assert(New && "Unable to decode attribute?");
2434     Attrs.push_back(New);
2435   }
2436 }
2437 
2438 //===----------------------------------------------------------------------===//
2439 // ASTReader Implementation
2440 //===----------------------------------------------------------------------===//
2441 
2442 /// \brief Note that we have loaded the declaration with the given
2443 /// Index.
2444 ///
2445 /// This routine notes that this declaration has already been loaded,
2446 /// so that future GetDecl calls will return this declaration rather
2447 /// than trying to load a new declaration.
2448 inline void ASTReader::LoadedDecl(unsigned Index, Decl *D) {
2449   assert(!DeclsLoaded[Index] && "Decl loaded twice?");
2450   DeclsLoaded[Index] = D;
2451 }
2452 
2453 
2454 /// \brief Determine whether the consumer will be interested in seeing
2455 /// this declaration (via HandleTopLevelDecl).
2456 ///
2457 /// This routine should return true for anything that might affect
2458 /// code generation, e.g., inline function definitions, Objective-C
2459 /// declarations with metadata, etc.
2460 static bool isConsumerInterestedIn(Decl *D, bool HasBody) {
2461   // An ObjCMethodDecl is never considered as "interesting" because its
2462   // implementation container always is.
2463 
2464   if (isa<FileScopeAsmDecl>(D) ||
2465       isa<ObjCProtocolDecl>(D) ||
2466       isa<ObjCImplDecl>(D) ||
2467       isa<ImportDecl>(D) ||
2468       isa<PragmaCommentDecl>(D) ||
2469       isa<PragmaDetectMismatchDecl>(D))
2470     return true;
2471   if (isa<OMPThreadPrivateDecl>(D) || isa<OMPDeclareReductionDecl>(D))
2472     return !D->getDeclContext()->isFunctionOrMethod();
2473   if (VarDecl *Var = dyn_cast<VarDecl>(D))
2474     return Var->isFileVarDecl() &&
2475            Var->isThisDeclarationADefinition() == VarDecl::Definition;
2476   if (FunctionDecl *Func = dyn_cast<FunctionDecl>(D))
2477     return Func->doesThisDeclarationHaveABody() || HasBody;
2478 
2479   return false;
2480 }
2481 
2482 /// \brief Get the correct cursor and offset for loading a declaration.
2483 ASTReader::RecordLocation
2484 ASTReader::DeclCursorForID(DeclID ID, SourceLocation &Loc) {
2485   GlobalDeclMapType::iterator I = GlobalDeclMap.find(ID);
2486   assert(I != GlobalDeclMap.end() && "Corrupted global declaration map");
2487   ModuleFile *M = I->second;
2488   const DeclOffset &DOffs =
2489       M->DeclOffsets[ID - M->BaseDeclID - NUM_PREDEF_DECL_IDS];
2490   Loc = TranslateSourceLocation(*M, DOffs.getLocation());
2491   return RecordLocation(M, DOffs.BitOffset);
2492 }
2493 
2494 ASTReader::RecordLocation ASTReader::getLocalBitOffset(uint64_t GlobalOffset) {
2495   ContinuousRangeMap<uint64_t, ModuleFile*, 4>::iterator I
2496     = GlobalBitOffsetsMap.find(GlobalOffset);
2497 
2498   assert(I != GlobalBitOffsetsMap.end() && "Corrupted global bit offsets map");
2499   return RecordLocation(I->second, GlobalOffset - I->second->GlobalBitOffset);
2500 }
2501 
2502 uint64_t ASTReader::getGlobalBitOffset(ModuleFile &M, uint32_t LocalOffset) {
2503   return LocalOffset + M.GlobalBitOffset;
2504 }
2505 
2506 static bool isSameTemplateParameterList(const TemplateParameterList *X,
2507                                         const TemplateParameterList *Y);
2508 
2509 /// \brief Determine whether two template parameters are similar enough
2510 /// that they may be used in declarations of the same template.
2511 static bool isSameTemplateParameter(const NamedDecl *X,
2512                                     const NamedDecl *Y) {
2513   if (X->getKind() != Y->getKind())
2514     return false;
2515 
2516   if (const TemplateTypeParmDecl *TX = dyn_cast<TemplateTypeParmDecl>(X)) {
2517     const TemplateTypeParmDecl *TY = cast<TemplateTypeParmDecl>(Y);
2518     return TX->isParameterPack() == TY->isParameterPack();
2519   }
2520 
2521   if (const NonTypeTemplateParmDecl *TX = dyn_cast<NonTypeTemplateParmDecl>(X)) {
2522     const NonTypeTemplateParmDecl *TY = cast<NonTypeTemplateParmDecl>(Y);
2523     return TX->isParameterPack() == TY->isParameterPack() &&
2524            TX->getASTContext().hasSameType(TX->getType(), TY->getType());
2525   }
2526 
2527   const TemplateTemplateParmDecl *TX = cast<TemplateTemplateParmDecl>(X);
2528   const TemplateTemplateParmDecl *TY = cast<TemplateTemplateParmDecl>(Y);
2529   return TX->isParameterPack() == TY->isParameterPack() &&
2530          isSameTemplateParameterList(TX->getTemplateParameters(),
2531                                      TY->getTemplateParameters());
2532 }
2533 
2534 static NamespaceDecl *getNamespace(const NestedNameSpecifier *X) {
2535   if (auto *NS = X->getAsNamespace())
2536     return NS;
2537   if (auto *NAS = X->getAsNamespaceAlias())
2538     return NAS->getNamespace();
2539   return nullptr;
2540 }
2541 
2542 static bool isSameQualifier(const NestedNameSpecifier *X,
2543                             const NestedNameSpecifier *Y) {
2544   if (auto *NSX = getNamespace(X)) {
2545     auto *NSY = getNamespace(Y);
2546     if (!NSY || NSX->getCanonicalDecl() != NSY->getCanonicalDecl())
2547       return false;
2548   } else if (X->getKind() != Y->getKind())
2549     return false;
2550 
2551   // FIXME: For namespaces and types, we're permitted to check that the entity
2552   // is named via the same tokens. We should probably do so.
2553   switch (X->getKind()) {
2554   case NestedNameSpecifier::Identifier:
2555     if (X->getAsIdentifier() != Y->getAsIdentifier())
2556       return false;
2557     break;
2558   case NestedNameSpecifier::Namespace:
2559   case NestedNameSpecifier::NamespaceAlias:
2560     // We've already checked that we named the same namespace.
2561     break;
2562   case NestedNameSpecifier::TypeSpec:
2563   case NestedNameSpecifier::TypeSpecWithTemplate:
2564     if (X->getAsType()->getCanonicalTypeInternal() !=
2565         Y->getAsType()->getCanonicalTypeInternal())
2566       return false;
2567     break;
2568   case NestedNameSpecifier::Global:
2569   case NestedNameSpecifier::Super:
2570     return true;
2571   }
2572 
2573   // Recurse into earlier portion of NNS, if any.
2574   auto *PX = X->getPrefix();
2575   auto *PY = Y->getPrefix();
2576   if (PX && PY)
2577     return isSameQualifier(PX, PY);
2578   return !PX && !PY;
2579 }
2580 
2581 /// \brief Determine whether two template parameter lists are similar enough
2582 /// that they may be used in declarations of the same template.
2583 static bool isSameTemplateParameterList(const TemplateParameterList *X,
2584                                         const TemplateParameterList *Y) {
2585   if (X->size() != Y->size())
2586     return false;
2587 
2588   for (unsigned I = 0, N = X->size(); I != N; ++I)
2589     if (!isSameTemplateParameter(X->getParam(I), Y->getParam(I)))
2590       return false;
2591 
2592   return true;
2593 }
2594 
2595 /// \brief Determine whether the two declarations refer to the same entity.
2596 static bool isSameEntity(NamedDecl *X, NamedDecl *Y) {
2597   assert(X->getDeclName() == Y->getDeclName() && "Declaration name mismatch!");
2598 
2599   if (X == Y)
2600     return true;
2601 
2602   // Must be in the same context.
2603   if (!X->getDeclContext()->getRedeclContext()->Equals(
2604          Y->getDeclContext()->getRedeclContext()))
2605     return false;
2606 
2607   // Two typedefs refer to the same entity if they have the same underlying
2608   // type.
2609   if (TypedefNameDecl *TypedefX = dyn_cast<TypedefNameDecl>(X))
2610     if (TypedefNameDecl *TypedefY = dyn_cast<TypedefNameDecl>(Y))
2611       return X->getASTContext().hasSameType(TypedefX->getUnderlyingType(),
2612                                             TypedefY->getUnderlyingType());
2613 
2614   // Must have the same kind.
2615   if (X->getKind() != Y->getKind())
2616     return false;
2617 
2618   // Objective-C classes and protocols with the same name always match.
2619   if (isa<ObjCInterfaceDecl>(X) || isa<ObjCProtocolDecl>(X))
2620     return true;
2621 
2622   if (isa<ClassTemplateSpecializationDecl>(X)) {
2623     // No need to handle these here: we merge them when adding them to the
2624     // template.
2625     return false;
2626   }
2627 
2628   // Compatible tags match.
2629   if (TagDecl *TagX = dyn_cast<TagDecl>(X)) {
2630     TagDecl *TagY = cast<TagDecl>(Y);
2631     return (TagX->getTagKind() == TagY->getTagKind()) ||
2632       ((TagX->getTagKind() == TTK_Struct || TagX->getTagKind() == TTK_Class ||
2633         TagX->getTagKind() == TTK_Interface) &&
2634        (TagY->getTagKind() == TTK_Struct || TagY->getTagKind() == TTK_Class ||
2635         TagY->getTagKind() == TTK_Interface));
2636   }
2637 
2638   // Functions with the same type and linkage match.
2639   // FIXME: This needs to cope with merging of prototyped/non-prototyped
2640   // functions, etc.
2641   if (FunctionDecl *FuncX = dyn_cast<FunctionDecl>(X)) {
2642     FunctionDecl *FuncY = cast<FunctionDecl>(Y);
2643     return (FuncX->getLinkageInternal() == FuncY->getLinkageInternal()) &&
2644       FuncX->getASTContext().hasSameType(FuncX->getType(), FuncY->getType());
2645   }
2646 
2647   // Variables with the same type and linkage match.
2648   if (VarDecl *VarX = dyn_cast<VarDecl>(X)) {
2649     VarDecl *VarY = cast<VarDecl>(Y);
2650     if (VarX->getLinkageInternal() == VarY->getLinkageInternal()) {
2651       ASTContext &C = VarX->getASTContext();
2652       if (C.hasSameType(VarX->getType(), VarY->getType()))
2653         return true;
2654 
2655       // We can get decls with different types on the redecl chain. Eg.
2656       // template <typename T> struct S { static T Var[]; }; // #1
2657       // template <typename T> T S<T>::Var[sizeof(T)]; // #2
2658       // Only? happens when completing an incomplete array type. In this case
2659       // when comparing #1 and #2 we should go through their element type.
2660       const ArrayType *VarXTy = C.getAsArrayType(VarX->getType());
2661       const ArrayType *VarYTy = C.getAsArrayType(VarY->getType());
2662       if (!VarXTy || !VarYTy)
2663         return false;
2664       if (VarXTy->isIncompleteArrayType() || VarYTy->isIncompleteArrayType())
2665         return C.hasSameType(VarXTy->getElementType(), VarYTy->getElementType());
2666     }
2667     return false;
2668   }
2669 
2670   // Namespaces with the same name and inlinedness match.
2671   if (NamespaceDecl *NamespaceX = dyn_cast<NamespaceDecl>(X)) {
2672     NamespaceDecl *NamespaceY = cast<NamespaceDecl>(Y);
2673     return NamespaceX->isInline() == NamespaceY->isInline();
2674   }
2675 
2676   // Identical template names and kinds match if their template parameter lists
2677   // and patterns match.
2678   if (TemplateDecl *TemplateX = dyn_cast<TemplateDecl>(X)) {
2679     TemplateDecl *TemplateY = cast<TemplateDecl>(Y);
2680     return isSameEntity(TemplateX->getTemplatedDecl(),
2681                         TemplateY->getTemplatedDecl()) &&
2682            isSameTemplateParameterList(TemplateX->getTemplateParameters(),
2683                                        TemplateY->getTemplateParameters());
2684   }
2685 
2686   // Fields with the same name and the same type match.
2687   if (FieldDecl *FDX = dyn_cast<FieldDecl>(X)) {
2688     FieldDecl *FDY = cast<FieldDecl>(Y);
2689     // FIXME: Also check the bitwidth is odr-equivalent, if any.
2690     return X->getASTContext().hasSameType(FDX->getType(), FDY->getType());
2691   }
2692 
2693   // Indirect fields with the same target field match.
2694   if (auto *IFDX = dyn_cast<IndirectFieldDecl>(X)) {
2695     auto *IFDY = cast<IndirectFieldDecl>(Y);
2696     return IFDX->getAnonField()->getCanonicalDecl() ==
2697            IFDY->getAnonField()->getCanonicalDecl();
2698   }
2699 
2700   // Enumerators with the same name match.
2701   if (isa<EnumConstantDecl>(X))
2702     // FIXME: Also check the value is odr-equivalent.
2703     return true;
2704 
2705   // Using shadow declarations with the same target match.
2706   if (UsingShadowDecl *USX = dyn_cast<UsingShadowDecl>(X)) {
2707     UsingShadowDecl *USY = cast<UsingShadowDecl>(Y);
2708     return USX->getTargetDecl() == USY->getTargetDecl();
2709   }
2710 
2711   // Using declarations with the same qualifier match. (We already know that
2712   // the name matches.)
2713   if (auto *UX = dyn_cast<UsingDecl>(X)) {
2714     auto *UY = cast<UsingDecl>(Y);
2715     return isSameQualifier(UX->getQualifier(), UY->getQualifier()) &&
2716            UX->hasTypename() == UY->hasTypename() &&
2717            UX->isAccessDeclaration() == UY->isAccessDeclaration();
2718   }
2719   if (auto *UX = dyn_cast<UnresolvedUsingValueDecl>(X)) {
2720     auto *UY = cast<UnresolvedUsingValueDecl>(Y);
2721     return isSameQualifier(UX->getQualifier(), UY->getQualifier()) &&
2722            UX->isAccessDeclaration() == UY->isAccessDeclaration();
2723   }
2724   if (auto *UX = dyn_cast<UnresolvedUsingTypenameDecl>(X))
2725     return isSameQualifier(
2726         UX->getQualifier(),
2727         cast<UnresolvedUsingTypenameDecl>(Y)->getQualifier());
2728 
2729   // Namespace alias definitions with the same target match.
2730   if (auto *NAX = dyn_cast<NamespaceAliasDecl>(X)) {
2731     auto *NAY = cast<NamespaceAliasDecl>(Y);
2732     return NAX->getNamespace()->Equals(NAY->getNamespace());
2733   }
2734 
2735   return false;
2736 }
2737 
2738 /// Find the context in which we should search for previous declarations when
2739 /// looking for declarations to merge.
2740 DeclContext *ASTDeclReader::getPrimaryContextForMerging(ASTReader &Reader,
2741                                                         DeclContext *DC) {
2742   if (NamespaceDecl *ND = dyn_cast<NamespaceDecl>(DC))
2743     return ND->getOriginalNamespace();
2744 
2745   if (CXXRecordDecl *RD = dyn_cast<CXXRecordDecl>(DC)) {
2746     // Try to dig out the definition.
2747     auto *DD = RD->DefinitionData.getNotUpdated();
2748     if (!DD)
2749       DD = RD->getCanonicalDecl()->DefinitionData.getNotUpdated();
2750 
2751     // If there's no definition yet, then DC's definition is added by an update
2752     // record, but we've not yet loaded that update record. In this case, we
2753     // commit to DC being the canonical definition now, and will fix this when
2754     // we load the update record.
2755     if (!DD) {
2756       DD = new (Reader.Context) struct CXXRecordDecl::DefinitionData(RD);
2757       RD->IsCompleteDefinition = true;
2758       RD->DefinitionData = DD;
2759       RD->getCanonicalDecl()->DefinitionData = DD;
2760 
2761       // Track that we did this horrible thing so that we can fix it later.
2762       Reader.PendingFakeDefinitionData.insert(
2763           std::make_pair(DD, ASTReader::PendingFakeDefinitionKind::Fake));
2764     }
2765 
2766     return DD->Definition;
2767   }
2768 
2769   if (EnumDecl *ED = dyn_cast<EnumDecl>(DC))
2770     return ED->getASTContext().getLangOpts().CPlusPlus? ED->getDefinition()
2771                                                       : nullptr;
2772 
2773   // We can see the TU here only if we have no Sema object. In that case,
2774   // there's no TU scope to look in, so using the DC alone is sufficient.
2775   if (auto *TU = dyn_cast<TranslationUnitDecl>(DC))
2776     return TU;
2777 
2778   return nullptr;
2779 }
2780 
2781 ASTDeclReader::FindExistingResult::~FindExistingResult() {
2782   // Record that we had a typedef name for linkage whether or not we merge
2783   // with that declaration.
2784   if (TypedefNameForLinkage) {
2785     DeclContext *DC = New->getDeclContext()->getRedeclContext();
2786     Reader.ImportedTypedefNamesForLinkage.insert(
2787         std::make_pair(std::make_pair(DC, TypedefNameForLinkage), New));
2788     return;
2789   }
2790 
2791   if (!AddResult || Existing)
2792     return;
2793 
2794   DeclarationName Name = New->getDeclName();
2795   DeclContext *DC = New->getDeclContext()->getRedeclContext();
2796   if (needsAnonymousDeclarationNumber(New)) {
2797     setAnonymousDeclForMerging(Reader, New->getLexicalDeclContext(),
2798                                AnonymousDeclNumber, New);
2799   } else if (DC->isTranslationUnit() && Reader.SemaObj &&
2800              !Reader.getContext().getLangOpts().CPlusPlus) {
2801     if (Reader.SemaObj->IdResolver.tryAddTopLevelDecl(New, Name))
2802       Reader.PendingFakeLookupResults[Name.getAsIdentifierInfo()]
2803             .push_back(New);
2804   } else if (DeclContext *MergeDC = getPrimaryContextForMerging(Reader, DC)) {
2805     // Add the declaration to its redeclaration context so later merging
2806     // lookups will find it.
2807     MergeDC->makeDeclVisibleInContextImpl(New, /*Internal*/true);
2808   }
2809 }
2810 
2811 /// Find the declaration that should be merged into, given the declaration found
2812 /// by name lookup. If we're merging an anonymous declaration within a typedef,
2813 /// we need a matching typedef, and we merge with the type inside it.
2814 static NamedDecl *getDeclForMerging(NamedDecl *Found,
2815                                     bool IsTypedefNameForLinkage) {
2816   if (!IsTypedefNameForLinkage)
2817     return Found;
2818 
2819   // If we found a typedef declaration that gives a name to some other
2820   // declaration, then we want that inner declaration. Declarations from
2821   // AST files are handled via ImportedTypedefNamesForLinkage.
2822   if (Found->isFromASTFile())
2823     return nullptr;
2824 
2825   if (auto *TND = dyn_cast<TypedefNameDecl>(Found))
2826     return TND->getAnonDeclWithTypedefName();
2827 
2828   return nullptr;
2829 }
2830 
2831 NamedDecl *ASTDeclReader::getAnonymousDeclForMerging(ASTReader &Reader,
2832                                                      DeclContext *DC,
2833                                                      unsigned Index) {
2834   // If the lexical context has been merged, look into the now-canonical
2835   // definition.
2836   if (auto *Merged = Reader.MergedDeclContexts.lookup(DC))
2837     DC = Merged;
2838 
2839   // If we've seen this before, return the canonical declaration.
2840   auto &Previous = Reader.AnonymousDeclarationsForMerging[DC];
2841   if (Index < Previous.size() && Previous[Index])
2842     return Previous[Index];
2843 
2844   // If this is the first time, but we have parsed a declaration of the context,
2845   // build the anonymous declaration list from the parsed declaration.
2846   if (!cast<Decl>(DC)->isFromASTFile()) {
2847     numberAnonymousDeclsWithin(DC, [&](NamedDecl *ND, unsigned Number) {
2848       if (Previous.size() == Number)
2849         Previous.push_back(cast<NamedDecl>(ND->getCanonicalDecl()));
2850       else
2851         Previous[Number] = cast<NamedDecl>(ND->getCanonicalDecl());
2852     });
2853   }
2854 
2855   return Index < Previous.size() ? Previous[Index] : nullptr;
2856 }
2857 
2858 void ASTDeclReader::setAnonymousDeclForMerging(ASTReader &Reader,
2859                                                DeclContext *DC, unsigned Index,
2860                                                NamedDecl *D) {
2861   if (auto *Merged = Reader.MergedDeclContexts.lookup(DC))
2862     DC = Merged;
2863 
2864   auto &Previous = Reader.AnonymousDeclarationsForMerging[DC];
2865   if (Index >= Previous.size())
2866     Previous.resize(Index + 1);
2867   if (!Previous[Index])
2868     Previous[Index] = D;
2869 }
2870 
2871 ASTDeclReader::FindExistingResult ASTDeclReader::findExisting(NamedDecl *D) {
2872   DeclarationName Name = TypedefNameForLinkage ? TypedefNameForLinkage
2873                                                : D->getDeclName();
2874 
2875   if (!Name && !needsAnonymousDeclarationNumber(D)) {
2876     // Don't bother trying to find unnamed declarations that are in
2877     // unmergeable contexts.
2878     FindExistingResult Result(Reader, D, /*Existing=*/nullptr,
2879                               AnonymousDeclNumber, TypedefNameForLinkage);
2880     Result.suppress();
2881     return Result;
2882   }
2883 
2884   DeclContext *DC = D->getDeclContext()->getRedeclContext();
2885   if (TypedefNameForLinkage) {
2886     auto It = Reader.ImportedTypedefNamesForLinkage.find(
2887         std::make_pair(DC, TypedefNameForLinkage));
2888     if (It != Reader.ImportedTypedefNamesForLinkage.end())
2889       if (isSameEntity(It->second, D))
2890         return FindExistingResult(Reader, D, It->second, AnonymousDeclNumber,
2891                                   TypedefNameForLinkage);
2892     // Go on to check in other places in case an existing typedef name
2893     // was not imported.
2894   }
2895 
2896   if (needsAnonymousDeclarationNumber(D)) {
2897     // This is an anonymous declaration that we may need to merge. Look it up
2898     // in its context by number.
2899     if (auto *Existing = getAnonymousDeclForMerging(
2900             Reader, D->getLexicalDeclContext(), AnonymousDeclNumber))
2901       if (isSameEntity(Existing, D))
2902         return FindExistingResult(Reader, D, Existing, AnonymousDeclNumber,
2903                                   TypedefNameForLinkage);
2904   } else if (DC->isTranslationUnit() && Reader.SemaObj &&
2905              !Reader.getContext().getLangOpts().CPlusPlus) {
2906     IdentifierResolver &IdResolver = Reader.SemaObj->IdResolver;
2907 
2908     // Temporarily consider the identifier to be up-to-date. We don't want to
2909     // cause additional lookups here.
2910     class UpToDateIdentifierRAII {
2911       IdentifierInfo *II;
2912       bool WasOutToDate;
2913 
2914     public:
2915       explicit UpToDateIdentifierRAII(IdentifierInfo *II)
2916         : II(II), WasOutToDate(false)
2917       {
2918         if (II) {
2919           WasOutToDate = II->isOutOfDate();
2920           if (WasOutToDate)
2921             II->setOutOfDate(false);
2922         }
2923       }
2924 
2925       ~UpToDateIdentifierRAII() {
2926         if (WasOutToDate)
2927           II->setOutOfDate(true);
2928       }
2929     } UpToDate(Name.getAsIdentifierInfo());
2930 
2931     for (IdentifierResolver::iterator I = IdResolver.begin(Name),
2932                                    IEnd = IdResolver.end();
2933          I != IEnd; ++I) {
2934       if (NamedDecl *Existing = getDeclForMerging(*I, TypedefNameForLinkage))
2935         if (isSameEntity(Existing, D))
2936           return FindExistingResult(Reader, D, Existing, AnonymousDeclNumber,
2937                                     TypedefNameForLinkage);
2938     }
2939   } else if (DeclContext *MergeDC = getPrimaryContextForMerging(Reader, DC)) {
2940     DeclContext::lookup_result R = MergeDC->noload_lookup(Name);
2941     for (DeclContext::lookup_iterator I = R.begin(), E = R.end(); I != E; ++I) {
2942       if (NamedDecl *Existing = getDeclForMerging(*I, TypedefNameForLinkage))
2943         if (isSameEntity(Existing, D))
2944           return FindExistingResult(Reader, D, Existing, AnonymousDeclNumber,
2945                                     TypedefNameForLinkage);
2946     }
2947   } else {
2948     // Not in a mergeable context.
2949     return FindExistingResult(Reader);
2950   }
2951 
2952   // If this declaration is from a merged context, make a note that we need to
2953   // check that the canonical definition of that context contains the decl.
2954   //
2955   // FIXME: We should do something similar if we merge two definitions of the
2956   // same template specialization into the same CXXRecordDecl.
2957   auto MergedDCIt = Reader.MergedDeclContexts.find(D->getLexicalDeclContext());
2958   if (MergedDCIt != Reader.MergedDeclContexts.end() &&
2959       MergedDCIt->second == D->getDeclContext())
2960     Reader.PendingOdrMergeChecks.push_back(D);
2961 
2962   return FindExistingResult(Reader, D, /*Existing=*/nullptr,
2963                             AnonymousDeclNumber, TypedefNameForLinkage);
2964 }
2965 
2966 template<typename DeclT>
2967 Decl *ASTDeclReader::getMostRecentDeclImpl(Redeclarable<DeclT> *D) {
2968   return D->RedeclLink.getLatestNotUpdated();
2969 }
2970 Decl *ASTDeclReader::getMostRecentDeclImpl(...) {
2971   llvm_unreachable("getMostRecentDecl on non-redeclarable declaration");
2972 }
2973 
2974 Decl *ASTDeclReader::getMostRecentDecl(Decl *D) {
2975   assert(D);
2976 
2977   switch (D->getKind()) {
2978 #define ABSTRACT_DECL(TYPE)
2979 #define DECL(TYPE, BASE)                               \
2980   case Decl::TYPE:                                     \
2981     return getMostRecentDeclImpl(cast<TYPE##Decl>(D));
2982 #include "clang/AST/DeclNodes.inc"
2983   }
2984   llvm_unreachable("unknown decl kind");
2985 }
2986 
2987 Decl *ASTReader::getMostRecentExistingDecl(Decl *D) {
2988   return ASTDeclReader::getMostRecentDecl(D->getCanonicalDecl());
2989 }
2990 
2991 template<typename DeclT>
2992 void ASTDeclReader::attachPreviousDeclImpl(ASTReader &Reader,
2993                                            Redeclarable<DeclT> *D,
2994                                            Decl *Previous, Decl *Canon) {
2995   D->RedeclLink.setPrevious(cast<DeclT>(Previous));
2996   D->First = cast<DeclT>(Previous)->First;
2997 }
2998 
2999 namespace clang {
3000 template<>
3001 void ASTDeclReader::attachPreviousDeclImpl(ASTReader &Reader,
3002                                            Redeclarable<FunctionDecl> *D,
3003                                            Decl *Previous, Decl *Canon) {
3004   FunctionDecl *FD = static_cast<FunctionDecl*>(D);
3005   FunctionDecl *PrevFD = cast<FunctionDecl>(Previous);
3006 
3007   FD->RedeclLink.setPrevious(PrevFD);
3008   FD->First = PrevFD->First;
3009 
3010   // If the previous declaration is an inline function declaration, then this
3011   // declaration is too.
3012   if (PrevFD->IsInline != FD->IsInline) {
3013     // FIXME: [dcl.fct.spec]p4:
3014     //   If a function with external linkage is declared inline in one
3015     //   translation unit, it shall be declared inline in all translation
3016     //   units in which it appears.
3017     //
3018     // Be careful of this case:
3019     //
3020     // module A:
3021     //   template<typename T> struct X { void f(); };
3022     //   template<typename T> inline void X<T>::f() {}
3023     //
3024     // module B instantiates the declaration of X<int>::f
3025     // module C instantiates the definition of X<int>::f
3026     //
3027     // If module B and C are merged, we do not have a violation of this rule.
3028     FD->IsInline = true;
3029   }
3030 
3031   // If we need to propagate an exception specification along the redecl
3032   // chain, make a note of that so that we can do so later.
3033   auto *FPT = FD->getType()->getAs<FunctionProtoType>();
3034   auto *PrevFPT = PrevFD->getType()->getAs<FunctionProtoType>();
3035   if (FPT && PrevFPT) {
3036     bool IsUnresolved = isUnresolvedExceptionSpec(FPT->getExceptionSpecType());
3037     bool WasUnresolved =
3038         isUnresolvedExceptionSpec(PrevFPT->getExceptionSpecType());
3039     if (IsUnresolved != WasUnresolved)
3040       Reader.PendingExceptionSpecUpdates.insert(
3041           std::make_pair(Canon, IsUnresolved ? PrevFD : FD));
3042   }
3043 }
3044 } // end namespace clang
3045 
3046 void ASTDeclReader::attachPreviousDeclImpl(ASTReader &Reader, ...) {
3047   llvm_unreachable("attachPreviousDecl on non-redeclarable declaration");
3048 }
3049 
3050 /// Inherit the default template argument from \p From to \p To. Returns
3051 /// \c false if there is no default template for \p From.
3052 template <typename ParmDecl>
3053 static bool inheritDefaultTemplateArgument(ASTContext &Context, ParmDecl *From,
3054                                            Decl *ToD) {
3055   auto *To = cast<ParmDecl>(ToD);
3056   if (!From->hasDefaultArgument())
3057     return false;
3058   To->setInheritedDefaultArgument(Context, From);
3059   return true;
3060 }
3061 
3062 static void inheritDefaultTemplateArguments(ASTContext &Context,
3063                                             TemplateDecl *From,
3064                                             TemplateDecl *To) {
3065   auto *FromTP = From->getTemplateParameters();
3066   auto *ToTP = To->getTemplateParameters();
3067   assert(FromTP->size() == ToTP->size() && "merged mismatched templates?");
3068 
3069   for (unsigned I = 0, N = FromTP->size(); I != N; ++I) {
3070     NamedDecl *FromParam = FromTP->getParam(N - I - 1);
3071     if (FromParam->isParameterPack())
3072       continue;
3073     NamedDecl *ToParam = ToTP->getParam(N - I - 1);
3074 
3075     if (auto *FTTP = dyn_cast<TemplateTypeParmDecl>(FromParam)) {
3076       if (!inheritDefaultTemplateArgument(Context, FTTP, ToParam))
3077         break;
3078     } else if (auto *FNTTP = dyn_cast<NonTypeTemplateParmDecl>(FromParam)) {
3079       if (!inheritDefaultTemplateArgument(Context, FNTTP, ToParam))
3080         break;
3081     } else {
3082       if (!inheritDefaultTemplateArgument(
3083               Context, cast<TemplateTemplateParmDecl>(FromParam), ToParam))
3084         break;
3085     }
3086   }
3087 }
3088 
3089 void ASTDeclReader::attachPreviousDecl(ASTReader &Reader, Decl *D,
3090                                        Decl *Previous, Decl *Canon) {
3091   assert(D && Previous);
3092 
3093   switch (D->getKind()) {
3094 #define ABSTRACT_DECL(TYPE)
3095 #define DECL(TYPE, BASE)                                                  \
3096   case Decl::TYPE:                                                        \
3097     attachPreviousDeclImpl(Reader, cast<TYPE##Decl>(D), Previous, Canon); \
3098     break;
3099 #include "clang/AST/DeclNodes.inc"
3100   }
3101 
3102   // If the declaration was visible in one module, a redeclaration of it in
3103   // another module remains visible even if it wouldn't be visible by itself.
3104   //
3105   // FIXME: In this case, the declaration should only be visible if a module
3106   //        that makes it visible has been imported.
3107   D->IdentifierNamespace |=
3108       Previous->IdentifierNamespace &
3109       (Decl::IDNS_Ordinary | Decl::IDNS_Tag | Decl::IDNS_Type);
3110 
3111   // If the previous declaration is marked as used, then this declaration should
3112   // be too.
3113   if (Previous->Used)
3114     D->Used = true;
3115 
3116   // If the declaration declares a template, it may inherit default arguments
3117   // from the previous declaration.
3118   if (TemplateDecl *TD = dyn_cast<TemplateDecl>(D))
3119     inheritDefaultTemplateArguments(Reader.getContext(),
3120                                     cast<TemplateDecl>(Previous), TD);
3121 }
3122 
3123 template<typename DeclT>
3124 void ASTDeclReader::attachLatestDeclImpl(Redeclarable<DeclT> *D, Decl *Latest) {
3125   D->RedeclLink.setLatest(cast<DeclT>(Latest));
3126 }
3127 void ASTDeclReader::attachLatestDeclImpl(...) {
3128   llvm_unreachable("attachLatestDecl on non-redeclarable declaration");
3129 }
3130 
3131 void ASTDeclReader::attachLatestDecl(Decl *D, Decl *Latest) {
3132   assert(D && Latest);
3133 
3134   switch (D->getKind()) {
3135 #define ABSTRACT_DECL(TYPE)
3136 #define DECL(TYPE, BASE)                                  \
3137   case Decl::TYPE:                                        \
3138     attachLatestDeclImpl(cast<TYPE##Decl>(D), Latest); \
3139     break;
3140 #include "clang/AST/DeclNodes.inc"
3141   }
3142 }
3143 
3144 template<typename DeclT>
3145 void ASTDeclReader::markIncompleteDeclChainImpl(Redeclarable<DeclT> *D) {
3146   D->RedeclLink.markIncomplete();
3147 }
3148 void ASTDeclReader::markIncompleteDeclChainImpl(...) {
3149   llvm_unreachable("markIncompleteDeclChain on non-redeclarable declaration");
3150 }
3151 
3152 void ASTReader::markIncompleteDeclChain(Decl *D) {
3153   switch (D->getKind()) {
3154 #define ABSTRACT_DECL(TYPE)
3155 #define DECL(TYPE, BASE)                                             \
3156   case Decl::TYPE:                                                   \
3157     ASTDeclReader::markIncompleteDeclChainImpl(cast<TYPE##Decl>(D)); \
3158     break;
3159 #include "clang/AST/DeclNodes.inc"
3160   }
3161 }
3162 
3163 /// \brief Read the declaration at the given offset from the AST file.
3164 Decl *ASTReader::ReadDeclRecord(DeclID ID) {
3165   unsigned Index = ID - NUM_PREDEF_DECL_IDS;
3166   SourceLocation DeclLoc;
3167   RecordLocation Loc = DeclCursorForID(ID, DeclLoc);
3168   llvm::BitstreamCursor &DeclsCursor = Loc.F->DeclsCursor;
3169   // Keep track of where we are in the stream, then jump back there
3170   // after reading this declaration.
3171   SavedStreamPosition SavedPosition(DeclsCursor);
3172 
3173   ReadingKindTracker ReadingKind(Read_Decl, *this);
3174 
3175   // Note that we are loading a declaration record.
3176   Deserializing ADecl(this);
3177 
3178   DeclsCursor.JumpToBit(Loc.Offset);
3179   RecordData Record;
3180   unsigned Code = DeclsCursor.ReadCode();
3181   unsigned Idx = 0;
3182   ASTDeclReader Reader(*this, Loc, ID, DeclLoc, Record,Idx);
3183 
3184   Decl *D = nullptr;
3185   switch ((DeclCode)DeclsCursor.readRecord(Code, Record)) {
3186   case DECL_CONTEXT_LEXICAL:
3187   case DECL_CONTEXT_VISIBLE:
3188     llvm_unreachable("Record cannot be de-serialized with ReadDeclRecord");
3189   case DECL_TYPEDEF:
3190     D = TypedefDecl::CreateDeserialized(Context, ID);
3191     break;
3192   case DECL_TYPEALIAS:
3193     D = TypeAliasDecl::CreateDeserialized(Context, ID);
3194     break;
3195   case DECL_ENUM:
3196     D = EnumDecl::CreateDeserialized(Context, ID);
3197     break;
3198   case DECL_RECORD:
3199     D = RecordDecl::CreateDeserialized(Context, ID);
3200     break;
3201   case DECL_ENUM_CONSTANT:
3202     D = EnumConstantDecl::CreateDeserialized(Context, ID);
3203     break;
3204   case DECL_FUNCTION:
3205     D = FunctionDecl::CreateDeserialized(Context, ID);
3206     break;
3207   case DECL_LINKAGE_SPEC:
3208     D = LinkageSpecDecl::CreateDeserialized(Context, ID);
3209     break;
3210   case DECL_LABEL:
3211     D = LabelDecl::CreateDeserialized(Context, ID);
3212     break;
3213   case DECL_NAMESPACE:
3214     D = NamespaceDecl::CreateDeserialized(Context, ID);
3215     break;
3216   case DECL_NAMESPACE_ALIAS:
3217     D = NamespaceAliasDecl::CreateDeserialized(Context, ID);
3218     break;
3219   case DECL_USING:
3220     D = UsingDecl::CreateDeserialized(Context, ID);
3221     break;
3222   case DECL_USING_SHADOW:
3223     D = UsingShadowDecl::CreateDeserialized(Context, ID);
3224     break;
3225   case DECL_USING_DIRECTIVE:
3226     D = UsingDirectiveDecl::CreateDeserialized(Context, ID);
3227     break;
3228   case DECL_UNRESOLVED_USING_VALUE:
3229     D = UnresolvedUsingValueDecl::CreateDeserialized(Context, ID);
3230     break;
3231   case DECL_UNRESOLVED_USING_TYPENAME:
3232     D = UnresolvedUsingTypenameDecl::CreateDeserialized(Context, ID);
3233     break;
3234   case DECL_CXX_RECORD:
3235     D = CXXRecordDecl::CreateDeserialized(Context, ID);
3236     break;
3237   case DECL_CXX_METHOD:
3238     D = CXXMethodDecl::CreateDeserialized(Context, ID);
3239     break;
3240   case DECL_CXX_CONSTRUCTOR:
3241     D = CXXConstructorDecl::CreateDeserialized(Context, ID);
3242     break;
3243   case DECL_CXX_DESTRUCTOR:
3244     D = CXXDestructorDecl::CreateDeserialized(Context, ID);
3245     break;
3246   case DECL_CXX_CONVERSION:
3247     D = CXXConversionDecl::CreateDeserialized(Context, ID);
3248     break;
3249   case DECL_ACCESS_SPEC:
3250     D = AccessSpecDecl::CreateDeserialized(Context, ID);
3251     break;
3252   case DECL_FRIEND:
3253     D = FriendDecl::CreateDeserialized(Context, ID, Record[Idx++]);
3254     break;
3255   case DECL_FRIEND_TEMPLATE:
3256     D = FriendTemplateDecl::CreateDeserialized(Context, ID);
3257     break;
3258   case DECL_CLASS_TEMPLATE:
3259     D = ClassTemplateDecl::CreateDeserialized(Context, ID);
3260     break;
3261   case DECL_CLASS_TEMPLATE_SPECIALIZATION:
3262     D = ClassTemplateSpecializationDecl::CreateDeserialized(Context, ID);
3263     break;
3264   case DECL_CLASS_TEMPLATE_PARTIAL_SPECIALIZATION:
3265     D = ClassTemplatePartialSpecializationDecl::CreateDeserialized(Context, ID);
3266     break;
3267   case DECL_VAR_TEMPLATE:
3268     D = VarTemplateDecl::CreateDeserialized(Context, ID);
3269     break;
3270   case DECL_VAR_TEMPLATE_SPECIALIZATION:
3271     D = VarTemplateSpecializationDecl::CreateDeserialized(Context, ID);
3272     break;
3273   case DECL_VAR_TEMPLATE_PARTIAL_SPECIALIZATION:
3274     D = VarTemplatePartialSpecializationDecl::CreateDeserialized(Context, ID);
3275     break;
3276   case DECL_CLASS_SCOPE_FUNCTION_SPECIALIZATION:
3277     D = ClassScopeFunctionSpecializationDecl::CreateDeserialized(Context, ID);
3278     break;
3279   case DECL_FUNCTION_TEMPLATE:
3280     D = FunctionTemplateDecl::CreateDeserialized(Context, ID);
3281     break;
3282   case DECL_TEMPLATE_TYPE_PARM:
3283     D = TemplateTypeParmDecl::CreateDeserialized(Context, ID);
3284     break;
3285   case DECL_NON_TYPE_TEMPLATE_PARM:
3286     D = NonTypeTemplateParmDecl::CreateDeserialized(Context, ID);
3287     break;
3288   case DECL_EXPANDED_NON_TYPE_TEMPLATE_PARM_PACK:
3289     D = NonTypeTemplateParmDecl::CreateDeserialized(Context, ID, Record[Idx++]);
3290     break;
3291   case DECL_TEMPLATE_TEMPLATE_PARM:
3292     D = TemplateTemplateParmDecl::CreateDeserialized(Context, ID);
3293     break;
3294   case DECL_EXPANDED_TEMPLATE_TEMPLATE_PARM_PACK:
3295     D = TemplateTemplateParmDecl::CreateDeserialized(Context, ID,
3296                                                      Record[Idx++]);
3297     break;
3298   case DECL_TYPE_ALIAS_TEMPLATE:
3299     D = TypeAliasTemplateDecl::CreateDeserialized(Context, ID);
3300     break;
3301   case DECL_STATIC_ASSERT:
3302     D = StaticAssertDecl::CreateDeserialized(Context, ID);
3303     break;
3304   case DECL_OBJC_METHOD:
3305     D = ObjCMethodDecl::CreateDeserialized(Context, ID);
3306     break;
3307   case DECL_OBJC_INTERFACE:
3308     D = ObjCInterfaceDecl::CreateDeserialized(Context, ID);
3309     break;
3310   case DECL_OBJC_IVAR:
3311     D = ObjCIvarDecl::CreateDeserialized(Context, ID);
3312     break;
3313   case DECL_OBJC_PROTOCOL:
3314     D = ObjCProtocolDecl::CreateDeserialized(Context, ID);
3315     break;
3316   case DECL_OBJC_AT_DEFS_FIELD:
3317     D = ObjCAtDefsFieldDecl::CreateDeserialized(Context, ID);
3318     break;
3319   case DECL_OBJC_CATEGORY:
3320     D = ObjCCategoryDecl::CreateDeserialized(Context, ID);
3321     break;
3322   case DECL_OBJC_CATEGORY_IMPL:
3323     D = ObjCCategoryImplDecl::CreateDeserialized(Context, ID);
3324     break;
3325   case DECL_OBJC_IMPLEMENTATION:
3326     D = ObjCImplementationDecl::CreateDeserialized(Context, ID);
3327     break;
3328   case DECL_OBJC_COMPATIBLE_ALIAS:
3329     D = ObjCCompatibleAliasDecl::CreateDeserialized(Context, ID);
3330     break;
3331   case DECL_OBJC_PROPERTY:
3332     D = ObjCPropertyDecl::CreateDeserialized(Context, ID);
3333     break;
3334   case DECL_OBJC_PROPERTY_IMPL:
3335     D = ObjCPropertyImplDecl::CreateDeserialized(Context, ID);
3336     break;
3337   case DECL_FIELD:
3338     D = FieldDecl::CreateDeserialized(Context, ID);
3339     break;
3340   case DECL_INDIRECTFIELD:
3341     D = IndirectFieldDecl::CreateDeserialized(Context, ID);
3342     break;
3343   case DECL_VAR:
3344     D = VarDecl::CreateDeserialized(Context, ID);
3345     break;
3346   case DECL_IMPLICIT_PARAM:
3347     D = ImplicitParamDecl::CreateDeserialized(Context, ID);
3348     break;
3349   case DECL_PARM_VAR:
3350     D = ParmVarDecl::CreateDeserialized(Context, ID);
3351     break;
3352   case DECL_FILE_SCOPE_ASM:
3353     D = FileScopeAsmDecl::CreateDeserialized(Context, ID);
3354     break;
3355   case DECL_BLOCK:
3356     D = BlockDecl::CreateDeserialized(Context, ID);
3357     break;
3358   case DECL_MS_PROPERTY:
3359     D = MSPropertyDecl::CreateDeserialized(Context, ID);
3360     break;
3361   case DECL_CAPTURED:
3362     D = CapturedDecl::CreateDeserialized(Context, ID, Record[Idx++]);
3363     break;
3364   case DECL_CXX_BASE_SPECIFIERS:
3365     Error("attempt to read a C++ base-specifier record as a declaration");
3366     return nullptr;
3367   case DECL_CXX_CTOR_INITIALIZERS:
3368     Error("attempt to read a C++ ctor initializer record as a declaration");
3369     return nullptr;
3370   case DECL_IMPORT:
3371     // Note: last entry of the ImportDecl record is the number of stored source
3372     // locations.
3373     D = ImportDecl::CreateDeserialized(Context, ID, Record.back());
3374     break;
3375   case DECL_OMP_THREADPRIVATE:
3376     D = OMPThreadPrivateDecl::CreateDeserialized(Context, ID, Record[Idx++]);
3377     break;
3378   case DECL_OMP_DECLARE_REDUCTION:
3379     D = OMPDeclareReductionDecl::CreateDeserialized(Context, ID);
3380     break;
3381   case DECL_OMP_CAPTUREDEXPR:
3382     D = OMPCapturedExprDecl::CreateDeserialized(Context, ID);
3383     break;
3384   case DECL_PRAGMA_COMMENT:
3385     D = PragmaCommentDecl::CreateDeserialized(Context, ID, Record[Idx++]);
3386     break;
3387   case DECL_PRAGMA_DETECT_MISMATCH:
3388     D = PragmaDetectMismatchDecl::CreateDeserialized(Context, ID,
3389                                                      Record[Idx++]);
3390     break;
3391   case DECL_EMPTY:
3392     D = EmptyDecl::CreateDeserialized(Context, ID);
3393     break;
3394   case DECL_OBJC_TYPE_PARAM:
3395     D = ObjCTypeParamDecl::CreateDeserialized(Context, ID);
3396     break;
3397   }
3398 
3399   assert(D && "Unknown declaration reading AST file");
3400   LoadedDecl(Index, D);
3401   // Set the DeclContext before doing any deserialization, to make sure internal
3402   // calls to Decl::getASTContext() by Decl's methods will find the
3403   // TranslationUnitDecl without crashing.
3404   D->setDeclContext(Context.getTranslationUnitDecl());
3405   Reader.Visit(D);
3406 
3407   // If this declaration is also a declaration context, get the
3408   // offsets for its tables of lexical and visible declarations.
3409   if (DeclContext *DC = dyn_cast<DeclContext>(D)) {
3410     std::pair<uint64_t, uint64_t> Offsets = Reader.VisitDeclContext(DC);
3411     if (Offsets.first &&
3412         ReadLexicalDeclContextStorage(*Loc.F, DeclsCursor, Offsets.first, DC))
3413       return nullptr;
3414     if (Offsets.second &&
3415         ReadVisibleDeclContextStorage(*Loc.F, DeclsCursor, Offsets.second, ID))
3416       return nullptr;
3417   }
3418   assert(Idx == Record.size());
3419 
3420   // Load any relevant update records.
3421   PendingUpdateRecords.push_back(std::make_pair(ID, D));
3422 
3423   // Load the categories after recursive loading is finished.
3424   if (ObjCInterfaceDecl *Class = dyn_cast<ObjCInterfaceDecl>(D))
3425     if (Class->isThisDeclarationADefinition())
3426       loadObjCCategories(ID, Class);
3427 
3428   // If we have deserialized a declaration that has a definition the
3429   // AST consumer might need to know about, queue it.
3430   // We don't pass it to the consumer immediately because we may be in recursive
3431   // loading, and some declarations may still be initializing.
3432   if (isConsumerInterestedIn(D, Reader.hasPendingBody()))
3433     InterestingDecls.push_back(D);
3434 
3435   return D;
3436 }
3437 
3438 void ASTReader::loadDeclUpdateRecords(serialization::DeclID ID, Decl *D) {
3439   // The declaration may have been modified by files later in the chain.
3440   // If this is the case, read the record containing the updates from each file
3441   // and pass it to ASTDeclReader to make the modifications.
3442   DeclUpdateOffsetsMap::iterator UpdI = DeclUpdateOffsets.find(ID);
3443   if (UpdI != DeclUpdateOffsets.end()) {
3444     auto UpdateOffsets = std::move(UpdI->second);
3445     DeclUpdateOffsets.erase(UpdI);
3446 
3447     bool WasInteresting = isConsumerInterestedIn(D, false);
3448     for (auto &FileAndOffset : UpdateOffsets) {
3449       ModuleFile *F = FileAndOffset.first;
3450       uint64_t Offset = FileAndOffset.second;
3451       llvm::BitstreamCursor &Cursor = F->DeclsCursor;
3452       SavedStreamPosition SavedPosition(Cursor);
3453       Cursor.JumpToBit(Offset);
3454       RecordData Record;
3455       unsigned Code = Cursor.ReadCode();
3456       unsigned RecCode = Cursor.readRecord(Code, Record);
3457       (void)RecCode;
3458       assert(RecCode == DECL_UPDATES && "Expected DECL_UPDATES record!");
3459 
3460       unsigned Idx = 0;
3461       ASTDeclReader Reader(*this, RecordLocation(F, Offset), ID,
3462                            SourceLocation(), Record, Idx);
3463       Reader.UpdateDecl(D, *F, Record);
3464 
3465       // We might have made this declaration interesting. If so, remember that
3466       // we need to hand it off to the consumer.
3467       if (!WasInteresting &&
3468           isConsumerInterestedIn(D, Reader.hasPendingBody())) {
3469         InterestingDecls.push_back(D);
3470         WasInteresting = true;
3471       }
3472     }
3473   }
3474 
3475   // Load the pending visible updates for this decl context, if it has any.
3476   auto I = PendingVisibleUpdates.find(ID);
3477   if (I != PendingVisibleUpdates.end()) {
3478     auto VisibleUpdates = std::move(I->second);
3479     PendingVisibleUpdates.erase(I);
3480 
3481     auto *DC = cast<DeclContext>(D)->getPrimaryContext();
3482     for (const PendingVisibleUpdate &Update : VisibleUpdates)
3483       Lookups[DC].Table.add(
3484           Update.Mod, Update.Data,
3485           reader::ASTDeclContextNameLookupTrait(*this, *Update.Mod));
3486     DC->setHasExternalVisibleStorage(true);
3487   }
3488 }
3489 
3490 void ASTReader::loadPendingDeclChain(Decl *FirstLocal, uint64_t LocalOffset) {
3491   // Attach FirstLocal to the end of the decl chain.
3492   Decl *CanonDecl = FirstLocal->getCanonicalDecl();
3493   if (FirstLocal != CanonDecl) {
3494     Decl *PrevMostRecent = ASTDeclReader::getMostRecentDecl(CanonDecl);
3495     ASTDeclReader::attachPreviousDecl(
3496         *this, FirstLocal, PrevMostRecent ? PrevMostRecent : CanonDecl,
3497         CanonDecl);
3498   }
3499 
3500   if (!LocalOffset) {
3501     ASTDeclReader::attachLatestDecl(CanonDecl, FirstLocal);
3502     return;
3503   }
3504 
3505   // Load the list of other redeclarations from this module file.
3506   ModuleFile *M = getOwningModuleFile(FirstLocal);
3507   assert(M && "imported decl from no module file");
3508 
3509   llvm::BitstreamCursor &Cursor = M->DeclsCursor;
3510   SavedStreamPosition SavedPosition(Cursor);
3511   Cursor.JumpToBit(LocalOffset);
3512 
3513   RecordData Record;
3514   unsigned Code = Cursor.ReadCode();
3515   unsigned RecCode = Cursor.readRecord(Code, Record);
3516   (void)RecCode;
3517   assert(RecCode == LOCAL_REDECLARATIONS && "expected LOCAL_REDECLARATIONS record!");
3518 
3519   // FIXME: We have several different dispatches on decl kind here; maybe
3520   // we should instead generate one loop per kind and dispatch up-front?
3521   Decl *MostRecent = FirstLocal;
3522   for (unsigned I = 0, N = Record.size(); I != N; ++I) {
3523     auto *D = GetLocalDecl(*M, Record[N - I - 1]);
3524     ASTDeclReader::attachPreviousDecl(*this, D, MostRecent, CanonDecl);
3525     MostRecent = D;
3526   }
3527   ASTDeclReader::attachLatestDecl(CanonDecl, MostRecent);
3528 }
3529 
3530 namespace {
3531   /// \brief Given an ObjC interface, goes through the modules and links to the
3532   /// interface all the categories for it.
3533   class ObjCCategoriesVisitor {
3534     ASTReader &Reader;
3535     serialization::GlobalDeclID InterfaceID;
3536     ObjCInterfaceDecl *Interface;
3537     llvm::SmallPtrSetImpl<ObjCCategoryDecl *> &Deserialized;
3538     unsigned PreviousGeneration;
3539     ObjCCategoryDecl *Tail;
3540     llvm::DenseMap<DeclarationName, ObjCCategoryDecl *> NameCategoryMap;
3541 
3542     void add(ObjCCategoryDecl *Cat) {
3543       // Only process each category once.
3544       if (!Deserialized.erase(Cat))
3545         return;
3546 
3547       // Check for duplicate categories.
3548       if (Cat->getDeclName()) {
3549         ObjCCategoryDecl *&Existing = NameCategoryMap[Cat->getDeclName()];
3550         if (Existing &&
3551             Reader.getOwningModuleFile(Existing)
3552                                           != Reader.getOwningModuleFile(Cat)) {
3553           // FIXME: We should not warn for duplicates in diamond:
3554           //
3555           //   MT     //
3556           //  /  \    //
3557           // ML  MR   //
3558           //  \  /    //
3559           //   MB     //
3560           //
3561           // If there are duplicates in ML/MR, there will be warning when
3562           // creating MB *and* when importing MB. We should not warn when
3563           // importing.
3564           Reader.Diag(Cat->getLocation(), diag::warn_dup_category_def)
3565             << Interface->getDeclName() << Cat->getDeclName();
3566           Reader.Diag(Existing->getLocation(), diag::note_previous_definition);
3567         } else if (!Existing) {
3568           // Record this category.
3569           Existing = Cat;
3570         }
3571       }
3572 
3573       // Add this category to the end of the chain.
3574       if (Tail)
3575         ASTDeclReader::setNextObjCCategory(Tail, Cat);
3576       else
3577         Interface->setCategoryListRaw(Cat);
3578       Tail = Cat;
3579     }
3580 
3581   public:
3582     ObjCCategoriesVisitor(ASTReader &Reader,
3583                           serialization::GlobalDeclID InterfaceID,
3584                           ObjCInterfaceDecl *Interface,
3585                         llvm::SmallPtrSetImpl<ObjCCategoryDecl *> &Deserialized,
3586                           unsigned PreviousGeneration)
3587       : Reader(Reader), InterfaceID(InterfaceID), Interface(Interface),
3588         Deserialized(Deserialized), PreviousGeneration(PreviousGeneration),
3589         Tail(nullptr)
3590     {
3591       // Populate the name -> category map with the set of known categories.
3592       for (auto *Cat : Interface->known_categories()) {
3593         if (Cat->getDeclName())
3594           NameCategoryMap[Cat->getDeclName()] = Cat;
3595 
3596         // Keep track of the tail of the category list.
3597         Tail = Cat;
3598       }
3599     }
3600 
3601     bool operator()(ModuleFile &M) {
3602       // If we've loaded all of the category information we care about from
3603       // this module file, we're done.
3604       if (M.Generation <= PreviousGeneration)
3605         return true;
3606 
3607       // Map global ID of the definition down to the local ID used in this
3608       // module file. If there is no such mapping, we'll find nothing here
3609       // (or in any module it imports).
3610       DeclID LocalID = Reader.mapGlobalIDToModuleFileGlobalID(M, InterfaceID);
3611       if (!LocalID)
3612         return true;
3613 
3614       // Perform a binary search to find the local redeclarations for this
3615       // declaration (if any).
3616       const ObjCCategoriesInfo Compare = { LocalID, 0 };
3617       const ObjCCategoriesInfo *Result
3618         = std::lower_bound(M.ObjCCategoriesMap,
3619                            M.ObjCCategoriesMap + M.LocalNumObjCCategoriesInMap,
3620                            Compare);
3621       if (Result == M.ObjCCategoriesMap + M.LocalNumObjCCategoriesInMap ||
3622           Result->DefinitionID != LocalID) {
3623         // We didn't find anything. If the class definition is in this module
3624         // file, then the module files it depends on cannot have any categories,
3625         // so suppress further lookup.
3626         return Reader.isDeclIDFromModule(InterfaceID, M);
3627       }
3628 
3629       // We found something. Dig out all of the categories.
3630       unsigned Offset = Result->Offset;
3631       unsigned N = M.ObjCCategories[Offset];
3632       M.ObjCCategories[Offset++] = 0; // Don't try to deserialize again
3633       for (unsigned I = 0; I != N; ++I)
3634         add(cast_or_null<ObjCCategoryDecl>(
3635               Reader.GetLocalDecl(M, M.ObjCCategories[Offset++])));
3636       return true;
3637     }
3638   };
3639 } // end anonymous namespace
3640 
3641 void ASTReader::loadObjCCategories(serialization::GlobalDeclID ID,
3642                                    ObjCInterfaceDecl *D,
3643                                    unsigned PreviousGeneration) {
3644   ObjCCategoriesVisitor Visitor(*this, ID, D, CategoriesDeserialized,
3645                                 PreviousGeneration);
3646   ModuleMgr.visit(Visitor);
3647 }
3648 
3649 template<typename DeclT, typename Fn>
3650 static void forAllLaterRedecls(DeclT *D, Fn F) {
3651   F(D);
3652 
3653   // Check whether we've already merged D into its redeclaration chain.
3654   // MostRecent may or may not be nullptr if D has not been merged. If
3655   // not, walk the merged redecl chain and see if it's there.
3656   auto *MostRecent = D->getMostRecentDecl();
3657   bool Found = false;
3658   for (auto *Redecl = MostRecent; Redecl && !Found;
3659        Redecl = Redecl->getPreviousDecl())
3660     Found = (Redecl == D);
3661 
3662   // If this declaration is merged, apply the functor to all later decls.
3663   if (Found) {
3664     for (auto *Redecl = MostRecent; Redecl != D;
3665          Redecl = Redecl->getPreviousDecl())
3666       F(Redecl);
3667   }
3668 }
3669 
3670 void ASTDeclReader::UpdateDecl(Decl *D, ModuleFile &ModuleFile,
3671                                const RecordData &Record) {
3672   while (Idx < Record.size()) {
3673     switch ((DeclUpdateKind)Record[Idx++]) {
3674     case UPD_CXX_ADDED_IMPLICIT_MEMBER: {
3675       auto *RD = cast<CXXRecordDecl>(D);
3676       // FIXME: If we also have an update record for instantiating the
3677       // definition of D, we need that to happen before we get here.
3678       Decl *MD = Reader.ReadDecl(ModuleFile, Record, Idx);
3679       assert(MD && "couldn't read decl from update record");
3680       // FIXME: We should call addHiddenDecl instead, to add the member
3681       // to its DeclContext.
3682       RD->addedMember(MD);
3683       break;
3684     }
3685 
3686     case UPD_CXX_ADDED_TEMPLATE_SPECIALIZATION:
3687       // It will be added to the template's specializations set when loaded.
3688       (void)Reader.ReadDecl(ModuleFile, Record, Idx);
3689       break;
3690 
3691     case UPD_CXX_ADDED_ANONYMOUS_NAMESPACE: {
3692       NamespaceDecl *Anon
3693         = Reader.ReadDeclAs<NamespaceDecl>(ModuleFile, Record, Idx);
3694 
3695       // Each module has its own anonymous namespace, which is disjoint from
3696       // any other module's anonymous namespaces, so don't attach the anonymous
3697       // namespace at all.
3698       if (ModuleFile.Kind != MK_ImplicitModule &&
3699           ModuleFile.Kind != MK_ExplicitModule) {
3700         if (TranslationUnitDecl *TU = dyn_cast<TranslationUnitDecl>(D))
3701           TU->setAnonymousNamespace(Anon);
3702         else
3703           cast<NamespaceDecl>(D)->setAnonymousNamespace(Anon);
3704       }
3705       break;
3706     }
3707 
3708     case UPD_CXX_INSTANTIATED_STATIC_DATA_MEMBER:
3709       cast<VarDecl>(D)->getMemberSpecializationInfo()->setPointOfInstantiation(
3710           Reader.ReadSourceLocation(ModuleFile, Record, Idx));
3711       break;
3712 
3713     case UPD_CXX_INSTANTIATED_DEFAULT_ARGUMENT: {
3714       auto Param = cast<ParmVarDecl>(D);
3715 
3716       // We have to read the default argument regardless of whether we use it
3717       // so that hypothetical further update records aren't messed up.
3718       // TODO: Add a function to skip over the next expr record.
3719       auto DefaultArg = Reader.ReadExpr(F);
3720 
3721       // Only apply the update if the parameter still has an uninstantiated
3722       // default argument.
3723       if (Param->hasUninstantiatedDefaultArg())
3724         Param->setDefaultArg(DefaultArg);
3725       break;
3726     }
3727 
3728     case UPD_CXX_ADDED_FUNCTION_DEFINITION: {
3729       FunctionDecl *FD = cast<FunctionDecl>(D);
3730       if (Reader.PendingBodies[FD]) {
3731         // FIXME: Maybe check for ODR violations.
3732         // It's safe to stop now because this update record is always last.
3733         return;
3734       }
3735 
3736       if (Record[Idx++]) {
3737         // Maintain AST consistency: any later redeclarations of this function
3738         // are inline if this one is. (We might have merged another declaration
3739         // into this one.)
3740         forAllLaterRedecls(FD, [](FunctionDecl *FD) {
3741           FD->setImplicitlyInline();
3742         });
3743       }
3744       FD->setInnerLocStart(Reader.ReadSourceLocation(ModuleFile, Record, Idx));
3745       if (auto *CD = dyn_cast<CXXConstructorDecl>(FD)) {
3746         CD->NumCtorInitializers = Record[Idx++];
3747         if (CD->NumCtorInitializers)
3748           CD->CtorInitializers =
3749               Reader.ReadCXXCtorInitializersRef(F, Record, Idx);
3750       }
3751       // Store the offset of the body so we can lazily load it later.
3752       Reader.PendingBodies[FD] = GetCurrentCursorOffset();
3753       HasPendingBody = true;
3754       assert(Idx == Record.size() && "lazy body must be last");
3755       break;
3756     }
3757 
3758     case UPD_CXX_INSTANTIATED_CLASS_DEFINITION: {
3759       auto *RD = cast<CXXRecordDecl>(D);
3760       auto *OldDD = RD->getCanonicalDecl()->DefinitionData.getNotUpdated();
3761       bool HadRealDefinition =
3762           OldDD && (OldDD->Definition != RD ||
3763                     !Reader.PendingFakeDefinitionData.count(OldDD));
3764       ReadCXXRecordDefinition(RD, /*Update*/true);
3765 
3766       // Visible update is handled separately.
3767       uint64_t LexicalOffset = Record[Idx++];
3768       if (!HadRealDefinition && LexicalOffset) {
3769         Reader.ReadLexicalDeclContextStorage(ModuleFile, ModuleFile.DeclsCursor,
3770                                              LexicalOffset, RD);
3771         Reader.PendingFakeDefinitionData.erase(OldDD);
3772       }
3773 
3774       auto TSK = (TemplateSpecializationKind)Record[Idx++];
3775       SourceLocation POI = Reader.ReadSourceLocation(ModuleFile, Record, Idx);
3776       if (MemberSpecializationInfo *MSInfo =
3777               RD->getMemberSpecializationInfo()) {
3778         MSInfo->setTemplateSpecializationKind(TSK);
3779         MSInfo->setPointOfInstantiation(POI);
3780       } else {
3781         ClassTemplateSpecializationDecl *Spec =
3782             cast<ClassTemplateSpecializationDecl>(RD);
3783         Spec->setTemplateSpecializationKind(TSK);
3784         Spec->setPointOfInstantiation(POI);
3785 
3786         if (Record[Idx++]) {
3787           auto PartialSpec =
3788               ReadDeclAs<ClassTemplatePartialSpecializationDecl>(Record, Idx);
3789           SmallVector<TemplateArgument, 8> TemplArgs;
3790           Reader.ReadTemplateArgumentList(TemplArgs, F, Record, Idx);
3791           auto *TemplArgList = TemplateArgumentList::CreateCopy(
3792               Reader.getContext(), TemplArgs.data(), TemplArgs.size());
3793 
3794           // FIXME: If we already have a partial specialization set,
3795           // check that it matches.
3796           if (!Spec->getSpecializedTemplateOrPartial()
3797                    .is<ClassTemplatePartialSpecializationDecl *>())
3798             Spec->setInstantiationOf(PartialSpec, TemplArgList);
3799         }
3800       }
3801 
3802       RD->setTagKind((TagTypeKind)Record[Idx++]);
3803       RD->setLocation(Reader.ReadSourceLocation(ModuleFile, Record, Idx));
3804       RD->setLocStart(Reader.ReadSourceLocation(ModuleFile, Record, Idx));
3805       RD->setRBraceLoc(Reader.ReadSourceLocation(ModuleFile, Record, Idx));
3806 
3807       if (Record[Idx++]) {
3808         AttrVec Attrs;
3809         Reader.ReadAttributes(F, Attrs, Record, Idx);
3810         D->setAttrsImpl(Attrs, Reader.getContext());
3811       }
3812       break;
3813     }
3814 
3815     case UPD_CXX_RESOLVED_DTOR_DELETE: {
3816       // Set the 'operator delete' directly to avoid emitting another update
3817       // record.
3818       auto *Del = Reader.ReadDeclAs<FunctionDecl>(ModuleFile, Record, Idx);
3819       auto *First = cast<CXXDestructorDecl>(D->getCanonicalDecl());
3820       // FIXME: Check consistency if we have an old and new operator delete.
3821       if (!First->OperatorDelete)
3822         First->OperatorDelete = Del;
3823       break;
3824     }
3825 
3826     case UPD_CXX_RESOLVED_EXCEPTION_SPEC: {
3827       FunctionProtoType::ExceptionSpecInfo ESI;
3828       SmallVector<QualType, 8> ExceptionStorage;
3829       Reader.readExceptionSpec(ModuleFile, ExceptionStorage, ESI, Record, Idx);
3830 
3831       // Update this declaration's exception specification, if needed.
3832       auto *FD = cast<FunctionDecl>(D);
3833       auto *FPT = FD->getType()->castAs<FunctionProtoType>();
3834       // FIXME: If the exception specification is already present, check that it
3835       // matches.
3836       if (isUnresolvedExceptionSpec(FPT->getExceptionSpecType())) {
3837         FD->setType(Reader.Context.getFunctionType(
3838             FPT->getReturnType(), FPT->getParamTypes(),
3839             FPT->getExtProtoInfo().withExceptionSpec(ESI)));
3840 
3841         // When we get to the end of deserializing, see if there are other decls
3842         // that we need to propagate this exception specification onto.
3843         Reader.PendingExceptionSpecUpdates.insert(
3844             std::make_pair(FD->getCanonicalDecl(), FD));
3845       }
3846       break;
3847     }
3848 
3849     case UPD_CXX_DEDUCED_RETURN_TYPE: {
3850       // FIXME: Also do this when merging redecls.
3851       QualType DeducedResultType = Reader.readType(ModuleFile, Record, Idx);
3852       for (auto *Redecl : merged_redecls(D)) {
3853         // FIXME: If the return type is already deduced, check that it matches.
3854         FunctionDecl *FD = cast<FunctionDecl>(Redecl);
3855         Reader.Context.adjustDeducedFunctionResultType(FD, DeducedResultType);
3856       }
3857       break;
3858     }
3859 
3860     case UPD_DECL_MARKED_USED: {
3861       // FIXME: This doesn't send the right notifications if there are
3862       // ASTMutationListeners other than an ASTWriter.
3863 
3864       // Maintain AST consistency: any later redeclarations are used too.
3865       forAllLaterRedecls(D, [](Decl *D) { D->Used = true; });
3866       break;
3867     }
3868 
3869     case UPD_MANGLING_NUMBER:
3870       Reader.Context.setManglingNumber(cast<NamedDecl>(D), Record[Idx++]);
3871       break;
3872 
3873     case UPD_STATIC_LOCAL_NUMBER:
3874       Reader.Context.setStaticLocalNumber(cast<VarDecl>(D), Record[Idx++]);
3875       break;
3876 
3877     case UPD_DECL_MARKED_OPENMP_THREADPRIVATE:
3878       D->addAttr(OMPThreadPrivateDeclAttr::CreateImplicit(
3879           Reader.Context, ReadSourceRange(Record, Idx)));
3880       break;
3881 
3882     case UPD_DECL_MARKED_OPENMP_DECLARETARGET:
3883       D->addAttr(OMPDeclareTargetDeclAttr::CreateImplicit(
3884           Reader.Context, ReadSourceRange(Record, Idx)));
3885       break;
3886 
3887     case UPD_DECL_EXPORTED: {
3888       unsigned SubmoduleID = readSubmoduleID(Record, Idx);
3889       auto *Exported = cast<NamedDecl>(D);
3890       if (auto *TD = dyn_cast<TagDecl>(Exported))
3891         Exported = TD->getDefinition();
3892       Module *Owner = SubmoduleID ? Reader.getSubmodule(SubmoduleID) : nullptr;
3893       if (Reader.getContext().getLangOpts().ModulesLocalVisibility) {
3894         // FIXME: This doesn't send the right notifications if there are
3895         // ASTMutationListeners other than an ASTWriter.
3896         Reader.getContext().mergeDefinitionIntoModule(
3897             cast<NamedDecl>(Exported), Owner,
3898             /*NotifyListeners*/ false);
3899         Reader.PendingMergedDefinitionsToDeduplicate.insert(
3900             cast<NamedDecl>(Exported));
3901       } else if (Owner && Owner->NameVisibility != Module::AllVisible) {
3902         // If Owner is made visible at some later point, make this declaration
3903         // visible too.
3904         Reader.HiddenNamesMap[Owner].push_back(Exported);
3905       } else {
3906         // The declaration is now visible.
3907         Exported->Hidden = false;
3908       }
3909       break;
3910     }
3911 
3912     case UPD_ADDED_ATTR_TO_RECORD:
3913       AttrVec Attrs;
3914       Reader.ReadAttributes(F, Attrs, Record, Idx);
3915       assert(Attrs.size() == 1);
3916       D->addAttr(Attrs[0]);
3917       break;
3918     }
3919   }
3920 }
3921