blob: 2a1ac11ec04c05dd14accfd1c1ca6220fe6d4ece [file] [log] [blame]
Sebastian Redl3b3c8742010-08-18 23:57:11 +00001//===--- ASTReaderDecl.cpp - Decl Deserialization ---------------*- C++ -*-===//
Chris Lattner487412d2009-04-27 05:27:42 +00002//
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//
Sebastian Redl2c499f62010-08-18 23:56:43 +000010// This file implements the ASTReader::ReadDeclRecord method, which is the
Chris Lattner487412d2009-04-27 05:27:42 +000011// entrypoint for loading a decl.
12//
13//===----------------------------------------------------------------------===//
14
Chandler Carruth3a022472012-12-04 09:13:33 +000015#include "clang/Serialization/ASTReader.h"
Argyrios Kyrtzidis65ad5692010-10-24 17:26:36 +000016#include "ASTCommon.h"
Benjamin Kramer89f0b2d2012-04-15 12:36:49 +000017#include "ASTReaderInternals.h"
Chandler Carruth3a022472012-12-04 09:13:33 +000018#include "clang/AST/ASTConsumer.h"
19#include "clang/AST/ASTContext.h"
20#include "clang/AST/DeclCXX.h"
21#include "clang/AST/DeclGroup.h"
22#include "clang/AST/DeclTemplate.h"
23#include "clang/AST/DeclVisitor.h"
24#include "clang/AST/Expr.h"
Douglas Gregor022857e2011-12-22 01:48:48 +000025#include "clang/Sema/IdentifierResolver.h"
26#include "clang/Sema/Sema.h"
Argyrios Kyrtzidis7d847c92011-09-01 00:58:55 +000027#include "clang/Sema/SemaDiagnostic.h"
Argyrios Kyrtzidis0f7d7ab2012-05-04 01:49:36 +000028#include "llvm/Support/SaveAndRestore.h"
Chris Lattner487412d2009-04-27 05:27:42 +000029using namespace clang;
Sebastian Redl539c5062010-08-18 23:57:32 +000030using namespace clang::serialization;
Chris Lattner487412d2009-04-27 05:27:42 +000031
32//===----------------------------------------------------------------------===//
33// Declaration deserialization
34//===----------------------------------------------------------------------===//
35
Argyrios Kyrtzidis74d28bd2010-06-29 22:47:00 +000036namespace clang {
Sebastian Redlb3298c32010-08-18 23:56:48 +000037 class ASTDeclReader : public DeclVisitor<ASTDeclReader, void> {
Sebastian Redl2c499f62010-08-18 23:56:43 +000038 ASTReader &Reader;
Douglas Gregorde3ef502011-11-30 23:21:26 +000039 ModuleFile &F;
Sebastian Redl539c5062010-08-18 23:57:32 +000040 const DeclID ThisDeclID;
Argyrios Kyrtzidis81ddd182011-10-27 18:47:35 +000041 const unsigned RawLocation;
Argyrios Kyrtzidis8b200a52010-10-24 17:26:27 +000042 typedef ASTReader::RecordData RecordData;
43 const RecordData &Record;
Chris Lattner487412d2009-04-27 05:27:42 +000044 unsigned &Idx;
Sebastian Redl539c5062010-08-18 23:57:32 +000045 TypeID TypeIDForTypeDecl;
Douglas Gregor250ffb12011-03-05 01:35:54 +000046
Douglas Gregora6017bb2012-10-09 17:21:28 +000047 bool HasPendingBody;
48
Sebastian Redlc67764e2010-07-22 22:43:28 +000049 uint64_t GetCurrentCursorOffset();
Douglas Gregor7fb09192011-07-21 22:35:25 +000050
Argyrios Kyrtzidis8b200a52010-10-24 17:26:27 +000051 SourceLocation ReadSourceLocation(const RecordData &R, unsigned &I) {
Sebastian Redl2c373b92010-10-05 15:59:54 +000052 return Reader.ReadSourceLocation(F, R, I);
53 }
Douglas Gregor7fb09192011-07-21 22:35:25 +000054
Argyrios Kyrtzidis8b200a52010-10-24 17:26:27 +000055 SourceRange ReadSourceRange(const RecordData &R, unsigned &I) {
Sebastian Redl2c373b92010-10-05 15:59:54 +000056 return Reader.ReadSourceRange(F, R, I);
57 }
Douglas Gregor7fb09192011-07-21 22:35:25 +000058
Argyrios Kyrtzidis8b200a52010-10-24 17:26:27 +000059 TypeSourceInfo *GetTypeSourceInfo(const RecordData &R, unsigned &I) {
Sebastian Redl2c373b92010-10-05 15:59:54 +000060 return Reader.GetTypeSourceInfo(F, R, I);
61 }
Douglas Gregor7fb09192011-07-21 22:35:25 +000062
63 serialization::DeclID ReadDeclID(const RecordData &R, unsigned &I) {
64 return Reader.ReadDeclID(F, R, I);
65 }
66
67 Decl *ReadDecl(const RecordData &R, unsigned &I) {
68 return Reader.ReadDecl(F, R, I);
69 }
70
71 template<typename T>
72 T *ReadDeclAs(const RecordData &R, unsigned &I) {
73 return Reader.ReadDeclAs<T>(F, R, I);
74 }
75
Argyrios Kyrtzidis434383d2010-10-15 18:21:24 +000076 void ReadQualifierInfo(QualifierInfo &Info,
Argyrios Kyrtzidis8b200a52010-10-24 17:26:27 +000077 const RecordData &R, unsigned &I) {
Argyrios Kyrtzidis434383d2010-10-15 18:21:24 +000078 Reader.ReadQualifierInfo(F, Info, R, I);
79 }
Douglas Gregor7fb09192011-07-21 22:35:25 +000080
Argyrios Kyrtzidis434383d2010-10-15 18:21:24 +000081 void ReadDeclarationNameLoc(DeclarationNameLoc &DNLoc, DeclarationName Name,
Argyrios Kyrtzidis8b200a52010-10-24 17:26:27 +000082 const RecordData &R, unsigned &I) {
Argyrios Kyrtzidis434383d2010-10-15 18:21:24 +000083 Reader.ReadDeclarationNameLoc(F, DNLoc, Name, R, I);
84 }
Douglas Gregor7fb09192011-07-21 22:35:25 +000085
Argyrios Kyrtzidis434383d2010-10-15 18:21:24 +000086 void ReadDeclarationNameInfo(DeclarationNameInfo &NameInfo,
Argyrios Kyrtzidis8b200a52010-10-24 17:26:27 +000087 const RecordData &R, unsigned &I) {
Argyrios Kyrtzidis434383d2010-10-15 18:21:24 +000088 Reader.ReadDeclarationNameInfo(F, NameInfo, R, I);
89 }
Sebastian Redlc67764e2010-07-22 22:43:28 +000090
Douglas Gregorcf68c582011-12-01 22:20:10 +000091 serialization::SubmoduleID readSubmoduleID(const RecordData &R,
92 unsigned &I) {
93 if (I >= R.size())
94 return 0;
95
96 return Reader.getGlobalSubmoduleID(F, R[I++]);
97 }
98
Douglas Gregorba345522011-12-02 23:23:56 +000099 Module *readModule(const RecordData &R, unsigned &I) {
100 return Reader.getSubmodule(readSubmoduleID(R, I));
101 }
102
Argyrios Kyrtzidiseb39d9a2010-10-24 17:26:40 +0000103 void ReadCXXDefinitionData(struct CXXRecordDecl::DefinitionData &Data,
104 const RecordData &R, unsigned &I);
105
Douglas Gregor022857e2011-12-22 01:48:48 +0000106 /// \brief RAII class used to capture the first ID within a redeclaration
107 /// chain and to introduce it into the list of pending redeclaration chains
108 /// on destruction.
109 ///
110 /// The caller can choose not to introduce this ID into the redeclaration
111 /// chain by calling \c suppress().
112 class RedeclarableResult {
113 ASTReader &Reader;
114 GlobalDeclID FirstID;
115 mutable bool Owning;
Douglas Gregorfe732d52013-01-21 16:16:40 +0000116 Decl::Kind DeclKind;
Douglas Gregor022857e2011-12-22 01:48:48 +0000117
Dmitri Gribenkoa664e5b2012-09-15 20:20:27 +0000118 void operator=(RedeclarableResult &) LLVM_DELETED_FUNCTION;
Douglas Gregor022857e2011-12-22 01:48:48 +0000119
120 public:
Douglas Gregorfe732d52013-01-21 16:16:40 +0000121 RedeclarableResult(ASTReader &Reader, GlobalDeclID FirstID,
122 Decl::Kind DeclKind)
123 : Reader(Reader), FirstID(FirstID), Owning(true), DeclKind(DeclKind) { }
Douglas Gregor022857e2011-12-22 01:48:48 +0000124
125 RedeclarableResult(const RedeclarableResult &Other)
Douglas Gregorfe732d52013-01-21 16:16:40 +0000126 : Reader(Other.Reader), FirstID(Other.FirstID), Owning(Other.Owning) ,
127 DeclKind(Other.DeclKind)
Douglas Gregor022857e2011-12-22 01:48:48 +0000128 {
129 Other.Owning = false;
130 }
131
132 ~RedeclarableResult() {
Douglas Gregorfe732d52013-01-21 16:16:40 +0000133 if (FirstID && Owning && isRedeclarableDeclKind(DeclKind) &&
134 Reader.PendingDeclChainsKnown.insert(FirstID))
Douglas Gregor022857e2011-12-22 01:48:48 +0000135 Reader.PendingDeclChains.push_back(FirstID);
136 }
137
138 /// \brief Retrieve the first ID.
139 GlobalDeclID getFirstID() const { return FirstID; }
140
141 /// \brief Do not introduce this declaration ID into the set of pending
142 /// declaration chains.
143 void suppress() {
144 Owning = false;
145 }
146 };
Douglas Gregorfe732d52013-01-21 16:16:40 +0000147
Douglas Gregor022857e2011-12-22 01:48:48 +0000148 /// \brief Class used to capture the result of searching for an existing
149 /// declaration of a specific kind and name, along with the ability
150 /// to update the place where this result was found (the declaration
151 /// chain hanging off an identifier or the DeclContext we searched in)
152 /// if requested.
153 class FindExistingResult {
154 ASTReader &Reader;
155 NamedDecl *New;
156 NamedDecl *Existing;
157 mutable bool AddResult;
158
Dmitri Gribenkoa664e5b2012-09-15 20:20:27 +0000159 void operator=(FindExistingResult&) LLVM_DELETED_FUNCTION;
Douglas Gregor022857e2011-12-22 01:48:48 +0000160
161 public:
162 FindExistingResult(ASTReader &Reader)
163 : Reader(Reader), New(0), Existing(0), AddResult(false) { }
164
165 FindExistingResult(ASTReader &Reader, NamedDecl *New, NamedDecl *Existing)
166 : Reader(Reader), New(New), Existing(Existing), AddResult(true) { }
167
168 FindExistingResult(const FindExistingResult &Other)
169 : Reader(Other.Reader), New(Other.New), Existing(Other.Existing),
170 AddResult(Other.AddResult)
171 {
172 Other.AddResult = false;
173 }
174
175 ~FindExistingResult();
176
Douglas Gregor2009cee2012-01-03 22:46:00 +0000177 /// \brief Suppress the addition of this result into the known set of
178 /// names.
179 void suppress() { AddResult = false; }
180
Douglas Gregor022857e2011-12-22 01:48:48 +0000181 operator NamedDecl*() const { return Existing; }
182
183 template<typename T>
184 operator T*() const { return dyn_cast_or_null<T>(Existing); }
185 };
186
187 FindExistingResult findExisting(NamedDecl *D);
188
Chris Lattner487412d2009-04-27 05:27:42 +0000189 public:
Douglas Gregorde3ef502011-11-30 23:21:26 +0000190 ASTDeclReader(ASTReader &Reader, ModuleFile &F,
Craig Topper802579d2012-09-18 05:34:55 +0000191 DeclID thisDeclID,
Argyrios Kyrtzidis81ddd182011-10-27 18:47:35 +0000192 unsigned RawLocation,
Argyrios Kyrtzidis8b200a52010-10-24 17:26:27 +0000193 const RecordData &Record, unsigned &Idx)
Craig Topper802579d2012-09-18 05:34:55 +0000194 : Reader(Reader), F(F), ThisDeclID(thisDeclID),
Argyrios Kyrtzidis81ddd182011-10-27 18:47:35 +0000195 RawLocation(RawLocation), Record(Record), Idx(Idx),
Douglas Gregora6017bb2012-10-09 17:21:28 +0000196 TypeIDForTypeDecl(0), HasPendingBody(false) { }
Chris Lattner487412d2009-04-27 05:27:42 +0000197
Argyrios Kyrtzidis9fdd2542011-02-12 07:50:47 +0000198 static void attachPreviousDecl(Decl *D, Decl *previous);
Douglas Gregor05f10352011-12-17 23:38:30 +0000199 static void attachLatestDecl(Decl *D, Decl *latest);
Argyrios Kyrtzidis9fdd2542011-02-12 07:50:47 +0000200
Douglas Gregora6017bb2012-10-09 17:21:28 +0000201 /// \brief Determine whether this declaration has a pending body.
202 bool hasPendingBody() const { return HasPendingBody; }
203
Argyrios Kyrtzidis318b0e72010-07-02 11:55:01 +0000204 void Visit(Decl *D);
205
Douglas Gregorde3ef502011-11-30 23:21:26 +0000206 void UpdateDecl(Decl *D, ModuleFile &ModuleFile,
Sebastian Redl2ac2c722011-04-29 08:19:30 +0000207 const RecordData &Record);
Argyrios Kyrtzidis65ad5692010-10-24 17:26:36 +0000208
Argyrios Kyrtzidis7d847c92011-09-01 00:58:55 +0000209 static void setNextObjCCategory(ObjCCategoryDecl *Cat,
210 ObjCCategoryDecl *Next) {
211 Cat->NextClassCategory = Next;
212 }
213
Chris Lattner487412d2009-04-27 05:27:42 +0000214 void VisitDecl(Decl *D);
215 void VisitTranslationUnitDecl(TranslationUnitDecl *TU);
216 void VisitNamedDecl(NamedDecl *ND);
Chris Lattnerc8e630e2011-02-17 07:39:24 +0000217 void VisitLabelDecl(LabelDecl *LD);
Douglas Gregore31bbd92010-02-21 18:22:14 +0000218 void VisitNamespaceDecl(NamespaceDecl *D);
Chris Lattnerca025db2010-05-07 21:43:38 +0000219 void VisitUsingDirectiveDecl(UsingDirectiveDecl *D);
220 void VisitNamespaceAliasDecl(NamespaceAliasDecl *D);
Chris Lattner487412d2009-04-27 05:27:42 +0000221 void VisitTypeDecl(TypeDecl *TD);
Douglas Gregor1f179062011-12-19 14:40:25 +0000222 void VisitTypedefNameDecl(TypedefNameDecl *TD);
Chris Lattner487412d2009-04-27 05:27:42 +0000223 void VisitTypedefDecl(TypedefDecl *TD);
Richard Smithdda56e42011-04-15 14:24:37 +0000224 void VisitTypeAliasDecl(TypeAliasDecl *TD);
Argyrios Kyrtzidisbd8ac8c2010-06-30 08:49:30 +0000225 void VisitUnresolvedUsingTypenameDecl(UnresolvedUsingTypenameDecl *D);
Richard Smith1d209d02013-05-23 01:49:11 +0000226 RedeclarableResult VisitTagDecl(TagDecl *TD);
Chris Lattner487412d2009-04-27 05:27:42 +0000227 void VisitEnumDecl(EnumDecl *ED);
Richard Smith1d209d02013-05-23 01:49:11 +0000228 RedeclarableResult VisitRecordDeclImpl(RecordDecl *RD);
229 void VisitRecordDecl(RecordDecl *RD) { VisitRecordDeclImpl(RD); }
230 RedeclarableResult VisitCXXRecordDeclImpl(CXXRecordDecl *D);
231 void VisitCXXRecordDecl(CXXRecordDecl *D) { VisitCXXRecordDeclImpl(D); }
232 RedeclarableResult VisitClassTemplateSpecializationDeclImpl(
Chris Lattnerca025db2010-05-07 21:43:38 +0000233 ClassTemplateSpecializationDecl *D);
Richard Smith1d209d02013-05-23 01:49:11 +0000234 void VisitClassTemplateSpecializationDecl(
235 ClassTemplateSpecializationDecl *D) {
236 VisitClassTemplateSpecializationDeclImpl(D);
237 }
Chris Lattnerca025db2010-05-07 21:43:38 +0000238 void VisitClassTemplatePartialSpecializationDecl(
239 ClassTemplatePartialSpecializationDecl *D);
Sebastian Redlb7448632011-08-31 13:59:56 +0000240 void VisitClassScopeFunctionSpecializationDecl(
241 ClassScopeFunctionSpecializationDecl *D);
Larisse Voufo39a1e502013-08-06 01:03:05 +0000242 RedeclarableResult
243 VisitVarTemplateSpecializationDeclImpl(VarTemplateSpecializationDecl *D);
244 void VisitVarTemplateSpecializationDecl(VarTemplateSpecializationDecl *D) {
245 VisitVarTemplateSpecializationDeclImpl(D);
246 }
247 void VisitVarTemplatePartialSpecializationDecl(
248 VarTemplatePartialSpecializationDecl *D);
Chris Lattnerca025db2010-05-07 21:43:38 +0000249 void VisitTemplateTypeParmDecl(TemplateTypeParmDecl *D);
Chris Lattner487412d2009-04-27 05:27:42 +0000250 void VisitValueDecl(ValueDecl *VD);
251 void VisitEnumConstantDecl(EnumConstantDecl *ECD);
Argyrios Kyrtzidisbd8ac8c2010-06-30 08:49:30 +0000252 void VisitUnresolvedUsingValueDecl(UnresolvedUsingValueDecl *D);
Argyrios Kyrtzidis560ac972009-08-19 01:28:35 +0000253 void VisitDeclaratorDecl(DeclaratorDecl *DD);
Chris Lattner487412d2009-04-27 05:27:42 +0000254 void VisitFunctionDecl(FunctionDecl *FD);
Chris Lattnerca025db2010-05-07 21:43:38 +0000255 void VisitCXXMethodDecl(CXXMethodDecl *D);
256 void VisitCXXConstructorDecl(CXXConstructorDecl *D);
257 void VisitCXXDestructorDecl(CXXDestructorDecl *D);
258 void VisitCXXConversionDecl(CXXConversionDecl *D);
Chris Lattner487412d2009-04-27 05:27:42 +0000259 void VisitFieldDecl(FieldDecl *FD);
John McCall5e77d762013-04-16 07:28:30 +0000260 void VisitMSPropertyDecl(MSPropertyDecl *FD);
Francois Pichet783dd6e2010-11-21 06:08:52 +0000261 void VisitIndirectFieldDecl(IndirectFieldDecl *FD);
Larisse Voufo39a1e502013-08-06 01:03:05 +0000262 RedeclarableResult VisitVarDeclImpl(VarDecl *D);
263 void VisitVarDecl(VarDecl *VD) { VisitVarDeclImpl(VD); }
Chris Lattner487412d2009-04-27 05:27:42 +0000264 void VisitImplicitParamDecl(ImplicitParamDecl *PD);
265 void VisitParmVarDecl(ParmVarDecl *PD);
Chris Lattnerca025db2010-05-07 21:43:38 +0000266 void VisitNonTypeTemplateParmDecl(NonTypeTemplateParmDecl *D);
267 void VisitTemplateDecl(TemplateDecl *D);
Douglas Gregor54079202012-01-06 22:05:37 +0000268 RedeclarableResult VisitRedeclarableTemplateDecl(RedeclarableTemplateDecl *D);
Chris Lattnerca025db2010-05-07 21:43:38 +0000269 void VisitClassTemplateDecl(ClassTemplateDecl *D);
Larisse Voufo39a1e502013-08-06 01:03:05 +0000270 void VisitVarTemplateDecl(VarTemplateDecl *D);
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000271 void VisitFunctionTemplateDecl(FunctionTemplateDecl *D);
Chris Lattnerca025db2010-05-07 21:43:38 +0000272 void VisitTemplateTemplateParmDecl(TemplateTemplateParmDecl *D);
Richard Smith3f1b5d02011-05-05 21:57:07 +0000273 void VisitTypeAliasTemplateDecl(TypeAliasTemplateDecl *D);
Argyrios Kyrtzidis41d45622010-06-20 14:40:59 +0000274 void VisitUsingDecl(UsingDecl *D);
275 void VisitUsingShadowDecl(UsingShadowDecl *D);
Chris Lattnerca025db2010-05-07 21:43:38 +0000276 void VisitLinkageSpecDecl(LinkageSpecDecl *D);
Chris Lattner487412d2009-04-27 05:27:42 +0000277 void VisitFileScopeAsmDecl(FileScopeAsmDecl *AD);
Douglas Gregorba345522011-12-02 23:23:56 +0000278 void VisitImportDecl(ImportDecl *D);
Abramo Bagnarad7340582010-06-05 05:09:32 +0000279 void VisitAccessSpecDecl(AccessSpecDecl *D);
Argyrios Kyrtzidis74d28bd2010-06-29 22:47:00 +0000280 void VisitFriendDecl(FriendDecl *D);
Chris Lattnerca025db2010-05-07 21:43:38 +0000281 void VisitFriendTemplateDecl(FriendTemplateDecl *D);
282 void VisitStaticAssertDecl(StaticAssertDecl *D);
Chris Lattner487412d2009-04-27 05:27:42 +0000283 void VisitBlockDecl(BlockDecl *BD);
Tareq A. Siraj6dfa25a2013-04-16 19:37:38 +0000284 void VisitCapturedDecl(CapturedDecl *CD);
Michael Han84324352013-02-22 17:15:32 +0000285 void VisitEmptyDecl(EmptyDecl *D);
Chris Lattnerca025db2010-05-07 21:43:38 +0000286
Chris Lattner487412d2009-04-27 05:27:42 +0000287 std::pair<uint64_t, uint64_t> VisitDeclContext(DeclContext *DC);
Douglas Gregor022857e2011-12-22 01:48:48 +0000288
Douglas Gregor2c46b5b2012-01-03 17:27:13 +0000289 template<typename T>
Douglas Gregor022857e2011-12-22 01:48:48 +0000290 RedeclarableResult VisitRedeclarable(Redeclarable<T> *D);
Chris Lattnerca025db2010-05-07 21:43:38 +0000291
Douglas Gregor2c46b5b2012-01-03 17:27:13 +0000292 template<typename T>
293 void mergeRedeclarable(Redeclarable<T> *D, RedeclarableResult &Redecl);
Richard Smithd55889a2013-09-09 16:55:27 +0000294
295 template<typename T>
296 void mergeRedeclarable(Redeclarable<T> *D, T *Existing,
297 RedeclarableResult &Redecl);
298
Richard Smith0b87e072013-10-07 08:02:11 +0000299 template<typename T>
300 void mergeMergeable(Mergeable<T> *D);
301
Alexis Hunted053252010-05-30 07:21:58 +0000302 // FIXME: Reorder according to DeclNodes.td?
Chris Lattner487412d2009-04-27 05:27:42 +0000303 void VisitObjCMethodDecl(ObjCMethodDecl *D);
304 void VisitObjCContainerDecl(ObjCContainerDecl *D);
305 void VisitObjCInterfaceDecl(ObjCInterfaceDecl *D);
306 void VisitObjCIvarDecl(ObjCIvarDecl *D);
307 void VisitObjCProtocolDecl(ObjCProtocolDecl *D);
308 void VisitObjCAtDefsFieldDecl(ObjCAtDefsFieldDecl *D);
Chris Lattner487412d2009-04-27 05:27:42 +0000309 void VisitObjCCategoryDecl(ObjCCategoryDecl *D);
310 void VisitObjCImplDecl(ObjCImplDecl *D);
311 void VisitObjCCategoryImplDecl(ObjCCategoryImplDecl *D);
312 void VisitObjCImplementationDecl(ObjCImplementationDecl *D);
313 void VisitObjCCompatibleAliasDecl(ObjCCompatibleAliasDecl *D);
314 void VisitObjCPropertyDecl(ObjCPropertyDecl *D);
315 void VisitObjCPropertyImplDecl(ObjCPropertyImplDecl *D);
Alexey Bataeva769e072013-03-22 06:34:35 +0000316 void VisitOMPThreadPrivateDecl(OMPThreadPrivateDecl *D);
Chris Lattner487412d2009-04-27 05:27:42 +0000317 };
318}
319
Sebastian Redlb3298c32010-08-18 23:56:48 +0000320uint64_t ASTDeclReader::GetCurrentCursorOffset() {
Douglas Gregord32f0352011-07-22 06:10:01 +0000321 return F.DeclsCursor.GetCurrentBitNo() + F.GlobalBitOffset;
Sebastian Redlc67764e2010-07-22 22:43:28 +0000322}
323
Sebastian Redlb3298c32010-08-18 23:56:48 +0000324void ASTDeclReader::Visit(Decl *D) {
325 DeclVisitor<ASTDeclReader, void>::Visit(D);
Argyrios Kyrtzidis318b0e72010-07-02 11:55:01 +0000326
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000327 if (DeclaratorDecl *DD = dyn_cast<DeclaratorDecl>(D)) {
328 if (DD->DeclInfo) {
329 DeclaratorDecl::ExtInfo *Info =
330 DD->DeclInfo.get<DeclaratorDecl::ExtInfo *>();
331 Info->TInfo =
332 GetTypeSourceInfo(Record, Idx);
333 }
334 else {
335 DD->DeclInfo = GetTypeSourceInfo(Record, Idx);
336 }
337 }
338
Argyrios Kyrtzidis33575162010-07-02 15:58:43 +0000339 if (TypeDecl *TD = dyn_cast<TypeDecl>(D)) {
Douglas Gregor1c283312010-08-11 12:19:30 +0000340 // if we have a fully initialized TypeDecl, we can safely read its type now.
Douglas Gregor0cdc8322010-12-10 17:03:06 +0000341 TD->setTypeForDecl(Reader.GetType(TypeIDForTypeDecl).getTypePtrOrNull());
Douglas Gregorab1ec82e2011-12-16 03:12:41 +0000342 } else if (ObjCInterfaceDecl *ID = dyn_cast<ObjCInterfaceDecl>(D)) {
343 // if we have a fully initialized TypeDecl, we can safely read its type now.
344 ID->TypeForDecl = Reader.GetType(TypeIDForTypeDecl).getTypePtrOrNull();
Argyrios Kyrtzidis33575162010-07-02 15:58:43 +0000345 } else if (FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
346 // FunctionDecl's body was written last after all other Stmts/Exprs.
Douglas Gregor559458c2012-10-03 18:34:48 +0000347 // We only read it if FD doesn't already have a body (e.g., from another
348 // module).
Douglas Gregore4a838a2012-10-03 18:36:10 +0000349 // FIXME: Also consider = default and = delete.
350 // FIXME: Can we diagnose ODR violations somehow?
Douglas Gregora6017bb2012-10-09 17:21:28 +0000351 if (Record[Idx++]) {
352 Reader.PendingBodies[FD] = GetCurrentCursorOffset();
353 HasPendingBody = true;
354 }
Argyrios Kyrtzidis33575162010-07-02 15:58:43 +0000355 }
Argyrios Kyrtzidis318b0e72010-07-02 11:55:01 +0000356}
357
Sebastian Redlb3298c32010-08-18 23:56:48 +0000358void ASTDeclReader::VisitDecl(Decl *D) {
Douglas Gregor250ffb12011-03-05 01:35:54 +0000359 if (D->isTemplateParameter()) {
360 // We don't want to deserialize the DeclContext of a template
361 // parameter immediately, because the template parameter might be
362 // used in the formulation of its DeclContext. Use the translation
363 // unit DeclContext as a placeholder.
Argyrios Kyrtzidis83a6e3b2013-02-16 00:48:59 +0000364 GlobalDeclID SemaDCIDForTemplateParmDecl = ReadDeclID(Record, Idx);
365 GlobalDeclID LexicalDCIDForTemplateParmDecl = ReadDeclID(Record, Idx);
366 Reader.addPendingDeclContextInfo(D,
367 SemaDCIDForTemplateParmDecl,
368 LexicalDCIDForTemplateParmDecl);
Douglas Gregor4163aca2011-09-09 21:34:22 +0000369 D->setDeclContext(Reader.getContext().getTranslationUnitDecl());
Douglas Gregor250ffb12011-03-05 01:35:54 +0000370 } else {
Argyrios Kyrtzidis6f40eb72012-02-09 02:44:08 +0000371 DeclContext *SemaDC = ReadDeclAs<DeclContext>(Record, Idx);
372 DeclContext *LexicalDC = ReadDeclAs<DeclContext>(Record, Idx);
Richard Smithd55889a2013-09-09 16:55:27 +0000373 DeclContext *MergedSemaDC = Reader.MergedDeclContexts.lookup(SemaDC);
Argyrios Kyrtzidis7456ac42012-02-09 07:46:54 +0000374 // Avoid calling setLexicalDeclContext() directly because it uses
375 // Decl::getASTContext() internally which is unsafe during derialization.
Richard Smithd55889a2013-09-09 16:55:27 +0000376 D->setDeclContextsImpl(MergedSemaDC ? MergedSemaDC : SemaDC, LexicalDC,
377 Reader.getContext());
Douglas Gregor250ffb12011-03-05 01:35:54 +0000378 }
Argyrios Kyrtzidis81ddd182011-10-27 18:47:35 +0000379 D->setLocation(Reader.ReadSourceLocation(F, RawLocation));
Chris Lattner487412d2009-04-27 05:27:42 +0000380 D->setInvalidDecl(Record[Idx++]);
Argyrios Kyrtzidis9beef8e2010-10-18 19:20:11 +0000381 if (Record[Idx++]) { // hasAttrs
Alexis Huntdcfba7b2010-08-18 23:23:40 +0000382 AttrVec Attrs;
Argyrios Kyrtzidis9beef8e2010-10-18 19:20:11 +0000383 Reader.ReadAttributes(F, Attrs, Record, Idx);
Argyrios Kyrtzidis7456ac42012-02-09 07:46:54 +0000384 // Avoid calling setAttrs() directly because it uses Decl::getASTContext()
385 // internally which is unsafe during derialization.
Argyrios Kyrtzidis6f40eb72012-02-09 02:44:08 +0000386 D->setAttrsImpl(Attrs, Reader.getContext());
Alexis Huntdcfba7b2010-08-18 23:23:40 +0000387 }
Chris Lattner487412d2009-04-27 05:27:42 +0000388 D->setImplicit(Record[Idx++]);
Eli Friedman276dd182013-09-05 00:02:25 +0000389 D->setIsUsed(Record[Idx++]);
Argyrios Kyrtzidis16180232011-04-19 19:51:10 +0000390 D->setReferenced(Record[Idx++]);
Douglas Gregor781f7132012-01-06 16:59:53 +0000391 D->setTopLevelDeclInObjCContainer(Record[Idx++]);
Chris Lattner487412d2009-04-27 05:27:42 +0000392 D->setAccess((AccessSpecifier)Record[Idx++]);
Douglas Gregor98c05b22011-09-10 00:09:20 +0000393 D->FromASTFile = true;
Douglas Gregor781f7132012-01-06 16:59:53 +0000394 D->setModulePrivate(Record[Idx++]);
395 D->Hidden = D->isModulePrivate();
Douglas Gregor768e5b12012-01-06 16:22:39 +0000396
Douglas Gregorcf68c582011-12-01 22:20:10 +0000397 // Determine whether this declaration is part of a (sub)module. If so, it
398 // may not yet be visible.
399 if (unsigned SubmoduleID = readSubmoduleID(Record, Idx)) {
Douglas Gregorcfe7dc62012-01-09 17:30:44 +0000400 // Store the owning submodule ID in the declaration.
401 D->setOwningModuleID(SubmoduleID);
402
Douglas Gregorcf68c582011-12-01 22:20:10 +0000403 // Module-private declarations are never visible, so there is no work to do.
Douglas Gregor781f7132012-01-06 16:59:53 +0000404 if (!D->isModulePrivate()) {
Douglas Gregorcf68c582011-12-01 22:20:10 +0000405 if (Module *Owner = Reader.getSubmodule(SubmoduleID)) {
406 if (Owner->NameVisibility != Module::AllVisible) {
Douglas Gregor768e5b12012-01-06 16:22:39 +0000407 // The owning module is not visible. Mark this declaration as hidden.
408 D->Hidden = true;
Douglas Gregorcf68c582011-12-01 22:20:10 +0000409
410 // Note that this declaration was hidden because its owning module is
411 // not yet visible.
412 Reader.HiddenNamesMap[Owner].push_back(D);
413 }
414 }
415 }
416 }
Chris Lattner487412d2009-04-27 05:27:42 +0000417}
418
Sebastian Redlb3298c32010-08-18 23:56:48 +0000419void ASTDeclReader::VisitTranslationUnitDecl(TranslationUnitDecl *TU) {
Douglas Gregordab42432011-08-12 00:15:20 +0000420 llvm_unreachable("Translation units are not serialized");
Chris Lattner487412d2009-04-27 05:27:42 +0000421}
422
Sebastian Redlb3298c32010-08-18 23:56:48 +0000423void ASTDeclReader::VisitNamedDecl(NamedDecl *ND) {
Chris Lattner487412d2009-04-27 05:27:42 +0000424 VisitDecl(ND);
Douglas Gregor903b7e92011-07-22 00:38:23 +0000425 ND->setDeclName(Reader.ReadDeclarationName(F, Record, Idx));
Chris Lattner487412d2009-04-27 05:27:42 +0000426}
427
Sebastian Redlb3298c32010-08-18 23:56:48 +0000428void ASTDeclReader::VisitTypeDecl(TypeDecl *TD) {
Chris Lattner487412d2009-04-27 05:27:42 +0000429 VisitNamedDecl(TD);
Abramo Bagnarab3185b02011-03-06 15:48:19 +0000430 TD->setLocStart(ReadSourceLocation(Record, Idx));
Argyrios Kyrtzidis318b0e72010-07-02 11:55:01 +0000431 // Delay type reading until after we have fully initialized the decl.
Douglas Gregor903b7e92011-07-22 00:38:23 +0000432 TypeIDForTypeDecl = Reader.getGlobalTypeID(F, Record[Idx++]);
Chris Lattner487412d2009-04-27 05:27:42 +0000433}
434
Douglas Gregor1f179062011-12-19 14:40:25 +0000435void ASTDeclReader::VisitTypedefNameDecl(TypedefNameDecl *TD) {
Douglas Gregor9b7b3912012-01-04 16:44:10 +0000436 RedeclarableResult Redecl = VisitRedeclarable(TD);
Argyrios Kyrtzidis318b0e72010-07-02 11:55:01 +0000437 VisitTypeDecl(TD);
Enea Zaffanellaa86d88c2013-06-20 12:46:19 +0000438 TypeSourceInfo *TInfo = GetTypeSourceInfo(Record, Idx);
439 if (Record[Idx++]) { // isModed
440 QualType modedT = Reader.readType(F, Record, Idx);
441 TD->setModedTypeSourceInfo(TInfo, modedT);
442 } else
443 TD->setTypeSourceInfo(TInfo);
Douglas Gregor9b7b3912012-01-04 16:44:10 +0000444 mergeRedeclarable(TD, Redecl);
Douglas Gregor1f179062011-12-19 14:40:25 +0000445}
446
447void ASTDeclReader::VisitTypedefDecl(TypedefDecl *TD) {
448 VisitTypedefNameDecl(TD);
Chris Lattner487412d2009-04-27 05:27:42 +0000449}
450
Richard Smithdda56e42011-04-15 14:24:37 +0000451void ASTDeclReader::VisitTypeAliasDecl(TypeAliasDecl *TD) {
Douglas Gregor1f179062011-12-19 14:40:25 +0000452 VisitTypedefNameDecl(TD);
Richard Smithdda56e42011-04-15 14:24:37 +0000453}
454
Richard Smith1d209d02013-05-23 01:49:11 +0000455ASTDeclReader::RedeclarableResult ASTDeclReader::VisitTagDecl(TagDecl *TD) {
Douglas Gregor2009cee2012-01-03 22:46:00 +0000456 RedeclarableResult Redecl = VisitRedeclarable(TD);
Douglas Gregor3e300102011-10-26 17:53:41 +0000457 VisitTypeDecl(TD);
Douglas Gregor2009cee2012-01-03 22:46:00 +0000458
Argyrios Kyrtzidisf4bc0d82010-09-08 19:31:22 +0000459 TD->IdentifierNamespace = Record[Idx++];
Chris Lattner487412d2009-04-27 05:27:42 +0000460 TD->setTagKind((TagDecl::TagKind)Record[Idx++]);
John McCallf937c022011-10-07 06:10:15 +0000461 TD->setCompleteDefinition(Record[Idx++]);
Douglas Gregor5089c762010-02-12 17:40:34 +0000462 TD->setEmbeddedInDeclarator(Record[Idx++]);
Argyrios Kyrtzidis201d3772011-09-30 22:11:31 +0000463 TD->setFreeStanding(Record[Idx++]);
David Blaikiea8d23ce2013-07-14 01:07:41 +0000464 TD->setCompleteDefinitionRequired(Record[Idx++]);
Sebastian Redl2c373b92010-10-05 15:59:54 +0000465 TD->setRBraceLoc(ReadSourceLocation(Record, Idx));
Douglas Gregor2009cee2012-01-03 22:46:00 +0000466
Argyrios Kyrtzidis434383d2010-10-15 18:21:24 +0000467 if (Record[Idx++]) { // hasExtInfo
Douglas Gregor4163aca2011-09-09 21:34:22 +0000468 TagDecl::ExtInfo *Info = new (Reader.getContext()) TagDecl::ExtInfo();
Argyrios Kyrtzidis434383d2010-10-15 18:21:24 +0000469 ReadQualifierInfo(*Info, Record, Idx);
David Majnemer50ce8352013-09-17 23:57:10 +0000470 TD->NamedDeclOrQualifier = Info;
Argyrios Kyrtzidis434383d2010-10-15 18:21:24 +0000471 } else
David Majnemer50ce8352013-09-17 23:57:10 +0000472 TD->NamedDeclOrQualifier = ReadDeclAs<NamedDecl>(Record, Idx);
Douglas Gregor2009cee2012-01-03 22:46:00 +0000473
Richard Smith1d209d02013-05-23 01:49:11 +0000474 mergeRedeclarable(TD, Redecl);
475 return Redecl;
Chris Lattner487412d2009-04-27 05:27:42 +0000476}
477
Sebastian Redlb3298c32010-08-18 23:56:48 +0000478void ASTDeclReader::VisitEnumDecl(EnumDecl *ED) {
Chris Lattner487412d2009-04-27 05:27:42 +0000479 VisitTagDecl(ED);
Douglas Gregor0bf31402010-10-08 23:50:27 +0000480 if (TypeSourceInfo *TI = Reader.GetTypeSourceInfo(F, Record, Idx))
481 ED->setIntegerTypeSourceInfo(TI);
482 else
Douglas Gregor903b7e92011-07-22 00:38:23 +0000483 ED->setIntegerType(Reader.readType(F, Record, Idx));
484 ED->setPromotionType(Reader.readType(F, Record, Idx));
John McCall9aa35be2010-05-06 08:49:23 +0000485 ED->setNumPositiveBits(Record[Idx++]);
486 ED->setNumNegativeBits(Record[Idx++]);
Douglas Gregor0bf31402010-10-08 23:50:27 +0000487 ED->IsScoped = Record[Idx++];
Abramo Bagnara0e05e242010-12-03 18:54:17 +0000488 ED->IsScopedUsingClassTag = Record[Idx++];
Douglas Gregor0bf31402010-10-08 23:50:27 +0000489 ED->IsFixed = Record[Idx++];
Richard Smith4b38ded2012-03-14 23:13:10 +0000490
491 if (EnumDecl *InstED = ReadDeclAs<EnumDecl>(Record, Idx)) {
492 TemplateSpecializationKind TSK = (TemplateSpecializationKind)Record[Idx++];
493 SourceLocation POI = ReadSourceLocation(Record, Idx);
494 ED->setInstantiationOfMemberEnum(Reader.getContext(), InstED, TSK);
495 ED->getMemberSpecializationInfo()->setPointOfInstantiation(POI);
496 }
Chris Lattner487412d2009-04-27 05:27:42 +0000497}
498
Richard Smith1d209d02013-05-23 01:49:11 +0000499ASTDeclReader::RedeclarableResult
500ASTDeclReader::VisitRecordDeclImpl(RecordDecl *RD) {
501 RedeclarableResult Redecl = VisitTagDecl(RD);
Chris Lattner487412d2009-04-27 05:27:42 +0000502 RD->setHasFlexibleArrayMember(Record[Idx++]);
503 RD->setAnonymousStructOrUnion(Record[Idx++]);
Fariborz Jahanian8e0d0422009-07-08 16:37:44 +0000504 RD->setHasObjectMember(Record[Idx++]);
Fariborz Jahanian78652202013-01-25 23:57:05 +0000505 RD->setHasVolatileMember(Record[Idx++]);
Richard Smith1d209d02013-05-23 01:49:11 +0000506 return Redecl;
Chris Lattner487412d2009-04-27 05:27:42 +0000507}
508
Sebastian Redlb3298c32010-08-18 23:56:48 +0000509void ASTDeclReader::VisitValueDecl(ValueDecl *VD) {
Chris Lattner487412d2009-04-27 05:27:42 +0000510 VisitNamedDecl(VD);
Douglas Gregor903b7e92011-07-22 00:38:23 +0000511 VD->setType(Reader.readType(F, Record, Idx));
Chris Lattner487412d2009-04-27 05:27:42 +0000512}
513
Sebastian Redlb3298c32010-08-18 23:56:48 +0000514void ASTDeclReader::VisitEnumConstantDecl(EnumConstantDecl *ECD) {
Chris Lattner487412d2009-04-27 05:27:42 +0000515 VisitValueDecl(ECD);
516 if (Record[Idx++])
Sebastian Redl2c373b92010-10-05 15:59:54 +0000517 ECD->setInitExpr(Reader.ReadExpr(F));
Chris Lattner487412d2009-04-27 05:27:42 +0000518 ECD->setInitVal(Reader.ReadAPSInt(Record, Idx));
519}
520
Sebastian Redlb3298c32010-08-18 23:56:48 +0000521void ASTDeclReader::VisitDeclaratorDecl(DeclaratorDecl *DD) {
Argyrios Kyrtzidis560ac972009-08-19 01:28:35 +0000522 VisitValueDecl(DD);
Abramo Bagnaradff19302011-03-08 08:55:46 +0000523 DD->setInnerLocStart(ReadSourceLocation(Record, Idx));
Argyrios Kyrtzidis434383d2010-10-15 18:21:24 +0000524 if (Record[Idx++]) { // hasExtInfo
525 DeclaratorDecl::ExtInfo *Info
Douglas Gregor4163aca2011-09-09 21:34:22 +0000526 = new (Reader.getContext()) DeclaratorDecl::ExtInfo();
Argyrios Kyrtzidis434383d2010-10-15 18:21:24 +0000527 ReadQualifierInfo(*Info, Record, Idx);
Argyrios Kyrtzidis434383d2010-10-15 18:21:24 +0000528 DD->DeclInfo = Info;
Jonathan D. Turner205c7d52011-06-03 23:11:16 +0000529 }
Argyrios Kyrtzidis560ac972009-08-19 01:28:35 +0000530}
531
Sebastian Redlb3298c32010-08-18 23:56:48 +0000532void ASTDeclReader::VisitFunctionDecl(FunctionDecl *FD) {
Douglas Gregorb2585692012-01-04 17:13:46 +0000533 RedeclarableResult Redecl = VisitRedeclarable(FD);
Douglas Gregor3e300102011-10-26 17:53:41 +0000534 VisitDeclaratorDecl(FD);
Chris Lattnerca025db2010-05-07 21:43:38 +0000535
Argyrios Kyrtzidis434383d2010-10-15 18:21:24 +0000536 ReadDeclarationNameLoc(FD->DNLoc, FD->getDeclName(), Record, Idx);
Argyrios Kyrtzidisa95d0192010-07-05 10:38:01 +0000537 FD->IdentifierNamespace = Record[Idx++];
Douglas Gregorb2585692012-01-04 17:13:46 +0000538
539 // FunctionDecl's body is handled last at ASTDeclReader::Visit,
540 // after everything else is read.
Rafael Espindola6ae7e502013-04-03 19:27:57 +0000541
Douglas Gregorb2585692012-01-04 17:13:46 +0000542 FD->SClass = (StorageClass)Record[Idx++];
Douglas Gregorb2585692012-01-04 17:13:46 +0000543 FD->IsInline = Record[Idx++];
544 FD->IsInlineSpecified = Record[Idx++];
545 FD->IsVirtualAsWritten = Record[Idx++];
546 FD->IsPure = Record[Idx++];
547 FD->HasInheritedPrototype = Record[Idx++];
548 FD->HasWrittenPrototype = Record[Idx++];
549 FD->IsDeleted = Record[Idx++];
550 FD->IsTrivial = Record[Idx++];
551 FD->IsDefaulted = Record[Idx++];
552 FD->IsExplicitlyDefaulted = Record[Idx++];
553 FD->HasImplicitReturnZero = Record[Idx++];
554 FD->IsConstexpr = Record[Idx++];
Argyrios Kyrtzidis1eb71a12012-12-06 18:59:10 +0000555 FD->HasSkippedBody = Record[Idx++];
Richard Smithe40f2ba2013-08-07 21:41:30 +0000556 FD->IsLateTemplateParsed = Record[Idx++];
Rafael Espindola50df3a02013-05-25 17:16:20 +0000557 FD->setCachedLinkage(Linkage(Record[Idx++]));
Douglas Gregorb2585692012-01-04 17:13:46 +0000558 FD->EndRangeLoc = ReadSourceLocation(Record, Idx);
559
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000560 switch ((FunctionDecl::TemplatedKind)Record[Idx++]) {
561 case FunctionDecl::TK_NonTemplate:
Douglas Gregorb2585692012-01-04 17:13:46 +0000562 mergeRedeclarable(FD, Redecl);
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000563 break;
564 case FunctionDecl::TK_FunctionTemplate:
Douglas Gregor7fb09192011-07-21 22:35:25 +0000565 FD->setDescribedFunctionTemplate(ReadDeclAs<FunctionTemplateDecl>(Record,
566 Idx));
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000567 break;
568 case FunctionDecl::TK_MemberSpecialization: {
Douglas Gregor7fb09192011-07-21 22:35:25 +0000569 FunctionDecl *InstFD = ReadDeclAs<FunctionDecl>(Record, Idx);
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000570 TemplateSpecializationKind TSK = (TemplateSpecializationKind)Record[Idx++];
Sebastian Redl2c373b92010-10-05 15:59:54 +0000571 SourceLocation POI = ReadSourceLocation(Record, Idx);
Douglas Gregor4163aca2011-09-09 21:34:22 +0000572 FD->setInstantiationOfMemberFunction(Reader.getContext(), InstFD, TSK);
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000573 FD->getMemberSpecializationInfo()->setPointOfInstantiation(POI);
574 break;
575 }
576 case FunctionDecl::TK_FunctionTemplateSpecialization: {
Douglas Gregor7fb09192011-07-21 22:35:25 +0000577 FunctionTemplateDecl *Template = ReadDeclAs<FunctionTemplateDecl>(Record,
578 Idx);
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000579 TemplateSpecializationKind TSK = (TemplateSpecializationKind)Record[Idx++];
580
581 // Template arguments.
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000582 SmallVector<TemplateArgument, 8> TemplArgs;
Sebastian Redl2c373b92010-10-05 15:59:54 +0000583 Reader.ReadTemplateArgumentList(TemplArgs, F, Record, Idx);
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000584
585 // Template args as written.
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000586 SmallVector<TemplateArgumentLoc, 8> TemplArgLocs;
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000587 SourceLocation LAngleLoc, RAngleLoc;
Argyrios Kyrtzidise9a24432011-09-22 20:07:09 +0000588 bool HasTemplateArgumentsAsWritten = Record[Idx++];
589 if (HasTemplateArgumentsAsWritten) {
Argyrios Kyrtzidis373a83a2010-07-02 11:55:40 +0000590 unsigned NumTemplateArgLocs = Record[Idx++];
591 TemplArgLocs.reserve(NumTemplateArgLocs);
592 for (unsigned i=0; i != NumTemplateArgLocs; ++i)
Sebastian Redlc67764e2010-07-22 22:43:28 +0000593 TemplArgLocs.push_back(
Sebastian Redl2c373b92010-10-05 15:59:54 +0000594 Reader.ReadTemplateArgumentLoc(F, Record, Idx));
Argyrios Kyrtzidis373a83a2010-07-02 11:55:40 +0000595
Sebastian Redl2c373b92010-10-05 15:59:54 +0000596 LAngleLoc = ReadSourceLocation(Record, Idx);
597 RAngleLoc = ReadSourceLocation(Record, Idx);
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000598 }
Argyrios Kyrtzidis927d8e02010-07-05 10:37:55 +0000599
Sebastian Redl2c373b92010-10-05 15:59:54 +0000600 SourceLocation POI = ReadSourceLocation(Record, Idx);
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000601
Douglas Gregor4163aca2011-09-09 21:34:22 +0000602 ASTContext &C = Reader.getContext();
Argyrios Kyrtzidise262a952010-09-09 11:28:23 +0000603 TemplateArgumentList *TemplArgList
Douglas Gregor1ccc8412010-11-07 23:05:16 +0000604 = TemplateArgumentList::CreateCopy(C, TemplArgs.data(), TemplArgs.size());
Argyrios Kyrtzidise9a24432011-09-22 20:07:09 +0000605 TemplateArgumentListInfo TemplArgsInfo(LAngleLoc, RAngleLoc);
Argyrios Kyrtzidise262a952010-09-09 11:28:23 +0000606 for (unsigned i=0, e = TemplArgLocs.size(); i != e; ++i)
Argyrios Kyrtzidise9a24432011-09-22 20:07:09 +0000607 TemplArgsInfo.addArgument(TemplArgLocs[i]);
Argyrios Kyrtzidise262a952010-09-09 11:28:23 +0000608 FunctionTemplateSpecializationInfo *FTInfo
609 = FunctionTemplateSpecializationInfo::Create(C, FD, Template, TSK,
610 TemplArgList,
Argyrios Kyrtzidise9a24432011-09-22 20:07:09 +0000611 HasTemplateArgumentsAsWritten ? &TemplArgsInfo : 0,
612 POI);
Argyrios Kyrtzidise262a952010-09-09 11:28:23 +0000613 FD->TemplateOrSpecialization = FTInfo;
Argyrios Kyrtzidisf4bc0d82010-09-08 19:31:22 +0000614
Argyrios Kyrtzidise262a952010-09-09 11:28:23 +0000615 if (FD->isCanonicalDecl()) { // if canonical add to template's set.
Argyrios Kyrtzidisf24d5692010-09-13 11:45:48 +0000616 // The template that contains the specializations set. It's not safe to
617 // use getCanonicalDecl on Template since it may still be initializing.
618 FunctionTemplateDecl *CanonTemplate
Douglas Gregor7fb09192011-07-21 22:35:25 +0000619 = ReadDeclAs<FunctionTemplateDecl>(Record, Idx);
Argyrios Kyrtzidise262a952010-09-09 11:28:23 +0000620 // Get the InsertPos by FindNodeOrInsertPos() instead of calling
621 // InsertNode(FTInfo) directly to avoid the getASTContext() call in
622 // FunctionTemplateSpecializationInfo's Profile().
623 // We avoid getASTContext because a decl in the parent hierarchy may
624 // be initializing.
Argyrios Kyrtzidisf4bc0d82010-09-08 19:31:22 +0000625 llvm::FoldingSetNodeID ID;
626 FunctionTemplateSpecializationInfo::Profile(ID, TemplArgs.data(),
627 TemplArgs.size(), C);
628 void *InsertPos = 0;
Richard Smithfeb3e1a2013-06-28 04:37:53 +0000629 FunctionTemplateDecl::Common *CommonPtr = CanonTemplate->getCommonPtr();
630 CommonPtr->Specializations.FindNodeOrInsertPos(ID, InsertPos);
Argyrios Kyrtzidise60e4082012-09-10 23:28:22 +0000631 if (InsertPos)
Richard Smithfeb3e1a2013-06-28 04:37:53 +0000632 CommonPtr->Specializations.InsertNode(FTInfo, InsertPos);
633 else {
634 assert(Reader.getContext().getLangOpts().Modules &&
635 "already deserialized this template specialization");
636 // FIXME: This specialization is a redeclaration of one from another
637 // module. Merge it.
638 }
Argyrios Kyrtzidisf4bc0d82010-09-08 19:31:22 +0000639 }
Argyrios Kyrtzidis0b0369a2010-06-28 09:31:34 +0000640 break;
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000641 }
642 case FunctionDecl::TK_DependentFunctionTemplateSpecialization: {
643 // Templates.
644 UnresolvedSet<8> TemplDecls;
645 unsigned NumTemplates = Record[Idx++];
646 while (NumTemplates--)
Douglas Gregor7fb09192011-07-21 22:35:25 +0000647 TemplDecls.addDecl(ReadDeclAs<NamedDecl>(Record, Idx));
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000648
649 // Templates args.
650 TemplateArgumentListInfo TemplArgs;
651 unsigned NumArgs = Record[Idx++];
652 while (NumArgs--)
Sebastian Redl2c373b92010-10-05 15:59:54 +0000653 TemplArgs.addArgument(Reader.ReadTemplateArgumentLoc(F, Record, Idx));
654 TemplArgs.setLAngleLoc(ReadSourceLocation(Record, Idx));
655 TemplArgs.setRAngleLoc(ReadSourceLocation(Record, Idx));
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000656
Douglas Gregor4163aca2011-09-09 21:34:22 +0000657 FD->setDependentTemplateSpecialization(Reader.getContext(),
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000658 TemplDecls, TemplArgs);
Argyrios Kyrtzidis0b0369a2010-06-28 09:31:34 +0000659 break;
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000660 }
661 }
Argyrios Kyrtzidis373a83a2010-07-02 11:55:40 +0000662
Chris Lattnerca025db2010-05-07 21:43:38 +0000663 // Read in the parameters.
Chris Lattner487412d2009-04-27 05:27:42 +0000664 unsigned NumParams = Record[Idx++];
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000665 SmallVector<ParmVarDecl *, 16> Params;
Chris Lattner487412d2009-04-27 05:27:42 +0000666 Params.reserve(NumParams);
667 for (unsigned I = 0; I != NumParams; ++I)
Douglas Gregor7fb09192011-07-21 22:35:25 +0000668 Params.push_back(ReadDeclAs<ParmVarDecl>(Record, Idx));
David Blaikie9c70e042011-09-21 18:16:56 +0000669 FD->setParams(Reader.getContext(), Params);
Chris Lattner487412d2009-04-27 05:27:42 +0000670}
671
Sebastian Redlb3298c32010-08-18 23:56:48 +0000672void ASTDeclReader::VisitObjCMethodDecl(ObjCMethodDecl *MD) {
Chris Lattner487412d2009-04-27 05:27:42 +0000673 VisitNamedDecl(MD);
674 if (Record[Idx++]) {
Douglas Gregora6017bb2012-10-09 17:21:28 +0000675 // Load the body on-demand. Most clients won't care, because method
676 // definitions rarely show up in headers.
677 Reader.PendingBodies[MD] = GetCurrentCursorOffset();
678 HasPendingBody = true;
Douglas Gregor7fb09192011-07-21 22:35:25 +0000679 MD->setSelfDecl(ReadDeclAs<ImplicitParamDecl>(Record, Idx));
680 MD->setCmdDecl(ReadDeclAs<ImplicitParamDecl>(Record, Idx));
Chris Lattner487412d2009-04-27 05:27:42 +0000681 }
682 MD->setInstanceMethod(Record[Idx++]);
683 MD->setVariadic(Record[Idx++]);
Jordan Rosed01e83a2012-10-10 16:42:25 +0000684 MD->setPropertyAccessor(Record[Idx++]);
Fariborz Jahanian6e7e8cc2010-07-22 18:24:20 +0000685 MD->setDefined(Record[Idx++]);
Argyrios Kyrtzidis08f96a92012-05-09 16:12:57 +0000686 MD->IsOverriding = Record[Idx++];
Argyrios Kyrtzidis1eb71a12012-12-06 18:59:10 +0000687 MD->HasSkippedBody = Record[Idx++];
Argyrios Kyrtzidisdb215962011-10-14 17:41:52 +0000688
689 MD->IsRedeclaration = Record[Idx++];
690 MD->HasRedeclaration = Record[Idx++];
691 if (MD->HasRedeclaration)
692 Reader.getContext().setObjCMethodRedeclaration(MD,
693 ReadDeclAs<ObjCMethodDecl>(Record, Idx));
694
Chris Lattner487412d2009-04-27 05:27:42 +0000695 MD->setDeclImplementation((ObjCMethodDecl::ImplementationControl)Record[Idx++]);
696 MD->setObjCDeclQualifier((Decl::ObjCDeclQualifier)Record[Idx++]);
Douglas Gregor33823722011-06-11 01:09:30 +0000697 MD->SetRelatedResultType(Record[Idx++]);
Douglas Gregor903b7e92011-07-22 00:38:23 +0000698 MD->setResultType(Reader.readType(F, Record, Idx));
Sebastian Redl2c373b92010-10-05 15:59:54 +0000699 MD->setResultTypeSourceInfo(GetTypeSourceInfo(Record, Idx));
Argyrios Kyrtzidis33b4bfc2012-06-16 00:46:02 +0000700 MD->DeclEndLoc = ReadSourceLocation(Record, Idx);
Chris Lattner487412d2009-04-27 05:27:42 +0000701 unsigned NumParams = Record[Idx++];
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000702 SmallVector<ParmVarDecl *, 16> Params;
Chris Lattner487412d2009-04-27 05:27:42 +0000703 Params.reserve(NumParams);
704 for (unsigned I = 0; I != NumParams; ++I)
Douglas Gregor7fb09192011-07-21 22:35:25 +0000705 Params.push_back(ReadDeclAs<ParmVarDecl>(Record, Idx));
Argyrios Kyrtzidisb8c3aaf2011-10-03 06:37:04 +0000706
707 MD->SelLocsKind = Record[Idx++];
708 unsigned NumStoredSelLocs = Record[Idx++];
709 SmallVector<SourceLocation, 16> SelLocs;
710 SelLocs.reserve(NumStoredSelLocs);
711 for (unsigned i = 0; i != NumStoredSelLocs; ++i)
712 SelLocs.push_back(ReadSourceLocation(Record, Idx));
713
714 MD->setParamsAndSelLocs(Reader.getContext(), Params, SelLocs);
Chris Lattner487412d2009-04-27 05:27:42 +0000715}
716
Sebastian Redlb3298c32010-08-18 23:56:48 +0000717void ASTDeclReader::VisitObjCContainerDecl(ObjCContainerDecl *CD) {
Chris Lattner487412d2009-04-27 05:27:42 +0000718 VisitNamedDecl(CD);
Argyrios Kyrtzidis52f53fb2011-10-04 04:48:02 +0000719 CD->setAtStartLoc(ReadSourceLocation(Record, Idx));
720 CD->setAtEndRange(ReadSourceRange(Record, Idx));
Chris Lattner487412d2009-04-27 05:27:42 +0000721}
722
Sebastian Redlb3298c32010-08-18 23:56:48 +0000723void ASTDeclReader::VisitObjCInterfaceDecl(ObjCInterfaceDecl *ID) {
Douglas Gregor022857e2011-12-22 01:48:48 +0000724 RedeclarableResult Redecl = VisitRedeclarable(ID);
Chris Lattner487412d2009-04-27 05:27:42 +0000725 VisitObjCContainerDecl(ID);
Douglas Gregorab1ec82e2011-12-16 03:12:41 +0000726 TypeIDForTypeDecl = Reader.getGlobalTypeID(F, Record[Idx++]);
Douglas Gregor2c46b5b2012-01-03 17:27:13 +0000727 mergeRedeclarable(ID, Redecl);
Douglas Gregor022857e2011-12-22 01:48:48 +0000728
Douglas Gregor3a5ae562012-01-15 18:17:48 +0000729 if (Record[Idx++]) {
Douglas Gregorc0ac7d62011-12-15 05:27:12 +0000730 // Read the definition.
731 ID->allocateDefinitionData();
732
Douglas Gregorc03c52e2012-01-15 18:08:05 +0000733 // Set the definition data of the canonical declaration, so other
734 // redeclarations will see it.
735 ID->getCanonicalDecl()->Data = ID->Data;
736
Douglas Gregorc0ac7d62011-12-15 05:27:12 +0000737 ObjCInterfaceDecl::DefinitionData &Data = ID->data();
738
739 // Read the superclass.
740 Data.SuperClass = ReadDeclAs<ObjCInterfaceDecl>(Record, Idx);
741 Data.SuperClassLoc = ReadSourceLocation(Record, Idx);
742
Douglas Gregor16408322011-12-15 22:34:59 +0000743 Data.EndLoc = ReadSourceLocation(Record, Idx);
744
Douglas Gregorc0ac7d62011-12-15 05:27:12 +0000745 // Read the directly referenced protocols and their SourceLocations.
746 unsigned NumProtocols = Record[Idx++];
747 SmallVector<ObjCProtocolDecl *, 16> Protocols;
748 Protocols.reserve(NumProtocols);
749 for (unsigned I = 0; I != NumProtocols; ++I)
750 Protocols.push_back(ReadDeclAs<ObjCProtocolDecl>(Record, Idx));
751 SmallVector<SourceLocation, 16> ProtoLocs;
752 ProtoLocs.reserve(NumProtocols);
753 for (unsigned I = 0; I != NumProtocols; ++I)
754 ProtoLocs.push_back(ReadSourceLocation(Record, Idx));
755 ID->setProtocolList(Protocols.data(), NumProtocols, ProtoLocs.data(),
756 Reader.getContext());
Ted Kremenek0ef508d2010-09-01 01:21:15 +0000757
Douglas Gregorc0ac7d62011-12-15 05:27:12 +0000758 // Read the transitive closure of protocols referenced by this class.
759 NumProtocols = Record[Idx++];
760 Protocols.clear();
761 Protocols.reserve(NumProtocols);
762 for (unsigned I = 0; I != NumProtocols; ++I)
763 Protocols.push_back(ReadDeclAs<ObjCProtocolDecl>(Record, Idx));
764 ID->data().AllReferencedProtocols.set(Protocols.data(), NumProtocols,
765 Reader.getContext());
Ted Kremenek0ef508d2010-09-01 01:21:15 +0000766
Douglas Gregorc0ac7d62011-12-15 05:27:12 +0000767 // We will rebuild this list lazily.
768 ID->setIvarList(0);
769
Douglas Gregorc1a61fe2011-12-19 20:51:16 +0000770 // Note that we have deserialized a definition.
771 Reader.PendingDefinitions.insert(ID);
Douglas Gregor404cdde2012-01-27 01:47:08 +0000772
773 // Note that we've loaded this Objective-C class.
774 Reader.ObjCClassesLoaded.push_back(ID);
Douglas Gregorc03c52e2012-01-15 18:08:05 +0000775 } else {
776 ID->Data = ID->getCanonicalDecl()->Data;
Douglas Gregorc0ac7d62011-12-15 05:27:12 +0000777 }
Chris Lattner487412d2009-04-27 05:27:42 +0000778}
779
Sebastian Redlb3298c32010-08-18 23:56:48 +0000780void ASTDeclReader::VisitObjCIvarDecl(ObjCIvarDecl *IVD) {
Chris Lattner487412d2009-04-27 05:27:42 +0000781 VisitFieldDecl(IVD);
782 IVD->setAccessControl((ObjCIvarDecl::AccessControl)Record[Idx++]);
Fariborz Jahaniana50b3a22010-08-20 21:21:08 +0000783 // This field will be built lazily.
784 IVD->setNextIvar(0);
Fariborz Jahanianaea8e1e2010-07-17 18:35:47 +0000785 bool synth = Record[Idx++];
786 IVD->setSynthesize(synth);
Chris Lattner487412d2009-04-27 05:27:42 +0000787}
788
Sebastian Redlb3298c32010-08-18 23:56:48 +0000789void ASTDeclReader::VisitObjCProtocolDecl(ObjCProtocolDecl *PD) {
Douglas Gregorda389302012-01-01 21:47:52 +0000790 RedeclarableResult Redecl = VisitRedeclarable(PD);
Chris Lattner487412d2009-04-27 05:27:42 +0000791 VisitObjCContainerDecl(PD);
Douglas Gregor2c46b5b2012-01-03 17:27:13 +0000792 mergeRedeclarable(PD, Redecl);
Douglas Gregorda389302012-01-01 21:47:52 +0000793
Douglas Gregor3a5ae562012-01-15 18:17:48 +0000794 if (Record[Idx++]) {
Douglas Gregore6e48b12012-01-01 19:29:29 +0000795 // Read the definition.
796 PD->allocateDefinitionData();
797
Douglas Gregorc03c52e2012-01-15 18:08:05 +0000798 // Set the definition data of the canonical declaration, so other
799 // redeclarations will see it.
800 PD->getCanonicalDecl()->Data = PD->Data;
801
Douglas Gregore6e48b12012-01-01 19:29:29 +0000802 unsigned NumProtoRefs = Record[Idx++];
803 SmallVector<ObjCProtocolDecl *, 16> ProtoRefs;
804 ProtoRefs.reserve(NumProtoRefs);
805 for (unsigned I = 0; I != NumProtoRefs; ++I)
806 ProtoRefs.push_back(ReadDeclAs<ObjCProtocolDecl>(Record, Idx));
807 SmallVector<SourceLocation, 16> ProtoLocs;
808 ProtoLocs.reserve(NumProtoRefs);
809 for (unsigned I = 0; I != NumProtoRefs; ++I)
810 ProtoLocs.push_back(ReadSourceLocation(Record, Idx));
811 PD->setProtocolList(ProtoRefs.data(), NumProtoRefs, ProtoLocs.data(),
812 Reader.getContext());
813
Douglas Gregora715bff2012-01-01 19:51:50 +0000814 // Note that we have deserialized a definition.
815 Reader.PendingDefinitions.insert(PD);
Douglas Gregorc03c52e2012-01-15 18:08:05 +0000816 } else {
817 PD->Data = PD->getCanonicalDecl()->Data;
Douglas Gregore6e48b12012-01-01 19:29:29 +0000818 }
Chris Lattner487412d2009-04-27 05:27:42 +0000819}
820
Sebastian Redlb3298c32010-08-18 23:56:48 +0000821void ASTDeclReader::VisitObjCAtDefsFieldDecl(ObjCAtDefsFieldDecl *FD) {
Chris Lattner487412d2009-04-27 05:27:42 +0000822 VisitFieldDecl(FD);
823}
824
Sebastian Redlb3298c32010-08-18 23:56:48 +0000825void ASTDeclReader::VisitObjCCategoryDecl(ObjCCategoryDecl *CD) {
Chris Lattner487412d2009-04-27 05:27:42 +0000826 VisitObjCContainerDecl(CD);
Douglas Gregor404cdde2012-01-27 01:47:08 +0000827 CD->setCategoryNameLoc(ReadSourceLocation(Record, Idx));
Fariborz Jahaniana7765fe2012-02-20 20:09:20 +0000828 CD->setIvarLBraceLoc(ReadSourceLocation(Record, Idx));
829 CD->setIvarRBraceLoc(ReadSourceLocation(Record, Idx));
Douglas Gregor404cdde2012-01-27 01:47:08 +0000830
831 // Note that this category has been deserialized. We do this before
832 // deserializing the interface declaration, so that it will consider this
833 /// category.
834 Reader.CategoriesDeserialized.insert(CD);
835
Argyrios Kyrtzidis3a5094b2011-08-30 19:43:26 +0000836 CD->ClassInterface = ReadDeclAs<ObjCInterfaceDecl>(Record, Idx);
Chris Lattner487412d2009-04-27 05:27:42 +0000837 unsigned NumProtoRefs = Record[Idx++];
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000838 SmallVector<ObjCProtocolDecl *, 16> ProtoRefs;
Chris Lattner487412d2009-04-27 05:27:42 +0000839 ProtoRefs.reserve(NumProtoRefs);
840 for (unsigned I = 0; I != NumProtoRefs; ++I)
Douglas Gregor7fb09192011-07-21 22:35:25 +0000841 ProtoRefs.push_back(ReadDeclAs<ObjCProtocolDecl>(Record, Idx));
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000842 SmallVector<SourceLocation, 16> ProtoLocs;
Douglas Gregor002b6712010-01-16 15:02:53 +0000843 ProtoLocs.reserve(NumProtoRefs);
844 for (unsigned I = 0; I != NumProtoRefs; ++I)
Sebastian Redl2c373b92010-10-05 15:59:54 +0000845 ProtoLocs.push_back(ReadSourceLocation(Record, Idx));
Douglas Gregor002b6712010-01-16 15:02:53 +0000846 CD->setProtocolList(ProtoRefs.data(), NumProtoRefs, ProtoLocs.data(),
Douglas Gregor4163aca2011-09-09 21:34:22 +0000847 Reader.getContext());
Chris Lattner487412d2009-04-27 05:27:42 +0000848}
849
Sebastian Redlb3298c32010-08-18 23:56:48 +0000850void ASTDeclReader::VisitObjCCompatibleAliasDecl(ObjCCompatibleAliasDecl *CAD) {
Chris Lattner487412d2009-04-27 05:27:42 +0000851 VisitNamedDecl(CAD);
Douglas Gregor7fb09192011-07-21 22:35:25 +0000852 CAD->setClassInterface(ReadDeclAs<ObjCInterfaceDecl>(Record, Idx));
Chris Lattner487412d2009-04-27 05:27:42 +0000853}
854
Sebastian Redlb3298c32010-08-18 23:56:48 +0000855void ASTDeclReader::VisitObjCPropertyDecl(ObjCPropertyDecl *D) {
Chris Lattner487412d2009-04-27 05:27:42 +0000856 VisitNamedDecl(D);
Sebastian Redl2c373b92010-10-05 15:59:54 +0000857 D->setAtLoc(ReadSourceLocation(Record, Idx));
Fariborz Jahanian86c2f5c2012-02-29 22:18:55 +0000858 D->setLParenLoc(ReadSourceLocation(Record, Idx));
Sebastian Redl2c373b92010-10-05 15:59:54 +0000859 D->setType(GetTypeSourceInfo(Record, Idx));
Chris Lattner487412d2009-04-27 05:27:42 +0000860 // FIXME: stable encoding
861 D->setPropertyAttributes(
862 (ObjCPropertyDecl::PropertyAttributeKind)Record[Idx++]);
Fariborz Jahanian3bf0ded2010-06-22 23:20:40 +0000863 D->setPropertyAttributesAsWritten(
864 (ObjCPropertyDecl::PropertyAttributeKind)Record[Idx++]);
Chris Lattner487412d2009-04-27 05:27:42 +0000865 // FIXME: stable encoding
866 D->setPropertyImplementation(
867 (ObjCPropertyDecl::PropertyControl)Record[Idx++]);
Douglas Gregor903b7e92011-07-22 00:38:23 +0000868 D->setGetterName(Reader.ReadDeclarationName(F,Record, Idx).getObjCSelector());
869 D->setSetterName(Reader.ReadDeclarationName(F,Record, Idx).getObjCSelector());
Douglas Gregor7fb09192011-07-21 22:35:25 +0000870 D->setGetterMethodDecl(ReadDeclAs<ObjCMethodDecl>(Record, Idx));
871 D->setSetterMethodDecl(ReadDeclAs<ObjCMethodDecl>(Record, Idx));
872 D->setPropertyIvarDecl(ReadDeclAs<ObjCIvarDecl>(Record, Idx));
Chris Lattner487412d2009-04-27 05:27:42 +0000873}
874
Sebastian Redlb3298c32010-08-18 23:56:48 +0000875void ASTDeclReader::VisitObjCImplDecl(ObjCImplDecl *D) {
Argyrios Kyrtzidis067c4072009-07-27 19:04:32 +0000876 VisitObjCContainerDecl(D);
Douglas Gregor7fb09192011-07-21 22:35:25 +0000877 D->setClassInterface(ReadDeclAs<ObjCInterfaceDecl>(Record, Idx));
Chris Lattner487412d2009-04-27 05:27:42 +0000878}
879
Sebastian Redlb3298c32010-08-18 23:56:48 +0000880void ASTDeclReader::VisitObjCCategoryImplDecl(ObjCCategoryImplDecl *D) {
Chris Lattner487412d2009-04-27 05:27:42 +0000881 VisitObjCImplDecl(D);
Douglas Gregora3e41532011-07-28 20:55:49 +0000882 D->setIdentifier(Reader.GetIdentifierInfo(F, Record, Idx));
Argyrios Kyrtzidis4996f5f2011-12-09 00:31:40 +0000883 D->CategoryNameLoc = ReadSourceLocation(Record, Idx);
Chris Lattner487412d2009-04-27 05:27:42 +0000884}
885
Sebastian Redlb3298c32010-08-18 23:56:48 +0000886void ASTDeclReader::VisitObjCImplementationDecl(ObjCImplementationDecl *D) {
Chris Lattner487412d2009-04-27 05:27:42 +0000887 VisitObjCImplDecl(D);
Douglas Gregor7fb09192011-07-21 22:35:25 +0000888 D->setSuperClass(ReadDeclAs<ObjCInterfaceDecl>(Record, Idx));
Argyrios Kyrtzidisfac31622013-05-03 18:05:44 +0000889 D->SuperLoc = ReadSourceLocation(Record, Idx);
Fariborz Jahaniana7765fe2012-02-20 20:09:20 +0000890 D->setIvarLBraceLoc(ReadSourceLocation(Record, Idx));
891 D->setIvarRBraceLoc(ReadSourceLocation(Record, Idx));
John McCall0d54a172012-10-17 04:53:31 +0000892 D->setHasNonZeroConstructors(Record[Idx++]);
893 D->setHasDestructors(Record[Idx++]);
Argyrios Kyrtzidis13257c52010-08-09 10:54:20 +0000894 llvm::tie(D->IvarInitializers, D->NumIvarInitializers)
Alexis Hunt1d792652011-01-08 20:30:50 +0000895 = Reader.ReadCXXCtorInitializers(F, Record, Idx);
Chris Lattner487412d2009-04-27 05:27:42 +0000896}
897
898
Sebastian Redlb3298c32010-08-18 23:56:48 +0000899void ASTDeclReader::VisitObjCPropertyImplDecl(ObjCPropertyImplDecl *D) {
Chris Lattner487412d2009-04-27 05:27:42 +0000900 VisitDecl(D);
Sebastian Redl2c373b92010-10-05 15:59:54 +0000901 D->setAtLoc(ReadSourceLocation(Record, Idx));
Douglas Gregor7fb09192011-07-21 22:35:25 +0000902 D->setPropertyDecl(ReadDeclAs<ObjCPropertyDecl>(Record, Idx));
903 D->PropertyIvarDecl = ReadDeclAs<ObjCIvarDecl>(Record, Idx);
Douglas Gregorb1b71e52010-11-17 01:03:52 +0000904 D->IvarLoc = ReadSourceLocation(Record, Idx);
Sebastian Redl2c373b92010-10-05 15:59:54 +0000905 D->setGetterCXXConstructor(Reader.ReadExpr(F));
906 D->setSetterCXXAssignment(Reader.ReadExpr(F));
Chris Lattner487412d2009-04-27 05:27:42 +0000907}
908
Sebastian Redlb3298c32010-08-18 23:56:48 +0000909void ASTDeclReader::VisitFieldDecl(FieldDecl *FD) {
Argyrios Kyrtzidis560ac972009-08-19 01:28:35 +0000910 VisitDeclaratorDecl(FD);
Richard Smith2b013182012-06-10 03:12:00 +0000911 FD->Mutable = Record[Idx++];
912 if (int BitWidthOrInitializer = Record[Idx++]) {
913 FD->InitializerOrBitWidth.setInt(BitWidthOrInitializer - 1);
914 FD->InitializerOrBitWidth.setPointer(Reader.ReadExpr(F));
915 }
Argyrios Kyrtzidis6685e8a2010-07-04 21:44:35 +0000916 if (!FD->getDeclName()) {
Douglas Gregor7fb09192011-07-21 22:35:25 +0000917 if (FieldDecl *Tmpl = ReadDeclAs<FieldDecl>(Record, Idx))
Douglas Gregor4163aca2011-09-09 21:34:22 +0000918 Reader.getContext().setInstantiatedFromUnnamedFieldDecl(FD, Tmpl);
Argyrios Kyrtzidis6685e8a2010-07-04 21:44:35 +0000919 }
Richard Smith0b87e072013-10-07 08:02:11 +0000920 mergeMergeable(FD);
Chris Lattner487412d2009-04-27 05:27:42 +0000921}
922
John McCall5e77d762013-04-16 07:28:30 +0000923void ASTDeclReader::VisitMSPropertyDecl(MSPropertyDecl *PD) {
924 VisitDeclaratorDecl(PD);
925 PD->GetterId = Reader.GetIdentifierInfo(F, Record, Idx);
926 PD->SetterId = Reader.GetIdentifierInfo(F, Record, Idx);
927}
928
Francois Pichet783dd6e2010-11-21 06:08:52 +0000929void ASTDeclReader::VisitIndirectFieldDecl(IndirectFieldDecl *FD) {
930 VisitValueDecl(FD);
931
932 FD->ChainingSize = Record[Idx++];
933 assert(FD->ChainingSize >= 2 && "Anonymous chaining must be >= 2");
Douglas Gregor4163aca2011-09-09 21:34:22 +0000934 FD->Chaining = new (Reader.getContext())NamedDecl*[FD->ChainingSize];
Francois Pichet783dd6e2010-11-21 06:08:52 +0000935
936 for (unsigned I = 0; I != FD->ChainingSize; ++I)
Douglas Gregor7fb09192011-07-21 22:35:25 +0000937 FD->Chaining[I] = ReadDeclAs<NamedDecl>(Record, Idx);
Francois Pichet783dd6e2010-11-21 06:08:52 +0000938}
939
Larisse Voufo39a1e502013-08-06 01:03:05 +0000940ASTDeclReader::RedeclarableResult ASTDeclReader::VisitVarDeclImpl(VarDecl *VD) {
Douglas Gregorb8c6f1e2012-01-04 17:21:36 +0000941 RedeclarableResult Redecl = VisitRedeclarable(VD);
Douglas Gregor3e300102011-10-26 17:53:41 +0000942 VisitDeclaratorDecl(VD);
Rafael Espindola6ae7e502013-04-03 19:27:57 +0000943
John McCallbeaa11c2011-05-01 02:13:58 +0000944 VD->VarDeclBits.SClass = (StorageClass)Record[Idx++];
Enea Zaffanellaacb8ecd2013-05-04 08:27:07 +0000945 VD->VarDeclBits.TSCSpec = Record[Idx++];
Sebastian Redla9351792012-02-11 23:51:47 +0000946 VD->VarDeclBits.InitStyle = Record[Idx++];
John McCallbeaa11c2011-05-01 02:13:58 +0000947 VD->VarDeclBits.ExceptionVar = Record[Idx++];
948 VD->VarDeclBits.NRVOVariable = Record[Idx++];
949 VD->VarDeclBits.CXXForRangeDecl = Record[Idx++];
John McCalld4631322011-06-17 06:42:21 +0000950 VD->VarDeclBits.ARCPseudoStrong = Record[Idx++];
Douglas Gregor12cda632012-09-20 23:43:29 +0000951 VD->VarDeclBits.IsConstexpr = Record[Idx++];
Richard Smithbb13c9a2013-09-28 04:02:39 +0000952 VD->VarDeclBits.IsInitCapture = Record[Idx++];
Richard Smith1c34fb72013-08-13 18:18:50 +0000953 VD->VarDeclBits.PreviousDeclInSameBlockScope = Record[Idx++];
Richard Smith541b38b2013-09-20 01:15:31 +0000954 Linkage VarLinkage = Linkage(Record[Idx++]);
955 VD->setCachedLinkage(VarLinkage);
956
957 // Reconstruct the one piece of the IdentifierNamespace that we need.
958 if (VarLinkage != NoLinkage &&
959 VD->getLexicalDeclContext()->isFunctionOrMethod())
960 VD->setLocalExternDecl();
Rafael Espindola50df3a02013-05-25 17:16:20 +0000961
Douglas Gregor87ea58f2012-01-13 23:49:34 +0000962 // Only true variables (not parameters or implicit parameters) can be merged.
Larisse Voufod8dd97c2013-08-14 03:09:19 +0000963 if (VD->getKind() != Decl::ParmVar && VD->getKind() != Decl::ImplicitParam)
Douglas Gregor87ea58f2012-01-13 23:49:34 +0000964 mergeRedeclarable(VD, Redecl);
Douglas Gregorb8c6f1e2012-01-04 17:21:36 +0000965
Richard Smithd0b4dd62011-12-19 06:19:21 +0000966 if (uint64_t Val = Record[Idx++]) {
Sebastian Redl2c373b92010-10-05 15:59:54 +0000967 VD->setInit(Reader.ReadExpr(F));
Richard Smithd0b4dd62011-12-19 06:19:21 +0000968 if (Val > 1) {
969 EvaluatedStmt *Eval = VD->ensureEvaluatedStmt();
970 Eval->CheckedICE = true;
971 Eval->IsICE = Val == 3;
972 }
973 }
Argyrios Kyrtzidiscdb8b3f2010-07-04 21:44:00 +0000974
Larisse Voufod8dd97c2013-08-14 03:09:19 +0000975 enum VarKind {
976 VarNotTemplate = 0, VarTemplate, StaticDataMemberSpecialization
977 };
978 switch ((VarKind)Record[Idx++]) {
979 case VarNotTemplate:
980 break;
981 case VarTemplate:
982 VD->setDescribedVarTemplate(ReadDeclAs<VarTemplateDecl>(Record, Idx));
983 break;
984 case StaticDataMemberSpecialization: { // HasMemberSpecializationInfo.
Douglas Gregor7fb09192011-07-21 22:35:25 +0000985 VarDecl *Tmpl = ReadDeclAs<VarDecl>(Record, Idx);
Argyrios Kyrtzidiscdb8b3f2010-07-04 21:44:00 +0000986 TemplateSpecializationKind TSK = (TemplateSpecializationKind)Record[Idx++];
Sebastian Redl2c373b92010-10-05 15:59:54 +0000987 SourceLocation POI = ReadSourceLocation(Record, Idx);
Douglas Gregor4163aca2011-09-09 21:34:22 +0000988 Reader.getContext().setInstantiatedFromStaticDataMember(VD, Tmpl, TSK,POI);
Larisse Voufod8dd97c2013-08-14 03:09:19 +0000989 break;
990 }
Argyrios Kyrtzidiscdb8b3f2010-07-04 21:44:00 +0000991 }
Larisse Voufo39a1e502013-08-06 01:03:05 +0000992
993 return Redecl;
Chris Lattner487412d2009-04-27 05:27:42 +0000994}
995
Sebastian Redlb3298c32010-08-18 23:56:48 +0000996void ASTDeclReader::VisitImplicitParamDecl(ImplicitParamDecl *PD) {
Chris Lattner487412d2009-04-27 05:27:42 +0000997 VisitVarDecl(PD);
998}
999
Sebastian Redlb3298c32010-08-18 23:56:48 +00001000void ASTDeclReader::VisitParmVarDecl(ParmVarDecl *PD) {
Chris Lattner487412d2009-04-27 05:27:42 +00001001 VisitVarDecl(PD);
John McCall82490832011-05-02 00:30:12 +00001002 unsigned isObjCMethodParam = Record[Idx++];
1003 unsigned scopeDepth = Record[Idx++];
1004 unsigned scopeIndex = Record[Idx++];
1005 unsigned declQualifier = Record[Idx++];
1006 if (isObjCMethodParam) {
1007 assert(scopeDepth == 0);
1008 PD->setObjCMethodScopeInfo(scopeIndex);
1009 PD->ParmVarDeclBits.ScopeDepthOrObjCQuals = declQualifier;
1010 } else {
1011 PD->setScopeInfo(scopeDepth, scopeIndex);
1012 }
John McCallbeaa11c2011-05-01 02:13:58 +00001013 PD->ParmVarDeclBits.IsKNRPromoted = Record[Idx++];
1014 PD->ParmVarDeclBits.HasInheritedDefaultArg = Record[Idx++];
Argyrios Kyrtzidisccde6a02010-07-04 21:44:07 +00001015 if (Record[Idx++]) // hasUninstantiatedDefaultArg.
Sebastian Redl2c373b92010-10-05 15:59:54 +00001016 PD->setUninstantiatedDefaultArg(Reader.ReadExpr(F));
Richard Smithbf78e642013-06-24 22:51:00 +00001017
1018 // FIXME: If this is a redeclaration of a function from another module, handle
1019 // inheritance of default arguments.
Chris Lattner487412d2009-04-27 05:27:42 +00001020}
1021
Sebastian Redlb3298c32010-08-18 23:56:48 +00001022void ASTDeclReader::VisitFileScopeAsmDecl(FileScopeAsmDecl *AD) {
Chris Lattner487412d2009-04-27 05:27:42 +00001023 VisitDecl(AD);
Sebastian Redl2c373b92010-10-05 15:59:54 +00001024 AD->setAsmString(cast<StringLiteral>(Reader.ReadExpr(F)));
Abramo Bagnara348823a2011-03-03 14:20:18 +00001025 AD->setRParenLoc(ReadSourceLocation(Record, Idx));
Chris Lattner487412d2009-04-27 05:27:42 +00001026}
1027
Sebastian Redlb3298c32010-08-18 23:56:48 +00001028void ASTDeclReader::VisitBlockDecl(BlockDecl *BD) {
Chris Lattner487412d2009-04-27 05:27:42 +00001029 VisitDecl(BD);
Sebastian Redl2c373b92010-10-05 15:59:54 +00001030 BD->setBody(cast_or_null<CompoundStmt>(Reader.ReadStmt(F)));
1031 BD->setSignatureAsWritten(GetTypeSourceInfo(Record, Idx));
Chris Lattner487412d2009-04-27 05:27:42 +00001032 unsigned NumParams = Record[Idx++];
Chris Lattner0e62c1c2011-07-23 10:55:15 +00001033 SmallVector<ParmVarDecl *, 16> Params;
Chris Lattner487412d2009-04-27 05:27:42 +00001034 Params.reserve(NumParams);
1035 for (unsigned I = 0; I != NumParams; ++I)
Douglas Gregor7fb09192011-07-21 22:35:25 +00001036 Params.push_back(ReadDeclAs<ParmVarDecl>(Record, Idx));
David Blaikie9c70e042011-09-21 18:16:56 +00001037 BD->setParams(Params);
John McCallc63de662011-02-02 13:00:07 +00001038
John McCallcf6ce282012-04-13 17:33:29 +00001039 BD->setIsVariadic(Record[Idx++]);
1040 BD->setBlockMissingReturnType(Record[Idx++]);
1041 BD->setIsConversionFromLambda(Record[Idx++]);
1042
John McCallc63de662011-02-02 13:00:07 +00001043 bool capturesCXXThis = Record[Idx++];
John McCall351762c2011-02-07 10:33:21 +00001044 unsigned numCaptures = Record[Idx++];
Chris Lattner0e62c1c2011-07-23 10:55:15 +00001045 SmallVector<BlockDecl::Capture, 16> captures;
John McCall351762c2011-02-07 10:33:21 +00001046 captures.reserve(numCaptures);
1047 for (unsigned i = 0; i != numCaptures; ++i) {
Douglas Gregor7fb09192011-07-21 22:35:25 +00001048 VarDecl *decl = ReadDeclAs<VarDecl>(Record, Idx);
John McCall351762c2011-02-07 10:33:21 +00001049 unsigned flags = Record[Idx++];
1050 bool byRef = (flags & 1);
1051 bool nested = (flags & 2);
1052 Expr *copyExpr = ((flags & 4) ? Reader.ReadExpr(F) : 0);
1053
1054 captures.push_back(BlockDecl::Capture(decl, byRef, nested, copyExpr));
1055 }
Douglas Gregor4163aca2011-09-09 21:34:22 +00001056 BD->setCaptures(Reader.getContext(), captures.begin(),
John McCall351762c2011-02-07 10:33:21 +00001057 captures.end(), capturesCXXThis);
Chris Lattner487412d2009-04-27 05:27:42 +00001058}
1059
Ben Langmuirce914fc2013-05-03 19:20:19 +00001060void ASTDeclReader::VisitCapturedDecl(CapturedDecl *CD) {
1061 VisitDecl(CD);
1062 // Body is set by VisitCapturedStmt.
1063 for (unsigned i = 0; i < CD->NumParams; ++i)
1064 CD->setParam(i, ReadDeclAs<ImplicitParamDecl>(Record, Idx));
Tareq A. Siraj6dfa25a2013-04-16 19:37:38 +00001065}
1066
Sebastian Redlb3298c32010-08-18 23:56:48 +00001067void ASTDeclReader::VisitLinkageSpecDecl(LinkageSpecDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +00001068 VisitDecl(D);
1069 D->setLanguage((LinkageSpecDecl::LanguageIDs)Record[Idx++]);
Abramo Bagnaraea947882011-03-08 16:41:52 +00001070 D->setExternLoc(ReadSourceLocation(Record, Idx));
Abramo Bagnara4a8cda82011-03-03 14:52:38 +00001071 D->setRBraceLoc(ReadSourceLocation(Record, Idx));
Chris Lattnerca025db2010-05-07 21:43:38 +00001072}
1073
Chris Lattnerc8e630e2011-02-17 07:39:24 +00001074void ASTDeclReader::VisitLabelDecl(LabelDecl *D) {
1075 VisitNamedDecl(D);
Abramo Bagnara1c3af962011-03-05 18:21:20 +00001076 D->setLocStart(ReadSourceLocation(Record, Idx));
Chris Lattnerc8e630e2011-02-17 07:39:24 +00001077}
1078
1079
Sebastian Redlb3298c32010-08-18 23:56:48 +00001080void ASTDeclReader::VisitNamespaceDecl(NamespaceDecl *D) {
Douglas Gregore57e7522012-01-07 09:11:48 +00001081 RedeclarableResult Redecl = VisitRedeclarable(D);
Chris Lattnerca025db2010-05-07 21:43:38 +00001082 VisitNamedDecl(D);
Douglas Gregore57e7522012-01-07 09:11:48 +00001083 D->setInline(Record[Idx++]);
Abramo Bagnarab5545be2011-03-08 12:38:20 +00001084 D->LocStart = ReadSourceLocation(Record, Idx);
1085 D->RBraceLoc = ReadSourceLocation(Record, Idx);
Richard Smith1d209d02013-05-23 01:49:11 +00001086 // FIXME: At the point of this call, D->getCanonicalDecl() returns 0.
Douglas Gregorcfe7dc62012-01-09 17:30:44 +00001087 mergeRedeclarable(D, Redecl);
1088
Douglas Gregore57e7522012-01-07 09:11:48 +00001089 if (Redecl.getFirstID() == ThisDeclID) {
Douglas Gregor540fd812012-01-09 18:07:24 +00001090 // Each module has its own anonymous namespace, which is disjoint from
1091 // any other module's anonymous namespaces, so don't attach the anonymous
1092 // namespace at all.
1093 NamespaceDecl *Anon = ReadDeclAs<NamespaceDecl>(Record, Idx);
1094 if (F.Kind != MK_Module)
1095 D->setAnonymousNamespace(Anon);
Douglas Gregore57e7522012-01-07 09:11:48 +00001096 } else {
1097 // Link this namespace back to the first declaration, which has already
1098 // been deserialized.
1099 D->AnonOrFirstNamespaceAndInline.setPointer(D->getFirstDeclaration());
1100 }
Chris Lattnerca025db2010-05-07 21:43:38 +00001101}
1102
Sebastian Redlb3298c32010-08-18 23:56:48 +00001103void ASTDeclReader::VisitNamespaceAliasDecl(NamespaceAliasDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +00001104 VisitNamedDecl(D);
Sebastian Redl2c373b92010-10-05 15:59:54 +00001105 D->NamespaceLoc = ReadSourceLocation(Record, Idx);
Sebastian Redl2c373b92010-10-05 15:59:54 +00001106 D->IdentLoc = ReadSourceLocation(Record, Idx);
Douglas Gregorc05ba2e2011-02-25 17:08:07 +00001107 D->QualifierLoc = Reader.ReadNestedNameSpecifierLoc(F, Record, Idx);
Douglas Gregor7fb09192011-07-21 22:35:25 +00001108 D->Namespace = ReadDeclAs<NamedDecl>(Record, Idx);
Chris Lattnerca025db2010-05-07 21:43:38 +00001109}
1110
Sebastian Redlb3298c32010-08-18 23:56:48 +00001111void ASTDeclReader::VisitUsingDecl(UsingDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +00001112 VisitNamedDecl(D);
Enea Zaffanellae05a3cf2013-07-22 10:54:09 +00001113 D->setUsingLoc(ReadSourceLocation(Record, Idx));
Douglas Gregora9d87bc2011-02-25 00:36:19 +00001114 D->QualifierLoc = Reader.ReadNestedNameSpecifierLoc(F, Record, Idx);
Argyrios Kyrtzidis434383d2010-10-15 18:21:24 +00001115 ReadDeclarationNameLoc(D->DNLoc, D->getDeclName(), Record, Idx);
Benjamin Kramere78f8ee2012-01-07 19:09:05 +00001116 D->FirstUsingShadow.setPointer(ReadDeclAs<UsingShadowDecl>(Record, Idx));
Enea Zaffanellae05a3cf2013-07-22 10:54:09 +00001117 D->setTypename(Record[Idx++]);
Douglas Gregor7fb09192011-07-21 22:35:25 +00001118 if (NamedDecl *Pattern = ReadDeclAs<NamedDecl>(Record, Idx))
Douglas Gregor4163aca2011-09-09 21:34:22 +00001119 Reader.getContext().setInstantiatedFromUsingDecl(D, Pattern);
Chris Lattnerca025db2010-05-07 21:43:38 +00001120}
1121
Sebastian Redlb3298c32010-08-18 23:56:48 +00001122void ASTDeclReader::VisitUsingShadowDecl(UsingShadowDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +00001123 VisitNamedDecl(D);
Douglas Gregor7fb09192011-07-21 22:35:25 +00001124 D->setTargetDecl(ReadDeclAs<NamedDecl>(Record, Idx));
1125 D->UsingOrNextShadow = ReadDeclAs<NamedDecl>(Record, Idx);
1126 UsingShadowDecl *Pattern = ReadDeclAs<UsingShadowDecl>(Record, Idx);
Argyrios Kyrtzidis6685e8a2010-07-04 21:44:35 +00001127 if (Pattern)
Douglas Gregor4163aca2011-09-09 21:34:22 +00001128 Reader.getContext().setInstantiatedFromUsingShadowDecl(D, Pattern);
Chris Lattnerca025db2010-05-07 21:43:38 +00001129}
1130
Sebastian Redlb3298c32010-08-18 23:56:48 +00001131void ASTDeclReader::VisitUsingDirectiveDecl(UsingDirectiveDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +00001132 VisitNamedDecl(D);
Sebastian Redl2c373b92010-10-05 15:59:54 +00001133 D->UsingLoc = ReadSourceLocation(Record, Idx);
1134 D->NamespaceLoc = ReadSourceLocation(Record, Idx);
Douglas Gregor12441b32011-02-25 16:33:46 +00001135 D->QualifierLoc = Reader.ReadNestedNameSpecifierLoc(F, Record, Idx);
Douglas Gregor7fb09192011-07-21 22:35:25 +00001136 D->NominatedNamespace = ReadDeclAs<NamedDecl>(Record, Idx);
1137 D->CommonAncestor = ReadDeclAs<DeclContext>(Record, Idx);
Chris Lattnerca025db2010-05-07 21:43:38 +00001138}
1139
Sebastian Redlb3298c32010-08-18 23:56:48 +00001140void ASTDeclReader::VisitUnresolvedUsingValueDecl(UnresolvedUsingValueDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +00001141 VisitValueDecl(D);
Sebastian Redl2c373b92010-10-05 15:59:54 +00001142 D->setUsingLoc(ReadSourceLocation(Record, Idx));
Douglas Gregora9d87bc2011-02-25 00:36:19 +00001143 D->QualifierLoc = Reader.ReadNestedNameSpecifierLoc(F, Record, Idx);
Argyrios Kyrtzidis434383d2010-10-15 18:21:24 +00001144 ReadDeclarationNameLoc(D->DNLoc, D->getDeclName(), Record, Idx);
Chris Lattnerca025db2010-05-07 21:43:38 +00001145}
1146
Sebastian Redlb3298c32010-08-18 23:56:48 +00001147void ASTDeclReader::VisitUnresolvedUsingTypenameDecl(
Chris Lattnerca025db2010-05-07 21:43:38 +00001148 UnresolvedUsingTypenameDecl *D) {
1149 VisitTypeDecl(D);
Sebastian Redl2c373b92010-10-05 15:59:54 +00001150 D->TypenameLocation = ReadSourceLocation(Record, Idx);
Douglas Gregora9d87bc2011-02-25 00:36:19 +00001151 D->QualifierLoc = Reader.ReadNestedNameSpecifierLoc(F, Record, Idx);
Chris Lattnerca025db2010-05-07 21:43:38 +00001152}
1153
Argyrios Kyrtzidis8b200a52010-10-24 17:26:27 +00001154void ASTDeclReader::ReadCXXDefinitionData(
Argyrios Kyrtzidiseb39d9a2010-10-24 17:26:40 +00001155 struct CXXRecordDecl::DefinitionData &Data,
1156 const RecordData &Record, unsigned &Idx) {
Douglas Gregor99ae8062012-02-14 17:54:36 +00001157 // Note: the caller has deserialized the IsLambda bit already.
Argyrios Kyrtzidis8b200a52010-10-24 17:26:27 +00001158 Data.UserDeclaredConstructor = Record[Idx++];
Richard Smith328aae52012-11-30 05:11:39 +00001159 Data.UserDeclaredSpecialMembers = Record[Idx++];
Argyrios Kyrtzidis8b200a52010-10-24 17:26:27 +00001160 Data.Aggregate = Record[Idx++];
1161 Data.PlainOldData = Record[Idx++];
1162 Data.Empty = Record[Idx++];
1163 Data.Polymorphic = Record[Idx++];
1164 Data.Abstract = Record[Idx++];
Chandler Carruth583edf82011-04-30 10:07:30 +00001165 Data.IsStandardLayout = Record[Idx++];
Chandler Carruthb1963742011-04-30 09:17:45 +00001166 Data.HasNoNonEmptyBases = Record[Idx++];
1167 Data.HasPrivateFields = Record[Idx++];
1168 Data.HasProtectedFields = Record[Idx++];
1169 Data.HasPublicFields = Record[Idx++];
Douglas Gregor61226d32011-05-13 01:05:07 +00001170 Data.HasMutableFields = Record[Idx++];
Richard Smith561fb152012-02-25 07:33:38 +00001171 Data.HasOnlyCMembers = Record[Idx++];
Richard Smithe2648ba2012-05-07 01:07:30 +00001172 Data.HasInClassInitializer = Record[Idx++];
Richard Smith593f9932012-12-08 02:01:17 +00001173 Data.HasUninitializedReferenceMember = Record[Idx++];
Richard Smith6b02d462012-12-08 08:32:28 +00001174 Data.NeedOverloadResolutionForMoveConstructor = Record[Idx++];
1175 Data.NeedOverloadResolutionForMoveAssignment = Record[Idx++];
1176 Data.NeedOverloadResolutionForDestructor = Record[Idx++];
1177 Data.DefaultedMoveConstructorIsDeleted = Record[Idx++];
1178 Data.DefaultedMoveAssignmentIsDeleted = Record[Idx++];
1179 Data.DefaultedDestructorIsDeleted = Record[Idx++];
Richard Smith328aae52012-11-30 05:11:39 +00001180 Data.HasTrivialSpecialMembers = Record[Idx++];
1181 Data.HasIrrelevantDestructor = Record[Idx++];
Richard Smith111af8d2011-08-10 18:11:37 +00001182 Data.HasConstexprNonCopyMoveConstructor = Record[Idx++];
Richard Smith561fb152012-02-25 07:33:38 +00001183 Data.DefaultedDefaultConstructorIsConstexpr = Record[Idx++];
Richard Smith561fb152012-02-25 07:33:38 +00001184 Data.HasConstexprDefaultConstructor = Record[Idx++];
Chandler Carruthe71d0622011-04-24 02:49:34 +00001185 Data.HasNonLiteralTypeFieldsOrBases = Record[Idx++];
Argyrios Kyrtzidis8b200a52010-10-24 17:26:27 +00001186 Data.ComputedVisibleConversions = Record[Idx++];
Alexis Huntea6f0322011-05-11 22:34:38 +00001187 Data.UserProvidedDefaultConstructor = Record[Idx++];
Richard Smith328aae52012-11-30 05:11:39 +00001188 Data.DeclaredSpecialMembers = Record[Idx++];
Richard Smith1c33fe82012-11-28 06:23:12 +00001189 Data.ImplicitCopyConstructorHasConstParam = Record[Idx++];
1190 Data.ImplicitCopyAssignmentHasConstParam = Record[Idx++];
1191 Data.HasDeclaredCopyConstructorWithConstParam = Record[Idx++];
1192 Data.HasDeclaredCopyAssignmentWithConstParam = Record[Idx++];
Sebastian Redlb7448632011-08-31 13:59:56 +00001193 Data.FailedImplicitMoveConstructor = Record[Idx++];
1194 Data.FailedImplicitMoveAssignment = Record[Idx++];
Anders Carlsson703d6e62011-01-22 18:11:02 +00001195
Argyrios Kyrtzidis8b200a52010-10-24 17:26:27 +00001196 Data.NumBases = Record[Idx++];
Douglas Gregord4c5ed02010-10-29 22:39:52 +00001197 if (Data.NumBases)
Douglas Gregorc27b2872011-08-04 00:01:48 +00001198 Data.Bases = Reader.readCXXBaseSpecifiers(F, Record, Idx);
Argyrios Kyrtzidis8b200a52010-10-24 17:26:27 +00001199 Data.NumVBases = Record[Idx++];
Douglas Gregord4c5ed02010-10-29 22:39:52 +00001200 if (Data.NumVBases)
Douglas Gregorc27b2872011-08-04 00:01:48 +00001201 Data.VBases = Reader.readCXXBaseSpecifiers(F, Record, Idx);
Douglas Gregord4c5ed02010-10-29 22:39:52 +00001202
Douglas Gregor7fb09192011-07-21 22:35:25 +00001203 Reader.ReadUnresolvedSet(F, Data.Conversions, Record, Idx);
1204 Reader.ReadUnresolvedSet(F, Data.VisibleConversions, Record, Idx);
Argyrios Kyrtzidis8b200a52010-10-24 17:26:27 +00001205 assert(Data.Definition && "Data.Definition should be already set!");
Richard Smith9dd9f032013-08-30 00:23:29 +00001206 Data.FirstFriend = ReadDeclID(Record, Idx);
1207
Douglas Gregor99ae8062012-02-14 17:54:36 +00001208 if (Data.IsLambda) {
1209 typedef LambdaExpr::Capture Capture;
1210 CXXRecordDecl::LambdaDefinitionData &Lambda
1211 = static_cast<CXXRecordDecl::LambdaDefinitionData &>(Data);
Douglas Gregor680e9e02012-02-21 19:11:17 +00001212 Lambda.Dependent = Record[Idx++];
Douglas Gregor99ae8062012-02-14 17:54:36 +00001213 Lambda.NumCaptures = Record[Idx++];
1214 Lambda.NumExplicitCaptures = Record[Idx++];
Douglas Gregor63798542012-02-20 19:44:39 +00001215 Lambda.ManglingNumber = Record[Idx++];
Douglas Gregor7fcbd902012-02-21 00:37:24 +00001216 Lambda.ContextDecl = ReadDecl(Record, Idx);
Douglas Gregor99ae8062012-02-14 17:54:36 +00001217 Lambda.Captures
1218 = (Capture*)Reader.Context.Allocate(sizeof(Capture)*Lambda.NumCaptures);
1219 Capture *ToCapture = Lambda.Captures;
Eli Friedmand564afb2012-09-19 01:18:11 +00001220 Lambda.MethodTyInfo = GetTypeSourceInfo(Record, Idx);
Faisal Vali2b391ab2013-09-26 19:54:12 +00001221 Lambda.TheLambdaExpr = cast<LambdaExpr>(Reader.ReadExpr(F));
Douglas Gregor99ae8062012-02-14 17:54:36 +00001222 for (unsigned I = 0, N = Lambda.NumCaptures; I != N; ++I) {
1223 SourceLocation Loc = ReadSourceLocation(Record, Idx);
1224 bool IsImplicit = Record[Idx++];
1225 LambdaCaptureKind Kind = static_cast<LambdaCaptureKind>(Record[Idx++]);
Richard Smithba71c082013-05-16 06:20:58 +00001226 switch (Kind) {
1227 case LCK_This:
1228 *ToCapture++ = Capture(Loc, IsImplicit, Kind, 0, SourceLocation());
1229 break;
1230 case LCK_ByCopy:
Richard Smithbb13c9a2013-09-28 04:02:39 +00001231 case LCK_ByRef:
Richard Smithba71c082013-05-16 06:20:58 +00001232 VarDecl *Var = ReadDeclAs<VarDecl>(Record, Idx);
1233 SourceLocation EllipsisLoc = ReadSourceLocation(Record, Idx);
1234 *ToCapture++ = Capture(Loc, IsImplicit, Kind, Var, EllipsisLoc);
1235 break;
1236 }
Douglas Gregor99ae8062012-02-14 17:54:36 +00001237 }
1238 }
Argyrios Kyrtzidis8b200a52010-10-24 17:26:27 +00001239}
1240
Richard Smith1d209d02013-05-23 01:49:11 +00001241ASTDeclReader::RedeclarableResult
1242ASTDeclReader::VisitCXXRecordDeclImpl(CXXRecordDecl *D) {
1243 RedeclarableResult Redecl = VisitRecordDeclImpl(D);
Argyrios Kyrtzidisa41f6602010-10-20 00:11:15 +00001244
Douglas Gregor3a5ae562012-01-15 18:17:48 +00001245 ASTContext &C = Reader.getContext();
Richard Smithd55889a2013-09-09 16:55:27 +00001246 bool WasDefinition = Record[Idx++];
1247 if (WasDefinition) {
Douglas Gregor99ae8062012-02-14 17:54:36 +00001248 // Determine whether this is a lambda closure type, so that we can
1249 // allocate the appropriate DefinitionData structure.
1250 bool IsLambda = Record[Idx++];
1251 if (IsLambda)
Eli Friedmand564afb2012-09-19 01:18:11 +00001252 D->DefinitionData = new (C) CXXRecordDecl::LambdaDefinitionData(D, 0,
1253 false);
Douglas Gregor99ae8062012-02-14 17:54:36 +00001254 else
1255 D->DefinitionData = new (C) struct CXXRecordDecl::DefinitionData(D);
Richard Smithd55889a2013-09-09 16:55:27 +00001256
1257 ReadCXXDefinitionData(*D->DefinitionData, Record, Idx);
1258
Douglas Gregorc03c52e2012-01-15 18:08:05 +00001259 // Propagate the DefinitionData pointer to the canonical declaration, so
1260 // that all other deserialized declarations will see it.
Richard Smithd55889a2013-09-09 16:55:27 +00001261 CXXRecordDecl *Canon = D->getCanonicalDecl();
1262 if (Canon == D) {
1263 // Nothing to do.
1264 } else if (!Canon->DefinitionData) {
1265 Canon->DefinitionData = D->DefinitionData;
1266
1267 // Note that we have deserialized a definition. Any declarations
1268 // deserialized before this one will be be given the DefinitionData
1269 // pointer at the end.
1270 Reader.PendingDefinitions.insert(D);
1271 } else {
1272 // We have already deserialized a definition of this record. This
1273 // definition is no longer really a definition. Note that the pre-existing
1274 // definition is the *real* definition.
1275 // FIXME: Check DefinitionData for consistency with prior definition.
1276 Reader.MergedDeclContexts.insert(
1277 std::make_pair(D, D->getCanonicalDecl()->DefinitionData->Definition));
1278 D->IsCompleteDefinition = false;
1279 D->DefinitionData = D->getCanonicalDecl()->DefinitionData;
1280 }
Douglas Gregorc03c52e2012-01-15 18:08:05 +00001281 } else {
1282 // Propagate DefinitionData pointer from the canonical declaration.
Richard Smithd55889a2013-09-09 16:55:27 +00001283 D->DefinitionData = D->getCanonicalDecl()->DefinitionData;
Argyrios Kyrtzidis2c2167a2010-07-02 11:55:32 +00001284 }
1285
Argyrios Kyrtzidis95c04ca2010-06-19 19:29:09 +00001286 enum CXXRecKind {
1287 CXXRecNotTemplate = 0, CXXRecTemplate, CXXRecMemberSpecialization
1288 };
1289 switch ((CXXRecKind)Record[Idx++]) {
Argyrios Kyrtzidis95c04ca2010-06-19 19:29:09 +00001290 case CXXRecNotTemplate:
1291 break;
1292 case CXXRecTemplate:
Douglas Gregor7fb09192011-07-21 22:35:25 +00001293 D->TemplateOrInstantiation = ReadDeclAs<ClassTemplateDecl>(Record, Idx);
Argyrios Kyrtzidis95c04ca2010-06-19 19:29:09 +00001294 break;
1295 case CXXRecMemberSpecialization: {
Douglas Gregor7fb09192011-07-21 22:35:25 +00001296 CXXRecordDecl *RD = ReadDeclAs<CXXRecordDecl>(Record, Idx);
Argyrios Kyrtzidis95c04ca2010-06-19 19:29:09 +00001297 TemplateSpecializationKind TSK = (TemplateSpecializationKind)Record[Idx++];
Sebastian Redl2c373b92010-10-05 15:59:54 +00001298 SourceLocation POI = ReadSourceLocation(Record, Idx);
Argyrios Kyrtzidiscaf82482010-09-13 11:45:25 +00001299 MemberSpecializationInfo *MSI = new (C) MemberSpecializationInfo(RD, TSK);
1300 MSI->setPointOfInstantiation(POI);
1301 D->TemplateOrInstantiation = MSI;
Argyrios Kyrtzidis95c04ca2010-06-19 19:29:09 +00001302 break;
1303 }
1304 }
Argyrios Kyrtzidis68431412010-10-14 20:14:38 +00001305
Richard Smith676c4042013-08-29 23:59:27 +00001306 // Lazily load the key function to avoid deserializing every method so we can
Argyrios Kyrtzidis68431412010-10-14 20:14:38 +00001307 // compute it.
Richard Smithd55889a2013-09-09 16:55:27 +00001308 if (WasDefinition) {
1309 DeclID KeyFn = ReadDeclID(Record, Idx);
1310 if (KeyFn && D->IsCompleteDefinition)
Richard Smith676c4042013-08-29 23:59:27 +00001311 C.KeyFunctions[D] = KeyFn;
Argyrios Kyrtzidis68431412010-10-14 20:14:38 +00001312 }
Richard Smith1d209d02013-05-23 01:49:11 +00001313
1314 return Redecl;
Chris Lattnerca025db2010-05-07 21:43:38 +00001315}
1316
Sebastian Redlb3298c32010-08-18 23:56:48 +00001317void ASTDeclReader::VisitCXXMethodDecl(CXXMethodDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +00001318 VisitFunctionDecl(D);
Argyrios Kyrtzidis6685e8a2010-07-04 21:44:35 +00001319 unsigned NumOverridenMethods = Record[Idx++];
1320 while (NumOverridenMethods--) {
Argyrios Kyrtzidis6685e8a2010-07-04 21:44:35 +00001321 // Avoid invariant checking of CXXMethodDecl::addOverriddenMethod,
1322 // MD may be initializing.
Douglas Gregor7fb09192011-07-21 22:35:25 +00001323 if (CXXMethodDecl *MD = ReadDeclAs<CXXMethodDecl>(Record, Idx))
Douglas Gregor4163aca2011-09-09 21:34:22 +00001324 Reader.getContext().addOverriddenMethod(D, MD);
Argyrios Kyrtzidis6685e8a2010-07-04 21:44:35 +00001325 }
Chris Lattnerca025db2010-05-07 21:43:38 +00001326}
1327
Sebastian Redlb3298c32010-08-18 23:56:48 +00001328void ASTDeclReader::VisitCXXConstructorDecl(CXXConstructorDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +00001329 VisitCXXMethodDecl(D);
Argyrios Kyrtzidis33575162010-07-02 15:58:43 +00001330
1331 D->IsExplicitSpecified = Record[Idx++];
Alexis Hunt1d792652011-01-08 20:30:50 +00001332 llvm::tie(D->CtorInitializers, D->NumCtorInitializers)
1333 = Reader.ReadCXXCtorInitializers(F, Record, Idx);
Chris Lattnerca025db2010-05-07 21:43:38 +00001334}
1335
Sebastian Redlb3298c32010-08-18 23:56:48 +00001336void ASTDeclReader::VisitCXXDestructorDecl(CXXDestructorDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +00001337 VisitCXXMethodDecl(D);
Argyrios Kyrtzidis33575162010-07-02 15:58:43 +00001338
Douglas Gregor7fb09192011-07-21 22:35:25 +00001339 D->OperatorDelete = ReadDeclAs<FunctionDecl>(Record, Idx);
Chris Lattnerca025db2010-05-07 21:43:38 +00001340}
1341
Sebastian Redlb3298c32010-08-18 23:56:48 +00001342void ASTDeclReader::VisitCXXConversionDecl(CXXConversionDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +00001343 VisitCXXMethodDecl(D);
Argyrios Kyrtzidis33575162010-07-02 15:58:43 +00001344 D->IsExplicitSpecified = Record[Idx++];
Chris Lattnerca025db2010-05-07 21:43:38 +00001345}
1346
Douglas Gregorba345522011-12-02 23:23:56 +00001347void ASTDeclReader::VisitImportDecl(ImportDecl *D) {
1348 VisitDecl(D);
1349 D->ImportedAndComplete.setPointer(readModule(Record, Idx));
1350 D->ImportedAndComplete.setInt(Record[Idx++]);
1351 SourceLocation *StoredLocs = reinterpret_cast<SourceLocation *>(D + 1);
1352 for (unsigned I = 0, N = Record.back(); I != N; ++I)
1353 StoredLocs[I] = ReadSourceLocation(Record, Idx);
Argyrios Kyrtzidis7b8e5552012-10-03 01:58:45 +00001354 ++Idx; // The number of stored source locations.
Douglas Gregorba345522011-12-02 23:23:56 +00001355}
1356
Sebastian Redlb3298c32010-08-18 23:56:48 +00001357void ASTDeclReader::VisitAccessSpecDecl(AccessSpecDecl *D) {
Abramo Bagnarad7340582010-06-05 05:09:32 +00001358 VisitDecl(D);
Sebastian Redl2c373b92010-10-05 15:59:54 +00001359 D->setColonLoc(ReadSourceLocation(Record, Idx));
Abramo Bagnarad7340582010-06-05 05:09:32 +00001360}
1361
Sebastian Redlb3298c32010-08-18 23:56:48 +00001362void ASTDeclReader::VisitFriendDecl(FriendDecl *D) {
Argyrios Kyrtzidisa95d0192010-07-05 10:38:01 +00001363 VisitDecl(D);
Enea Zaffanellaeb22c872013-01-31 09:54:08 +00001364 if (Record[Idx++]) // hasFriendDecl
Douglas Gregor7fb09192011-07-21 22:35:25 +00001365 D->Friend = ReadDeclAs<NamedDecl>(Record, Idx);
Enea Zaffanellaeb22c872013-01-31 09:54:08 +00001366 else
1367 D->Friend = GetTypeSourceInfo(Record, Idx);
1368 for (unsigned i = 0; i != D->NumTPLists; ++i)
1369 D->getTPLists()[i] = Reader.ReadTemplateParameterList(F, Record, Idx);
Richard Smith9dd9f032013-08-30 00:23:29 +00001370 D->NextFriend = ReadDeclID(Record, Idx);
John McCall2c2eb122010-10-16 06:59:13 +00001371 D->UnsupportedFriend = (Record[Idx++] != 0);
Sebastian Redl2c373b92010-10-05 15:59:54 +00001372 D->FriendLoc = ReadSourceLocation(Record, Idx);
Argyrios Kyrtzidis74d28bd2010-06-29 22:47:00 +00001373}
1374
Sebastian Redlb3298c32010-08-18 23:56:48 +00001375void ASTDeclReader::VisitFriendTemplateDecl(FriendTemplateDecl *D) {
Argyrios Kyrtzidis165b5812010-07-22 16:04:10 +00001376 VisitDecl(D);
1377 unsigned NumParams = Record[Idx++];
1378 D->NumParams = NumParams;
1379 D->Params = new TemplateParameterList*[NumParams];
1380 for (unsigned i = 0; i != NumParams; ++i)
Sebastian Redl2c373b92010-10-05 15:59:54 +00001381 D->Params[i] = Reader.ReadTemplateParameterList(F, Record, Idx);
Argyrios Kyrtzidis165b5812010-07-22 16:04:10 +00001382 if (Record[Idx++]) // HasFriendDecl
Douglas Gregor7fb09192011-07-21 22:35:25 +00001383 D->Friend = ReadDeclAs<NamedDecl>(Record, Idx);
Argyrios Kyrtzidis165b5812010-07-22 16:04:10 +00001384 else
Sebastian Redl2c373b92010-10-05 15:59:54 +00001385 D->Friend = GetTypeSourceInfo(Record, Idx);
1386 D->FriendLoc = ReadSourceLocation(Record, Idx);
Chris Lattnerca025db2010-05-07 21:43:38 +00001387}
1388
Sebastian Redlb3298c32010-08-18 23:56:48 +00001389void ASTDeclReader::VisitTemplateDecl(TemplateDecl *D) {
Argyrios Kyrtzidis95c04ca2010-06-19 19:29:09 +00001390 VisitNamedDecl(D);
1391
Douglas Gregor7fb09192011-07-21 22:35:25 +00001392 NamedDecl *TemplatedDecl = ReadDeclAs<NamedDecl>(Record, Idx);
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001393 TemplateParameterList* TemplateParams
Sebastian Redl2c373b92010-10-05 15:59:54 +00001394 = Reader.ReadTemplateParameterList(F, Record, Idx);
Argyrios Kyrtzidis95c04ca2010-06-19 19:29:09 +00001395 D->init(TemplatedDecl, TemplateParams);
Richard Smithbf78e642013-06-24 22:51:00 +00001396
1397 // FIXME: If this is a redeclaration of a template from another module, handle
1398 // inheritance of default template arguments.
Chris Lattnerca025db2010-05-07 21:43:38 +00001399}
1400
Douglas Gregor54079202012-01-06 22:05:37 +00001401ASTDeclReader::RedeclarableResult
1402ASTDeclReader::VisitRedeclarableTemplateDecl(RedeclarableTemplateDecl *D) {
Douglas Gregor68444de2012-01-14 15:13:49 +00001403 RedeclarableResult Redecl = VisitRedeclarable(D);
Argyrios Kyrtzidis95c04ca2010-06-19 19:29:09 +00001404
Douglas Gregor68444de2012-01-14 15:13:49 +00001405 // Make sure we've allocated the Common pointer first. We do this before
1406 // VisitTemplateDecl so that getCommonPtr() can be used during initialization.
1407 RedeclarableTemplateDecl *CanonD = D->getCanonicalDecl();
1408 if (!CanonD->Common) {
1409 CanonD->Common = CanonD->newCommon(Reader.getContext());
1410 Reader.PendingDefinitions.insert(CanonD);
1411 }
1412 D->Common = CanonD->Common;
Douglas Gregor022857e2011-12-22 01:48:48 +00001413
Douglas Gregor68444de2012-01-14 15:13:49 +00001414 // If this is the first declaration of the template, fill in the information
1415 // for the 'common' pointer.
1416 if (ThisDeclID == Redecl.getFirstID()) {
Peter Collingbourne91b25b72010-07-29 16:11:51 +00001417 if (RedeclarableTemplateDecl *RTD
Douglas Gregor022857e2011-12-22 01:48:48 +00001418 = ReadDeclAs<RedeclarableTemplateDecl>(Record, Idx)) {
Peter Collingbourne91b25b72010-07-29 16:11:51 +00001419 assert(RTD->getKind() == D->getKind() &&
1420 "InstantiatedFromMemberTemplate kind mismatch");
Douglas Gregor68444de2012-01-14 15:13:49 +00001421 D->setInstantiatedFromMemberTemplate(RTD);
Peter Collingbourne91b25b72010-07-29 16:11:51 +00001422 if (Record[Idx++])
1423 D->setMemberSpecialization();
1424 }
1425 }
Axel Naumann866ba3e2012-10-01 09:18:00 +00001426
Argyrios Kyrtzidisf4bc0d82010-09-08 19:31:22 +00001427 VisitTemplateDecl(D);
1428 D->IdentifierNamespace = Record[Idx++];
Axel Naumann866ba3e2012-10-01 09:18:00 +00001429
1430 mergeRedeclarable(D, Redecl);
1431
Richard Smithd46d6de2013-10-13 23:50:45 +00001432 // If we merged the template with a prior declaration chain, merge the common
1433 // pointer.
1434 // FIXME: Actually merge here, don't just overwrite.
1435 D->Common = D->getCanonicalDecl()->Common;
1436
Douglas Gregor68444de2012-01-14 15:13:49 +00001437 return Redecl;
Peter Collingbourne91b25b72010-07-29 16:11:51 +00001438}
1439
Sebastian Redlb3298c32010-08-18 23:56:48 +00001440void ASTDeclReader::VisitClassTemplateDecl(ClassTemplateDecl *D) {
Douglas Gregor68444de2012-01-14 15:13:49 +00001441 RedeclarableResult Redecl = VisitRedeclarableTemplateDecl(D);
Peter Collingbourne91b25b72010-07-29 16:11:51 +00001442
Douglas Gregor68444de2012-01-14 15:13:49 +00001443 if (ThisDeclID == Redecl.getFirstID()) {
Douglas Gregor7e8c4e02010-10-27 22:21:36 +00001444 // This ClassTemplateDecl owns a CommonPtr; read it to keep track of all of
1445 // the specializations.
Chris Lattner0e62c1c2011-07-23 10:55:15 +00001446 SmallVector<serialization::DeclID, 2> SpecIDs;
Douglas Gregor7e8c4e02010-10-27 22:21:36 +00001447 SpecIDs.push_back(0);
1448
1449 // Specializations.
1450 unsigned Size = Record[Idx++];
1451 SpecIDs[0] += Size;
Douglas Gregor7fb09192011-07-21 22:35:25 +00001452 for (unsigned I = 0; I != Size; ++I)
1453 SpecIDs.push_back(ReadDeclID(Record, Idx));
Argyrios Kyrtzidis95c04ca2010-06-19 19:29:09 +00001454
Douglas Gregor7e8c4e02010-10-27 22:21:36 +00001455 // Partial specializations.
1456 Size = Record[Idx++];
1457 SpecIDs[0] += Size;
Douglas Gregor7fb09192011-07-21 22:35:25 +00001458 for (unsigned I = 0; I != Size; ++I)
1459 SpecIDs.push_back(ReadDeclID(Record, Idx));
Argyrios Kyrtzidis95c04ca2010-06-19 19:29:09 +00001460
Argyrios Kyrtzidisa1c27eb2012-11-06 00:35:02 +00001461 ClassTemplateDecl::Common *CommonPtr = D->getCommonPtr();
Douglas Gregor7e8c4e02010-10-27 22:21:36 +00001462 if (SpecIDs[0]) {
1463 typedef serialization::DeclID DeclID;
1464
Douglas Gregor68444de2012-01-14 15:13:49 +00001465 // FIXME: Append specializations!
Douglas Gregor7e8c4e02010-10-27 22:21:36 +00001466 CommonPtr->LazySpecializations
Douglas Gregor4163aca2011-09-09 21:34:22 +00001467 = new (Reader.getContext()) DeclID [SpecIDs.size()];
Douglas Gregor7e8c4e02010-10-27 22:21:36 +00001468 memcpy(CommonPtr->LazySpecializations, SpecIDs.data(),
1469 SpecIDs.size() * sizeof(DeclID));
1470 }
1471
Argyrios Kyrtzidisa1c27eb2012-11-06 00:35:02 +00001472 CommonPtr->InjectedClassNameType = Reader.readType(F, Record, Idx);
Argyrios Kyrtzidis95c04ca2010-06-19 19:29:09 +00001473 }
Chris Lattnerca025db2010-05-07 21:43:38 +00001474}
1475
Larisse Voufo30616382013-08-23 22:21:36 +00001476/// TODO: Unify with ClassTemplateDecl version?
1477/// May require unifying ClassTemplateDecl and
1478/// VarTemplateDecl beyond TemplateDecl...
Larisse Voufo39a1e502013-08-06 01:03:05 +00001479void ASTDeclReader::VisitVarTemplateDecl(VarTemplateDecl *D) {
1480 RedeclarableResult Redecl = VisitRedeclarableTemplateDecl(D);
1481
1482 if (ThisDeclID == Redecl.getFirstID()) {
Larisse Voufod8dd97c2013-08-14 03:09:19 +00001483 // This VarTemplateDecl owns a CommonPtr; read it to keep track of all of
Larisse Voufo39a1e502013-08-06 01:03:05 +00001484 // the specializations.
1485 SmallVector<serialization::DeclID, 2> SpecIDs;
1486 SpecIDs.push_back(0);
1487
1488 // Specializations.
1489 unsigned Size = Record[Idx++];
1490 SpecIDs[0] += Size;
1491 for (unsigned I = 0; I != Size; ++I)
1492 SpecIDs.push_back(ReadDeclID(Record, Idx));
1493
1494 // Partial specializations.
1495 Size = Record[Idx++];
1496 SpecIDs[0] += Size;
1497 for (unsigned I = 0; I != Size; ++I)
1498 SpecIDs.push_back(ReadDeclID(Record, Idx));
1499
1500 VarTemplateDecl::Common *CommonPtr = D->getCommonPtr();
1501 if (SpecIDs[0]) {
1502 typedef serialization::DeclID DeclID;
1503
1504 // FIXME: Append specializations!
1505 CommonPtr->LazySpecializations =
1506 new (Reader.getContext()) DeclID[SpecIDs.size()];
1507 memcpy(CommonPtr->LazySpecializations, SpecIDs.data(),
1508 SpecIDs.size() * sizeof(DeclID));
1509 }
1510 }
1511}
1512
Richard Smith1d209d02013-05-23 01:49:11 +00001513ASTDeclReader::RedeclarableResult
1514ASTDeclReader::VisitClassTemplateSpecializationDeclImpl(
1515 ClassTemplateSpecializationDecl *D) {
1516 RedeclarableResult Redecl = VisitCXXRecordDeclImpl(D);
Argyrios Kyrtzidisb4c659b2010-09-13 11:45:32 +00001517
Douglas Gregor4163aca2011-09-09 21:34:22 +00001518 ASTContext &C = Reader.getContext();
Douglas Gregor7fb09192011-07-21 22:35:25 +00001519 if (Decl *InstD = ReadDecl(Record, Idx)) {
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001520 if (ClassTemplateDecl *CTD = dyn_cast<ClassTemplateDecl>(InstD)) {
Argyrios Kyrtzidisb4c659b2010-09-13 11:45:32 +00001521 D->SpecializedTemplate = CTD;
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001522 } else {
Chris Lattner0e62c1c2011-07-23 10:55:15 +00001523 SmallVector<TemplateArgument, 8> TemplArgs;
Sebastian Redl2c373b92010-10-05 15:59:54 +00001524 Reader.ReadTemplateArgumentList(TemplArgs, F, Record, Idx);
Argyrios Kyrtzidisb4c659b2010-09-13 11:45:32 +00001525 TemplateArgumentList *ArgList
Douglas Gregor1ccc8412010-11-07 23:05:16 +00001526 = TemplateArgumentList::CreateCopy(C, TemplArgs.data(),
1527 TemplArgs.size());
Argyrios Kyrtzidisb4c659b2010-09-13 11:45:32 +00001528 ClassTemplateSpecializationDecl::SpecializedPartialSpecialization *PS
1529 = new (C) ClassTemplateSpecializationDecl::
1530 SpecializedPartialSpecialization();
1531 PS->PartialSpecialization
1532 = cast<ClassTemplatePartialSpecializationDecl>(InstD);
1533 PS->TemplateArgs = ArgList;
1534 D->SpecializedTemplate = PS;
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001535 }
1536 }
1537
Chris Lattner0e62c1c2011-07-23 10:55:15 +00001538 SmallVector<TemplateArgument, 8> TemplArgs;
Sebastian Redl2c373b92010-10-05 15:59:54 +00001539 Reader.ReadTemplateArgumentList(TemplArgs, F, Record, Idx);
Douglas Gregor1ccc8412010-11-07 23:05:16 +00001540 D->TemplateArgs = TemplateArgumentList::CreateCopy(C, TemplArgs.data(),
1541 TemplArgs.size());
Sebastian Redl2c373b92010-10-05 15:59:54 +00001542 D->PointOfInstantiation = ReadSourceLocation(Record, Idx);
Argyrios Kyrtzidisb4c659b2010-09-13 11:45:32 +00001543 D->SpecializationKind = (TemplateSpecializationKind)Record[Idx++];
Axel Naumanna31dee22012-10-01 07:34:47 +00001544
1545 bool writtenAsCanonicalDecl = Record[Idx++];
1546 if (writtenAsCanonicalDecl) {
Douglas Gregor7fb09192011-07-21 22:35:25 +00001547 ClassTemplateDecl *CanonPattern = ReadDeclAs<ClassTemplateDecl>(Record,Idx);
Axel Naumanna31dee22012-10-01 07:34:47 +00001548 if (D->isCanonicalDecl()) { // It's kept in the folding set.
Richard Smithd55889a2013-09-09 16:55:27 +00001549 // Set this as, or find, the canonical declaration for this specialization
1550 ClassTemplateSpecializationDecl *CanonSpec;
Richard Smith5de91b52013-06-25 01:25:15 +00001551 if (ClassTemplatePartialSpecializationDecl *Partial =
1552 dyn_cast<ClassTemplatePartialSpecializationDecl>(D)) {
Richard Smithd55889a2013-09-09 16:55:27 +00001553 CanonSpec = CanonPattern->getCommonPtr()->PartialSpecializations
Richard Smith5de91b52013-06-25 01:25:15 +00001554 .GetOrInsertNode(Partial);
Axel Naumanna31dee22012-10-01 07:34:47 +00001555 } else {
Richard Smithd55889a2013-09-09 16:55:27 +00001556 CanonSpec =
1557 CanonPattern->getCommonPtr()->Specializations.GetOrInsertNode(D);
1558 }
1559 // If there was already a canonical specialization, merge into it.
1560 if (CanonSpec != D) {
1561 mergeRedeclarable<TagDecl>(D, CanonSpec, Redecl);
1562
1563 // This declaration might be a definition. Merge with any existing
1564 // definition.
1565 if (D->DefinitionData) {
1566 if (!CanonSpec->DefinitionData) {
1567 CanonSpec->DefinitionData = D->DefinitionData;
1568 } else {
1569 // FIXME: Check DefinitionData for consistency with prior definition
1570 Reader.PendingDefinitions.erase(D);
1571 Reader.MergedDeclContexts.insert(
1572 std::make_pair(D, CanonSpec->DefinitionData->Definition));
1573 D->IsCompleteDefinition = false;
1574 D->DefinitionData = CanonSpec->DefinitionData;
1575 }
1576 }
Axel Naumanna31dee22012-10-01 07:34:47 +00001577 }
Argyrios Kyrtzidis87040572010-07-09 21:11:43 +00001578 }
1579 }
Richard Smith1d209d02013-05-23 01:49:11 +00001580
Richard Smithd55889a2013-09-09 16:55:27 +00001581 // Explicit info.
1582 if (TypeSourceInfo *TyInfo = GetTypeSourceInfo(Record, Idx)) {
1583 ClassTemplateSpecializationDecl::ExplicitSpecializationInfo *ExplicitInfo
1584 = new (C) ClassTemplateSpecializationDecl::ExplicitSpecializationInfo;
1585 ExplicitInfo->TypeAsWritten = TyInfo;
1586 ExplicitInfo->ExternLoc = ReadSourceLocation(Record, Idx);
1587 ExplicitInfo->TemplateKeywordLoc = ReadSourceLocation(Record, Idx);
1588 D->ExplicitInfo = ExplicitInfo;
1589 }
1590
Richard Smith1d209d02013-05-23 01:49:11 +00001591 return Redecl;
Chris Lattnerca025db2010-05-07 21:43:38 +00001592}
1593
Sebastian Redlb3298c32010-08-18 23:56:48 +00001594void ASTDeclReader::VisitClassTemplatePartialSpecializationDecl(
Chris Lattnerca025db2010-05-07 21:43:38 +00001595 ClassTemplatePartialSpecializationDecl *D) {
Richard Smith1d209d02013-05-23 01:49:11 +00001596 RedeclarableResult Redecl = VisitClassTemplateSpecializationDeclImpl(D);
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001597
Sebastian Redl2c373b92010-10-05 15:59:54 +00001598 D->TemplateParams = Reader.ReadTemplateParameterList(F, Record, Idx);
Enea Zaffanella6dbe1872013-08-10 07:24:53 +00001599 D->ArgsAsWritten = Reader.ReadASTTemplateArgumentListInfo(F, Record, Idx);
Argyrios Kyrtzidis0e8b3ce2010-09-13 11:45:41 +00001600
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001601 // These are read/set from/to the first declaration.
Richard Smith1d209d02013-05-23 01:49:11 +00001602 if (ThisDeclID == Redecl.getFirstID()) {
Argyrios Kyrtzidis0e8b3ce2010-09-13 11:45:41 +00001603 D->InstantiatedFromMember.setPointer(
Douglas Gregor7fb09192011-07-21 22:35:25 +00001604 ReadDeclAs<ClassTemplatePartialSpecializationDecl>(Record, Idx));
Argyrios Kyrtzidis0e8b3ce2010-09-13 11:45:41 +00001605 D->InstantiatedFromMember.setInt(Record[Idx++]);
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001606 }
Chris Lattnerca025db2010-05-07 21:43:38 +00001607}
1608
Sebastian Redlb7448632011-08-31 13:59:56 +00001609void ASTDeclReader::VisitClassScopeFunctionSpecializationDecl(
1610 ClassScopeFunctionSpecializationDecl *D) {
Francois Pichet09af8c32011-08-17 01:06:54 +00001611 VisitDecl(D);
1612 D->Specialization = ReadDeclAs<CXXMethodDecl>(Record, Idx);
1613}
1614
Sebastian Redlb3298c32010-08-18 23:56:48 +00001615void ASTDeclReader::VisitFunctionTemplateDecl(FunctionTemplateDecl *D) {
Douglas Gregor68444de2012-01-14 15:13:49 +00001616 RedeclarableResult Redecl = VisitRedeclarableTemplateDecl(D);
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +00001617
Douglas Gregor68444de2012-01-14 15:13:49 +00001618 if (ThisDeclID == Redecl.getFirstID()) {
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +00001619 // This FunctionTemplateDecl owns a CommonPtr; read it.
1620
Richard Smithfeb3e1a2013-06-28 04:37:53 +00001621 // Read the function specialization declaration IDs. The specializations
1622 // themselves will be loaded if they're needed.
1623 if (unsigned NumSpecs = Record[Idx++]) {
1624 // FIXME: Append specializations!
1625 FunctionTemplateDecl::Common *CommonPtr = D->getCommonPtr();
1626 CommonPtr->LazySpecializations = new (Reader.getContext())
1627 serialization::DeclID[NumSpecs + 1];
1628 CommonPtr->LazySpecializations[0] = NumSpecs;
1629 for (unsigned I = 0; I != NumSpecs; ++I)
1630 CommonPtr->LazySpecializations[I + 1] = ReadDeclID(Record, Idx);
1631 }
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +00001632 }
Chris Lattnerca025db2010-05-07 21:43:38 +00001633}
1634
Larisse Voufo30616382013-08-23 22:21:36 +00001635/// TODO: Unify with ClassTemplateSpecializationDecl version?
1636/// May require unifying ClassTemplate(Partial)SpecializationDecl and
1637/// VarTemplate(Partial)SpecializationDecl with a new data
1638/// structure Template(Partial)SpecializationDecl, and
1639/// using Template(Partial)SpecializationDecl as input type.
Larisse Voufo39a1e502013-08-06 01:03:05 +00001640ASTDeclReader::RedeclarableResult
1641ASTDeclReader::VisitVarTemplateSpecializationDeclImpl(
1642 VarTemplateSpecializationDecl *D) {
1643 RedeclarableResult Redecl = VisitVarDeclImpl(D);
1644
1645 ASTContext &C = Reader.getContext();
1646 if (Decl *InstD = ReadDecl(Record, Idx)) {
1647 if (VarTemplateDecl *VTD = dyn_cast<VarTemplateDecl>(InstD)) {
1648 D->SpecializedTemplate = VTD;
1649 } else {
1650 SmallVector<TemplateArgument, 8> TemplArgs;
1651 Reader.ReadTemplateArgumentList(TemplArgs, F, Record, Idx);
1652 TemplateArgumentList *ArgList = TemplateArgumentList::CreateCopy(
1653 C, TemplArgs.data(), TemplArgs.size());
1654 VarTemplateSpecializationDecl::SpecializedPartialSpecialization *PS =
1655 new (C)
1656 VarTemplateSpecializationDecl::SpecializedPartialSpecialization();
1657 PS->PartialSpecialization =
1658 cast<VarTemplatePartialSpecializationDecl>(InstD);
1659 PS->TemplateArgs = ArgList;
1660 D->SpecializedTemplate = PS;
1661 }
1662 }
1663
1664 // Explicit info.
1665 if (TypeSourceInfo *TyInfo = GetTypeSourceInfo(Record, Idx)) {
1666 VarTemplateSpecializationDecl::ExplicitSpecializationInfo *ExplicitInfo =
1667 new (C) VarTemplateSpecializationDecl::ExplicitSpecializationInfo;
1668 ExplicitInfo->TypeAsWritten = TyInfo;
1669 ExplicitInfo->ExternLoc = ReadSourceLocation(Record, Idx);
1670 ExplicitInfo->TemplateKeywordLoc = ReadSourceLocation(Record, Idx);
1671 D->ExplicitInfo = ExplicitInfo;
1672 }
1673
1674 SmallVector<TemplateArgument, 8> TemplArgs;
1675 Reader.ReadTemplateArgumentList(TemplArgs, F, Record, Idx);
1676 D->TemplateArgs =
1677 TemplateArgumentList::CreateCopy(C, TemplArgs.data(), TemplArgs.size());
1678 D->PointOfInstantiation = ReadSourceLocation(Record, Idx);
1679 D->SpecializationKind = (TemplateSpecializationKind)Record[Idx++];
1680
1681 bool writtenAsCanonicalDecl = Record[Idx++];
1682 if (writtenAsCanonicalDecl) {
1683 VarTemplateDecl *CanonPattern = ReadDeclAs<VarTemplateDecl>(Record, Idx);
1684 if (D->isCanonicalDecl()) { // It's kept in the folding set.
1685 if (VarTemplatePartialSpecializationDecl *Partial =
1686 dyn_cast<VarTemplatePartialSpecializationDecl>(D)) {
Larisse Voufo39a1e502013-08-06 01:03:05 +00001687 CanonPattern->getCommonPtr()->PartialSpecializations
1688 .GetOrInsertNode(Partial);
1689 } else {
1690 CanonPattern->getCommonPtr()->Specializations.GetOrInsertNode(D);
1691 }
1692 }
1693 }
1694
1695 return Redecl;
1696}
1697
Larisse Voufo30616382013-08-23 22:21:36 +00001698/// TODO: Unify with ClassTemplatePartialSpecializationDecl version?
1699/// May require unifying ClassTemplate(Partial)SpecializationDecl and
1700/// VarTemplate(Partial)SpecializationDecl with a new data
1701/// structure Template(Partial)SpecializationDecl, and
1702/// using Template(Partial)SpecializationDecl as input type.
Larisse Voufo39a1e502013-08-06 01:03:05 +00001703void ASTDeclReader::VisitVarTemplatePartialSpecializationDecl(
1704 VarTemplatePartialSpecializationDecl *D) {
1705 RedeclarableResult Redecl = VisitVarTemplateSpecializationDeclImpl(D);
1706
Larisse Voufo39a1e502013-08-06 01:03:05 +00001707 D->TemplateParams = Reader.ReadTemplateParameterList(F, Record, Idx);
Enea Zaffanella6dbe1872013-08-10 07:24:53 +00001708 D->ArgsAsWritten = Reader.ReadASTTemplateArgumentListInfo(F, Record, Idx);
Larisse Voufo39a1e502013-08-06 01:03:05 +00001709
1710 // These are read/set from/to the first declaration.
1711 if (ThisDeclID == Redecl.getFirstID()) {
1712 D->InstantiatedFromMember.setPointer(
1713 ReadDeclAs<VarTemplatePartialSpecializationDecl>(Record, Idx));
1714 D->InstantiatedFromMember.setInt(Record[Idx++]);
1715 }
1716}
1717
Sebastian Redlb3298c32010-08-18 23:56:48 +00001718void ASTDeclReader::VisitTemplateTypeParmDecl(TemplateTypeParmDecl *D) {
Argyrios Kyrtzidis95c04ca2010-06-19 19:29:09 +00001719 VisitTypeDecl(D);
1720
1721 D->setDeclaredWithTypename(Record[Idx++]);
Argyrios Kyrtzidis95c04ca2010-06-19 19:29:09 +00001722
1723 bool Inherited = Record[Idx++];
Sebastian Redl2c373b92010-10-05 15:59:54 +00001724 TypeSourceInfo *DefArg = GetTypeSourceInfo(Record, Idx);
Argyrios Kyrtzidis95c04ca2010-06-19 19:29:09 +00001725 D->setDefaultArgument(DefArg, Inherited);
Chris Lattnerca025db2010-05-07 21:43:38 +00001726}
1727
Sebastian Redlb3298c32010-08-18 23:56:48 +00001728void ASTDeclReader::VisitNonTypeTemplateParmDecl(NonTypeTemplateParmDecl *D) {
John McCallf4cd4f92011-02-09 01:13:10 +00001729 VisitDeclaratorDecl(D);
Argyrios Kyrtzidisb1d38e32010-06-25 16:25:09 +00001730 // TemplateParmPosition.
1731 D->setDepth(Record[Idx++]);
1732 D->setPosition(Record[Idx++]);
Douglas Gregor0231d8d2011-01-19 20:10:05 +00001733 if (D->isExpandedParameterPack()) {
1734 void **Data = reinterpret_cast<void **>(D + 1);
1735 for (unsigned I = 0, N = D->getNumExpansionTypes(); I != N; ++I) {
Douglas Gregor903b7e92011-07-22 00:38:23 +00001736 Data[2*I] = Reader.readType(F, Record, Idx).getAsOpaquePtr();
Douglas Gregor0231d8d2011-01-19 20:10:05 +00001737 Data[2*I + 1] = GetTypeSourceInfo(Record, Idx);
1738 }
1739 } else {
1740 // Rest of NonTypeTemplateParmDecl.
1741 D->ParameterPack = Record[Idx++];
1742 if (Record[Idx++]) {
1743 Expr *DefArg = Reader.ReadExpr(F);
1744 bool Inherited = Record[Idx++];
1745 D->setDefaultArgument(DefArg, Inherited);
1746 }
1747 }
Chris Lattnerca025db2010-05-07 21:43:38 +00001748}
1749
Sebastian Redlb3298c32010-08-18 23:56:48 +00001750void ASTDeclReader::VisitTemplateTemplateParmDecl(TemplateTemplateParmDecl *D) {
Argyrios Kyrtzidis9f2d24a2010-07-08 17:12:57 +00001751 VisitTemplateDecl(D);
1752 // TemplateParmPosition.
1753 D->setDepth(Record[Idx++]);
1754 D->setPosition(Record[Idx++]);
Richard Smith1fde8ec2012-09-07 02:06:42 +00001755 if (D->isExpandedParameterPack()) {
1756 void **Data = reinterpret_cast<void **>(D + 1);
1757 for (unsigned I = 0, N = D->getNumExpansionTemplateParameters();
1758 I != N; ++I)
1759 Data[I] = Reader.ReadTemplateParameterList(F, Record, Idx);
1760 } else {
1761 // Rest of TemplateTemplateParmDecl.
1762 TemplateArgumentLoc Arg = Reader.ReadTemplateArgumentLoc(F, Record, Idx);
1763 bool IsInherited = Record[Idx++];
1764 D->setDefaultArgument(Arg, IsInherited);
1765 D->ParameterPack = Record[Idx++];
1766 }
Chris Lattnerca025db2010-05-07 21:43:38 +00001767}
1768
Richard Smith3f1b5d02011-05-05 21:57:07 +00001769void ASTDeclReader::VisitTypeAliasTemplateDecl(TypeAliasTemplateDecl *D) {
1770 VisitRedeclarableTemplateDecl(D);
1771}
1772
Sebastian Redlb3298c32010-08-18 23:56:48 +00001773void ASTDeclReader::VisitStaticAssertDecl(StaticAssertDecl *D) {
Argyrios Kyrtzidis2d8891c2010-07-22 17:28:12 +00001774 VisitDecl(D);
Richard Smithded9c2e2012-07-11 22:37:56 +00001775 D->AssertExprAndFailed.setPointer(Reader.ReadExpr(F));
1776 D->AssertExprAndFailed.setInt(Record[Idx++]);
Sebastian Redl2c373b92010-10-05 15:59:54 +00001777 D->Message = cast<StringLiteral>(Reader.ReadExpr(F));
Abramo Bagnaraea947882011-03-08 16:41:52 +00001778 D->RParenLoc = ReadSourceLocation(Record, Idx);
Chris Lattnerca025db2010-05-07 21:43:38 +00001779}
1780
Michael Han84324352013-02-22 17:15:32 +00001781void ASTDeclReader::VisitEmptyDecl(EmptyDecl *D) {
1782 VisitDecl(D);
1783}
1784
Mike Stump11289f42009-09-09 15:08:12 +00001785std::pair<uint64_t, uint64_t>
Sebastian Redlb3298c32010-08-18 23:56:48 +00001786ASTDeclReader::VisitDeclContext(DeclContext *DC) {
Chris Lattner487412d2009-04-27 05:27:42 +00001787 uint64_t LexicalOffset = Record[Idx++];
1788 uint64_t VisibleOffset = Record[Idx++];
1789 return std::make_pair(LexicalOffset, VisibleOffset);
1790}
1791
Argyrios Kyrtzidis839bbac2010-08-03 17:30:10 +00001792template <typename T>
Douglas Gregor022857e2011-12-22 01:48:48 +00001793ASTDeclReader::RedeclarableResult
1794ASTDeclReader::VisitRedeclarable(Redeclarable<T> *D) {
Douglas Gregor358cd442012-01-15 16:58:34 +00001795 DeclID FirstDeclID = ReadDeclID(Record, Idx);
Douglas Gregor05f10352011-12-17 23:38:30 +00001796
Douglas Gregor358cd442012-01-15 16:58:34 +00001797 // 0 indicates that this declaration was the only declaration of its entity,
1798 // and is used for space optimization.
1799 if (FirstDeclID == 0)
Douglas Gregor074a4092011-12-19 18:19:24 +00001800 FirstDeclID = ThisDeclID;
Douglas Gregor358cd442012-01-15 16:58:34 +00001801
1802 T *FirstDecl = cast_or_null<T>(Reader.GetDecl(FirstDeclID));
1803 if (FirstDecl != D) {
Argyrios Kyrtzidis9fdd2542011-02-12 07:50:47 +00001804 // We delay loading of the redeclaration chain to avoid deeply nested calls.
1805 // We temporarily set the first (canonical) declaration as the previous one
1806 // which is the one that matters and mark the real previous DeclID to be
1807 // loaded & attached later on.
David Blaikie7e64fd92012-05-28 19:38:42 +00001808 D->RedeclLink = Redeclarable<T>::PreviousDeclLink(FirstDecl);
Douglas Gregor358cd442012-01-15 16:58:34 +00001809 }
1810
1811 // Note that this declaration has been deserialized.
1812 Reader.RedeclsDeserialized.insert(static_cast<T *>(D));
1813
1814 // The result structure takes care to note that we need to load the
Douglas Gregor022857e2011-12-22 01:48:48 +00001815 // other declaration chains for this ID.
Douglas Gregorfe732d52013-01-21 16:16:40 +00001816 return RedeclarableResult(Reader, FirstDeclID,
1817 static_cast<T *>(D)->getKind());
Argyrios Kyrtzidis839bbac2010-08-03 17:30:10 +00001818}
1819
Douglas Gregor2c46b5b2012-01-03 17:27:13 +00001820/// \brief Attempts to merge the given declaration (D) with another declaration
1821/// of the same entity.
1822template<typename T>
Richard Smithd55889a2013-09-09 16:55:27 +00001823void ASTDeclReader::mergeRedeclarable(Redeclarable<T> *D,
Douglas Gregor2c46b5b2012-01-03 17:27:13 +00001824 RedeclarableResult &Redecl) {
Douglas Gregore097d4b2012-01-03 17:31:38 +00001825 // If modules are not available, there is no reason to perform this merge.
David Blaikiebbafb8a2012-03-11 07:00:24 +00001826 if (!Reader.getContext().getLangOpts().Modules)
Douglas Gregore097d4b2012-01-03 17:31:38 +00001827 return;
Richard Smithd55889a2013-09-09 16:55:27 +00001828
1829 if (FindExistingResult ExistingRes = findExisting(static_cast<T*>(D)))
1830 if (T *Existing = ExistingRes)
1831 mergeRedeclarable(D, Existing, Redecl);
1832}
1833
1834/// \brief Attempts to merge the given declaration (D) with another declaration
1835/// of the same entity.
1836template<typename T>
1837void ASTDeclReader::mergeRedeclarable(Redeclarable<T> *D, T *Existing,
1838 RedeclarableResult &Redecl) {
1839 T *ExistingCanon = Existing->getCanonicalDecl();
1840 T *DCanon = static_cast<T*>(D)->getCanonicalDecl();
1841 if (ExistingCanon != DCanon) {
1842 // Have our redeclaration link point back at the canonical declaration
1843 // of the existing declaration, so that this declaration has the
1844 // appropriate canonical declaration.
1845 D->RedeclLink = Redeclarable<T>::PreviousDeclLink(ExistingCanon);
1846
1847 // When we merge a namespace, update its pointer to the first namespace.
1848 if (NamespaceDecl *Namespace
1849 = dyn_cast<NamespaceDecl>(static_cast<T*>(D))) {
1850 Namespace->AnonOrFirstNamespaceAndInline.setPointer(
1851 static_cast<NamespaceDecl *>(static_cast<void*>(ExistingCanon)));
1852 }
1853
1854 // Don't introduce DCanon into the set of pending declaration chains.
1855 Redecl.suppress();
1856
1857 // Introduce ExistingCanon into the set of pending declaration chains,
1858 // if in fact it came from a module file.
1859 if (ExistingCanon->isFromASTFile()) {
1860 GlobalDeclID ExistingCanonID = ExistingCanon->getGlobalID();
1861 assert(ExistingCanonID && "Unrecorded canonical declaration ID?");
1862 if (Reader.PendingDeclChainsKnown.insert(ExistingCanonID))
1863 Reader.PendingDeclChains.push_back(ExistingCanonID);
1864 }
1865
1866 // If this declaration was the canonical declaration, make a note of
1867 // that. We accept the linear algorithm here because the number of
1868 // unique canonical declarations of an entity should always be tiny.
1869 if (DCanon == static_cast<T*>(D)) {
1870 SmallVectorImpl<DeclID> &Merged = Reader.MergedDecls[ExistingCanon];
1871 if (std::find(Merged.begin(), Merged.end(), Redecl.getFirstID())
1872 == Merged.end())
1873 Merged.push_back(Redecl.getFirstID());
1874
1875 // If ExistingCanon did not come from a module file, introduce the
1876 // first declaration that *does* come from a module file to the
1877 // set of pending declaration chains, so that we merge this
1878 // declaration.
1879 if (!ExistingCanon->isFromASTFile() &&
1880 Reader.PendingDeclChainsKnown.insert(Redecl.getFirstID()))
1881 Reader.PendingDeclChains.push_back(Merged[0]);
Douglas Gregor2c46b5b2012-01-03 17:27:13 +00001882 }
1883 }
1884}
1885
Richard Smith0b87e072013-10-07 08:02:11 +00001886/// \brief Attempts to merge the given declaration (D) with another declaration
1887/// of the same entity, for the case where the entity is not actually
1888/// redeclarable. This happens, for instance, when merging the fields of
1889/// identical class definitions from two different modules.
1890template<typename T>
1891void ASTDeclReader::mergeMergeable(Mergeable<T> *D) {
1892 // If modules are not available, there is no reason to perform this merge.
1893 if (!Reader.getContext().getLangOpts().Modules)
1894 return;
1895
1896 if (FindExistingResult ExistingRes = findExisting(static_cast<T*>(D)))
1897 if (T *Existing = ExistingRes)
1898 Reader.Context.setPrimaryMergedDecl(static_cast<T*>(D),
1899 Existing->getCanonicalDecl());
1900}
1901
Alexey Bataeva769e072013-03-22 06:34:35 +00001902void ASTDeclReader::VisitOMPThreadPrivateDecl(OMPThreadPrivateDecl *D) {
1903 VisitDecl(D);
1904 unsigned NumVars = D->varlist_size();
Alexey Bataev6f6f3b42013-05-13 04:18:18 +00001905 SmallVector<Expr *, 16> Vars;
Alexey Bataeva769e072013-03-22 06:34:35 +00001906 Vars.reserve(NumVars);
1907 for (unsigned i = 0; i != NumVars; ++i) {
Alexey Bataev6f6f3b42013-05-13 04:18:18 +00001908 Vars.push_back(Reader.ReadExpr(F));
Alexey Bataeva769e072013-03-22 06:34:35 +00001909 }
1910 D->setVars(Vars);
1911}
1912
Chris Lattner487412d2009-04-27 05:27:42 +00001913//===----------------------------------------------------------------------===//
Chris Lattner8f63ab52009-04-27 06:01:06 +00001914// Attribute Reading
Chris Lattner487412d2009-04-27 05:27:42 +00001915//===----------------------------------------------------------------------===//
1916
Chris Lattner8f63ab52009-04-27 06:01:06 +00001917/// \brief Reads attributes from the current stream position.
Douglas Gregorde3ef502011-11-30 23:21:26 +00001918void ASTReader::ReadAttributes(ModuleFile &F, AttrVec &Attrs,
Argyrios Kyrtzidis9beef8e2010-10-18 19:20:11 +00001919 const RecordData &Record, unsigned &Idx) {
1920 for (unsigned i = 0, e = Record[Idx++]; i != e; ++i) {
Chris Lattner8f63ab52009-04-27 06:01:06 +00001921 Attr *New = 0;
Alexis Hunt344393e2010-06-16 23:43:53 +00001922 attr::Kind Kind = (attr::Kind)Record[Idx++];
Argyrios Kyrtzidis309b4c42011-09-13 16:05:58 +00001923 SourceRange Range = ReadSourceRange(F, Record, Idx);
Chris Lattner8f63ab52009-04-27 06:01:06 +00001924
Alexis Huntdcfba7b2010-08-18 23:23:40 +00001925#include "clang/Serialization/AttrPCHRead.inc"
Chris Lattner8f63ab52009-04-27 06:01:06 +00001926
1927 assert(New && "Unable to decode attribute?");
Alexis Huntdcfba7b2010-08-18 23:23:40 +00001928 Attrs.push_back(New);
Chris Lattner8f63ab52009-04-27 06:01:06 +00001929 }
Chris Lattner8f63ab52009-04-27 06:01:06 +00001930}
1931
1932//===----------------------------------------------------------------------===//
Sebastian Redl2c499f62010-08-18 23:56:43 +00001933// ASTReader Implementation
Chris Lattner8f63ab52009-04-27 06:01:06 +00001934//===----------------------------------------------------------------------===//
Chris Lattner487412d2009-04-27 05:27:42 +00001935
1936/// \brief Note that we have loaded the declaration with the given
1937/// Index.
Mike Stump11289f42009-09-09 15:08:12 +00001938///
Chris Lattner487412d2009-04-27 05:27:42 +00001939/// This routine notes that this declaration has already been loaded,
1940/// so that future GetDecl calls will return this declaration rather
1941/// than trying to load a new declaration.
Sebastian Redl2c499f62010-08-18 23:56:43 +00001942inline void ASTReader::LoadedDecl(unsigned Index, Decl *D) {
Chris Lattner487412d2009-04-27 05:27:42 +00001943 assert(!DeclsLoaded[Index] && "Decl loaded twice?");
1944 DeclsLoaded[Index] = D;
1945}
1946
1947
1948/// \brief Determine whether the consumer will be interested in seeing
1949/// this declaration (via HandleTopLevelDecl).
1950///
1951/// This routine should return true for anything that might affect
1952/// code generation, e.g., inline function definitions, Objective-C
1953/// declarations with metadata, etc.
Douglas Gregora6017bb2012-10-09 17:21:28 +00001954static bool isConsumerInterestedIn(Decl *D, bool HasBody) {
Argyrios Kyrtzidisa98e8612011-09-13 21:35:00 +00001955 // An ObjCMethodDecl is never considered as "interesting" because its
1956 // implementation container always is.
1957
Douglas Gregor87d81242011-09-10 00:22:34 +00001958 if (isa<FileScopeAsmDecl>(D) ||
1959 isa<ObjCProtocolDecl>(D) ||
1960 isa<ObjCImplDecl>(D))
Daniel Dunbar865c2a72009-09-17 03:06:44 +00001961 return true;
Chris Lattner487412d2009-04-27 05:27:42 +00001962 if (VarDecl *Var = dyn_cast<VarDecl>(D))
Argyrios Kyrtzidis4ba81b22010-08-05 09:47:59 +00001963 return Var->isFileVarDecl() &&
1964 Var->isThisDeclarationADefinition() == VarDecl::Definition;
Chris Lattner487412d2009-04-27 05:27:42 +00001965 if (FunctionDecl *Func = dyn_cast<FunctionDecl>(D))
Douglas Gregora6017bb2012-10-09 17:21:28 +00001966 return Func->doesThisDeclarationHaveABody() || HasBody;
Douglas Gregor87d81242011-09-10 00:22:34 +00001967
1968 return false;
Chris Lattner487412d2009-04-27 05:27:42 +00001969}
1970
Douglas Gregor047d2ef2011-07-20 00:27:43 +00001971/// \brief Get the correct cursor and offset for loading a declaration.
Sebastian Redl2c499f62010-08-18 23:56:43 +00001972ASTReader::RecordLocation
Argyrios Kyrtzidis81ddd182011-10-27 18:47:35 +00001973ASTReader::DeclCursorForID(DeclID ID, unsigned &RawLocation) {
Sebastian Redle7c1fe62010-08-13 00:28:03 +00001974 // See if there's an override.
1975 DeclReplacementMap::iterator It = ReplacedDecls.find(ID);
Argyrios Kyrtzidis6fb60032011-10-31 07:20:15 +00001976 if (It != ReplacedDecls.end()) {
1977 RawLocation = It->second.RawLoc;
1978 return RecordLocation(It->second.Mod, It->second.Offset);
1979 }
Sebastian Redle7c1fe62010-08-13 00:28:03 +00001980
Douglas Gregor047d2ef2011-07-20 00:27:43 +00001981 GlobalDeclMapType::iterator I = GlobalDeclMap.find(ID);
1982 assert(I != GlobalDeclMap.end() && "Corrupted global declaration map");
Douglas Gregorde3ef502011-11-30 23:21:26 +00001983 ModuleFile *M = I->second;
Argyrios Kyrtzidis81ddd182011-10-27 18:47:35 +00001984 const DeclOffset &
1985 DOffs = M->DeclOffsets[ID - M->BaseDeclID - NUM_PREDEF_DECL_IDS];
1986 RawLocation = DOffs.Loc;
1987 return RecordLocation(M, DOffs.BitOffset);
Sebastian Redl34627792010-07-20 22:46:15 +00001988}
1989
Douglas Gregord32f0352011-07-22 06:10:01 +00001990ASTReader::RecordLocation ASTReader::getLocalBitOffset(uint64_t GlobalOffset) {
Douglas Gregorde3ef502011-11-30 23:21:26 +00001991 ContinuousRangeMap<uint64_t, ModuleFile*, 4>::iterator I
Douglas Gregord32f0352011-07-22 06:10:01 +00001992 = GlobalBitOffsetsMap.find(GlobalOffset);
1993
1994 assert(I != GlobalBitOffsetsMap.end() && "Corrupted global bit offsets map");
1995 return RecordLocation(I->second, GlobalOffset - I->second->GlobalBitOffset);
1996}
1997
Douglas Gregorde3ef502011-11-30 23:21:26 +00001998uint64_t ASTReader::getGlobalBitOffset(ModuleFile &M, uint32_t LocalOffset) {
Douglas Gregorc27b2872011-08-04 00:01:48 +00001999 return LocalOffset + M.GlobalBitOffset;
2000}
2001
Richard Smithbf78e642013-06-24 22:51:00 +00002002static bool isSameTemplateParameterList(const TemplateParameterList *X,
2003 const TemplateParameterList *Y);
2004
2005/// \brief Determine whether two template parameters are similar enough
2006/// that they may be used in declarations of the same template.
2007static bool isSameTemplateParameter(const NamedDecl *X,
2008 const NamedDecl *Y) {
2009 if (X->getKind() != Y->getKind())
2010 return false;
2011
2012 if (const TemplateTypeParmDecl *TX = dyn_cast<TemplateTypeParmDecl>(X)) {
2013 const TemplateTypeParmDecl *TY = cast<TemplateTypeParmDecl>(Y);
2014 return TX->isParameterPack() == TY->isParameterPack();
2015 }
2016
2017 if (const NonTypeTemplateParmDecl *TX = dyn_cast<NonTypeTemplateParmDecl>(X)) {
2018 const NonTypeTemplateParmDecl *TY = cast<NonTypeTemplateParmDecl>(Y);
2019 return TX->isParameterPack() == TY->isParameterPack() &&
2020 TX->getASTContext().hasSameType(TX->getType(), TY->getType());
2021 }
2022
2023 const TemplateTemplateParmDecl *TX = cast<TemplateTemplateParmDecl>(X);
2024 const TemplateTemplateParmDecl *TY = cast<TemplateTemplateParmDecl>(Y);
2025 return TX->isParameterPack() == TY->isParameterPack() &&
2026 isSameTemplateParameterList(TX->getTemplateParameters(),
2027 TY->getTemplateParameters());
2028}
2029
2030/// \brief Determine whether two template parameter lists are similar enough
2031/// that they may be used in declarations of the same template.
2032static bool isSameTemplateParameterList(const TemplateParameterList *X,
2033 const TemplateParameterList *Y) {
2034 if (X->size() != Y->size())
2035 return false;
2036
2037 for (unsigned I = 0, N = X->size(); I != N; ++I)
2038 if (!isSameTemplateParameter(X->getParam(I), Y->getParam(I)))
2039 return false;
2040
2041 return true;
2042}
2043
Douglas Gregor022857e2011-12-22 01:48:48 +00002044/// \brief Determine whether the two declarations refer to the same entity.
2045static bool isSameEntity(NamedDecl *X, NamedDecl *Y) {
2046 assert(X->getDeclName() == Y->getDeclName() && "Declaration name mismatch!");
2047
2048 if (X == Y)
2049 return true;
2050
Douglas Gregor022857e2011-12-22 01:48:48 +00002051 // Must be in the same context.
2052 if (!X->getDeclContext()->getRedeclContext()->Equals(
2053 Y->getDeclContext()->getRedeclContext()))
2054 return false;
Douglas Gregor9b7b3912012-01-04 16:44:10 +00002055
2056 // Two typedefs refer to the same entity if they have the same underlying
2057 // type.
2058 if (TypedefNameDecl *TypedefX = dyn_cast<TypedefNameDecl>(X))
2059 if (TypedefNameDecl *TypedefY = dyn_cast<TypedefNameDecl>(Y))
2060 return X->getASTContext().hasSameType(TypedefX->getUnderlyingType(),
2061 TypedefY->getUnderlyingType());
Douglas Gregor022857e2011-12-22 01:48:48 +00002062
Douglas Gregor9b7b3912012-01-04 16:44:10 +00002063 // Must have the same kind.
2064 if (X->getKind() != Y->getKind())
2065 return false;
2066
Douglas Gregorda389302012-01-01 21:47:52 +00002067 // Objective-C classes and protocols with the same name always match.
2068 if (isa<ObjCInterfaceDecl>(X) || isa<ObjCProtocolDecl>(X))
Douglas Gregor022857e2011-12-22 01:48:48 +00002069 return true;
Richard Smith1d209d02013-05-23 01:49:11 +00002070
2071 if (isa<ClassTemplateSpecializationDecl>(X)) {
Richard Smithd55889a2013-09-09 16:55:27 +00002072 // No need to handle these here: we merge them when adding them to the
2073 // template.
Richard Smith1d209d02013-05-23 01:49:11 +00002074 return false;
2075 }
Richard Smithd55889a2013-09-09 16:55:27 +00002076
Douglas Gregor2009cee2012-01-03 22:46:00 +00002077 // Compatible tags match.
Joao Matose9a3ed42012-08-31 22:18:20 +00002078 if (TagDecl *TagX = dyn_cast<TagDecl>(X)) {
2079 TagDecl *TagY = cast<TagDecl>(Y);
2080 return (TagX->getTagKind() == TagY->getTagKind()) ||
2081 ((TagX->getTagKind() == TTK_Struct || TagX->getTagKind() == TTK_Class ||
2082 TagX->getTagKind() == TTK_Interface) &&
2083 (TagY->getTagKind() == TTK_Struct || TagY->getTagKind() == TTK_Class ||
2084 TagY->getTagKind() == TTK_Interface));
2085 }
Richard Smith8f8f05c2013-06-24 04:45:28 +00002086
Joao Matose9a3ed42012-08-31 22:18:20 +00002087 // Functions with the same type and linkage match.
Richard Smith8f8f05c2013-06-24 04:45:28 +00002088 // FIXME: This needs to cope with function template specializations,
2089 // merging of prototyped/non-prototyped functions, etc.
Douglas Gregorb2585692012-01-04 17:13:46 +00002090 if (FunctionDecl *FuncX = dyn_cast<FunctionDecl>(X)) {
2091 FunctionDecl *FuncY = cast<FunctionDecl>(Y);
Rafael Espindola3ae00052013-05-13 00:12:11 +00002092 return (FuncX->getLinkageInternal() == FuncY->getLinkageInternal()) &&
Douglas Gregorb2585692012-01-04 17:13:46 +00002093 FuncX->getASTContext().hasSameType(FuncX->getType(), FuncY->getType());
2094 }
Axel Naumann866ba3e2012-10-01 09:18:00 +00002095
Douglas Gregorb8c6f1e2012-01-04 17:21:36 +00002096 // Variables with the same type and linkage match.
2097 if (VarDecl *VarX = dyn_cast<VarDecl>(X)) {
2098 VarDecl *VarY = cast<VarDecl>(Y);
Rafael Espindola3ae00052013-05-13 00:12:11 +00002099 return (VarX->getLinkageInternal() == VarY->getLinkageInternal()) &&
Douglas Gregorb8c6f1e2012-01-04 17:21:36 +00002100 VarX->getASTContext().hasSameType(VarX->getType(), VarY->getType());
2101 }
Richard Smith8f8f05c2013-06-24 04:45:28 +00002102
Douglas Gregorcfe7dc62012-01-09 17:30:44 +00002103 // Namespaces with the same name and inlinedness match.
2104 if (NamespaceDecl *NamespaceX = dyn_cast<NamespaceDecl>(X)) {
2105 NamespaceDecl *NamespaceY = cast<NamespaceDecl>(Y);
2106 return NamespaceX->isInline() == NamespaceY->isInline();
2107 }
Axel Naumann866ba3e2012-10-01 09:18:00 +00002108
Richard Smith8f8f05c2013-06-24 04:45:28 +00002109 // Identical template names and kinds match if their template parameter lists
2110 // and patterns match.
2111 if (TemplateDecl *TemplateX = dyn_cast<TemplateDecl>(X)) {
Richard Smithbf78e642013-06-24 22:51:00 +00002112 TemplateDecl *TemplateY = cast<TemplateDecl>(Y);
Richard Smith8f8f05c2013-06-24 04:45:28 +00002113 return isSameEntity(TemplateX->getTemplatedDecl(),
Richard Smithbf78e642013-06-24 22:51:00 +00002114 TemplateY->getTemplatedDecl()) &&
2115 isSameTemplateParameterList(TemplateX->getTemplateParameters(),
2116 TemplateY->getTemplateParameters());
Richard Smith8f8f05c2013-06-24 04:45:28 +00002117 }
Axel Naumann866ba3e2012-10-01 09:18:00 +00002118
Richard Smith0b87e072013-10-07 08:02:11 +00002119 // Fields with the same name and the same type match.
2120 if (FieldDecl *FDX = dyn_cast<FieldDecl>(X)) {
2121 FieldDecl *FDY = cast<FieldDecl>(Y);
2122 // FIXME: Diagnose if the types don't match. More generally, diagnose if we
2123 // get a declaration in a class definition that isn't in the canonical class
2124 // definition.
2125 return X->getASTContext().hasSameType(FDX->getType(), FDY->getType());
2126 }
2127
Douglas Gregor022857e2011-12-22 01:48:48 +00002128 // FIXME: Many other cases to implement.
2129 return false;
2130}
2131
Richard Smithd55889a2013-09-09 16:55:27 +00002132/// Find the context in which we should search for previous declarations when
2133/// looking for declarations to merge.
2134static DeclContext *getPrimaryContextForMerging(DeclContext *DC) {
2135 if (NamespaceDecl *ND = dyn_cast<NamespaceDecl>(DC))
2136 return ND->getOriginalNamespace();
2137
2138 if (CXXRecordDecl *RD = dyn_cast<CXXRecordDecl>(DC))
2139 return RD->getDefinition();
2140
2141 return 0;
2142}
2143
Douglas Gregor022857e2011-12-22 01:48:48 +00002144ASTDeclReader::FindExistingResult::~FindExistingResult() {
Douglas Gregor9b47f942012-01-09 17:38:47 +00002145 if (!AddResult || Existing)
Douglas Gregor022857e2011-12-22 01:48:48 +00002146 return;
Richard Smith95d99302013-07-13 02:00:19 +00002147
2148 DeclContext *DC = New->getDeclContext()->getRedeclContext();
2149 if (DC->isTranslationUnit() && Reader.SemaObj) {
Douglas Gregor559458c2012-10-03 18:34:48 +00002150 Reader.SemaObj->IdResolver.tryAddTopLevelDecl(New, New->getDeclName());
Richard Smithd55889a2013-09-09 16:55:27 +00002151 } else if (DeclContext *MergeDC = getPrimaryContextForMerging(DC)) {
Richard Smith95d99302013-07-13 02:00:19 +00002152 // Add the declaration to its redeclaration context so later merging
2153 // lookups will find it.
Richard Smithd55889a2013-09-09 16:55:27 +00002154 MergeDC->makeDeclVisibleInContextImpl(New, /*Internal*/true);
Douglas Gregor022857e2011-12-22 01:48:48 +00002155 }
2156}
2157
2158ASTDeclReader::FindExistingResult ASTDeclReader::findExisting(NamedDecl *D) {
Douglas Gregor2009cee2012-01-03 22:46:00 +00002159 DeclarationName Name = D->getDeclName();
2160 if (!Name) {
2161 // Don't bother trying to find unnamed declarations.
2162 FindExistingResult Result(Reader, D, /*Existing=*/0);
2163 Result.suppress();
2164 return Result;
2165 }
Richard Smith95d99302013-07-13 02:00:19 +00002166
Douglas Gregor022857e2011-12-22 01:48:48 +00002167 DeclContext *DC = D->getDeclContext()->getRedeclContext();
Douglas Gregor022857e2011-12-22 01:48:48 +00002168 if (DC->isTranslationUnit() && Reader.SemaObj) {
2169 IdentifierResolver &IdResolver = Reader.SemaObj->IdResolver;
Douglas Gregor6168bd22013-02-18 15:53:43 +00002170
2171 // Temporarily consider the identifier to be up-to-date. We don't want to
2172 // cause additional lookups here.
2173 class UpToDateIdentifierRAII {
2174 IdentifierInfo *II;
2175 bool WasOutToDate;
2176
2177 public:
2178 explicit UpToDateIdentifierRAII(IdentifierInfo *II)
2179 : II(II), WasOutToDate(false)
2180 {
2181 if (II) {
2182 WasOutToDate = II->isOutOfDate();
2183 if (WasOutToDate)
2184 II->setOutOfDate(false);
2185 }
2186 }
2187
2188 ~UpToDateIdentifierRAII() {
2189 if (WasOutToDate)
2190 II->setOutOfDate(true);
2191 }
2192 } UpToDate(Name.getAsIdentifierInfo());
2193
Douglas Gregor2009cee2012-01-03 22:46:00 +00002194 for (IdentifierResolver::iterator I = IdResolver.begin(Name),
Douglas Gregor022857e2011-12-22 01:48:48 +00002195 IEnd = IdResolver.end();
2196 I != IEnd; ++I) {
2197 if (isSameEntity(*I, D))
2198 return FindExistingResult(Reader, D, *I);
2199 }
Richard Smithd55889a2013-09-09 16:55:27 +00002200 return FindExistingResult(Reader, D, /*Existing=*/0);
2201 } else if (DeclContext *MergeDC = getPrimaryContextForMerging(DC)) {
2202 DeclContext::lookup_result R = MergeDC->noload_lookup(Name);
Richard Smith95d99302013-07-13 02:00:19 +00002203 for (DeclContext::lookup_iterator I = R.begin(), E = R.end(); I != E; ++I) {
David Blaikieff7d47a2012-12-19 00:45:41 +00002204 if (isSameEntity(*I, D))
2205 return FindExistingResult(Reader, D, *I);
Douglas Gregor9b47f942012-01-09 17:38:47 +00002206 }
Richard Smithd55889a2013-09-09 16:55:27 +00002207 return FindExistingResult(Reader, D, /*Existing=*/0);
Douglas Gregor9b47f942012-01-09 17:38:47 +00002208 }
Richard Smithd55889a2013-09-09 16:55:27 +00002209
2210 return FindExistingResult(Reader);
Douglas Gregor022857e2011-12-22 01:48:48 +00002211}
2212
Argyrios Kyrtzidis9fdd2542011-02-12 07:50:47 +00002213void ASTDeclReader::attachPreviousDecl(Decl *D, Decl *previous) {
2214 assert(D && previous);
2215 if (TagDecl *TD = dyn_cast<TagDecl>(D)) {
David Blaikie7e64fd92012-05-28 19:38:42 +00002216 TD->RedeclLink.setNext(cast<TagDecl>(previous));
Argyrios Kyrtzidis9fdd2542011-02-12 07:50:47 +00002217 } else if (FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
David Blaikie7e64fd92012-05-28 19:38:42 +00002218 FD->RedeclLink.setNext(cast<FunctionDecl>(previous));
Argyrios Kyrtzidis9fdd2542011-02-12 07:50:47 +00002219 } else if (VarDecl *VD = dyn_cast<VarDecl>(D)) {
David Blaikie7e64fd92012-05-28 19:38:42 +00002220 VD->RedeclLink.setNext(cast<VarDecl>(previous));
Douglas Gregor05f10352011-12-17 23:38:30 +00002221 } else if (TypedefNameDecl *TD = dyn_cast<TypedefNameDecl>(D)) {
David Blaikie7e64fd92012-05-28 19:38:42 +00002222 TD->RedeclLink.setNext(cast<TypedefNameDecl>(previous));
Douglas Gregor05f10352011-12-17 23:38:30 +00002223 } else if (ObjCInterfaceDecl *ID = dyn_cast<ObjCInterfaceDecl>(D)) {
David Blaikie7e64fd92012-05-28 19:38:42 +00002224 ID->RedeclLink.setNext(cast<ObjCInterfaceDecl>(previous));
Douglas Gregora715bff2012-01-01 19:51:50 +00002225 } else if (ObjCProtocolDecl *PD = dyn_cast<ObjCProtocolDecl>(D)) {
David Blaikie7e64fd92012-05-28 19:38:42 +00002226 PD->RedeclLink.setNext(cast<ObjCProtocolDecl>(previous));
Douglas Gregore57e7522012-01-07 09:11:48 +00002227 } else if (NamespaceDecl *ND = dyn_cast<NamespaceDecl>(D)) {
David Blaikie7e64fd92012-05-28 19:38:42 +00002228 ND->RedeclLink.setNext(cast<NamespaceDecl>(previous));
Argyrios Kyrtzidis9fdd2542011-02-12 07:50:47 +00002229 } else {
2230 RedeclarableTemplateDecl *TD = cast<RedeclarableTemplateDecl>(D);
David Blaikie7e64fd92012-05-28 19:38:42 +00002231 TD->RedeclLink.setNext(cast<RedeclarableTemplateDecl>(previous));
Argyrios Kyrtzidis9fdd2542011-02-12 07:50:47 +00002232 }
Richard Smith7ecc31b2013-08-02 01:09:12 +00002233
2234 // If the declaration was visible in one module, a redeclaration of it in
2235 // another module remains visible even if it wouldn't be visible by itself.
2236 //
2237 // FIXME: In this case, the declaration should only be visible if a module
2238 // that makes it visible has been imported.
Richard Smith7ecc31b2013-08-02 01:09:12 +00002239 D->IdentifierNamespace |=
2240 previous->IdentifierNamespace &
2241 (Decl::IDNS_Ordinary | Decl::IDNS_Tag | Decl::IDNS_Type);
Argyrios Kyrtzidis9fdd2542011-02-12 07:50:47 +00002242}
2243
Douglas Gregor05f10352011-12-17 23:38:30 +00002244void ASTDeclReader::attachLatestDecl(Decl *D, Decl *Latest) {
2245 assert(D && Latest);
2246 if (TagDecl *TD = dyn_cast<TagDecl>(D)) {
2247 TD->RedeclLink
2248 = Redeclarable<TagDecl>::LatestDeclLink(cast<TagDecl>(Latest));
2249 } else if (FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
2250 FD->RedeclLink
2251 = Redeclarable<FunctionDecl>::LatestDeclLink(cast<FunctionDecl>(Latest));
2252 } else if (VarDecl *VD = dyn_cast<VarDecl>(D)) {
2253 VD->RedeclLink
2254 = Redeclarable<VarDecl>::LatestDeclLink(cast<VarDecl>(Latest));
2255 } else if (TypedefNameDecl *TD = dyn_cast<TypedefNameDecl>(D)) {
2256 TD->RedeclLink
2257 = Redeclarable<TypedefNameDecl>::LatestDeclLink(
2258 cast<TypedefNameDecl>(Latest));
2259 } else if (ObjCInterfaceDecl *ID = dyn_cast<ObjCInterfaceDecl>(D)) {
2260 ID->RedeclLink
2261 = Redeclarable<ObjCInterfaceDecl>::LatestDeclLink(
2262 cast<ObjCInterfaceDecl>(Latest));
Douglas Gregora715bff2012-01-01 19:51:50 +00002263 } else if (ObjCProtocolDecl *PD = dyn_cast<ObjCProtocolDecl>(D)) {
2264 PD->RedeclLink
2265 = Redeclarable<ObjCProtocolDecl>::LatestDeclLink(
2266 cast<ObjCProtocolDecl>(Latest));
Douglas Gregore57e7522012-01-07 09:11:48 +00002267 } else if (NamespaceDecl *ND = dyn_cast<NamespaceDecl>(D)) {
2268 ND->RedeclLink
2269 = Redeclarable<NamespaceDecl>::LatestDeclLink(
2270 cast<NamespaceDecl>(Latest));
Douglas Gregor05f10352011-12-17 23:38:30 +00002271 } else {
2272 RedeclarableTemplateDecl *TD = cast<RedeclarableTemplateDecl>(D);
Douglas Gregor68444de2012-01-14 15:13:49 +00002273 TD->RedeclLink
2274 = Redeclarable<RedeclarableTemplateDecl>::LatestDeclLink(
2275 cast<RedeclarableTemplateDecl>(Latest));
Douglas Gregor05f10352011-12-17 23:38:30 +00002276 }
2277}
2278
Douglas Gregor464b0ca2011-12-22 21:40:42 +00002279ASTReader::MergedDeclsMap::iterator
2280ASTReader::combineStoredMergedDecls(Decl *Canon, GlobalDeclID CanonID) {
2281 // If we don't have any stored merged declarations, just look in the
2282 // merged declarations set.
2283 StoredMergedDeclsMap::iterator StoredPos = StoredMergedDecls.find(CanonID);
2284 if (StoredPos == StoredMergedDecls.end())
2285 return MergedDecls.find(Canon);
2286
2287 // Append the stored merged declarations to the merged declarations set.
2288 MergedDeclsMap::iterator Pos = MergedDecls.find(Canon);
2289 if (Pos == MergedDecls.end())
2290 Pos = MergedDecls.insert(std::make_pair(Canon,
2291 SmallVector<DeclID, 2>())).first;
2292 Pos->second.append(StoredPos->second.begin(), StoredPos->second.end());
2293 StoredMergedDecls.erase(StoredPos);
2294
2295 // Sort and uniquify the set of merged declarations.
2296 llvm::array_pod_sort(Pos->second.begin(), Pos->second.end());
2297 Pos->second.erase(std::unique(Pos->second.begin(), Pos->second.end()),
2298 Pos->second.end());
2299 return Pos;
2300}
2301
Sebastian Redlb3298c32010-08-18 23:56:48 +00002302/// \brief Read the declaration at the given offset from the AST file.
Douglas Gregorf7180622011-08-03 15:48:04 +00002303Decl *ASTReader::ReadDeclRecord(DeclID ID) {
Douglas Gregordab42432011-08-12 00:15:20 +00002304 unsigned Index = ID - NUM_PREDEF_DECL_IDS;
Argyrios Kyrtzidis81ddd182011-10-27 18:47:35 +00002305 unsigned RawLocation = 0;
2306 RecordLocation Loc = DeclCursorForID(ID, RawLocation);
Sebastian Redl2c373b92010-10-05 15:59:54 +00002307 llvm::BitstreamCursor &DeclsCursor = Loc.F->DeclsCursor;
Chris Lattner487412d2009-04-27 05:27:42 +00002308 // Keep track of where we are in the stream, then jump back there
2309 // after reading this declaration.
Chris Lattner1de76db2009-04-27 05:58:23 +00002310 SavedStreamPosition SavedPosition(DeclsCursor);
Chris Lattner487412d2009-04-27 05:27:42 +00002311
Argyrios Kyrtzidisd0795b22010-06-28 22:28:35 +00002312 ReadingKindTracker ReadingKind(Read_Decl, *this);
2313
Douglas Gregor1342e842009-07-06 18:54:52 +00002314 // Note that we are loading a declaration record.
Argyrios Kyrtzidisb24355a2010-07-30 10:03:16 +00002315 Deserializing ADecl(this);
Mike Stump11289f42009-09-09 15:08:12 +00002316
Sebastian Redl2c373b92010-10-05 15:59:54 +00002317 DeclsCursor.JumpToBit(Loc.Offset);
Chris Lattner487412d2009-04-27 05:27:42 +00002318 RecordData Record;
Chris Lattner1de76db2009-04-27 05:58:23 +00002319 unsigned Code = DeclsCursor.ReadCode();
Chris Lattner487412d2009-04-27 05:27:42 +00002320 unsigned Idx = 0;
Craig Topper802579d2012-09-18 05:34:55 +00002321 ASTDeclReader Reader(*this, *Loc.F, ID, RawLocation, Record,Idx);
Chris Lattner487412d2009-04-27 05:27:42 +00002322
Chris Lattner1de76db2009-04-27 05:58:23 +00002323 Decl *D = 0;
Chris Lattner0e6c9402013-01-20 02:38:54 +00002324 switch ((DeclCode)DeclsCursor.readRecord(Code, Record)) {
Sebastian Redl539c5062010-08-18 23:57:32 +00002325 case DECL_CONTEXT_LEXICAL:
2326 case DECL_CONTEXT_VISIBLE:
David Blaikie83d382b2011-09-23 05:06:16 +00002327 llvm_unreachable("Record cannot be de-serialized with ReadDeclRecord");
Sebastian Redl539c5062010-08-18 23:57:32 +00002328 case DECL_TYPEDEF:
Douglas Gregor72172e92012-01-05 21:55:30 +00002329 D = TypedefDecl::CreateDeserialized(Context, ID);
Chris Lattner487412d2009-04-27 05:27:42 +00002330 break;
Richard Smithdda56e42011-04-15 14:24:37 +00002331 case DECL_TYPEALIAS:
Douglas Gregor72172e92012-01-05 21:55:30 +00002332 D = TypeAliasDecl::CreateDeserialized(Context, ID);
Richard Smithdda56e42011-04-15 14:24:37 +00002333 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00002334 case DECL_ENUM:
Douglas Gregor72172e92012-01-05 21:55:30 +00002335 D = EnumDecl::CreateDeserialized(Context, ID);
Chris Lattner487412d2009-04-27 05:27:42 +00002336 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00002337 case DECL_RECORD:
Douglas Gregor72172e92012-01-05 21:55:30 +00002338 D = RecordDecl::CreateDeserialized(Context, ID);
Chris Lattner487412d2009-04-27 05:27:42 +00002339 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00002340 case DECL_ENUM_CONSTANT:
Douglas Gregor72172e92012-01-05 21:55:30 +00002341 D = EnumConstantDecl::CreateDeserialized(Context, ID);
Chris Lattner487412d2009-04-27 05:27:42 +00002342 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00002343 case DECL_FUNCTION:
Douglas Gregor72172e92012-01-05 21:55:30 +00002344 D = FunctionDecl::CreateDeserialized(Context, ID);
Chris Lattner487412d2009-04-27 05:27:42 +00002345 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00002346 case DECL_LINKAGE_SPEC:
Douglas Gregor72172e92012-01-05 21:55:30 +00002347 D = LinkageSpecDecl::CreateDeserialized(Context, ID);
Chris Lattnerca025db2010-05-07 21:43:38 +00002348 break;
Chris Lattnerc8e630e2011-02-17 07:39:24 +00002349 case DECL_LABEL:
Douglas Gregor72172e92012-01-05 21:55:30 +00002350 D = LabelDecl::CreateDeserialized(Context, ID);
Chris Lattnerc8e630e2011-02-17 07:39:24 +00002351 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00002352 case DECL_NAMESPACE:
Douglas Gregor72172e92012-01-05 21:55:30 +00002353 D = NamespaceDecl::CreateDeserialized(Context, ID);
Chris Lattnerca025db2010-05-07 21:43:38 +00002354 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00002355 case DECL_NAMESPACE_ALIAS:
Douglas Gregor72172e92012-01-05 21:55:30 +00002356 D = NamespaceAliasDecl::CreateDeserialized(Context, ID);
Chris Lattnerca025db2010-05-07 21:43:38 +00002357 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00002358 case DECL_USING:
Douglas Gregor72172e92012-01-05 21:55:30 +00002359 D = UsingDecl::CreateDeserialized(Context, ID);
Chris Lattnerca025db2010-05-07 21:43:38 +00002360 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00002361 case DECL_USING_SHADOW:
Douglas Gregor72172e92012-01-05 21:55:30 +00002362 D = UsingShadowDecl::CreateDeserialized(Context, ID);
Chris Lattnerca025db2010-05-07 21:43:38 +00002363 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00002364 case DECL_USING_DIRECTIVE:
Douglas Gregor72172e92012-01-05 21:55:30 +00002365 D = UsingDirectiveDecl::CreateDeserialized(Context, ID);
Chris Lattnerca025db2010-05-07 21:43:38 +00002366 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00002367 case DECL_UNRESOLVED_USING_VALUE:
Douglas Gregor72172e92012-01-05 21:55:30 +00002368 D = UnresolvedUsingValueDecl::CreateDeserialized(Context, ID);
Chris Lattnerca025db2010-05-07 21:43:38 +00002369 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00002370 case DECL_UNRESOLVED_USING_TYPENAME:
Douglas Gregor72172e92012-01-05 21:55:30 +00002371 D = UnresolvedUsingTypenameDecl::CreateDeserialized(Context, ID);
Chris Lattnerca025db2010-05-07 21:43:38 +00002372 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00002373 case DECL_CXX_RECORD:
Douglas Gregor72172e92012-01-05 21:55:30 +00002374 D = CXXRecordDecl::CreateDeserialized(Context, ID);
Chris Lattnerca025db2010-05-07 21:43:38 +00002375 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00002376 case DECL_CXX_METHOD:
Douglas Gregor72172e92012-01-05 21:55:30 +00002377 D = CXXMethodDecl::CreateDeserialized(Context, ID);
Chris Lattnerca025db2010-05-07 21:43:38 +00002378 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00002379 case DECL_CXX_CONSTRUCTOR:
Douglas Gregor72172e92012-01-05 21:55:30 +00002380 D = CXXConstructorDecl::CreateDeserialized(Context, ID);
Chris Lattnerca025db2010-05-07 21:43:38 +00002381 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00002382 case DECL_CXX_DESTRUCTOR:
Douglas Gregor72172e92012-01-05 21:55:30 +00002383 D = CXXDestructorDecl::CreateDeserialized(Context, ID);
Chris Lattnerca025db2010-05-07 21:43:38 +00002384 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00002385 case DECL_CXX_CONVERSION:
Douglas Gregor72172e92012-01-05 21:55:30 +00002386 D = CXXConversionDecl::CreateDeserialized(Context, ID);
Chris Lattnerca025db2010-05-07 21:43:38 +00002387 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00002388 case DECL_ACCESS_SPEC:
Douglas Gregor72172e92012-01-05 21:55:30 +00002389 D = AccessSpecDecl::CreateDeserialized(Context, ID);
Abramo Bagnarad7340582010-06-05 05:09:32 +00002390 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00002391 case DECL_FRIEND:
Enea Zaffanellaeb22c872013-01-31 09:54:08 +00002392 D = FriendDecl::CreateDeserialized(Context, ID, Record[Idx++]);
Chris Lattnerca025db2010-05-07 21:43:38 +00002393 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00002394 case DECL_FRIEND_TEMPLATE:
Douglas Gregor72172e92012-01-05 21:55:30 +00002395 D = FriendTemplateDecl::CreateDeserialized(Context, ID);
Chris Lattnerca025db2010-05-07 21:43:38 +00002396 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00002397 case DECL_CLASS_TEMPLATE:
Douglas Gregor72172e92012-01-05 21:55:30 +00002398 D = ClassTemplateDecl::CreateDeserialized(Context, ID);
Chris Lattnerca025db2010-05-07 21:43:38 +00002399 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00002400 case DECL_CLASS_TEMPLATE_SPECIALIZATION:
Douglas Gregor72172e92012-01-05 21:55:30 +00002401 D = ClassTemplateSpecializationDecl::CreateDeserialized(Context, ID);
Chris Lattnerca025db2010-05-07 21:43:38 +00002402 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00002403 case DECL_CLASS_TEMPLATE_PARTIAL_SPECIALIZATION:
Douglas Gregor72172e92012-01-05 21:55:30 +00002404 D = ClassTemplatePartialSpecializationDecl::CreateDeserialized(Context, ID);
Chris Lattnerca025db2010-05-07 21:43:38 +00002405 break;
Larisse Voufo39a1e502013-08-06 01:03:05 +00002406 case DECL_VAR_TEMPLATE:
2407 D = VarTemplateDecl::CreateDeserialized(Context, ID);
2408 break;
2409 case DECL_VAR_TEMPLATE_SPECIALIZATION:
2410 D = VarTemplateSpecializationDecl::CreateDeserialized(Context, ID);
2411 break;
2412 case DECL_VAR_TEMPLATE_PARTIAL_SPECIALIZATION:
2413 D = VarTemplatePartialSpecializationDecl::CreateDeserialized(Context, ID);
2414 break;
Francois Pichet00c7e6c2011-08-14 03:52:19 +00002415 case DECL_CLASS_SCOPE_FUNCTION_SPECIALIZATION:
Douglas Gregor72172e92012-01-05 21:55:30 +00002416 D = ClassScopeFunctionSpecializationDecl::CreateDeserialized(Context, ID);
Francois Pichet00c7e6c2011-08-14 03:52:19 +00002417 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00002418 case DECL_FUNCTION_TEMPLATE:
Douglas Gregor72172e92012-01-05 21:55:30 +00002419 D = FunctionTemplateDecl::CreateDeserialized(Context, ID);
Chris Lattnerca025db2010-05-07 21:43:38 +00002420 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00002421 case DECL_TEMPLATE_TYPE_PARM:
Douglas Gregor72172e92012-01-05 21:55:30 +00002422 D = TemplateTypeParmDecl::CreateDeserialized(Context, ID);
Chris Lattnerca025db2010-05-07 21:43:38 +00002423 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00002424 case DECL_NON_TYPE_TEMPLATE_PARM:
Douglas Gregor72172e92012-01-05 21:55:30 +00002425 D = NonTypeTemplateParmDecl::CreateDeserialized(Context, ID);
Chris Lattnerca025db2010-05-07 21:43:38 +00002426 break;
Douglas Gregor0231d8d2011-01-19 20:10:05 +00002427 case DECL_EXPANDED_NON_TYPE_TEMPLATE_PARM_PACK:
Douglas Gregor72172e92012-01-05 21:55:30 +00002428 D = NonTypeTemplateParmDecl::CreateDeserialized(Context, ID, Record[Idx++]);
Douglas Gregor0231d8d2011-01-19 20:10:05 +00002429 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00002430 case DECL_TEMPLATE_TEMPLATE_PARM:
Douglas Gregor72172e92012-01-05 21:55:30 +00002431 D = TemplateTemplateParmDecl::CreateDeserialized(Context, ID);
Chris Lattnerca025db2010-05-07 21:43:38 +00002432 break;
Richard Smith1fde8ec2012-09-07 02:06:42 +00002433 case DECL_EXPANDED_TEMPLATE_TEMPLATE_PARM_PACK:
2434 D = TemplateTemplateParmDecl::CreateDeserialized(Context, ID,
2435 Record[Idx++]);
2436 break;
Richard Smith3f1b5d02011-05-05 21:57:07 +00002437 case DECL_TYPE_ALIAS_TEMPLATE:
Douglas Gregor72172e92012-01-05 21:55:30 +00002438 D = TypeAliasTemplateDecl::CreateDeserialized(Context, ID);
Richard Smith3f1b5d02011-05-05 21:57:07 +00002439 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00002440 case DECL_STATIC_ASSERT:
Douglas Gregor72172e92012-01-05 21:55:30 +00002441 D = StaticAssertDecl::CreateDeserialized(Context, ID);
Chris Lattnerca025db2010-05-07 21:43:38 +00002442 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00002443 case DECL_OBJC_METHOD:
Douglas Gregor72172e92012-01-05 21:55:30 +00002444 D = ObjCMethodDecl::CreateDeserialized(Context, ID);
Chris Lattner487412d2009-04-27 05:27:42 +00002445 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00002446 case DECL_OBJC_INTERFACE:
Douglas Gregor72172e92012-01-05 21:55:30 +00002447 D = ObjCInterfaceDecl::CreateDeserialized(Context, ID);
Chris Lattner487412d2009-04-27 05:27:42 +00002448 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00002449 case DECL_OBJC_IVAR:
Douglas Gregor72172e92012-01-05 21:55:30 +00002450 D = ObjCIvarDecl::CreateDeserialized(Context, ID);
Chris Lattner487412d2009-04-27 05:27:42 +00002451 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00002452 case DECL_OBJC_PROTOCOL:
Douglas Gregor72172e92012-01-05 21:55:30 +00002453 D = ObjCProtocolDecl::CreateDeserialized(Context, ID);
Chris Lattner487412d2009-04-27 05:27:42 +00002454 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00002455 case DECL_OBJC_AT_DEFS_FIELD:
Douglas Gregor72172e92012-01-05 21:55:30 +00002456 D = ObjCAtDefsFieldDecl::CreateDeserialized(Context, ID);
Chris Lattner487412d2009-04-27 05:27:42 +00002457 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00002458 case DECL_OBJC_CATEGORY:
Douglas Gregor72172e92012-01-05 21:55:30 +00002459 D = ObjCCategoryDecl::CreateDeserialized(Context, ID);
Chris Lattner487412d2009-04-27 05:27:42 +00002460 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00002461 case DECL_OBJC_CATEGORY_IMPL:
Douglas Gregor72172e92012-01-05 21:55:30 +00002462 D = ObjCCategoryImplDecl::CreateDeserialized(Context, ID);
Chris Lattner487412d2009-04-27 05:27:42 +00002463 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00002464 case DECL_OBJC_IMPLEMENTATION:
Douglas Gregor72172e92012-01-05 21:55:30 +00002465 D = ObjCImplementationDecl::CreateDeserialized(Context, ID);
Chris Lattner487412d2009-04-27 05:27:42 +00002466 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00002467 case DECL_OBJC_COMPATIBLE_ALIAS:
Douglas Gregor72172e92012-01-05 21:55:30 +00002468 D = ObjCCompatibleAliasDecl::CreateDeserialized(Context, ID);
Chris Lattner487412d2009-04-27 05:27:42 +00002469 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00002470 case DECL_OBJC_PROPERTY:
Douglas Gregor72172e92012-01-05 21:55:30 +00002471 D = ObjCPropertyDecl::CreateDeserialized(Context, ID);
Chris Lattner487412d2009-04-27 05:27:42 +00002472 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00002473 case DECL_OBJC_PROPERTY_IMPL:
Douglas Gregor72172e92012-01-05 21:55:30 +00002474 D = ObjCPropertyImplDecl::CreateDeserialized(Context, ID);
Chris Lattner487412d2009-04-27 05:27:42 +00002475 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00002476 case DECL_FIELD:
Douglas Gregor72172e92012-01-05 21:55:30 +00002477 D = FieldDecl::CreateDeserialized(Context, ID);
Chris Lattner487412d2009-04-27 05:27:42 +00002478 break;
Francois Pichet783dd6e2010-11-21 06:08:52 +00002479 case DECL_INDIRECTFIELD:
Douglas Gregor72172e92012-01-05 21:55:30 +00002480 D = IndirectFieldDecl::CreateDeserialized(Context, ID);
Francois Pichet783dd6e2010-11-21 06:08:52 +00002481 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00002482 case DECL_VAR:
Douglas Gregor72172e92012-01-05 21:55:30 +00002483 D = VarDecl::CreateDeserialized(Context, ID);
Chris Lattner487412d2009-04-27 05:27:42 +00002484 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00002485 case DECL_IMPLICIT_PARAM:
Douglas Gregor72172e92012-01-05 21:55:30 +00002486 D = ImplicitParamDecl::CreateDeserialized(Context, ID);
Chris Lattner487412d2009-04-27 05:27:42 +00002487 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00002488 case DECL_PARM_VAR:
Douglas Gregor72172e92012-01-05 21:55:30 +00002489 D = ParmVarDecl::CreateDeserialized(Context, ID);
Chris Lattner487412d2009-04-27 05:27:42 +00002490 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00002491 case DECL_FILE_SCOPE_ASM:
Douglas Gregor72172e92012-01-05 21:55:30 +00002492 D = FileScopeAsmDecl::CreateDeserialized(Context, ID);
Chris Lattner487412d2009-04-27 05:27:42 +00002493 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00002494 case DECL_BLOCK:
Douglas Gregor72172e92012-01-05 21:55:30 +00002495 D = BlockDecl::CreateDeserialized(Context, ID);
Chris Lattner487412d2009-04-27 05:27:42 +00002496 break;
John McCall5e77d762013-04-16 07:28:30 +00002497 case DECL_MS_PROPERTY:
2498 D = MSPropertyDecl::CreateDeserialized(Context, ID);
2499 break;
Tareq A. Siraj6dfa25a2013-04-16 19:37:38 +00002500 case DECL_CAPTURED:
Ben Langmuirce914fc2013-05-03 19:20:19 +00002501 D = CapturedDecl::CreateDeserialized(Context, ID, Record[Idx++]);
Tareq A. Siraj6dfa25a2013-04-16 19:37:38 +00002502 break;
Douglas Gregord4c5ed02010-10-29 22:39:52 +00002503 case DECL_CXX_BASE_SPECIFIERS:
2504 Error("attempt to read a C++ base-specifier record as a declaration");
2505 return 0;
Douglas Gregorba345522011-12-02 23:23:56 +00002506 case DECL_IMPORT:
2507 // Note: last entry of the ImportDecl record is the number of stored source
2508 // locations.
Douglas Gregor72172e92012-01-05 21:55:30 +00002509 D = ImportDecl::CreateDeserialized(Context, ID, Record.back());
Douglas Gregorba345522011-12-02 23:23:56 +00002510 break;
Alexey Bataeva769e072013-03-22 06:34:35 +00002511 case DECL_OMP_THREADPRIVATE:
2512 D = OMPThreadPrivateDecl::CreateDeserialized(Context, ID, Record[Idx++]);
2513 break;
Michael Han84324352013-02-22 17:15:32 +00002514 case DECL_EMPTY:
2515 D = EmptyDecl::CreateDeserialized(Context, ID);
2516 break;
Chris Lattner487412d2009-04-27 05:27:42 +00002517 }
Chris Lattner487412d2009-04-27 05:27:42 +00002518
Sebastian Redlb3298c32010-08-18 23:56:48 +00002519 assert(D && "Unknown declaration reading AST file");
Chris Lattner8f63ab52009-04-27 06:01:06 +00002520 LoadedDecl(Index, D);
Argyrios Kyrtzidis6c075472012-02-09 06:02:44 +00002521 // Set the DeclContext before doing any deserialization, to make sure internal
2522 // calls to Decl::getASTContext() by Decl's methods will find the
2523 // TranslationUnitDecl without crashing.
2524 D->setDeclContext(Context.getTranslationUnitDecl());
Chris Lattner8f63ab52009-04-27 06:01:06 +00002525 Reader.Visit(D);
Chris Lattner487412d2009-04-27 05:27:42 +00002526
2527 // If this declaration is also a declaration context, get the
2528 // offsets for its tables of lexical and visible declarations.
2529 if (DeclContext *DC = dyn_cast<DeclContext>(D)) {
Richard Smith645d7552013-02-07 03:37:08 +00002530 // FIXME: This should really be
2531 // DeclContext *LookupDC = DC->getPrimaryContext();
2532 // but that can walk the redeclaration chain, which might not work yet.
2533 DeclContext *LookupDC = DC;
2534 if (isa<NamespaceDecl>(DC))
2535 LookupDC = DC->getPrimaryContext();
Chris Lattner487412d2009-04-27 05:27:42 +00002536 std::pair<uint64_t, uint64_t> Offsets = Reader.VisitDeclContext(DC);
2537 if (Offsets.first || Offsets.second) {
Douglas Gregor94619c82011-08-24 19:03:07 +00002538 if (Offsets.first != 0)
2539 DC->setHasExternalLexicalStorage(true);
2540 if (Offsets.second != 0)
Richard Smith645d7552013-02-07 03:37:08 +00002541 LookupDC->setHasExternalVisibleStorage(true);
Douglas Gregor94619c82011-08-24 19:03:07 +00002542 if (ReadDeclContextStorage(*Loc.F, DeclsCursor, Offsets,
2543 Loc.F->DeclContextInfos[DC]))
Sebastian Redl66c5eef2010-07-27 00:17:23 +00002544 return 0;
Sebastian Redlf830df42011-04-24 16:27:54 +00002545 }
Sebastian Redld7dce0a2010-08-24 00:50:04 +00002546
Sebastian Redlf830df42011-04-24 16:27:54 +00002547 // Now add the pending visible updates for this decl context, if it has any.
2548 DeclContextVisibleUpdatesPending::iterator I =
2549 PendingVisibleUpdates.find(ID);
2550 if (I != PendingVisibleUpdates.end()) {
2551 // There are updates. This means the context has external visible
2552 // storage, even if the original stored version didn't.
Richard Smith645d7552013-02-07 03:37:08 +00002553 LookupDC->setHasExternalVisibleStorage(true);
Sebastian Redlf830df42011-04-24 16:27:54 +00002554 DeclContextVisibleUpdates &U = I->second;
Sebastian Redlf830df42011-04-24 16:27:54 +00002555 for (DeclContextVisibleUpdates::iterator UI = U.begin(), UE = U.end();
2556 UI != UE; ++UI) {
Benjamin Kramer89f0b2d2012-04-15 12:36:49 +00002557 DeclContextInfo &Info = UI->second->DeclContextInfos[DC];
2558 delete Info.NameLookupTableData;
2559 Info.NameLookupTableData = UI->first;
Sebastian Redld7dce0a2010-08-24 00:50:04 +00002560 }
Sebastian Redlf830df42011-04-24 16:27:54 +00002561 PendingVisibleUpdates.erase(I);
Chris Lattner487412d2009-04-27 05:27:42 +00002562 }
2563 }
2564 assert(Idx == Record.size());
2565
Douglas Gregordab42432011-08-12 00:15:20 +00002566 // Load any relevant update records.
2567 loadDeclUpdateRecords(ID, D);
Argyrios Kyrtzidis7d268c32011-11-14 07:07:59 +00002568
Douglas Gregor404cdde2012-01-27 01:47:08 +00002569 // Load the categories after recursive loading is finished.
2570 if (ObjCInterfaceDecl *Class = dyn_cast<ObjCInterfaceDecl>(D))
2571 if (Class->isThisDeclarationADefinition())
2572 loadObjCCategories(ID, Class);
Argyrios Kyrtzidis7d847c92011-09-01 00:58:55 +00002573
Douglas Gregordab42432011-08-12 00:15:20 +00002574 // If we have deserialized a declaration that has a definition the
2575 // AST consumer might need to know about, queue it.
2576 // We don't pass it to the consumer immediately because we may be in recursive
2577 // loading, and some declarations may still be initializing.
Douglas Gregora6017bb2012-10-09 17:21:28 +00002578 if (isConsumerInterestedIn(D, Reader.hasPendingBody()))
Douglas Gregor404cdde2012-01-27 01:47:08 +00002579 InterestingDecls.push_back(D);
Axel Naumann63469422c2012-10-02 09:09:43 +00002580
Douglas Gregordab42432011-08-12 00:15:20 +00002581 return D;
2582}
2583
2584void ASTReader::loadDeclUpdateRecords(serialization::DeclID ID, Decl *D) {
Argyrios Kyrtzidis65ad5692010-10-24 17:26:36 +00002585 // The declaration may have been modified by files later in the chain.
2586 // If this is the case, read the record containing the updates from each file
2587 // and pass it to ASTDeclReader to make the modifications.
2588 DeclUpdateOffsetsMap::iterator UpdI = DeclUpdateOffsets.find(ID);
2589 if (UpdI != DeclUpdateOffsets.end()) {
2590 FileOffsetsTy &UpdateOffsets = UpdI->second;
2591 for (FileOffsetsTy::iterator
Douglas Gregordab42432011-08-12 00:15:20 +00002592 I = UpdateOffsets.begin(), E = UpdateOffsets.end(); I != E; ++I) {
Douglas Gregorde3ef502011-11-30 23:21:26 +00002593 ModuleFile *F = I->first;
Argyrios Kyrtzidis65ad5692010-10-24 17:26:36 +00002594 uint64_t Offset = I->second;
2595 llvm::BitstreamCursor &Cursor = F->DeclsCursor;
2596 SavedStreamPosition SavedPosition(Cursor);
2597 Cursor.JumpToBit(Offset);
2598 RecordData Record;
2599 unsigned Code = Cursor.ReadCode();
Chris Lattner0e6c9402013-01-20 02:38:54 +00002600 unsigned RecCode = Cursor.readRecord(Code, Record);
Argyrios Kyrtzidis65ad5692010-10-24 17:26:36 +00002601 (void)RecCode;
2602 assert(RecCode == DECL_UPDATES && "Expected DECL_UPDATES record!");
Douglas Gregordab42432011-08-12 00:15:20 +00002603
2604 unsigned Idx = 0;
Craig Topper802579d2012-09-18 05:34:55 +00002605 ASTDeclReader Reader(*this, *F, ID, 0, Record, Idx);
Sebastian Redl2ac2c722011-04-29 08:19:30 +00002606 Reader.UpdateDecl(D, *F, Record);
Argyrios Kyrtzidis65ad5692010-10-24 17:26:36 +00002607 }
2608 }
Chris Lattner487412d2009-04-27 05:27:42 +00002609}
Argyrios Kyrtzidis65ad5692010-10-24 17:26:36 +00002610
Argyrios Kyrtzidis7d847c92011-09-01 00:58:55 +00002611namespace {
Douglas Gregor05f10352011-12-17 23:38:30 +00002612 struct CompareLocalRedeclarationsInfoToID {
2613 bool operator()(const LocalRedeclarationsInfo &X, DeclID Y) {
2614 return X.FirstID < Y;
2615 }
2616
2617 bool operator()(DeclID X, const LocalRedeclarationsInfo &Y) {
2618 return X < Y.FirstID;
2619 }
2620
2621 bool operator()(const LocalRedeclarationsInfo &X,
2622 const LocalRedeclarationsInfo &Y) {
2623 return X.FirstID < Y.FirstID;
2624 }
2625 bool operator()(DeclID X, DeclID Y) {
2626 return X < Y;
2627 }
2628 };
2629
Douglas Gregor022857e2011-12-22 01:48:48 +00002630 /// \brief Module visitor class that finds all of the redeclarations of a
2631 ///
Douglas Gregor05f10352011-12-17 23:38:30 +00002632 class RedeclChainVisitor {
2633 ASTReader &Reader;
Douglas Gregor022857e2011-12-22 01:48:48 +00002634 SmallVectorImpl<DeclID> &SearchDecls;
Douglas Gregor358cd442012-01-15 16:58:34 +00002635 llvm::SmallPtrSet<Decl *, 16> &Deserialized;
Douglas Gregor022857e2011-12-22 01:48:48 +00002636 GlobalDeclID CanonID;
Dmitri Gribenkof8579502013-01-12 19:30:44 +00002637 SmallVector<Decl *, 4> Chain;
Douglas Gregor05f10352011-12-17 23:38:30 +00002638
2639 public:
Douglas Gregor022857e2011-12-22 01:48:48 +00002640 RedeclChainVisitor(ASTReader &Reader, SmallVectorImpl<DeclID> &SearchDecls,
Douglas Gregor358cd442012-01-15 16:58:34 +00002641 llvm::SmallPtrSet<Decl *, 16> &Deserialized,
Douglas Gregor022857e2011-12-22 01:48:48 +00002642 GlobalDeclID CanonID)
Douglas Gregor358cd442012-01-15 16:58:34 +00002643 : Reader(Reader), SearchDecls(SearchDecls), Deserialized(Deserialized),
Douglas Gregor41dc6ff2012-01-17 18:13:45 +00002644 CanonID(CanonID) {
2645 for (unsigned I = 0, N = SearchDecls.size(); I != N; ++I)
2646 addToChain(Reader.GetDecl(SearchDecls[I]));
2647 }
Douglas Gregor05f10352011-12-17 23:38:30 +00002648
2649 static bool visit(ModuleFile &M, bool Preorder, void *UserData) {
2650 if (Preorder)
2651 return false;
2652
2653 return static_cast<RedeclChainVisitor *>(UserData)->visit(M);
2654 }
2655
Douglas Gregor358cd442012-01-15 16:58:34 +00002656 void addToChain(Decl *D) {
2657 if (!D)
2658 return;
2659
Benjamin Kramerfc6eb7d2012-08-22 15:37:55 +00002660 if (Deserialized.erase(D))
Douglas Gregor358cd442012-01-15 16:58:34 +00002661 Chain.push_back(D);
Douglas Gregor358cd442012-01-15 16:58:34 +00002662 }
2663
Douglas Gregor022857e2011-12-22 01:48:48 +00002664 void searchForID(ModuleFile &M, GlobalDeclID GlobalID) {
Douglas Gregor05f10352011-12-17 23:38:30 +00002665 // Map global ID of the first declaration down to the local ID
2666 // used in this module file.
Douglas Gregor022857e2011-12-22 01:48:48 +00002667 DeclID ID = Reader.mapGlobalIDToModuleFileGlobalID(M, GlobalID);
2668 if (!ID)
2669 return;
Douglas Gregor05f10352011-12-17 23:38:30 +00002670
2671 // Perform a binary search to find the local redeclarations for this
2672 // declaration (if any).
2673 const LocalRedeclarationsInfo *Result
Douglas Gregor358cd442012-01-15 16:58:34 +00002674 = std::lower_bound(M.RedeclarationsMap,
2675 M.RedeclarationsMap + M.LocalNumRedeclarationsInMap,
Douglas Gregor022857e2011-12-22 01:48:48 +00002676 ID, CompareLocalRedeclarationsInfoToID());
Douglas Gregor358cd442012-01-15 16:58:34 +00002677 if (Result == M.RedeclarationsMap + M.LocalNumRedeclarationsInMap ||
Douglas Gregor022857e2011-12-22 01:48:48 +00002678 Result->FirstID != ID) {
2679 // If we have a previously-canonical singleton declaration that was
2680 // merged into another redeclaration chain, create a trivial chain
2681 // for this single declaration so that it will get wired into the
2682 // complete redeclaration chain.
2683 if (GlobalID != CanonID &&
2684 GlobalID - NUM_PREDEF_DECL_IDS >= M.BaseDeclID &&
2685 GlobalID - NUM_PREDEF_DECL_IDS < M.BaseDeclID + M.LocalNumDecls) {
Douglas Gregor358cd442012-01-15 16:58:34 +00002686 addToChain(Reader.GetDecl(GlobalID));
Douglas Gregor022857e2011-12-22 01:48:48 +00002687 }
2688
2689 return;
2690 }
2691
Douglas Gregor404cdde2012-01-27 01:47:08 +00002692 // Dig out all of the redeclarations.
Douglas Gregor358cd442012-01-15 16:58:34 +00002693 unsigned Offset = Result->Offset;
2694 unsigned N = M.RedeclarationChains[Offset];
2695 M.RedeclarationChains[Offset++] = 0; // Don't try to deserialize again
2696 for (unsigned I = 0; I != N; ++I)
2697 addToChain(Reader.GetLocalDecl(M, M.RedeclarationChains[Offset++]));
Douglas Gregor022857e2011-12-22 01:48:48 +00002698 }
2699
2700 bool visit(ModuleFile &M) {
2701 // Visit each of the declarations.
2702 for (unsigned I = 0, N = SearchDecls.size(); I != N; ++I)
2703 searchForID(M, SearchDecls[I]);
Douglas Gregor05f10352011-12-17 23:38:30 +00002704 return false;
2705 }
2706
Douglas Gregor358cd442012-01-15 16:58:34 +00002707 ArrayRef<Decl *> getChain() const {
2708 return Chain;
Douglas Gregor05f10352011-12-17 23:38:30 +00002709 }
2710 };
2711}
2712
Douglas Gregor05f10352011-12-17 23:38:30 +00002713void ASTReader::loadPendingDeclChain(serialization::GlobalDeclID ID) {
Douglas Gregor022857e2011-12-22 01:48:48 +00002714 Decl *D = GetDecl(ID);
2715 Decl *CanonDecl = D->getCanonicalDecl();
Douglas Gregor464b0ca2011-12-22 21:40:42 +00002716
Douglas Gregor022857e2011-12-22 01:48:48 +00002717 // Determine the set of declaration IDs we'll be searching for.
Dmitri Gribenkof8579502013-01-12 19:30:44 +00002718 SmallVector<DeclID, 1> SearchDecls;
Douglas Gregor022857e2011-12-22 01:48:48 +00002719 GlobalDeclID CanonID = 0;
2720 if (D == CanonDecl) {
2721 SearchDecls.push_back(ID); // Always first.
2722 CanonID = ID;
2723 }
Douglas Gregor464b0ca2011-12-22 21:40:42 +00002724 MergedDeclsMap::iterator MergedPos = combineStoredMergedDecls(CanonDecl, ID);
Douglas Gregor022857e2011-12-22 01:48:48 +00002725 if (MergedPos != MergedDecls.end())
Axel Naumann866ba3e2012-10-01 09:18:00 +00002726 SearchDecls.append(MergedPos->second.begin(), MergedPos->second.end());
Douglas Gregor022857e2011-12-22 01:48:48 +00002727
Douglas Gregor358cd442012-01-15 16:58:34 +00002728 // Build up the list of redeclarations.
2729 RedeclChainVisitor Visitor(*this, SearchDecls, RedeclsDeserialized, CanonID);
Douglas Gregor05f10352011-12-17 23:38:30 +00002730 ModuleMgr.visitDepthFirst(&RedeclChainVisitor::visit, &Visitor);
2731
2732 // Retrieve the chains.
Douglas Gregor358cd442012-01-15 16:58:34 +00002733 ArrayRef<Decl *> Chain = Visitor.getChain();
2734 if (Chain.empty())
Douglas Gregor05f10352011-12-17 23:38:30 +00002735 return;
Douglas Gregor022857e2011-12-22 01:48:48 +00002736
Douglas Gregor358cd442012-01-15 16:58:34 +00002737 // Hook up the chains.
Douglas Gregor0bc8a212012-01-14 15:55:47 +00002738 Decl *MostRecent = CanonDecl->getMostRecentDecl();
Douglas Gregor358cd442012-01-15 16:58:34 +00002739 for (unsigned I = 0, N = Chain.size(); I != N; ++I) {
2740 if (Chain[I] == CanonDecl)
2741 continue;
Richard Smith7ecc31b2013-08-02 01:09:12 +00002742
Douglas Gregor358cd442012-01-15 16:58:34 +00002743 ASTDeclReader::attachPreviousDecl(Chain[I], MostRecent);
2744 MostRecent = Chain[I];
Douglas Gregor05f10352011-12-17 23:38:30 +00002745 }
Douglas Gregor358cd442012-01-15 16:58:34 +00002746
2747 ASTDeclReader::attachLatestDecl(CanonDecl, MostRecent);
Douglas Gregor05f10352011-12-17 23:38:30 +00002748}
2749
2750namespace {
Douglas Gregor404cdde2012-01-27 01:47:08 +00002751 struct CompareObjCCategoriesInfo {
2752 bool operator()(const ObjCCategoriesInfo &X, DeclID Y) {
2753 return X.DefinitionID < Y;
2754 }
2755
2756 bool operator()(DeclID X, const ObjCCategoriesInfo &Y) {
2757 return X < Y.DefinitionID;
2758 }
2759
2760 bool operator()(const ObjCCategoriesInfo &X,
2761 const ObjCCategoriesInfo &Y) {
2762 return X.DefinitionID < Y.DefinitionID;
2763 }
2764 bool operator()(DeclID X, DeclID Y) {
2765 return X < Y;
2766 }
2767 };
2768
Argyrios Kyrtzidis7d847c92011-09-01 00:58:55 +00002769 /// \brief Given an ObjC interface, goes through the modules and links to the
2770 /// interface all the categories for it.
Douglas Gregor404cdde2012-01-27 01:47:08 +00002771 class ObjCCategoriesVisitor {
Argyrios Kyrtzidis7d847c92011-09-01 00:58:55 +00002772 ASTReader &Reader;
2773 serialization::GlobalDeclID InterfaceID;
2774 ObjCInterfaceDecl *Interface;
Douglas Gregor404cdde2012-01-27 01:47:08 +00002775 llvm::SmallPtrSet<ObjCCategoryDecl *, 16> &Deserialized;
2776 unsigned PreviousGeneration;
2777 ObjCCategoryDecl *Tail;
Argyrios Kyrtzidis7d847c92011-09-01 00:58:55 +00002778 llvm::DenseMap<DeclarationName, ObjCCategoryDecl *> NameCategoryMap;
Douglas Gregor404cdde2012-01-27 01:47:08 +00002779
2780 void add(ObjCCategoryDecl *Cat) {
2781 // Only process each category once.
Benjamin Kramerfc6eb7d2012-08-22 15:37:55 +00002782 if (!Deserialized.erase(Cat))
Douglas Gregor404cdde2012-01-27 01:47:08 +00002783 return;
Douglas Gregor404cdde2012-01-27 01:47:08 +00002784
2785 // Check for duplicate categories.
2786 if (Cat->getDeclName()) {
2787 ObjCCategoryDecl *&Existing = NameCategoryMap[Cat->getDeclName()];
2788 if (Existing &&
2789 Reader.getOwningModuleFile(Existing)
2790 != Reader.getOwningModuleFile(Cat)) {
2791 // FIXME: We should not warn for duplicates in diamond:
2792 //
2793 // MT //
2794 // / \ //
2795 // ML MR //
2796 // \ / //
2797 // MB //
2798 //
2799 // If there are duplicates in ML/MR, there will be warning when
2800 // creating MB *and* when importing MB. We should not warn when
2801 // importing.
2802 Reader.Diag(Cat->getLocation(), diag::warn_dup_category_def)
2803 << Interface->getDeclName() << Cat->getDeclName();
2804 Reader.Diag(Existing->getLocation(), diag::note_previous_definition);
2805 } else if (!Existing) {
2806 // Record this category.
2807 Existing = Cat;
2808 }
2809 }
2810
2811 // Add this category to the end of the chain.
2812 if (Tail)
2813 ASTDeclReader::setNextObjCCategory(Tail, Cat);
2814 else
Douglas Gregor048fbfa2013-01-16 23:00:23 +00002815 Interface->setCategoryListRaw(Cat);
Douglas Gregor404cdde2012-01-27 01:47:08 +00002816 Tail = Cat;
2817 }
2818
Argyrios Kyrtzidis7d847c92011-09-01 00:58:55 +00002819 public:
Douglas Gregor404cdde2012-01-27 01:47:08 +00002820 ObjCCategoriesVisitor(ASTReader &Reader,
2821 serialization::GlobalDeclID InterfaceID,
2822 ObjCInterfaceDecl *Interface,
2823 llvm::SmallPtrSet<ObjCCategoryDecl *, 16> &Deserialized,
2824 unsigned PreviousGeneration)
Argyrios Kyrtzidis7d847c92011-09-01 00:58:55 +00002825 : Reader(Reader), InterfaceID(InterfaceID), Interface(Interface),
Douglas Gregor404cdde2012-01-27 01:47:08 +00002826 Deserialized(Deserialized), PreviousGeneration(PreviousGeneration),
2827 Tail(0)
2828 {
2829 // Populate the name -> category map with the set of known categories.
Douglas Gregor048fbfa2013-01-16 23:00:23 +00002830 for (ObjCInterfaceDecl::known_categories_iterator
2831 Cat = Interface->known_categories_begin(),
2832 CatEnd = Interface->known_categories_end();
2833 Cat != CatEnd; ++Cat) {
Douglas Gregor404cdde2012-01-27 01:47:08 +00002834 if (Cat->getDeclName())
Douglas Gregor048fbfa2013-01-16 23:00:23 +00002835 NameCategoryMap[Cat->getDeclName()] = *Cat;
Douglas Gregor404cdde2012-01-27 01:47:08 +00002836
2837 // Keep track of the tail of the category list.
Douglas Gregor048fbfa2013-01-16 23:00:23 +00002838 Tail = *Cat;
Douglas Gregor404cdde2012-01-27 01:47:08 +00002839 }
2840 }
Argyrios Kyrtzidis7d847c92011-09-01 00:58:55 +00002841
Douglas Gregorde3ef502011-11-30 23:21:26 +00002842 static bool visit(ModuleFile &M, void *UserData) {
Douglas Gregor404cdde2012-01-27 01:47:08 +00002843 return static_cast<ObjCCategoriesVisitor *>(UserData)->visit(M);
Argyrios Kyrtzidis7d847c92011-09-01 00:58:55 +00002844 }
2845
Douglas Gregorde3ef502011-11-30 23:21:26 +00002846 bool visit(ModuleFile &M) {
Douglas Gregor404cdde2012-01-27 01:47:08 +00002847 // If we've loaded all of the category information we care about from
2848 // this module file, we're done.
2849 if (M.Generation <= PreviousGeneration)
2850 return true;
2851
2852 // Map global ID of the definition down to the local ID used in this
2853 // module file. If there is no such mapping, we'll find nothing here
2854 // (or in any module it imports).
2855 DeclID LocalID = Reader.mapGlobalIDToModuleFileGlobalID(M, InterfaceID);
2856 if (!LocalID)
2857 return true;
Argyrios Kyrtzidis7d847c92011-09-01 00:58:55 +00002858
Douglas Gregor404cdde2012-01-27 01:47:08 +00002859 // Perform a binary search to find the local redeclarations for this
2860 // declaration (if any).
2861 const ObjCCategoriesInfo *Result
2862 = std::lower_bound(M.ObjCCategoriesMap,
2863 M.ObjCCategoriesMap + M.LocalNumObjCCategoriesInMap,
2864 LocalID, CompareObjCCategoriesInfo());
2865 if (Result == M.ObjCCategoriesMap + M.LocalNumObjCCategoriesInMap ||
2866 Result->DefinitionID != LocalID) {
2867 // We didn't find anything. If the class definition is in this module
2868 // file, then the module files it depends on cannot have any categories,
2869 // so suppress further lookup.
2870 return Reader.isDeclIDFromModule(InterfaceID, M);
2871 }
2872
2873 // We found something. Dig out all of the categories.
2874 unsigned Offset = Result->Offset;
2875 unsigned N = M.ObjCCategories[Offset];
2876 M.ObjCCategories[Offset++] = 0; // Don't try to deserialize again
2877 for (unsigned I = 0; I != N; ++I)
2878 add(cast_or_null<ObjCCategoryDecl>(
2879 Reader.GetLocalDecl(M, M.ObjCCategories[Offset++])));
2880 return true;
Argyrios Kyrtzidis7d847c92011-09-01 00:58:55 +00002881 }
Argyrios Kyrtzidis7d847c92011-09-01 00:58:55 +00002882 };
2883}
2884
Douglas Gregor404cdde2012-01-27 01:47:08 +00002885void ASTReader::loadObjCCategories(serialization::GlobalDeclID ID,
2886 ObjCInterfaceDecl *D,
2887 unsigned PreviousGeneration) {
2888 ObjCCategoriesVisitor Visitor(*this, ID, D, CategoriesDeserialized,
2889 PreviousGeneration);
2890 ModuleMgr.visit(ObjCCategoriesVisitor::visit, &Visitor);
Argyrios Kyrtzidis7d847c92011-09-01 00:58:55 +00002891}
Douglas Gregordab42432011-08-12 00:15:20 +00002892
Douglas Gregorde3ef502011-11-30 23:21:26 +00002893void ASTDeclReader::UpdateDecl(Decl *D, ModuleFile &ModuleFile,
Sebastian Redl2ac2c722011-04-29 08:19:30 +00002894 const RecordData &Record) {
Argyrios Kyrtzidisd170d842010-10-24 17:26:50 +00002895 unsigned Idx = 0;
2896 while (Idx < Record.size()) {
2897 switch ((DeclUpdateKind)Record[Idx++]) {
Argyrios Kyrtzidise16a5302010-10-24 17:26:54 +00002898 case UPD_CXX_ADDED_IMPLICIT_MEMBER:
Douglas Gregorde3ef502011-11-30 23:21:26 +00002899 cast<CXXRecordDecl>(D)->addedMember(Reader.ReadDecl(ModuleFile, Record, Idx));
Argyrios Kyrtzidise16a5302010-10-24 17:26:54 +00002900 break;
Argyrios Kyrtzidis402dbbb2010-10-28 07:38:42 +00002901
2902 case UPD_CXX_ADDED_TEMPLATE_SPECIALIZATION:
2903 // It will be added to the template's specializations set when loaded.
Douglas Gregorde3ef502011-11-30 23:21:26 +00002904 (void)Reader.ReadDecl(ModuleFile, Record, Idx);
Sebastian Redlfa1f3702011-04-24 16:28:13 +00002905 break;
2906
2907 case UPD_CXX_ADDED_ANONYMOUS_NAMESPACE: {
Douglas Gregorf7180622011-08-03 15:48:04 +00002908 NamespaceDecl *Anon
Douglas Gregorde3ef502011-11-30 23:21:26 +00002909 = Reader.ReadDeclAs<NamespaceDecl>(ModuleFile, Record, Idx);
Douglas Gregor540fd812012-01-09 18:07:24 +00002910
2911 // Each module has its own anonymous namespace, which is disjoint from
2912 // any other module's anonymous namespaces, so don't attach the anonymous
2913 // namespace at all.
2914 if (ModuleFile.Kind != MK_Module) {
2915 if (TranslationUnitDecl *TU = dyn_cast<TranslationUnitDecl>(D))
2916 TU->setAnonymousNamespace(Anon);
2917 else
2918 cast<NamespaceDecl>(D)->setAnonymousNamespace(Anon);
2919 }
Sebastian Redlfa1f3702011-04-24 16:28:13 +00002920 break;
2921 }
Sebastian Redl2ac2c722011-04-29 08:19:30 +00002922
2923 case UPD_CXX_INSTANTIATED_STATIC_DATA_MEMBER:
2924 cast<VarDecl>(D)->getMemberSpecializationInfo()->setPointOfInstantiation(
Douglas Gregorde3ef502011-11-30 23:21:26 +00002925 Reader.ReadSourceLocation(ModuleFile, Record, Idx));
Sebastian Redl2ac2c722011-04-29 08:19:30 +00002926 break;
Richard Smith1fa5d642013-05-11 05:45:24 +00002927
2928 case UPD_CXX_DEDUCED_RETURN_TYPE: {
2929 FunctionDecl *FD = cast<FunctionDecl>(D);
2930 Reader.Context.adjustDeducedFunctionResultType(
2931 FD, Reader.readType(ModuleFile, Record, Idx));
2932 break;
2933 }
Eli Friedman276dd182013-09-05 00:02:25 +00002934
2935 case UPD_DECL_MARKED_USED: {
Eli Friedman9a592802013-09-05 20:13:32 +00002936 // FIXME: This doesn't send the right notifications if there are
2937 // ASTMutationListeners other than an ASTWriter.
2938 D->setIsUsed(true);
Eli Friedman276dd182013-09-05 00:02:25 +00002939 break;
2940 }
Argyrios Kyrtzidisd170d842010-10-24 17:26:50 +00002941 }
2942 }
Argyrios Kyrtzidis65ad5692010-10-24 17:26:36 +00002943}