ASTReaderDecl.cpp revision 4bbb8501d9db2ae72b1e39afaafa5795d67ffe03
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 "ASTCommon.h"
16#include "clang/Serialization/ASTReader.h"
17#include "clang/Sema/IdentifierResolver.h"
18#include "clang/Sema/Sema.h"
19#include "clang/Sema/SemaDiagnostic.h"
20#include "clang/AST/ASTConsumer.h"
21#include "clang/AST/ASTContext.h"
22#include "clang/AST/DeclVisitor.h"
23#include "clang/AST/DeclGroup.h"
24#include "clang/AST/DeclCXX.h"
25#include "clang/AST/DeclTemplate.h"
26#include "clang/AST/Expr.h"
27using namespace clang;
28using namespace clang::serialization;
29
30//===----------------------------------------------------------------------===//
31// Declaration deserialization
32//===----------------------------------------------------------------------===//
33
34namespace clang {
35  class ASTDeclReader : public DeclVisitor<ASTDeclReader, void> {
36    ASTReader &Reader;
37    ModuleFile &F;
38    llvm::BitstreamCursor &Cursor;
39    const DeclID ThisDeclID;
40    const unsigned RawLocation;
41    typedef ASTReader::RecordData RecordData;
42    const RecordData &Record;
43    unsigned &Idx;
44    TypeID TypeIDForTypeDecl;
45
46    DeclID DeclContextIDForTemplateParmDecl;
47    DeclID LexicalDeclContextIDForTemplateParmDecl;
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
117      RedeclarableResult &operator=(RedeclarableResult&); // DO NOT IMPLEMENT
118
119    public:
120      RedeclarableResult(ASTReader &Reader, GlobalDeclID FirstID)
121        : Reader(Reader), FirstID(FirstID), Owning(true) { }
122
123      RedeclarableResult(const RedeclarableResult &Other)
124        : Reader(Other.Reader), FirstID(Other.FirstID), Owning(Other.Owning)
125      {
126        Other.Owning = false;
127      }
128
129      ~RedeclarableResult() {
130        // FIXME: We want to suppress this when the declaration is local to
131        // a function, since there's no reason to search other AST files
132        // for redeclarations (they can't exist). However, this is hard to
133        // do locally because the declaration hasn't necessarily loaded its
134        // declaration context yet. Also, local externs still have the function
135        // as their (semantic) declaration context, which is wrong and would
136        // break this optimize.
137
138        if (FirstID && Owning && Reader.PendingDeclChainsKnown.insert(FirstID))
139          Reader.PendingDeclChains.push_back(FirstID);
140      }
141
142      /// \brief Retrieve the first ID.
143      GlobalDeclID getFirstID() const { return FirstID; }
144
145      /// \brief Do not introduce this declaration ID into the set of pending
146      /// declaration chains.
147      void suppress() {
148        Owning = false;
149      }
150    };
151
152    /// \brief Class used to capture the result of searching for an existing
153    /// declaration of a specific kind and name, along with the ability
154    /// to update the place where this result was found (the declaration
155    /// chain hanging off an identifier or the DeclContext we searched in)
156    /// if requested.
157    class FindExistingResult {
158      ASTReader &Reader;
159      NamedDecl *New;
160      NamedDecl *Existing;
161      mutable bool AddResult;
162
163      FindExistingResult &operator=(FindExistingResult&); // DO NOT IMPLEMENT
164
165    public:
166      FindExistingResult(ASTReader &Reader)
167        : Reader(Reader), New(0), Existing(0), AddResult(false) { }
168
169      FindExistingResult(ASTReader &Reader, NamedDecl *New, NamedDecl *Existing)
170        : Reader(Reader), New(New), Existing(Existing), AddResult(true) { }
171
172      FindExistingResult(const FindExistingResult &Other)
173        : Reader(Other.Reader), New(Other.New), Existing(Other.Existing),
174          AddResult(Other.AddResult)
175      {
176        Other.AddResult = false;
177      }
178
179      ~FindExistingResult();
180
181      /// \brief Suppress the addition of this result into the known set of
182      /// names.
183      void suppress() { AddResult = false; }
184
185      operator NamedDecl*() const { return Existing; }
186
187      template<typename T>
188      operator T*() const { return dyn_cast_or_null<T>(Existing); }
189    };
190
191    FindExistingResult findExisting(NamedDecl *D);
192
193  public:
194    ASTDeclReader(ASTReader &Reader, ModuleFile &F,
195                  llvm::BitstreamCursor &Cursor, DeclID thisDeclID,
196                  unsigned RawLocation,
197                  const RecordData &Record, unsigned &Idx)
198      : Reader(Reader), F(F), Cursor(Cursor), ThisDeclID(thisDeclID),
199        RawLocation(RawLocation), Record(Record), Idx(Idx),
200        TypeIDForTypeDecl(0) { }
201
202    static void attachPreviousDecl(Decl *D, Decl *previous);
203    static void attachLatestDecl(Decl *D, Decl *latest);
204
205    void Visit(Decl *D);
206
207    void UpdateDecl(Decl *D, ModuleFile &ModuleFile,
208                    const RecordData &Record);
209
210    static void setNextObjCCategory(ObjCCategoryDecl *Cat,
211                                    ObjCCategoryDecl *Next) {
212      Cat->NextClassCategory = Next;
213    }
214
215    void VisitDecl(Decl *D);
216    void VisitTranslationUnitDecl(TranslationUnitDecl *TU);
217    void VisitNamedDecl(NamedDecl *ND);
218    void VisitLabelDecl(LabelDecl *LD);
219    void VisitNamespaceDecl(NamespaceDecl *D);
220    void VisitUsingDirectiveDecl(UsingDirectiveDecl *D);
221    void VisitNamespaceAliasDecl(NamespaceAliasDecl *D);
222    void VisitTypeDecl(TypeDecl *TD);
223    void VisitTypedefNameDecl(TypedefNameDecl *TD);
224    void VisitTypedefDecl(TypedefDecl *TD);
225    void VisitTypeAliasDecl(TypeAliasDecl *TD);
226    void VisitUnresolvedUsingTypenameDecl(UnresolvedUsingTypenameDecl *D);
227    void VisitTagDecl(TagDecl *TD);
228    void VisitEnumDecl(EnumDecl *ED);
229    void VisitRecordDecl(RecordDecl *RD);
230    void VisitCXXRecordDecl(CXXRecordDecl *D);
231    void VisitClassTemplateSpecializationDecl(
232                                            ClassTemplateSpecializationDecl *D);
233    void VisitClassTemplatePartialSpecializationDecl(
234                                     ClassTemplatePartialSpecializationDecl *D);
235    void VisitClassScopeFunctionSpecializationDecl(
236                                       ClassScopeFunctionSpecializationDecl *D);
237    void VisitTemplateTypeParmDecl(TemplateTypeParmDecl *D);
238    void VisitValueDecl(ValueDecl *VD);
239    void VisitEnumConstantDecl(EnumConstantDecl *ECD);
240    void VisitUnresolvedUsingValueDecl(UnresolvedUsingValueDecl *D);
241    void VisitDeclaratorDecl(DeclaratorDecl *DD);
242    void VisitFunctionDecl(FunctionDecl *FD);
243    void VisitCXXMethodDecl(CXXMethodDecl *D);
244    void VisitCXXConstructorDecl(CXXConstructorDecl *D);
245    void VisitCXXDestructorDecl(CXXDestructorDecl *D);
246    void VisitCXXConversionDecl(CXXConversionDecl *D);
247    void VisitFieldDecl(FieldDecl *FD);
248    void VisitIndirectFieldDecl(IndirectFieldDecl *FD);
249    void VisitVarDecl(VarDecl *VD);
250    void VisitImplicitParamDecl(ImplicitParamDecl *PD);
251    void VisitParmVarDecl(ParmVarDecl *PD);
252    void VisitNonTypeTemplateParmDecl(NonTypeTemplateParmDecl *D);
253    void VisitTemplateDecl(TemplateDecl *D);
254    RedeclarableResult VisitRedeclarableTemplateDecl(RedeclarableTemplateDecl *D);
255    void VisitClassTemplateDecl(ClassTemplateDecl *D);
256    void VisitFunctionTemplateDecl(FunctionTemplateDecl *D);
257    void VisitTemplateTemplateParmDecl(TemplateTemplateParmDecl *D);
258    void VisitTypeAliasTemplateDecl(TypeAliasTemplateDecl *D);
259    void VisitUsingDecl(UsingDecl *D);
260    void VisitUsingShadowDecl(UsingShadowDecl *D);
261    void VisitLinkageSpecDecl(LinkageSpecDecl *D);
262    void VisitFileScopeAsmDecl(FileScopeAsmDecl *AD);
263    void VisitImportDecl(ImportDecl *D);
264    void VisitAccessSpecDecl(AccessSpecDecl *D);
265    void VisitFriendDecl(FriendDecl *D);
266    void VisitFriendTemplateDecl(FriendTemplateDecl *D);
267    void VisitStaticAssertDecl(StaticAssertDecl *D);
268    void VisitBlockDecl(BlockDecl *BD);
269
270    std::pair<uint64_t, uint64_t> VisitDeclContext(DeclContext *DC);
271
272    template<typename T>
273    RedeclarableResult VisitRedeclarable(Redeclarable<T> *D);
274
275    template<typename T>
276    void mergeRedeclarable(Redeclarable<T> *D, RedeclarableResult &Redecl);
277
278    // FIXME: Reorder according to DeclNodes.td?
279    void VisitObjCMethodDecl(ObjCMethodDecl *D);
280    void VisitObjCContainerDecl(ObjCContainerDecl *D);
281    void VisitObjCInterfaceDecl(ObjCInterfaceDecl *D);
282    void VisitObjCIvarDecl(ObjCIvarDecl *D);
283    void VisitObjCProtocolDecl(ObjCProtocolDecl *D);
284    void VisitObjCAtDefsFieldDecl(ObjCAtDefsFieldDecl *D);
285    void VisitObjCCategoryDecl(ObjCCategoryDecl *D);
286    void VisitObjCImplDecl(ObjCImplDecl *D);
287    void VisitObjCCategoryImplDecl(ObjCCategoryImplDecl *D);
288    void VisitObjCImplementationDecl(ObjCImplementationDecl *D);
289    void VisitObjCCompatibleAliasDecl(ObjCCompatibleAliasDecl *D);
290    void VisitObjCPropertyDecl(ObjCPropertyDecl *D);
291    void VisitObjCPropertyImplDecl(ObjCPropertyImplDecl *D);
292  };
293}
294
295uint64_t ASTDeclReader::GetCurrentCursorOffset() {
296  return F.DeclsCursor.GetCurrentBitNo() + F.GlobalBitOffset;
297}
298
299void ASTDeclReader::Visit(Decl *D) {
300  DeclVisitor<ASTDeclReader, void>::Visit(D);
301
302  if (DeclaratorDecl *DD = dyn_cast<DeclaratorDecl>(D)) {
303    if (DD->DeclInfo) {
304      DeclaratorDecl::ExtInfo *Info =
305          DD->DeclInfo.get<DeclaratorDecl::ExtInfo *>();
306      Info->TInfo =
307          GetTypeSourceInfo(Record, Idx);
308    }
309    else {
310      DD->DeclInfo = GetTypeSourceInfo(Record, Idx);
311    }
312  }
313
314  if (TypeDecl *TD = dyn_cast<TypeDecl>(D)) {
315    // if we have a fully initialized TypeDecl, we can safely read its type now.
316    TD->setTypeForDecl(Reader.GetType(TypeIDForTypeDecl).getTypePtrOrNull());
317  } else if (ObjCInterfaceDecl *ID = dyn_cast<ObjCInterfaceDecl>(D)) {
318    // if we have a fully initialized TypeDecl, we can safely read its type now.
319    ID->TypeForDecl = Reader.GetType(TypeIDForTypeDecl).getTypePtrOrNull();
320  } else if (FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
321    // FunctionDecl's body was written last after all other Stmts/Exprs.
322    if (Record[Idx++])
323      FD->setLazyBody(GetCurrentCursorOffset());
324  } else if (D->isTemplateParameter()) {
325    // If we have a fully initialized template parameter, we can now
326    // set its DeclContext.
327    DeclContext *SemaDC = cast<DeclContext>(
328                              Reader.GetDecl(DeclContextIDForTemplateParmDecl));
329    DeclContext *LexicalDC = cast<DeclContext>(
330                       Reader.GetDecl(LexicalDeclContextIDForTemplateParmDecl));
331    D->setDeclContextsImpl(SemaDC, LexicalDC, Reader.getContext());
332  }
333}
334
335void ASTDeclReader::VisitDecl(Decl *D) {
336  if (D->isTemplateParameter()) {
337    // We don't want to deserialize the DeclContext of a template
338    // parameter immediately, because the template parameter might be
339    // used in the formulation of its DeclContext. Use the translation
340    // unit DeclContext as a placeholder.
341    DeclContextIDForTemplateParmDecl = ReadDeclID(Record, Idx);
342    LexicalDeclContextIDForTemplateParmDecl = ReadDeclID(Record, Idx);
343    D->setDeclContext(Reader.getContext().getTranslationUnitDecl());
344  } else {
345    DeclContext *SemaDC = ReadDeclAs<DeclContext>(Record, Idx);
346    DeclContext *LexicalDC = ReadDeclAs<DeclContext>(Record, Idx);
347    D->setDeclContextsImpl(SemaDC, LexicalDC, Reader.getContext());
348  }
349  D->setLocation(Reader.ReadSourceLocation(F, RawLocation));
350  D->setInvalidDecl(Record[Idx++]);
351  if (Record[Idx++]) { // hasAttrs
352    AttrVec Attrs;
353    Reader.ReadAttributes(F, Attrs, Record, Idx);
354    D->setAttrsImpl(Attrs, Reader.getContext());
355  }
356  D->setImplicit(Record[Idx++]);
357  D->setUsed(Record[Idx++]);
358  D->setReferenced(Record[Idx++]);
359  D->setTopLevelDeclInObjCContainer(Record[Idx++]);
360  D->setAccess((AccessSpecifier)Record[Idx++]);
361  D->FromASTFile = true;
362  D->setModulePrivate(Record[Idx++]);
363  D->Hidden = D->isModulePrivate();
364
365  // Determine whether this declaration is part of a (sub)module. If so, it
366  // may not yet be visible.
367  if (unsigned SubmoduleID = readSubmoduleID(Record, Idx)) {
368    // Store the owning submodule ID in the declaration.
369    D->setOwningModuleID(SubmoduleID);
370
371    // Module-private declarations are never visible, so there is no work to do.
372    if (!D->isModulePrivate()) {
373      if (Module *Owner = Reader.getSubmodule(SubmoduleID)) {
374        if (Owner->NameVisibility != Module::AllVisible) {
375          // The owning module is not visible. Mark this declaration as hidden.
376          D->Hidden = true;
377
378          // Note that this declaration was hidden because its owning module is
379          // not yet visible.
380          Reader.HiddenNamesMap[Owner].push_back(D);
381        }
382      }
383    }
384  }
385}
386
387void ASTDeclReader::VisitTranslationUnitDecl(TranslationUnitDecl *TU) {
388  llvm_unreachable("Translation units are not serialized");
389}
390
391void ASTDeclReader::VisitNamedDecl(NamedDecl *ND) {
392  VisitDecl(ND);
393  ND->setDeclName(Reader.ReadDeclarationName(F, Record, Idx));
394}
395
396void ASTDeclReader::VisitTypeDecl(TypeDecl *TD) {
397  VisitNamedDecl(TD);
398  TD->setLocStart(ReadSourceLocation(Record, Idx));
399  // Delay type reading until after we have fully initialized the decl.
400  TypeIDForTypeDecl = Reader.getGlobalTypeID(F, Record[Idx++]);
401}
402
403void ASTDeclReader::VisitTypedefNameDecl(TypedefNameDecl *TD) {
404  RedeclarableResult Redecl = VisitRedeclarable(TD);
405  VisitTypeDecl(TD);
406
407  TD->setTypeSourceInfo(GetTypeSourceInfo(Record, Idx));
408  mergeRedeclarable(TD, Redecl);
409}
410
411void ASTDeclReader::VisitTypedefDecl(TypedefDecl *TD) {
412  VisitTypedefNameDecl(TD);
413}
414
415void ASTDeclReader::VisitTypeAliasDecl(TypeAliasDecl *TD) {
416  VisitTypedefNameDecl(TD);
417}
418
419void ASTDeclReader::VisitTagDecl(TagDecl *TD) {
420  RedeclarableResult Redecl = VisitRedeclarable(TD);
421  VisitTypeDecl(TD);
422
423  TD->IdentifierNamespace = Record[Idx++];
424  TD->setTagKind((TagDecl::TagKind)Record[Idx++]);
425  TD->setCompleteDefinition(Record[Idx++]);
426  TD->setEmbeddedInDeclarator(Record[Idx++]);
427  TD->setFreeStanding(Record[Idx++]);
428  TD->setRBraceLoc(ReadSourceLocation(Record, Idx));
429
430  if (Record[Idx++]) { // hasExtInfo
431    TagDecl::ExtInfo *Info = new (Reader.getContext()) TagDecl::ExtInfo();
432    ReadQualifierInfo(*Info, Record, Idx);
433    TD->TypedefNameDeclOrQualifier = Info;
434  } else
435    TD->setTypedefNameForAnonDecl(ReadDeclAs<TypedefNameDecl>(Record, Idx));
436
437  mergeRedeclarable(TD, Redecl);
438}
439
440void ASTDeclReader::VisitEnumDecl(EnumDecl *ED) {
441  VisitTagDecl(ED);
442  if (TypeSourceInfo *TI = Reader.GetTypeSourceInfo(F, Record, Idx))
443    ED->setIntegerTypeSourceInfo(TI);
444  else
445    ED->setIntegerType(Reader.readType(F, Record, Idx));
446  ED->setPromotionType(Reader.readType(F, Record, Idx));
447  ED->setNumPositiveBits(Record[Idx++]);
448  ED->setNumNegativeBits(Record[Idx++]);
449  ED->IsScoped = Record[Idx++];
450  ED->IsScopedUsingClassTag = Record[Idx++];
451  ED->IsFixed = Record[Idx++];
452  ED->setInstantiationOfMemberEnum(ReadDeclAs<EnumDecl>(Record, Idx));
453}
454
455void ASTDeclReader::VisitRecordDecl(RecordDecl *RD) {
456  VisitTagDecl(RD);
457  RD->setHasFlexibleArrayMember(Record[Idx++]);
458  RD->setAnonymousStructOrUnion(Record[Idx++]);
459  RD->setHasObjectMember(Record[Idx++]);
460}
461
462void ASTDeclReader::VisitValueDecl(ValueDecl *VD) {
463  VisitNamedDecl(VD);
464  VD->setType(Reader.readType(F, Record, Idx));
465}
466
467void ASTDeclReader::VisitEnumConstantDecl(EnumConstantDecl *ECD) {
468  VisitValueDecl(ECD);
469  if (Record[Idx++])
470    ECD->setInitExpr(Reader.ReadExpr(F));
471  ECD->setInitVal(Reader.ReadAPSInt(Record, Idx));
472}
473
474void ASTDeclReader::VisitDeclaratorDecl(DeclaratorDecl *DD) {
475  VisitValueDecl(DD);
476  DD->setInnerLocStart(ReadSourceLocation(Record, Idx));
477  if (Record[Idx++]) { // hasExtInfo
478    DeclaratorDecl::ExtInfo *Info
479        = new (Reader.getContext()) DeclaratorDecl::ExtInfo();
480    ReadQualifierInfo(*Info, Record, Idx);
481    DD->DeclInfo = Info;
482  }
483}
484
485void ASTDeclReader::VisitFunctionDecl(FunctionDecl *FD) {
486  RedeclarableResult Redecl = VisitRedeclarable(FD);
487  VisitDeclaratorDecl(FD);
488
489  ReadDeclarationNameLoc(FD->DNLoc, FD->getDeclName(), Record, Idx);
490  FD->IdentifierNamespace = Record[Idx++];
491
492  // FunctionDecl's body is handled last at ASTDeclReader::Visit,
493  // after everything else is read.
494
495  FD->SClass = (StorageClass)Record[Idx++];
496  FD->SClassAsWritten = (StorageClass)Record[Idx++];
497  FD->IsInline = Record[Idx++];
498  FD->IsInlineSpecified = Record[Idx++];
499  FD->IsVirtualAsWritten = Record[Idx++];
500  FD->IsPure = Record[Idx++];
501  FD->HasInheritedPrototype = Record[Idx++];
502  FD->HasWrittenPrototype = Record[Idx++];
503  FD->IsDeleted = Record[Idx++];
504  FD->IsTrivial = Record[Idx++];
505  FD->IsDefaulted = Record[Idx++];
506  FD->IsExplicitlyDefaulted = Record[Idx++];
507  FD->HasImplicitReturnZero = Record[Idx++];
508  FD->IsConstexpr = Record[Idx++];
509  FD->EndRangeLoc = ReadSourceLocation(Record, Idx);
510
511  switch ((FunctionDecl::TemplatedKind)Record[Idx++]) {
512  case FunctionDecl::TK_NonTemplate:
513    mergeRedeclarable(FD, Redecl);
514    break;
515  case FunctionDecl::TK_FunctionTemplate:
516    FD->setDescribedFunctionTemplate(ReadDeclAs<FunctionTemplateDecl>(Record,
517                                                                      Idx));
518    break;
519  case FunctionDecl::TK_MemberSpecialization: {
520    FunctionDecl *InstFD = ReadDeclAs<FunctionDecl>(Record, Idx);
521    TemplateSpecializationKind TSK = (TemplateSpecializationKind)Record[Idx++];
522    SourceLocation POI = ReadSourceLocation(Record, Idx);
523    FD->setInstantiationOfMemberFunction(Reader.getContext(), InstFD, TSK);
524    FD->getMemberSpecializationInfo()->setPointOfInstantiation(POI);
525    break;
526  }
527  case FunctionDecl::TK_FunctionTemplateSpecialization: {
528    FunctionTemplateDecl *Template = ReadDeclAs<FunctionTemplateDecl>(Record,
529                                                                      Idx);
530    TemplateSpecializationKind TSK = (TemplateSpecializationKind)Record[Idx++];
531
532    // Template arguments.
533    SmallVector<TemplateArgument, 8> TemplArgs;
534    Reader.ReadTemplateArgumentList(TemplArgs, F, Record, Idx);
535
536    // Template args as written.
537    SmallVector<TemplateArgumentLoc, 8> TemplArgLocs;
538    SourceLocation LAngleLoc, RAngleLoc;
539    bool HasTemplateArgumentsAsWritten = Record[Idx++];
540    if (HasTemplateArgumentsAsWritten) {
541      unsigned NumTemplateArgLocs = Record[Idx++];
542      TemplArgLocs.reserve(NumTemplateArgLocs);
543      for (unsigned i=0; i != NumTemplateArgLocs; ++i)
544        TemplArgLocs.push_back(
545            Reader.ReadTemplateArgumentLoc(F, Record, Idx));
546
547      LAngleLoc = ReadSourceLocation(Record, Idx);
548      RAngleLoc = ReadSourceLocation(Record, Idx);
549    }
550
551    SourceLocation POI = ReadSourceLocation(Record, Idx);
552
553    ASTContext &C = Reader.getContext();
554    TemplateArgumentList *TemplArgList
555      = TemplateArgumentList::CreateCopy(C, TemplArgs.data(), TemplArgs.size());
556    TemplateArgumentListInfo TemplArgsInfo(LAngleLoc, RAngleLoc);
557    for (unsigned i=0, e = TemplArgLocs.size(); i != e; ++i)
558      TemplArgsInfo.addArgument(TemplArgLocs[i]);
559    FunctionTemplateSpecializationInfo *FTInfo
560        = FunctionTemplateSpecializationInfo::Create(C, FD, Template, TSK,
561                                                     TemplArgList,
562                             HasTemplateArgumentsAsWritten ? &TemplArgsInfo : 0,
563                                                     POI);
564    FD->TemplateOrSpecialization = FTInfo;
565
566    if (FD->isCanonicalDecl()) { // if canonical add to template's set.
567      // The template that contains the specializations set. It's not safe to
568      // use getCanonicalDecl on Template since it may still be initializing.
569      FunctionTemplateDecl *CanonTemplate
570        = ReadDeclAs<FunctionTemplateDecl>(Record, Idx);
571      // Get the InsertPos by FindNodeOrInsertPos() instead of calling
572      // InsertNode(FTInfo) directly to avoid the getASTContext() call in
573      // FunctionTemplateSpecializationInfo's Profile().
574      // We avoid getASTContext because a decl in the parent hierarchy may
575      // be initializing.
576      llvm::FoldingSetNodeID ID;
577      FunctionTemplateSpecializationInfo::Profile(ID, TemplArgs.data(),
578                                                  TemplArgs.size(), C);
579      void *InsertPos = 0;
580      CanonTemplate->getSpecializations().FindNodeOrInsertPos(ID, InsertPos);
581      assert(InsertPos && "Another specialization already inserted!");
582      CanonTemplate->getSpecializations().InsertNode(FTInfo, InsertPos);
583    }
584    break;
585  }
586  case FunctionDecl::TK_DependentFunctionTemplateSpecialization: {
587    // Templates.
588    UnresolvedSet<8> TemplDecls;
589    unsigned NumTemplates = Record[Idx++];
590    while (NumTemplates--)
591      TemplDecls.addDecl(ReadDeclAs<NamedDecl>(Record, Idx));
592
593    // Templates args.
594    TemplateArgumentListInfo TemplArgs;
595    unsigned NumArgs = Record[Idx++];
596    while (NumArgs--)
597      TemplArgs.addArgument(Reader.ReadTemplateArgumentLoc(F, Record, Idx));
598    TemplArgs.setLAngleLoc(ReadSourceLocation(Record, Idx));
599    TemplArgs.setRAngleLoc(ReadSourceLocation(Record, Idx));
600
601    FD->setDependentTemplateSpecialization(Reader.getContext(),
602                                           TemplDecls, TemplArgs);
603    break;
604  }
605  }
606
607  // Read in the parameters.
608  unsigned NumParams = Record[Idx++];
609  SmallVector<ParmVarDecl *, 16> Params;
610  Params.reserve(NumParams);
611  for (unsigned I = 0; I != NumParams; ++I)
612    Params.push_back(ReadDeclAs<ParmVarDecl>(Record, Idx));
613  FD->setParams(Reader.getContext(), Params);
614}
615
616void ASTDeclReader::VisitObjCMethodDecl(ObjCMethodDecl *MD) {
617  VisitNamedDecl(MD);
618  if (Record[Idx++]) {
619    // In practice, this won't be executed (since method definitions
620    // don't occur in header files).
621    MD->setBody(Reader.ReadStmt(F));
622    MD->setSelfDecl(ReadDeclAs<ImplicitParamDecl>(Record, Idx));
623    MD->setCmdDecl(ReadDeclAs<ImplicitParamDecl>(Record, Idx));
624  }
625  MD->setInstanceMethod(Record[Idx++]);
626  MD->setVariadic(Record[Idx++]);
627  MD->setSynthesized(Record[Idx++]);
628  MD->setDefined(Record[Idx++]);
629
630  MD->IsRedeclaration = Record[Idx++];
631  MD->HasRedeclaration = Record[Idx++];
632  if (MD->HasRedeclaration)
633    Reader.getContext().setObjCMethodRedeclaration(MD,
634                                       ReadDeclAs<ObjCMethodDecl>(Record, Idx));
635
636  MD->setDeclImplementation((ObjCMethodDecl::ImplementationControl)Record[Idx++]);
637  MD->setObjCDeclQualifier((Decl::ObjCDeclQualifier)Record[Idx++]);
638  MD->SetRelatedResultType(Record[Idx++]);
639  MD->setResultType(Reader.readType(F, Record, Idx));
640  MD->setResultTypeSourceInfo(GetTypeSourceInfo(Record, Idx));
641  MD->setEndLoc(ReadSourceLocation(Record, Idx));
642  unsigned NumParams = Record[Idx++];
643  SmallVector<ParmVarDecl *, 16> Params;
644  Params.reserve(NumParams);
645  for (unsigned I = 0; I != NumParams; ++I)
646    Params.push_back(ReadDeclAs<ParmVarDecl>(Record, Idx));
647
648  MD->SelLocsKind = Record[Idx++];
649  unsigned NumStoredSelLocs = Record[Idx++];
650  SmallVector<SourceLocation, 16> SelLocs;
651  SelLocs.reserve(NumStoredSelLocs);
652  for (unsigned i = 0; i != NumStoredSelLocs; ++i)
653    SelLocs.push_back(ReadSourceLocation(Record, Idx));
654
655  MD->setParamsAndSelLocs(Reader.getContext(), Params, SelLocs);
656}
657
658void ASTDeclReader::VisitObjCContainerDecl(ObjCContainerDecl *CD) {
659  VisitNamedDecl(CD);
660  CD->setAtStartLoc(ReadSourceLocation(Record, Idx));
661  CD->setAtEndRange(ReadSourceRange(Record, Idx));
662}
663
664void ASTDeclReader::VisitObjCInterfaceDecl(ObjCInterfaceDecl *ID) {
665  RedeclarableResult Redecl = VisitRedeclarable(ID);
666  VisitObjCContainerDecl(ID);
667  TypeIDForTypeDecl = Reader.getGlobalTypeID(F, Record[Idx++]);
668  mergeRedeclarable(ID, Redecl);
669
670  if (Record[Idx++]) {
671    // Read the definition.
672    ID->allocateDefinitionData();
673
674    // Set the definition data of the canonical declaration, so other
675    // redeclarations will see it.
676    ID->getCanonicalDecl()->Data = ID->Data;
677
678    ObjCInterfaceDecl::DefinitionData &Data = ID->data();
679
680    // Read the superclass.
681    Data.SuperClass = ReadDeclAs<ObjCInterfaceDecl>(Record, Idx);
682    Data.SuperClassLoc = ReadSourceLocation(Record, Idx);
683
684    Data.EndLoc = ReadSourceLocation(Record, Idx);
685
686    // Read the directly referenced protocols and their SourceLocations.
687    unsigned NumProtocols = Record[Idx++];
688    SmallVector<ObjCProtocolDecl *, 16> Protocols;
689    Protocols.reserve(NumProtocols);
690    for (unsigned I = 0; I != NumProtocols; ++I)
691      Protocols.push_back(ReadDeclAs<ObjCProtocolDecl>(Record, Idx));
692    SmallVector<SourceLocation, 16> ProtoLocs;
693    ProtoLocs.reserve(NumProtocols);
694    for (unsigned I = 0; I != NumProtocols; ++I)
695      ProtoLocs.push_back(ReadSourceLocation(Record, Idx));
696    ID->setProtocolList(Protocols.data(), NumProtocols, ProtoLocs.data(),
697                        Reader.getContext());
698
699    // Read the transitive closure of protocols referenced by this class.
700    NumProtocols = Record[Idx++];
701    Protocols.clear();
702    Protocols.reserve(NumProtocols);
703    for (unsigned I = 0; I != NumProtocols; ++I)
704      Protocols.push_back(ReadDeclAs<ObjCProtocolDecl>(Record, Idx));
705    ID->data().AllReferencedProtocols.set(Protocols.data(), NumProtocols,
706                                          Reader.getContext());
707
708    // We will rebuild this list lazily.
709    ID->setIvarList(0);
710
711    // Note that we have deserialized a definition.
712    Reader.PendingDefinitions.insert(ID);
713
714    // Note that we've loaded this Objective-C class.
715    Reader.ObjCClassesLoaded.push_back(ID);
716  } else {
717    ID->Data = ID->getCanonicalDecl()->Data;
718  }
719}
720
721void ASTDeclReader::VisitObjCIvarDecl(ObjCIvarDecl *IVD) {
722  VisitFieldDecl(IVD);
723  IVD->setAccessControl((ObjCIvarDecl::AccessControl)Record[Idx++]);
724  // This field will be built lazily.
725  IVD->setNextIvar(0);
726  bool synth = Record[Idx++];
727  IVD->setSynthesize(synth);
728}
729
730void ASTDeclReader::VisitObjCProtocolDecl(ObjCProtocolDecl *PD) {
731  RedeclarableResult Redecl = VisitRedeclarable(PD);
732  VisitObjCContainerDecl(PD);
733  mergeRedeclarable(PD, Redecl);
734
735  if (Record[Idx++]) {
736    // Read the definition.
737    PD->allocateDefinitionData();
738
739    // Set the definition data of the canonical declaration, so other
740    // redeclarations will see it.
741    PD->getCanonicalDecl()->Data = PD->Data;
742
743    unsigned NumProtoRefs = Record[Idx++];
744    SmallVector<ObjCProtocolDecl *, 16> ProtoRefs;
745    ProtoRefs.reserve(NumProtoRefs);
746    for (unsigned I = 0; I != NumProtoRefs; ++I)
747      ProtoRefs.push_back(ReadDeclAs<ObjCProtocolDecl>(Record, Idx));
748    SmallVector<SourceLocation, 16> ProtoLocs;
749    ProtoLocs.reserve(NumProtoRefs);
750    for (unsigned I = 0; I != NumProtoRefs; ++I)
751      ProtoLocs.push_back(ReadSourceLocation(Record, Idx));
752    PD->setProtocolList(ProtoRefs.data(), NumProtoRefs, ProtoLocs.data(),
753                        Reader.getContext());
754
755    // Note that we have deserialized a definition.
756    Reader.PendingDefinitions.insert(PD);
757  } else {
758    PD->Data = PD->getCanonicalDecl()->Data;
759  }
760}
761
762void ASTDeclReader::VisitObjCAtDefsFieldDecl(ObjCAtDefsFieldDecl *FD) {
763  VisitFieldDecl(FD);
764}
765
766void ASTDeclReader::VisitObjCCategoryDecl(ObjCCategoryDecl *CD) {
767  VisitObjCContainerDecl(CD);
768  CD->setCategoryNameLoc(ReadSourceLocation(Record, Idx));
769
770  // Note that this category has been deserialized. We do this before
771  // deserializing the interface declaration, so that it will consider this
772  /// category.
773  Reader.CategoriesDeserialized.insert(CD);
774
775  CD->ClassInterface = ReadDeclAs<ObjCInterfaceDecl>(Record, Idx);
776  unsigned NumProtoRefs = Record[Idx++];
777  SmallVector<ObjCProtocolDecl *, 16> ProtoRefs;
778  ProtoRefs.reserve(NumProtoRefs);
779  for (unsigned I = 0; I != NumProtoRefs; ++I)
780    ProtoRefs.push_back(ReadDeclAs<ObjCProtocolDecl>(Record, Idx));
781  SmallVector<SourceLocation, 16> ProtoLocs;
782  ProtoLocs.reserve(NumProtoRefs);
783  for (unsigned I = 0; I != NumProtoRefs; ++I)
784    ProtoLocs.push_back(ReadSourceLocation(Record, Idx));
785  CD->setProtocolList(ProtoRefs.data(), NumProtoRefs, ProtoLocs.data(),
786                      Reader.getContext());
787  CD->setHasSynthBitfield(Record[Idx++]);
788}
789
790void ASTDeclReader::VisitObjCCompatibleAliasDecl(ObjCCompatibleAliasDecl *CAD) {
791  VisitNamedDecl(CAD);
792  CAD->setClassInterface(ReadDeclAs<ObjCInterfaceDecl>(Record, Idx));
793}
794
795void ASTDeclReader::VisitObjCPropertyDecl(ObjCPropertyDecl *D) {
796  VisitNamedDecl(D);
797  D->setAtLoc(ReadSourceLocation(Record, Idx));
798  D->setType(GetTypeSourceInfo(Record, Idx));
799  // FIXME: stable encoding
800  D->setPropertyAttributes(
801                      (ObjCPropertyDecl::PropertyAttributeKind)Record[Idx++]);
802  D->setPropertyAttributesAsWritten(
803                      (ObjCPropertyDecl::PropertyAttributeKind)Record[Idx++]);
804  // FIXME: stable encoding
805  D->setPropertyImplementation(
806                            (ObjCPropertyDecl::PropertyControl)Record[Idx++]);
807  D->setGetterName(Reader.ReadDeclarationName(F,Record, Idx).getObjCSelector());
808  D->setSetterName(Reader.ReadDeclarationName(F,Record, Idx).getObjCSelector());
809  D->setGetterMethodDecl(ReadDeclAs<ObjCMethodDecl>(Record, Idx));
810  D->setSetterMethodDecl(ReadDeclAs<ObjCMethodDecl>(Record, Idx));
811  D->setPropertyIvarDecl(ReadDeclAs<ObjCIvarDecl>(Record, Idx));
812}
813
814void ASTDeclReader::VisitObjCImplDecl(ObjCImplDecl *D) {
815  VisitObjCContainerDecl(D);
816  D->setClassInterface(ReadDeclAs<ObjCInterfaceDecl>(Record, Idx));
817}
818
819void ASTDeclReader::VisitObjCCategoryImplDecl(ObjCCategoryImplDecl *D) {
820  VisitObjCImplDecl(D);
821  D->setIdentifier(Reader.GetIdentifierInfo(F, Record, Idx));
822  D->CategoryNameLoc = ReadSourceLocation(Record, Idx);
823}
824
825void ASTDeclReader::VisitObjCImplementationDecl(ObjCImplementationDecl *D) {
826  VisitObjCImplDecl(D);
827  D->setSuperClass(ReadDeclAs<ObjCInterfaceDecl>(Record, Idx));
828  llvm::tie(D->IvarInitializers, D->NumIvarInitializers)
829      = Reader.ReadCXXCtorInitializers(F, Record, Idx);
830  D->setHasSynthBitfield(Record[Idx++]);
831}
832
833
834void ASTDeclReader::VisitObjCPropertyImplDecl(ObjCPropertyImplDecl *D) {
835  VisitDecl(D);
836  D->setAtLoc(ReadSourceLocation(Record, Idx));
837  D->setPropertyDecl(ReadDeclAs<ObjCPropertyDecl>(Record, Idx));
838  D->PropertyIvarDecl = ReadDeclAs<ObjCIvarDecl>(Record, Idx);
839  D->IvarLoc = ReadSourceLocation(Record, Idx);
840  D->setGetterCXXConstructor(Reader.ReadExpr(F));
841  D->setSetterCXXAssignment(Reader.ReadExpr(F));
842}
843
844void ASTDeclReader::VisitFieldDecl(FieldDecl *FD) {
845  VisitDeclaratorDecl(FD);
846  FD->setMutable(Record[Idx++]);
847  int BitWidthOrInitializer = Record[Idx++];
848  if (BitWidthOrInitializer == 1)
849    FD->setBitWidth(Reader.ReadExpr(F));
850  else if (BitWidthOrInitializer == 2)
851    FD->setInClassInitializer(Reader.ReadExpr(F));
852  if (!FD->getDeclName()) {
853    if (FieldDecl *Tmpl = ReadDeclAs<FieldDecl>(Record, Idx))
854      Reader.getContext().setInstantiatedFromUnnamedFieldDecl(FD, Tmpl);
855  }
856}
857
858void ASTDeclReader::VisitIndirectFieldDecl(IndirectFieldDecl *FD) {
859  VisitValueDecl(FD);
860
861  FD->ChainingSize = Record[Idx++];
862  assert(FD->ChainingSize >= 2 && "Anonymous chaining must be >= 2");
863  FD->Chaining = new (Reader.getContext())NamedDecl*[FD->ChainingSize];
864
865  for (unsigned I = 0; I != FD->ChainingSize; ++I)
866    FD->Chaining[I] = ReadDeclAs<NamedDecl>(Record, Idx);
867}
868
869void ASTDeclReader::VisitVarDecl(VarDecl *VD) {
870  RedeclarableResult Redecl = VisitRedeclarable(VD);
871  VisitDeclaratorDecl(VD);
872
873  VD->VarDeclBits.SClass = (StorageClass)Record[Idx++];
874  VD->VarDeclBits.SClassAsWritten = (StorageClass)Record[Idx++];
875  VD->VarDeclBits.ThreadSpecified = Record[Idx++];
876  VD->VarDeclBits.HasCXXDirectInit = Record[Idx++];
877  VD->VarDeclBits.ExceptionVar = Record[Idx++];
878  VD->VarDeclBits.NRVOVariable = Record[Idx++];
879  VD->VarDeclBits.CXXForRangeDecl = Record[Idx++];
880  VD->VarDeclBits.ARCPseudoStrong = Record[Idx++];
881
882  // Only true variables (not parameters or implicit parameters) can be merged.
883  if (VD->getKind() == Decl::Var)
884    mergeRedeclarable(VD, Redecl);
885
886  if (uint64_t Val = Record[Idx++]) {
887    VD->setInit(Reader.ReadExpr(F));
888    if (Val > 1) {
889      EvaluatedStmt *Eval = VD->ensureEvaluatedStmt();
890      Eval->CheckedICE = true;
891      Eval->IsICE = Val == 3;
892    }
893  }
894
895  if (Record[Idx++]) { // HasMemberSpecializationInfo.
896    VarDecl *Tmpl = ReadDeclAs<VarDecl>(Record, Idx);
897    TemplateSpecializationKind TSK = (TemplateSpecializationKind)Record[Idx++];
898    SourceLocation POI = ReadSourceLocation(Record, Idx);
899    Reader.getContext().setInstantiatedFromStaticDataMember(VD, Tmpl, TSK,POI);
900  }
901}
902
903void ASTDeclReader::VisitImplicitParamDecl(ImplicitParamDecl *PD) {
904  VisitVarDecl(PD);
905}
906
907void ASTDeclReader::VisitParmVarDecl(ParmVarDecl *PD) {
908  VisitVarDecl(PD);
909  unsigned isObjCMethodParam = Record[Idx++];
910  unsigned scopeDepth = Record[Idx++];
911  unsigned scopeIndex = Record[Idx++];
912  unsigned declQualifier = Record[Idx++];
913  if (isObjCMethodParam) {
914    assert(scopeDepth == 0);
915    PD->setObjCMethodScopeInfo(scopeIndex);
916    PD->ParmVarDeclBits.ScopeDepthOrObjCQuals = declQualifier;
917  } else {
918    PD->setScopeInfo(scopeDepth, scopeIndex);
919  }
920  PD->ParmVarDeclBits.IsKNRPromoted = Record[Idx++];
921  PD->ParmVarDeclBits.HasInheritedDefaultArg = Record[Idx++];
922  if (Record[Idx++]) // hasUninstantiatedDefaultArg.
923    PD->setUninstantiatedDefaultArg(Reader.ReadExpr(F));
924}
925
926void ASTDeclReader::VisitFileScopeAsmDecl(FileScopeAsmDecl *AD) {
927  VisitDecl(AD);
928  AD->setAsmString(cast<StringLiteral>(Reader.ReadExpr(F)));
929  AD->setRParenLoc(ReadSourceLocation(Record, Idx));
930}
931
932void ASTDeclReader::VisitBlockDecl(BlockDecl *BD) {
933  VisitDecl(BD);
934  BD->setBody(cast_or_null<CompoundStmt>(Reader.ReadStmt(F)));
935  BD->setSignatureAsWritten(GetTypeSourceInfo(Record, Idx));
936  unsigned NumParams = Record[Idx++];
937  SmallVector<ParmVarDecl *, 16> Params;
938  Params.reserve(NumParams);
939  for (unsigned I = 0; I != NumParams; ++I)
940    Params.push_back(ReadDeclAs<ParmVarDecl>(Record, Idx));
941  BD->setParams(Params);
942
943  bool capturesCXXThis = Record[Idx++];
944  unsigned numCaptures = Record[Idx++];
945  SmallVector<BlockDecl::Capture, 16> captures;
946  captures.reserve(numCaptures);
947  for (unsigned i = 0; i != numCaptures; ++i) {
948    VarDecl *decl = ReadDeclAs<VarDecl>(Record, Idx);
949    unsigned flags = Record[Idx++];
950    bool byRef = (flags & 1);
951    bool nested = (flags & 2);
952    Expr *copyExpr = ((flags & 4) ? Reader.ReadExpr(F) : 0);
953
954    captures.push_back(BlockDecl::Capture(decl, byRef, nested, copyExpr));
955  }
956  BD->setCaptures(Reader.getContext(), captures.begin(),
957                  captures.end(), capturesCXXThis);
958}
959
960void ASTDeclReader::VisitLinkageSpecDecl(LinkageSpecDecl *D) {
961  VisitDecl(D);
962  D->setLanguage((LinkageSpecDecl::LanguageIDs)Record[Idx++]);
963  D->setExternLoc(ReadSourceLocation(Record, Idx));
964  D->setRBraceLoc(ReadSourceLocation(Record, Idx));
965}
966
967void ASTDeclReader::VisitLabelDecl(LabelDecl *D) {
968  VisitNamedDecl(D);
969  D->setLocStart(ReadSourceLocation(Record, Idx));
970}
971
972
973void ASTDeclReader::VisitNamespaceDecl(NamespaceDecl *D) {
974  RedeclarableResult Redecl = VisitRedeclarable(D);
975  VisitNamedDecl(D);
976  D->setInline(Record[Idx++]);
977  D->LocStart = ReadSourceLocation(Record, Idx);
978  D->RBraceLoc = ReadSourceLocation(Record, Idx);
979  mergeRedeclarable(D, Redecl);
980
981  if (Redecl.getFirstID() == ThisDeclID) {
982    // Each module has its own anonymous namespace, which is disjoint from
983    // any other module's anonymous namespaces, so don't attach the anonymous
984    // namespace at all.
985    NamespaceDecl *Anon = ReadDeclAs<NamespaceDecl>(Record, Idx);
986    if (F.Kind != MK_Module)
987      D->setAnonymousNamespace(Anon);
988  } else {
989    // Link this namespace back to the first declaration, which has already
990    // been deserialized.
991    D->AnonOrFirstNamespaceAndInline.setPointer(D->getFirstDeclaration());
992  }
993}
994
995void ASTDeclReader::VisitNamespaceAliasDecl(NamespaceAliasDecl *D) {
996  VisitNamedDecl(D);
997  D->NamespaceLoc = ReadSourceLocation(Record, Idx);
998  D->IdentLoc = ReadSourceLocation(Record, Idx);
999  D->QualifierLoc = Reader.ReadNestedNameSpecifierLoc(F, Record, Idx);
1000  D->Namespace = ReadDeclAs<NamedDecl>(Record, Idx);
1001}
1002
1003void ASTDeclReader::VisitUsingDecl(UsingDecl *D) {
1004  VisitNamedDecl(D);
1005  D->setUsingLocation(ReadSourceLocation(Record, Idx));
1006  D->QualifierLoc = Reader.ReadNestedNameSpecifierLoc(F, Record, Idx);
1007  ReadDeclarationNameLoc(D->DNLoc, D->getDeclName(), Record, Idx);
1008  D->FirstUsingShadow.setPointer(ReadDeclAs<UsingShadowDecl>(Record, Idx));
1009  D->setTypeName(Record[Idx++]);
1010  if (NamedDecl *Pattern = ReadDeclAs<NamedDecl>(Record, Idx))
1011    Reader.getContext().setInstantiatedFromUsingDecl(D, Pattern);
1012}
1013
1014void ASTDeclReader::VisitUsingShadowDecl(UsingShadowDecl *D) {
1015  VisitNamedDecl(D);
1016  D->setTargetDecl(ReadDeclAs<NamedDecl>(Record, Idx));
1017  D->UsingOrNextShadow = ReadDeclAs<NamedDecl>(Record, Idx);
1018  UsingShadowDecl *Pattern = ReadDeclAs<UsingShadowDecl>(Record, Idx);
1019  if (Pattern)
1020    Reader.getContext().setInstantiatedFromUsingShadowDecl(D, Pattern);
1021}
1022
1023void ASTDeclReader::VisitUsingDirectiveDecl(UsingDirectiveDecl *D) {
1024  VisitNamedDecl(D);
1025  D->UsingLoc = ReadSourceLocation(Record, Idx);
1026  D->NamespaceLoc = ReadSourceLocation(Record, Idx);
1027  D->QualifierLoc = Reader.ReadNestedNameSpecifierLoc(F, Record, Idx);
1028  D->NominatedNamespace = ReadDeclAs<NamedDecl>(Record, Idx);
1029  D->CommonAncestor = ReadDeclAs<DeclContext>(Record, Idx);
1030}
1031
1032void ASTDeclReader::VisitUnresolvedUsingValueDecl(UnresolvedUsingValueDecl *D) {
1033  VisitValueDecl(D);
1034  D->setUsingLoc(ReadSourceLocation(Record, Idx));
1035  D->QualifierLoc = Reader.ReadNestedNameSpecifierLoc(F, Record, Idx);
1036  ReadDeclarationNameLoc(D->DNLoc, D->getDeclName(), Record, Idx);
1037}
1038
1039void ASTDeclReader::VisitUnresolvedUsingTypenameDecl(
1040                                               UnresolvedUsingTypenameDecl *D) {
1041  VisitTypeDecl(D);
1042  D->TypenameLocation = ReadSourceLocation(Record, Idx);
1043  D->QualifierLoc = Reader.ReadNestedNameSpecifierLoc(F, Record, Idx);
1044}
1045
1046void ASTDeclReader::ReadCXXDefinitionData(
1047                                   struct CXXRecordDecl::DefinitionData &Data,
1048                                   const RecordData &Record, unsigned &Idx) {
1049  Data.UserDeclaredConstructor = Record[Idx++];
1050  Data.UserDeclaredCopyConstructor = Record[Idx++];
1051  Data.UserDeclaredMoveConstructor = Record[Idx++];
1052  Data.UserDeclaredCopyAssignment = Record[Idx++];
1053  Data.UserDeclaredMoveAssignment = Record[Idx++];
1054  Data.UserDeclaredDestructor = Record[Idx++];
1055  Data.Aggregate = Record[Idx++];
1056  Data.PlainOldData = Record[Idx++];
1057  Data.Empty = Record[Idx++];
1058  Data.Polymorphic = Record[Idx++];
1059  Data.Abstract = Record[Idx++];
1060  Data.IsStandardLayout = Record[Idx++];
1061  Data.HasNoNonEmptyBases = Record[Idx++];
1062  Data.HasPrivateFields = Record[Idx++];
1063  Data.HasProtectedFields = Record[Idx++];
1064  Data.HasPublicFields = Record[Idx++];
1065  Data.HasMutableFields = Record[Idx++];
1066  Data.HasTrivialDefaultConstructor = Record[Idx++];
1067  Data.HasConstexprNonCopyMoveConstructor = Record[Idx++];
1068  Data.HasTrivialCopyConstructor = Record[Idx++];
1069  Data.HasTrivialMoveConstructor = Record[Idx++];
1070  Data.HasTrivialCopyAssignment = Record[Idx++];
1071  Data.HasTrivialMoveAssignment = Record[Idx++];
1072  Data.HasTrivialDestructor = Record[Idx++];
1073  Data.HasNonLiteralTypeFieldsOrBases = Record[Idx++];
1074  Data.ComputedVisibleConversions = Record[Idx++];
1075  Data.UserProvidedDefaultConstructor = Record[Idx++];
1076  Data.DeclaredDefaultConstructor = Record[Idx++];
1077  Data.DeclaredCopyConstructor = Record[Idx++];
1078  Data.DeclaredMoveConstructor = Record[Idx++];
1079  Data.DeclaredCopyAssignment = Record[Idx++];
1080  Data.DeclaredMoveAssignment = Record[Idx++];
1081  Data.DeclaredDestructor = Record[Idx++];
1082  Data.FailedImplicitMoveConstructor = Record[Idx++];
1083  Data.FailedImplicitMoveAssignment = Record[Idx++];
1084
1085  Data.NumBases = Record[Idx++];
1086  if (Data.NumBases)
1087    Data.Bases = Reader.readCXXBaseSpecifiers(F, Record, Idx);
1088  Data.NumVBases = Record[Idx++];
1089  if (Data.NumVBases)
1090    Data.VBases = Reader.readCXXBaseSpecifiers(F, Record, Idx);
1091
1092  Reader.ReadUnresolvedSet(F, Data.Conversions, Record, Idx);
1093  Reader.ReadUnresolvedSet(F, Data.VisibleConversions, Record, Idx);
1094  assert(Data.Definition && "Data.Definition should be already set!");
1095  Data.FirstFriend = ReadDeclAs<FriendDecl>(Record, Idx);
1096}
1097
1098void ASTDeclReader::VisitCXXRecordDecl(CXXRecordDecl *D) {
1099  VisitRecordDecl(D);
1100
1101  ASTContext &C = Reader.getContext();
1102  if (Record[Idx++]) {
1103    D->DefinitionData = new (C) struct CXXRecordDecl::DefinitionData(D);
1104
1105    // Propagate the DefinitionData pointer to the canonical declaration, so
1106    // that all other deserialized declarations will see it.
1107    // FIXME: Complain if there already is a DefinitionData!
1108    D->getCanonicalDecl()->DefinitionData = D->DefinitionData;
1109
1110    ReadCXXDefinitionData(*D->DefinitionData, Record, Idx);
1111
1112    // Note that we have deserialized a definition. Any declarations
1113    // deserialized before this one will be be given the DefinitionData pointer
1114    // at the end.
1115    Reader.PendingDefinitions.insert(D);
1116  } else {
1117    // Propagate DefinitionData pointer from the canonical declaration.
1118    D->DefinitionData = D->getCanonicalDecl()->DefinitionData;
1119  }
1120
1121  enum CXXRecKind {
1122    CXXRecNotTemplate = 0, CXXRecTemplate, CXXRecMemberSpecialization
1123  };
1124  switch ((CXXRecKind)Record[Idx++]) {
1125  case CXXRecNotTemplate:
1126    break;
1127  case CXXRecTemplate:
1128    D->TemplateOrInstantiation = ReadDeclAs<ClassTemplateDecl>(Record, Idx);
1129    break;
1130  case CXXRecMemberSpecialization: {
1131    CXXRecordDecl *RD = ReadDeclAs<CXXRecordDecl>(Record, Idx);
1132    TemplateSpecializationKind TSK = (TemplateSpecializationKind)Record[Idx++];
1133    SourceLocation POI = ReadSourceLocation(Record, Idx);
1134    MemberSpecializationInfo *MSI = new (C) MemberSpecializationInfo(RD, TSK);
1135    MSI->setPointOfInstantiation(POI);
1136    D->TemplateOrInstantiation = MSI;
1137    break;
1138  }
1139  }
1140
1141  // Load the key function to avoid deserializing every method so we can
1142  // compute it.
1143  if (D->IsCompleteDefinition) {
1144    if (CXXMethodDecl *Key = ReadDeclAs<CXXMethodDecl>(Record, Idx))
1145      C.KeyFunctions[D] = Key;
1146  }
1147}
1148
1149void ASTDeclReader::VisitCXXMethodDecl(CXXMethodDecl *D) {
1150  VisitFunctionDecl(D);
1151  unsigned NumOverridenMethods = Record[Idx++];
1152  while (NumOverridenMethods--) {
1153    // Avoid invariant checking of CXXMethodDecl::addOverriddenMethod,
1154    // MD may be initializing.
1155    if (CXXMethodDecl *MD = ReadDeclAs<CXXMethodDecl>(Record, Idx))
1156      Reader.getContext().addOverriddenMethod(D, MD);
1157  }
1158}
1159
1160void ASTDeclReader::VisitCXXConstructorDecl(CXXConstructorDecl *D) {
1161  VisitCXXMethodDecl(D);
1162
1163  D->IsExplicitSpecified = Record[Idx++];
1164  D->ImplicitlyDefined = Record[Idx++];
1165  llvm::tie(D->CtorInitializers, D->NumCtorInitializers)
1166      = Reader.ReadCXXCtorInitializers(F, Record, Idx);
1167}
1168
1169void ASTDeclReader::VisitCXXDestructorDecl(CXXDestructorDecl *D) {
1170  VisitCXXMethodDecl(D);
1171
1172  D->ImplicitlyDefined = Record[Idx++];
1173  D->OperatorDelete = ReadDeclAs<FunctionDecl>(Record, Idx);
1174}
1175
1176void ASTDeclReader::VisitCXXConversionDecl(CXXConversionDecl *D) {
1177  VisitCXXMethodDecl(D);
1178  D->IsExplicitSpecified = Record[Idx++];
1179}
1180
1181void ASTDeclReader::VisitImportDecl(ImportDecl *D) {
1182  VisitDecl(D);
1183  D->ImportedAndComplete.setPointer(readModule(Record, Idx));
1184  D->ImportedAndComplete.setInt(Record[Idx++]);
1185  SourceLocation *StoredLocs = reinterpret_cast<SourceLocation *>(D + 1);
1186  for (unsigned I = 0, N = Record.back(); I != N; ++I)
1187    StoredLocs[I] = ReadSourceLocation(Record, Idx);
1188  ++Idx;
1189}
1190
1191void ASTDeclReader::VisitAccessSpecDecl(AccessSpecDecl *D) {
1192  VisitDecl(D);
1193  D->setColonLoc(ReadSourceLocation(Record, Idx));
1194}
1195
1196void ASTDeclReader::VisitFriendDecl(FriendDecl *D) {
1197  VisitDecl(D);
1198  if (Record[Idx++])
1199    D->Friend = GetTypeSourceInfo(Record, Idx);
1200  else
1201    D->Friend = ReadDeclAs<NamedDecl>(Record, Idx);
1202  D->NextFriend = Record[Idx++];
1203  D->UnsupportedFriend = (Record[Idx++] != 0);
1204  D->FriendLoc = ReadSourceLocation(Record, Idx);
1205}
1206
1207void ASTDeclReader::VisitFriendTemplateDecl(FriendTemplateDecl *D) {
1208  VisitDecl(D);
1209  unsigned NumParams = Record[Idx++];
1210  D->NumParams = NumParams;
1211  D->Params = new TemplateParameterList*[NumParams];
1212  for (unsigned i = 0; i != NumParams; ++i)
1213    D->Params[i] = Reader.ReadTemplateParameterList(F, Record, Idx);
1214  if (Record[Idx++]) // HasFriendDecl
1215    D->Friend = ReadDeclAs<NamedDecl>(Record, Idx);
1216  else
1217    D->Friend = GetTypeSourceInfo(Record, Idx);
1218  D->FriendLoc = ReadSourceLocation(Record, Idx);
1219}
1220
1221void ASTDeclReader::VisitTemplateDecl(TemplateDecl *D) {
1222  VisitNamedDecl(D);
1223
1224  NamedDecl *TemplatedDecl = ReadDeclAs<NamedDecl>(Record, Idx);
1225  TemplateParameterList* TemplateParams
1226      = Reader.ReadTemplateParameterList(F, Record, Idx);
1227  D->init(TemplatedDecl, TemplateParams);
1228}
1229
1230ASTDeclReader::RedeclarableResult
1231ASTDeclReader::VisitRedeclarableTemplateDecl(RedeclarableTemplateDecl *D) {
1232  RedeclarableResult Redecl = VisitRedeclarable(D);
1233
1234  // Make sure we've allocated the Common pointer first. We do this before
1235  // VisitTemplateDecl so that getCommonPtr() can be used during initialization.
1236  RedeclarableTemplateDecl *CanonD = D->getCanonicalDecl();
1237  if (!CanonD->Common) {
1238    CanonD->Common = CanonD->newCommon(Reader.getContext());
1239    Reader.PendingDefinitions.insert(CanonD);
1240  }
1241  D->Common = CanonD->Common;
1242
1243  // If this is the first declaration of the template, fill in the information
1244  // for the 'common' pointer.
1245  if (ThisDeclID == Redecl.getFirstID()) {
1246    if (RedeclarableTemplateDecl *RTD
1247          = ReadDeclAs<RedeclarableTemplateDecl>(Record, Idx)) {
1248      assert(RTD->getKind() == D->getKind() &&
1249             "InstantiatedFromMemberTemplate kind mismatch");
1250      D->setInstantiatedFromMemberTemplate(RTD);
1251      if (Record[Idx++])
1252        D->setMemberSpecialization();
1253    }
1254  }
1255
1256  VisitTemplateDecl(D);
1257  D->IdentifierNamespace = Record[Idx++];
1258
1259  return Redecl;
1260}
1261
1262void ASTDeclReader::VisitClassTemplateDecl(ClassTemplateDecl *D) {
1263  RedeclarableResult Redecl = VisitRedeclarableTemplateDecl(D);
1264
1265  if (ThisDeclID == Redecl.getFirstID()) {
1266    // This ClassTemplateDecl owns a CommonPtr; read it to keep track of all of
1267    // the specializations.
1268    SmallVector<serialization::DeclID, 2> SpecIDs;
1269    SpecIDs.push_back(0);
1270
1271    // Specializations.
1272    unsigned Size = Record[Idx++];
1273    SpecIDs[0] += Size;
1274    for (unsigned I = 0; I != Size; ++I)
1275      SpecIDs.push_back(ReadDeclID(Record, Idx));
1276
1277    // Partial specializations.
1278    Size = Record[Idx++];
1279    SpecIDs[0] += Size;
1280    for (unsigned I = 0; I != Size; ++I)
1281      SpecIDs.push_back(ReadDeclID(Record, Idx));
1282
1283    if (SpecIDs[0]) {
1284      typedef serialization::DeclID DeclID;
1285
1286      ClassTemplateDecl::Common *CommonPtr = D->getCommonPtr();
1287      // FIXME: Append specializations!
1288      CommonPtr->LazySpecializations
1289        = new (Reader.getContext()) DeclID [SpecIDs.size()];
1290      memcpy(CommonPtr->LazySpecializations, SpecIDs.data(),
1291             SpecIDs.size() * sizeof(DeclID));
1292    }
1293
1294    // InjectedClassNameType is computed.
1295  }
1296}
1297
1298void ASTDeclReader::VisitClassTemplateSpecializationDecl(
1299                                           ClassTemplateSpecializationDecl *D) {
1300  VisitCXXRecordDecl(D);
1301
1302  ASTContext &C = Reader.getContext();
1303  if (Decl *InstD = ReadDecl(Record, Idx)) {
1304    if (ClassTemplateDecl *CTD = dyn_cast<ClassTemplateDecl>(InstD)) {
1305      D->SpecializedTemplate = CTD;
1306    } else {
1307      SmallVector<TemplateArgument, 8> TemplArgs;
1308      Reader.ReadTemplateArgumentList(TemplArgs, F, Record, Idx);
1309      TemplateArgumentList *ArgList
1310        = TemplateArgumentList::CreateCopy(C, TemplArgs.data(),
1311                                           TemplArgs.size());
1312      ClassTemplateSpecializationDecl::SpecializedPartialSpecialization *PS
1313          = new (C) ClassTemplateSpecializationDecl::
1314                                             SpecializedPartialSpecialization();
1315      PS->PartialSpecialization
1316          = cast<ClassTemplatePartialSpecializationDecl>(InstD);
1317      PS->TemplateArgs = ArgList;
1318      D->SpecializedTemplate = PS;
1319    }
1320  }
1321
1322  // Explicit info.
1323  if (TypeSourceInfo *TyInfo = GetTypeSourceInfo(Record, Idx)) {
1324    ClassTemplateSpecializationDecl::ExplicitSpecializationInfo *ExplicitInfo
1325        = new (C) ClassTemplateSpecializationDecl::ExplicitSpecializationInfo;
1326    ExplicitInfo->TypeAsWritten = TyInfo;
1327    ExplicitInfo->ExternLoc = ReadSourceLocation(Record, Idx);
1328    ExplicitInfo->TemplateKeywordLoc = ReadSourceLocation(Record, Idx);
1329    D->ExplicitInfo = ExplicitInfo;
1330  }
1331
1332  SmallVector<TemplateArgument, 8> TemplArgs;
1333  Reader.ReadTemplateArgumentList(TemplArgs, F, Record, Idx);
1334  D->TemplateArgs = TemplateArgumentList::CreateCopy(C, TemplArgs.data(),
1335                                                     TemplArgs.size());
1336  D->PointOfInstantiation = ReadSourceLocation(Record, Idx);
1337  D->SpecializationKind = (TemplateSpecializationKind)Record[Idx++];
1338
1339  if (D->isCanonicalDecl()) { // It's kept in the folding set.
1340    ClassTemplateDecl *CanonPattern = ReadDeclAs<ClassTemplateDecl>(Record,Idx);
1341    if (ClassTemplatePartialSpecializationDecl *Partial
1342                       = dyn_cast<ClassTemplatePartialSpecializationDecl>(D)) {
1343      CanonPattern->getCommonPtr()->PartialSpecializations.InsertNode(Partial);
1344    } else {
1345      CanonPattern->getCommonPtr()->Specializations.InsertNode(D);
1346    }
1347  }
1348}
1349
1350void ASTDeclReader::VisitClassTemplatePartialSpecializationDecl(
1351                                    ClassTemplatePartialSpecializationDecl *D) {
1352  VisitClassTemplateSpecializationDecl(D);
1353
1354  ASTContext &C = Reader.getContext();
1355  D->TemplateParams = Reader.ReadTemplateParameterList(F, Record, Idx);
1356
1357  unsigned NumArgs = Record[Idx++];
1358  if (NumArgs) {
1359    D->NumArgsAsWritten = NumArgs;
1360    D->ArgsAsWritten = new (C) TemplateArgumentLoc[NumArgs];
1361    for (unsigned i=0; i != NumArgs; ++i)
1362      D->ArgsAsWritten[i] = Reader.ReadTemplateArgumentLoc(F, Record, Idx);
1363  }
1364
1365  D->SequenceNumber = Record[Idx++];
1366
1367  // These are read/set from/to the first declaration.
1368  if (D->getPreviousDecl() == 0) {
1369    D->InstantiatedFromMember.setPointer(
1370      ReadDeclAs<ClassTemplatePartialSpecializationDecl>(Record, Idx));
1371    D->InstantiatedFromMember.setInt(Record[Idx++]);
1372  }
1373}
1374
1375void ASTDeclReader::VisitClassScopeFunctionSpecializationDecl(
1376                                    ClassScopeFunctionSpecializationDecl *D) {
1377  VisitDecl(D);
1378  D->Specialization = ReadDeclAs<CXXMethodDecl>(Record, Idx);
1379}
1380
1381void ASTDeclReader::VisitFunctionTemplateDecl(FunctionTemplateDecl *D) {
1382  RedeclarableResult Redecl = VisitRedeclarableTemplateDecl(D);
1383
1384  if (ThisDeclID == Redecl.getFirstID()) {
1385    // This FunctionTemplateDecl owns a CommonPtr; read it.
1386
1387    // Read the function specialization declarations.
1388    // FunctionTemplateDecl's FunctionTemplateSpecializationInfos are filled
1389    // when reading the specialized FunctionDecl.
1390    unsigned NumSpecs = Record[Idx++];
1391    while (NumSpecs--)
1392      (void)ReadDecl(Record, Idx);
1393  }
1394}
1395
1396void ASTDeclReader::VisitTemplateTypeParmDecl(TemplateTypeParmDecl *D) {
1397  VisitTypeDecl(D);
1398
1399  D->setDeclaredWithTypename(Record[Idx++]);
1400
1401  bool Inherited = Record[Idx++];
1402  TypeSourceInfo *DefArg = GetTypeSourceInfo(Record, Idx);
1403  D->setDefaultArgument(DefArg, Inherited);
1404}
1405
1406void ASTDeclReader::VisitNonTypeTemplateParmDecl(NonTypeTemplateParmDecl *D) {
1407  VisitDeclaratorDecl(D);
1408  // TemplateParmPosition.
1409  D->setDepth(Record[Idx++]);
1410  D->setPosition(Record[Idx++]);
1411  if (D->isExpandedParameterPack()) {
1412    void **Data = reinterpret_cast<void **>(D + 1);
1413    for (unsigned I = 0, N = D->getNumExpansionTypes(); I != N; ++I) {
1414      Data[2*I] = Reader.readType(F, Record, Idx).getAsOpaquePtr();
1415      Data[2*I + 1] = GetTypeSourceInfo(Record, Idx);
1416    }
1417  } else {
1418    // Rest of NonTypeTemplateParmDecl.
1419    D->ParameterPack = Record[Idx++];
1420    if (Record[Idx++]) {
1421      Expr *DefArg = Reader.ReadExpr(F);
1422      bool Inherited = Record[Idx++];
1423      D->setDefaultArgument(DefArg, Inherited);
1424   }
1425  }
1426}
1427
1428void ASTDeclReader::VisitTemplateTemplateParmDecl(TemplateTemplateParmDecl *D) {
1429  VisitTemplateDecl(D);
1430  // TemplateParmPosition.
1431  D->setDepth(Record[Idx++]);
1432  D->setPosition(Record[Idx++]);
1433  // Rest of TemplateTemplateParmDecl.
1434  TemplateArgumentLoc Arg = Reader.ReadTemplateArgumentLoc(F, Record, Idx);
1435  bool IsInherited = Record[Idx++];
1436  D->setDefaultArgument(Arg, IsInherited);
1437  D->ParameterPack = Record[Idx++];
1438}
1439
1440void ASTDeclReader::VisitTypeAliasTemplateDecl(TypeAliasTemplateDecl *D) {
1441  VisitRedeclarableTemplateDecl(D);
1442}
1443
1444void ASTDeclReader::VisitStaticAssertDecl(StaticAssertDecl *D) {
1445  VisitDecl(D);
1446  D->AssertExpr = Reader.ReadExpr(F);
1447  D->Message = cast<StringLiteral>(Reader.ReadExpr(F));
1448  D->RParenLoc = ReadSourceLocation(Record, Idx);
1449}
1450
1451std::pair<uint64_t, uint64_t>
1452ASTDeclReader::VisitDeclContext(DeclContext *DC) {
1453  uint64_t LexicalOffset = Record[Idx++];
1454  uint64_t VisibleOffset = Record[Idx++];
1455  return std::make_pair(LexicalOffset, VisibleOffset);
1456}
1457
1458template <typename T>
1459ASTDeclReader::RedeclarableResult
1460ASTDeclReader::VisitRedeclarable(Redeclarable<T> *D) {
1461  DeclID FirstDeclID = ReadDeclID(Record, Idx);
1462
1463  // 0 indicates that this declaration was the only declaration of its entity,
1464  // and is used for space optimization.
1465  if (FirstDeclID == 0)
1466    FirstDeclID = ThisDeclID;
1467
1468  T *FirstDecl = cast_or_null<T>(Reader.GetDecl(FirstDeclID));
1469  if (FirstDecl != D) {
1470    // We delay loading of the redeclaration chain to avoid deeply nested calls.
1471    // We temporarily set the first (canonical) declaration as the previous one
1472    // which is the one that matters and mark the real previous DeclID to be
1473    // loaded & attached later on.
1474    D->RedeclLink = typename Redeclarable<T>::PreviousDeclLink(FirstDecl);
1475  }
1476
1477  // Note that this declaration has been deserialized.
1478  Reader.RedeclsDeserialized.insert(static_cast<T *>(D));
1479
1480  // The result structure takes care to note that we need to load the
1481  // other declaration chains for this ID.
1482  return RedeclarableResult(Reader, FirstDeclID);
1483}
1484
1485/// \brief Attempts to merge the given declaration (D) with another declaration
1486/// of the same entity.
1487template<typename T>
1488void ASTDeclReader::mergeRedeclarable(Redeclarable<T> *D,
1489                                      RedeclarableResult &Redecl) {
1490  // If modules are not available, there is no reason to perform this merge.
1491  if (!Reader.getContext().getLangOptions().Modules)
1492    return;
1493
1494  if (FindExistingResult ExistingRes = findExisting(static_cast<T*>(D))) {
1495    if (T *Existing = ExistingRes) {
1496      T *ExistingCanon = Existing->getCanonicalDecl();
1497      T *DCanon = static_cast<T*>(D)->getCanonicalDecl();
1498      if (ExistingCanon != DCanon) {
1499        // Have our redeclaration link point back at the canonical declaration
1500        // of the existing declaration, so that this declaration has the
1501        // appropriate canonical declaration.
1502        D->RedeclLink
1503          = typename Redeclarable<T>::PreviousDeclLink(ExistingCanon);
1504
1505        // When we merge a namespace, update its pointer to the first namespace.
1506        if (NamespaceDecl *Namespace
1507              = dyn_cast<NamespaceDecl>(static_cast<T*>(D))) {
1508          Namespace->AnonOrFirstNamespaceAndInline.setPointer(
1509            static_cast<NamespaceDecl *>(static_cast<void*>(ExistingCanon)));
1510        }
1511
1512        // Don't introduce DCanon into the set of pending declaration chains.
1513        Redecl.suppress();
1514
1515        // Introduce ExistingCanon into the set of pending declaration chains,
1516        // if in fact it came from a module file.
1517        if (ExistingCanon->isFromASTFile()) {
1518          GlobalDeclID ExistingCanonID = ExistingCanon->getGlobalID();
1519          assert(ExistingCanonID && "Unrecorded canonical declaration ID?");
1520          if (Reader.PendingDeclChainsKnown.insert(ExistingCanonID))
1521            Reader.PendingDeclChains.push_back(ExistingCanonID);
1522        }
1523
1524        // If this declaration was the canonical declaration, make a note of
1525        // that. We accept the linear algorithm here because the number of
1526        // unique canonical declarations of an entity should always be tiny.
1527        if (DCanon == static_cast<T*>(D)) {
1528          SmallVectorImpl<DeclID> &Merged = Reader.MergedDecls[ExistingCanon];
1529          if (std::find(Merged.begin(), Merged.end(), Redecl.getFirstID())
1530                == Merged.end())
1531            Merged.push_back(Redecl.getFirstID());
1532
1533          // If ExistingCanon did not come from a module file, introduce the
1534          // first declaration that *does* come from a module file to the
1535          // set of pending declaration chains, so that we merge this
1536          // declaration.
1537          if (!ExistingCanon->isFromASTFile() &&
1538              Reader.PendingDeclChainsKnown.insert(Redecl.getFirstID()))
1539            Reader.PendingDeclChains.push_back(Merged[0]);
1540        }
1541      }
1542    }
1543  }
1544}
1545
1546//===----------------------------------------------------------------------===//
1547// Attribute Reading
1548//===----------------------------------------------------------------------===//
1549
1550/// \brief Reads attributes from the current stream position.
1551void ASTReader::ReadAttributes(ModuleFile &F, AttrVec &Attrs,
1552                               const RecordData &Record, unsigned &Idx) {
1553  for (unsigned i = 0, e = Record[Idx++]; i != e; ++i) {
1554    Attr *New = 0;
1555    attr::Kind Kind = (attr::Kind)Record[Idx++];
1556    SourceRange Range = ReadSourceRange(F, Record, Idx);
1557
1558#include "clang/Serialization/AttrPCHRead.inc"
1559
1560    assert(New && "Unable to decode attribute?");
1561    Attrs.push_back(New);
1562  }
1563}
1564
1565//===----------------------------------------------------------------------===//
1566// ASTReader Implementation
1567//===----------------------------------------------------------------------===//
1568
1569/// \brief Note that we have loaded the declaration with the given
1570/// Index.
1571///
1572/// This routine notes that this declaration has already been loaded,
1573/// so that future GetDecl calls will return this declaration rather
1574/// than trying to load a new declaration.
1575inline void ASTReader::LoadedDecl(unsigned Index, Decl *D) {
1576  assert(!DeclsLoaded[Index] && "Decl loaded twice?");
1577  DeclsLoaded[Index] = D;
1578}
1579
1580
1581/// \brief Determine whether the consumer will be interested in seeing
1582/// this declaration (via HandleTopLevelDecl).
1583///
1584/// This routine should return true for anything that might affect
1585/// code generation, e.g., inline function definitions, Objective-C
1586/// declarations with metadata, etc.
1587static bool isConsumerInterestedIn(Decl *D) {
1588  // An ObjCMethodDecl is never considered as "interesting" because its
1589  // implementation container always is.
1590
1591  if (isa<FileScopeAsmDecl>(D) ||
1592      isa<ObjCProtocolDecl>(D) ||
1593      isa<ObjCImplDecl>(D))
1594    return true;
1595  if (VarDecl *Var = dyn_cast<VarDecl>(D))
1596    return Var->isFileVarDecl() &&
1597           Var->isThisDeclarationADefinition() == VarDecl::Definition;
1598  if (FunctionDecl *Func = dyn_cast<FunctionDecl>(D))
1599    return Func->doesThisDeclarationHaveABody();
1600
1601  return false;
1602}
1603
1604/// \brief Get the correct cursor and offset for loading a declaration.
1605ASTReader::RecordLocation
1606ASTReader::DeclCursorForID(DeclID ID, unsigned &RawLocation) {
1607  // See if there's an override.
1608  DeclReplacementMap::iterator It = ReplacedDecls.find(ID);
1609  if (It != ReplacedDecls.end()) {
1610    RawLocation = It->second.RawLoc;
1611    return RecordLocation(It->second.Mod, It->second.Offset);
1612  }
1613
1614  GlobalDeclMapType::iterator I = GlobalDeclMap.find(ID);
1615  assert(I != GlobalDeclMap.end() && "Corrupted global declaration map");
1616  ModuleFile *M = I->second;
1617  const DeclOffset &
1618    DOffs =  M->DeclOffsets[ID - M->BaseDeclID - NUM_PREDEF_DECL_IDS];
1619  RawLocation = DOffs.Loc;
1620  return RecordLocation(M, DOffs.BitOffset);
1621}
1622
1623ASTReader::RecordLocation ASTReader::getLocalBitOffset(uint64_t GlobalOffset) {
1624  ContinuousRangeMap<uint64_t, ModuleFile*, 4>::iterator I
1625    = GlobalBitOffsetsMap.find(GlobalOffset);
1626
1627  assert(I != GlobalBitOffsetsMap.end() && "Corrupted global bit offsets map");
1628  return RecordLocation(I->second, GlobalOffset - I->second->GlobalBitOffset);
1629}
1630
1631uint64_t ASTReader::getGlobalBitOffset(ModuleFile &M, uint32_t LocalOffset) {
1632  return LocalOffset + M.GlobalBitOffset;
1633}
1634
1635/// \brief Determine whether the two declarations refer to the same entity.
1636static bool isSameEntity(NamedDecl *X, NamedDecl *Y) {
1637  assert(X->getDeclName() == Y->getDeclName() && "Declaration name mismatch!");
1638
1639  if (X == Y)
1640    return true;
1641
1642  // Must be in the same context.
1643  if (!X->getDeclContext()->getRedeclContext()->Equals(
1644         Y->getDeclContext()->getRedeclContext()))
1645    return false;
1646
1647  // Two typedefs refer to the same entity if they have the same underlying
1648  // type.
1649  if (TypedefNameDecl *TypedefX = dyn_cast<TypedefNameDecl>(X))
1650    if (TypedefNameDecl *TypedefY = dyn_cast<TypedefNameDecl>(Y))
1651      return X->getASTContext().hasSameType(TypedefX->getUnderlyingType(),
1652                                            TypedefY->getUnderlyingType());
1653
1654  // Must have the same kind.
1655  if (X->getKind() != Y->getKind())
1656    return false;
1657
1658  // Objective-C classes and protocols with the same name always match.
1659  if (isa<ObjCInterfaceDecl>(X) || isa<ObjCProtocolDecl>(X))
1660    return true;
1661
1662  // Compatible tags match.
1663  if (TagDecl *TagX = dyn_cast<TagDecl>(X)) {
1664    TagDecl *TagY = cast<TagDecl>(Y);
1665    return (TagX->getTagKind() == TagY->getTagKind()) ||
1666      ((TagX->getTagKind() == TTK_Struct || TagX->getTagKind() == TTK_Class) &&
1667       (TagY->getTagKind() == TTK_Struct || TagY->getTagKind() == TTK_Class));
1668  }
1669
1670  // Functions with the same type and linkage match.
1671  // FIXME: This needs to cope with function templates, merging of
1672  //prototyped/non-prototyped functions, etc.
1673  if (FunctionDecl *FuncX = dyn_cast<FunctionDecl>(X)) {
1674    FunctionDecl *FuncY = cast<FunctionDecl>(Y);
1675    return (FuncX->getLinkage() == FuncY->getLinkage()) &&
1676      FuncX->getASTContext().hasSameType(FuncX->getType(), FuncY->getType());
1677  }
1678
1679  // Variables with the same type and linkage match.
1680  if (VarDecl *VarX = dyn_cast<VarDecl>(X)) {
1681    VarDecl *VarY = cast<VarDecl>(Y);
1682    return (VarX->getLinkage() == VarY->getLinkage()) &&
1683      VarX->getASTContext().hasSameType(VarX->getType(), VarY->getType());
1684  }
1685
1686  // Namespaces with the same name and inlinedness match.
1687  if (NamespaceDecl *NamespaceX = dyn_cast<NamespaceDecl>(X)) {
1688    NamespaceDecl *NamespaceY = cast<NamespaceDecl>(Y);
1689    return NamespaceX->isInline() == NamespaceY->isInline();
1690  }
1691
1692  // FIXME: Many other cases to implement.
1693  return false;
1694}
1695
1696ASTDeclReader::FindExistingResult::~FindExistingResult() {
1697  if (!AddResult || Existing)
1698    return;
1699
1700  DeclContext *DC = New->getDeclContext()->getRedeclContext();
1701  if (DC->isTranslationUnit() && Reader.SemaObj) {
1702    Reader.SemaObj->IdResolver.tryAddTopLevelDecl(New, New->getDeclName());
1703  } else if (DC->isNamespace()) {
1704    DC->addDecl(New);
1705  }
1706}
1707
1708ASTDeclReader::FindExistingResult ASTDeclReader::findExisting(NamedDecl *D) {
1709  DeclarationName Name = D->getDeclName();
1710  if (!Name) {
1711    // Don't bother trying to find unnamed declarations.
1712    FindExistingResult Result(Reader, D, /*Existing=*/0);
1713    Result.suppress();
1714    return Result;
1715  }
1716
1717  DeclContext *DC = D->getDeclContext()->getRedeclContext();
1718  if (!DC->isFileContext())
1719    return FindExistingResult(Reader);
1720
1721  if (DC->isTranslationUnit() && Reader.SemaObj) {
1722    IdentifierResolver &IdResolver = Reader.SemaObj->IdResolver;
1723    for (IdentifierResolver::iterator I = IdResolver.begin(Name),
1724                                   IEnd = IdResolver.end();
1725         I != IEnd; ++I) {
1726      if (isSameEntity(*I, D))
1727        return FindExistingResult(Reader, D, *I);
1728    }
1729  }
1730
1731  if (DC->isNamespace()) {
1732    for (DeclContext::lookup_result R = DC->lookup(Name);
1733         R.first != R.second; ++R.first) {
1734      if (isSameEntity(*R.first, D))
1735        return FindExistingResult(Reader, D, *R.first);
1736    }
1737  }
1738
1739  return FindExistingResult(Reader, D, /*Existing=*/0);
1740}
1741
1742void ASTDeclReader::attachPreviousDecl(Decl *D, Decl *previous) {
1743  assert(D && previous);
1744  if (TagDecl *TD = dyn_cast<TagDecl>(D)) {
1745    TD->RedeclLink.setPointer(cast<TagDecl>(previous));
1746  } else if (FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
1747    FD->RedeclLink.setPointer(cast<FunctionDecl>(previous));
1748  } else if (VarDecl *VD = dyn_cast<VarDecl>(D)) {
1749    VD->RedeclLink.setPointer(cast<VarDecl>(previous));
1750  } else if (TypedefNameDecl *TD = dyn_cast<TypedefNameDecl>(D)) {
1751    TD->RedeclLink.setPointer(cast<TypedefNameDecl>(previous));
1752  } else if (ObjCInterfaceDecl *ID = dyn_cast<ObjCInterfaceDecl>(D)) {
1753    ID->RedeclLink.setPointer(cast<ObjCInterfaceDecl>(previous));
1754  } else if (ObjCProtocolDecl *PD = dyn_cast<ObjCProtocolDecl>(D)) {
1755    PD->RedeclLink.setPointer(cast<ObjCProtocolDecl>(previous));
1756  } else if (NamespaceDecl *ND = dyn_cast<NamespaceDecl>(D)) {
1757    ND->RedeclLink.setPointer(cast<NamespaceDecl>(previous));
1758  } else {
1759    RedeclarableTemplateDecl *TD = cast<RedeclarableTemplateDecl>(D);
1760    TD->RedeclLink.setPointer(cast<RedeclarableTemplateDecl>(previous));
1761  }
1762}
1763
1764void ASTDeclReader::attachLatestDecl(Decl *D, Decl *Latest) {
1765  assert(D && Latest);
1766  if (TagDecl *TD = dyn_cast<TagDecl>(D)) {
1767    TD->RedeclLink
1768      = Redeclarable<TagDecl>::LatestDeclLink(cast<TagDecl>(Latest));
1769  } else if (FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
1770    FD->RedeclLink
1771      = Redeclarable<FunctionDecl>::LatestDeclLink(cast<FunctionDecl>(Latest));
1772  } else if (VarDecl *VD = dyn_cast<VarDecl>(D)) {
1773    VD->RedeclLink
1774      = Redeclarable<VarDecl>::LatestDeclLink(cast<VarDecl>(Latest));
1775  } else if (TypedefNameDecl *TD = dyn_cast<TypedefNameDecl>(D)) {
1776    TD->RedeclLink
1777      = Redeclarable<TypedefNameDecl>::LatestDeclLink(
1778                                                cast<TypedefNameDecl>(Latest));
1779  } else if (ObjCInterfaceDecl *ID = dyn_cast<ObjCInterfaceDecl>(D)) {
1780    ID->RedeclLink
1781      = Redeclarable<ObjCInterfaceDecl>::LatestDeclLink(
1782                                              cast<ObjCInterfaceDecl>(Latest));
1783  } else if (ObjCProtocolDecl *PD = dyn_cast<ObjCProtocolDecl>(D)) {
1784    PD->RedeclLink
1785      = Redeclarable<ObjCProtocolDecl>::LatestDeclLink(
1786                                                cast<ObjCProtocolDecl>(Latest));
1787  } else if (NamespaceDecl *ND = dyn_cast<NamespaceDecl>(D)) {
1788    ND->RedeclLink
1789      = Redeclarable<NamespaceDecl>::LatestDeclLink(
1790                                                   cast<NamespaceDecl>(Latest));
1791  } else {
1792    RedeclarableTemplateDecl *TD = cast<RedeclarableTemplateDecl>(D);
1793    TD->RedeclLink
1794      = Redeclarable<RedeclarableTemplateDecl>::LatestDeclLink(
1795                                        cast<RedeclarableTemplateDecl>(Latest));
1796  }
1797}
1798
1799ASTReader::MergedDeclsMap::iterator
1800ASTReader::combineStoredMergedDecls(Decl *Canon, GlobalDeclID CanonID) {
1801  // If we don't have any stored merged declarations, just look in the
1802  // merged declarations set.
1803  StoredMergedDeclsMap::iterator StoredPos = StoredMergedDecls.find(CanonID);
1804  if (StoredPos == StoredMergedDecls.end())
1805    return MergedDecls.find(Canon);
1806
1807  // Append the stored merged declarations to the merged declarations set.
1808  MergedDeclsMap::iterator Pos = MergedDecls.find(Canon);
1809  if (Pos == MergedDecls.end())
1810    Pos = MergedDecls.insert(std::make_pair(Canon,
1811                                            SmallVector<DeclID, 2>())).first;
1812  Pos->second.append(StoredPos->second.begin(), StoredPos->second.end());
1813  StoredMergedDecls.erase(StoredPos);
1814
1815  // Sort and uniquify the set of merged declarations.
1816  llvm::array_pod_sort(Pos->second.begin(), Pos->second.end());
1817  Pos->second.erase(std::unique(Pos->second.begin(), Pos->second.end()),
1818                    Pos->second.end());
1819  return Pos;
1820}
1821
1822void ASTReader::loadAndAttachPreviousDecl(Decl *D, serialization::DeclID ID) {
1823  Decl *previous = GetDecl(ID);
1824  ASTDeclReader::attachPreviousDecl(D, previous);
1825}
1826
1827/// \brief Read the declaration at the given offset from the AST file.
1828Decl *ASTReader::ReadDeclRecord(DeclID ID) {
1829  unsigned Index = ID - NUM_PREDEF_DECL_IDS;
1830  unsigned RawLocation = 0;
1831  RecordLocation Loc = DeclCursorForID(ID, RawLocation);
1832  llvm::BitstreamCursor &DeclsCursor = Loc.F->DeclsCursor;
1833  // Keep track of where we are in the stream, then jump back there
1834  // after reading this declaration.
1835  SavedStreamPosition SavedPosition(DeclsCursor);
1836
1837  ReadingKindTracker ReadingKind(Read_Decl, *this);
1838
1839  // Note that we are loading a declaration record.
1840  Deserializing ADecl(this);
1841
1842  DeclsCursor.JumpToBit(Loc.Offset);
1843  RecordData Record;
1844  unsigned Code = DeclsCursor.ReadCode();
1845  unsigned Idx = 0;
1846  ASTDeclReader Reader(*this, *Loc.F, DeclsCursor, ID, RawLocation, Record,Idx);
1847
1848  Decl *D = 0;
1849  switch ((DeclCode)DeclsCursor.ReadRecord(Code, Record)) {
1850  case DECL_CONTEXT_LEXICAL:
1851  case DECL_CONTEXT_VISIBLE:
1852    llvm_unreachable("Record cannot be de-serialized with ReadDeclRecord");
1853  case DECL_TYPEDEF:
1854    D = TypedefDecl::CreateDeserialized(Context, ID);
1855    break;
1856  case DECL_TYPEALIAS:
1857    D = TypeAliasDecl::CreateDeserialized(Context, ID);
1858    break;
1859  case DECL_ENUM:
1860    D = EnumDecl::CreateDeserialized(Context, ID);
1861    break;
1862  case DECL_RECORD:
1863    D = RecordDecl::CreateDeserialized(Context, ID);
1864    break;
1865  case DECL_ENUM_CONSTANT:
1866    D = EnumConstantDecl::CreateDeserialized(Context, ID);
1867    break;
1868  case DECL_FUNCTION:
1869    D = FunctionDecl::CreateDeserialized(Context, ID);
1870    break;
1871  case DECL_LINKAGE_SPEC:
1872    D = LinkageSpecDecl::CreateDeserialized(Context, ID);
1873    break;
1874  case DECL_LABEL:
1875    D = LabelDecl::CreateDeserialized(Context, ID);
1876    break;
1877  case DECL_NAMESPACE:
1878    D = NamespaceDecl::CreateDeserialized(Context, ID);
1879    break;
1880  case DECL_NAMESPACE_ALIAS:
1881    D = NamespaceAliasDecl::CreateDeserialized(Context, ID);
1882    break;
1883  case DECL_USING:
1884    D = UsingDecl::CreateDeserialized(Context, ID);
1885    break;
1886  case DECL_USING_SHADOW:
1887    D = UsingShadowDecl::CreateDeserialized(Context, ID);
1888    break;
1889  case DECL_USING_DIRECTIVE:
1890    D = UsingDirectiveDecl::CreateDeserialized(Context, ID);
1891    break;
1892  case DECL_UNRESOLVED_USING_VALUE:
1893    D = UnresolvedUsingValueDecl::CreateDeserialized(Context, ID);
1894    break;
1895  case DECL_UNRESOLVED_USING_TYPENAME:
1896    D = UnresolvedUsingTypenameDecl::CreateDeserialized(Context, ID);
1897    break;
1898  case DECL_CXX_RECORD:
1899    D = CXXRecordDecl::CreateDeserialized(Context, ID);
1900    break;
1901  case DECL_CXX_METHOD:
1902    D = CXXMethodDecl::CreateDeserialized(Context, ID);
1903    break;
1904  case DECL_CXX_CONSTRUCTOR:
1905    D = CXXConstructorDecl::CreateDeserialized(Context, ID);
1906    break;
1907  case DECL_CXX_DESTRUCTOR:
1908    D = CXXDestructorDecl::CreateDeserialized(Context, ID);
1909    break;
1910  case DECL_CXX_CONVERSION:
1911    D = CXXConversionDecl::CreateDeserialized(Context, ID);
1912    break;
1913  case DECL_ACCESS_SPEC:
1914    D = AccessSpecDecl::CreateDeserialized(Context, ID);
1915    break;
1916  case DECL_FRIEND:
1917    D = FriendDecl::CreateDeserialized(Context, ID);
1918    break;
1919  case DECL_FRIEND_TEMPLATE:
1920    D = FriendTemplateDecl::CreateDeserialized(Context, ID);
1921    break;
1922  case DECL_CLASS_TEMPLATE:
1923    D = ClassTemplateDecl::CreateDeserialized(Context, ID);
1924    break;
1925  case DECL_CLASS_TEMPLATE_SPECIALIZATION:
1926    D = ClassTemplateSpecializationDecl::CreateDeserialized(Context, ID);
1927    break;
1928  case DECL_CLASS_TEMPLATE_PARTIAL_SPECIALIZATION:
1929    D = ClassTemplatePartialSpecializationDecl::CreateDeserialized(Context, ID);
1930    break;
1931  case DECL_CLASS_SCOPE_FUNCTION_SPECIALIZATION:
1932    D = ClassScopeFunctionSpecializationDecl::CreateDeserialized(Context, ID);
1933    break;
1934  case DECL_FUNCTION_TEMPLATE:
1935    D = FunctionTemplateDecl::CreateDeserialized(Context, ID);
1936    break;
1937  case DECL_TEMPLATE_TYPE_PARM:
1938    D = TemplateTypeParmDecl::CreateDeserialized(Context, ID);
1939    break;
1940  case DECL_NON_TYPE_TEMPLATE_PARM:
1941    D = NonTypeTemplateParmDecl::CreateDeserialized(Context, ID);
1942    break;
1943  case DECL_EXPANDED_NON_TYPE_TEMPLATE_PARM_PACK:
1944    D = NonTypeTemplateParmDecl::CreateDeserialized(Context, ID, Record[Idx++]);
1945    break;
1946  case DECL_TEMPLATE_TEMPLATE_PARM:
1947    D = TemplateTemplateParmDecl::CreateDeserialized(Context, ID);
1948    break;
1949  case DECL_TYPE_ALIAS_TEMPLATE:
1950    D = TypeAliasTemplateDecl::CreateDeserialized(Context, ID);
1951    break;
1952  case DECL_STATIC_ASSERT:
1953    D = StaticAssertDecl::CreateDeserialized(Context, ID);
1954    break;
1955  case DECL_OBJC_METHOD:
1956    D = ObjCMethodDecl::CreateDeserialized(Context, ID);
1957    break;
1958  case DECL_OBJC_INTERFACE:
1959    D = ObjCInterfaceDecl::CreateDeserialized(Context, ID);
1960    break;
1961  case DECL_OBJC_IVAR:
1962    D = ObjCIvarDecl::CreateDeserialized(Context, ID);
1963    break;
1964  case DECL_OBJC_PROTOCOL:
1965    D = ObjCProtocolDecl::CreateDeserialized(Context, ID);
1966    break;
1967  case DECL_OBJC_AT_DEFS_FIELD:
1968    D = ObjCAtDefsFieldDecl::CreateDeserialized(Context, ID);
1969    break;
1970  case DECL_OBJC_CATEGORY:
1971    D = ObjCCategoryDecl::CreateDeserialized(Context, ID);
1972    break;
1973  case DECL_OBJC_CATEGORY_IMPL:
1974    D = ObjCCategoryImplDecl::CreateDeserialized(Context, ID);
1975    break;
1976  case DECL_OBJC_IMPLEMENTATION:
1977    D = ObjCImplementationDecl::CreateDeserialized(Context, ID);
1978    break;
1979  case DECL_OBJC_COMPATIBLE_ALIAS:
1980    D = ObjCCompatibleAliasDecl::CreateDeserialized(Context, ID);
1981    break;
1982  case DECL_OBJC_PROPERTY:
1983    D = ObjCPropertyDecl::CreateDeserialized(Context, ID);
1984    break;
1985  case DECL_OBJC_PROPERTY_IMPL:
1986    D = ObjCPropertyImplDecl::CreateDeserialized(Context, ID);
1987    break;
1988  case DECL_FIELD:
1989    D = FieldDecl::CreateDeserialized(Context, ID);
1990    break;
1991  case DECL_INDIRECTFIELD:
1992    D = IndirectFieldDecl::CreateDeserialized(Context, ID);
1993    break;
1994  case DECL_VAR:
1995    D = VarDecl::CreateDeserialized(Context, ID);
1996    break;
1997  case DECL_IMPLICIT_PARAM:
1998    D = ImplicitParamDecl::CreateDeserialized(Context, ID);
1999    break;
2000  case DECL_PARM_VAR:
2001    D = ParmVarDecl::CreateDeserialized(Context, ID);
2002    break;
2003  case DECL_FILE_SCOPE_ASM:
2004    D = FileScopeAsmDecl::CreateDeserialized(Context, ID);
2005    break;
2006  case DECL_BLOCK:
2007    D = BlockDecl::CreateDeserialized(Context, ID);
2008    break;
2009  case DECL_CXX_BASE_SPECIFIERS:
2010    Error("attempt to read a C++ base-specifier record as a declaration");
2011    return 0;
2012  case DECL_IMPORT:
2013    // Note: last entry of the ImportDecl record is the number of stored source
2014    // locations.
2015    D = ImportDecl::CreateDeserialized(Context, ID, Record.back());
2016    break;
2017  }
2018
2019  assert(D && "Unknown declaration reading AST file");
2020  LoadedDecl(Index, D);
2021  Reader.Visit(D);
2022
2023  // If this declaration is also a declaration context, get the
2024  // offsets for its tables of lexical and visible declarations.
2025  if (DeclContext *DC = dyn_cast<DeclContext>(D)) {
2026    std::pair<uint64_t, uint64_t> Offsets = Reader.VisitDeclContext(DC);
2027    if (Offsets.first || Offsets.second) {
2028      if (Offsets.first != 0)
2029        DC->setHasExternalLexicalStorage(true);
2030      if (Offsets.second != 0)
2031        DC->setHasExternalVisibleStorage(true);
2032      if (ReadDeclContextStorage(*Loc.F, DeclsCursor, Offsets,
2033                                 Loc.F->DeclContextInfos[DC]))
2034        return 0;
2035    }
2036
2037    // Now add the pending visible updates for this decl context, if it has any.
2038    DeclContextVisibleUpdatesPending::iterator I =
2039        PendingVisibleUpdates.find(ID);
2040    if (I != PendingVisibleUpdates.end()) {
2041      // There are updates. This means the context has external visible
2042      // storage, even if the original stored version didn't.
2043      DC->setHasExternalVisibleStorage(true);
2044      DeclContextVisibleUpdates &U = I->second;
2045      for (DeclContextVisibleUpdates::iterator UI = U.begin(), UE = U.end();
2046           UI != UE; ++UI) {
2047        UI->second->DeclContextInfos[DC].NameLookupTableData = UI->first;
2048      }
2049      PendingVisibleUpdates.erase(I);
2050    }
2051  }
2052  assert(Idx == Record.size());
2053
2054  // Load any relevant update records.
2055  loadDeclUpdateRecords(ID, D);
2056
2057  // Load the categories after recursive loading is finished.
2058  if (ObjCInterfaceDecl *Class = dyn_cast<ObjCInterfaceDecl>(D))
2059    if (Class->isThisDeclarationADefinition())
2060      loadObjCCategories(ID, Class);
2061
2062  // If we have deserialized a declaration that has a definition the
2063  // AST consumer might need to know about, queue it.
2064  // We don't pass it to the consumer immediately because we may be in recursive
2065  // loading, and some declarations may still be initializing.
2066  if (isConsumerInterestedIn(D))
2067    InterestingDecls.push_back(D);
2068
2069  return D;
2070}
2071
2072void ASTReader::loadDeclUpdateRecords(serialization::DeclID ID, Decl *D) {
2073  // The declaration may have been modified by files later in the chain.
2074  // If this is the case, read the record containing the updates from each file
2075  // and pass it to ASTDeclReader to make the modifications.
2076  DeclUpdateOffsetsMap::iterator UpdI = DeclUpdateOffsets.find(ID);
2077  if (UpdI != DeclUpdateOffsets.end()) {
2078    FileOffsetsTy &UpdateOffsets = UpdI->second;
2079    for (FileOffsetsTy::iterator
2080         I = UpdateOffsets.begin(), E = UpdateOffsets.end(); I != E; ++I) {
2081      ModuleFile *F = I->first;
2082      uint64_t Offset = I->second;
2083      llvm::BitstreamCursor &Cursor = F->DeclsCursor;
2084      SavedStreamPosition SavedPosition(Cursor);
2085      Cursor.JumpToBit(Offset);
2086      RecordData Record;
2087      unsigned Code = Cursor.ReadCode();
2088      unsigned RecCode = Cursor.ReadRecord(Code, Record);
2089      (void)RecCode;
2090      assert(RecCode == DECL_UPDATES && "Expected DECL_UPDATES record!");
2091
2092      unsigned Idx = 0;
2093      ASTDeclReader Reader(*this, *F, Cursor, ID, 0, Record, Idx);
2094      Reader.UpdateDecl(D, *F, Record);
2095    }
2096  }
2097}
2098
2099namespace {
2100  struct CompareLocalRedeclarationsInfoToID {
2101    bool operator()(const LocalRedeclarationsInfo &X, DeclID Y) {
2102      return X.FirstID < Y;
2103    }
2104
2105    bool operator()(DeclID X, const LocalRedeclarationsInfo &Y) {
2106      return X < Y.FirstID;
2107    }
2108
2109    bool operator()(const LocalRedeclarationsInfo &X,
2110                    const LocalRedeclarationsInfo &Y) {
2111      return X.FirstID < Y.FirstID;
2112    }
2113    bool operator()(DeclID X, DeclID Y) {
2114      return X < Y;
2115    }
2116  };
2117
2118  /// \brief Module visitor class that finds all of the redeclarations of a
2119  ///
2120  class RedeclChainVisitor {
2121    ASTReader &Reader;
2122    SmallVectorImpl<DeclID> &SearchDecls;
2123    llvm::SmallPtrSet<Decl *, 16> &Deserialized;
2124    GlobalDeclID CanonID;
2125    llvm::SmallVector<Decl *, 4> Chain;
2126
2127  public:
2128    RedeclChainVisitor(ASTReader &Reader, SmallVectorImpl<DeclID> &SearchDecls,
2129                       llvm::SmallPtrSet<Decl *, 16> &Deserialized,
2130                       GlobalDeclID CanonID)
2131      : Reader(Reader), SearchDecls(SearchDecls), Deserialized(Deserialized),
2132        CanonID(CanonID) {
2133      for (unsigned I = 0, N = SearchDecls.size(); I != N; ++I)
2134        addToChain(Reader.GetDecl(SearchDecls[I]));
2135    }
2136
2137    static bool visit(ModuleFile &M, bool Preorder, void *UserData) {
2138      if (Preorder)
2139        return false;
2140
2141      return static_cast<RedeclChainVisitor *>(UserData)->visit(M);
2142    }
2143
2144    void addToChain(Decl *D) {
2145      if (!D)
2146        return;
2147
2148      if (Deserialized.count(D)) {
2149        Deserialized.erase(D);
2150        Chain.push_back(D);
2151      }
2152    }
2153
2154    void searchForID(ModuleFile &M, GlobalDeclID GlobalID) {
2155      // Map global ID of the first declaration down to the local ID
2156      // used in this module file.
2157      DeclID ID = Reader.mapGlobalIDToModuleFileGlobalID(M, GlobalID);
2158      if (!ID)
2159        return;
2160
2161      // Perform a binary search to find the local redeclarations for this
2162      // declaration (if any).
2163      const LocalRedeclarationsInfo *Result
2164        = std::lower_bound(M.RedeclarationsMap,
2165                           M.RedeclarationsMap + M.LocalNumRedeclarationsInMap,
2166                           ID, CompareLocalRedeclarationsInfoToID());
2167      if (Result == M.RedeclarationsMap + M.LocalNumRedeclarationsInMap ||
2168          Result->FirstID != ID) {
2169        // If we have a previously-canonical singleton declaration that was
2170        // merged into another redeclaration chain, create a trivial chain
2171        // for this single declaration so that it will get wired into the
2172        // complete redeclaration chain.
2173        if (GlobalID != CanonID &&
2174            GlobalID - NUM_PREDEF_DECL_IDS >= M.BaseDeclID &&
2175            GlobalID - NUM_PREDEF_DECL_IDS < M.BaseDeclID + M.LocalNumDecls) {
2176          addToChain(Reader.GetDecl(GlobalID));
2177        }
2178
2179        return;
2180      }
2181
2182      // Dig out all of the redeclarations.
2183      unsigned Offset = Result->Offset;
2184      unsigned N = M.RedeclarationChains[Offset];
2185      M.RedeclarationChains[Offset++] = 0; // Don't try to deserialize again
2186      for (unsigned I = 0; I != N; ++I)
2187        addToChain(Reader.GetLocalDecl(M, M.RedeclarationChains[Offset++]));
2188    }
2189
2190    bool visit(ModuleFile &M) {
2191      // Visit each of the declarations.
2192      for (unsigned I = 0, N = SearchDecls.size(); I != N; ++I)
2193        searchForID(M, SearchDecls[I]);
2194      return false;
2195    }
2196
2197    ArrayRef<Decl *> getChain() const {
2198      return Chain;
2199    }
2200  };
2201}
2202
2203void ASTReader::loadPendingDeclChain(serialization::GlobalDeclID ID) {
2204  Decl *D = GetDecl(ID);
2205  Decl *CanonDecl = D->getCanonicalDecl();
2206
2207  // Determine the set of declaration IDs we'll be searching for.
2208  llvm::SmallVector<DeclID, 1> SearchDecls;
2209  GlobalDeclID CanonID = 0;
2210  if (D == CanonDecl) {
2211    SearchDecls.push_back(ID); // Always first.
2212    CanonID = ID;
2213  }
2214  MergedDeclsMap::iterator MergedPos = combineStoredMergedDecls(CanonDecl, ID);
2215  if (MergedPos != MergedDecls.end())
2216    SearchDecls.append(MergedPos->second.begin(), MergedPos->second.end());
2217
2218  // Build up the list of redeclarations.
2219  RedeclChainVisitor Visitor(*this, SearchDecls, RedeclsDeserialized, CanonID);
2220  ModuleMgr.visitDepthFirst(&RedeclChainVisitor::visit, &Visitor);
2221
2222  // Retrieve the chains.
2223  ArrayRef<Decl *> Chain = Visitor.getChain();
2224  if (Chain.empty())
2225    return;
2226
2227  // Hook up the chains.
2228  Decl *MostRecent = CanonDecl->getMostRecentDecl();
2229  for (unsigned I = 0, N = Chain.size(); I != N; ++I) {
2230    if (Chain[I] == CanonDecl)
2231      continue;
2232
2233    ASTDeclReader::attachPreviousDecl(Chain[I], MostRecent);
2234    MostRecent = Chain[I];
2235  }
2236
2237  ASTDeclReader::attachLatestDecl(CanonDecl, MostRecent);
2238}
2239
2240namespace {
2241  struct CompareObjCCategoriesInfo {
2242    bool operator()(const ObjCCategoriesInfo &X, DeclID Y) {
2243      return X.DefinitionID < Y;
2244    }
2245
2246    bool operator()(DeclID X, const ObjCCategoriesInfo &Y) {
2247      return X < Y.DefinitionID;
2248    }
2249
2250    bool operator()(const ObjCCategoriesInfo &X,
2251                    const ObjCCategoriesInfo &Y) {
2252      return X.DefinitionID < Y.DefinitionID;
2253    }
2254    bool operator()(DeclID X, DeclID Y) {
2255      return X < Y;
2256    }
2257  };
2258
2259  /// \brief Given an ObjC interface, goes through the modules and links to the
2260  /// interface all the categories for it.
2261  class ObjCCategoriesVisitor {
2262    ASTReader &Reader;
2263    serialization::GlobalDeclID InterfaceID;
2264    ObjCInterfaceDecl *Interface;
2265    llvm::SmallPtrSet<ObjCCategoryDecl *, 16> &Deserialized;
2266    unsigned PreviousGeneration;
2267    ObjCCategoryDecl *Tail;
2268    llvm::DenseMap<DeclarationName, ObjCCategoryDecl *> NameCategoryMap;
2269
2270    void add(ObjCCategoryDecl *Cat) {
2271      // Only process each category once.
2272      if (!Deserialized.count(Cat))
2273        return;
2274      Deserialized.erase(Cat);
2275
2276      // Check for duplicate categories.
2277      if (Cat->getDeclName()) {
2278        ObjCCategoryDecl *&Existing = NameCategoryMap[Cat->getDeclName()];
2279        if (Existing &&
2280            Reader.getOwningModuleFile(Existing)
2281                                          != Reader.getOwningModuleFile(Cat)) {
2282          // FIXME: We should not warn for duplicates in diamond:
2283          //
2284          //   MT     //
2285          //  /  \    //
2286          // ML  MR   //
2287          //  \  /    //
2288          //   MB     //
2289          //
2290          // If there are duplicates in ML/MR, there will be warning when
2291          // creating MB *and* when importing MB. We should not warn when
2292          // importing.
2293          Reader.Diag(Cat->getLocation(), diag::warn_dup_category_def)
2294            << Interface->getDeclName() << Cat->getDeclName();
2295          Reader.Diag(Existing->getLocation(), diag::note_previous_definition);
2296        } else if (!Existing) {
2297          // Record this category.
2298          Existing = Cat;
2299        }
2300      }
2301
2302      // Add this category to the end of the chain.
2303      if (Tail)
2304        ASTDeclReader::setNextObjCCategory(Tail, Cat);
2305      else
2306        Interface->setCategoryList(Cat);
2307      Tail = Cat;
2308    }
2309
2310  public:
2311    ObjCCategoriesVisitor(ASTReader &Reader,
2312                          serialization::GlobalDeclID InterfaceID,
2313                          ObjCInterfaceDecl *Interface,
2314                        llvm::SmallPtrSet<ObjCCategoryDecl *, 16> &Deserialized,
2315                          unsigned PreviousGeneration)
2316      : Reader(Reader), InterfaceID(InterfaceID), Interface(Interface),
2317        Deserialized(Deserialized), PreviousGeneration(PreviousGeneration),
2318        Tail(0)
2319    {
2320      // Populate the name -> category map with the set of known categories.
2321      for (ObjCCategoryDecl *Cat = Interface->getCategoryList(); Cat;
2322           Cat = Cat->getNextClassCategory()) {
2323        if (Cat->getDeclName())
2324          NameCategoryMap[Cat->getDeclName()] = Cat;
2325
2326        // Keep track of the tail of the category list.
2327        Tail = Cat;
2328      }
2329    }
2330
2331    static bool visit(ModuleFile &M, void *UserData) {
2332      return static_cast<ObjCCategoriesVisitor *>(UserData)->visit(M);
2333    }
2334
2335    bool visit(ModuleFile &M) {
2336      // If we've loaded all of the category information we care about from
2337      // this module file, we're done.
2338      if (M.Generation <= PreviousGeneration)
2339        return true;
2340
2341      // Map global ID of the definition down to the local ID used in this
2342      // module file. If there is no such mapping, we'll find nothing here
2343      // (or in any module it imports).
2344      DeclID LocalID = Reader.mapGlobalIDToModuleFileGlobalID(M, InterfaceID);
2345      if (!LocalID)
2346        return true;
2347
2348      // Perform a binary search to find the local redeclarations for this
2349      // declaration (if any).
2350      const ObjCCategoriesInfo *Result
2351        = std::lower_bound(M.ObjCCategoriesMap,
2352                           M.ObjCCategoriesMap + M.LocalNumObjCCategoriesInMap,
2353                           LocalID, CompareObjCCategoriesInfo());
2354      if (Result == M.ObjCCategoriesMap + M.LocalNumObjCCategoriesInMap ||
2355          Result->DefinitionID != LocalID) {
2356        // We didn't find anything. If the class definition is in this module
2357        // file, then the module files it depends on cannot have any categories,
2358        // so suppress further lookup.
2359        return Reader.isDeclIDFromModule(InterfaceID, M);
2360      }
2361
2362      // We found something. Dig out all of the categories.
2363      unsigned Offset = Result->Offset;
2364      unsigned N = M.ObjCCategories[Offset];
2365      M.ObjCCategories[Offset++] = 0; // Don't try to deserialize again
2366      for (unsigned I = 0; I != N; ++I)
2367        add(cast_or_null<ObjCCategoryDecl>(
2368              Reader.GetLocalDecl(M, M.ObjCCategories[Offset++])));
2369      return true;
2370    }
2371  };
2372}
2373
2374void ASTReader::loadObjCCategories(serialization::GlobalDeclID ID,
2375                                   ObjCInterfaceDecl *D,
2376                                   unsigned PreviousGeneration) {
2377  ObjCCategoriesVisitor Visitor(*this, ID, D, CategoriesDeserialized,
2378                                PreviousGeneration);
2379  ModuleMgr.visit(ObjCCategoriesVisitor::visit, &Visitor);
2380}
2381
2382void ASTDeclReader::UpdateDecl(Decl *D, ModuleFile &ModuleFile,
2383                               const RecordData &Record) {
2384  unsigned Idx = 0;
2385  while (Idx < Record.size()) {
2386    switch ((DeclUpdateKind)Record[Idx++]) {
2387    case UPD_CXX_ADDED_IMPLICIT_MEMBER:
2388      cast<CXXRecordDecl>(D)->addedMember(Reader.ReadDecl(ModuleFile, Record, Idx));
2389      break;
2390
2391    case UPD_CXX_ADDED_TEMPLATE_SPECIALIZATION:
2392      // It will be added to the template's specializations set when loaded.
2393      (void)Reader.ReadDecl(ModuleFile, Record, Idx);
2394      break;
2395
2396    case UPD_CXX_ADDED_ANONYMOUS_NAMESPACE: {
2397      NamespaceDecl *Anon
2398        = Reader.ReadDeclAs<NamespaceDecl>(ModuleFile, Record, Idx);
2399
2400      // Each module has its own anonymous namespace, which is disjoint from
2401      // any other module's anonymous namespaces, so don't attach the anonymous
2402      // namespace at all.
2403      if (ModuleFile.Kind != MK_Module) {
2404        if (TranslationUnitDecl *TU = dyn_cast<TranslationUnitDecl>(D))
2405          TU->setAnonymousNamespace(Anon);
2406        else
2407          cast<NamespaceDecl>(D)->setAnonymousNamespace(Anon);
2408      }
2409      break;
2410    }
2411
2412    case UPD_CXX_INSTANTIATED_STATIC_DATA_MEMBER:
2413      cast<VarDecl>(D)->getMemberSpecializationInfo()->setPointOfInstantiation(
2414          Reader.ReadSourceLocation(ModuleFile, Record, Idx));
2415      break;
2416    }
2417  }
2418}
2419