blob: 4fca0927cfc0726562e3cf248eee15e314021545 [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
Argyrios Kyrtzidis65ad5692010-10-24 17:26:36 +000015#include "ASTCommon.h"
Sebastian Redlf5b13462010-08-18 23:57:17 +000016#include "clang/Serialization/ASTReader.h"
Chris Lattner487412d2009-04-27 05:27:42 +000017#include "clang/AST/ASTConsumer.h"
18#include "clang/AST/ASTContext.h"
19#include "clang/AST/DeclVisitor.h"
20#include "clang/AST/DeclGroup.h"
Chris Lattnerca025db2010-05-07 21:43:38 +000021#include "clang/AST/DeclCXX.h"
22#include "clang/AST/DeclTemplate.h"
Chris Lattner487412d2009-04-27 05:27:42 +000023#include "clang/AST/Expr.h"
24using namespace clang;
Sebastian Redl539c5062010-08-18 23:57:32 +000025using namespace clang::serialization;
Chris Lattner487412d2009-04-27 05:27:42 +000026
27//===----------------------------------------------------------------------===//
28// Declaration deserialization
29//===----------------------------------------------------------------------===//
30
Argyrios Kyrtzidis74d28bd2010-06-29 22:47:00 +000031namespace clang {
Sebastian Redlb3298c32010-08-18 23:56:48 +000032 class ASTDeclReader : public DeclVisitor<ASTDeclReader, void> {
Sebastian Redl2c499f62010-08-18 23:56:43 +000033 ASTReader &Reader;
Sebastian Redl2c373b92010-10-05 15:59:54 +000034 ASTReader::PerFileData &F;
Sebastian Redlc67764e2010-07-22 22:43:28 +000035 llvm::BitstreamCursor &Cursor;
Sebastian Redl539c5062010-08-18 23:57:32 +000036 const DeclID ThisDeclID;
Argyrios Kyrtzidis8b200a52010-10-24 17:26:27 +000037 typedef ASTReader::RecordData RecordData;
38 const RecordData &Record;
Chris Lattner487412d2009-04-27 05:27:42 +000039 unsigned &Idx;
Sebastian Redl539c5062010-08-18 23:57:32 +000040 TypeID TypeIDForTypeDecl;
Chris Lattner487412d2009-04-27 05:27:42 +000041
Sebastian Redlc67764e2010-07-22 22:43:28 +000042 uint64_t GetCurrentCursorOffset();
Argyrios Kyrtzidis8b200a52010-10-24 17:26:27 +000043 SourceLocation ReadSourceLocation(const RecordData &R, unsigned &I) {
Sebastian Redl2c373b92010-10-05 15:59:54 +000044 return Reader.ReadSourceLocation(F, R, I);
45 }
Argyrios Kyrtzidis8b200a52010-10-24 17:26:27 +000046 SourceRange ReadSourceRange(const RecordData &R, unsigned &I) {
Sebastian Redl2c373b92010-10-05 15:59:54 +000047 return Reader.ReadSourceRange(F, R, I);
48 }
Argyrios Kyrtzidis8b200a52010-10-24 17:26:27 +000049 TypeSourceInfo *GetTypeSourceInfo(const RecordData &R, unsigned &I) {
Sebastian Redl2c373b92010-10-05 15:59:54 +000050 return Reader.GetTypeSourceInfo(F, R, I);
51 }
Argyrios Kyrtzidis434383d2010-10-15 18:21:24 +000052 void ReadQualifierInfo(QualifierInfo &Info,
Argyrios Kyrtzidis8b200a52010-10-24 17:26:27 +000053 const RecordData &R, unsigned &I) {
Argyrios Kyrtzidis434383d2010-10-15 18:21:24 +000054 Reader.ReadQualifierInfo(F, Info, R, I);
55 }
56 void ReadDeclarationNameLoc(DeclarationNameLoc &DNLoc, DeclarationName Name,
Argyrios Kyrtzidis8b200a52010-10-24 17:26:27 +000057 const RecordData &R, unsigned &I) {
Argyrios Kyrtzidis434383d2010-10-15 18:21:24 +000058 Reader.ReadDeclarationNameLoc(F, DNLoc, Name, R, I);
59 }
60 void ReadDeclarationNameInfo(DeclarationNameInfo &NameInfo,
Argyrios Kyrtzidis8b200a52010-10-24 17:26:27 +000061 const RecordData &R, unsigned &I) {
Argyrios Kyrtzidis434383d2010-10-15 18:21:24 +000062 Reader.ReadDeclarationNameInfo(F, NameInfo, R, I);
63 }
Sebastian Redlc67764e2010-07-22 22:43:28 +000064
Argyrios Kyrtzidiseb39d9a2010-10-24 17:26:40 +000065 void ReadCXXDefinitionData(struct CXXRecordDecl::DefinitionData &Data,
66 const RecordData &R, unsigned &I);
67
68 void InitializeCXXDefinitionData(CXXRecordDecl *D,
69 CXXRecordDecl *DefinitionDecl,
70 const RecordData &Record, unsigned &Idx);
Chris Lattner487412d2009-04-27 05:27:42 +000071 public:
Sebastian Redl2c373b92010-10-05 15:59:54 +000072 ASTDeclReader(ASTReader &Reader, ASTReader::PerFileData &F,
73 llvm::BitstreamCursor &Cursor, DeclID thisDeclID,
Argyrios Kyrtzidis8b200a52010-10-24 17:26:27 +000074 const RecordData &Record, unsigned &Idx)
Sebastian Redl2c373b92010-10-05 15:59:54 +000075 : Reader(Reader), F(F), Cursor(Cursor), ThisDeclID(thisDeclID),
76 Record(Record), Idx(Idx), TypeIDForTypeDecl(0) { }
Chris Lattner487412d2009-04-27 05:27:42 +000077
Argyrios Kyrtzidis318b0e72010-07-02 11:55:01 +000078 void Visit(Decl *D);
79
Argyrios Kyrtzidis65ad5692010-10-24 17:26:36 +000080 void UpdateDecl(Decl *D, const RecordData &Record);
81
Chris Lattner487412d2009-04-27 05:27:42 +000082 void VisitDecl(Decl *D);
83 void VisitTranslationUnitDecl(TranslationUnitDecl *TU);
84 void VisitNamedDecl(NamedDecl *ND);
Douglas Gregore31bbd92010-02-21 18:22:14 +000085 void VisitNamespaceDecl(NamespaceDecl *D);
Chris Lattnerca025db2010-05-07 21:43:38 +000086 void VisitUsingDirectiveDecl(UsingDirectiveDecl *D);
87 void VisitNamespaceAliasDecl(NamespaceAliasDecl *D);
Chris Lattner487412d2009-04-27 05:27:42 +000088 void VisitTypeDecl(TypeDecl *TD);
89 void VisitTypedefDecl(TypedefDecl *TD);
Argyrios Kyrtzidisbd8ac8c2010-06-30 08:49:30 +000090 void VisitUnresolvedUsingTypenameDecl(UnresolvedUsingTypenameDecl *D);
Chris Lattner487412d2009-04-27 05:27:42 +000091 void VisitTagDecl(TagDecl *TD);
92 void VisitEnumDecl(EnumDecl *ED);
93 void VisitRecordDecl(RecordDecl *RD);
Chris Lattnerca025db2010-05-07 21:43:38 +000094 void VisitCXXRecordDecl(CXXRecordDecl *D);
95 void VisitClassTemplateSpecializationDecl(
96 ClassTemplateSpecializationDecl *D);
97 void VisitClassTemplatePartialSpecializationDecl(
98 ClassTemplatePartialSpecializationDecl *D);
99 void VisitTemplateTypeParmDecl(TemplateTypeParmDecl *D);
Chris Lattner487412d2009-04-27 05:27:42 +0000100 void VisitValueDecl(ValueDecl *VD);
101 void VisitEnumConstantDecl(EnumConstantDecl *ECD);
Argyrios Kyrtzidisbd8ac8c2010-06-30 08:49:30 +0000102 void VisitUnresolvedUsingValueDecl(UnresolvedUsingValueDecl *D);
Argyrios Kyrtzidis560ac972009-08-19 01:28:35 +0000103 void VisitDeclaratorDecl(DeclaratorDecl *DD);
Chris Lattner487412d2009-04-27 05:27:42 +0000104 void VisitFunctionDecl(FunctionDecl *FD);
Chris Lattnerca025db2010-05-07 21:43:38 +0000105 void VisitCXXMethodDecl(CXXMethodDecl *D);
106 void VisitCXXConstructorDecl(CXXConstructorDecl *D);
107 void VisitCXXDestructorDecl(CXXDestructorDecl *D);
108 void VisitCXXConversionDecl(CXXConversionDecl *D);
Chris Lattner487412d2009-04-27 05:27:42 +0000109 void VisitFieldDecl(FieldDecl *FD);
110 void VisitVarDecl(VarDecl *VD);
111 void VisitImplicitParamDecl(ImplicitParamDecl *PD);
112 void VisitParmVarDecl(ParmVarDecl *PD);
Chris Lattnerca025db2010-05-07 21:43:38 +0000113 void VisitNonTypeTemplateParmDecl(NonTypeTemplateParmDecl *D);
114 void VisitTemplateDecl(TemplateDecl *D);
Peter Collingbourne91b25b72010-07-29 16:11:51 +0000115 void VisitRedeclarableTemplateDecl(RedeclarableTemplateDecl *D);
Chris Lattnerca025db2010-05-07 21:43:38 +0000116 void VisitClassTemplateDecl(ClassTemplateDecl *D);
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000117 void VisitFunctionTemplateDecl(FunctionTemplateDecl *D);
Chris Lattnerca025db2010-05-07 21:43:38 +0000118 void VisitTemplateTemplateParmDecl(TemplateTemplateParmDecl *D);
Argyrios Kyrtzidis41d45622010-06-20 14:40:59 +0000119 void VisitUsingDecl(UsingDecl *D);
120 void VisitUsingShadowDecl(UsingShadowDecl *D);
Chris Lattnerca025db2010-05-07 21:43:38 +0000121 void VisitLinkageSpecDecl(LinkageSpecDecl *D);
Chris Lattner487412d2009-04-27 05:27:42 +0000122 void VisitFileScopeAsmDecl(FileScopeAsmDecl *AD);
Abramo Bagnarad7340582010-06-05 05:09:32 +0000123 void VisitAccessSpecDecl(AccessSpecDecl *D);
Argyrios Kyrtzidis74d28bd2010-06-29 22:47:00 +0000124 void VisitFriendDecl(FriendDecl *D);
Chris Lattnerca025db2010-05-07 21:43:38 +0000125 void VisitFriendTemplateDecl(FriendTemplateDecl *D);
126 void VisitStaticAssertDecl(StaticAssertDecl *D);
Chris Lattner487412d2009-04-27 05:27:42 +0000127 void VisitBlockDecl(BlockDecl *BD);
Chris Lattnerca025db2010-05-07 21:43:38 +0000128
Chris Lattner487412d2009-04-27 05:27:42 +0000129 std::pair<uint64_t, uint64_t> VisitDeclContext(DeclContext *DC);
Argyrios Kyrtzidis839bbac2010-08-03 17:30:10 +0000130 template <typename T> void VisitRedeclarable(Redeclarable<T> *D);
Chris Lattnerca025db2010-05-07 21:43:38 +0000131
Alexis Hunted053252010-05-30 07:21:58 +0000132 // FIXME: Reorder according to DeclNodes.td?
Chris Lattner487412d2009-04-27 05:27:42 +0000133 void VisitObjCMethodDecl(ObjCMethodDecl *D);
134 void VisitObjCContainerDecl(ObjCContainerDecl *D);
135 void VisitObjCInterfaceDecl(ObjCInterfaceDecl *D);
136 void VisitObjCIvarDecl(ObjCIvarDecl *D);
137 void VisitObjCProtocolDecl(ObjCProtocolDecl *D);
138 void VisitObjCAtDefsFieldDecl(ObjCAtDefsFieldDecl *D);
139 void VisitObjCClassDecl(ObjCClassDecl *D);
140 void VisitObjCForwardProtocolDecl(ObjCForwardProtocolDecl *D);
141 void VisitObjCCategoryDecl(ObjCCategoryDecl *D);
142 void VisitObjCImplDecl(ObjCImplDecl *D);
143 void VisitObjCCategoryImplDecl(ObjCCategoryImplDecl *D);
144 void VisitObjCImplementationDecl(ObjCImplementationDecl *D);
145 void VisitObjCCompatibleAliasDecl(ObjCCompatibleAliasDecl *D);
146 void VisitObjCPropertyDecl(ObjCPropertyDecl *D);
147 void VisitObjCPropertyImplDecl(ObjCPropertyImplDecl *D);
148 };
149}
150
Sebastian Redlb3298c32010-08-18 23:56:48 +0000151uint64_t ASTDeclReader::GetCurrentCursorOffset() {
Sebastian Redlc67764e2010-07-22 22:43:28 +0000152 uint64_t Off = 0;
153 for (unsigned I = 0, N = Reader.Chain.size(); I != N; ++I) {
Sebastian Redl2c499f62010-08-18 23:56:43 +0000154 ASTReader::PerFileData &F = *Reader.Chain[N - I - 1];
Sebastian Redlc67764e2010-07-22 22:43:28 +0000155 if (&Cursor == &F.DeclsCursor) {
156 Off += F.DeclsCursor.GetCurrentBitNo();
157 break;
158 }
159 Off += F.SizeInBits;
160 }
161 return Off;
162}
163
Sebastian Redlb3298c32010-08-18 23:56:48 +0000164void ASTDeclReader::Visit(Decl *D) {
165 DeclVisitor<ASTDeclReader, void>::Visit(D);
Argyrios Kyrtzidis318b0e72010-07-02 11:55:01 +0000166
Argyrios Kyrtzidis33575162010-07-02 15:58:43 +0000167 if (TypeDecl *TD = dyn_cast<TypeDecl>(D)) {
Douglas Gregor1c283312010-08-11 12:19:30 +0000168 // if we have a fully initialized TypeDecl, we can safely read its type now.
169 TD->setTypeForDecl(Reader.GetType(TypeIDForTypeDecl).getTypePtr());
Argyrios Kyrtzidis33575162010-07-02 15:58:43 +0000170 } else if (FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
171 // FunctionDecl's body was written last after all other Stmts/Exprs.
172 if (Record[Idx++])
Sebastian Redlc67764e2010-07-22 22:43:28 +0000173 FD->setLazyBody(GetCurrentCursorOffset());
Argyrios Kyrtzidis33575162010-07-02 15:58:43 +0000174 }
Argyrios Kyrtzidis318b0e72010-07-02 11:55:01 +0000175}
176
Sebastian Redlb3298c32010-08-18 23:56:48 +0000177void ASTDeclReader::VisitDecl(Decl *D) {
Chris Lattner487412d2009-04-27 05:27:42 +0000178 D->setDeclContext(cast_or_null<DeclContext>(Reader.GetDecl(Record[Idx++])));
179 D->setLexicalDeclContext(
180 cast_or_null<DeclContext>(Reader.GetDecl(Record[Idx++])));
Sebastian Redl2c373b92010-10-05 15:59:54 +0000181 D->setLocation(ReadSourceLocation(Record, Idx));
Chris Lattner487412d2009-04-27 05:27:42 +0000182 D->setInvalidDecl(Record[Idx++]);
Argyrios Kyrtzidis9beef8e2010-10-18 19:20:11 +0000183 if (Record[Idx++]) { // hasAttrs
Alexis Huntdcfba7b2010-08-18 23:23:40 +0000184 AttrVec Attrs;
Argyrios Kyrtzidis9beef8e2010-10-18 19:20:11 +0000185 Reader.ReadAttributes(F, Attrs, Record, Idx);
Alexis Huntdcfba7b2010-08-18 23:23:40 +0000186 D->setAttrs(Attrs);
187 }
Chris Lattner487412d2009-04-27 05:27:42 +0000188 D->setImplicit(Record[Idx++]);
Douglas Gregorc9c02ed2009-06-19 23:52:42 +0000189 D->setUsed(Record[Idx++]);
Chris Lattner487412d2009-04-27 05:27:42 +0000190 D->setAccess((AccessSpecifier)Record[Idx++]);
Sebastian Redl009e7f22010-10-05 16:15:19 +0000191 D->setPCHLevel(Record[Idx++] + (F.Type <= ASTReader::PCH));
Chris Lattner487412d2009-04-27 05:27:42 +0000192}
193
Sebastian Redlb3298c32010-08-18 23:56:48 +0000194void ASTDeclReader::VisitTranslationUnitDecl(TranslationUnitDecl *TU) {
Chris Lattner487412d2009-04-27 05:27:42 +0000195 VisitDecl(TU);
Chris Lattnerca025db2010-05-07 21:43:38 +0000196 TU->setAnonymousNamespace(
197 cast_or_null<NamespaceDecl>(Reader.GetDecl(Record[Idx++])));
Chris Lattner487412d2009-04-27 05:27:42 +0000198}
199
Sebastian Redlb3298c32010-08-18 23:56:48 +0000200void ASTDeclReader::VisitNamedDecl(NamedDecl *ND) {
Chris Lattner487412d2009-04-27 05:27:42 +0000201 VisitDecl(ND);
Mike Stump11289f42009-09-09 15:08:12 +0000202 ND->setDeclName(Reader.ReadDeclarationName(Record, Idx));
Chris Lattner487412d2009-04-27 05:27:42 +0000203}
204
Sebastian Redlb3298c32010-08-18 23:56:48 +0000205void ASTDeclReader::VisitTypeDecl(TypeDecl *TD) {
Chris Lattner487412d2009-04-27 05:27:42 +0000206 VisitNamedDecl(TD);
Argyrios Kyrtzidis318b0e72010-07-02 11:55:01 +0000207 // Delay type reading until after we have fully initialized the decl.
Douglas Gregor1c283312010-08-11 12:19:30 +0000208 TypeIDForTypeDecl = Record[Idx++];
Chris Lattner487412d2009-04-27 05:27:42 +0000209}
210
Sebastian Redlb3298c32010-08-18 23:56:48 +0000211void ASTDeclReader::VisitTypedefDecl(TypedefDecl *TD) {
Argyrios Kyrtzidis318b0e72010-07-02 11:55:01 +0000212 VisitTypeDecl(TD);
Sebastian Redl2c373b92010-10-05 15:59:54 +0000213 TD->setTypeSourceInfo(GetTypeSourceInfo(Record, Idx));
Chris Lattner487412d2009-04-27 05:27:42 +0000214}
215
Sebastian Redlb3298c32010-08-18 23:56:48 +0000216void ASTDeclReader::VisitTagDecl(TagDecl *TD) {
Chris Lattner487412d2009-04-27 05:27:42 +0000217 VisitTypeDecl(TD);
Argyrios Kyrtzidis839bbac2010-08-03 17:30:10 +0000218 VisitRedeclarable(TD);
Argyrios Kyrtzidisf4bc0d82010-09-08 19:31:22 +0000219 TD->IdentifierNamespace = Record[Idx++];
Chris Lattner487412d2009-04-27 05:27:42 +0000220 TD->setTagKind((TagDecl::TagKind)Record[Idx++]);
221 TD->setDefinition(Record[Idx++]);
Douglas Gregor5089c762010-02-12 17:40:34 +0000222 TD->setEmbeddedInDeclarator(Record[Idx++]);
Sebastian Redl2c373b92010-10-05 15:59:54 +0000223 TD->setRBraceLoc(ReadSourceLocation(Record, Idx));
224 TD->setTagKeywordLoc(ReadSourceLocation(Record, Idx));
Argyrios Kyrtzidis434383d2010-10-15 18:21:24 +0000225 if (Record[Idx++]) { // hasExtInfo
226 TagDecl::ExtInfo *Info = new (*Reader.getContext()) TagDecl::ExtInfo();
227 ReadQualifierInfo(*Info, Record, Idx);
228 TD->TypedefDeclOrQualifier = Info;
229 } else
230 TD->setTypedefForAnonDecl(
231 cast_or_null<TypedefDecl>(Reader.GetDecl(Record[Idx++])));
Chris Lattner487412d2009-04-27 05:27:42 +0000232}
233
Sebastian Redlb3298c32010-08-18 23:56:48 +0000234void ASTDeclReader::VisitEnumDecl(EnumDecl *ED) {
Chris Lattner487412d2009-04-27 05:27:42 +0000235 VisitTagDecl(ED);
Douglas Gregor0bf31402010-10-08 23:50:27 +0000236 if (TypeSourceInfo *TI = Reader.GetTypeSourceInfo(F, Record, Idx))
237 ED->setIntegerTypeSourceInfo(TI);
238 else
239 ED->setIntegerType(Reader.GetType(Record[Idx++]));
John McCall56774992009-12-09 09:09:27 +0000240 ED->setPromotionType(Reader.GetType(Record[Idx++]));
John McCall9aa35be2010-05-06 08:49:23 +0000241 ED->setNumPositiveBits(Record[Idx++]);
242 ED->setNumNegativeBits(Record[Idx++]);
Douglas Gregor0bf31402010-10-08 23:50:27 +0000243 ED->IsScoped = Record[Idx++];
244 ED->IsFixed = Record[Idx++];
Argyrios Kyrtzidis282b36b2010-07-06 15:36:48 +0000245 ED->setInstantiationOfMemberEnum(
246 cast_or_null<EnumDecl>(Reader.GetDecl(Record[Idx++])));
Chris Lattner487412d2009-04-27 05:27:42 +0000247}
248
Sebastian Redlb3298c32010-08-18 23:56:48 +0000249void ASTDeclReader::VisitRecordDecl(RecordDecl *RD) {
Chris Lattner487412d2009-04-27 05:27:42 +0000250 VisitTagDecl(RD);
251 RD->setHasFlexibleArrayMember(Record[Idx++]);
252 RD->setAnonymousStructOrUnion(Record[Idx++]);
Fariborz Jahanian8e0d0422009-07-08 16:37:44 +0000253 RD->setHasObjectMember(Record[Idx++]);
Chris Lattner487412d2009-04-27 05:27:42 +0000254}
255
Sebastian Redlb3298c32010-08-18 23:56:48 +0000256void ASTDeclReader::VisitValueDecl(ValueDecl *VD) {
Chris Lattner487412d2009-04-27 05:27:42 +0000257 VisitNamedDecl(VD);
258 VD->setType(Reader.GetType(Record[Idx++]));
259}
260
Sebastian Redlb3298c32010-08-18 23:56:48 +0000261void ASTDeclReader::VisitEnumConstantDecl(EnumConstantDecl *ECD) {
Chris Lattner487412d2009-04-27 05:27:42 +0000262 VisitValueDecl(ECD);
263 if (Record[Idx++])
Sebastian Redl2c373b92010-10-05 15:59:54 +0000264 ECD->setInitExpr(Reader.ReadExpr(F));
Chris Lattner487412d2009-04-27 05:27:42 +0000265 ECD->setInitVal(Reader.ReadAPSInt(Record, Idx));
266}
267
Sebastian Redlb3298c32010-08-18 23:56:48 +0000268void ASTDeclReader::VisitDeclaratorDecl(DeclaratorDecl *DD) {
Argyrios Kyrtzidis560ac972009-08-19 01:28:35 +0000269 VisitValueDecl(DD);
Argyrios Kyrtzidis434383d2010-10-15 18:21:24 +0000270 if (Record[Idx++]) { // hasExtInfo
271 DeclaratorDecl::ExtInfo *Info
272 = new (*Reader.getContext()) DeclaratorDecl::ExtInfo();
273 ReadQualifierInfo(*Info, Record, Idx);
274 Info->TInfo = GetTypeSourceInfo(Record, Idx);
275 DD->DeclInfo = Info;
276 } else
277 DD->DeclInfo = GetTypeSourceInfo(Record, Idx);
Argyrios Kyrtzidis560ac972009-08-19 01:28:35 +0000278}
279
Sebastian Redlb3298c32010-08-18 23:56:48 +0000280void ASTDeclReader::VisitFunctionDecl(FunctionDecl *FD) {
Argyrios Kyrtzidis560ac972009-08-19 01:28:35 +0000281 VisitDeclaratorDecl(FD);
Argyrios Kyrtzidisf4bc0d82010-09-08 19:31:22 +0000282 VisitRedeclarable(FD);
Chris Lattnerca025db2010-05-07 21:43:38 +0000283
Argyrios Kyrtzidis434383d2010-10-15 18:21:24 +0000284 ReadDeclarationNameLoc(FD->DNLoc, FD->getDeclName(), Record, Idx);
Argyrios Kyrtzidisa95d0192010-07-05 10:38:01 +0000285 FD->IdentifierNamespace = Record[Idx++];
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000286 switch ((FunctionDecl::TemplatedKind)Record[Idx++]) {
Argyrios Kyrtzidis0b0369a2010-06-28 09:31:34 +0000287 default: assert(false && "Unhandled TemplatedKind!");
288 break;
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000289 case FunctionDecl::TK_NonTemplate:
290 break;
291 case FunctionDecl::TK_FunctionTemplate:
292 FD->setDescribedFunctionTemplate(
293 cast<FunctionTemplateDecl>(Reader.GetDecl(Record[Idx++])));
294 break;
295 case FunctionDecl::TK_MemberSpecialization: {
296 FunctionDecl *InstFD = cast<FunctionDecl>(Reader.GetDecl(Record[Idx++]));
297 TemplateSpecializationKind TSK = (TemplateSpecializationKind)Record[Idx++];
Sebastian Redl2c373b92010-10-05 15:59:54 +0000298 SourceLocation POI = ReadSourceLocation(Record, Idx);
Argyrios Kyrtzidisf4bc0d82010-09-08 19:31:22 +0000299 FD->setInstantiationOfMemberFunction(*Reader.getContext(), InstFD, TSK);
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000300 FD->getMemberSpecializationInfo()->setPointOfInstantiation(POI);
301 break;
302 }
303 case FunctionDecl::TK_FunctionTemplateSpecialization: {
304 FunctionTemplateDecl *Template
305 = cast<FunctionTemplateDecl>(Reader.GetDecl(Record[Idx++]));
306 TemplateSpecializationKind TSK = (TemplateSpecializationKind)Record[Idx++];
307
308 // Template arguments.
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000309 llvm::SmallVector<TemplateArgument, 8> TemplArgs;
Sebastian Redl2c373b92010-10-05 15:59:54 +0000310 Reader.ReadTemplateArgumentList(TemplArgs, F, Record, Idx);
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000311
312 // Template args as written.
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000313 llvm::SmallVector<TemplateArgumentLoc, 8> TemplArgLocs;
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000314 SourceLocation LAngleLoc, RAngleLoc;
Argyrios Kyrtzidis373a83a2010-07-02 11:55:40 +0000315 if (Record[Idx++]) { // TemplateArgumentsAsWritten != 0
316 unsigned NumTemplateArgLocs = Record[Idx++];
317 TemplArgLocs.reserve(NumTemplateArgLocs);
318 for (unsigned i=0; i != NumTemplateArgLocs; ++i)
Sebastian Redlc67764e2010-07-22 22:43:28 +0000319 TemplArgLocs.push_back(
Sebastian Redl2c373b92010-10-05 15:59:54 +0000320 Reader.ReadTemplateArgumentLoc(F, Record, Idx));
Argyrios Kyrtzidis373a83a2010-07-02 11:55:40 +0000321
Sebastian Redl2c373b92010-10-05 15:59:54 +0000322 LAngleLoc = ReadSourceLocation(Record, Idx);
323 RAngleLoc = ReadSourceLocation(Record, Idx);
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000324 }
Argyrios Kyrtzidis927d8e02010-07-05 10:37:55 +0000325
Sebastian Redl2c373b92010-10-05 15:59:54 +0000326 SourceLocation POI = ReadSourceLocation(Record, Idx);
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000327
Argyrios Kyrtzidise262a952010-09-09 11:28:23 +0000328 ASTContext &C = *Reader.getContext();
329 TemplateArgumentList *TemplArgList
Douglas Gregor1ccc8412010-11-07 23:05:16 +0000330 = TemplateArgumentList::CreateCopy(C, TemplArgs.data(), TemplArgs.size());
Argyrios Kyrtzidise262a952010-09-09 11:28:23 +0000331 TemplateArgumentListInfo *TemplArgsInfo
332 = new (C) TemplateArgumentListInfo(LAngleLoc, RAngleLoc);
333 for (unsigned i=0, e = TemplArgLocs.size(); i != e; ++i)
334 TemplArgsInfo->addArgument(TemplArgLocs[i]);
335 FunctionTemplateSpecializationInfo *FTInfo
336 = FunctionTemplateSpecializationInfo::Create(C, FD, Template, TSK,
337 TemplArgList,
338 TemplArgsInfo, POI);
339 FD->TemplateOrSpecialization = FTInfo;
Argyrios Kyrtzidisf4bc0d82010-09-08 19:31:22 +0000340
Argyrios Kyrtzidise262a952010-09-09 11:28:23 +0000341 if (FD->isCanonicalDecl()) { // if canonical add to template's set.
Argyrios Kyrtzidisf24d5692010-09-13 11:45:48 +0000342 // The template that contains the specializations set. It's not safe to
343 // use getCanonicalDecl on Template since it may still be initializing.
344 FunctionTemplateDecl *CanonTemplate
345 = cast<FunctionTemplateDecl>(Reader.GetDecl(Record[Idx++]));
Argyrios Kyrtzidise262a952010-09-09 11:28:23 +0000346 // Get the InsertPos by FindNodeOrInsertPos() instead of calling
347 // InsertNode(FTInfo) directly to avoid the getASTContext() call in
348 // FunctionTemplateSpecializationInfo's Profile().
349 // We avoid getASTContext because a decl in the parent hierarchy may
350 // be initializing.
Argyrios Kyrtzidisf4bc0d82010-09-08 19:31:22 +0000351 llvm::FoldingSetNodeID ID;
352 FunctionTemplateSpecializationInfo::Profile(ID, TemplArgs.data(),
353 TemplArgs.size(), C);
354 void *InsertPos = 0;
Argyrios Kyrtzidisf24d5692010-09-13 11:45:48 +0000355 CanonTemplate->getSpecializations().FindNodeOrInsertPos(ID, InsertPos);
Argyrios Kyrtzidise262a952010-09-09 11:28:23 +0000356 assert(InsertPos && "Another specialization already inserted!");
Argyrios Kyrtzidisf24d5692010-09-13 11:45:48 +0000357 CanonTemplate->getSpecializations().InsertNode(FTInfo, InsertPos);
Argyrios Kyrtzidisf4bc0d82010-09-08 19:31:22 +0000358 }
Argyrios Kyrtzidis0b0369a2010-06-28 09:31:34 +0000359 break;
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000360 }
361 case FunctionDecl::TK_DependentFunctionTemplateSpecialization: {
362 // Templates.
363 UnresolvedSet<8> TemplDecls;
364 unsigned NumTemplates = Record[Idx++];
365 while (NumTemplates--)
366 TemplDecls.addDecl(cast<NamedDecl>(Reader.GetDecl(Record[Idx++])));
367
368 // Templates args.
369 TemplateArgumentListInfo TemplArgs;
370 unsigned NumArgs = Record[Idx++];
371 while (NumArgs--)
Sebastian Redl2c373b92010-10-05 15:59:54 +0000372 TemplArgs.addArgument(Reader.ReadTemplateArgumentLoc(F, Record, Idx));
373 TemplArgs.setLAngleLoc(ReadSourceLocation(Record, Idx));
374 TemplArgs.setRAngleLoc(ReadSourceLocation(Record, Idx));
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000375
376 FD->setDependentTemplateSpecialization(*Reader.getContext(),
377 TemplDecls, TemplArgs);
Argyrios Kyrtzidis0b0369a2010-06-28 09:31:34 +0000378 break;
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000379 }
380 }
Argyrios Kyrtzidis373a83a2010-07-02 11:55:40 +0000381
Sebastian Redlb3298c32010-08-18 23:56:48 +0000382 // FunctionDecl's body is handled last at ASTDeclReader::Visit,
Argyrios Kyrtzidis33575162010-07-02 15:58:43 +0000383 // after everything else is read.
384
John McCall8e7d6562010-08-26 03:08:43 +0000385 FD->setStorageClass((StorageClass)Record[Idx++]);
386 FD->setStorageClassAsWritten((StorageClass)Record[Idx++]);
Argyrios Kyrtzidis373a83a2010-07-02 11:55:40 +0000387 FD->setInlineSpecified(Record[Idx++]);
388 FD->setVirtualAsWritten(Record[Idx++]);
389 FD->setPure(Record[Idx++]);
390 FD->setHasInheritedPrototype(Record[Idx++]);
391 FD->setHasWrittenPrototype(Record[Idx++]);
392 FD->setDeleted(Record[Idx++]);
393 FD->setTrivial(Record[Idx++]);
Argyrios Kyrtzidis373a83a2010-07-02 11:55:40 +0000394 FD->setHasImplicitReturnZero(Record[Idx++]);
Sebastian Redl2c373b92010-10-05 15:59:54 +0000395 FD->setLocEnd(ReadSourceLocation(Record, Idx));
Argyrios Kyrtzidis373a83a2010-07-02 11:55:40 +0000396
Chris Lattnerca025db2010-05-07 21:43:38 +0000397 // Read in the parameters.
Chris Lattner487412d2009-04-27 05:27:42 +0000398 unsigned NumParams = Record[Idx++];
399 llvm::SmallVector<ParmVarDecl *, 16> Params;
400 Params.reserve(NumParams);
401 for (unsigned I = 0; I != NumParams; ++I)
402 Params.push_back(cast<ParmVarDecl>(Reader.GetDecl(Record[Idx++])));
Argyrios Kyrtzidisf4bc0d82010-09-08 19:31:22 +0000403 FD->setParams(*Reader.getContext(), Params.data(), NumParams);
Chris Lattner487412d2009-04-27 05:27:42 +0000404}
405
Sebastian Redlb3298c32010-08-18 23:56:48 +0000406void ASTDeclReader::VisitObjCMethodDecl(ObjCMethodDecl *MD) {
Chris Lattner487412d2009-04-27 05:27:42 +0000407 VisitNamedDecl(MD);
408 if (Record[Idx++]) {
409 // In practice, this won't be executed (since method definitions
410 // don't occur in header files).
Sebastian Redl2c373b92010-10-05 15:59:54 +0000411 MD->setBody(Reader.ReadStmt(F));
Chris Lattner487412d2009-04-27 05:27:42 +0000412 MD->setSelfDecl(cast<ImplicitParamDecl>(Reader.GetDecl(Record[Idx++])));
413 MD->setCmdDecl(cast<ImplicitParamDecl>(Reader.GetDecl(Record[Idx++])));
414 }
415 MD->setInstanceMethod(Record[Idx++]);
416 MD->setVariadic(Record[Idx++]);
417 MD->setSynthesized(Record[Idx++]);
Fariborz Jahanian6e7e8cc2010-07-22 18:24:20 +0000418 MD->setDefined(Record[Idx++]);
Chris Lattner487412d2009-04-27 05:27:42 +0000419 MD->setDeclImplementation((ObjCMethodDecl::ImplementationControl)Record[Idx++]);
420 MD->setObjCDeclQualifier((Decl::ObjCDeclQualifier)Record[Idx++]);
Fariborz Jahaniand9235db2010-04-08 21:29:11 +0000421 MD->setNumSelectorArgs(unsigned(Record[Idx++]));
Chris Lattner487412d2009-04-27 05:27:42 +0000422 MD->setResultType(Reader.GetType(Record[Idx++]));
Sebastian Redl2c373b92010-10-05 15:59:54 +0000423 MD->setResultTypeSourceInfo(GetTypeSourceInfo(Record, Idx));
424 MD->setEndLoc(ReadSourceLocation(Record, Idx));
Chris Lattner487412d2009-04-27 05:27:42 +0000425 unsigned NumParams = Record[Idx++];
426 llvm::SmallVector<ParmVarDecl *, 16> Params;
427 Params.reserve(NumParams);
428 for (unsigned I = 0; I != NumParams; ++I)
429 Params.push_back(cast<ParmVarDecl>(Reader.GetDecl(Record[Idx++])));
Fariborz Jahaniancdabb312010-04-09 15:40:42 +0000430 MD->setMethodParams(*Reader.getContext(), Params.data(), NumParams,
431 NumParams);
Chris Lattner487412d2009-04-27 05:27:42 +0000432}
433
Sebastian Redlb3298c32010-08-18 23:56:48 +0000434void ASTDeclReader::VisitObjCContainerDecl(ObjCContainerDecl *CD) {
Chris Lattner487412d2009-04-27 05:27:42 +0000435 VisitNamedDecl(CD);
Sebastian Redl2c373b92010-10-05 15:59:54 +0000436 SourceLocation A = ReadSourceLocation(Record, Idx);
437 SourceLocation B = ReadSourceLocation(Record, Idx);
Ted Kremenekc7c64312010-01-07 01:20:12 +0000438 CD->setAtEndRange(SourceRange(A, B));
Chris Lattner487412d2009-04-27 05:27:42 +0000439}
440
Sebastian Redlb3298c32010-08-18 23:56:48 +0000441void ASTDeclReader::VisitObjCInterfaceDecl(ObjCInterfaceDecl *ID) {
Chris Lattner487412d2009-04-27 05:27:42 +0000442 VisitObjCContainerDecl(ID);
Douglas Gregor1c283312010-08-11 12:19:30 +0000443 ID->setTypeForDecl(Reader.GetType(Record[Idx++]).getTypePtr());
Chris Lattner487412d2009-04-27 05:27:42 +0000444 ID->setSuperClass(cast_or_null<ObjCInterfaceDecl>
445 (Reader.GetDecl(Record[Idx++])));
Ted Kremenek0ef508d2010-09-01 01:21:15 +0000446
447 // Read the directly referenced protocols and their SourceLocations.
Chris Lattner487412d2009-04-27 05:27:42 +0000448 unsigned NumProtocols = Record[Idx++];
449 llvm::SmallVector<ObjCProtocolDecl *, 16> Protocols;
450 Protocols.reserve(NumProtocols);
451 for (unsigned I = 0; I != NumProtocols; ++I)
452 Protocols.push_back(cast<ObjCProtocolDecl>(Reader.GetDecl(Record[Idx++])));
Douglas Gregor002b6712010-01-16 15:02:53 +0000453 llvm::SmallVector<SourceLocation, 16> ProtoLocs;
454 ProtoLocs.reserve(NumProtocols);
455 for (unsigned I = 0; I != NumProtocols; ++I)
Sebastian Redl2c373b92010-10-05 15:59:54 +0000456 ProtoLocs.push_back(ReadSourceLocation(Record, Idx));
Douglas Gregor002b6712010-01-16 15:02:53 +0000457 ID->setProtocolList(Protocols.data(), NumProtocols, ProtoLocs.data(),
458 *Reader.getContext());
Ted Kremenek0ef508d2010-09-01 01:21:15 +0000459
460 // Read the transitive closure of protocols referenced by this class.
461 NumProtocols = Record[Idx++];
462 Protocols.clear();
463 Protocols.reserve(NumProtocols);
464 for (unsigned I = 0; I != NumProtocols; ++I)
465 Protocols.push_back(cast<ObjCProtocolDecl>(Reader.GetDecl(Record[Idx++])));
466 ID->AllReferencedProtocols.set(Protocols.data(), NumProtocols,
467 *Reader.getContext());
468
469 // Read the ivars.
Chris Lattner487412d2009-04-27 05:27:42 +0000470 unsigned NumIvars = Record[Idx++];
471 llvm::SmallVector<ObjCIvarDecl *, 16> IVars;
472 IVars.reserve(NumIvars);
473 for (unsigned I = 0; I != NumIvars; ++I)
474 IVars.push_back(cast<ObjCIvarDecl>(Reader.GetDecl(Record[Idx++])));
Chris Lattner487412d2009-04-27 05:27:42 +0000475 ID->setCategoryList(
476 cast_or_null<ObjCCategoryDecl>(Reader.GetDecl(Record[Idx++])));
Fariborz Jahaniana50b3a22010-08-20 21:21:08 +0000477 // We will rebuild this list lazily.
478 ID->setIvarList(0);
Douglas Gregor1c283312010-08-11 12:19:30 +0000479 ID->setForwardDecl(Record[Idx++]);
480 ID->setImplicitInterfaceDecl(Record[Idx++]);
Sebastian Redl2c373b92010-10-05 15:59:54 +0000481 ID->setClassLoc(ReadSourceLocation(Record, Idx));
482 ID->setSuperClassLoc(ReadSourceLocation(Record, Idx));
483 ID->setLocEnd(ReadSourceLocation(Record, Idx));
Chris Lattner487412d2009-04-27 05:27:42 +0000484}
485
Sebastian Redlb3298c32010-08-18 23:56:48 +0000486void ASTDeclReader::VisitObjCIvarDecl(ObjCIvarDecl *IVD) {
Chris Lattner487412d2009-04-27 05:27:42 +0000487 VisitFieldDecl(IVD);
488 IVD->setAccessControl((ObjCIvarDecl::AccessControl)Record[Idx++]);
Fariborz Jahaniana50b3a22010-08-20 21:21:08 +0000489 // This field will be built lazily.
490 IVD->setNextIvar(0);
Fariborz Jahanianaea8e1e2010-07-17 18:35:47 +0000491 bool synth = Record[Idx++];
492 IVD->setSynthesize(synth);
Chris Lattner487412d2009-04-27 05:27:42 +0000493}
494
Sebastian Redlb3298c32010-08-18 23:56:48 +0000495void ASTDeclReader::VisitObjCProtocolDecl(ObjCProtocolDecl *PD) {
Chris Lattner487412d2009-04-27 05:27:42 +0000496 VisitObjCContainerDecl(PD);
497 PD->setForwardDecl(Record[Idx++]);
Sebastian Redl2c373b92010-10-05 15:59:54 +0000498 PD->setLocEnd(ReadSourceLocation(Record, Idx));
Chris Lattner487412d2009-04-27 05:27:42 +0000499 unsigned NumProtoRefs = Record[Idx++];
500 llvm::SmallVector<ObjCProtocolDecl *, 16> ProtoRefs;
501 ProtoRefs.reserve(NumProtoRefs);
502 for (unsigned I = 0; I != NumProtoRefs; ++I)
503 ProtoRefs.push_back(cast<ObjCProtocolDecl>(Reader.GetDecl(Record[Idx++])));
Douglas Gregor002b6712010-01-16 15:02:53 +0000504 llvm::SmallVector<SourceLocation, 16> ProtoLocs;
505 ProtoLocs.reserve(NumProtoRefs);
506 for (unsigned I = 0; I != NumProtoRefs; ++I)
Sebastian Redl2c373b92010-10-05 15:59:54 +0000507 ProtoLocs.push_back(ReadSourceLocation(Record, Idx));
Douglas Gregor002b6712010-01-16 15:02:53 +0000508 PD->setProtocolList(ProtoRefs.data(), NumProtoRefs, ProtoLocs.data(),
509 *Reader.getContext());
Chris Lattner487412d2009-04-27 05:27:42 +0000510}
511
Sebastian Redlb3298c32010-08-18 23:56:48 +0000512void ASTDeclReader::VisitObjCAtDefsFieldDecl(ObjCAtDefsFieldDecl *FD) {
Chris Lattner487412d2009-04-27 05:27:42 +0000513 VisitFieldDecl(FD);
514}
515
Sebastian Redlb3298c32010-08-18 23:56:48 +0000516void ASTDeclReader::VisitObjCClassDecl(ObjCClassDecl *CD) {
Chris Lattner487412d2009-04-27 05:27:42 +0000517 VisitDecl(CD);
518 unsigned NumClassRefs = Record[Idx++];
519 llvm::SmallVector<ObjCInterfaceDecl *, 16> ClassRefs;
520 ClassRefs.reserve(NumClassRefs);
521 for (unsigned I = 0; I != NumClassRefs; ++I)
522 ClassRefs.push_back(cast<ObjCInterfaceDecl>(Reader.GetDecl(Record[Idx++])));
Ted Kremenek9b124e12009-11-18 00:28:11 +0000523 llvm::SmallVector<SourceLocation, 16> SLocs;
524 SLocs.reserve(NumClassRefs);
525 for (unsigned I = 0; I != NumClassRefs; ++I)
Sebastian Redl2c373b92010-10-05 15:59:54 +0000526 SLocs.push_back(ReadSourceLocation(Record, Idx));
Ted Kremenek9b124e12009-11-18 00:28:11 +0000527 CD->setClassList(*Reader.getContext(), ClassRefs.data(), SLocs.data(),
528 NumClassRefs);
Chris Lattner487412d2009-04-27 05:27:42 +0000529}
530
Sebastian Redlb3298c32010-08-18 23:56:48 +0000531void ASTDeclReader::VisitObjCForwardProtocolDecl(ObjCForwardProtocolDecl *FPD) {
Chris Lattner487412d2009-04-27 05:27:42 +0000532 VisitDecl(FPD);
533 unsigned NumProtoRefs = Record[Idx++];
534 llvm::SmallVector<ObjCProtocolDecl *, 16> ProtoRefs;
535 ProtoRefs.reserve(NumProtoRefs);
536 for (unsigned I = 0; I != NumProtoRefs; ++I)
537 ProtoRefs.push_back(cast<ObjCProtocolDecl>(Reader.GetDecl(Record[Idx++])));
Douglas Gregor002b6712010-01-16 15:02:53 +0000538 llvm::SmallVector<SourceLocation, 16> ProtoLocs;
539 ProtoLocs.reserve(NumProtoRefs);
540 for (unsigned I = 0; I != NumProtoRefs; ++I)
Sebastian Redl2c373b92010-10-05 15:59:54 +0000541 ProtoLocs.push_back(ReadSourceLocation(Record, Idx));
Douglas Gregor002b6712010-01-16 15:02:53 +0000542 FPD->setProtocolList(ProtoRefs.data(), NumProtoRefs, ProtoLocs.data(),
543 *Reader.getContext());
Chris Lattner487412d2009-04-27 05:27:42 +0000544}
545
Sebastian Redlb3298c32010-08-18 23:56:48 +0000546void ASTDeclReader::VisitObjCCategoryDecl(ObjCCategoryDecl *CD) {
Chris Lattner487412d2009-04-27 05:27:42 +0000547 VisitObjCContainerDecl(CD);
548 CD->setClassInterface(cast<ObjCInterfaceDecl>(Reader.GetDecl(Record[Idx++])));
549 unsigned NumProtoRefs = Record[Idx++];
550 llvm::SmallVector<ObjCProtocolDecl *, 16> ProtoRefs;
551 ProtoRefs.reserve(NumProtoRefs);
552 for (unsigned I = 0; I != NumProtoRefs; ++I)
553 ProtoRefs.push_back(cast<ObjCProtocolDecl>(Reader.GetDecl(Record[Idx++])));
Douglas Gregor002b6712010-01-16 15:02:53 +0000554 llvm::SmallVector<SourceLocation, 16> ProtoLocs;
555 ProtoLocs.reserve(NumProtoRefs);
556 for (unsigned I = 0; I != NumProtoRefs; ++I)
Sebastian Redl2c373b92010-10-05 15:59:54 +0000557 ProtoLocs.push_back(ReadSourceLocation(Record, Idx));
Douglas Gregor002b6712010-01-16 15:02:53 +0000558 CD->setProtocolList(ProtoRefs.data(), NumProtoRefs, ProtoLocs.data(),
559 *Reader.getContext());
Chris Lattner487412d2009-04-27 05:27:42 +0000560 CD->setNextClassCategory(cast_or_null<ObjCCategoryDecl>(Reader.GetDecl(Record[Idx++])));
Fariborz Jahanianbf9294f2010-08-23 18:51:39 +0000561 CD->setHasSynthBitfield(Record[Idx++]);
Sebastian Redl2c373b92010-10-05 15:59:54 +0000562 CD->setAtLoc(ReadSourceLocation(Record, Idx));
563 CD->setCategoryNameLoc(ReadSourceLocation(Record, Idx));
Chris Lattner487412d2009-04-27 05:27:42 +0000564}
565
Sebastian Redlb3298c32010-08-18 23:56:48 +0000566void ASTDeclReader::VisitObjCCompatibleAliasDecl(ObjCCompatibleAliasDecl *CAD) {
Chris Lattner487412d2009-04-27 05:27:42 +0000567 VisitNamedDecl(CAD);
568 CAD->setClassInterface(cast<ObjCInterfaceDecl>(Reader.GetDecl(Record[Idx++])));
569}
570
Sebastian Redlb3298c32010-08-18 23:56:48 +0000571void ASTDeclReader::VisitObjCPropertyDecl(ObjCPropertyDecl *D) {
Chris Lattner487412d2009-04-27 05:27:42 +0000572 VisitNamedDecl(D);
Sebastian Redl2c373b92010-10-05 15:59:54 +0000573 D->setAtLoc(ReadSourceLocation(Record, Idx));
574 D->setType(GetTypeSourceInfo(Record, Idx));
Chris Lattner487412d2009-04-27 05:27:42 +0000575 // FIXME: stable encoding
576 D->setPropertyAttributes(
577 (ObjCPropertyDecl::PropertyAttributeKind)Record[Idx++]);
Fariborz Jahanian3bf0ded2010-06-22 23:20:40 +0000578 D->setPropertyAttributesAsWritten(
579 (ObjCPropertyDecl::PropertyAttributeKind)Record[Idx++]);
Chris Lattner487412d2009-04-27 05:27:42 +0000580 // FIXME: stable encoding
581 D->setPropertyImplementation(
582 (ObjCPropertyDecl::PropertyControl)Record[Idx++]);
583 D->setGetterName(Reader.ReadDeclarationName(Record, Idx).getObjCSelector());
584 D->setSetterName(Reader.ReadDeclarationName(Record, Idx).getObjCSelector());
585 D->setGetterMethodDecl(
586 cast_or_null<ObjCMethodDecl>(Reader.GetDecl(Record[Idx++])));
587 D->setSetterMethodDecl(
588 cast_or_null<ObjCMethodDecl>(Reader.GetDecl(Record[Idx++])));
589 D->setPropertyIvarDecl(
590 cast_or_null<ObjCIvarDecl>(Reader.GetDecl(Record[Idx++])));
591}
592
Sebastian Redlb3298c32010-08-18 23:56:48 +0000593void ASTDeclReader::VisitObjCImplDecl(ObjCImplDecl *D) {
Argyrios Kyrtzidis067c4072009-07-27 19:04:32 +0000594 VisitObjCContainerDecl(D);
Chris Lattner487412d2009-04-27 05:27:42 +0000595 D->setClassInterface(
596 cast_or_null<ObjCInterfaceDecl>(Reader.GetDecl(Record[Idx++])));
Chris Lattner487412d2009-04-27 05:27:42 +0000597}
598
Sebastian Redlb3298c32010-08-18 23:56:48 +0000599void ASTDeclReader::VisitObjCCategoryImplDecl(ObjCCategoryImplDecl *D) {
Chris Lattner487412d2009-04-27 05:27:42 +0000600 VisitObjCImplDecl(D);
601 D->setIdentifier(Reader.GetIdentifierInfo(Record, Idx));
602}
603
Sebastian Redlb3298c32010-08-18 23:56:48 +0000604void ASTDeclReader::VisitObjCImplementationDecl(ObjCImplementationDecl *D) {
Chris Lattner487412d2009-04-27 05:27:42 +0000605 VisitObjCImplDecl(D);
606 D->setSuperClass(
607 cast_or_null<ObjCInterfaceDecl>(Reader.GetDecl(Record[Idx++])));
Argyrios Kyrtzidis13257c52010-08-09 10:54:20 +0000608 llvm::tie(D->IvarInitializers, D->NumIvarInitializers)
Sebastian Redl2c373b92010-10-05 15:59:54 +0000609 = Reader.ReadCXXBaseOrMemberInitializers(F, Record, Idx);
Fariborz Jahanianbf9294f2010-08-23 18:51:39 +0000610 D->setHasSynthBitfield(Record[Idx++]);
Chris Lattner487412d2009-04-27 05:27:42 +0000611}
612
613
Sebastian Redlb3298c32010-08-18 23:56:48 +0000614void ASTDeclReader::VisitObjCPropertyImplDecl(ObjCPropertyImplDecl *D) {
Chris Lattner487412d2009-04-27 05:27:42 +0000615 VisitDecl(D);
Sebastian Redl2c373b92010-10-05 15:59:54 +0000616 D->setAtLoc(ReadSourceLocation(Record, Idx));
Chris Lattner487412d2009-04-27 05:27:42 +0000617 D->setPropertyDecl(
618 cast_or_null<ObjCPropertyDecl>(Reader.GetDecl(Record[Idx++])));
619 D->setPropertyIvarDecl(
620 cast_or_null<ObjCIvarDecl>(Reader.GetDecl(Record[Idx++])));
Sebastian Redl2c373b92010-10-05 15:59:54 +0000621 D->setGetterCXXConstructor(Reader.ReadExpr(F));
622 D->setSetterCXXAssignment(Reader.ReadExpr(F));
Chris Lattner487412d2009-04-27 05:27:42 +0000623}
624
Sebastian Redlb3298c32010-08-18 23:56:48 +0000625void ASTDeclReader::VisitFieldDecl(FieldDecl *FD) {
Argyrios Kyrtzidis560ac972009-08-19 01:28:35 +0000626 VisitDeclaratorDecl(FD);
Chris Lattner487412d2009-04-27 05:27:42 +0000627 FD->setMutable(Record[Idx++]);
628 if (Record[Idx++])
Sebastian Redl2c373b92010-10-05 15:59:54 +0000629 FD->setBitWidth(Reader.ReadExpr(F));
Argyrios Kyrtzidis6685e8a2010-07-04 21:44:35 +0000630 if (!FD->getDeclName()) {
631 FieldDecl *Tmpl = cast_or_null<FieldDecl>(Reader.GetDecl(Record[Idx++]));
632 if (Tmpl)
633 Reader.getContext()->setInstantiatedFromUnnamedFieldDecl(FD, Tmpl);
634 }
Chris Lattner487412d2009-04-27 05:27:42 +0000635}
636
Sebastian Redlb3298c32010-08-18 23:56:48 +0000637void ASTDeclReader::VisitVarDecl(VarDecl *VD) {
Argyrios Kyrtzidis560ac972009-08-19 01:28:35 +0000638 VisitDeclaratorDecl(VD);
Argyrios Kyrtzidisf4bc0d82010-09-08 19:31:22 +0000639 VisitRedeclarable(VD);
John McCall8e7d6562010-08-26 03:08:43 +0000640 VD->setStorageClass((StorageClass)Record[Idx++]);
641 VD->setStorageClassAsWritten((StorageClass)Record[Idx++]);
Chris Lattner487412d2009-04-27 05:27:42 +0000642 VD->setThreadSpecified(Record[Idx++]);
643 VD->setCXXDirectInitializer(Record[Idx++]);
Douglas Gregor3f324d562010-05-03 18:51:14 +0000644 VD->setExceptionVariable(Record[Idx++]);
Douglas Gregor6fd1b182010-05-15 06:01:05 +0000645 VD->setNRVOVariable(Record[Idx++]);
Chris Lattner487412d2009-04-27 05:27:42 +0000646 if (Record[Idx++])
Sebastian Redl2c373b92010-10-05 15:59:54 +0000647 VD->setInit(Reader.ReadExpr(F));
Argyrios Kyrtzidiscdb8b3f2010-07-04 21:44:00 +0000648
649 if (Record[Idx++]) { // HasMemberSpecializationInfo.
650 VarDecl *Tmpl = cast<VarDecl>(Reader.GetDecl(Record[Idx++]));
651 TemplateSpecializationKind TSK = (TemplateSpecializationKind)Record[Idx++];
Sebastian Redl2c373b92010-10-05 15:59:54 +0000652 SourceLocation POI = ReadSourceLocation(Record, Idx);
Argyrios Kyrtzidiscdb8b3f2010-07-04 21:44:00 +0000653 Reader.getContext()->setInstantiatedFromStaticDataMember(VD, Tmpl, TSK,POI);
654 }
Chris Lattner487412d2009-04-27 05:27:42 +0000655}
656
Sebastian Redlb3298c32010-08-18 23:56:48 +0000657void ASTDeclReader::VisitImplicitParamDecl(ImplicitParamDecl *PD) {
Chris Lattner487412d2009-04-27 05:27:42 +0000658 VisitVarDecl(PD);
659}
660
Sebastian Redlb3298c32010-08-18 23:56:48 +0000661void ASTDeclReader::VisitParmVarDecl(ParmVarDecl *PD) {
Chris Lattner487412d2009-04-27 05:27:42 +0000662 VisitVarDecl(PD);
663 PD->setObjCDeclQualifier((Decl::ObjCDeclQualifier)Record[Idx++]);
John McCallf3cd6652010-03-12 18:31:32 +0000664 PD->setHasInheritedDefaultArg(Record[Idx++]);
Argyrios Kyrtzidisccde6a02010-07-04 21:44:07 +0000665 if (Record[Idx++]) // hasUninstantiatedDefaultArg.
Sebastian Redl2c373b92010-10-05 15:59:54 +0000666 PD->setUninstantiatedDefaultArg(Reader.ReadExpr(F));
Chris Lattner487412d2009-04-27 05:27:42 +0000667}
668
Sebastian Redlb3298c32010-08-18 23:56:48 +0000669void ASTDeclReader::VisitFileScopeAsmDecl(FileScopeAsmDecl *AD) {
Chris Lattner487412d2009-04-27 05:27:42 +0000670 VisitDecl(AD);
Sebastian Redl2c373b92010-10-05 15:59:54 +0000671 AD->setAsmString(cast<StringLiteral>(Reader.ReadExpr(F)));
Chris Lattner487412d2009-04-27 05:27:42 +0000672}
673
Sebastian Redlb3298c32010-08-18 23:56:48 +0000674void ASTDeclReader::VisitBlockDecl(BlockDecl *BD) {
Chris Lattner487412d2009-04-27 05:27:42 +0000675 VisitDecl(BD);
Sebastian Redl2c373b92010-10-05 15:59:54 +0000676 BD->setBody(cast_or_null<CompoundStmt>(Reader.ReadStmt(F)));
677 BD->setSignatureAsWritten(GetTypeSourceInfo(Record, Idx));
Chris Lattner487412d2009-04-27 05:27:42 +0000678 unsigned NumParams = Record[Idx++];
679 llvm::SmallVector<ParmVarDecl *, 16> Params;
680 Params.reserve(NumParams);
681 for (unsigned I = 0; I != NumParams; ++I)
682 Params.push_back(cast<ParmVarDecl>(Reader.GetDecl(Record[Idx++])));
Douglas Gregord5058122010-02-11 01:19:42 +0000683 BD->setParams(Params.data(), NumParams);
Chris Lattner487412d2009-04-27 05:27:42 +0000684}
685
Sebastian Redlb3298c32010-08-18 23:56:48 +0000686void ASTDeclReader::VisitLinkageSpecDecl(LinkageSpecDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +0000687 VisitDecl(D);
688 D->setLanguage((LinkageSpecDecl::LanguageIDs)Record[Idx++]);
689 D->setHasBraces(Record[Idx++]);
690}
691
Sebastian Redlb3298c32010-08-18 23:56:48 +0000692void ASTDeclReader::VisitNamespaceDecl(NamespaceDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +0000693 VisitNamedDecl(D);
Douglas Gregor44e5c1f2010-10-05 20:41:58 +0000694 D->IsInline = Record[Idx++];
Douglas Gregor417e87c2010-10-27 19:49:05 +0000695 D->LBracLoc = ReadSourceLocation(Record, Idx);
696 D->RBracLoc = ReadSourceLocation(Record, Idx);
697 D->NextNamespace = Record[Idx++];
Chris Lattnerca025db2010-05-07 21:43:38 +0000698
Chris Lattnerca025db2010-05-07 21:43:38 +0000699 bool IsOriginal = Record[Idx++];
Argyrios Kyrtzidisdae2a162010-07-03 07:57:53 +0000700 D->OrigOrAnonNamespace.setInt(IsOriginal);
701 D->OrigOrAnonNamespace.setPointer(
Chris Lattnerca025db2010-05-07 21:43:38 +0000702 cast_or_null<NamespaceDecl>(Reader.GetDecl(Record[Idx++])));
703}
704
Sebastian Redlb3298c32010-08-18 23:56:48 +0000705void ASTDeclReader::VisitNamespaceAliasDecl(NamespaceAliasDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +0000706 VisitNamedDecl(D);
Sebastian Redl2c373b92010-10-05 15:59:54 +0000707 D->NamespaceLoc = ReadSourceLocation(Record, Idx);
708 D->setQualifierRange(ReadSourceRange(Record, Idx));
Chris Lattnerca025db2010-05-07 21:43:38 +0000709 D->setQualifier(Reader.ReadNestedNameSpecifier(Record, Idx));
Sebastian Redl2c373b92010-10-05 15:59:54 +0000710 D->IdentLoc = ReadSourceLocation(Record, Idx);
Douglas Gregorf9e43ce2010-09-01 00:08:19 +0000711 D->Namespace = cast<NamedDecl>(Reader.GetDecl(Record[Idx++]));
Chris Lattnerca025db2010-05-07 21:43:38 +0000712}
713
Sebastian Redlb3298c32010-08-18 23:56:48 +0000714void ASTDeclReader::VisitUsingDecl(UsingDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +0000715 VisitNamedDecl(D);
Sebastian Redl2c373b92010-10-05 15:59:54 +0000716 D->setUsingLocation(ReadSourceLocation(Record, Idx));
717 D->setNestedNameRange(ReadSourceRange(Record, Idx));
Chris Lattnerca025db2010-05-07 21:43:38 +0000718 D->setTargetNestedNameDecl(Reader.ReadNestedNameSpecifier(Record, Idx));
Argyrios Kyrtzidis434383d2010-10-15 18:21:24 +0000719 ReadDeclarationNameLoc(D->DNLoc, D->getDeclName(), Record, Idx);
Chris Lattnerca025db2010-05-07 21:43:38 +0000720
721 // FIXME: It would probably be more efficient to read these into a vector
722 // and then re-cosntruct the shadow decl set over that vector since it
723 // would avoid existence checks.
724 unsigned NumShadows = Record[Idx++];
725 for(unsigned I = 0; I != NumShadows; ++I) {
Argyrios Kyrtzidis00dda6a2010-07-08 13:09:41 +0000726 // Avoid invariant checking of UsingDecl::addShadowDecl, the decl may still
727 // be initializing.
728 D->Shadows.insert(cast<UsingShadowDecl>(Reader.GetDecl(Record[Idx++])));
Chris Lattnerca025db2010-05-07 21:43:38 +0000729 }
730 D->setTypeName(Record[Idx++]);
Argyrios Kyrtzidis6685e8a2010-07-04 21:44:35 +0000731 NamedDecl *Pattern = cast_or_null<NamedDecl>(Reader.GetDecl(Record[Idx++]));
732 if (Pattern)
733 Reader.getContext()->setInstantiatedFromUsingDecl(D, Pattern);
Chris Lattnerca025db2010-05-07 21:43:38 +0000734}
735
Sebastian Redlb3298c32010-08-18 23:56:48 +0000736void ASTDeclReader::VisitUsingShadowDecl(UsingShadowDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +0000737 VisitNamedDecl(D);
738 D->setTargetDecl(cast<NamedDecl>(Reader.GetDecl(Record[Idx++])));
739 D->setUsingDecl(cast<UsingDecl>(Reader.GetDecl(Record[Idx++])));
Argyrios Kyrtzidis6685e8a2010-07-04 21:44:35 +0000740 UsingShadowDecl *Pattern
741 = cast_or_null<UsingShadowDecl>(Reader.GetDecl(Record[Idx++]));
742 if (Pattern)
743 Reader.getContext()->setInstantiatedFromUsingShadowDecl(D, Pattern);
Chris Lattnerca025db2010-05-07 21:43:38 +0000744}
745
Sebastian Redlb3298c32010-08-18 23:56:48 +0000746void ASTDeclReader::VisitUsingDirectiveDecl(UsingDirectiveDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +0000747 VisitNamedDecl(D);
Sebastian Redl2c373b92010-10-05 15:59:54 +0000748 D->UsingLoc = ReadSourceLocation(Record, Idx);
749 D->NamespaceLoc = ReadSourceLocation(Record, Idx);
750 D->QualifierRange = ReadSourceRange(Record, Idx);
Douglas Gregor01a430132010-09-01 03:07:18 +0000751 D->Qualifier = Reader.ReadNestedNameSpecifier(Record, Idx);
752 D->NominatedNamespace = cast<NamedDecl>(Reader.GetDecl(Record[Idx++]));
753 D->CommonAncestor = cast_or_null<DeclContext>(Reader.GetDecl(Record[Idx++]));
Chris Lattnerca025db2010-05-07 21:43:38 +0000754}
755
Sebastian Redlb3298c32010-08-18 23:56:48 +0000756void ASTDeclReader::VisitUnresolvedUsingValueDecl(UnresolvedUsingValueDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +0000757 VisitValueDecl(D);
Sebastian Redl2c373b92010-10-05 15:59:54 +0000758 D->setTargetNestedNameRange(ReadSourceRange(Record, Idx));
759 D->setUsingLoc(ReadSourceLocation(Record, Idx));
Chris Lattnerca025db2010-05-07 21:43:38 +0000760 D->setTargetNestedNameSpecifier(Reader.ReadNestedNameSpecifier(Record, Idx));
Argyrios Kyrtzidis434383d2010-10-15 18:21:24 +0000761 ReadDeclarationNameLoc(D->DNLoc, D->getDeclName(), Record, Idx);
Chris Lattnerca025db2010-05-07 21:43:38 +0000762}
763
Sebastian Redlb3298c32010-08-18 23:56:48 +0000764void ASTDeclReader::VisitUnresolvedUsingTypenameDecl(
Chris Lattnerca025db2010-05-07 21:43:38 +0000765 UnresolvedUsingTypenameDecl *D) {
766 VisitTypeDecl(D);
Sebastian Redl2c373b92010-10-05 15:59:54 +0000767 D->TargetNestedNameRange = ReadSourceRange(Record, Idx);
768 D->UsingLocation = ReadSourceLocation(Record, Idx);
769 D->TypenameLocation = ReadSourceLocation(Record, Idx);
Douglas Gregora9aa29c2010-09-01 19:52:22 +0000770 D->TargetNestedNameSpecifier = Reader.ReadNestedNameSpecifier(Record, Idx);
Chris Lattnerca025db2010-05-07 21:43:38 +0000771}
772
Argyrios Kyrtzidis8b200a52010-10-24 17:26:27 +0000773void ASTDeclReader::ReadCXXDefinitionData(
Argyrios Kyrtzidiseb39d9a2010-10-24 17:26:40 +0000774 struct CXXRecordDecl::DefinitionData &Data,
775 const RecordData &Record, unsigned &Idx) {
Argyrios Kyrtzidis8b200a52010-10-24 17:26:27 +0000776 Data.UserDeclaredConstructor = Record[Idx++];
777 Data.UserDeclaredCopyConstructor = Record[Idx++];
778 Data.UserDeclaredCopyAssignment = Record[Idx++];
779 Data.UserDeclaredDestructor = Record[Idx++];
780 Data.Aggregate = Record[Idx++];
781 Data.PlainOldData = Record[Idx++];
782 Data.Empty = Record[Idx++];
783 Data.Polymorphic = Record[Idx++];
784 Data.Abstract = Record[Idx++];
785 Data.HasTrivialConstructor = Record[Idx++];
786 Data.HasTrivialCopyConstructor = Record[Idx++];
787 Data.HasTrivialCopyAssignment = Record[Idx++];
788 Data.HasTrivialDestructor = Record[Idx++];
789 Data.ComputedVisibleConversions = Record[Idx++];
790 Data.DeclaredDefaultConstructor = Record[Idx++];
791 Data.DeclaredCopyConstructor = Record[Idx++];
792 Data.DeclaredCopyAssignment = Record[Idx++];
793 Data.DeclaredDestructor = Record[Idx++];
Argyrios Kyrtzidis8b200a52010-10-24 17:26:27 +0000794 Data.NumBases = Record[Idx++];
Douglas Gregord4c5ed02010-10-29 22:39:52 +0000795 if (Data.NumBases)
796 Data.Bases = Reader.GetCXXBaseSpecifiersOffset(Record[Idx++]);
Argyrios Kyrtzidis8b200a52010-10-24 17:26:27 +0000797 Data.NumVBases = Record[Idx++];
Douglas Gregord4c5ed02010-10-29 22:39:52 +0000798 if (Data.NumVBases)
799 Data.VBases = Reader.GetCXXBaseSpecifiersOffset(Record[Idx++]);
800
Argyrios Kyrtzidis8b200a52010-10-24 17:26:27 +0000801 Reader.ReadUnresolvedSet(Data.Conversions, Record, Idx);
802 Reader.ReadUnresolvedSet(Data.VisibleConversions, Record, Idx);
803 assert(Data.Definition && "Data.Definition should be already set!");
804 Data.FirstFriend
805 = cast_or_null<FriendDecl>(Reader.GetDecl(Record[Idx++]));
806}
807
Argyrios Kyrtzidiseb39d9a2010-10-24 17:26:40 +0000808void ASTDeclReader::InitializeCXXDefinitionData(CXXRecordDecl *D,
809 CXXRecordDecl *DefinitionDecl,
810 const RecordData &Record,
811 unsigned &Idx) {
Argyrios Kyrtzidisad5f95c2010-10-24 17:26:31 +0000812 ASTContext &C = *Reader.getContext();
Argyrios Kyrtzidisa41f6602010-10-20 00:11:15 +0000813
Argyrios Kyrtzidisad5f95c2010-10-24 17:26:31 +0000814 if (D == DefinitionDecl) {
815 D->DefinitionData = new (C) struct CXXRecordDecl::DefinitionData(D);
Argyrios Kyrtzidiseb39d9a2010-10-24 17:26:40 +0000816 ReadCXXDefinitionData(*D->DefinitionData, Record, Idx);
Argyrios Kyrtzidisad5f95c2010-10-24 17:26:31 +0000817 // We read the definition info. Check if there are pending forward
818 // references that need to point to this DefinitionData pointer.
819 ASTReader::PendingForwardRefsMap::iterator
820 FindI = Reader.PendingForwardRefs.find(D);
821 if (FindI != Reader.PendingForwardRefs.end()) {
822 ASTReader::ForwardRefs &Refs = FindI->second;
823 for (ASTReader::ForwardRefs::iterator
824 I = Refs.begin(), E = Refs.end(); I != E; ++I)
825 (*I)->DefinitionData = D->DefinitionData;
826#ifndef NDEBUG
827 // We later check whether PendingForwardRefs is empty to make sure all
828 // pending references were linked.
829 Reader.PendingForwardRefs.erase(D);
830#endif
831 }
832 } else if (DefinitionDecl) {
833 if (DefinitionDecl->DefinitionData) {
834 D->DefinitionData = DefinitionDecl->DefinitionData;
835 } else {
836 // The definition is still initializing.
837 Reader.PendingForwardRefs[DefinitionDecl].push_back(D);
838 }
Argyrios Kyrtzidis2c2167a2010-07-02 11:55:32 +0000839 }
Argyrios Kyrtzidiseb39d9a2010-10-24 17:26:40 +0000840}
841
842void ASTDeclReader::VisitCXXRecordDecl(CXXRecordDecl *D) {
843 VisitRecordDecl(D);
844
845 CXXRecordDecl *DefinitionDecl
846 = cast_or_null<CXXRecordDecl>(Reader.GetDecl(Record[Idx++]));
847 InitializeCXXDefinitionData(D, DefinitionDecl, Record, Idx);
848
849 ASTContext &C = *Reader.getContext();
Argyrios Kyrtzidis2c2167a2010-07-02 11:55:32 +0000850
Argyrios Kyrtzidis95c04ca2010-06-19 19:29:09 +0000851 enum CXXRecKind {
852 CXXRecNotTemplate = 0, CXXRecTemplate, CXXRecMemberSpecialization
853 };
854 switch ((CXXRecKind)Record[Idx++]) {
855 default:
Sebastian Redlb3298c32010-08-18 23:56:48 +0000856 assert(false && "Out of sync with ASTDeclWriter::VisitCXXRecordDecl?");
Argyrios Kyrtzidis95c04ca2010-06-19 19:29:09 +0000857 case CXXRecNotTemplate:
858 break;
859 case CXXRecTemplate:
Argyrios Kyrtzidiscaf82482010-09-13 11:45:25 +0000860 D->TemplateOrInstantiation
861 = cast<ClassTemplateDecl>(Reader.GetDecl(Record[Idx++]));
Argyrios Kyrtzidis95c04ca2010-06-19 19:29:09 +0000862 break;
863 case CXXRecMemberSpecialization: {
864 CXXRecordDecl *RD = cast<CXXRecordDecl>(Reader.GetDecl(Record[Idx++]));
865 TemplateSpecializationKind TSK = (TemplateSpecializationKind)Record[Idx++];
Sebastian Redl2c373b92010-10-05 15:59:54 +0000866 SourceLocation POI = ReadSourceLocation(Record, Idx);
Argyrios Kyrtzidiscaf82482010-09-13 11:45:25 +0000867 MemberSpecializationInfo *MSI = new (C) MemberSpecializationInfo(RD, TSK);
868 MSI->setPointOfInstantiation(POI);
869 D->TemplateOrInstantiation = MSI;
Argyrios Kyrtzidis95c04ca2010-06-19 19:29:09 +0000870 break;
871 }
872 }
Argyrios Kyrtzidis68431412010-10-14 20:14:38 +0000873
874 // Load the key function to avoid deserializing every method so we can
875 // compute it.
876 if (D->IsDefinition) {
877 CXXMethodDecl *Key
878 = cast_or_null<CXXMethodDecl>(Reader.GetDecl(Record[Idx++]));
879 if (Key)
880 C.KeyFunctions[D] = Key;
881 }
Chris Lattnerca025db2010-05-07 21:43:38 +0000882}
883
Sebastian Redlb3298c32010-08-18 23:56:48 +0000884void ASTDeclReader::VisitCXXMethodDecl(CXXMethodDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +0000885 VisitFunctionDecl(D);
Argyrios Kyrtzidis6685e8a2010-07-04 21:44:35 +0000886 unsigned NumOverridenMethods = Record[Idx++];
887 while (NumOverridenMethods--) {
888 CXXMethodDecl *MD = cast<CXXMethodDecl>(Reader.GetDecl(Record[Idx++]));
889 // Avoid invariant checking of CXXMethodDecl::addOverriddenMethod,
890 // MD may be initializing.
891 Reader.getContext()->addOverriddenMethod(D, MD);
892 }
Chris Lattnerca025db2010-05-07 21:43:38 +0000893}
894
Sebastian Redlb3298c32010-08-18 23:56:48 +0000895void ASTDeclReader::VisitCXXConstructorDecl(CXXConstructorDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +0000896 VisitCXXMethodDecl(D);
Argyrios Kyrtzidis33575162010-07-02 15:58:43 +0000897
898 D->IsExplicitSpecified = Record[Idx++];
899 D->ImplicitlyDefined = Record[Idx++];
Argyrios Kyrtzidis5b6a03f2010-08-09 10:54:12 +0000900 llvm::tie(D->BaseOrMemberInitializers, D->NumBaseOrMemberInitializers)
Sebastian Redl2c373b92010-10-05 15:59:54 +0000901 = Reader.ReadCXXBaseOrMemberInitializers(F, Record, Idx);
Chris Lattnerca025db2010-05-07 21:43:38 +0000902}
903
Sebastian Redlb3298c32010-08-18 23:56:48 +0000904void ASTDeclReader::VisitCXXDestructorDecl(CXXDestructorDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +0000905 VisitCXXMethodDecl(D);
Argyrios Kyrtzidis33575162010-07-02 15:58:43 +0000906
907 D->ImplicitlyDefined = Record[Idx++];
908 D->OperatorDelete = cast_or_null<FunctionDecl>(Reader.GetDecl(Record[Idx++]));
Chris Lattnerca025db2010-05-07 21:43:38 +0000909}
910
Sebastian Redlb3298c32010-08-18 23:56:48 +0000911void ASTDeclReader::VisitCXXConversionDecl(CXXConversionDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +0000912 VisitCXXMethodDecl(D);
Argyrios Kyrtzidis33575162010-07-02 15:58:43 +0000913 D->IsExplicitSpecified = Record[Idx++];
Chris Lattnerca025db2010-05-07 21:43:38 +0000914}
915
Sebastian Redlb3298c32010-08-18 23:56:48 +0000916void ASTDeclReader::VisitAccessSpecDecl(AccessSpecDecl *D) {
Abramo Bagnarad7340582010-06-05 05:09:32 +0000917 VisitDecl(D);
Sebastian Redl2c373b92010-10-05 15:59:54 +0000918 D->setColonLoc(ReadSourceLocation(Record, Idx));
Abramo Bagnarad7340582010-06-05 05:09:32 +0000919}
920
Sebastian Redlb3298c32010-08-18 23:56:48 +0000921void ASTDeclReader::VisitFriendDecl(FriendDecl *D) {
Argyrios Kyrtzidisa95d0192010-07-05 10:38:01 +0000922 VisitDecl(D);
Argyrios Kyrtzidis74d28bd2010-06-29 22:47:00 +0000923 if (Record[Idx++])
Sebastian Redl2c373b92010-10-05 15:59:54 +0000924 D->Friend = GetTypeSourceInfo(Record, Idx);
Argyrios Kyrtzidis74d28bd2010-06-29 22:47:00 +0000925 else
926 D->Friend = cast<NamedDecl>(Reader.GetDecl(Record[Idx++]));
Douglas Gregore0fb32c2010-10-27 20:23:41 +0000927 D->NextFriend = Record[Idx++];
John McCall2c2eb122010-10-16 06:59:13 +0000928 D->UnsupportedFriend = (Record[Idx++] != 0);
Sebastian Redl2c373b92010-10-05 15:59:54 +0000929 D->FriendLoc = ReadSourceLocation(Record, Idx);
Argyrios Kyrtzidis74d28bd2010-06-29 22:47:00 +0000930}
931
Sebastian Redlb3298c32010-08-18 23:56:48 +0000932void ASTDeclReader::VisitFriendTemplateDecl(FriendTemplateDecl *D) {
Argyrios Kyrtzidis165b5812010-07-22 16:04:10 +0000933 VisitDecl(D);
934 unsigned NumParams = Record[Idx++];
935 D->NumParams = NumParams;
936 D->Params = new TemplateParameterList*[NumParams];
937 for (unsigned i = 0; i != NumParams; ++i)
Sebastian Redl2c373b92010-10-05 15:59:54 +0000938 D->Params[i] = Reader.ReadTemplateParameterList(F, Record, Idx);
Argyrios Kyrtzidis165b5812010-07-22 16:04:10 +0000939 if (Record[Idx++]) // HasFriendDecl
940 D->Friend = cast<NamedDecl>(Reader.GetDecl(Record[Idx++]));
941 else
Sebastian Redl2c373b92010-10-05 15:59:54 +0000942 D->Friend = GetTypeSourceInfo(Record, Idx);
943 D->FriendLoc = ReadSourceLocation(Record, Idx);
Chris Lattnerca025db2010-05-07 21:43:38 +0000944}
945
Sebastian Redlb3298c32010-08-18 23:56:48 +0000946void ASTDeclReader::VisitTemplateDecl(TemplateDecl *D) {
Argyrios Kyrtzidis95c04ca2010-06-19 19:29:09 +0000947 VisitNamedDecl(D);
948
Argyrios Kyrtzidis9f2d24a2010-07-08 17:12:57 +0000949 NamedDecl *TemplatedDecl
950 = cast_or_null<NamedDecl>(Reader.GetDecl(Record[Idx++]));
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +0000951 TemplateParameterList* TemplateParams
Sebastian Redl2c373b92010-10-05 15:59:54 +0000952 = Reader.ReadTemplateParameterList(F, Record, Idx);
Argyrios Kyrtzidis95c04ca2010-06-19 19:29:09 +0000953 D->init(TemplatedDecl, TemplateParams);
Chris Lattnerca025db2010-05-07 21:43:38 +0000954}
955
Sebastian Redlb3298c32010-08-18 23:56:48 +0000956void ASTDeclReader::VisitRedeclarableTemplateDecl(RedeclarableTemplateDecl *D) {
Argyrios Kyrtzidisf4bc0d82010-09-08 19:31:22 +0000957 // Initialize CommonOrPrev before VisitTemplateDecl so that getCommonPtr()
958 // can be used while this is still initializing.
Argyrios Kyrtzidis95c04ca2010-06-19 19:29:09 +0000959
Argyrios Kyrtzidisf4bc0d82010-09-08 19:31:22 +0000960 assert(D->CommonOrPrev.isNull() && "getCommonPtr was called earlier on this");
Peter Collingbourne91b25b72010-07-29 16:11:51 +0000961 RedeclarableTemplateDecl *PrevDecl =
962 cast_or_null<RedeclarableTemplateDecl>(Reader.GetDecl(Record[Idx++]));
963 assert((PrevDecl == 0 || PrevDecl->getKind() == D->getKind()) &&
964 "PrevDecl kind mismatch");
965 if (PrevDecl)
966 D->CommonOrPrev = PrevDecl;
Argyrios Kyrtzidis95c04ca2010-06-19 19:29:09 +0000967 if (PrevDecl == 0) {
Argyrios Kyrtzidisf4bc0d82010-09-08 19:31:22 +0000968 D->CommonOrPrev = D->newCommon(*Reader.getContext());
Peter Collingbourne91b25b72010-07-29 16:11:51 +0000969 if (RedeclarableTemplateDecl *RTD
970 = cast_or_null<RedeclarableTemplateDecl>(Reader.GetDecl(Record[Idx++]))) {
971 assert(RTD->getKind() == D->getKind() &&
972 "InstantiatedFromMemberTemplate kind mismatch");
973 D->setInstantiatedFromMemberTemplateImpl(RTD);
974 if (Record[Idx++])
975 D->setMemberSpecialization();
976 }
Peter Collingbourne2bf3d242010-07-29 16:12:01 +0000977
978 RedeclarableTemplateDecl *LatestDecl =
979 cast_or_null<RedeclarableTemplateDecl>(Reader.GetDecl(Record[Idx++]));
Argyrios Kyrtzidis839bbac2010-08-03 17:30:10 +0000980
981 // This decl is a first one and the latest declaration that it points to is
Sebastian Redld44cd6a2010-08-18 23:57:06 +0000982 // in the same AST file. However, if this actually needs to point to a
983 // redeclaration in another AST file, we need to update it by checking
Argyrios Kyrtzidis839bbac2010-08-03 17:30:10 +0000984 // the FirstLatestDeclIDs map which tracks this kind of decls.
985 assert(Reader.GetDecl(ThisDeclID) == D && "Invalid ThisDeclID ?");
Sebastian Redl2c499f62010-08-18 23:56:43 +0000986 ASTReader::FirstLatestDeclIDMap::iterator I
Argyrios Kyrtzidis839bbac2010-08-03 17:30:10 +0000987 = Reader.FirstLatestDeclIDs.find(ThisDeclID);
988 if (I != Reader.FirstLatestDeclIDs.end()) {
989 Decl *NewLatest = Reader.GetDecl(I->second);
990 assert((LatestDecl->getLocation().isInvalid() ||
991 NewLatest->getLocation().isInvalid() ||
Argyrios Kyrtzidis54b88e72010-10-20 23:48:40 +0000992 !Reader.SourceMgr.isBeforeInTranslationUnit(
993 NewLatest->getLocation(),
994 LatestDecl->getLocation())) &&
Argyrios Kyrtzidis839bbac2010-08-03 17:30:10 +0000995 "The new latest is supposed to come after the previous latest");
996 LatestDecl = cast<RedeclarableTemplateDecl>(NewLatest);
997 }
998
Peter Collingbourne2bf3d242010-07-29 16:12:01 +0000999 assert(LatestDecl->getKind() == D->getKind() && "Latest kind mismatch");
1000 D->getCommonPtr()->Latest = LatestDecl;
Peter Collingbourne91b25b72010-07-29 16:11:51 +00001001 }
Argyrios Kyrtzidisf4bc0d82010-09-08 19:31:22 +00001002
1003 VisitTemplateDecl(D);
1004 D->IdentifierNamespace = Record[Idx++];
Peter Collingbourne91b25b72010-07-29 16:11:51 +00001005}
1006
Sebastian Redlb3298c32010-08-18 23:56:48 +00001007void ASTDeclReader::VisitClassTemplateDecl(ClassTemplateDecl *D) {
Peter Collingbourne91b25b72010-07-29 16:11:51 +00001008 VisitRedeclarableTemplateDecl(D);
1009
1010 if (D->getPreviousDeclaration() == 0) {
Douglas Gregor7e8c4e02010-10-27 22:21:36 +00001011 // This ClassTemplateDecl owns a CommonPtr; read it to keep track of all of
1012 // the specializations.
1013 llvm::SmallVector<serialization::DeclID, 2> SpecIDs;
1014 SpecIDs.push_back(0);
1015
1016 // Specializations.
1017 unsigned Size = Record[Idx++];
1018 SpecIDs[0] += Size;
1019 SpecIDs.append(Record.begin() + Idx, Record.begin() + Idx + Size);
1020 Idx += Size;
Argyrios Kyrtzidis95c04ca2010-06-19 19:29:09 +00001021
Douglas Gregor7e8c4e02010-10-27 22:21:36 +00001022 // Partial specializations.
1023 Size = Record[Idx++];
1024 SpecIDs[0] += Size;
1025 SpecIDs.append(Record.begin() + Idx, Record.begin() + Idx + Size);
1026 Idx += Size;
Argyrios Kyrtzidis95c04ca2010-06-19 19:29:09 +00001027
Douglas Gregor7e8c4e02010-10-27 22:21:36 +00001028 if (SpecIDs[0]) {
1029 typedef serialization::DeclID DeclID;
1030
1031 ClassTemplateDecl::Common *CommonPtr = D->getCommonPtr();
1032 CommonPtr->LazySpecializations
1033 = new (*Reader.getContext()) DeclID [SpecIDs.size()];
1034 memcpy(CommonPtr->LazySpecializations, SpecIDs.data(),
1035 SpecIDs.size() * sizeof(DeclID));
1036 }
1037
Argyrios Kyrtzidis95c04ca2010-06-19 19:29:09 +00001038 // InjectedClassNameType is computed.
Argyrios Kyrtzidis95c04ca2010-06-19 19:29:09 +00001039 }
Chris Lattnerca025db2010-05-07 21:43:38 +00001040}
1041
Sebastian Redlb3298c32010-08-18 23:56:48 +00001042void ASTDeclReader::VisitClassTemplateSpecializationDecl(
Chris Lattnerca025db2010-05-07 21:43:38 +00001043 ClassTemplateSpecializationDecl *D) {
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001044 VisitCXXRecordDecl(D);
Argyrios Kyrtzidisb4c659b2010-09-13 11:45:32 +00001045
1046 ASTContext &C = *Reader.getContext();
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001047 if (Decl *InstD = Reader.GetDecl(Record[Idx++])) {
1048 if (ClassTemplateDecl *CTD = dyn_cast<ClassTemplateDecl>(InstD)) {
Argyrios Kyrtzidisb4c659b2010-09-13 11:45:32 +00001049 D->SpecializedTemplate = CTD;
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001050 } else {
1051 llvm::SmallVector<TemplateArgument, 8> TemplArgs;
Sebastian Redl2c373b92010-10-05 15:59:54 +00001052 Reader.ReadTemplateArgumentList(TemplArgs, F, Record, Idx);
Argyrios Kyrtzidisb4c659b2010-09-13 11:45:32 +00001053 TemplateArgumentList *ArgList
Douglas Gregor1ccc8412010-11-07 23:05:16 +00001054 = TemplateArgumentList::CreateCopy(C, TemplArgs.data(),
1055 TemplArgs.size());
Argyrios Kyrtzidisb4c659b2010-09-13 11:45:32 +00001056 ClassTemplateSpecializationDecl::SpecializedPartialSpecialization *PS
1057 = new (C) ClassTemplateSpecializationDecl::
1058 SpecializedPartialSpecialization();
1059 PS->PartialSpecialization
1060 = cast<ClassTemplatePartialSpecializationDecl>(InstD);
1061 PS->TemplateArgs = ArgList;
1062 D->SpecializedTemplate = PS;
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001063 }
1064 }
1065
1066 // Explicit info.
Sebastian Redl2c373b92010-10-05 15:59:54 +00001067 if (TypeSourceInfo *TyInfo = GetTypeSourceInfo(Record, Idx)) {
Argyrios Kyrtzidisb4c659b2010-09-13 11:45:32 +00001068 ClassTemplateSpecializationDecl::ExplicitSpecializationInfo *ExplicitInfo
1069 = new (C) ClassTemplateSpecializationDecl::ExplicitSpecializationInfo;
1070 ExplicitInfo->TypeAsWritten = TyInfo;
Sebastian Redl2c373b92010-10-05 15:59:54 +00001071 ExplicitInfo->ExternLoc = ReadSourceLocation(Record, Idx);
1072 ExplicitInfo->TemplateKeywordLoc = ReadSourceLocation(Record, Idx);
Argyrios Kyrtzidisb4c659b2010-09-13 11:45:32 +00001073 D->ExplicitInfo = ExplicitInfo;
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001074 }
1075
1076 llvm::SmallVector<TemplateArgument, 8> TemplArgs;
Sebastian Redl2c373b92010-10-05 15:59:54 +00001077 Reader.ReadTemplateArgumentList(TemplArgs, F, Record, Idx);
Douglas Gregor1ccc8412010-11-07 23:05:16 +00001078 D->TemplateArgs = TemplateArgumentList::CreateCopy(C, TemplArgs.data(),
1079 TemplArgs.size());
Sebastian Redl2c373b92010-10-05 15:59:54 +00001080 D->PointOfInstantiation = ReadSourceLocation(Record, Idx);
Argyrios Kyrtzidisb4c659b2010-09-13 11:45:32 +00001081 D->SpecializationKind = (TemplateSpecializationKind)Record[Idx++];
Douglas Gregor7e8c4e02010-10-27 22:21:36 +00001082
Argyrios Kyrtzidisc1624e92010-07-20 13:59:40 +00001083 if (D->isCanonicalDecl()) { // It's kept in the folding set.
Argyrios Kyrtzidis87040572010-07-09 21:11:43 +00001084 ClassTemplateDecl *CanonPattern
1085 = cast<ClassTemplateDecl>(Reader.GetDecl(Record[Idx++]));
1086 if (ClassTemplatePartialSpecializationDecl *Partial
Douglas Gregor7e8c4e02010-10-27 22:21:36 +00001087 = dyn_cast<ClassTemplatePartialSpecializationDecl>(D)) {
1088 CanonPattern->getCommonPtr()->PartialSpecializations.InsertNode(Partial);
Argyrios Kyrtzidis87040572010-07-09 21:11:43 +00001089 } else {
Douglas Gregor7e8c4e02010-10-27 22:21:36 +00001090 CanonPattern->getCommonPtr()->Specializations.InsertNode(D);
Argyrios Kyrtzidis87040572010-07-09 21:11:43 +00001091 }
1092 }
Chris Lattnerca025db2010-05-07 21:43:38 +00001093}
1094
Sebastian Redlb3298c32010-08-18 23:56:48 +00001095void ASTDeclReader::VisitClassTemplatePartialSpecializationDecl(
Chris Lattnerca025db2010-05-07 21:43:38 +00001096 ClassTemplatePartialSpecializationDecl *D) {
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001097 VisitClassTemplateSpecializationDecl(D);
1098
Argyrios Kyrtzidis0e8b3ce2010-09-13 11:45:41 +00001099 ASTContext &C = *Reader.getContext();
Sebastian Redl2c373b92010-10-05 15:59:54 +00001100 D->TemplateParams = Reader.ReadTemplateParameterList(F, Record, Idx);
Argyrios Kyrtzidis0e8b3ce2010-09-13 11:45:41 +00001101
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001102 unsigned NumArgs = Record[Idx++];
Argyrios Kyrtzidis0e8b3ce2010-09-13 11:45:41 +00001103 if (NumArgs) {
1104 D->NumArgsAsWritten = NumArgs;
1105 D->ArgsAsWritten = new (C) TemplateArgumentLoc[NumArgs];
1106 for (unsigned i=0; i != NumArgs; ++i)
Sebastian Redl2c373b92010-10-05 15:59:54 +00001107 D->ArgsAsWritten[i] = Reader.ReadTemplateArgumentLoc(F, Record, Idx);
Argyrios Kyrtzidis0e8b3ce2010-09-13 11:45:41 +00001108 }
1109
1110 D->SequenceNumber = Record[Idx++];
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001111
1112 // These are read/set from/to the first declaration.
1113 if (D->getPreviousDeclaration() == 0) {
Argyrios Kyrtzidis0e8b3ce2010-09-13 11:45:41 +00001114 D->InstantiatedFromMember.setPointer(
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001115 cast_or_null<ClassTemplatePartialSpecializationDecl>(
1116 Reader.GetDecl(Record[Idx++])));
Argyrios Kyrtzidis0e8b3ce2010-09-13 11:45:41 +00001117 D->InstantiatedFromMember.setInt(Record[Idx++]);
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001118 }
Chris Lattnerca025db2010-05-07 21:43:38 +00001119}
1120
Sebastian Redlb3298c32010-08-18 23:56:48 +00001121void ASTDeclReader::VisitFunctionTemplateDecl(FunctionTemplateDecl *D) {
Peter Collingbourne91b25b72010-07-29 16:11:51 +00001122 VisitRedeclarableTemplateDecl(D);
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +00001123
Peter Collingbourne91b25b72010-07-29 16:11:51 +00001124 if (D->getPreviousDeclaration() == 0) {
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +00001125 // This FunctionTemplateDecl owns a CommonPtr; read it.
1126
Argyrios Kyrtzidis39fdf812010-07-06 15:37:09 +00001127 // Read the function specialization declarations.
1128 // FunctionTemplateDecl's FunctionTemplateSpecializationInfos are filled
Argyrios Kyrtzidisf24d5692010-09-13 11:45:48 +00001129 // when reading the specialized FunctionDecl.
Argyrios Kyrtzidis39fdf812010-07-06 15:37:09 +00001130 unsigned NumSpecs = Record[Idx++];
1131 while (NumSpecs--)
1132 Reader.GetDecl(Record[Idx++]);
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +00001133 }
Chris Lattnerca025db2010-05-07 21:43:38 +00001134}
1135
Sebastian Redlb3298c32010-08-18 23:56:48 +00001136void ASTDeclReader::VisitTemplateTypeParmDecl(TemplateTypeParmDecl *D) {
Argyrios Kyrtzidis95c04ca2010-06-19 19:29:09 +00001137 VisitTypeDecl(D);
1138
1139 D->setDeclaredWithTypename(Record[Idx++]);
1140 D->setParameterPack(Record[Idx++]);
1141
1142 bool Inherited = Record[Idx++];
Sebastian Redl2c373b92010-10-05 15:59:54 +00001143 TypeSourceInfo *DefArg = GetTypeSourceInfo(Record, Idx);
Argyrios Kyrtzidis95c04ca2010-06-19 19:29:09 +00001144 D->setDefaultArgument(DefArg, Inherited);
Chris Lattnerca025db2010-05-07 21:43:38 +00001145}
1146
Sebastian Redlb3298c32010-08-18 23:56:48 +00001147void ASTDeclReader::VisitNonTypeTemplateParmDecl(NonTypeTemplateParmDecl *D) {
Argyrios Kyrtzidisb1d38e32010-06-25 16:25:09 +00001148 VisitVarDecl(D);
1149 // TemplateParmPosition.
1150 D->setDepth(Record[Idx++]);
1151 D->setPosition(Record[Idx++]);
1152 // Rest of NonTypeTemplateParmDecl.
1153 if (Record[Idx++]) {
Sebastian Redl2c373b92010-10-05 15:59:54 +00001154 Expr *DefArg = Reader.ReadExpr(F);
Argyrios Kyrtzidisb1d38e32010-06-25 16:25:09 +00001155 bool Inherited = Record[Idx++];
1156 D->setDefaultArgument(DefArg, Inherited);
1157 }
Chris Lattnerca025db2010-05-07 21:43:38 +00001158}
1159
Sebastian Redlb3298c32010-08-18 23:56:48 +00001160void ASTDeclReader::VisitTemplateTemplateParmDecl(TemplateTemplateParmDecl *D) {
Argyrios Kyrtzidis9f2d24a2010-07-08 17:12:57 +00001161 VisitTemplateDecl(D);
1162 // TemplateParmPosition.
1163 D->setDepth(Record[Idx++]);
1164 D->setPosition(Record[Idx++]);
1165 // Rest of TemplateTemplateParmDecl.
Sebastian Redl2c373b92010-10-05 15:59:54 +00001166 TemplateArgumentLoc Arg = Reader.ReadTemplateArgumentLoc(F, Record, Idx);
Argyrios Kyrtzidis9f2d24a2010-07-08 17:12:57 +00001167 bool IsInherited = Record[Idx++];
1168 D->setDefaultArgument(Arg, IsInherited);
Chris Lattnerca025db2010-05-07 21:43:38 +00001169}
1170
Sebastian Redlb3298c32010-08-18 23:56:48 +00001171void ASTDeclReader::VisitStaticAssertDecl(StaticAssertDecl *D) {
Argyrios Kyrtzidis2d8891c2010-07-22 17:28:12 +00001172 VisitDecl(D);
Sebastian Redl2c373b92010-10-05 15:59:54 +00001173 D->AssertExpr = Reader.ReadExpr(F);
1174 D->Message = cast<StringLiteral>(Reader.ReadExpr(F));
Chris Lattnerca025db2010-05-07 21:43:38 +00001175}
1176
Mike Stump11289f42009-09-09 15:08:12 +00001177std::pair<uint64_t, uint64_t>
Sebastian Redlb3298c32010-08-18 23:56:48 +00001178ASTDeclReader::VisitDeclContext(DeclContext *DC) {
Chris Lattner487412d2009-04-27 05:27:42 +00001179 uint64_t LexicalOffset = Record[Idx++];
1180 uint64_t VisibleOffset = Record[Idx++];
1181 return std::make_pair(LexicalOffset, VisibleOffset);
1182}
1183
Argyrios Kyrtzidis839bbac2010-08-03 17:30:10 +00001184template <typename T>
Sebastian Redlb3298c32010-08-18 23:56:48 +00001185void ASTDeclReader::VisitRedeclarable(Redeclarable<T> *D) {
Argyrios Kyrtzidis839bbac2010-08-03 17:30:10 +00001186 enum RedeclKind { NoRedeclaration = 0, PointsToPrevious, PointsToLatest };
1187 RedeclKind Kind = (RedeclKind)Record[Idx++];
1188 switch (Kind) {
1189 default:
Sebastian Redlb3298c32010-08-18 23:56:48 +00001190 assert(0 && "Out of sync with ASTDeclWriter::VisitRedeclarable or messed up"
Argyrios Kyrtzidis839bbac2010-08-03 17:30:10 +00001191 " reading");
1192 case NoRedeclaration:
1193 break;
1194 case PointsToPrevious:
1195 D->RedeclLink = typename Redeclarable<T>::PreviousDeclLink(
1196 cast_or_null<T>(Reader.GetDecl(Record[Idx++])));
1197 break;
1198 case PointsToLatest:
1199 D->RedeclLink = typename Redeclarable<T>::LatestDeclLink(
1200 cast_or_null<T>(Reader.GetDecl(Record[Idx++])));
1201 break;
1202 }
1203
1204 assert(!(Kind == PointsToPrevious &&
1205 Reader.FirstLatestDeclIDs.find(ThisDeclID) !=
1206 Reader.FirstLatestDeclIDs.end()) &&
1207 "This decl is not first, it should not be in the map");
1208 if (Kind == PointsToPrevious)
1209 return;
1210
1211 // This decl is a first one and the latest declaration that it points to is in
Sebastian Redld44cd6a2010-08-18 23:57:06 +00001212 // the same AST file. However, if this actually needs to point to a
1213 // redeclaration in another AST file, we need to update it by checking the
Argyrios Kyrtzidis839bbac2010-08-03 17:30:10 +00001214 // FirstLatestDeclIDs map which tracks this kind of decls.
1215 assert(Reader.GetDecl(ThisDeclID) == static_cast<T*>(D) &&
1216 "Invalid ThisDeclID ?");
Sebastian Redl2c499f62010-08-18 23:56:43 +00001217 ASTReader::FirstLatestDeclIDMap::iterator I
Argyrios Kyrtzidis839bbac2010-08-03 17:30:10 +00001218 = Reader.FirstLatestDeclIDs.find(ThisDeclID);
1219 if (I != Reader.FirstLatestDeclIDs.end()) {
1220 Decl *NewLatest = Reader.GetDecl(I->second);
Argyrios Kyrtzidis839bbac2010-08-03 17:30:10 +00001221 D->RedeclLink
1222 = typename Redeclarable<T>::LatestDeclLink(cast_or_null<T>(NewLatest));
1223 }
1224}
1225
Chris Lattner487412d2009-04-27 05:27:42 +00001226//===----------------------------------------------------------------------===//
Chris Lattner8f63ab52009-04-27 06:01:06 +00001227// Attribute Reading
Chris Lattner487412d2009-04-27 05:27:42 +00001228//===----------------------------------------------------------------------===//
1229
Chris Lattner8f63ab52009-04-27 06:01:06 +00001230/// \brief Reads attributes from the current stream position.
Argyrios Kyrtzidis9beef8e2010-10-18 19:20:11 +00001231void ASTReader::ReadAttributes(PerFileData &F, AttrVec &Attrs,
1232 const RecordData &Record, unsigned &Idx) {
1233 for (unsigned i = 0, e = Record[Idx++]; i != e; ++i) {
Chris Lattner8f63ab52009-04-27 06:01:06 +00001234 Attr *New = 0;
Alexis Hunt344393e2010-06-16 23:43:53 +00001235 attr::Kind Kind = (attr::Kind)Record[Idx++];
Sebastian Redl2c373b92010-10-05 15:59:54 +00001236 SourceLocation Loc = ReadSourceLocation(F, Record, Idx);
Alexis Huntdcfba7b2010-08-18 23:23:40 +00001237 bool isInherited = Record[Idx++];
Chris Lattner8f63ab52009-04-27 06:01:06 +00001238
Alexis Huntdcfba7b2010-08-18 23:23:40 +00001239#include "clang/Serialization/AttrPCHRead.inc"
Chris Lattner8f63ab52009-04-27 06:01:06 +00001240
1241 assert(New && "Unable to decode attribute?");
Alexis Huntdcfba7b2010-08-18 23:23:40 +00001242 New->setInherited(isInherited);
1243 Attrs.push_back(New);
Chris Lattner8f63ab52009-04-27 06:01:06 +00001244 }
Chris Lattner8f63ab52009-04-27 06:01:06 +00001245}
1246
1247//===----------------------------------------------------------------------===//
Sebastian Redl2c499f62010-08-18 23:56:43 +00001248// ASTReader Implementation
Chris Lattner8f63ab52009-04-27 06:01:06 +00001249//===----------------------------------------------------------------------===//
Chris Lattner487412d2009-04-27 05:27:42 +00001250
1251/// \brief Note that we have loaded the declaration with the given
1252/// Index.
Mike Stump11289f42009-09-09 15:08:12 +00001253///
Chris Lattner487412d2009-04-27 05:27:42 +00001254/// This routine notes that this declaration has already been loaded,
1255/// so that future GetDecl calls will return this declaration rather
1256/// than trying to load a new declaration.
Sebastian Redl2c499f62010-08-18 23:56:43 +00001257inline void ASTReader::LoadedDecl(unsigned Index, Decl *D) {
Chris Lattner487412d2009-04-27 05:27:42 +00001258 assert(!DeclsLoaded[Index] && "Decl loaded twice?");
1259 DeclsLoaded[Index] = D;
1260}
1261
1262
1263/// \brief Determine whether the consumer will be interested in seeing
1264/// this declaration (via HandleTopLevelDecl).
1265///
1266/// This routine should return true for anything that might affect
1267/// code generation, e.g., inline function definitions, Objective-C
1268/// declarations with metadata, etc.
1269static bool isConsumerInterestedIn(Decl *D) {
Daniel Dunbar865c2a72009-09-17 03:06:44 +00001270 if (isa<FileScopeAsmDecl>(D))
1271 return true;
Chris Lattner487412d2009-04-27 05:27:42 +00001272 if (VarDecl *Var = dyn_cast<VarDecl>(D))
Argyrios Kyrtzidis4ba81b22010-08-05 09:47:59 +00001273 return Var->isFileVarDecl() &&
1274 Var->isThisDeclarationADefinition() == VarDecl::Definition;
Chris Lattner487412d2009-04-27 05:27:42 +00001275 if (FunctionDecl *Func = dyn_cast<FunctionDecl>(D))
1276 return Func->isThisDeclarationADefinition();
Argyrios Kyrtzidis13257c52010-08-09 10:54:20 +00001277 return isa<ObjCProtocolDecl>(D) || isa<ObjCImplementationDecl>(D);
Chris Lattner487412d2009-04-27 05:27:42 +00001278}
1279
Sebastian Redl34627792010-07-20 22:46:15 +00001280/// \brief Get the correct cursor and offset for loading a type.
Sebastian Redl2c499f62010-08-18 23:56:43 +00001281ASTReader::RecordLocation
Sebastian Redl539c5062010-08-18 23:57:32 +00001282ASTReader::DeclCursorForIndex(unsigned Index, DeclID ID) {
Sebastian Redle7c1fe62010-08-13 00:28:03 +00001283 // See if there's an override.
1284 DeclReplacementMap::iterator It = ReplacedDecls.find(ID);
1285 if (It != ReplacedDecls.end())
Sebastian Redl2c373b92010-10-05 15:59:54 +00001286 return RecordLocation(It->second.first, It->second.second);
Sebastian Redle7c1fe62010-08-13 00:28:03 +00001287
Sebastian Redl34627792010-07-20 22:46:15 +00001288 PerFileData *F = 0;
1289 for (unsigned I = 0, N = Chain.size(); I != N; ++I) {
1290 F = Chain[N - I - 1];
1291 if (Index < F->LocalNumDecls)
1292 break;
1293 Index -= F->LocalNumDecls;
1294 }
1295 assert(F && F->LocalNumDecls > Index && "Broken chain");
Sebastian Redl2c373b92010-10-05 15:59:54 +00001296 return RecordLocation(F, F->DeclOffsets[Index]);
Sebastian Redl34627792010-07-20 22:46:15 +00001297}
1298
Sebastian Redlb3298c32010-08-18 23:56:48 +00001299/// \brief Read the declaration at the given offset from the AST file.
Sebastian Redl539c5062010-08-18 23:57:32 +00001300Decl *ASTReader::ReadDeclRecord(unsigned Index, DeclID ID) {
Sebastian Redle7c1fe62010-08-13 00:28:03 +00001301 RecordLocation Loc = DeclCursorForIndex(Index, ID);
Sebastian Redl2c373b92010-10-05 15:59:54 +00001302 llvm::BitstreamCursor &DeclsCursor = Loc.F->DeclsCursor;
Chris Lattner487412d2009-04-27 05:27:42 +00001303 // Keep track of where we are in the stream, then jump back there
1304 // after reading this declaration.
Chris Lattner1de76db2009-04-27 05:58:23 +00001305 SavedStreamPosition SavedPosition(DeclsCursor);
Chris Lattner487412d2009-04-27 05:27:42 +00001306
Argyrios Kyrtzidisd0795b22010-06-28 22:28:35 +00001307 ReadingKindTracker ReadingKind(Read_Decl, *this);
1308
Douglas Gregor1342e842009-07-06 18:54:52 +00001309 // Note that we are loading a declaration record.
Argyrios Kyrtzidisb24355a2010-07-30 10:03:16 +00001310 Deserializing ADecl(this);
Mike Stump11289f42009-09-09 15:08:12 +00001311
Sebastian Redl2c373b92010-10-05 15:59:54 +00001312 DeclsCursor.JumpToBit(Loc.Offset);
Chris Lattner487412d2009-04-27 05:27:42 +00001313 RecordData Record;
Chris Lattner1de76db2009-04-27 05:58:23 +00001314 unsigned Code = DeclsCursor.ReadCode();
Chris Lattner487412d2009-04-27 05:27:42 +00001315 unsigned Idx = 0;
Sebastian Redl2c373b92010-10-05 15:59:54 +00001316 ASTDeclReader Reader(*this, *Loc.F, DeclsCursor, ID, Record, Idx);
Chris Lattner487412d2009-04-27 05:27:42 +00001317
Chris Lattner1de76db2009-04-27 05:58:23 +00001318 Decl *D = 0;
Sebastian Redl539c5062010-08-18 23:57:32 +00001319 switch ((DeclCode)DeclsCursor.ReadRecord(Code, Record)) {
Sebastian Redl539c5062010-08-18 23:57:32 +00001320 case DECL_CONTEXT_LEXICAL:
1321 case DECL_CONTEXT_VISIBLE:
Chris Lattner487412d2009-04-27 05:27:42 +00001322 assert(false && "Record cannot be de-serialized with ReadDeclRecord");
1323 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001324 case DECL_TRANSLATION_UNIT:
Chris Lattner487412d2009-04-27 05:27:42 +00001325 assert(Index == 0 && "Translation unit must be at index 0");
Chris Lattner8575daa2009-04-27 21:45:14 +00001326 D = Context->getTranslationUnitDecl();
Chris Lattner487412d2009-04-27 05:27:42 +00001327 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001328 case DECL_TYPEDEF:
John McCall703a3f82009-10-24 08:00:42 +00001329 D = TypedefDecl::Create(*Context, 0, SourceLocation(), 0, 0);
Chris Lattner487412d2009-04-27 05:27:42 +00001330 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001331 case DECL_ENUM:
Argyrios Kyrtzidis39f0e302010-07-02 11:54:55 +00001332 D = EnumDecl::Create(*Context, Decl::EmptyShell());
Chris Lattner487412d2009-04-27 05:27:42 +00001333 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001334 case DECL_RECORD:
Argyrios Kyrtzidis39f0e302010-07-02 11:54:55 +00001335 D = RecordDecl::Create(*Context, Decl::EmptyShell());
Chris Lattner487412d2009-04-27 05:27:42 +00001336 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001337 case DECL_ENUM_CONSTANT:
Chris Lattner8575daa2009-04-27 21:45:14 +00001338 D = EnumConstantDecl::Create(*Context, 0, SourceLocation(), 0, QualType(),
Chris Lattner487412d2009-04-27 05:27:42 +00001339 0, llvm::APSInt());
1340 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001341 case DECL_FUNCTION:
Mike Stump11289f42009-09-09 15:08:12 +00001342 D = FunctionDecl::Create(*Context, 0, SourceLocation(), DeclarationName(),
Argyrios Kyrtzidis60ed5602009-08-19 01:27:57 +00001343 QualType(), 0);
Chris Lattner487412d2009-04-27 05:27:42 +00001344 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001345 case DECL_LINKAGE_SPEC:
Chris Lattnerca025db2010-05-07 21:43:38 +00001346 D = LinkageSpecDecl::Create(*Context, 0, SourceLocation(),
1347 (LinkageSpecDecl::LanguageIDs)0,
1348 false);
1349 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001350 case DECL_NAMESPACE:
Chris Lattnerca025db2010-05-07 21:43:38 +00001351 D = NamespaceDecl::Create(*Context, 0, SourceLocation(), 0);
1352 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001353 case DECL_NAMESPACE_ALIAS:
Chris Lattnerca025db2010-05-07 21:43:38 +00001354 D = NamespaceAliasDecl::Create(*Context, 0, SourceLocation(),
1355 SourceLocation(), 0, SourceRange(), 0,
1356 SourceLocation(), 0);
1357 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001358 case DECL_USING:
Abramo Bagnara8de74e92010-08-12 11:46:03 +00001359 D = UsingDecl::Create(*Context, 0, SourceRange(), SourceLocation(),
1360 0, DeclarationNameInfo(), false);
Chris Lattnerca025db2010-05-07 21:43:38 +00001361 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001362 case DECL_USING_SHADOW:
Chris Lattnerca025db2010-05-07 21:43:38 +00001363 D = UsingShadowDecl::Create(*Context, 0, SourceLocation(), 0, 0);
1364 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001365 case DECL_USING_DIRECTIVE:
Chris Lattnerca025db2010-05-07 21:43:38 +00001366 D = UsingDirectiveDecl::Create(*Context, 0, SourceLocation(),
1367 SourceLocation(), SourceRange(), 0,
1368 SourceLocation(), 0, 0);
1369 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001370 case DECL_UNRESOLVED_USING_VALUE:
Chris Lattnerca025db2010-05-07 21:43:38 +00001371 D = UnresolvedUsingValueDecl::Create(*Context, 0, SourceLocation(),
Abramo Bagnara8de74e92010-08-12 11:46:03 +00001372 SourceRange(), 0,
1373 DeclarationNameInfo());
Chris Lattnerca025db2010-05-07 21:43:38 +00001374 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001375 case DECL_UNRESOLVED_USING_TYPENAME:
Chris Lattnerca025db2010-05-07 21:43:38 +00001376 D = UnresolvedUsingTypenameDecl::Create(*Context, 0, SourceLocation(),
1377 SourceLocation(), SourceRange(),
1378 0, SourceLocation(),
1379 DeclarationName());
1380 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001381 case DECL_CXX_RECORD:
Argyrios Kyrtzidis39f0e302010-07-02 11:54:55 +00001382 D = CXXRecordDecl::Create(*Context, Decl::EmptyShell());
Chris Lattnerca025db2010-05-07 21:43:38 +00001383 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001384 case DECL_CXX_METHOD:
Abramo Bagnarad6d2f182010-08-11 22:01:17 +00001385 D = CXXMethodDecl::Create(*Context, 0, DeclarationNameInfo(),
Chris Lattnerca025db2010-05-07 21:43:38 +00001386 QualType(), 0);
1387 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001388 case DECL_CXX_CONSTRUCTOR:
Chris Lattnerca025db2010-05-07 21:43:38 +00001389 D = CXXConstructorDecl::Create(*Context, Decl::EmptyShell());
1390 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001391 case DECL_CXX_DESTRUCTOR:
Chris Lattnerca025db2010-05-07 21:43:38 +00001392 D = CXXDestructorDecl::Create(*Context, Decl::EmptyShell());
1393 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001394 case DECL_CXX_CONVERSION:
Chris Lattnerca025db2010-05-07 21:43:38 +00001395 D = CXXConversionDecl::Create(*Context, Decl::EmptyShell());
1396 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001397 case DECL_ACCESS_SPEC:
Argyrios Kyrtzidis260b4a82010-09-08 21:32:35 +00001398 D = AccessSpecDecl::Create(*Context, Decl::EmptyShell());
Abramo Bagnarad7340582010-06-05 05:09:32 +00001399 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001400 case DECL_FRIEND:
Argyrios Kyrtzidis74d28bd2010-06-29 22:47:00 +00001401 D = FriendDecl::Create(*Context, Decl::EmptyShell());
Chris Lattnerca025db2010-05-07 21:43:38 +00001402 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001403 case DECL_FRIEND_TEMPLATE:
Argyrios Kyrtzidis165b5812010-07-22 16:04:10 +00001404 D = FriendTemplateDecl::Create(*Context, Decl::EmptyShell());
Chris Lattnerca025db2010-05-07 21:43:38 +00001405 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001406 case DECL_CLASS_TEMPLATE:
Argyrios Kyrtzidisa35c8e42010-06-21 10:57:41 +00001407 D = ClassTemplateDecl::Create(*Context, 0, SourceLocation(),
1408 DeclarationName(), 0, 0, 0);
Chris Lattnerca025db2010-05-07 21:43:38 +00001409 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001410 case DECL_CLASS_TEMPLATE_SPECIALIZATION:
Argyrios Kyrtzidis39f0e302010-07-02 11:54:55 +00001411 D = ClassTemplateSpecializationDecl::Create(*Context, Decl::EmptyShell());
Chris Lattnerca025db2010-05-07 21:43:38 +00001412 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001413 case DECL_CLASS_TEMPLATE_PARTIAL_SPECIALIZATION:
Argyrios Kyrtzidis39f0e302010-07-02 11:54:55 +00001414 D = ClassTemplatePartialSpecializationDecl::Create(*Context,
1415 Decl::EmptyShell());
Chris Lattnerca025db2010-05-07 21:43:38 +00001416 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001417 case DECL_FUNCTION_TEMPLATE:
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +00001418 D = FunctionTemplateDecl::Create(*Context, 0, SourceLocation(),
1419 DeclarationName(), 0, 0);
Chris Lattnerca025db2010-05-07 21:43:38 +00001420 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001421 case DECL_TEMPLATE_TYPE_PARM:
Argyrios Kyrtzidis39f0e302010-07-02 11:54:55 +00001422 D = TemplateTypeParmDecl::Create(*Context, Decl::EmptyShell());
Chris Lattnerca025db2010-05-07 21:43:38 +00001423 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001424 case DECL_NON_TYPE_TEMPLATE_PARM:
Argyrios Kyrtzidisb1d38e32010-06-25 16:25:09 +00001425 D = NonTypeTemplateParmDecl::Create(*Context, 0, SourceLocation(), 0,0,0,
1426 QualType(),0);
Chris Lattnerca025db2010-05-07 21:43:38 +00001427 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001428 case DECL_TEMPLATE_TEMPLATE_PARM:
Argyrios Kyrtzidis9f2d24a2010-07-08 17:12:57 +00001429 D = TemplateTemplateParmDecl::Create(*Context, 0, SourceLocation(),0,0,0,0);
Chris Lattnerca025db2010-05-07 21:43:38 +00001430 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001431 case DECL_STATIC_ASSERT:
Argyrios Kyrtzidis2d8891c2010-07-22 17:28:12 +00001432 D = StaticAssertDecl::Create(*Context, 0, SourceLocation(), 0, 0);
Chris Lattnerca025db2010-05-07 21:43:38 +00001433 break;
1434
Sebastian Redl539c5062010-08-18 23:57:32 +00001435 case DECL_OBJC_METHOD:
Mike Stump11289f42009-09-09 15:08:12 +00001436 D = ObjCMethodDecl::Create(*Context, SourceLocation(), SourceLocation(),
Douglas Gregor12852d92010-03-08 14:59:44 +00001437 Selector(), QualType(), 0, 0);
Chris Lattner487412d2009-04-27 05:27:42 +00001438 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001439 case DECL_OBJC_INTERFACE:
Douglas Gregor1c283312010-08-11 12:19:30 +00001440 D = ObjCInterfaceDecl::Create(*Context, 0, SourceLocation(), 0);
Chris Lattner487412d2009-04-27 05:27:42 +00001441 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001442 case DECL_OBJC_IVAR:
Argyrios Kyrtzidis60ed5602009-08-19 01:27:57 +00001443 D = ObjCIvarDecl::Create(*Context, 0, SourceLocation(), 0, QualType(), 0,
Chris Lattner487412d2009-04-27 05:27:42 +00001444 ObjCIvarDecl::None);
1445 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001446 case DECL_OBJC_PROTOCOL:
Chris Lattner8575daa2009-04-27 21:45:14 +00001447 D = ObjCProtocolDecl::Create(*Context, 0, SourceLocation(), 0);
Chris Lattner487412d2009-04-27 05:27:42 +00001448 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001449 case DECL_OBJC_AT_DEFS_FIELD:
Mike Stump11289f42009-09-09 15:08:12 +00001450 D = ObjCAtDefsFieldDecl::Create(*Context, 0, SourceLocation(), 0,
Chris Lattner487412d2009-04-27 05:27:42 +00001451 QualType(), 0);
1452 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001453 case DECL_OBJC_CLASS:
Chris Lattner8575daa2009-04-27 21:45:14 +00001454 D = ObjCClassDecl::Create(*Context, 0, SourceLocation());
Chris Lattner487412d2009-04-27 05:27:42 +00001455 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001456 case DECL_OBJC_FORWARD_PROTOCOL:
Chris Lattner8575daa2009-04-27 21:45:14 +00001457 D = ObjCForwardProtocolDecl::Create(*Context, 0, SourceLocation());
Chris Lattner487412d2009-04-27 05:27:42 +00001458 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001459 case DECL_OBJC_CATEGORY:
Douglas Gregor071676f2010-01-16 16:38:58 +00001460 D = ObjCCategoryDecl::Create(*Context, 0, SourceLocation(),
1461 SourceLocation(), SourceLocation(), 0);
Chris Lattner487412d2009-04-27 05:27:42 +00001462 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001463 case DECL_OBJC_CATEGORY_IMPL:
Chris Lattner8575daa2009-04-27 21:45:14 +00001464 D = ObjCCategoryImplDecl::Create(*Context, 0, SourceLocation(), 0, 0);
Chris Lattner487412d2009-04-27 05:27:42 +00001465 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001466 case DECL_OBJC_IMPLEMENTATION:
Chris Lattner8575daa2009-04-27 21:45:14 +00001467 D = ObjCImplementationDecl::Create(*Context, 0, SourceLocation(), 0, 0);
Chris Lattner487412d2009-04-27 05:27:42 +00001468 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001469 case DECL_OBJC_COMPATIBLE_ALIAS:
Chris Lattner8575daa2009-04-27 21:45:14 +00001470 D = ObjCCompatibleAliasDecl::Create(*Context, 0, SourceLocation(), 0, 0);
Chris Lattner487412d2009-04-27 05:27:42 +00001471 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001472 case DECL_OBJC_PROPERTY:
Fariborz Jahanianda8ec2b2010-01-21 17:36:00 +00001473 D = ObjCPropertyDecl::Create(*Context, 0, SourceLocation(), 0, SourceLocation(),
John McCall339bb662010-06-04 20:50:08 +00001474 0);
Chris Lattner487412d2009-04-27 05:27:42 +00001475 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001476 case DECL_OBJC_PROPERTY_IMPL:
Chris Lattner8575daa2009-04-27 21:45:14 +00001477 D = ObjCPropertyImplDecl::Create(*Context, 0, SourceLocation(),
Mike Stump11289f42009-09-09 15:08:12 +00001478 SourceLocation(), 0,
Chris Lattner487412d2009-04-27 05:27:42 +00001479 ObjCPropertyImplDecl::Dynamic, 0);
1480 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001481 case DECL_FIELD:
Mike Stump11289f42009-09-09 15:08:12 +00001482 D = FieldDecl::Create(*Context, 0, SourceLocation(), 0, QualType(), 0, 0,
Argyrios Kyrtzidis6032ef12009-08-21 00:31:54 +00001483 false);
Chris Lattner487412d2009-04-27 05:27:42 +00001484 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001485 case DECL_VAR:
Argyrios Kyrtzidis60ed5602009-08-19 01:27:57 +00001486 D = VarDecl::Create(*Context, 0, SourceLocation(), 0, QualType(), 0,
John McCall8e7d6562010-08-26 03:08:43 +00001487 SC_None, SC_None);
Chris Lattner487412d2009-04-27 05:27:42 +00001488 break;
1489
Sebastian Redl539c5062010-08-18 23:57:32 +00001490 case DECL_IMPLICIT_PARAM:
Chris Lattner8575daa2009-04-27 21:45:14 +00001491 D = ImplicitParamDecl::Create(*Context, 0, SourceLocation(), 0, QualType());
Chris Lattner487412d2009-04-27 05:27:42 +00001492 break;
1493
Sebastian Redl539c5062010-08-18 23:57:32 +00001494 case DECL_PARM_VAR:
Mike Stump11289f42009-09-09 15:08:12 +00001495 D = ParmVarDecl::Create(*Context, 0, SourceLocation(), 0, QualType(), 0,
John McCall8e7d6562010-08-26 03:08:43 +00001496 SC_None, SC_None, 0);
Chris Lattner487412d2009-04-27 05:27:42 +00001497 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001498 case DECL_FILE_SCOPE_ASM:
Chris Lattner8575daa2009-04-27 21:45:14 +00001499 D = FileScopeAsmDecl::Create(*Context, 0, SourceLocation(), 0);
Chris Lattner487412d2009-04-27 05:27:42 +00001500 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001501 case DECL_BLOCK:
Chris Lattner8575daa2009-04-27 21:45:14 +00001502 D = BlockDecl::Create(*Context, 0, SourceLocation());
Chris Lattner487412d2009-04-27 05:27:42 +00001503 break;
Douglas Gregord4c5ed02010-10-29 22:39:52 +00001504 case DECL_CXX_BASE_SPECIFIERS:
1505 Error("attempt to read a C++ base-specifier record as a declaration");
1506 return 0;
Chris Lattner487412d2009-04-27 05:27:42 +00001507 }
Chris Lattner487412d2009-04-27 05:27:42 +00001508
Sebastian Redlb3298c32010-08-18 23:56:48 +00001509 assert(D && "Unknown declaration reading AST file");
Chris Lattner8f63ab52009-04-27 06:01:06 +00001510 LoadedDecl(Index, D);
1511 Reader.Visit(D);
Chris Lattner487412d2009-04-27 05:27:42 +00001512
1513 // If this declaration is also a declaration context, get the
1514 // offsets for its tables of lexical and visible declarations.
1515 if (DeclContext *DC = dyn_cast<DeclContext>(D)) {
1516 std::pair<uint64_t, uint64_t> Offsets = Reader.VisitDeclContext(DC);
1517 if (Offsets.first || Offsets.second) {
1518 DC->setHasExternalLexicalStorage(Offsets.first != 0);
1519 DC->setHasExternalVisibleStorage(Offsets.second != 0);
Sebastian Redl66c5eef2010-07-27 00:17:23 +00001520 DeclContextInfo Info;
1521 if (ReadDeclContextStorage(DeclsCursor, Offsets, Info))
1522 return 0;
Sebastian Redl4b1f4902010-07-27 18:24:41 +00001523 DeclContextInfos &Infos = DeclContextOffsets[DC];
Sebastian Redld7dce0a2010-08-24 00:50:04 +00001524 // Reading the TU will happen after reading its lexical update blocks,
1525 // so we need to make sure we insert in front. For all other contexts,
1526 // the vector is empty here anyway, so there's no loss in efficiency.
Sebastian Redl4b1f4902010-07-27 18:24:41 +00001527 Infos.insert(Infos.begin(), Info);
Sebastian Redld7dce0a2010-08-24 00:50:04 +00001528
1529 // Now add the pending visible updates for this decl context, if it has
1530 // any.
1531 DeclContextVisibleUpdatesPending::iterator I =
1532 PendingVisibleUpdates.find(ID);
1533 if (I != PendingVisibleUpdates.end()) {
1534 DeclContextVisibleUpdates &U = I->second;
1535 Info.LexicalDecls = 0;
1536 Info.NumLexicalDecls = 0;
1537 for (DeclContextVisibleUpdates::iterator UI = U.begin(), UE = U.end();
1538 UI != UE; ++UI) {
1539 Info.NameLookupTableData = *UI;
1540 Infos.push_back(Info);
1541 }
1542 PendingVisibleUpdates.erase(I);
1543 }
Chris Lattner487412d2009-04-27 05:27:42 +00001544 }
1545 }
1546 assert(Idx == Record.size());
1547
Argyrios Kyrtzidis65ad5692010-10-24 17:26:36 +00001548 // The declaration may have been modified by files later in the chain.
1549 // If this is the case, read the record containing the updates from each file
1550 // and pass it to ASTDeclReader to make the modifications.
1551 DeclUpdateOffsetsMap::iterator UpdI = DeclUpdateOffsets.find(ID);
1552 if (UpdI != DeclUpdateOffsets.end()) {
1553 FileOffsetsTy &UpdateOffsets = UpdI->second;
1554 for (FileOffsetsTy::iterator
1555 I = UpdateOffsets.begin(), E = UpdateOffsets.end(); I != E; ++I) {
1556 PerFileData *F = I->first;
1557 uint64_t Offset = I->second;
1558 llvm::BitstreamCursor &Cursor = F->DeclsCursor;
1559 SavedStreamPosition SavedPosition(Cursor);
1560 Cursor.JumpToBit(Offset);
1561 RecordData Record;
1562 unsigned Code = Cursor.ReadCode();
1563 unsigned RecCode = Cursor.ReadRecord(Code, Record);
1564 (void)RecCode;
1565 assert(RecCode == DECL_UPDATES && "Expected DECL_UPDATES record!");
1566 Reader.UpdateDecl(D, Record);
1567 }
1568 }
1569
Chris Lattner487412d2009-04-27 05:27:42 +00001570 // If we have deserialized a declaration that has a definition the
Argyrios Kyrtzidis903ccd62010-07-07 15:46:26 +00001571 // AST consumer might need to know about, queue it.
1572 // We don't pass it to the consumer immediately because we may be in recursive
1573 // loading, and some declarations may still be initializing.
1574 if (isConsumerInterestedIn(D))
1575 InterestingDecls.push_back(D);
Chris Lattner487412d2009-04-27 05:27:42 +00001576
1577 return D;
1578}
Argyrios Kyrtzidis65ad5692010-10-24 17:26:36 +00001579
1580void ASTDeclReader::UpdateDecl(Decl *D, const RecordData &Record) {
Argyrios Kyrtzidisd170d842010-10-24 17:26:50 +00001581 unsigned Idx = 0;
1582 while (Idx < Record.size()) {
1583 switch ((DeclUpdateKind)Record[Idx++]) {
1584 case UPD_CXX_SET_DEFINITIONDATA: {
1585 CXXRecordDecl *RD = cast<CXXRecordDecl>(D);
1586 CXXRecordDecl *
1587 DefinitionDecl = cast<CXXRecordDecl>(Reader.GetDecl(Record[Idx++]));
1588 assert(!RD->DefinitionData && "DefinitionData is already set!");
1589 InitializeCXXDefinitionData(RD, DefinitionDecl, Record, Idx);
1590 break;
1591 }
Argyrios Kyrtzidise16a5302010-10-24 17:26:54 +00001592
1593 case UPD_CXX_ADDED_IMPLICIT_MEMBER:
1594 cast<CXXRecordDecl>(D)->addedMember(Reader.GetDecl(Record[Idx++]));
1595 break;
Argyrios Kyrtzidis402dbbb2010-10-28 07:38:42 +00001596
1597 case UPD_CXX_ADDED_TEMPLATE_SPECIALIZATION:
1598 // It will be added to the template's specializations set when loaded.
1599 Reader.GetDecl(Record[Idx++]);
Argyrios Kyrtzidisd170d842010-10-24 17:26:50 +00001600 }
1601 }
Argyrios Kyrtzidis65ad5692010-10-24 17:26:36 +00001602}