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