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 using namespace clang;
30 using namespace clang::serialization;
31 
32 //===----------------------------------------------------------------------===//
33 // Declaration deserialization
34 //===----------------------------------------------------------------------===//
35 
36 namespace clang {
37   class ASTDeclReader : public DeclVisitor<ASTDeclReader, void> {
38     ASTReader &Reader;
39     ModuleFile &F;
40     const DeclID ThisDeclID;
41     const unsigned RawLocation;
42     typedef ASTReader::RecordData RecordData;
43     const RecordData &Record;
44     unsigned &Idx;
45     TypeID TypeIDForTypeDecl;
46 
47     bool HasPendingBody;
48 
49     uint64_t GetCurrentCursorOffset();
50 
51     SourceLocation ReadSourceLocation(const RecordData &R, unsigned &I) {
52       return Reader.ReadSourceLocation(F, R, I);
53     }
54 
55     SourceRange ReadSourceRange(const RecordData &R, unsigned &I) {
56       return Reader.ReadSourceRange(F, R, I);
57     }
58 
59     TypeSourceInfo *GetTypeSourceInfo(const RecordData &R, unsigned &I) {
60       return Reader.GetTypeSourceInfo(F, R, I);
61     }
62 
63     serialization::DeclID ReadDeclID(const RecordData &R, unsigned &I) {
64       return Reader.ReadDeclID(F, R, I);
65     }
66 
67     Decl *ReadDecl(const RecordData &R, unsigned &I) {
68       return Reader.ReadDecl(F, R, I);
69     }
70 
71     template<typename T>
72     T *ReadDeclAs(const RecordData &R, unsigned &I) {
73       return Reader.ReadDeclAs<T>(F, R, I);
74     }
75 
76     void ReadQualifierInfo(QualifierInfo &Info,
77                            const RecordData &R, unsigned &I) {
78       Reader.ReadQualifierInfo(F, Info, R, I);
79     }
80 
81     void ReadDeclarationNameLoc(DeclarationNameLoc &DNLoc, DeclarationName Name,
82                                 const RecordData &R, unsigned &I) {
83       Reader.ReadDeclarationNameLoc(F, DNLoc, Name, R, I);
84     }
85 
86     void ReadDeclarationNameInfo(DeclarationNameInfo &NameInfo,
87                                 const RecordData &R, unsigned &I) {
88       Reader.ReadDeclarationNameInfo(F, NameInfo, R, I);
89     }
90 
91     serialization::SubmoduleID readSubmoduleID(const RecordData &R,
92                                                unsigned &I) {
93       if (I >= R.size())
94         return 0;
95 
96       return Reader.getGlobalSubmoduleID(F, R[I++]);
97     }
98 
99     Module *readModule(const RecordData &R, unsigned &I) {
100       return Reader.getSubmodule(readSubmoduleID(R, I));
101     }
102 
103     void ReadCXXDefinitionData(struct CXXRecordDecl::DefinitionData &Data,
104                                const RecordData &R, unsigned &I);
105 
106     /// \brief RAII class used to capture the first ID within a redeclaration
107     /// chain and to introduce it into the list of pending redeclaration chains
108     /// on destruction.
109     ///
110     /// The caller can choose not to introduce this ID into the redeclaration
111     /// chain by calling \c suppress().
112     class RedeclarableResult {
113       ASTReader &Reader;
114       GlobalDeclID FirstID;
115       mutable bool Owning;
116       Decl::Kind DeclKind;
117 
118       void operator=(RedeclarableResult &) LLVM_DELETED_FUNCTION;
119 
120     public:
121       RedeclarableResult(ASTReader &Reader, GlobalDeclID FirstID,
122                          Decl::Kind DeclKind)
123         : Reader(Reader), FirstID(FirstID), Owning(true), DeclKind(DeclKind) { }
124 
125       RedeclarableResult(const RedeclarableResult &Other)
126         : Reader(Other.Reader), FirstID(Other.FirstID), Owning(Other.Owning) ,
127           DeclKind(Other.DeclKind)
128       {
129         Other.Owning = false;
130       }
131 
132       ~RedeclarableResult() {
133         if (FirstID && Owning && isRedeclarableDeclKind(DeclKind) &&
134             Reader.PendingDeclChainsKnown.insert(FirstID))
135           Reader.PendingDeclChains.push_back(FirstID);
136       }
137 
138       /// \brief Retrieve the first ID.
139       GlobalDeclID getFirstID() const { return FirstID; }
140 
141       /// \brief Do not introduce this declaration ID into the set of pending
142       /// declaration chains.
143       void suppress() {
144         Owning = false;
145       }
146     };
147 
148     /// \brief Class used to capture the result of searching for an existing
149     /// declaration of a specific kind and name, along with the ability
150     /// to update the place where this result was found (the declaration
151     /// chain hanging off an identifier or the DeclContext we searched in)
152     /// if requested.
153     class FindExistingResult {
154       ASTReader &Reader;
155       NamedDecl *New;
156       NamedDecl *Existing;
157       mutable bool AddResult;
158 
159       void operator=(FindExistingResult&) LLVM_DELETED_FUNCTION;
160 
161     public:
162       FindExistingResult(ASTReader &Reader)
163         : Reader(Reader), New(0), Existing(0), AddResult(false) { }
164 
165       FindExistingResult(ASTReader &Reader, NamedDecl *New, NamedDecl *Existing)
166         : Reader(Reader), New(New), Existing(Existing), AddResult(true) { }
167 
168       FindExistingResult(const FindExistingResult &Other)
169         : Reader(Other.Reader), New(Other.New), Existing(Other.Existing),
170           AddResult(Other.AddResult)
171       {
172         Other.AddResult = false;
173       }
174 
175       ~FindExistingResult();
176 
177       /// \brief Suppress the addition of this result into the known set of
178       /// names.
179       void suppress() { AddResult = false; }
180 
181       operator NamedDecl*() const { return Existing; }
182 
183       template<typename T>
184       operator T*() const { return dyn_cast_or_null<T>(Existing); }
185     };
186 
187     FindExistingResult findExisting(NamedDecl *D);
188 
189   public:
190     ASTDeclReader(ASTReader &Reader, ModuleFile &F,
191                   DeclID thisDeclID,
192                   unsigned RawLocation,
193                   const RecordData &Record, unsigned &Idx)
194       : Reader(Reader), F(F), ThisDeclID(thisDeclID),
195         RawLocation(RawLocation), Record(Record), Idx(Idx),
196         TypeIDForTypeDecl(0), HasPendingBody(false) { }
197 
198     static void attachPreviousDecl(Decl *D, Decl *previous);
199     static void attachLatestDecl(Decl *D, Decl *latest);
200 
201     /// \brief Determine whether this declaration has a pending body.
202     bool hasPendingBody() const { return HasPendingBody; }
203 
204     void Visit(Decl *D);
205 
206     void UpdateDecl(Decl *D, ModuleFile &ModuleFile,
207                     const RecordData &Record);
208 
209     static void setNextObjCCategory(ObjCCategoryDecl *Cat,
210                                     ObjCCategoryDecl *Next) {
211       Cat->NextClassCategory = Next;
212     }
213 
214     void VisitDecl(Decl *D);
215     void VisitTranslationUnitDecl(TranslationUnitDecl *TU);
216     void VisitNamedDecl(NamedDecl *ND);
217     void VisitLabelDecl(LabelDecl *LD);
218     void VisitNamespaceDecl(NamespaceDecl *D);
219     void VisitUsingDirectiveDecl(UsingDirectiveDecl *D);
220     void VisitNamespaceAliasDecl(NamespaceAliasDecl *D);
221     void VisitTypeDecl(TypeDecl *TD);
222     void VisitTypedefNameDecl(TypedefNameDecl *TD);
223     void VisitTypedefDecl(TypedefDecl *TD);
224     void VisitTypeAliasDecl(TypeAliasDecl *TD);
225     void VisitUnresolvedUsingTypenameDecl(UnresolvedUsingTypenameDecl *D);
226     RedeclarableResult VisitTagDecl(TagDecl *TD);
227     void VisitEnumDecl(EnumDecl *ED);
228     RedeclarableResult VisitRecordDeclImpl(RecordDecl *RD);
229     void VisitRecordDecl(RecordDecl *RD) { VisitRecordDeclImpl(RD); }
230     RedeclarableResult VisitCXXRecordDeclImpl(CXXRecordDecl *D);
231     void VisitCXXRecordDecl(CXXRecordDecl *D) { VisitCXXRecordDeclImpl(D); }
232     RedeclarableResult VisitClassTemplateSpecializationDeclImpl(
233                                             ClassTemplateSpecializationDecl *D);
234     void VisitClassTemplateSpecializationDecl(
235         ClassTemplateSpecializationDecl *D) {
236       VisitClassTemplateSpecializationDeclImpl(D);
237     }
238     void VisitClassTemplatePartialSpecializationDecl(
239                                      ClassTemplatePartialSpecializationDecl *D);
240     void VisitClassScopeFunctionSpecializationDecl(
241                                        ClassScopeFunctionSpecializationDecl *D);
242     RedeclarableResult
243     VisitVarTemplateSpecializationDeclImpl(VarTemplateSpecializationDecl *D);
244     void VisitVarTemplateSpecializationDecl(VarTemplateSpecializationDecl *D) {
245       VisitVarTemplateSpecializationDeclImpl(D);
246     }
247     void VisitVarTemplatePartialSpecializationDecl(
248         VarTemplatePartialSpecializationDecl *D);
249     void VisitTemplateTypeParmDecl(TemplateTypeParmDecl *D);
250     void VisitValueDecl(ValueDecl *VD);
251     void VisitEnumConstantDecl(EnumConstantDecl *ECD);
252     void VisitUnresolvedUsingValueDecl(UnresolvedUsingValueDecl *D);
253     void VisitDeclaratorDecl(DeclaratorDecl *DD);
254     void VisitFunctionDecl(FunctionDecl *FD);
255     void VisitCXXMethodDecl(CXXMethodDecl *D);
256     void VisitCXXConstructorDecl(CXXConstructorDecl *D);
257     void VisitCXXDestructorDecl(CXXDestructorDecl *D);
258     void VisitCXXConversionDecl(CXXConversionDecl *D);
259     void VisitFieldDecl(FieldDecl *FD);
260     void VisitMSPropertyDecl(MSPropertyDecl *FD);
261     void VisitIndirectFieldDecl(IndirectFieldDecl *FD);
262     RedeclarableResult VisitVarDeclImpl(VarDecl *D);
263     void VisitVarDecl(VarDecl *VD) { VisitVarDeclImpl(VD); }
264     void VisitImplicitParamDecl(ImplicitParamDecl *PD);
265     void VisitParmVarDecl(ParmVarDecl *PD);
266     void VisitNonTypeTemplateParmDecl(NonTypeTemplateParmDecl *D);
267     void VisitTemplateDecl(TemplateDecl *D);
268     RedeclarableResult VisitRedeclarableTemplateDecl(RedeclarableTemplateDecl *D);
269     void VisitClassTemplateDecl(ClassTemplateDecl *D);
270     void VisitVarTemplateDecl(VarTemplateDecl *D);
271     void VisitFunctionTemplateDecl(FunctionTemplateDecl *D);
272     void VisitTemplateTemplateParmDecl(TemplateTemplateParmDecl *D);
273     void VisitTypeAliasTemplateDecl(TypeAliasTemplateDecl *D);
274     void VisitUsingDecl(UsingDecl *D);
275     void VisitUsingShadowDecl(UsingShadowDecl *D);
276     void VisitLinkageSpecDecl(LinkageSpecDecl *D);
277     void VisitFileScopeAsmDecl(FileScopeAsmDecl *AD);
278     void VisitImportDecl(ImportDecl *D);
279     void VisitAccessSpecDecl(AccessSpecDecl *D);
280     void VisitFriendDecl(FriendDecl *D);
281     void VisitFriendTemplateDecl(FriendTemplateDecl *D);
282     void VisitStaticAssertDecl(StaticAssertDecl *D);
283     void VisitBlockDecl(BlockDecl *BD);
284     void VisitCapturedDecl(CapturedDecl *CD);
285     void VisitEmptyDecl(EmptyDecl *D);
286 
287     std::pair<uint64_t, uint64_t> VisitDeclContext(DeclContext *DC);
288 
289     template<typename T>
290     RedeclarableResult VisitRedeclarable(Redeclarable<T> *D);
291 
292     template<typename T>
293     void mergeRedeclarable(Redeclarable<T> *D, RedeclarableResult &Redecl);
294 
295     template<typename T>
296     void mergeRedeclarable(Redeclarable<T> *D, T *Existing,
297                            RedeclarableResult &Redecl);
298 
299     template<typename T>
300     void mergeMergeable(Mergeable<T> *D);
301 
302     // FIXME: Reorder according to DeclNodes.td?
303     void VisitObjCMethodDecl(ObjCMethodDecl *D);
304     void VisitObjCContainerDecl(ObjCContainerDecl *D);
305     void VisitObjCInterfaceDecl(ObjCInterfaceDecl *D);
306     void VisitObjCIvarDecl(ObjCIvarDecl *D);
307     void VisitObjCProtocolDecl(ObjCProtocolDecl *D);
308     void VisitObjCAtDefsFieldDecl(ObjCAtDefsFieldDecl *D);
309     void VisitObjCCategoryDecl(ObjCCategoryDecl *D);
310     void VisitObjCImplDecl(ObjCImplDecl *D);
311     void VisitObjCCategoryImplDecl(ObjCCategoryImplDecl *D);
312     void VisitObjCImplementationDecl(ObjCImplementationDecl *D);
313     void VisitObjCCompatibleAliasDecl(ObjCCompatibleAliasDecl *D);
314     void VisitObjCPropertyDecl(ObjCPropertyDecl *D);
315     void VisitObjCPropertyImplDecl(ObjCPropertyImplDecl *D);
316     void VisitOMPThreadPrivateDecl(OMPThreadPrivateDecl *D);
317   };
318 }
319 
320 uint64_t ASTDeclReader::GetCurrentCursorOffset() {
321   return F.DeclsCursor.GetCurrentBitNo() + F.GlobalBitOffset;
322 }
323 
324 void ASTDeclReader::Visit(Decl *D) {
325   DeclVisitor<ASTDeclReader, void>::Visit(D);
326 
327   if (DeclaratorDecl *DD = dyn_cast<DeclaratorDecl>(D)) {
328     if (DD->DeclInfo) {
329       DeclaratorDecl::ExtInfo *Info =
330           DD->DeclInfo.get<DeclaratorDecl::ExtInfo *>();
331       Info->TInfo =
332           GetTypeSourceInfo(Record, Idx);
333     }
334     else {
335       DD->DeclInfo = GetTypeSourceInfo(Record, Idx);
336     }
337   }
338 
339   if (TypeDecl *TD = dyn_cast<TypeDecl>(D)) {
340     // if we have a fully initialized TypeDecl, we can safely read its type now.
341     TD->setTypeForDecl(Reader.GetType(TypeIDForTypeDecl).getTypePtrOrNull());
342   } else if (ObjCInterfaceDecl *ID = dyn_cast<ObjCInterfaceDecl>(D)) {
343     // if we have a fully initialized TypeDecl, we can safely read its type now.
344     ID->TypeForDecl = Reader.GetType(TypeIDForTypeDecl).getTypePtrOrNull();
345   } else if (FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
346     // FunctionDecl's body was written last after all other Stmts/Exprs.
347     // We only read it if FD doesn't already have a body (e.g., from another
348     // module).
349     // FIXME: Also consider = default and = delete.
350     // FIXME: Can we diagnose ODR violations somehow?
351     if (Record[Idx++]) {
352       Reader.PendingBodies[FD] = GetCurrentCursorOffset();
353       HasPendingBody = true;
354     }
355   }
356 }
357 
358 void ASTDeclReader::VisitDecl(Decl *D) {
359   if (D->isTemplateParameter()) {
360     // We don't want to deserialize the DeclContext of a template
361     // parameter immediately, because the template parameter might be
362     // used in the formulation of its DeclContext. Use the translation
363     // unit DeclContext as a placeholder.
364     GlobalDeclID SemaDCIDForTemplateParmDecl = ReadDeclID(Record, Idx);
365     GlobalDeclID LexicalDCIDForTemplateParmDecl = ReadDeclID(Record, Idx);
366     Reader.addPendingDeclContextInfo(D,
367                                      SemaDCIDForTemplateParmDecl,
368                                      LexicalDCIDForTemplateParmDecl);
369     D->setDeclContext(Reader.getContext().getTranslationUnitDecl());
370   } else {
371     DeclContext *SemaDC = ReadDeclAs<DeclContext>(Record, Idx);
372     DeclContext *LexicalDC = ReadDeclAs<DeclContext>(Record, Idx);
373     DeclContext *MergedSemaDC = Reader.MergedDeclContexts.lookup(SemaDC);
374     // Avoid calling setLexicalDeclContext() directly because it uses
375     // Decl::getASTContext() internally which is unsafe during derialization.
376     D->setDeclContextsImpl(MergedSemaDC ? MergedSemaDC : SemaDC, LexicalDC,
377                            Reader.getContext());
378   }
379   D->setLocation(Reader.ReadSourceLocation(F, RawLocation));
380   D->setInvalidDecl(Record[Idx++]);
381   if (Record[Idx++]) { // hasAttrs
382     AttrVec Attrs;
383     Reader.ReadAttributes(F, Attrs, Record, Idx);
384     // Avoid calling setAttrs() directly because it uses Decl::getASTContext()
385     // internally which is unsafe during derialization.
386     D->setAttrsImpl(Attrs, Reader.getContext());
387   }
388   D->setImplicit(Record[Idx++]);
389   D->setIsUsed(Record[Idx++]);
390   D->setReferenced(Record[Idx++]);
391   D->setTopLevelDeclInObjCContainer(Record[Idx++]);
392   D->setAccess((AccessSpecifier)Record[Idx++]);
393   D->FromASTFile = true;
394   D->setModulePrivate(Record[Idx++]);
395   D->Hidden = D->isModulePrivate();
396 
397   // Determine whether this declaration is part of a (sub)module. If so, it
398   // may not yet be visible.
399   if (unsigned SubmoduleID = readSubmoduleID(Record, Idx)) {
400     // Store the owning submodule ID in the declaration.
401     D->setOwningModuleID(SubmoduleID);
402 
403     // Module-private declarations are never visible, so there is no work to do.
404     if (!D->isModulePrivate()) {
405       if (Module *Owner = Reader.getSubmodule(SubmoduleID)) {
406         if (Owner->NameVisibility != Module::AllVisible) {
407           // The owning module is not visible. Mark this declaration as hidden.
408           D->Hidden = true;
409 
410           // Note that this declaration was hidden because its owning module is
411           // not yet visible.
412           Reader.HiddenNamesMap[Owner].push_back(D);
413         }
414       }
415     }
416   }
417 }
418 
419 void ASTDeclReader::VisitTranslationUnitDecl(TranslationUnitDecl *TU) {
420   llvm_unreachable("Translation units are not serialized");
421 }
422 
423 void ASTDeclReader::VisitNamedDecl(NamedDecl *ND) {
424   VisitDecl(ND);
425   ND->setDeclName(Reader.ReadDeclarationName(F, Record, Idx));
426 }
427 
428 void ASTDeclReader::VisitTypeDecl(TypeDecl *TD) {
429   VisitNamedDecl(TD);
430   TD->setLocStart(ReadSourceLocation(Record, Idx));
431   // Delay type reading until after we have fully initialized the decl.
432   TypeIDForTypeDecl = Reader.getGlobalTypeID(F, Record[Idx++]);
433 }
434 
435 void ASTDeclReader::VisitTypedefNameDecl(TypedefNameDecl *TD) {
436   RedeclarableResult Redecl = VisitRedeclarable(TD);
437   VisitTypeDecl(TD);
438   TypeSourceInfo *TInfo = GetTypeSourceInfo(Record, Idx);
439   if (Record[Idx++]) { // isModed
440     QualType modedT = Reader.readType(F, Record, Idx);
441     TD->setModedTypeSourceInfo(TInfo, modedT);
442   } else
443     TD->setTypeSourceInfo(TInfo);
444   mergeRedeclarable(TD, Redecl);
445 }
446 
447 void ASTDeclReader::VisitTypedefDecl(TypedefDecl *TD) {
448   VisitTypedefNameDecl(TD);
449 }
450 
451 void ASTDeclReader::VisitTypeAliasDecl(TypeAliasDecl *TD) {
452   VisitTypedefNameDecl(TD);
453 }
454 
455 ASTDeclReader::RedeclarableResult ASTDeclReader::VisitTagDecl(TagDecl *TD) {
456   RedeclarableResult Redecl = VisitRedeclarable(TD);
457   VisitTypeDecl(TD);
458 
459   TD->IdentifierNamespace = Record[Idx++];
460   TD->setTagKind((TagDecl::TagKind)Record[Idx++]);
461   TD->setCompleteDefinition(Record[Idx++]);
462   TD->setEmbeddedInDeclarator(Record[Idx++]);
463   TD->setFreeStanding(Record[Idx++]);
464   TD->setCompleteDefinitionRequired(Record[Idx++]);
465   TD->setRBraceLoc(ReadSourceLocation(Record, Idx));
466 
467   if (Record[Idx++]) { // hasExtInfo
468     TagDecl::ExtInfo *Info = new (Reader.getContext()) TagDecl::ExtInfo();
469     ReadQualifierInfo(*Info, Record, Idx);
470     TD->NamedDeclOrQualifier = Info;
471   } else
472     TD->NamedDeclOrQualifier = ReadDeclAs<NamedDecl>(Record, Idx);
473 
474   mergeRedeclarable(TD, Redecl);
475   return Redecl;
476 }
477 
478 void ASTDeclReader::VisitEnumDecl(EnumDecl *ED) {
479   VisitTagDecl(ED);
480   if (TypeSourceInfo *TI = Reader.GetTypeSourceInfo(F, Record, Idx))
481     ED->setIntegerTypeSourceInfo(TI);
482   else
483     ED->setIntegerType(Reader.readType(F, Record, Idx));
484   ED->setPromotionType(Reader.readType(F, Record, Idx));
485   ED->setNumPositiveBits(Record[Idx++]);
486   ED->setNumNegativeBits(Record[Idx++]);
487   ED->IsScoped = Record[Idx++];
488   ED->IsScopedUsingClassTag = Record[Idx++];
489   ED->IsFixed = Record[Idx++];
490 
491   if (EnumDecl *InstED = ReadDeclAs<EnumDecl>(Record, Idx)) {
492     TemplateSpecializationKind TSK = (TemplateSpecializationKind)Record[Idx++];
493     SourceLocation POI = ReadSourceLocation(Record, Idx);
494     ED->setInstantiationOfMemberEnum(Reader.getContext(), InstED, TSK);
495     ED->getMemberSpecializationInfo()->setPointOfInstantiation(POI);
496   }
497 }
498 
499 ASTDeclReader::RedeclarableResult
500 ASTDeclReader::VisitRecordDeclImpl(RecordDecl *RD) {
501   RedeclarableResult Redecl = VisitTagDecl(RD);
502   RD->setHasFlexibleArrayMember(Record[Idx++]);
503   RD->setAnonymousStructOrUnion(Record[Idx++]);
504   RD->setHasObjectMember(Record[Idx++]);
505   RD->setHasVolatileMember(Record[Idx++]);
506   return Redecl;
507 }
508 
509 void ASTDeclReader::VisitValueDecl(ValueDecl *VD) {
510   VisitNamedDecl(VD);
511   VD->setType(Reader.readType(F, Record, Idx));
512 }
513 
514 void ASTDeclReader::VisitEnumConstantDecl(EnumConstantDecl *ECD) {
515   VisitValueDecl(ECD);
516   if (Record[Idx++])
517     ECD->setInitExpr(Reader.ReadExpr(F));
518   ECD->setInitVal(Reader.ReadAPSInt(Record, Idx));
519 }
520 
521 void ASTDeclReader::VisitDeclaratorDecl(DeclaratorDecl *DD) {
522   VisitValueDecl(DD);
523   DD->setInnerLocStart(ReadSourceLocation(Record, Idx));
524   if (Record[Idx++]) { // hasExtInfo
525     DeclaratorDecl::ExtInfo *Info
526         = new (Reader.getContext()) DeclaratorDecl::ExtInfo();
527     ReadQualifierInfo(*Info, Record, Idx);
528     DD->DeclInfo = Info;
529   }
530 }
531 
532 void ASTDeclReader::VisitFunctionDecl(FunctionDecl *FD) {
533   RedeclarableResult Redecl = VisitRedeclarable(FD);
534   VisitDeclaratorDecl(FD);
535 
536   ReadDeclarationNameLoc(FD->DNLoc, FD->getDeclName(), Record, Idx);
537   FD->IdentifierNamespace = Record[Idx++];
538 
539   // FunctionDecl's body is handled last at ASTDeclReader::Visit,
540   // after everything else is read.
541 
542   FD->SClass = (StorageClass)Record[Idx++];
543   FD->IsInline = Record[Idx++];
544   FD->IsInlineSpecified = Record[Idx++];
545   FD->IsVirtualAsWritten = Record[Idx++];
546   FD->IsPure = Record[Idx++];
547   FD->HasInheritedPrototype = Record[Idx++];
548   FD->HasWrittenPrototype = Record[Idx++];
549   FD->IsDeleted = Record[Idx++];
550   FD->IsTrivial = Record[Idx++];
551   FD->IsDefaulted = Record[Idx++];
552   FD->IsExplicitlyDefaulted = Record[Idx++];
553   FD->HasImplicitReturnZero = Record[Idx++];
554   FD->IsConstexpr = Record[Idx++];
555   FD->HasSkippedBody = Record[Idx++];
556   FD->IsLateTemplateParsed = Record[Idx++];
557   FD->setCachedLinkage(Linkage(Record[Idx++]));
558   FD->EndRangeLoc = ReadSourceLocation(Record, Idx);
559 
560   switch ((FunctionDecl::TemplatedKind)Record[Idx++]) {
561   case FunctionDecl::TK_NonTemplate:
562     mergeRedeclarable(FD, Redecl);
563     break;
564   case FunctionDecl::TK_FunctionTemplate:
565     FD->setDescribedFunctionTemplate(ReadDeclAs<FunctionTemplateDecl>(Record,
566                                                                       Idx));
567     break;
568   case FunctionDecl::TK_MemberSpecialization: {
569     FunctionDecl *InstFD = ReadDeclAs<FunctionDecl>(Record, Idx);
570     TemplateSpecializationKind TSK = (TemplateSpecializationKind)Record[Idx++];
571     SourceLocation POI = ReadSourceLocation(Record, Idx);
572     FD->setInstantiationOfMemberFunction(Reader.getContext(), InstFD, TSK);
573     FD->getMemberSpecializationInfo()->setPointOfInstantiation(POI);
574     break;
575   }
576   case FunctionDecl::TK_FunctionTemplateSpecialization: {
577     FunctionTemplateDecl *Template = ReadDeclAs<FunctionTemplateDecl>(Record,
578                                                                       Idx);
579     TemplateSpecializationKind TSK = (TemplateSpecializationKind)Record[Idx++];
580 
581     // Template arguments.
582     SmallVector<TemplateArgument, 8> TemplArgs;
583     Reader.ReadTemplateArgumentList(TemplArgs, F, Record, Idx);
584 
585     // Template args as written.
586     SmallVector<TemplateArgumentLoc, 8> TemplArgLocs;
587     SourceLocation LAngleLoc, RAngleLoc;
588     bool HasTemplateArgumentsAsWritten = Record[Idx++];
589     if (HasTemplateArgumentsAsWritten) {
590       unsigned NumTemplateArgLocs = Record[Idx++];
591       TemplArgLocs.reserve(NumTemplateArgLocs);
592       for (unsigned i=0; i != NumTemplateArgLocs; ++i)
593         TemplArgLocs.push_back(
594             Reader.ReadTemplateArgumentLoc(F, Record, Idx));
595 
596       LAngleLoc = ReadSourceLocation(Record, Idx);
597       RAngleLoc = ReadSourceLocation(Record, Idx);
598     }
599 
600     SourceLocation POI = ReadSourceLocation(Record, Idx);
601 
602     ASTContext &C = Reader.getContext();
603     TemplateArgumentList *TemplArgList
604       = TemplateArgumentList::CreateCopy(C, TemplArgs.data(), TemplArgs.size());
605     TemplateArgumentListInfo TemplArgsInfo(LAngleLoc, RAngleLoc);
606     for (unsigned i=0, e = TemplArgLocs.size(); i != e; ++i)
607       TemplArgsInfo.addArgument(TemplArgLocs[i]);
608     FunctionTemplateSpecializationInfo *FTInfo
609         = FunctionTemplateSpecializationInfo::Create(C, FD, Template, TSK,
610                                                      TemplArgList,
611                              HasTemplateArgumentsAsWritten ? &TemplArgsInfo : 0,
612                                                      POI);
613     FD->TemplateOrSpecialization = FTInfo;
614 
615     if (FD->isCanonicalDecl()) { // if canonical add to template's set.
616       // The template that contains the specializations set. It's not safe to
617       // use getCanonicalDecl on Template since it may still be initializing.
618       FunctionTemplateDecl *CanonTemplate
619         = ReadDeclAs<FunctionTemplateDecl>(Record, Idx);
620       // Get the InsertPos by FindNodeOrInsertPos() instead of calling
621       // InsertNode(FTInfo) directly to avoid the getASTContext() call in
622       // FunctionTemplateSpecializationInfo's Profile().
623       // We avoid getASTContext because a decl in the parent hierarchy may
624       // be initializing.
625       llvm::FoldingSetNodeID ID;
626       FunctionTemplateSpecializationInfo::Profile(ID, TemplArgs.data(),
627                                                   TemplArgs.size(), C);
628       void *InsertPos = 0;
629       FunctionTemplateDecl::Common *CommonPtr = CanonTemplate->getCommonPtr();
630       CommonPtr->Specializations.FindNodeOrInsertPos(ID, InsertPos);
631       if (InsertPos)
632         CommonPtr->Specializations.InsertNode(FTInfo, InsertPos);
633       else {
634         assert(Reader.getContext().getLangOpts().Modules &&
635                "already deserialized this template specialization");
636         // FIXME: This specialization is a redeclaration of one from another
637         // module. Merge it.
638       }
639     }
640     break;
641   }
642   case FunctionDecl::TK_DependentFunctionTemplateSpecialization: {
643     // Templates.
644     UnresolvedSet<8> TemplDecls;
645     unsigned NumTemplates = Record[Idx++];
646     while (NumTemplates--)
647       TemplDecls.addDecl(ReadDeclAs<NamedDecl>(Record, Idx));
648 
649     // Templates args.
650     TemplateArgumentListInfo TemplArgs;
651     unsigned NumArgs = Record[Idx++];
652     while (NumArgs--)
653       TemplArgs.addArgument(Reader.ReadTemplateArgumentLoc(F, Record, Idx));
654     TemplArgs.setLAngleLoc(ReadSourceLocation(Record, Idx));
655     TemplArgs.setRAngleLoc(ReadSourceLocation(Record, Idx));
656 
657     FD->setDependentTemplateSpecialization(Reader.getContext(),
658                                            TemplDecls, TemplArgs);
659     break;
660   }
661   }
662 
663   // Read in the parameters.
664   unsigned NumParams = Record[Idx++];
665   SmallVector<ParmVarDecl *, 16> Params;
666   Params.reserve(NumParams);
667   for (unsigned I = 0; I != NumParams; ++I)
668     Params.push_back(ReadDeclAs<ParmVarDecl>(Record, Idx));
669   FD->setParams(Reader.getContext(), Params);
670 }
671 
672 void ASTDeclReader::VisitObjCMethodDecl(ObjCMethodDecl *MD) {
673   VisitNamedDecl(MD);
674   if (Record[Idx++]) {
675     // Load the body on-demand. Most clients won't care, because method
676     // definitions rarely show up in headers.
677     Reader.PendingBodies[MD] = GetCurrentCursorOffset();
678     HasPendingBody = true;
679     MD->setSelfDecl(ReadDeclAs<ImplicitParamDecl>(Record, Idx));
680     MD->setCmdDecl(ReadDeclAs<ImplicitParamDecl>(Record, Idx));
681   }
682   MD->setInstanceMethod(Record[Idx++]);
683   MD->setVariadic(Record[Idx++]);
684   MD->setPropertyAccessor(Record[Idx++]);
685   MD->setDefined(Record[Idx++]);
686   MD->IsOverriding = Record[Idx++];
687   MD->HasSkippedBody = Record[Idx++];
688 
689   MD->IsRedeclaration = Record[Idx++];
690   MD->HasRedeclaration = Record[Idx++];
691   if (MD->HasRedeclaration)
692     Reader.getContext().setObjCMethodRedeclaration(MD,
693                                        ReadDeclAs<ObjCMethodDecl>(Record, Idx));
694 
695   MD->setDeclImplementation((ObjCMethodDecl::ImplementationControl)Record[Idx++]);
696   MD->setObjCDeclQualifier((Decl::ObjCDeclQualifier)Record[Idx++]);
697   MD->SetRelatedResultType(Record[Idx++]);
698   MD->setResultType(Reader.readType(F, Record, Idx));
699   MD->setResultTypeSourceInfo(GetTypeSourceInfo(Record, Idx));
700   MD->DeclEndLoc = ReadSourceLocation(Record, Idx);
701   unsigned NumParams = Record[Idx++];
702   SmallVector<ParmVarDecl *, 16> Params;
703   Params.reserve(NumParams);
704   for (unsigned I = 0; I != NumParams; ++I)
705     Params.push_back(ReadDeclAs<ParmVarDecl>(Record, Idx));
706 
707   MD->SelLocsKind = Record[Idx++];
708   unsigned NumStoredSelLocs = Record[Idx++];
709   SmallVector<SourceLocation, 16> SelLocs;
710   SelLocs.reserve(NumStoredSelLocs);
711   for (unsigned i = 0; i != NumStoredSelLocs; ++i)
712     SelLocs.push_back(ReadSourceLocation(Record, Idx));
713 
714   MD->setParamsAndSelLocs(Reader.getContext(), Params, SelLocs);
715 }
716 
717 void ASTDeclReader::VisitObjCContainerDecl(ObjCContainerDecl *CD) {
718   VisitNamedDecl(CD);
719   CD->setAtStartLoc(ReadSourceLocation(Record, Idx));
720   CD->setAtEndRange(ReadSourceRange(Record, Idx));
721 }
722 
723 void ASTDeclReader::VisitObjCInterfaceDecl(ObjCInterfaceDecl *ID) {
724   RedeclarableResult Redecl = VisitRedeclarable(ID);
725   VisitObjCContainerDecl(ID);
726   TypeIDForTypeDecl = Reader.getGlobalTypeID(F, Record[Idx++]);
727   mergeRedeclarable(ID, Redecl);
728 
729   if (Record[Idx++]) {
730     // Read the definition.
731     ID->allocateDefinitionData();
732 
733     // Set the definition data of the canonical declaration, so other
734     // redeclarations will see it.
735     ID->getCanonicalDecl()->Data = ID->Data;
736 
737     ObjCInterfaceDecl::DefinitionData &Data = ID->data();
738 
739     // Read the superclass.
740     Data.SuperClass = ReadDeclAs<ObjCInterfaceDecl>(Record, Idx);
741     Data.SuperClassLoc = ReadSourceLocation(Record, Idx);
742 
743     Data.EndLoc = ReadSourceLocation(Record, Idx);
744 
745     // Read the directly referenced protocols and their SourceLocations.
746     unsigned NumProtocols = Record[Idx++];
747     SmallVector<ObjCProtocolDecl *, 16> Protocols;
748     Protocols.reserve(NumProtocols);
749     for (unsigned I = 0; I != NumProtocols; ++I)
750       Protocols.push_back(ReadDeclAs<ObjCProtocolDecl>(Record, Idx));
751     SmallVector<SourceLocation, 16> ProtoLocs;
752     ProtoLocs.reserve(NumProtocols);
753     for (unsigned I = 0; I != NumProtocols; ++I)
754       ProtoLocs.push_back(ReadSourceLocation(Record, Idx));
755     ID->setProtocolList(Protocols.data(), NumProtocols, ProtoLocs.data(),
756                         Reader.getContext());
757 
758     // Read the transitive closure of protocols referenced by this class.
759     NumProtocols = Record[Idx++];
760     Protocols.clear();
761     Protocols.reserve(NumProtocols);
762     for (unsigned I = 0; I != NumProtocols; ++I)
763       Protocols.push_back(ReadDeclAs<ObjCProtocolDecl>(Record, Idx));
764     ID->data().AllReferencedProtocols.set(Protocols.data(), NumProtocols,
765                                           Reader.getContext());
766 
767     // We will rebuild this list lazily.
768     ID->setIvarList(0);
769 
770     // Note that we have deserialized a definition.
771     Reader.PendingDefinitions.insert(ID);
772 
773     // Note that we've loaded this Objective-C class.
774     Reader.ObjCClassesLoaded.push_back(ID);
775   } else {
776     ID->Data = ID->getCanonicalDecl()->Data;
777   }
778 }
779 
780 void ASTDeclReader::VisitObjCIvarDecl(ObjCIvarDecl *IVD) {
781   VisitFieldDecl(IVD);
782   IVD->setAccessControl((ObjCIvarDecl::AccessControl)Record[Idx++]);
783   // This field will be built lazily.
784   IVD->setNextIvar(0);
785   bool synth = Record[Idx++];
786   IVD->setSynthesize(synth);
787 }
788 
789 void ASTDeclReader::VisitObjCProtocolDecl(ObjCProtocolDecl *PD) {
790   RedeclarableResult Redecl = VisitRedeclarable(PD);
791   VisitObjCContainerDecl(PD);
792   mergeRedeclarable(PD, Redecl);
793 
794   if (Record[Idx++]) {
795     // Read the definition.
796     PD->allocateDefinitionData();
797 
798     // Set the definition data of the canonical declaration, so other
799     // redeclarations will see it.
800     PD->getCanonicalDecl()->Data = PD->Data;
801 
802     unsigned NumProtoRefs = Record[Idx++];
803     SmallVector<ObjCProtocolDecl *, 16> ProtoRefs;
804     ProtoRefs.reserve(NumProtoRefs);
805     for (unsigned I = 0; I != NumProtoRefs; ++I)
806       ProtoRefs.push_back(ReadDeclAs<ObjCProtocolDecl>(Record, Idx));
807     SmallVector<SourceLocation, 16> ProtoLocs;
808     ProtoLocs.reserve(NumProtoRefs);
809     for (unsigned I = 0; I != NumProtoRefs; ++I)
810       ProtoLocs.push_back(ReadSourceLocation(Record, Idx));
811     PD->setProtocolList(ProtoRefs.data(), NumProtoRefs, ProtoLocs.data(),
812                         Reader.getContext());
813 
814     // Note that we have deserialized a definition.
815     Reader.PendingDefinitions.insert(PD);
816   } else {
817     PD->Data = PD->getCanonicalDecl()->Data;
818   }
819 }
820 
821 void ASTDeclReader::VisitObjCAtDefsFieldDecl(ObjCAtDefsFieldDecl *FD) {
822   VisitFieldDecl(FD);
823 }
824 
825 void ASTDeclReader::VisitObjCCategoryDecl(ObjCCategoryDecl *CD) {
826   VisitObjCContainerDecl(CD);
827   CD->setCategoryNameLoc(ReadSourceLocation(Record, Idx));
828   CD->setIvarLBraceLoc(ReadSourceLocation(Record, Idx));
829   CD->setIvarRBraceLoc(ReadSourceLocation(Record, Idx));
830 
831   // Note that this category has been deserialized. We do this before
832   // deserializing the interface declaration, so that it will consider this
833   /// category.
834   Reader.CategoriesDeserialized.insert(CD);
835 
836   CD->ClassInterface = ReadDeclAs<ObjCInterfaceDecl>(Record, Idx);
837   unsigned NumProtoRefs = Record[Idx++];
838   SmallVector<ObjCProtocolDecl *, 16> ProtoRefs;
839   ProtoRefs.reserve(NumProtoRefs);
840   for (unsigned I = 0; I != NumProtoRefs; ++I)
841     ProtoRefs.push_back(ReadDeclAs<ObjCProtocolDecl>(Record, Idx));
842   SmallVector<SourceLocation, 16> ProtoLocs;
843   ProtoLocs.reserve(NumProtoRefs);
844   for (unsigned I = 0; I != NumProtoRefs; ++I)
845     ProtoLocs.push_back(ReadSourceLocation(Record, Idx));
846   CD->setProtocolList(ProtoRefs.data(), NumProtoRefs, ProtoLocs.data(),
847                       Reader.getContext());
848 }
849 
850 void ASTDeclReader::VisitObjCCompatibleAliasDecl(ObjCCompatibleAliasDecl *CAD) {
851   VisitNamedDecl(CAD);
852   CAD->setClassInterface(ReadDeclAs<ObjCInterfaceDecl>(Record, Idx));
853 }
854 
855 void ASTDeclReader::VisitObjCPropertyDecl(ObjCPropertyDecl *D) {
856   VisitNamedDecl(D);
857   D->setAtLoc(ReadSourceLocation(Record, Idx));
858   D->setLParenLoc(ReadSourceLocation(Record, Idx));
859   D->setType(GetTypeSourceInfo(Record, Idx));
860   // FIXME: stable encoding
861   D->setPropertyAttributes(
862                       (ObjCPropertyDecl::PropertyAttributeKind)Record[Idx++]);
863   D->setPropertyAttributesAsWritten(
864                       (ObjCPropertyDecl::PropertyAttributeKind)Record[Idx++]);
865   // FIXME: stable encoding
866   D->setPropertyImplementation(
867                             (ObjCPropertyDecl::PropertyControl)Record[Idx++]);
868   D->setGetterName(Reader.ReadDeclarationName(F,Record, Idx).getObjCSelector());
869   D->setSetterName(Reader.ReadDeclarationName(F,Record, Idx).getObjCSelector());
870   D->setGetterMethodDecl(ReadDeclAs<ObjCMethodDecl>(Record, Idx));
871   D->setSetterMethodDecl(ReadDeclAs<ObjCMethodDecl>(Record, Idx));
872   D->setPropertyIvarDecl(ReadDeclAs<ObjCIvarDecl>(Record, Idx));
873 }
874 
875 void ASTDeclReader::VisitObjCImplDecl(ObjCImplDecl *D) {
876   VisitObjCContainerDecl(D);
877   D->setClassInterface(ReadDeclAs<ObjCInterfaceDecl>(Record, Idx));
878 }
879 
880 void ASTDeclReader::VisitObjCCategoryImplDecl(ObjCCategoryImplDecl *D) {
881   VisitObjCImplDecl(D);
882   D->setIdentifier(Reader.GetIdentifierInfo(F, Record, Idx));
883   D->CategoryNameLoc = ReadSourceLocation(Record, Idx);
884 }
885 
886 void ASTDeclReader::VisitObjCImplementationDecl(ObjCImplementationDecl *D) {
887   VisitObjCImplDecl(D);
888   D->setSuperClass(ReadDeclAs<ObjCInterfaceDecl>(Record, Idx));
889   D->SuperLoc = ReadSourceLocation(Record, Idx);
890   D->setIvarLBraceLoc(ReadSourceLocation(Record, Idx));
891   D->setIvarRBraceLoc(ReadSourceLocation(Record, Idx));
892   D->setHasNonZeroConstructors(Record[Idx++]);
893   D->setHasDestructors(Record[Idx++]);
894   llvm::tie(D->IvarInitializers, D->NumIvarInitializers)
895       = Reader.ReadCXXCtorInitializers(F, Record, Idx);
896 }
897 
898 
899 void ASTDeclReader::VisitObjCPropertyImplDecl(ObjCPropertyImplDecl *D) {
900   VisitDecl(D);
901   D->setAtLoc(ReadSourceLocation(Record, Idx));
902   D->setPropertyDecl(ReadDeclAs<ObjCPropertyDecl>(Record, Idx));
903   D->PropertyIvarDecl = ReadDeclAs<ObjCIvarDecl>(Record, Idx);
904   D->IvarLoc = ReadSourceLocation(Record, Idx);
905   D->setGetterCXXConstructor(Reader.ReadExpr(F));
906   D->setSetterCXXAssignment(Reader.ReadExpr(F));
907 }
908 
909 void ASTDeclReader::VisitFieldDecl(FieldDecl *FD) {
910   VisitDeclaratorDecl(FD);
911   FD->Mutable = Record[Idx++];
912   if (int BitWidthOrInitializer = Record[Idx++]) {
913     FD->InitializerOrBitWidth.setInt(BitWidthOrInitializer - 1);
914     FD->InitializerOrBitWidth.setPointer(Reader.ReadExpr(F));
915   }
916   if (!FD->getDeclName()) {
917     if (FieldDecl *Tmpl = ReadDeclAs<FieldDecl>(Record, Idx))
918       Reader.getContext().setInstantiatedFromUnnamedFieldDecl(FD, Tmpl);
919   }
920   mergeMergeable(FD);
921 }
922 
923 void ASTDeclReader::VisitMSPropertyDecl(MSPropertyDecl *PD) {
924   VisitDeclaratorDecl(PD);
925   PD->GetterId = Reader.GetIdentifierInfo(F, Record, Idx);
926   PD->SetterId = Reader.GetIdentifierInfo(F, Record, Idx);
927 }
928 
929 void ASTDeclReader::VisitIndirectFieldDecl(IndirectFieldDecl *FD) {
930   VisitValueDecl(FD);
931 
932   FD->ChainingSize = Record[Idx++];
933   assert(FD->ChainingSize >= 2 && "Anonymous chaining must be >= 2");
934   FD->Chaining = new (Reader.getContext())NamedDecl*[FD->ChainingSize];
935 
936   for (unsigned I = 0; I != FD->ChainingSize; ++I)
937     FD->Chaining[I] = ReadDeclAs<NamedDecl>(Record, Idx);
938 }
939 
940 ASTDeclReader::RedeclarableResult ASTDeclReader::VisitVarDeclImpl(VarDecl *VD) {
941   RedeclarableResult Redecl = VisitRedeclarable(VD);
942   VisitDeclaratorDecl(VD);
943 
944   VD->VarDeclBits.SClass = (StorageClass)Record[Idx++];
945   VD->VarDeclBits.TSCSpec = Record[Idx++];
946   VD->VarDeclBits.InitStyle = Record[Idx++];
947   VD->VarDeclBits.ExceptionVar = Record[Idx++];
948   VD->VarDeclBits.NRVOVariable = Record[Idx++];
949   VD->VarDeclBits.CXXForRangeDecl = Record[Idx++];
950   VD->VarDeclBits.ARCPseudoStrong = Record[Idx++];
951   VD->VarDeclBits.IsConstexpr = Record[Idx++];
952   VD->VarDeclBits.IsInitCapture = Record[Idx++];
953   VD->VarDeclBits.PreviousDeclInSameBlockScope = Record[Idx++];
954   Linkage VarLinkage = Linkage(Record[Idx++]);
955   VD->setCachedLinkage(VarLinkage);
956 
957   // Reconstruct the one piece of the IdentifierNamespace that we need.
958   if (VarLinkage != NoLinkage &&
959       VD->getLexicalDeclContext()->isFunctionOrMethod())
960     VD->setLocalExternDecl();
961 
962   // Only true variables (not parameters or implicit parameters) can be merged.
963   if (VD->getKind() != Decl::ParmVar && VD->getKind() != Decl::ImplicitParam)
964     mergeRedeclarable(VD, Redecl);
965 
966   if (uint64_t Val = Record[Idx++]) {
967     VD->setInit(Reader.ReadExpr(F));
968     if (Val > 1) {
969       EvaluatedStmt *Eval = VD->ensureEvaluatedStmt();
970       Eval->CheckedICE = true;
971       Eval->IsICE = Val == 3;
972     }
973   }
974 
975   enum VarKind {
976     VarNotTemplate = 0, VarTemplate, StaticDataMemberSpecialization
977   };
978   switch ((VarKind)Record[Idx++]) {
979   case VarNotTemplate:
980     break;
981   case VarTemplate:
982     VD->setDescribedVarTemplate(ReadDeclAs<VarTemplateDecl>(Record, Idx));
983     break;
984   case StaticDataMemberSpecialization: { // HasMemberSpecializationInfo.
985     VarDecl *Tmpl = ReadDeclAs<VarDecl>(Record, Idx);
986     TemplateSpecializationKind TSK = (TemplateSpecializationKind)Record[Idx++];
987     SourceLocation POI = ReadSourceLocation(Record, Idx);
988     Reader.getContext().setInstantiatedFromStaticDataMember(VD, Tmpl, TSK,POI);
989     break;
990   }
991   }
992 
993   return Redecl;
994 }
995 
996 void ASTDeclReader::VisitImplicitParamDecl(ImplicitParamDecl *PD) {
997   VisitVarDecl(PD);
998 }
999 
1000 void ASTDeclReader::VisitParmVarDecl(ParmVarDecl *PD) {
1001   VisitVarDecl(PD);
1002   unsigned isObjCMethodParam = Record[Idx++];
1003   unsigned scopeDepth = Record[Idx++];
1004   unsigned scopeIndex = Record[Idx++];
1005   unsigned declQualifier = Record[Idx++];
1006   if (isObjCMethodParam) {
1007     assert(scopeDepth == 0);
1008     PD->setObjCMethodScopeInfo(scopeIndex);
1009     PD->ParmVarDeclBits.ScopeDepthOrObjCQuals = declQualifier;
1010   } else {
1011     PD->setScopeInfo(scopeDepth, scopeIndex);
1012   }
1013   PD->ParmVarDeclBits.IsKNRPromoted = Record[Idx++];
1014   PD->ParmVarDeclBits.HasInheritedDefaultArg = Record[Idx++];
1015   if (Record[Idx++]) // hasUninstantiatedDefaultArg.
1016     PD->setUninstantiatedDefaultArg(Reader.ReadExpr(F));
1017 
1018   // FIXME: If this is a redeclaration of a function from another module, handle
1019   // inheritance of default arguments.
1020 }
1021 
1022 void ASTDeclReader::VisitFileScopeAsmDecl(FileScopeAsmDecl *AD) {
1023   VisitDecl(AD);
1024   AD->setAsmString(cast<StringLiteral>(Reader.ReadExpr(F)));
1025   AD->setRParenLoc(ReadSourceLocation(Record, Idx));
1026 }
1027 
1028 void ASTDeclReader::VisitBlockDecl(BlockDecl *BD) {
1029   VisitDecl(BD);
1030   BD->setBody(cast_or_null<CompoundStmt>(Reader.ReadStmt(F)));
1031   BD->setSignatureAsWritten(GetTypeSourceInfo(Record, Idx));
1032   unsigned NumParams = Record[Idx++];
1033   SmallVector<ParmVarDecl *, 16> Params;
1034   Params.reserve(NumParams);
1035   for (unsigned I = 0; I != NumParams; ++I)
1036     Params.push_back(ReadDeclAs<ParmVarDecl>(Record, Idx));
1037   BD->setParams(Params);
1038 
1039   BD->setIsVariadic(Record[Idx++]);
1040   BD->setBlockMissingReturnType(Record[Idx++]);
1041   BD->setIsConversionFromLambda(Record[Idx++]);
1042 
1043   bool capturesCXXThis = Record[Idx++];
1044   unsigned numCaptures = Record[Idx++];
1045   SmallVector<BlockDecl::Capture, 16> captures;
1046   captures.reserve(numCaptures);
1047   for (unsigned i = 0; i != numCaptures; ++i) {
1048     VarDecl *decl = ReadDeclAs<VarDecl>(Record, Idx);
1049     unsigned flags = Record[Idx++];
1050     bool byRef = (flags & 1);
1051     bool nested = (flags & 2);
1052     Expr *copyExpr = ((flags & 4) ? Reader.ReadExpr(F) : 0);
1053 
1054     captures.push_back(BlockDecl::Capture(decl, byRef, nested, copyExpr));
1055   }
1056   BD->setCaptures(Reader.getContext(), captures.begin(),
1057                   captures.end(), capturesCXXThis);
1058 }
1059 
1060 void ASTDeclReader::VisitCapturedDecl(CapturedDecl *CD) {
1061   VisitDecl(CD);
1062   // Body is set by VisitCapturedStmt.
1063   for (unsigned i = 0; i < CD->NumParams; ++i)
1064     CD->setParam(i, ReadDeclAs<ImplicitParamDecl>(Record, Idx));
1065 }
1066 
1067 void ASTDeclReader::VisitLinkageSpecDecl(LinkageSpecDecl *D) {
1068   VisitDecl(D);
1069   D->setLanguage((LinkageSpecDecl::LanguageIDs)Record[Idx++]);
1070   D->setExternLoc(ReadSourceLocation(Record, Idx));
1071   D->setRBraceLoc(ReadSourceLocation(Record, Idx));
1072 }
1073 
1074 void ASTDeclReader::VisitLabelDecl(LabelDecl *D) {
1075   VisitNamedDecl(D);
1076   D->setLocStart(ReadSourceLocation(Record, Idx));
1077 }
1078 
1079 
1080 void ASTDeclReader::VisitNamespaceDecl(NamespaceDecl *D) {
1081   RedeclarableResult Redecl = VisitRedeclarable(D);
1082   VisitNamedDecl(D);
1083   D->setInline(Record[Idx++]);
1084   D->LocStart = ReadSourceLocation(Record, Idx);
1085   D->RBraceLoc = ReadSourceLocation(Record, Idx);
1086   // FIXME: At the point of this call, D->getCanonicalDecl() returns 0.
1087   mergeRedeclarable(D, Redecl);
1088 
1089   if (Redecl.getFirstID() == ThisDeclID) {
1090     // Each module has its own anonymous namespace, which is disjoint from
1091     // any other module's anonymous namespaces, so don't attach the anonymous
1092     // namespace at all.
1093     NamespaceDecl *Anon = ReadDeclAs<NamespaceDecl>(Record, Idx);
1094     if (F.Kind != MK_Module)
1095       D->setAnonymousNamespace(Anon);
1096   } else {
1097     // Link this namespace back to the first declaration, which has already
1098     // been deserialized.
1099     D->AnonOrFirstNamespaceAndInline.setPointer(D->getFirstDeclaration());
1100   }
1101 }
1102 
1103 void ASTDeclReader::VisitNamespaceAliasDecl(NamespaceAliasDecl *D) {
1104   VisitNamedDecl(D);
1105   D->NamespaceLoc = ReadSourceLocation(Record, Idx);
1106   D->IdentLoc = ReadSourceLocation(Record, Idx);
1107   D->QualifierLoc = Reader.ReadNestedNameSpecifierLoc(F, Record, Idx);
1108   D->Namespace = ReadDeclAs<NamedDecl>(Record, Idx);
1109 }
1110 
1111 void ASTDeclReader::VisitUsingDecl(UsingDecl *D) {
1112   VisitNamedDecl(D);
1113   D->setUsingLoc(ReadSourceLocation(Record, Idx));
1114   D->QualifierLoc = Reader.ReadNestedNameSpecifierLoc(F, Record, Idx);
1115   ReadDeclarationNameLoc(D->DNLoc, D->getDeclName(), Record, Idx);
1116   D->FirstUsingShadow.setPointer(ReadDeclAs<UsingShadowDecl>(Record, Idx));
1117   D->setTypename(Record[Idx++]);
1118   if (NamedDecl *Pattern = ReadDeclAs<NamedDecl>(Record, Idx))
1119     Reader.getContext().setInstantiatedFromUsingDecl(D, Pattern);
1120 }
1121 
1122 void ASTDeclReader::VisitUsingShadowDecl(UsingShadowDecl *D) {
1123   VisitNamedDecl(D);
1124   D->setTargetDecl(ReadDeclAs<NamedDecl>(Record, Idx));
1125   D->UsingOrNextShadow = ReadDeclAs<NamedDecl>(Record, Idx);
1126   UsingShadowDecl *Pattern = ReadDeclAs<UsingShadowDecl>(Record, Idx);
1127   if (Pattern)
1128     Reader.getContext().setInstantiatedFromUsingShadowDecl(D, Pattern);
1129 }
1130 
1131 void ASTDeclReader::VisitUsingDirectiveDecl(UsingDirectiveDecl *D) {
1132   VisitNamedDecl(D);
1133   D->UsingLoc = ReadSourceLocation(Record, Idx);
1134   D->NamespaceLoc = ReadSourceLocation(Record, Idx);
1135   D->QualifierLoc = Reader.ReadNestedNameSpecifierLoc(F, Record, Idx);
1136   D->NominatedNamespace = ReadDeclAs<NamedDecl>(Record, Idx);
1137   D->CommonAncestor = ReadDeclAs<DeclContext>(Record, Idx);
1138 }
1139 
1140 void ASTDeclReader::VisitUnresolvedUsingValueDecl(UnresolvedUsingValueDecl *D) {
1141   VisitValueDecl(D);
1142   D->setUsingLoc(ReadSourceLocation(Record, Idx));
1143   D->QualifierLoc = Reader.ReadNestedNameSpecifierLoc(F, Record, Idx);
1144   ReadDeclarationNameLoc(D->DNLoc, D->getDeclName(), Record, Idx);
1145 }
1146 
1147 void ASTDeclReader::VisitUnresolvedUsingTypenameDecl(
1148                                                UnresolvedUsingTypenameDecl *D) {
1149   VisitTypeDecl(D);
1150   D->TypenameLocation = ReadSourceLocation(Record, Idx);
1151   D->QualifierLoc = Reader.ReadNestedNameSpecifierLoc(F, Record, Idx);
1152 }
1153 
1154 void ASTDeclReader::ReadCXXDefinitionData(
1155                                    struct CXXRecordDecl::DefinitionData &Data,
1156                                    const RecordData &Record, unsigned &Idx) {
1157   // Note: the caller has deserialized the IsLambda bit already.
1158   Data.UserDeclaredConstructor = Record[Idx++];
1159   Data.UserDeclaredSpecialMembers = Record[Idx++];
1160   Data.Aggregate = Record[Idx++];
1161   Data.PlainOldData = Record[Idx++];
1162   Data.Empty = Record[Idx++];
1163   Data.Polymorphic = Record[Idx++];
1164   Data.Abstract = Record[Idx++];
1165   Data.IsStandardLayout = Record[Idx++];
1166   Data.HasNoNonEmptyBases = Record[Idx++];
1167   Data.HasPrivateFields = Record[Idx++];
1168   Data.HasProtectedFields = Record[Idx++];
1169   Data.HasPublicFields = Record[Idx++];
1170   Data.HasMutableFields = Record[Idx++];
1171   Data.HasOnlyCMembers = Record[Idx++];
1172   Data.HasInClassInitializer = Record[Idx++];
1173   Data.HasUninitializedReferenceMember = Record[Idx++];
1174   Data.NeedOverloadResolutionForMoveConstructor = Record[Idx++];
1175   Data.NeedOverloadResolutionForMoveAssignment = Record[Idx++];
1176   Data.NeedOverloadResolutionForDestructor = Record[Idx++];
1177   Data.DefaultedMoveConstructorIsDeleted = Record[Idx++];
1178   Data.DefaultedMoveAssignmentIsDeleted = Record[Idx++];
1179   Data.DefaultedDestructorIsDeleted = Record[Idx++];
1180   Data.HasTrivialSpecialMembers = Record[Idx++];
1181   Data.HasIrrelevantDestructor = Record[Idx++];
1182   Data.HasConstexprNonCopyMoveConstructor = Record[Idx++];
1183   Data.DefaultedDefaultConstructorIsConstexpr = Record[Idx++];
1184   Data.HasConstexprDefaultConstructor = Record[Idx++];
1185   Data.HasNonLiteralTypeFieldsOrBases = Record[Idx++];
1186   Data.ComputedVisibleConversions = Record[Idx++];
1187   Data.UserProvidedDefaultConstructor = Record[Idx++];
1188   Data.DeclaredSpecialMembers = Record[Idx++];
1189   Data.ImplicitCopyConstructorHasConstParam = Record[Idx++];
1190   Data.ImplicitCopyAssignmentHasConstParam = Record[Idx++];
1191   Data.HasDeclaredCopyConstructorWithConstParam = Record[Idx++];
1192   Data.HasDeclaredCopyAssignmentWithConstParam = Record[Idx++];
1193   Data.FailedImplicitMoveConstructor = Record[Idx++];
1194   Data.FailedImplicitMoveAssignment = Record[Idx++];
1195 
1196   Data.NumBases = Record[Idx++];
1197   if (Data.NumBases)
1198     Data.Bases = Reader.readCXXBaseSpecifiers(F, Record, Idx);
1199   Data.NumVBases = Record[Idx++];
1200   if (Data.NumVBases)
1201     Data.VBases = Reader.readCXXBaseSpecifiers(F, Record, Idx);
1202 
1203   Reader.ReadUnresolvedSet(F, Data.Conversions, Record, Idx);
1204   Reader.ReadUnresolvedSet(F, Data.VisibleConversions, Record, Idx);
1205   assert(Data.Definition && "Data.Definition should be already set!");
1206   Data.FirstFriend = ReadDeclID(Record, Idx);
1207 
1208   if (Data.IsLambda) {
1209     typedef LambdaExpr::Capture Capture;
1210     CXXRecordDecl::LambdaDefinitionData &Lambda
1211       = static_cast<CXXRecordDecl::LambdaDefinitionData &>(Data);
1212     Lambda.Dependent = Record[Idx++];
1213     Lambda.NumCaptures = Record[Idx++];
1214     Lambda.NumExplicitCaptures = Record[Idx++];
1215     Lambda.ManglingNumber = Record[Idx++];
1216     Lambda.ContextDecl = ReadDecl(Record, Idx);
1217     Lambda.Captures
1218       = (Capture*)Reader.Context.Allocate(sizeof(Capture)*Lambda.NumCaptures);
1219     Capture *ToCapture = Lambda.Captures;
1220     Lambda.MethodTyInfo = GetTypeSourceInfo(Record, Idx);
1221     Lambda.TheLambdaExpr = cast<LambdaExpr>(Reader.ReadExpr(F));
1222     for (unsigned I = 0, N = Lambda.NumCaptures; I != N; ++I) {
1223       SourceLocation Loc = ReadSourceLocation(Record, Idx);
1224       bool IsImplicit = Record[Idx++];
1225       LambdaCaptureKind Kind = static_cast<LambdaCaptureKind>(Record[Idx++]);
1226       switch (Kind) {
1227       case LCK_This:
1228         *ToCapture++ = Capture(Loc, IsImplicit, Kind, 0, SourceLocation());
1229         break;
1230       case LCK_ByCopy:
1231       case LCK_ByRef:
1232         VarDecl *Var = ReadDeclAs<VarDecl>(Record, Idx);
1233         SourceLocation EllipsisLoc = ReadSourceLocation(Record, Idx);
1234         *ToCapture++ = Capture(Loc, IsImplicit, Kind, Var, EllipsisLoc);
1235         break;
1236       }
1237     }
1238   }
1239 }
1240 
1241 ASTDeclReader::RedeclarableResult
1242 ASTDeclReader::VisitCXXRecordDeclImpl(CXXRecordDecl *D) {
1243   RedeclarableResult Redecl = VisitRecordDeclImpl(D);
1244 
1245   ASTContext &C = Reader.getContext();
1246   bool WasDefinition = Record[Idx++];
1247   if (WasDefinition) {
1248     // Determine whether this is a lambda closure type, so that we can
1249     // allocate the appropriate DefinitionData structure.
1250     bool IsLambda = Record[Idx++];
1251     if (IsLambda)
1252       D->DefinitionData = new (C) CXXRecordDecl::LambdaDefinitionData(D, 0,
1253                                                                       false);
1254     else
1255       D->DefinitionData = new (C) struct CXXRecordDecl::DefinitionData(D);
1256 
1257     ReadCXXDefinitionData(*D->DefinitionData, Record, Idx);
1258 
1259     // Propagate the DefinitionData pointer to the canonical declaration, so
1260     // that all other deserialized declarations will see it.
1261     CXXRecordDecl *Canon = D->getCanonicalDecl();
1262     if (Canon == D) {
1263       // Nothing to do.
1264     } else if (!Canon->DefinitionData) {
1265       Canon->DefinitionData = D->DefinitionData;
1266 
1267       // Note that we have deserialized a definition. Any declarations
1268       // deserialized before this one will be be given the DefinitionData
1269       // pointer at the end.
1270       Reader.PendingDefinitions.insert(D);
1271     } else {
1272       // We have already deserialized a definition of this record. This
1273       // definition is no longer really a definition. Note that the pre-existing
1274       // definition is the *real* definition.
1275       // FIXME: Check DefinitionData for consistency with prior definition.
1276       Reader.MergedDeclContexts.insert(
1277           std::make_pair(D, D->getCanonicalDecl()->DefinitionData->Definition));
1278       D->IsCompleteDefinition = false;
1279       D->DefinitionData = D->getCanonicalDecl()->DefinitionData;
1280     }
1281   } else {
1282     // Propagate DefinitionData pointer from the canonical declaration.
1283     D->DefinitionData = D->getCanonicalDecl()->DefinitionData;
1284   }
1285 
1286   enum CXXRecKind {
1287     CXXRecNotTemplate = 0, CXXRecTemplate, CXXRecMemberSpecialization
1288   };
1289   switch ((CXXRecKind)Record[Idx++]) {
1290   case CXXRecNotTemplate:
1291     break;
1292   case CXXRecTemplate:
1293     D->TemplateOrInstantiation = ReadDeclAs<ClassTemplateDecl>(Record, Idx);
1294     break;
1295   case CXXRecMemberSpecialization: {
1296     CXXRecordDecl *RD = ReadDeclAs<CXXRecordDecl>(Record, Idx);
1297     TemplateSpecializationKind TSK = (TemplateSpecializationKind)Record[Idx++];
1298     SourceLocation POI = ReadSourceLocation(Record, Idx);
1299     MemberSpecializationInfo *MSI = new (C) MemberSpecializationInfo(RD, TSK);
1300     MSI->setPointOfInstantiation(POI);
1301     D->TemplateOrInstantiation = MSI;
1302     break;
1303   }
1304   }
1305 
1306   // Lazily load the key function to avoid deserializing every method so we can
1307   // compute it.
1308   if (WasDefinition) {
1309     DeclID KeyFn = ReadDeclID(Record, Idx);
1310     if (KeyFn && D->IsCompleteDefinition)
1311       C.KeyFunctions[D] = KeyFn;
1312   }
1313 
1314   return Redecl;
1315 }
1316 
1317 void ASTDeclReader::VisitCXXMethodDecl(CXXMethodDecl *D) {
1318   VisitFunctionDecl(D);
1319   unsigned NumOverridenMethods = Record[Idx++];
1320   while (NumOverridenMethods--) {
1321     // Avoid invariant checking of CXXMethodDecl::addOverriddenMethod,
1322     // MD may be initializing.
1323     if (CXXMethodDecl *MD = ReadDeclAs<CXXMethodDecl>(Record, Idx))
1324       Reader.getContext().addOverriddenMethod(D, MD);
1325   }
1326 }
1327 
1328 void ASTDeclReader::VisitCXXConstructorDecl(CXXConstructorDecl *D) {
1329   VisitCXXMethodDecl(D);
1330 
1331   D->IsExplicitSpecified = Record[Idx++];
1332   llvm::tie(D->CtorInitializers, D->NumCtorInitializers)
1333       = Reader.ReadCXXCtorInitializers(F, Record, Idx);
1334 }
1335 
1336 void ASTDeclReader::VisitCXXDestructorDecl(CXXDestructorDecl *D) {
1337   VisitCXXMethodDecl(D);
1338 
1339   D->OperatorDelete = ReadDeclAs<FunctionDecl>(Record, Idx);
1340 }
1341 
1342 void ASTDeclReader::VisitCXXConversionDecl(CXXConversionDecl *D) {
1343   VisitCXXMethodDecl(D);
1344   D->IsExplicitSpecified = Record[Idx++];
1345 }
1346 
1347 void ASTDeclReader::VisitImportDecl(ImportDecl *D) {
1348   VisitDecl(D);
1349   D->ImportedAndComplete.setPointer(readModule(Record, Idx));
1350   D->ImportedAndComplete.setInt(Record[Idx++]);
1351   SourceLocation *StoredLocs = reinterpret_cast<SourceLocation *>(D + 1);
1352   for (unsigned I = 0, N = Record.back(); I != N; ++I)
1353     StoredLocs[I] = ReadSourceLocation(Record, Idx);
1354   ++Idx; // The number of stored source locations.
1355 }
1356 
1357 void ASTDeclReader::VisitAccessSpecDecl(AccessSpecDecl *D) {
1358   VisitDecl(D);
1359   D->setColonLoc(ReadSourceLocation(Record, Idx));
1360 }
1361 
1362 void ASTDeclReader::VisitFriendDecl(FriendDecl *D) {
1363   VisitDecl(D);
1364   if (Record[Idx++]) // hasFriendDecl
1365     D->Friend = ReadDeclAs<NamedDecl>(Record, Idx);
1366   else
1367     D->Friend = GetTypeSourceInfo(Record, Idx);
1368   for (unsigned i = 0; i != D->NumTPLists; ++i)
1369     D->getTPLists()[i] = Reader.ReadTemplateParameterList(F, Record, Idx);
1370   D->NextFriend = ReadDeclID(Record, Idx);
1371   D->UnsupportedFriend = (Record[Idx++] != 0);
1372   D->FriendLoc = ReadSourceLocation(Record, Idx);
1373 }
1374 
1375 void ASTDeclReader::VisitFriendTemplateDecl(FriendTemplateDecl *D) {
1376   VisitDecl(D);
1377   unsigned NumParams = Record[Idx++];
1378   D->NumParams = NumParams;
1379   D->Params = new TemplateParameterList*[NumParams];
1380   for (unsigned i = 0; i != NumParams; ++i)
1381     D->Params[i] = Reader.ReadTemplateParameterList(F, Record, Idx);
1382   if (Record[Idx++]) // HasFriendDecl
1383     D->Friend = ReadDeclAs<NamedDecl>(Record, Idx);
1384   else
1385     D->Friend = GetTypeSourceInfo(Record, Idx);
1386   D->FriendLoc = ReadSourceLocation(Record, Idx);
1387 }
1388 
1389 void ASTDeclReader::VisitTemplateDecl(TemplateDecl *D) {
1390   VisitNamedDecl(D);
1391 
1392   NamedDecl *TemplatedDecl = ReadDeclAs<NamedDecl>(Record, Idx);
1393   TemplateParameterList* TemplateParams
1394       = Reader.ReadTemplateParameterList(F, Record, Idx);
1395   D->init(TemplatedDecl, TemplateParams);
1396 
1397   // FIXME: If this is a redeclaration of a template from another module, handle
1398   // inheritance of default template arguments.
1399 }
1400 
1401 ASTDeclReader::RedeclarableResult
1402 ASTDeclReader::VisitRedeclarableTemplateDecl(RedeclarableTemplateDecl *D) {
1403   RedeclarableResult Redecl = VisitRedeclarable(D);
1404 
1405   // Make sure we've allocated the Common pointer first. We do this before
1406   // VisitTemplateDecl so that getCommonPtr() can be used during initialization.
1407   RedeclarableTemplateDecl *CanonD = D->getCanonicalDecl();
1408   if (!CanonD->Common) {
1409     CanonD->Common = CanonD->newCommon(Reader.getContext());
1410     Reader.PendingDefinitions.insert(CanonD);
1411   }
1412   D->Common = CanonD->Common;
1413 
1414   // If this is the first declaration of the template, fill in the information
1415   // for the 'common' pointer.
1416   if (ThisDeclID == Redecl.getFirstID()) {
1417     if (RedeclarableTemplateDecl *RTD
1418           = ReadDeclAs<RedeclarableTemplateDecl>(Record, Idx)) {
1419       assert(RTD->getKind() == D->getKind() &&
1420              "InstantiatedFromMemberTemplate kind mismatch");
1421       D->setInstantiatedFromMemberTemplate(RTD);
1422       if (Record[Idx++])
1423         D->setMemberSpecialization();
1424     }
1425   }
1426 
1427   VisitTemplateDecl(D);
1428   D->IdentifierNamespace = Record[Idx++];
1429 
1430   mergeRedeclarable(D, Redecl);
1431 
1432   return Redecl;
1433 }
1434 
1435 void ASTDeclReader::VisitClassTemplateDecl(ClassTemplateDecl *D) {
1436   RedeclarableResult Redecl = VisitRedeclarableTemplateDecl(D);
1437 
1438   if (ThisDeclID == Redecl.getFirstID()) {
1439     // This ClassTemplateDecl owns a CommonPtr; read it to keep track of all of
1440     // the specializations.
1441     SmallVector<serialization::DeclID, 2> SpecIDs;
1442     SpecIDs.push_back(0);
1443 
1444     // Specializations.
1445     unsigned Size = Record[Idx++];
1446     SpecIDs[0] += Size;
1447     for (unsigned I = 0; I != Size; ++I)
1448       SpecIDs.push_back(ReadDeclID(Record, Idx));
1449 
1450     // Partial specializations.
1451     Size = Record[Idx++];
1452     SpecIDs[0] += Size;
1453     for (unsigned I = 0; I != Size; ++I)
1454       SpecIDs.push_back(ReadDeclID(Record, Idx));
1455 
1456     ClassTemplateDecl::Common *CommonPtr = D->getCommonPtr();
1457     if (SpecIDs[0]) {
1458       typedef serialization::DeclID DeclID;
1459 
1460       // FIXME: Append specializations!
1461       CommonPtr->LazySpecializations
1462         = new (Reader.getContext()) DeclID [SpecIDs.size()];
1463       memcpy(CommonPtr->LazySpecializations, SpecIDs.data(),
1464              SpecIDs.size() * sizeof(DeclID));
1465     }
1466 
1467     CommonPtr->InjectedClassNameType = Reader.readType(F, Record, Idx);
1468   }
1469 }
1470 
1471 /// TODO: Unify with ClassTemplateDecl version?
1472 ///       May require unifying ClassTemplateDecl and
1473 ///        VarTemplateDecl beyond TemplateDecl...
1474 void ASTDeclReader::VisitVarTemplateDecl(VarTemplateDecl *D) {
1475   RedeclarableResult Redecl = VisitRedeclarableTemplateDecl(D);
1476 
1477   if (ThisDeclID == Redecl.getFirstID()) {
1478     // This VarTemplateDecl owns a CommonPtr; read it to keep track of all of
1479     // the specializations.
1480     SmallVector<serialization::DeclID, 2> SpecIDs;
1481     SpecIDs.push_back(0);
1482 
1483     // Specializations.
1484     unsigned Size = Record[Idx++];
1485     SpecIDs[0] += Size;
1486     for (unsigned I = 0; I != Size; ++I)
1487       SpecIDs.push_back(ReadDeclID(Record, Idx));
1488 
1489     // Partial specializations.
1490     Size = Record[Idx++];
1491     SpecIDs[0] += Size;
1492     for (unsigned I = 0; I != Size; ++I)
1493       SpecIDs.push_back(ReadDeclID(Record, Idx));
1494 
1495     VarTemplateDecl::Common *CommonPtr = D->getCommonPtr();
1496     if (SpecIDs[0]) {
1497       typedef serialization::DeclID DeclID;
1498 
1499       // FIXME: Append specializations!
1500       CommonPtr->LazySpecializations =
1501           new (Reader.getContext()) DeclID[SpecIDs.size()];
1502       memcpy(CommonPtr->LazySpecializations, SpecIDs.data(),
1503              SpecIDs.size() * sizeof(DeclID));
1504     }
1505   }
1506 }
1507 
1508 ASTDeclReader::RedeclarableResult
1509 ASTDeclReader::VisitClassTemplateSpecializationDeclImpl(
1510     ClassTemplateSpecializationDecl *D) {
1511   RedeclarableResult Redecl = VisitCXXRecordDeclImpl(D);
1512 
1513   ASTContext &C = Reader.getContext();
1514   if (Decl *InstD = ReadDecl(Record, Idx)) {
1515     if (ClassTemplateDecl *CTD = dyn_cast<ClassTemplateDecl>(InstD)) {
1516       D->SpecializedTemplate = CTD;
1517     } else {
1518       SmallVector<TemplateArgument, 8> TemplArgs;
1519       Reader.ReadTemplateArgumentList(TemplArgs, F, Record, Idx);
1520       TemplateArgumentList *ArgList
1521         = TemplateArgumentList::CreateCopy(C, TemplArgs.data(),
1522                                            TemplArgs.size());
1523       ClassTemplateSpecializationDecl::SpecializedPartialSpecialization *PS
1524           = new (C) ClassTemplateSpecializationDecl::
1525                                              SpecializedPartialSpecialization();
1526       PS->PartialSpecialization
1527           = cast<ClassTemplatePartialSpecializationDecl>(InstD);
1528       PS->TemplateArgs = ArgList;
1529       D->SpecializedTemplate = PS;
1530     }
1531   }
1532 
1533   SmallVector<TemplateArgument, 8> TemplArgs;
1534   Reader.ReadTemplateArgumentList(TemplArgs, F, Record, Idx);
1535   D->TemplateArgs = TemplateArgumentList::CreateCopy(C, TemplArgs.data(),
1536                                                      TemplArgs.size());
1537   D->PointOfInstantiation = ReadSourceLocation(Record, Idx);
1538   D->SpecializationKind = (TemplateSpecializationKind)Record[Idx++];
1539 
1540   bool writtenAsCanonicalDecl = Record[Idx++];
1541   if (writtenAsCanonicalDecl) {
1542     ClassTemplateDecl *CanonPattern = ReadDeclAs<ClassTemplateDecl>(Record,Idx);
1543     if (D->isCanonicalDecl()) { // It's kept in the folding set.
1544       // Set this as, or find, the canonical declaration for this specialization
1545       ClassTemplateSpecializationDecl *CanonSpec;
1546       if (ClassTemplatePartialSpecializationDecl *Partial =
1547               dyn_cast<ClassTemplatePartialSpecializationDecl>(D)) {
1548         CanonSpec = CanonPattern->getCommonPtr()->PartialSpecializations
1549             .GetOrInsertNode(Partial);
1550       } else {
1551         CanonSpec =
1552             CanonPattern->getCommonPtr()->Specializations.GetOrInsertNode(D);
1553       }
1554       // If there was already a canonical specialization, merge into it.
1555       if (CanonSpec != D) {
1556         mergeRedeclarable<TagDecl>(D, CanonSpec, Redecl);
1557 
1558         // This declaration might be a definition. Merge with any existing
1559         // definition.
1560         if (D->DefinitionData) {
1561           if (!CanonSpec->DefinitionData) {
1562             CanonSpec->DefinitionData = D->DefinitionData;
1563           } else {
1564             // FIXME: Check DefinitionData for consistency with prior definition
1565             Reader.PendingDefinitions.erase(D);
1566             Reader.MergedDeclContexts.insert(
1567                 std::make_pair(D, CanonSpec->DefinitionData->Definition));
1568             D->IsCompleteDefinition = false;
1569             D->DefinitionData = CanonSpec->DefinitionData;
1570           }
1571         }
1572       }
1573     }
1574   }
1575 
1576   // Explicit info.
1577   if (TypeSourceInfo *TyInfo = GetTypeSourceInfo(Record, Idx)) {
1578     ClassTemplateSpecializationDecl::ExplicitSpecializationInfo *ExplicitInfo
1579         = new (C) ClassTemplateSpecializationDecl::ExplicitSpecializationInfo;
1580     ExplicitInfo->TypeAsWritten = TyInfo;
1581     ExplicitInfo->ExternLoc = ReadSourceLocation(Record, Idx);
1582     ExplicitInfo->TemplateKeywordLoc = ReadSourceLocation(Record, Idx);
1583     D->ExplicitInfo = ExplicitInfo;
1584   }
1585 
1586   return Redecl;
1587 }
1588 
1589 void ASTDeclReader::VisitClassTemplatePartialSpecializationDecl(
1590                                     ClassTemplatePartialSpecializationDecl *D) {
1591   RedeclarableResult Redecl = VisitClassTemplateSpecializationDeclImpl(D);
1592 
1593   D->TemplateParams = Reader.ReadTemplateParameterList(F, Record, Idx);
1594   D->ArgsAsWritten = Reader.ReadASTTemplateArgumentListInfo(F, Record, Idx);
1595 
1596   // These are read/set from/to the first declaration.
1597   if (ThisDeclID == Redecl.getFirstID()) {
1598     D->InstantiatedFromMember.setPointer(
1599       ReadDeclAs<ClassTemplatePartialSpecializationDecl>(Record, Idx));
1600     D->InstantiatedFromMember.setInt(Record[Idx++]);
1601   }
1602 }
1603 
1604 void ASTDeclReader::VisitClassScopeFunctionSpecializationDecl(
1605                                     ClassScopeFunctionSpecializationDecl *D) {
1606   VisitDecl(D);
1607   D->Specialization = ReadDeclAs<CXXMethodDecl>(Record, Idx);
1608 }
1609 
1610 void ASTDeclReader::VisitFunctionTemplateDecl(FunctionTemplateDecl *D) {
1611   RedeclarableResult Redecl = VisitRedeclarableTemplateDecl(D);
1612 
1613   if (ThisDeclID == Redecl.getFirstID()) {
1614     // This FunctionTemplateDecl owns a CommonPtr; read it.
1615 
1616     // Read the function specialization declaration IDs. The specializations
1617     // themselves will be loaded if they're needed.
1618     if (unsigned NumSpecs = Record[Idx++]) {
1619       // FIXME: Append specializations!
1620       FunctionTemplateDecl::Common *CommonPtr = D->getCommonPtr();
1621       CommonPtr->LazySpecializations = new (Reader.getContext())
1622           serialization::DeclID[NumSpecs + 1];
1623       CommonPtr->LazySpecializations[0] = NumSpecs;
1624       for (unsigned I = 0; I != NumSpecs; ++I)
1625         CommonPtr->LazySpecializations[I + 1] = ReadDeclID(Record, Idx);
1626     }
1627   }
1628 }
1629 
1630 /// TODO: Unify with ClassTemplateSpecializationDecl version?
1631 ///       May require unifying ClassTemplate(Partial)SpecializationDecl and
1632 ///        VarTemplate(Partial)SpecializationDecl with a new data
1633 ///        structure Template(Partial)SpecializationDecl, and
1634 ///        using Template(Partial)SpecializationDecl as input type.
1635 ASTDeclReader::RedeclarableResult
1636 ASTDeclReader::VisitVarTemplateSpecializationDeclImpl(
1637     VarTemplateSpecializationDecl *D) {
1638   RedeclarableResult Redecl = VisitVarDeclImpl(D);
1639 
1640   ASTContext &C = Reader.getContext();
1641   if (Decl *InstD = ReadDecl(Record, Idx)) {
1642     if (VarTemplateDecl *VTD = dyn_cast<VarTemplateDecl>(InstD)) {
1643       D->SpecializedTemplate = VTD;
1644     } else {
1645       SmallVector<TemplateArgument, 8> TemplArgs;
1646       Reader.ReadTemplateArgumentList(TemplArgs, F, Record, Idx);
1647       TemplateArgumentList *ArgList = TemplateArgumentList::CreateCopy(
1648           C, TemplArgs.data(), TemplArgs.size());
1649       VarTemplateSpecializationDecl::SpecializedPartialSpecialization *PS =
1650           new (C)
1651           VarTemplateSpecializationDecl::SpecializedPartialSpecialization();
1652       PS->PartialSpecialization =
1653           cast<VarTemplatePartialSpecializationDecl>(InstD);
1654       PS->TemplateArgs = ArgList;
1655       D->SpecializedTemplate = PS;
1656     }
1657   }
1658 
1659   // Explicit info.
1660   if (TypeSourceInfo *TyInfo = GetTypeSourceInfo(Record, Idx)) {
1661     VarTemplateSpecializationDecl::ExplicitSpecializationInfo *ExplicitInfo =
1662         new (C) VarTemplateSpecializationDecl::ExplicitSpecializationInfo;
1663     ExplicitInfo->TypeAsWritten = TyInfo;
1664     ExplicitInfo->ExternLoc = ReadSourceLocation(Record, Idx);
1665     ExplicitInfo->TemplateKeywordLoc = ReadSourceLocation(Record, Idx);
1666     D->ExplicitInfo = ExplicitInfo;
1667   }
1668 
1669   SmallVector<TemplateArgument, 8> TemplArgs;
1670   Reader.ReadTemplateArgumentList(TemplArgs, F, Record, Idx);
1671   D->TemplateArgs =
1672       TemplateArgumentList::CreateCopy(C, TemplArgs.data(), TemplArgs.size());
1673   D->PointOfInstantiation = ReadSourceLocation(Record, Idx);
1674   D->SpecializationKind = (TemplateSpecializationKind)Record[Idx++];
1675 
1676   bool writtenAsCanonicalDecl = Record[Idx++];
1677   if (writtenAsCanonicalDecl) {
1678     VarTemplateDecl *CanonPattern = ReadDeclAs<VarTemplateDecl>(Record, Idx);
1679     if (D->isCanonicalDecl()) { // It's kept in the folding set.
1680       if (VarTemplatePartialSpecializationDecl *Partial =
1681               dyn_cast<VarTemplatePartialSpecializationDecl>(D)) {
1682         CanonPattern->getCommonPtr()->PartialSpecializations
1683             .GetOrInsertNode(Partial);
1684       } else {
1685         CanonPattern->getCommonPtr()->Specializations.GetOrInsertNode(D);
1686       }
1687     }
1688   }
1689 
1690   return Redecl;
1691 }
1692 
1693 /// TODO: Unify with ClassTemplatePartialSpecializationDecl version?
1694 ///       May require unifying ClassTemplate(Partial)SpecializationDecl and
1695 ///        VarTemplate(Partial)SpecializationDecl with a new data
1696 ///        structure Template(Partial)SpecializationDecl, and
1697 ///        using Template(Partial)SpecializationDecl as input type.
1698 void ASTDeclReader::VisitVarTemplatePartialSpecializationDecl(
1699     VarTemplatePartialSpecializationDecl *D) {
1700   RedeclarableResult Redecl = VisitVarTemplateSpecializationDeclImpl(D);
1701 
1702   D->TemplateParams = Reader.ReadTemplateParameterList(F, Record, Idx);
1703   D->ArgsAsWritten = Reader.ReadASTTemplateArgumentListInfo(F, Record, Idx);
1704 
1705   // These are read/set from/to the first declaration.
1706   if (ThisDeclID == Redecl.getFirstID()) {
1707     D->InstantiatedFromMember.setPointer(
1708         ReadDeclAs<VarTemplatePartialSpecializationDecl>(Record, Idx));
1709     D->InstantiatedFromMember.setInt(Record[Idx++]);
1710   }
1711 }
1712 
1713 void ASTDeclReader::VisitTemplateTypeParmDecl(TemplateTypeParmDecl *D) {
1714   VisitTypeDecl(D);
1715 
1716   D->setDeclaredWithTypename(Record[Idx++]);
1717 
1718   bool Inherited = Record[Idx++];
1719   TypeSourceInfo *DefArg = GetTypeSourceInfo(Record, Idx);
1720   D->setDefaultArgument(DefArg, Inherited);
1721 }
1722 
1723 void ASTDeclReader::VisitNonTypeTemplateParmDecl(NonTypeTemplateParmDecl *D) {
1724   VisitDeclaratorDecl(D);
1725   // TemplateParmPosition.
1726   D->setDepth(Record[Idx++]);
1727   D->setPosition(Record[Idx++]);
1728   if (D->isExpandedParameterPack()) {
1729     void **Data = reinterpret_cast<void **>(D + 1);
1730     for (unsigned I = 0, N = D->getNumExpansionTypes(); I != N; ++I) {
1731       Data[2*I] = Reader.readType(F, Record, Idx).getAsOpaquePtr();
1732       Data[2*I + 1] = GetTypeSourceInfo(Record, Idx);
1733     }
1734   } else {
1735     // Rest of NonTypeTemplateParmDecl.
1736     D->ParameterPack = Record[Idx++];
1737     if (Record[Idx++]) {
1738       Expr *DefArg = Reader.ReadExpr(F);
1739       bool Inherited = Record[Idx++];
1740       D->setDefaultArgument(DefArg, Inherited);
1741    }
1742   }
1743 }
1744 
1745 void ASTDeclReader::VisitTemplateTemplateParmDecl(TemplateTemplateParmDecl *D) {
1746   VisitTemplateDecl(D);
1747   // TemplateParmPosition.
1748   D->setDepth(Record[Idx++]);
1749   D->setPosition(Record[Idx++]);
1750   if (D->isExpandedParameterPack()) {
1751     void **Data = reinterpret_cast<void **>(D + 1);
1752     for (unsigned I = 0, N = D->getNumExpansionTemplateParameters();
1753          I != N; ++I)
1754       Data[I] = Reader.ReadTemplateParameterList(F, Record, Idx);
1755   } else {
1756     // Rest of TemplateTemplateParmDecl.
1757     TemplateArgumentLoc Arg = Reader.ReadTemplateArgumentLoc(F, Record, Idx);
1758     bool IsInherited = Record[Idx++];
1759     D->setDefaultArgument(Arg, IsInherited);
1760     D->ParameterPack = Record[Idx++];
1761   }
1762 }
1763 
1764 void ASTDeclReader::VisitTypeAliasTemplateDecl(TypeAliasTemplateDecl *D) {
1765   VisitRedeclarableTemplateDecl(D);
1766 }
1767 
1768 void ASTDeclReader::VisitStaticAssertDecl(StaticAssertDecl *D) {
1769   VisitDecl(D);
1770   D->AssertExprAndFailed.setPointer(Reader.ReadExpr(F));
1771   D->AssertExprAndFailed.setInt(Record[Idx++]);
1772   D->Message = cast<StringLiteral>(Reader.ReadExpr(F));
1773   D->RParenLoc = ReadSourceLocation(Record, Idx);
1774 }
1775 
1776 void ASTDeclReader::VisitEmptyDecl(EmptyDecl *D) {
1777   VisitDecl(D);
1778 }
1779 
1780 std::pair<uint64_t, uint64_t>
1781 ASTDeclReader::VisitDeclContext(DeclContext *DC) {
1782   uint64_t LexicalOffset = Record[Idx++];
1783   uint64_t VisibleOffset = Record[Idx++];
1784   return std::make_pair(LexicalOffset, VisibleOffset);
1785 }
1786 
1787 template <typename T>
1788 ASTDeclReader::RedeclarableResult
1789 ASTDeclReader::VisitRedeclarable(Redeclarable<T> *D) {
1790   DeclID FirstDeclID = ReadDeclID(Record, Idx);
1791 
1792   // 0 indicates that this declaration was the only declaration of its entity,
1793   // and is used for space optimization.
1794   if (FirstDeclID == 0)
1795     FirstDeclID = ThisDeclID;
1796 
1797   T *FirstDecl = cast_or_null<T>(Reader.GetDecl(FirstDeclID));
1798   if (FirstDecl != D) {
1799     // We delay loading of the redeclaration chain to avoid deeply nested calls.
1800     // We temporarily set the first (canonical) declaration as the previous one
1801     // which is the one that matters and mark the real previous DeclID to be
1802     // loaded & attached later on.
1803     D->RedeclLink = Redeclarable<T>::PreviousDeclLink(FirstDecl);
1804   }
1805 
1806   // Note that this declaration has been deserialized.
1807   Reader.RedeclsDeserialized.insert(static_cast<T *>(D));
1808 
1809   // The result structure takes care to note that we need to load the
1810   // other declaration chains for this ID.
1811   return RedeclarableResult(Reader, FirstDeclID,
1812                             static_cast<T *>(D)->getKind());
1813 }
1814 
1815 /// \brief Attempts to merge the given declaration (D) with another declaration
1816 /// of the same entity.
1817 template<typename T>
1818 void ASTDeclReader::mergeRedeclarable(Redeclarable<T> *D,
1819                                       RedeclarableResult &Redecl) {
1820   // If modules are not available, there is no reason to perform this merge.
1821   if (!Reader.getContext().getLangOpts().Modules)
1822     return;
1823 
1824   if (FindExistingResult ExistingRes = findExisting(static_cast<T*>(D)))
1825     if (T *Existing = ExistingRes)
1826       mergeRedeclarable(D, Existing, Redecl);
1827 }
1828 
1829 /// \brief Attempts to merge the given declaration (D) with another declaration
1830 /// of the same entity.
1831 template<typename T>
1832 void ASTDeclReader::mergeRedeclarable(Redeclarable<T> *D, T *Existing,
1833                                       RedeclarableResult &Redecl) {
1834   T *ExistingCanon = Existing->getCanonicalDecl();
1835   T *DCanon = static_cast<T*>(D)->getCanonicalDecl();
1836   if (ExistingCanon != DCanon) {
1837     // Have our redeclaration link point back at the canonical declaration
1838     // of the existing declaration, so that this declaration has the
1839     // appropriate canonical declaration.
1840     D->RedeclLink = Redeclarable<T>::PreviousDeclLink(ExistingCanon);
1841 
1842     // When we merge a namespace, update its pointer to the first namespace.
1843     if (NamespaceDecl *Namespace
1844           = dyn_cast<NamespaceDecl>(static_cast<T*>(D))) {
1845       Namespace->AnonOrFirstNamespaceAndInline.setPointer(
1846         static_cast<NamespaceDecl *>(static_cast<void*>(ExistingCanon)));
1847     }
1848 
1849     // Don't introduce DCanon into the set of pending declaration chains.
1850     Redecl.suppress();
1851 
1852     // Introduce ExistingCanon into the set of pending declaration chains,
1853     // if in fact it came from a module file.
1854     if (ExistingCanon->isFromASTFile()) {
1855       GlobalDeclID ExistingCanonID = ExistingCanon->getGlobalID();
1856       assert(ExistingCanonID && "Unrecorded canonical declaration ID?");
1857       if (Reader.PendingDeclChainsKnown.insert(ExistingCanonID))
1858         Reader.PendingDeclChains.push_back(ExistingCanonID);
1859     }
1860 
1861     // If this declaration was the canonical declaration, make a note of
1862     // that. We accept the linear algorithm here because the number of
1863     // unique canonical declarations of an entity should always be tiny.
1864     if (DCanon == static_cast<T*>(D)) {
1865       SmallVectorImpl<DeclID> &Merged = Reader.MergedDecls[ExistingCanon];
1866       if (std::find(Merged.begin(), Merged.end(), Redecl.getFirstID())
1867             == Merged.end())
1868         Merged.push_back(Redecl.getFirstID());
1869 
1870       // If ExistingCanon did not come from a module file, introduce the
1871       // first declaration that *does* come from a module file to the
1872       // set of pending declaration chains, so that we merge this
1873       // declaration.
1874       if (!ExistingCanon->isFromASTFile() &&
1875           Reader.PendingDeclChainsKnown.insert(Redecl.getFirstID()))
1876         Reader.PendingDeclChains.push_back(Merged[0]);
1877     }
1878   }
1879 }
1880 
1881 /// \brief Attempts to merge the given declaration (D) with another declaration
1882 /// of the same entity, for the case where the entity is not actually
1883 /// redeclarable. This happens, for instance, when merging the fields of
1884 /// identical class definitions from two different modules.
1885 template<typename T>
1886 void ASTDeclReader::mergeMergeable(Mergeable<T> *D) {
1887   // If modules are not available, there is no reason to perform this merge.
1888   if (!Reader.getContext().getLangOpts().Modules)
1889     return;
1890 
1891   if (FindExistingResult ExistingRes = findExisting(static_cast<T*>(D)))
1892     if (T *Existing = ExistingRes)
1893       Reader.Context.setPrimaryMergedDecl(static_cast<T*>(D),
1894                                           Existing->getCanonicalDecl());
1895 }
1896 
1897 void ASTDeclReader::VisitOMPThreadPrivateDecl(OMPThreadPrivateDecl *D) {
1898   VisitDecl(D);
1899   unsigned NumVars = D->varlist_size();
1900   SmallVector<Expr *, 16> Vars;
1901   Vars.reserve(NumVars);
1902   for (unsigned i = 0; i != NumVars; ++i) {
1903     Vars.push_back(Reader.ReadExpr(F));
1904   }
1905   D->setVars(Vars);
1906 }
1907 
1908 //===----------------------------------------------------------------------===//
1909 // Attribute Reading
1910 //===----------------------------------------------------------------------===//
1911 
1912 /// \brief Reads attributes from the current stream position.
1913 void ASTReader::ReadAttributes(ModuleFile &F, AttrVec &Attrs,
1914                                const RecordData &Record, unsigned &Idx) {
1915   for (unsigned i = 0, e = Record[Idx++]; i != e; ++i) {
1916     Attr *New = 0;
1917     attr::Kind Kind = (attr::Kind)Record[Idx++];
1918     SourceRange Range = ReadSourceRange(F, Record, Idx);
1919 
1920 #include "clang/Serialization/AttrPCHRead.inc"
1921 
1922     assert(New && "Unable to decode attribute?");
1923     Attrs.push_back(New);
1924   }
1925 }
1926 
1927 //===----------------------------------------------------------------------===//
1928 // ASTReader Implementation
1929 //===----------------------------------------------------------------------===//
1930 
1931 /// \brief Note that we have loaded the declaration with the given
1932 /// Index.
1933 ///
1934 /// This routine notes that this declaration has already been loaded,
1935 /// so that future GetDecl calls will return this declaration rather
1936 /// than trying to load a new declaration.
1937 inline void ASTReader::LoadedDecl(unsigned Index, Decl *D) {
1938   assert(!DeclsLoaded[Index] && "Decl loaded twice?");
1939   DeclsLoaded[Index] = D;
1940 }
1941 
1942 
1943 /// \brief Determine whether the consumer will be interested in seeing
1944 /// this declaration (via HandleTopLevelDecl).
1945 ///
1946 /// This routine should return true for anything that might affect
1947 /// code generation, e.g., inline function definitions, Objective-C
1948 /// declarations with metadata, etc.
1949 static bool isConsumerInterestedIn(Decl *D, bool HasBody) {
1950   // An ObjCMethodDecl is never considered as "interesting" because its
1951   // implementation container always is.
1952 
1953   if (isa<FileScopeAsmDecl>(D) ||
1954       isa<ObjCProtocolDecl>(D) ||
1955       isa<ObjCImplDecl>(D))
1956     return true;
1957   if (VarDecl *Var = dyn_cast<VarDecl>(D))
1958     return Var->isFileVarDecl() &&
1959            Var->isThisDeclarationADefinition() == VarDecl::Definition;
1960   if (FunctionDecl *Func = dyn_cast<FunctionDecl>(D))
1961     return Func->doesThisDeclarationHaveABody() || HasBody;
1962 
1963   return false;
1964 }
1965 
1966 /// \brief Get the correct cursor and offset for loading a declaration.
1967 ASTReader::RecordLocation
1968 ASTReader::DeclCursorForID(DeclID ID, unsigned &RawLocation) {
1969   // See if there's an override.
1970   DeclReplacementMap::iterator It = ReplacedDecls.find(ID);
1971   if (It != ReplacedDecls.end()) {
1972     RawLocation = It->second.RawLoc;
1973     return RecordLocation(It->second.Mod, It->second.Offset);
1974   }
1975 
1976   GlobalDeclMapType::iterator I = GlobalDeclMap.find(ID);
1977   assert(I != GlobalDeclMap.end() && "Corrupted global declaration map");
1978   ModuleFile *M = I->second;
1979   const DeclOffset &
1980     DOffs =  M->DeclOffsets[ID - M->BaseDeclID - NUM_PREDEF_DECL_IDS];
1981   RawLocation = DOffs.Loc;
1982   return RecordLocation(M, DOffs.BitOffset);
1983 }
1984 
1985 ASTReader::RecordLocation ASTReader::getLocalBitOffset(uint64_t GlobalOffset) {
1986   ContinuousRangeMap<uint64_t, ModuleFile*, 4>::iterator I
1987     = GlobalBitOffsetsMap.find(GlobalOffset);
1988 
1989   assert(I != GlobalBitOffsetsMap.end() && "Corrupted global bit offsets map");
1990   return RecordLocation(I->second, GlobalOffset - I->second->GlobalBitOffset);
1991 }
1992 
1993 uint64_t ASTReader::getGlobalBitOffset(ModuleFile &M, uint32_t LocalOffset) {
1994   return LocalOffset + M.GlobalBitOffset;
1995 }
1996 
1997 static bool isSameTemplateParameterList(const TemplateParameterList *X,
1998                                         const TemplateParameterList *Y);
1999 
2000 /// \brief Determine whether two template parameters are similar enough
2001 /// that they may be used in declarations of the same template.
2002 static bool isSameTemplateParameter(const NamedDecl *X,
2003                                     const NamedDecl *Y) {
2004   if (X->getKind() != Y->getKind())
2005     return false;
2006 
2007   if (const TemplateTypeParmDecl *TX = dyn_cast<TemplateTypeParmDecl>(X)) {
2008     const TemplateTypeParmDecl *TY = cast<TemplateTypeParmDecl>(Y);
2009     return TX->isParameterPack() == TY->isParameterPack();
2010   }
2011 
2012   if (const NonTypeTemplateParmDecl *TX = dyn_cast<NonTypeTemplateParmDecl>(X)) {
2013     const NonTypeTemplateParmDecl *TY = cast<NonTypeTemplateParmDecl>(Y);
2014     return TX->isParameterPack() == TY->isParameterPack() &&
2015            TX->getASTContext().hasSameType(TX->getType(), TY->getType());
2016   }
2017 
2018   const TemplateTemplateParmDecl *TX = cast<TemplateTemplateParmDecl>(X);
2019   const TemplateTemplateParmDecl *TY = cast<TemplateTemplateParmDecl>(Y);
2020   return TX->isParameterPack() == TY->isParameterPack() &&
2021          isSameTemplateParameterList(TX->getTemplateParameters(),
2022                                      TY->getTemplateParameters());
2023 }
2024 
2025 /// \brief Determine whether two template parameter lists are similar enough
2026 /// that they may be used in declarations of the same template.
2027 static bool isSameTemplateParameterList(const TemplateParameterList *X,
2028                                         const TemplateParameterList *Y) {
2029   if (X->size() != Y->size())
2030     return false;
2031 
2032   for (unsigned I = 0, N = X->size(); I != N; ++I)
2033     if (!isSameTemplateParameter(X->getParam(I), Y->getParam(I)))
2034       return false;
2035 
2036   return true;
2037 }
2038 
2039 /// \brief Determine whether the two declarations refer to the same entity.
2040 static bool isSameEntity(NamedDecl *X, NamedDecl *Y) {
2041   assert(X->getDeclName() == Y->getDeclName() && "Declaration name mismatch!");
2042 
2043   if (X == Y)
2044     return true;
2045 
2046   // Must be in the same context.
2047   if (!X->getDeclContext()->getRedeclContext()->Equals(
2048          Y->getDeclContext()->getRedeclContext()))
2049     return false;
2050 
2051   // Two typedefs refer to the same entity if they have the same underlying
2052   // type.
2053   if (TypedefNameDecl *TypedefX = dyn_cast<TypedefNameDecl>(X))
2054     if (TypedefNameDecl *TypedefY = dyn_cast<TypedefNameDecl>(Y))
2055       return X->getASTContext().hasSameType(TypedefX->getUnderlyingType(),
2056                                             TypedefY->getUnderlyingType());
2057 
2058   // Must have the same kind.
2059   if (X->getKind() != Y->getKind())
2060     return false;
2061 
2062   // Objective-C classes and protocols with the same name always match.
2063   if (isa<ObjCInterfaceDecl>(X) || isa<ObjCProtocolDecl>(X))
2064     return true;
2065 
2066   if (isa<ClassTemplateSpecializationDecl>(X)) {
2067     // No need to handle these here: we merge them when adding them to the
2068     // template.
2069     return false;
2070   }
2071 
2072   // Compatible tags match.
2073   if (TagDecl *TagX = dyn_cast<TagDecl>(X)) {
2074     TagDecl *TagY = cast<TagDecl>(Y);
2075     return (TagX->getTagKind() == TagY->getTagKind()) ||
2076       ((TagX->getTagKind() == TTK_Struct || TagX->getTagKind() == TTK_Class ||
2077         TagX->getTagKind() == TTK_Interface) &&
2078        (TagY->getTagKind() == TTK_Struct || TagY->getTagKind() == TTK_Class ||
2079         TagY->getTagKind() == TTK_Interface));
2080   }
2081 
2082   // Functions with the same type and linkage match.
2083   // FIXME: This needs to cope with function template specializations,
2084   // merging of prototyped/non-prototyped functions, etc.
2085   if (FunctionDecl *FuncX = dyn_cast<FunctionDecl>(X)) {
2086     FunctionDecl *FuncY = cast<FunctionDecl>(Y);
2087     return (FuncX->getLinkageInternal() == FuncY->getLinkageInternal()) &&
2088       FuncX->getASTContext().hasSameType(FuncX->getType(), FuncY->getType());
2089   }
2090 
2091   // Variables with the same type and linkage match.
2092   if (VarDecl *VarX = dyn_cast<VarDecl>(X)) {
2093     VarDecl *VarY = cast<VarDecl>(Y);
2094     return (VarX->getLinkageInternal() == VarY->getLinkageInternal()) &&
2095       VarX->getASTContext().hasSameType(VarX->getType(), VarY->getType());
2096   }
2097 
2098   // Namespaces with the same name and inlinedness match.
2099   if (NamespaceDecl *NamespaceX = dyn_cast<NamespaceDecl>(X)) {
2100     NamespaceDecl *NamespaceY = cast<NamespaceDecl>(Y);
2101     return NamespaceX->isInline() == NamespaceY->isInline();
2102   }
2103 
2104   // Identical template names and kinds match if their template parameter lists
2105   // and patterns match.
2106   if (TemplateDecl *TemplateX = dyn_cast<TemplateDecl>(X)) {
2107     TemplateDecl *TemplateY = cast<TemplateDecl>(Y);
2108     return isSameEntity(TemplateX->getTemplatedDecl(),
2109                         TemplateY->getTemplatedDecl()) &&
2110            isSameTemplateParameterList(TemplateX->getTemplateParameters(),
2111                                        TemplateY->getTemplateParameters());
2112   }
2113 
2114   // Fields with the same name and the same type match.
2115   if (FieldDecl *FDX = dyn_cast<FieldDecl>(X)) {
2116     FieldDecl *FDY = cast<FieldDecl>(Y);
2117     // FIXME: Diagnose if the types don't match. More generally, diagnose if we
2118     // get a declaration in a class definition that isn't in the canonical class
2119     // definition.
2120     return X->getASTContext().hasSameType(FDX->getType(), FDY->getType());
2121   }
2122 
2123   // FIXME: Many other cases to implement.
2124   return false;
2125 }
2126 
2127 /// Find the context in which we should search for previous declarations when
2128 /// looking for declarations to merge.
2129 static DeclContext *getPrimaryContextForMerging(DeclContext *DC) {
2130   if (NamespaceDecl *ND = dyn_cast<NamespaceDecl>(DC))
2131     return ND->getOriginalNamespace();
2132 
2133   if (CXXRecordDecl *RD = dyn_cast<CXXRecordDecl>(DC))
2134     return RD->getDefinition();
2135 
2136   return 0;
2137 }
2138 
2139 ASTDeclReader::FindExistingResult::~FindExistingResult() {
2140   if (!AddResult || Existing)
2141     return;
2142 
2143   DeclContext *DC = New->getDeclContext()->getRedeclContext();
2144   if (DC->isTranslationUnit() && Reader.SemaObj) {
2145     Reader.SemaObj->IdResolver.tryAddTopLevelDecl(New, New->getDeclName());
2146   } else if (DeclContext *MergeDC = getPrimaryContextForMerging(DC)) {
2147     // Add the declaration to its redeclaration context so later merging
2148     // lookups will find it.
2149     MergeDC->makeDeclVisibleInContextImpl(New, /*Internal*/true);
2150   }
2151 }
2152 
2153 ASTDeclReader::FindExistingResult ASTDeclReader::findExisting(NamedDecl *D) {
2154   DeclarationName Name = D->getDeclName();
2155   if (!Name) {
2156     // Don't bother trying to find unnamed declarations.
2157     FindExistingResult Result(Reader, D, /*Existing=*/0);
2158     Result.suppress();
2159     return Result;
2160   }
2161 
2162   DeclContext *DC = D->getDeclContext()->getRedeclContext();
2163   if (DC->isTranslationUnit() && Reader.SemaObj) {
2164     IdentifierResolver &IdResolver = Reader.SemaObj->IdResolver;
2165 
2166     // Temporarily consider the identifier to be up-to-date. We don't want to
2167     // cause additional lookups here.
2168     class UpToDateIdentifierRAII {
2169       IdentifierInfo *II;
2170       bool WasOutToDate;
2171 
2172     public:
2173       explicit UpToDateIdentifierRAII(IdentifierInfo *II)
2174         : II(II), WasOutToDate(false)
2175       {
2176         if (II) {
2177           WasOutToDate = II->isOutOfDate();
2178           if (WasOutToDate)
2179             II->setOutOfDate(false);
2180         }
2181       }
2182 
2183       ~UpToDateIdentifierRAII() {
2184         if (WasOutToDate)
2185           II->setOutOfDate(true);
2186       }
2187     } UpToDate(Name.getAsIdentifierInfo());
2188 
2189     for (IdentifierResolver::iterator I = IdResolver.begin(Name),
2190                                    IEnd = IdResolver.end();
2191          I != IEnd; ++I) {
2192       if (isSameEntity(*I, D))
2193         return FindExistingResult(Reader, D, *I);
2194     }
2195     return FindExistingResult(Reader, D, /*Existing=*/0);
2196   } else if (DeclContext *MergeDC = getPrimaryContextForMerging(DC)) {
2197     DeclContext::lookup_result R = MergeDC->noload_lookup(Name);
2198     for (DeclContext::lookup_iterator I = R.begin(), E = R.end(); I != E; ++I) {
2199       if (isSameEntity(*I, D))
2200         return FindExistingResult(Reader, D, *I);
2201     }
2202     return FindExistingResult(Reader, D, /*Existing=*/0);
2203   }
2204 
2205   return FindExistingResult(Reader);
2206 }
2207 
2208 void ASTDeclReader::attachPreviousDecl(Decl *D, Decl *previous) {
2209   assert(D && previous);
2210   if (TagDecl *TD = dyn_cast<TagDecl>(D)) {
2211     TD->RedeclLink.setNext(cast<TagDecl>(previous));
2212   } else if (FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
2213     FD->RedeclLink.setNext(cast<FunctionDecl>(previous));
2214   } else if (VarDecl *VD = dyn_cast<VarDecl>(D)) {
2215     VD->RedeclLink.setNext(cast<VarDecl>(previous));
2216   } else if (TypedefNameDecl *TD = dyn_cast<TypedefNameDecl>(D)) {
2217     TD->RedeclLink.setNext(cast<TypedefNameDecl>(previous));
2218   } else if (ObjCInterfaceDecl *ID = dyn_cast<ObjCInterfaceDecl>(D)) {
2219     ID->RedeclLink.setNext(cast<ObjCInterfaceDecl>(previous));
2220   } else if (ObjCProtocolDecl *PD = dyn_cast<ObjCProtocolDecl>(D)) {
2221     PD->RedeclLink.setNext(cast<ObjCProtocolDecl>(previous));
2222   } else if (NamespaceDecl *ND = dyn_cast<NamespaceDecl>(D)) {
2223     ND->RedeclLink.setNext(cast<NamespaceDecl>(previous));
2224   } else {
2225     RedeclarableTemplateDecl *TD = cast<RedeclarableTemplateDecl>(D);
2226     TD->RedeclLink.setNext(cast<RedeclarableTemplateDecl>(previous));
2227   }
2228 
2229   // If the declaration was visible in one module, a redeclaration of it in
2230   // another module remains visible even if it wouldn't be visible by itself.
2231   //
2232   // FIXME: In this case, the declaration should only be visible if a module
2233   //        that makes it visible has been imported.
2234   D->IdentifierNamespace |=
2235       previous->IdentifierNamespace &
2236       (Decl::IDNS_Ordinary | Decl::IDNS_Tag | Decl::IDNS_Type);
2237 }
2238 
2239 void ASTDeclReader::attachLatestDecl(Decl *D, Decl *Latest) {
2240   assert(D && Latest);
2241   if (TagDecl *TD = dyn_cast<TagDecl>(D)) {
2242     TD->RedeclLink
2243       = Redeclarable<TagDecl>::LatestDeclLink(cast<TagDecl>(Latest));
2244   } else if (FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
2245     FD->RedeclLink
2246       = Redeclarable<FunctionDecl>::LatestDeclLink(cast<FunctionDecl>(Latest));
2247   } else if (VarDecl *VD = dyn_cast<VarDecl>(D)) {
2248     VD->RedeclLink
2249       = Redeclarable<VarDecl>::LatestDeclLink(cast<VarDecl>(Latest));
2250   } else if (TypedefNameDecl *TD = dyn_cast<TypedefNameDecl>(D)) {
2251     TD->RedeclLink
2252       = Redeclarable<TypedefNameDecl>::LatestDeclLink(
2253                                                 cast<TypedefNameDecl>(Latest));
2254   } else if (ObjCInterfaceDecl *ID = dyn_cast<ObjCInterfaceDecl>(D)) {
2255     ID->RedeclLink
2256       = Redeclarable<ObjCInterfaceDecl>::LatestDeclLink(
2257                                               cast<ObjCInterfaceDecl>(Latest));
2258   } else if (ObjCProtocolDecl *PD = dyn_cast<ObjCProtocolDecl>(D)) {
2259     PD->RedeclLink
2260       = Redeclarable<ObjCProtocolDecl>::LatestDeclLink(
2261                                                 cast<ObjCProtocolDecl>(Latest));
2262   } else if (NamespaceDecl *ND = dyn_cast<NamespaceDecl>(D)) {
2263     ND->RedeclLink
2264       = Redeclarable<NamespaceDecl>::LatestDeclLink(
2265                                                    cast<NamespaceDecl>(Latest));
2266   } else {
2267     RedeclarableTemplateDecl *TD = cast<RedeclarableTemplateDecl>(D);
2268     TD->RedeclLink
2269       = Redeclarable<RedeclarableTemplateDecl>::LatestDeclLink(
2270                                         cast<RedeclarableTemplateDecl>(Latest));
2271   }
2272 }
2273 
2274 ASTReader::MergedDeclsMap::iterator
2275 ASTReader::combineStoredMergedDecls(Decl *Canon, GlobalDeclID CanonID) {
2276   // If we don't have any stored merged declarations, just look in the
2277   // merged declarations set.
2278   StoredMergedDeclsMap::iterator StoredPos = StoredMergedDecls.find(CanonID);
2279   if (StoredPos == StoredMergedDecls.end())
2280     return MergedDecls.find(Canon);
2281 
2282   // Append the stored merged declarations to the merged declarations set.
2283   MergedDeclsMap::iterator Pos = MergedDecls.find(Canon);
2284   if (Pos == MergedDecls.end())
2285     Pos = MergedDecls.insert(std::make_pair(Canon,
2286                                             SmallVector<DeclID, 2>())).first;
2287   Pos->second.append(StoredPos->second.begin(), StoredPos->second.end());
2288   StoredMergedDecls.erase(StoredPos);
2289 
2290   // Sort and uniquify the set of merged declarations.
2291   llvm::array_pod_sort(Pos->second.begin(), Pos->second.end());
2292   Pos->second.erase(std::unique(Pos->second.begin(), Pos->second.end()),
2293                     Pos->second.end());
2294   return Pos;
2295 }
2296 
2297 /// \brief Read the declaration at the given offset from the AST file.
2298 Decl *ASTReader::ReadDeclRecord(DeclID ID) {
2299   unsigned Index = ID - NUM_PREDEF_DECL_IDS;
2300   unsigned RawLocation = 0;
2301   RecordLocation Loc = DeclCursorForID(ID, RawLocation);
2302   llvm::BitstreamCursor &DeclsCursor = Loc.F->DeclsCursor;
2303   // Keep track of where we are in the stream, then jump back there
2304   // after reading this declaration.
2305   SavedStreamPosition SavedPosition(DeclsCursor);
2306 
2307   ReadingKindTracker ReadingKind(Read_Decl, *this);
2308 
2309   // Note that we are loading a declaration record.
2310   Deserializing ADecl(this);
2311 
2312   DeclsCursor.JumpToBit(Loc.Offset);
2313   RecordData Record;
2314   unsigned Code = DeclsCursor.ReadCode();
2315   unsigned Idx = 0;
2316   ASTDeclReader Reader(*this, *Loc.F, ID, RawLocation, Record,Idx);
2317 
2318   Decl *D = 0;
2319   switch ((DeclCode)DeclsCursor.readRecord(Code, Record)) {
2320   case DECL_CONTEXT_LEXICAL:
2321   case DECL_CONTEXT_VISIBLE:
2322     llvm_unreachable("Record cannot be de-serialized with ReadDeclRecord");
2323   case DECL_TYPEDEF:
2324     D = TypedefDecl::CreateDeserialized(Context, ID);
2325     break;
2326   case DECL_TYPEALIAS:
2327     D = TypeAliasDecl::CreateDeserialized(Context, ID);
2328     break;
2329   case DECL_ENUM:
2330     D = EnumDecl::CreateDeserialized(Context, ID);
2331     break;
2332   case DECL_RECORD:
2333     D = RecordDecl::CreateDeserialized(Context, ID);
2334     break;
2335   case DECL_ENUM_CONSTANT:
2336     D = EnumConstantDecl::CreateDeserialized(Context, ID);
2337     break;
2338   case DECL_FUNCTION:
2339     D = FunctionDecl::CreateDeserialized(Context, ID);
2340     break;
2341   case DECL_LINKAGE_SPEC:
2342     D = LinkageSpecDecl::CreateDeserialized(Context, ID);
2343     break;
2344   case DECL_LABEL:
2345     D = LabelDecl::CreateDeserialized(Context, ID);
2346     break;
2347   case DECL_NAMESPACE:
2348     D = NamespaceDecl::CreateDeserialized(Context, ID);
2349     break;
2350   case DECL_NAMESPACE_ALIAS:
2351     D = NamespaceAliasDecl::CreateDeserialized(Context, ID);
2352     break;
2353   case DECL_USING:
2354     D = UsingDecl::CreateDeserialized(Context, ID);
2355     break;
2356   case DECL_USING_SHADOW:
2357     D = UsingShadowDecl::CreateDeserialized(Context, ID);
2358     break;
2359   case DECL_USING_DIRECTIVE:
2360     D = UsingDirectiveDecl::CreateDeserialized(Context, ID);
2361     break;
2362   case DECL_UNRESOLVED_USING_VALUE:
2363     D = UnresolvedUsingValueDecl::CreateDeserialized(Context, ID);
2364     break;
2365   case DECL_UNRESOLVED_USING_TYPENAME:
2366     D = UnresolvedUsingTypenameDecl::CreateDeserialized(Context, ID);
2367     break;
2368   case DECL_CXX_RECORD:
2369     D = CXXRecordDecl::CreateDeserialized(Context, ID);
2370     break;
2371   case DECL_CXX_METHOD:
2372     D = CXXMethodDecl::CreateDeserialized(Context, ID);
2373     break;
2374   case DECL_CXX_CONSTRUCTOR:
2375     D = CXXConstructorDecl::CreateDeserialized(Context, ID);
2376     break;
2377   case DECL_CXX_DESTRUCTOR:
2378     D = CXXDestructorDecl::CreateDeserialized(Context, ID);
2379     break;
2380   case DECL_CXX_CONVERSION:
2381     D = CXXConversionDecl::CreateDeserialized(Context, ID);
2382     break;
2383   case DECL_ACCESS_SPEC:
2384     D = AccessSpecDecl::CreateDeserialized(Context, ID);
2385     break;
2386   case DECL_FRIEND:
2387     D = FriendDecl::CreateDeserialized(Context, ID, Record[Idx++]);
2388     break;
2389   case DECL_FRIEND_TEMPLATE:
2390     D = FriendTemplateDecl::CreateDeserialized(Context, ID);
2391     break;
2392   case DECL_CLASS_TEMPLATE:
2393     D = ClassTemplateDecl::CreateDeserialized(Context, ID);
2394     break;
2395   case DECL_CLASS_TEMPLATE_SPECIALIZATION:
2396     D = ClassTemplateSpecializationDecl::CreateDeserialized(Context, ID);
2397     break;
2398   case DECL_CLASS_TEMPLATE_PARTIAL_SPECIALIZATION:
2399     D = ClassTemplatePartialSpecializationDecl::CreateDeserialized(Context, ID);
2400     break;
2401   case DECL_VAR_TEMPLATE:
2402     D = VarTemplateDecl::CreateDeserialized(Context, ID);
2403     break;
2404   case DECL_VAR_TEMPLATE_SPECIALIZATION:
2405     D = VarTemplateSpecializationDecl::CreateDeserialized(Context, ID);
2406     break;
2407   case DECL_VAR_TEMPLATE_PARTIAL_SPECIALIZATION:
2408     D = VarTemplatePartialSpecializationDecl::CreateDeserialized(Context, ID);
2409     break;
2410   case DECL_CLASS_SCOPE_FUNCTION_SPECIALIZATION:
2411     D = ClassScopeFunctionSpecializationDecl::CreateDeserialized(Context, ID);
2412     break;
2413   case DECL_FUNCTION_TEMPLATE:
2414     D = FunctionTemplateDecl::CreateDeserialized(Context, ID);
2415     break;
2416   case DECL_TEMPLATE_TYPE_PARM:
2417     D = TemplateTypeParmDecl::CreateDeserialized(Context, ID);
2418     break;
2419   case DECL_NON_TYPE_TEMPLATE_PARM:
2420     D = NonTypeTemplateParmDecl::CreateDeserialized(Context, ID);
2421     break;
2422   case DECL_EXPANDED_NON_TYPE_TEMPLATE_PARM_PACK:
2423     D = NonTypeTemplateParmDecl::CreateDeserialized(Context, ID, Record[Idx++]);
2424     break;
2425   case DECL_TEMPLATE_TEMPLATE_PARM:
2426     D = TemplateTemplateParmDecl::CreateDeserialized(Context, ID);
2427     break;
2428   case DECL_EXPANDED_TEMPLATE_TEMPLATE_PARM_PACK:
2429     D = TemplateTemplateParmDecl::CreateDeserialized(Context, ID,
2430                                                      Record[Idx++]);
2431     break;
2432   case DECL_TYPE_ALIAS_TEMPLATE:
2433     D = TypeAliasTemplateDecl::CreateDeserialized(Context, ID);
2434     break;
2435   case DECL_STATIC_ASSERT:
2436     D = StaticAssertDecl::CreateDeserialized(Context, ID);
2437     break;
2438   case DECL_OBJC_METHOD:
2439     D = ObjCMethodDecl::CreateDeserialized(Context, ID);
2440     break;
2441   case DECL_OBJC_INTERFACE:
2442     D = ObjCInterfaceDecl::CreateDeserialized(Context, ID);
2443     break;
2444   case DECL_OBJC_IVAR:
2445     D = ObjCIvarDecl::CreateDeserialized(Context, ID);
2446     break;
2447   case DECL_OBJC_PROTOCOL:
2448     D = ObjCProtocolDecl::CreateDeserialized(Context, ID);
2449     break;
2450   case DECL_OBJC_AT_DEFS_FIELD:
2451     D = ObjCAtDefsFieldDecl::CreateDeserialized(Context, ID);
2452     break;
2453   case DECL_OBJC_CATEGORY:
2454     D = ObjCCategoryDecl::CreateDeserialized(Context, ID);
2455     break;
2456   case DECL_OBJC_CATEGORY_IMPL:
2457     D = ObjCCategoryImplDecl::CreateDeserialized(Context, ID);
2458     break;
2459   case DECL_OBJC_IMPLEMENTATION:
2460     D = ObjCImplementationDecl::CreateDeserialized(Context, ID);
2461     break;
2462   case DECL_OBJC_COMPATIBLE_ALIAS:
2463     D = ObjCCompatibleAliasDecl::CreateDeserialized(Context, ID);
2464     break;
2465   case DECL_OBJC_PROPERTY:
2466     D = ObjCPropertyDecl::CreateDeserialized(Context, ID);
2467     break;
2468   case DECL_OBJC_PROPERTY_IMPL:
2469     D = ObjCPropertyImplDecl::CreateDeserialized(Context, ID);
2470     break;
2471   case DECL_FIELD:
2472     D = FieldDecl::CreateDeserialized(Context, ID);
2473     break;
2474   case DECL_INDIRECTFIELD:
2475     D = IndirectFieldDecl::CreateDeserialized(Context, ID);
2476     break;
2477   case DECL_VAR:
2478     D = VarDecl::CreateDeserialized(Context, ID);
2479     break;
2480   case DECL_IMPLICIT_PARAM:
2481     D = ImplicitParamDecl::CreateDeserialized(Context, ID);
2482     break;
2483   case DECL_PARM_VAR:
2484     D = ParmVarDecl::CreateDeserialized(Context, ID);
2485     break;
2486   case DECL_FILE_SCOPE_ASM:
2487     D = FileScopeAsmDecl::CreateDeserialized(Context, ID);
2488     break;
2489   case DECL_BLOCK:
2490     D = BlockDecl::CreateDeserialized(Context, ID);
2491     break;
2492   case DECL_MS_PROPERTY:
2493     D = MSPropertyDecl::CreateDeserialized(Context, ID);
2494     break;
2495   case DECL_CAPTURED:
2496     D = CapturedDecl::CreateDeserialized(Context, ID, Record[Idx++]);
2497     break;
2498   case DECL_CXX_BASE_SPECIFIERS:
2499     Error("attempt to read a C++ base-specifier record as a declaration");
2500     return 0;
2501   case DECL_IMPORT:
2502     // Note: last entry of the ImportDecl record is the number of stored source
2503     // locations.
2504     D = ImportDecl::CreateDeserialized(Context, ID, Record.back());
2505     break;
2506   case DECL_OMP_THREADPRIVATE:
2507     D = OMPThreadPrivateDecl::CreateDeserialized(Context, ID, Record[Idx++]);
2508     break;
2509   case DECL_EMPTY:
2510     D = EmptyDecl::CreateDeserialized(Context, ID);
2511     break;
2512   }
2513 
2514   assert(D && "Unknown declaration reading AST file");
2515   LoadedDecl(Index, D);
2516   // Set the DeclContext before doing any deserialization, to make sure internal
2517   // calls to Decl::getASTContext() by Decl's methods will find the
2518   // TranslationUnitDecl without crashing.
2519   D->setDeclContext(Context.getTranslationUnitDecl());
2520   Reader.Visit(D);
2521 
2522   // If this declaration is also a declaration context, get the
2523   // offsets for its tables of lexical and visible declarations.
2524   if (DeclContext *DC = dyn_cast<DeclContext>(D)) {
2525     // FIXME: This should really be
2526     //     DeclContext *LookupDC = DC->getPrimaryContext();
2527     // but that can walk the redeclaration chain, which might not work yet.
2528     DeclContext *LookupDC = DC;
2529     if (isa<NamespaceDecl>(DC))
2530       LookupDC = DC->getPrimaryContext();
2531     std::pair<uint64_t, uint64_t> Offsets = Reader.VisitDeclContext(DC);
2532     if (Offsets.first || Offsets.second) {
2533       if (Offsets.first != 0)
2534         DC->setHasExternalLexicalStorage(true);
2535       if (Offsets.second != 0)
2536         LookupDC->setHasExternalVisibleStorage(true);
2537       if (ReadDeclContextStorage(*Loc.F, DeclsCursor, Offsets,
2538                                  Loc.F->DeclContextInfos[DC]))
2539         return 0;
2540     }
2541 
2542     // Now add the pending visible updates for this decl context, if it has any.
2543     DeclContextVisibleUpdatesPending::iterator I =
2544         PendingVisibleUpdates.find(ID);
2545     if (I != PendingVisibleUpdates.end()) {
2546       // There are updates. This means the context has external visible
2547       // storage, even if the original stored version didn't.
2548       LookupDC->setHasExternalVisibleStorage(true);
2549       DeclContextVisibleUpdates &U = I->second;
2550       for (DeclContextVisibleUpdates::iterator UI = U.begin(), UE = U.end();
2551            UI != UE; ++UI) {
2552         DeclContextInfo &Info = UI->second->DeclContextInfos[DC];
2553         delete Info.NameLookupTableData;
2554         Info.NameLookupTableData = UI->first;
2555       }
2556       PendingVisibleUpdates.erase(I);
2557     }
2558   }
2559   assert(Idx == Record.size());
2560 
2561   // Load any relevant update records.
2562   loadDeclUpdateRecords(ID, D);
2563 
2564   // Load the categories after recursive loading is finished.
2565   if (ObjCInterfaceDecl *Class = dyn_cast<ObjCInterfaceDecl>(D))
2566     if (Class->isThisDeclarationADefinition())
2567       loadObjCCategories(ID, Class);
2568 
2569   // If we have deserialized a declaration that has a definition the
2570   // AST consumer might need to know about, queue it.
2571   // We don't pass it to the consumer immediately because we may be in recursive
2572   // loading, and some declarations may still be initializing.
2573   if (isConsumerInterestedIn(D, Reader.hasPendingBody()))
2574     InterestingDecls.push_back(D);
2575 
2576   return D;
2577 }
2578 
2579 void ASTReader::loadDeclUpdateRecords(serialization::DeclID ID, Decl *D) {
2580   // The declaration may have been modified by files later in the chain.
2581   // If this is the case, read the record containing the updates from each file
2582   // and pass it to ASTDeclReader to make the modifications.
2583   DeclUpdateOffsetsMap::iterator UpdI = DeclUpdateOffsets.find(ID);
2584   if (UpdI != DeclUpdateOffsets.end()) {
2585     FileOffsetsTy &UpdateOffsets = UpdI->second;
2586     for (FileOffsetsTy::iterator
2587          I = UpdateOffsets.begin(), E = UpdateOffsets.end(); I != E; ++I) {
2588       ModuleFile *F = I->first;
2589       uint64_t Offset = I->second;
2590       llvm::BitstreamCursor &Cursor = F->DeclsCursor;
2591       SavedStreamPosition SavedPosition(Cursor);
2592       Cursor.JumpToBit(Offset);
2593       RecordData Record;
2594       unsigned Code = Cursor.ReadCode();
2595       unsigned RecCode = Cursor.readRecord(Code, Record);
2596       (void)RecCode;
2597       assert(RecCode == DECL_UPDATES && "Expected DECL_UPDATES record!");
2598 
2599       unsigned Idx = 0;
2600       ASTDeclReader Reader(*this, *F, ID, 0, Record, Idx);
2601       Reader.UpdateDecl(D, *F, Record);
2602     }
2603   }
2604 }
2605 
2606 namespace {
2607   struct CompareLocalRedeclarationsInfoToID {
2608     bool operator()(const LocalRedeclarationsInfo &X, DeclID Y) {
2609       return X.FirstID < Y;
2610     }
2611 
2612     bool operator()(DeclID X, const LocalRedeclarationsInfo &Y) {
2613       return X < Y.FirstID;
2614     }
2615 
2616     bool operator()(const LocalRedeclarationsInfo &X,
2617                     const LocalRedeclarationsInfo &Y) {
2618       return X.FirstID < Y.FirstID;
2619     }
2620     bool operator()(DeclID X, DeclID Y) {
2621       return X < Y;
2622     }
2623   };
2624 
2625   /// \brief Module visitor class that finds all of the redeclarations of a
2626   ///
2627   class RedeclChainVisitor {
2628     ASTReader &Reader;
2629     SmallVectorImpl<DeclID> &SearchDecls;
2630     llvm::SmallPtrSet<Decl *, 16> &Deserialized;
2631     GlobalDeclID CanonID;
2632     SmallVector<Decl *, 4> Chain;
2633 
2634   public:
2635     RedeclChainVisitor(ASTReader &Reader, SmallVectorImpl<DeclID> &SearchDecls,
2636                        llvm::SmallPtrSet<Decl *, 16> &Deserialized,
2637                        GlobalDeclID CanonID)
2638       : Reader(Reader), SearchDecls(SearchDecls), Deserialized(Deserialized),
2639         CanonID(CanonID) {
2640       for (unsigned I = 0, N = SearchDecls.size(); I != N; ++I)
2641         addToChain(Reader.GetDecl(SearchDecls[I]));
2642     }
2643 
2644     static bool visit(ModuleFile &M, bool Preorder, void *UserData) {
2645       if (Preorder)
2646         return false;
2647 
2648       return static_cast<RedeclChainVisitor *>(UserData)->visit(M);
2649     }
2650 
2651     void addToChain(Decl *D) {
2652       if (!D)
2653         return;
2654 
2655       if (Deserialized.erase(D))
2656         Chain.push_back(D);
2657     }
2658 
2659     void searchForID(ModuleFile &M, GlobalDeclID GlobalID) {
2660       // Map global ID of the first declaration down to the local ID
2661       // used in this module file.
2662       DeclID ID = Reader.mapGlobalIDToModuleFileGlobalID(M, GlobalID);
2663       if (!ID)
2664         return;
2665 
2666       // Perform a binary search to find the local redeclarations for this
2667       // declaration (if any).
2668       const LocalRedeclarationsInfo *Result
2669         = std::lower_bound(M.RedeclarationsMap,
2670                            M.RedeclarationsMap + M.LocalNumRedeclarationsInMap,
2671                            ID, CompareLocalRedeclarationsInfoToID());
2672       if (Result == M.RedeclarationsMap + M.LocalNumRedeclarationsInMap ||
2673           Result->FirstID != ID) {
2674         // If we have a previously-canonical singleton declaration that was
2675         // merged into another redeclaration chain, create a trivial chain
2676         // for this single declaration so that it will get wired into the
2677         // complete redeclaration chain.
2678         if (GlobalID != CanonID &&
2679             GlobalID - NUM_PREDEF_DECL_IDS >= M.BaseDeclID &&
2680             GlobalID - NUM_PREDEF_DECL_IDS < M.BaseDeclID + M.LocalNumDecls) {
2681           addToChain(Reader.GetDecl(GlobalID));
2682         }
2683 
2684         return;
2685       }
2686 
2687       // Dig out all of the redeclarations.
2688       unsigned Offset = Result->Offset;
2689       unsigned N = M.RedeclarationChains[Offset];
2690       M.RedeclarationChains[Offset++] = 0; // Don't try to deserialize again
2691       for (unsigned I = 0; I != N; ++I)
2692         addToChain(Reader.GetLocalDecl(M, M.RedeclarationChains[Offset++]));
2693     }
2694 
2695     bool visit(ModuleFile &M) {
2696       // Visit each of the declarations.
2697       for (unsigned I = 0, N = SearchDecls.size(); I != N; ++I)
2698         searchForID(M, SearchDecls[I]);
2699       return false;
2700     }
2701 
2702     ArrayRef<Decl *> getChain() const {
2703       return Chain;
2704     }
2705   };
2706 }
2707 
2708 void ASTReader::loadPendingDeclChain(serialization::GlobalDeclID ID) {
2709   Decl *D = GetDecl(ID);
2710   Decl *CanonDecl = D->getCanonicalDecl();
2711 
2712   // Determine the set of declaration IDs we'll be searching for.
2713   SmallVector<DeclID, 1> SearchDecls;
2714   GlobalDeclID CanonID = 0;
2715   if (D == CanonDecl) {
2716     SearchDecls.push_back(ID); // Always first.
2717     CanonID = ID;
2718   }
2719   MergedDeclsMap::iterator MergedPos = combineStoredMergedDecls(CanonDecl, ID);
2720   if (MergedPos != MergedDecls.end())
2721     SearchDecls.append(MergedPos->second.begin(), MergedPos->second.end());
2722 
2723   // Build up the list of redeclarations.
2724   RedeclChainVisitor Visitor(*this, SearchDecls, RedeclsDeserialized, CanonID);
2725   ModuleMgr.visitDepthFirst(&RedeclChainVisitor::visit, &Visitor);
2726 
2727   // Retrieve the chains.
2728   ArrayRef<Decl *> Chain = Visitor.getChain();
2729   if (Chain.empty())
2730     return;
2731 
2732   // Hook up the chains.
2733   Decl *MostRecent = CanonDecl->getMostRecentDecl();
2734   for (unsigned I = 0, N = Chain.size(); I != N; ++I) {
2735     if (Chain[I] == CanonDecl)
2736       continue;
2737 
2738     ASTDeclReader::attachPreviousDecl(Chain[I], MostRecent);
2739     MostRecent = Chain[I];
2740   }
2741 
2742   ASTDeclReader::attachLatestDecl(CanonDecl, MostRecent);
2743 }
2744 
2745 namespace {
2746   struct CompareObjCCategoriesInfo {
2747     bool operator()(const ObjCCategoriesInfo &X, DeclID Y) {
2748       return X.DefinitionID < Y;
2749     }
2750 
2751     bool operator()(DeclID X, const ObjCCategoriesInfo &Y) {
2752       return X < Y.DefinitionID;
2753     }
2754 
2755     bool operator()(const ObjCCategoriesInfo &X,
2756                     const ObjCCategoriesInfo &Y) {
2757       return X.DefinitionID < Y.DefinitionID;
2758     }
2759     bool operator()(DeclID X, DeclID Y) {
2760       return X < Y;
2761     }
2762   };
2763 
2764   /// \brief Given an ObjC interface, goes through the modules and links to the
2765   /// interface all the categories for it.
2766   class ObjCCategoriesVisitor {
2767     ASTReader &Reader;
2768     serialization::GlobalDeclID InterfaceID;
2769     ObjCInterfaceDecl *Interface;
2770     llvm::SmallPtrSet<ObjCCategoryDecl *, 16> &Deserialized;
2771     unsigned PreviousGeneration;
2772     ObjCCategoryDecl *Tail;
2773     llvm::DenseMap<DeclarationName, ObjCCategoryDecl *> NameCategoryMap;
2774 
2775     void add(ObjCCategoryDecl *Cat) {
2776       // Only process each category once.
2777       if (!Deserialized.erase(Cat))
2778         return;
2779 
2780       // Check for duplicate categories.
2781       if (Cat->getDeclName()) {
2782         ObjCCategoryDecl *&Existing = NameCategoryMap[Cat->getDeclName()];
2783         if (Existing &&
2784             Reader.getOwningModuleFile(Existing)
2785                                           != Reader.getOwningModuleFile(Cat)) {
2786           // FIXME: We should not warn for duplicates in diamond:
2787           //
2788           //   MT     //
2789           //  /  \    //
2790           // ML  MR   //
2791           //  \  /    //
2792           //   MB     //
2793           //
2794           // If there are duplicates in ML/MR, there will be warning when
2795           // creating MB *and* when importing MB. We should not warn when
2796           // importing.
2797           Reader.Diag(Cat->getLocation(), diag::warn_dup_category_def)
2798             << Interface->getDeclName() << Cat->getDeclName();
2799           Reader.Diag(Existing->getLocation(), diag::note_previous_definition);
2800         } else if (!Existing) {
2801           // Record this category.
2802           Existing = Cat;
2803         }
2804       }
2805 
2806       // Add this category to the end of the chain.
2807       if (Tail)
2808         ASTDeclReader::setNextObjCCategory(Tail, Cat);
2809       else
2810         Interface->setCategoryListRaw(Cat);
2811       Tail = Cat;
2812     }
2813 
2814   public:
2815     ObjCCategoriesVisitor(ASTReader &Reader,
2816                           serialization::GlobalDeclID InterfaceID,
2817                           ObjCInterfaceDecl *Interface,
2818                         llvm::SmallPtrSet<ObjCCategoryDecl *, 16> &Deserialized,
2819                           unsigned PreviousGeneration)
2820       : Reader(Reader), InterfaceID(InterfaceID), Interface(Interface),
2821         Deserialized(Deserialized), PreviousGeneration(PreviousGeneration),
2822         Tail(0)
2823     {
2824       // Populate the name -> category map with the set of known categories.
2825       for (ObjCInterfaceDecl::known_categories_iterator
2826              Cat = Interface->known_categories_begin(),
2827              CatEnd = Interface->known_categories_end();
2828            Cat != CatEnd; ++Cat) {
2829         if (Cat->getDeclName())
2830           NameCategoryMap[Cat->getDeclName()] = *Cat;
2831 
2832         // Keep track of the tail of the category list.
2833         Tail = *Cat;
2834       }
2835     }
2836 
2837     static bool visit(ModuleFile &M, void *UserData) {
2838       return static_cast<ObjCCategoriesVisitor *>(UserData)->visit(M);
2839     }
2840 
2841     bool visit(ModuleFile &M) {
2842       // If we've loaded all of the category information we care about from
2843       // this module file, we're done.
2844       if (M.Generation <= PreviousGeneration)
2845         return true;
2846 
2847       // Map global ID of the definition down to the local ID used in this
2848       // module file. If there is no such mapping, we'll find nothing here
2849       // (or in any module it imports).
2850       DeclID LocalID = Reader.mapGlobalIDToModuleFileGlobalID(M, InterfaceID);
2851       if (!LocalID)
2852         return true;
2853 
2854       // Perform a binary search to find the local redeclarations for this
2855       // declaration (if any).
2856       const ObjCCategoriesInfo *Result
2857         = std::lower_bound(M.ObjCCategoriesMap,
2858                            M.ObjCCategoriesMap + M.LocalNumObjCCategoriesInMap,
2859                            LocalID, CompareObjCCategoriesInfo());
2860       if (Result == M.ObjCCategoriesMap + M.LocalNumObjCCategoriesInMap ||
2861           Result->DefinitionID != LocalID) {
2862         // We didn't find anything. If the class definition is in this module
2863         // file, then the module files it depends on cannot have any categories,
2864         // so suppress further lookup.
2865         return Reader.isDeclIDFromModule(InterfaceID, M);
2866       }
2867 
2868       // We found something. Dig out all of the categories.
2869       unsigned Offset = Result->Offset;
2870       unsigned N = M.ObjCCategories[Offset];
2871       M.ObjCCategories[Offset++] = 0; // Don't try to deserialize again
2872       for (unsigned I = 0; I != N; ++I)
2873         add(cast_or_null<ObjCCategoryDecl>(
2874               Reader.GetLocalDecl(M, M.ObjCCategories[Offset++])));
2875       return true;
2876     }
2877   };
2878 }
2879 
2880 void ASTReader::loadObjCCategories(serialization::GlobalDeclID ID,
2881                                    ObjCInterfaceDecl *D,
2882                                    unsigned PreviousGeneration) {
2883   ObjCCategoriesVisitor Visitor(*this, ID, D, CategoriesDeserialized,
2884                                 PreviousGeneration);
2885   ModuleMgr.visit(ObjCCategoriesVisitor::visit, &Visitor);
2886 }
2887 
2888 void ASTDeclReader::UpdateDecl(Decl *D, ModuleFile &ModuleFile,
2889                                const RecordData &Record) {
2890   unsigned Idx = 0;
2891   while (Idx < Record.size()) {
2892     switch ((DeclUpdateKind)Record[Idx++]) {
2893     case UPD_CXX_ADDED_IMPLICIT_MEMBER:
2894       cast<CXXRecordDecl>(D)->addedMember(Reader.ReadDecl(ModuleFile, Record, Idx));
2895       break;
2896 
2897     case UPD_CXX_ADDED_TEMPLATE_SPECIALIZATION:
2898       // It will be added to the template's specializations set when loaded.
2899       (void)Reader.ReadDecl(ModuleFile, Record, Idx);
2900       break;
2901 
2902     case UPD_CXX_ADDED_ANONYMOUS_NAMESPACE: {
2903       NamespaceDecl *Anon
2904         = Reader.ReadDeclAs<NamespaceDecl>(ModuleFile, Record, Idx);
2905 
2906       // Each module has its own anonymous namespace, which is disjoint from
2907       // any other module's anonymous namespaces, so don't attach the anonymous
2908       // namespace at all.
2909       if (ModuleFile.Kind != MK_Module) {
2910         if (TranslationUnitDecl *TU = dyn_cast<TranslationUnitDecl>(D))
2911           TU->setAnonymousNamespace(Anon);
2912         else
2913           cast<NamespaceDecl>(D)->setAnonymousNamespace(Anon);
2914       }
2915       break;
2916     }
2917 
2918     case UPD_CXX_INSTANTIATED_STATIC_DATA_MEMBER:
2919       cast<VarDecl>(D)->getMemberSpecializationInfo()->setPointOfInstantiation(
2920           Reader.ReadSourceLocation(ModuleFile, Record, Idx));
2921       break;
2922 
2923     case UPD_CXX_DEDUCED_RETURN_TYPE: {
2924       FunctionDecl *FD = cast<FunctionDecl>(D);
2925       Reader.Context.adjustDeducedFunctionResultType(
2926           FD, Reader.readType(ModuleFile, Record, Idx));
2927       break;
2928     }
2929 
2930     case UPD_DECL_MARKED_USED: {
2931       // FIXME: This doesn't send the right notifications if there are
2932       // ASTMutationListeners other than an ASTWriter.
2933       D->setIsUsed(true);
2934       break;
2935     }
2936     }
2937   }
2938 }
2939