blob: 750e7236ef414293eb1046dd0e5b4d2871faf179 [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
Sebastian Redlf5b13462010-08-18 23:57:17 +000015#include "clang/Serialization/ASTReader.h"
Chris Lattner487412d2009-04-27 05:27:42 +000016#include "clang/AST/ASTConsumer.h"
17#include "clang/AST/ASTContext.h"
18#include "clang/AST/DeclVisitor.h"
19#include "clang/AST/DeclGroup.h"
Chris Lattnerca025db2010-05-07 21:43:38 +000020#include "clang/AST/DeclCXX.h"
21#include "clang/AST/DeclTemplate.h"
Chris Lattner487412d2009-04-27 05:27:42 +000022#include "clang/AST/Expr.h"
23using namespace clang;
Sebastian Redl539c5062010-08-18 23:57:32 +000024using namespace clang::serialization;
Chris Lattner487412d2009-04-27 05:27:42 +000025
26//===----------------------------------------------------------------------===//
27// Declaration deserialization
28//===----------------------------------------------------------------------===//
29
Argyrios Kyrtzidis74d28bd2010-06-29 22:47:00 +000030namespace clang {
Sebastian Redlb3298c32010-08-18 23:56:48 +000031 class ASTDeclReader : public DeclVisitor<ASTDeclReader, void> {
Sebastian Redl2c499f62010-08-18 23:56:43 +000032 ASTReader &Reader;
Sebastian Redl2c373b92010-10-05 15:59:54 +000033 ASTReader::PerFileData &F;
Sebastian Redlc67764e2010-07-22 22:43:28 +000034 llvm::BitstreamCursor &Cursor;
Sebastian Redl539c5062010-08-18 23:57:32 +000035 const DeclID ThisDeclID;
Argyrios Kyrtzidis8b200a52010-10-24 17:26:27 +000036 typedef ASTReader::RecordData RecordData;
37 const RecordData &Record;
Chris Lattner487412d2009-04-27 05:27:42 +000038 unsigned &Idx;
Sebastian Redl539c5062010-08-18 23:57:32 +000039 TypeID TypeIDForTypeDecl;
Chris Lattner487412d2009-04-27 05:27:42 +000040
Sebastian Redlc67764e2010-07-22 22:43:28 +000041 uint64_t GetCurrentCursorOffset();
Argyrios Kyrtzidis8b200a52010-10-24 17:26:27 +000042 SourceLocation ReadSourceLocation(const RecordData &R, unsigned &I) {
Sebastian Redl2c373b92010-10-05 15:59:54 +000043 return Reader.ReadSourceLocation(F, R, I);
44 }
Argyrios Kyrtzidis8b200a52010-10-24 17:26:27 +000045 SourceRange ReadSourceRange(const RecordData &R, unsigned &I) {
Sebastian Redl2c373b92010-10-05 15:59:54 +000046 return Reader.ReadSourceRange(F, R, I);
47 }
Argyrios Kyrtzidis8b200a52010-10-24 17:26:27 +000048 TypeSourceInfo *GetTypeSourceInfo(const RecordData &R, unsigned &I) {
Sebastian Redl2c373b92010-10-05 15:59:54 +000049 return Reader.GetTypeSourceInfo(F, R, I);
50 }
Argyrios Kyrtzidis434383d2010-10-15 18:21:24 +000051 void ReadQualifierInfo(QualifierInfo &Info,
Argyrios Kyrtzidis8b200a52010-10-24 17:26:27 +000052 const RecordData &R, unsigned &I) {
Argyrios Kyrtzidis434383d2010-10-15 18:21:24 +000053 Reader.ReadQualifierInfo(F, Info, R, I);
54 }
55 void ReadDeclarationNameLoc(DeclarationNameLoc &DNLoc, DeclarationName Name,
Argyrios Kyrtzidis8b200a52010-10-24 17:26:27 +000056 const RecordData &R, unsigned &I) {
Argyrios Kyrtzidis434383d2010-10-15 18:21:24 +000057 Reader.ReadDeclarationNameLoc(F, DNLoc, Name, R, I);
58 }
59 void ReadDeclarationNameInfo(DeclarationNameInfo &NameInfo,
Argyrios Kyrtzidis8b200a52010-10-24 17:26:27 +000060 const RecordData &R, unsigned &I) {
Argyrios Kyrtzidis434383d2010-10-15 18:21:24 +000061 Reader.ReadDeclarationNameInfo(F, NameInfo, R, I);
62 }
Sebastian Redlc67764e2010-07-22 22:43:28 +000063
Argyrios Kyrtzidis8b200a52010-10-24 17:26:27 +000064 void ReadCXXDefinitionData(struct CXXRecordDecl::DefinitionData &Data);
Chris Lattner487412d2009-04-27 05:27:42 +000065 public:
Sebastian Redl2c373b92010-10-05 15:59:54 +000066 ASTDeclReader(ASTReader &Reader, ASTReader::PerFileData &F,
67 llvm::BitstreamCursor &Cursor, DeclID thisDeclID,
Argyrios Kyrtzidis8b200a52010-10-24 17:26:27 +000068 const RecordData &Record, unsigned &Idx)
Sebastian Redl2c373b92010-10-05 15:59:54 +000069 : Reader(Reader), F(F), Cursor(Cursor), ThisDeclID(thisDeclID),
70 Record(Record), Idx(Idx), TypeIDForTypeDecl(0) { }
Chris Lattner487412d2009-04-27 05:27:42 +000071
Argyrios Kyrtzidis318b0e72010-07-02 11:55:01 +000072 void Visit(Decl *D);
73
Chris Lattner487412d2009-04-27 05:27:42 +000074 void VisitDecl(Decl *D);
75 void VisitTranslationUnitDecl(TranslationUnitDecl *TU);
76 void VisitNamedDecl(NamedDecl *ND);
Douglas Gregore31bbd92010-02-21 18:22:14 +000077 void VisitNamespaceDecl(NamespaceDecl *D);
Chris Lattnerca025db2010-05-07 21:43:38 +000078 void VisitUsingDirectiveDecl(UsingDirectiveDecl *D);
79 void VisitNamespaceAliasDecl(NamespaceAliasDecl *D);
Chris Lattner487412d2009-04-27 05:27:42 +000080 void VisitTypeDecl(TypeDecl *TD);
81 void VisitTypedefDecl(TypedefDecl *TD);
Argyrios Kyrtzidisbd8ac8c2010-06-30 08:49:30 +000082 void VisitUnresolvedUsingTypenameDecl(UnresolvedUsingTypenameDecl *D);
Chris Lattner487412d2009-04-27 05:27:42 +000083 void VisitTagDecl(TagDecl *TD);
84 void VisitEnumDecl(EnumDecl *ED);
85 void VisitRecordDecl(RecordDecl *RD);
Chris Lattnerca025db2010-05-07 21:43:38 +000086 void VisitCXXRecordDecl(CXXRecordDecl *D);
87 void VisitClassTemplateSpecializationDecl(
88 ClassTemplateSpecializationDecl *D);
89 void VisitClassTemplatePartialSpecializationDecl(
90 ClassTemplatePartialSpecializationDecl *D);
91 void VisitTemplateTypeParmDecl(TemplateTypeParmDecl *D);
Chris Lattner487412d2009-04-27 05:27:42 +000092 void VisitValueDecl(ValueDecl *VD);
93 void VisitEnumConstantDecl(EnumConstantDecl *ECD);
Argyrios Kyrtzidisbd8ac8c2010-06-30 08:49:30 +000094 void VisitUnresolvedUsingValueDecl(UnresolvedUsingValueDecl *D);
Argyrios Kyrtzidis560ac972009-08-19 01:28:35 +000095 void VisitDeclaratorDecl(DeclaratorDecl *DD);
Chris Lattner487412d2009-04-27 05:27:42 +000096 void VisitFunctionDecl(FunctionDecl *FD);
Chris Lattnerca025db2010-05-07 21:43:38 +000097 void VisitCXXMethodDecl(CXXMethodDecl *D);
98 void VisitCXXConstructorDecl(CXXConstructorDecl *D);
99 void VisitCXXDestructorDecl(CXXDestructorDecl *D);
100 void VisitCXXConversionDecl(CXXConversionDecl *D);
Chris Lattner487412d2009-04-27 05:27:42 +0000101 void VisitFieldDecl(FieldDecl *FD);
102 void VisitVarDecl(VarDecl *VD);
103 void VisitImplicitParamDecl(ImplicitParamDecl *PD);
104 void VisitParmVarDecl(ParmVarDecl *PD);
Chris Lattnerca025db2010-05-07 21:43:38 +0000105 void VisitNonTypeTemplateParmDecl(NonTypeTemplateParmDecl *D);
106 void VisitTemplateDecl(TemplateDecl *D);
Peter Collingbourne91b25b72010-07-29 16:11:51 +0000107 void VisitRedeclarableTemplateDecl(RedeclarableTemplateDecl *D);
Chris Lattnerca025db2010-05-07 21:43:38 +0000108 void VisitClassTemplateDecl(ClassTemplateDecl *D);
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000109 void VisitFunctionTemplateDecl(FunctionTemplateDecl *D);
Chris Lattnerca025db2010-05-07 21:43:38 +0000110 void VisitTemplateTemplateParmDecl(TemplateTemplateParmDecl *D);
Argyrios Kyrtzidis41d45622010-06-20 14:40:59 +0000111 void VisitUsingDecl(UsingDecl *D);
112 void VisitUsingShadowDecl(UsingShadowDecl *D);
Chris Lattnerca025db2010-05-07 21:43:38 +0000113 void VisitLinkageSpecDecl(LinkageSpecDecl *D);
Chris Lattner487412d2009-04-27 05:27:42 +0000114 void VisitFileScopeAsmDecl(FileScopeAsmDecl *AD);
Abramo Bagnarad7340582010-06-05 05:09:32 +0000115 void VisitAccessSpecDecl(AccessSpecDecl *D);
Argyrios Kyrtzidis74d28bd2010-06-29 22:47:00 +0000116 void VisitFriendDecl(FriendDecl *D);
Chris Lattnerca025db2010-05-07 21:43:38 +0000117 void VisitFriendTemplateDecl(FriendTemplateDecl *D);
118 void VisitStaticAssertDecl(StaticAssertDecl *D);
Chris Lattner487412d2009-04-27 05:27:42 +0000119 void VisitBlockDecl(BlockDecl *BD);
Chris Lattnerca025db2010-05-07 21:43:38 +0000120
Chris Lattner487412d2009-04-27 05:27:42 +0000121 std::pair<uint64_t, uint64_t> VisitDeclContext(DeclContext *DC);
Argyrios Kyrtzidis839bbac2010-08-03 17:30:10 +0000122 template <typename T> void VisitRedeclarable(Redeclarable<T> *D);
Chris Lattnerca025db2010-05-07 21:43:38 +0000123
Alexis Hunted053252010-05-30 07:21:58 +0000124 // FIXME: Reorder according to DeclNodes.td?
Chris Lattner487412d2009-04-27 05:27:42 +0000125 void VisitObjCMethodDecl(ObjCMethodDecl *D);
126 void VisitObjCContainerDecl(ObjCContainerDecl *D);
127 void VisitObjCInterfaceDecl(ObjCInterfaceDecl *D);
128 void VisitObjCIvarDecl(ObjCIvarDecl *D);
129 void VisitObjCProtocolDecl(ObjCProtocolDecl *D);
130 void VisitObjCAtDefsFieldDecl(ObjCAtDefsFieldDecl *D);
131 void VisitObjCClassDecl(ObjCClassDecl *D);
132 void VisitObjCForwardProtocolDecl(ObjCForwardProtocolDecl *D);
133 void VisitObjCCategoryDecl(ObjCCategoryDecl *D);
134 void VisitObjCImplDecl(ObjCImplDecl *D);
135 void VisitObjCCategoryImplDecl(ObjCCategoryImplDecl *D);
136 void VisitObjCImplementationDecl(ObjCImplementationDecl *D);
137 void VisitObjCCompatibleAliasDecl(ObjCCompatibleAliasDecl *D);
138 void VisitObjCPropertyDecl(ObjCPropertyDecl *D);
139 void VisitObjCPropertyImplDecl(ObjCPropertyImplDecl *D);
140 };
141}
142
Sebastian Redlb3298c32010-08-18 23:56:48 +0000143uint64_t ASTDeclReader::GetCurrentCursorOffset() {
Sebastian Redlc67764e2010-07-22 22:43:28 +0000144 uint64_t Off = 0;
145 for (unsigned I = 0, N = Reader.Chain.size(); I != N; ++I) {
Sebastian Redl2c499f62010-08-18 23:56:43 +0000146 ASTReader::PerFileData &F = *Reader.Chain[N - I - 1];
Sebastian Redlc67764e2010-07-22 22:43:28 +0000147 if (&Cursor == &F.DeclsCursor) {
148 Off += F.DeclsCursor.GetCurrentBitNo();
149 break;
150 }
151 Off += F.SizeInBits;
152 }
153 return Off;
154}
155
Sebastian Redlb3298c32010-08-18 23:56:48 +0000156void ASTDeclReader::Visit(Decl *D) {
157 DeclVisitor<ASTDeclReader, void>::Visit(D);
Argyrios Kyrtzidis318b0e72010-07-02 11:55:01 +0000158
Argyrios Kyrtzidis33575162010-07-02 15:58:43 +0000159 if (TypeDecl *TD = dyn_cast<TypeDecl>(D)) {
Douglas Gregor1c283312010-08-11 12:19:30 +0000160 // if we have a fully initialized TypeDecl, we can safely read its type now.
161 TD->setTypeForDecl(Reader.GetType(TypeIDForTypeDecl).getTypePtr());
Argyrios Kyrtzidis33575162010-07-02 15:58:43 +0000162 } else if (FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
163 // FunctionDecl's body was written last after all other Stmts/Exprs.
164 if (Record[Idx++])
Sebastian Redlc67764e2010-07-22 22:43:28 +0000165 FD->setLazyBody(GetCurrentCursorOffset());
Argyrios Kyrtzidis33575162010-07-02 15:58:43 +0000166 }
Argyrios Kyrtzidis318b0e72010-07-02 11:55:01 +0000167}
168
Sebastian Redlb3298c32010-08-18 23:56:48 +0000169void ASTDeclReader::VisitDecl(Decl *D) {
Chris Lattner487412d2009-04-27 05:27:42 +0000170 D->setDeclContext(cast_or_null<DeclContext>(Reader.GetDecl(Record[Idx++])));
171 D->setLexicalDeclContext(
172 cast_or_null<DeclContext>(Reader.GetDecl(Record[Idx++])));
Sebastian Redl2c373b92010-10-05 15:59:54 +0000173 D->setLocation(ReadSourceLocation(Record, Idx));
Chris Lattner487412d2009-04-27 05:27:42 +0000174 D->setInvalidDecl(Record[Idx++]);
Argyrios Kyrtzidis9beef8e2010-10-18 19:20:11 +0000175 if (Record[Idx++]) { // hasAttrs
Alexis Huntdcfba7b2010-08-18 23:23:40 +0000176 AttrVec Attrs;
Argyrios Kyrtzidis9beef8e2010-10-18 19:20:11 +0000177 Reader.ReadAttributes(F, Attrs, Record, Idx);
Alexis Huntdcfba7b2010-08-18 23:23:40 +0000178 D->setAttrs(Attrs);
179 }
Chris Lattner487412d2009-04-27 05:27:42 +0000180 D->setImplicit(Record[Idx++]);
Douglas Gregorc9c02ed2009-06-19 23:52:42 +0000181 D->setUsed(Record[Idx++]);
Chris Lattner487412d2009-04-27 05:27:42 +0000182 D->setAccess((AccessSpecifier)Record[Idx++]);
Sebastian Redl009e7f22010-10-05 16:15:19 +0000183 D->setPCHLevel(Record[Idx++] + (F.Type <= ASTReader::PCH));
Chris Lattner487412d2009-04-27 05:27:42 +0000184}
185
Sebastian Redlb3298c32010-08-18 23:56:48 +0000186void ASTDeclReader::VisitTranslationUnitDecl(TranslationUnitDecl *TU) {
Chris Lattner487412d2009-04-27 05:27:42 +0000187 VisitDecl(TU);
Chris Lattnerca025db2010-05-07 21:43:38 +0000188 TU->setAnonymousNamespace(
189 cast_or_null<NamespaceDecl>(Reader.GetDecl(Record[Idx++])));
Chris Lattner487412d2009-04-27 05:27:42 +0000190}
191
Sebastian Redlb3298c32010-08-18 23:56:48 +0000192void ASTDeclReader::VisitNamedDecl(NamedDecl *ND) {
Chris Lattner487412d2009-04-27 05:27:42 +0000193 VisitDecl(ND);
Mike Stump11289f42009-09-09 15:08:12 +0000194 ND->setDeclName(Reader.ReadDeclarationName(Record, Idx));
Chris Lattner487412d2009-04-27 05:27:42 +0000195}
196
Sebastian Redlb3298c32010-08-18 23:56:48 +0000197void ASTDeclReader::VisitTypeDecl(TypeDecl *TD) {
Chris Lattner487412d2009-04-27 05:27:42 +0000198 VisitNamedDecl(TD);
Argyrios Kyrtzidis318b0e72010-07-02 11:55:01 +0000199 // Delay type reading until after we have fully initialized the decl.
Douglas Gregor1c283312010-08-11 12:19:30 +0000200 TypeIDForTypeDecl = Record[Idx++];
Chris Lattner487412d2009-04-27 05:27:42 +0000201}
202
Sebastian Redlb3298c32010-08-18 23:56:48 +0000203void ASTDeclReader::VisitTypedefDecl(TypedefDecl *TD) {
Argyrios Kyrtzidis318b0e72010-07-02 11:55:01 +0000204 VisitTypeDecl(TD);
Sebastian Redl2c373b92010-10-05 15:59:54 +0000205 TD->setTypeSourceInfo(GetTypeSourceInfo(Record, Idx));
Chris Lattner487412d2009-04-27 05:27:42 +0000206}
207
Sebastian Redlb3298c32010-08-18 23:56:48 +0000208void ASTDeclReader::VisitTagDecl(TagDecl *TD) {
Chris Lattner487412d2009-04-27 05:27:42 +0000209 VisitTypeDecl(TD);
Argyrios Kyrtzidis839bbac2010-08-03 17:30:10 +0000210 VisitRedeclarable(TD);
Argyrios Kyrtzidisf4bc0d82010-09-08 19:31:22 +0000211 TD->IdentifierNamespace = Record[Idx++];
Chris Lattner487412d2009-04-27 05:27:42 +0000212 TD->setTagKind((TagDecl::TagKind)Record[Idx++]);
213 TD->setDefinition(Record[Idx++]);
Douglas Gregor5089c762010-02-12 17:40:34 +0000214 TD->setEmbeddedInDeclarator(Record[Idx++]);
Sebastian Redl2c373b92010-10-05 15:59:54 +0000215 TD->setRBraceLoc(ReadSourceLocation(Record, Idx));
216 TD->setTagKeywordLoc(ReadSourceLocation(Record, Idx));
Argyrios Kyrtzidis434383d2010-10-15 18:21:24 +0000217 if (Record[Idx++]) { // hasExtInfo
218 TagDecl::ExtInfo *Info = new (*Reader.getContext()) TagDecl::ExtInfo();
219 ReadQualifierInfo(*Info, Record, Idx);
220 TD->TypedefDeclOrQualifier = Info;
221 } else
222 TD->setTypedefForAnonDecl(
223 cast_or_null<TypedefDecl>(Reader.GetDecl(Record[Idx++])));
Chris Lattner487412d2009-04-27 05:27:42 +0000224}
225
Sebastian Redlb3298c32010-08-18 23:56:48 +0000226void ASTDeclReader::VisitEnumDecl(EnumDecl *ED) {
Chris Lattner487412d2009-04-27 05:27:42 +0000227 VisitTagDecl(ED);
Douglas Gregor0bf31402010-10-08 23:50:27 +0000228 if (TypeSourceInfo *TI = Reader.GetTypeSourceInfo(F, Record, Idx))
229 ED->setIntegerTypeSourceInfo(TI);
230 else
231 ED->setIntegerType(Reader.GetType(Record[Idx++]));
John McCall56774992009-12-09 09:09:27 +0000232 ED->setPromotionType(Reader.GetType(Record[Idx++]));
John McCall9aa35be2010-05-06 08:49:23 +0000233 ED->setNumPositiveBits(Record[Idx++]);
234 ED->setNumNegativeBits(Record[Idx++]);
Douglas Gregor0bf31402010-10-08 23:50:27 +0000235 ED->IsScoped = Record[Idx++];
236 ED->IsFixed = Record[Idx++];
Argyrios Kyrtzidis282b36b2010-07-06 15:36:48 +0000237 ED->setInstantiationOfMemberEnum(
238 cast_or_null<EnumDecl>(Reader.GetDecl(Record[Idx++])));
Chris Lattner487412d2009-04-27 05:27:42 +0000239}
240
Sebastian Redlb3298c32010-08-18 23:56:48 +0000241void ASTDeclReader::VisitRecordDecl(RecordDecl *RD) {
Chris Lattner487412d2009-04-27 05:27:42 +0000242 VisitTagDecl(RD);
243 RD->setHasFlexibleArrayMember(Record[Idx++]);
244 RD->setAnonymousStructOrUnion(Record[Idx++]);
Fariborz Jahanian8e0d0422009-07-08 16:37:44 +0000245 RD->setHasObjectMember(Record[Idx++]);
Chris Lattner487412d2009-04-27 05:27:42 +0000246}
247
Sebastian Redlb3298c32010-08-18 23:56:48 +0000248void ASTDeclReader::VisitValueDecl(ValueDecl *VD) {
Chris Lattner487412d2009-04-27 05:27:42 +0000249 VisitNamedDecl(VD);
250 VD->setType(Reader.GetType(Record[Idx++]));
251}
252
Sebastian Redlb3298c32010-08-18 23:56:48 +0000253void ASTDeclReader::VisitEnumConstantDecl(EnumConstantDecl *ECD) {
Chris Lattner487412d2009-04-27 05:27:42 +0000254 VisitValueDecl(ECD);
255 if (Record[Idx++])
Sebastian Redl2c373b92010-10-05 15:59:54 +0000256 ECD->setInitExpr(Reader.ReadExpr(F));
Chris Lattner487412d2009-04-27 05:27:42 +0000257 ECD->setInitVal(Reader.ReadAPSInt(Record, Idx));
258}
259
Sebastian Redlb3298c32010-08-18 23:56:48 +0000260void ASTDeclReader::VisitDeclaratorDecl(DeclaratorDecl *DD) {
Argyrios Kyrtzidis560ac972009-08-19 01:28:35 +0000261 VisitValueDecl(DD);
Argyrios Kyrtzidis434383d2010-10-15 18:21:24 +0000262 if (Record[Idx++]) { // hasExtInfo
263 DeclaratorDecl::ExtInfo *Info
264 = new (*Reader.getContext()) DeclaratorDecl::ExtInfo();
265 ReadQualifierInfo(*Info, Record, Idx);
266 Info->TInfo = GetTypeSourceInfo(Record, Idx);
267 DD->DeclInfo = Info;
268 } else
269 DD->DeclInfo = GetTypeSourceInfo(Record, Idx);
Argyrios Kyrtzidis560ac972009-08-19 01:28:35 +0000270}
271
Sebastian Redlb3298c32010-08-18 23:56:48 +0000272void ASTDeclReader::VisitFunctionDecl(FunctionDecl *FD) {
Argyrios Kyrtzidis560ac972009-08-19 01:28:35 +0000273 VisitDeclaratorDecl(FD);
Argyrios Kyrtzidisf4bc0d82010-09-08 19:31:22 +0000274 VisitRedeclarable(FD);
Chris Lattnerca025db2010-05-07 21:43:38 +0000275
Argyrios Kyrtzidis434383d2010-10-15 18:21:24 +0000276 ReadDeclarationNameLoc(FD->DNLoc, FD->getDeclName(), Record, Idx);
Argyrios Kyrtzidisa95d0192010-07-05 10:38:01 +0000277 FD->IdentifierNamespace = Record[Idx++];
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000278 switch ((FunctionDecl::TemplatedKind)Record[Idx++]) {
Argyrios Kyrtzidis0b0369a2010-06-28 09:31:34 +0000279 default: assert(false && "Unhandled TemplatedKind!");
280 break;
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000281 case FunctionDecl::TK_NonTemplate:
282 break;
283 case FunctionDecl::TK_FunctionTemplate:
284 FD->setDescribedFunctionTemplate(
285 cast<FunctionTemplateDecl>(Reader.GetDecl(Record[Idx++])));
286 break;
287 case FunctionDecl::TK_MemberSpecialization: {
288 FunctionDecl *InstFD = cast<FunctionDecl>(Reader.GetDecl(Record[Idx++]));
289 TemplateSpecializationKind TSK = (TemplateSpecializationKind)Record[Idx++];
Sebastian Redl2c373b92010-10-05 15:59:54 +0000290 SourceLocation POI = ReadSourceLocation(Record, Idx);
Argyrios Kyrtzidisf4bc0d82010-09-08 19:31:22 +0000291 FD->setInstantiationOfMemberFunction(*Reader.getContext(), InstFD, TSK);
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000292 FD->getMemberSpecializationInfo()->setPointOfInstantiation(POI);
293 break;
294 }
295 case FunctionDecl::TK_FunctionTemplateSpecialization: {
296 FunctionTemplateDecl *Template
297 = cast<FunctionTemplateDecl>(Reader.GetDecl(Record[Idx++]));
298 TemplateSpecializationKind TSK = (TemplateSpecializationKind)Record[Idx++];
299
300 // Template arguments.
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000301 llvm::SmallVector<TemplateArgument, 8> TemplArgs;
Sebastian Redl2c373b92010-10-05 15:59:54 +0000302 Reader.ReadTemplateArgumentList(TemplArgs, F, Record, Idx);
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000303
304 // Template args as written.
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000305 llvm::SmallVector<TemplateArgumentLoc, 8> TemplArgLocs;
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000306 SourceLocation LAngleLoc, RAngleLoc;
Argyrios Kyrtzidis373a83a2010-07-02 11:55:40 +0000307 if (Record[Idx++]) { // TemplateArgumentsAsWritten != 0
308 unsigned NumTemplateArgLocs = Record[Idx++];
309 TemplArgLocs.reserve(NumTemplateArgLocs);
310 for (unsigned i=0; i != NumTemplateArgLocs; ++i)
Sebastian Redlc67764e2010-07-22 22:43:28 +0000311 TemplArgLocs.push_back(
Sebastian Redl2c373b92010-10-05 15:59:54 +0000312 Reader.ReadTemplateArgumentLoc(F, Record, Idx));
Argyrios Kyrtzidis373a83a2010-07-02 11:55:40 +0000313
Sebastian Redl2c373b92010-10-05 15:59:54 +0000314 LAngleLoc = ReadSourceLocation(Record, Idx);
315 RAngleLoc = ReadSourceLocation(Record, Idx);
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000316 }
Argyrios Kyrtzidis927d8e02010-07-05 10:37:55 +0000317
Sebastian Redl2c373b92010-10-05 15:59:54 +0000318 SourceLocation POI = ReadSourceLocation(Record, Idx);
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000319
Argyrios Kyrtzidise262a952010-09-09 11:28:23 +0000320 ASTContext &C = *Reader.getContext();
321 TemplateArgumentList *TemplArgList
322 = new (C) TemplateArgumentList(C, TemplArgs.data(), TemplArgs.size());
323 TemplateArgumentListInfo *TemplArgsInfo
324 = new (C) TemplateArgumentListInfo(LAngleLoc, RAngleLoc);
325 for (unsigned i=0, e = TemplArgLocs.size(); i != e; ++i)
326 TemplArgsInfo->addArgument(TemplArgLocs[i]);
327 FunctionTemplateSpecializationInfo *FTInfo
328 = FunctionTemplateSpecializationInfo::Create(C, FD, Template, TSK,
329 TemplArgList,
330 TemplArgsInfo, POI);
331 FD->TemplateOrSpecialization = FTInfo;
Argyrios Kyrtzidisf4bc0d82010-09-08 19:31:22 +0000332
Argyrios Kyrtzidise262a952010-09-09 11:28:23 +0000333 if (FD->isCanonicalDecl()) { // if canonical add to template's set.
Argyrios Kyrtzidisf24d5692010-09-13 11:45:48 +0000334 // The template that contains the specializations set. It's not safe to
335 // use getCanonicalDecl on Template since it may still be initializing.
336 FunctionTemplateDecl *CanonTemplate
337 = cast<FunctionTemplateDecl>(Reader.GetDecl(Record[Idx++]));
Argyrios Kyrtzidise262a952010-09-09 11:28:23 +0000338 // Get the InsertPos by FindNodeOrInsertPos() instead of calling
339 // InsertNode(FTInfo) directly to avoid the getASTContext() call in
340 // FunctionTemplateSpecializationInfo's Profile().
341 // We avoid getASTContext because a decl in the parent hierarchy may
342 // be initializing.
Argyrios Kyrtzidisf4bc0d82010-09-08 19:31:22 +0000343 llvm::FoldingSetNodeID ID;
344 FunctionTemplateSpecializationInfo::Profile(ID, TemplArgs.data(),
345 TemplArgs.size(), C);
346 void *InsertPos = 0;
Argyrios Kyrtzidisf24d5692010-09-13 11:45:48 +0000347 CanonTemplate->getSpecializations().FindNodeOrInsertPos(ID, InsertPos);
Argyrios Kyrtzidise262a952010-09-09 11:28:23 +0000348 assert(InsertPos && "Another specialization already inserted!");
Argyrios Kyrtzidisf24d5692010-09-13 11:45:48 +0000349 CanonTemplate->getSpecializations().InsertNode(FTInfo, InsertPos);
Argyrios Kyrtzidisf4bc0d82010-09-08 19:31:22 +0000350 }
Argyrios Kyrtzidis0b0369a2010-06-28 09:31:34 +0000351 break;
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000352 }
353 case FunctionDecl::TK_DependentFunctionTemplateSpecialization: {
354 // Templates.
355 UnresolvedSet<8> TemplDecls;
356 unsigned NumTemplates = Record[Idx++];
357 while (NumTemplates--)
358 TemplDecls.addDecl(cast<NamedDecl>(Reader.GetDecl(Record[Idx++])));
359
360 // Templates args.
361 TemplateArgumentListInfo TemplArgs;
362 unsigned NumArgs = Record[Idx++];
363 while (NumArgs--)
Sebastian Redl2c373b92010-10-05 15:59:54 +0000364 TemplArgs.addArgument(Reader.ReadTemplateArgumentLoc(F, Record, Idx));
365 TemplArgs.setLAngleLoc(ReadSourceLocation(Record, Idx));
366 TemplArgs.setRAngleLoc(ReadSourceLocation(Record, Idx));
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000367
368 FD->setDependentTemplateSpecialization(*Reader.getContext(),
369 TemplDecls, TemplArgs);
Argyrios Kyrtzidis0b0369a2010-06-28 09:31:34 +0000370 break;
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +0000371 }
372 }
Argyrios Kyrtzidis373a83a2010-07-02 11:55:40 +0000373
Sebastian Redlb3298c32010-08-18 23:56:48 +0000374 // FunctionDecl's body is handled last at ASTDeclReader::Visit,
Argyrios Kyrtzidis33575162010-07-02 15:58:43 +0000375 // after everything else is read.
376
John McCall8e7d6562010-08-26 03:08:43 +0000377 FD->setStorageClass((StorageClass)Record[Idx++]);
378 FD->setStorageClassAsWritten((StorageClass)Record[Idx++]);
Argyrios Kyrtzidis373a83a2010-07-02 11:55:40 +0000379 FD->setInlineSpecified(Record[Idx++]);
380 FD->setVirtualAsWritten(Record[Idx++]);
381 FD->setPure(Record[Idx++]);
382 FD->setHasInheritedPrototype(Record[Idx++]);
383 FD->setHasWrittenPrototype(Record[Idx++]);
384 FD->setDeleted(Record[Idx++]);
385 FD->setTrivial(Record[Idx++]);
Argyrios Kyrtzidis373a83a2010-07-02 11:55:40 +0000386 FD->setHasImplicitReturnZero(Record[Idx++]);
Sebastian Redl2c373b92010-10-05 15:59:54 +0000387 FD->setLocEnd(ReadSourceLocation(Record, Idx));
Argyrios Kyrtzidis373a83a2010-07-02 11:55:40 +0000388
Chris Lattnerca025db2010-05-07 21:43:38 +0000389 // Read in the parameters.
Chris Lattner487412d2009-04-27 05:27:42 +0000390 unsigned NumParams = Record[Idx++];
391 llvm::SmallVector<ParmVarDecl *, 16> Params;
392 Params.reserve(NumParams);
393 for (unsigned I = 0; I != NumParams; ++I)
394 Params.push_back(cast<ParmVarDecl>(Reader.GetDecl(Record[Idx++])));
Argyrios Kyrtzidisf4bc0d82010-09-08 19:31:22 +0000395 FD->setParams(*Reader.getContext(), Params.data(), NumParams);
Chris Lattner487412d2009-04-27 05:27:42 +0000396}
397
Sebastian Redlb3298c32010-08-18 23:56:48 +0000398void ASTDeclReader::VisitObjCMethodDecl(ObjCMethodDecl *MD) {
Chris Lattner487412d2009-04-27 05:27:42 +0000399 VisitNamedDecl(MD);
400 if (Record[Idx++]) {
401 // In practice, this won't be executed (since method definitions
402 // don't occur in header files).
Sebastian Redl2c373b92010-10-05 15:59:54 +0000403 MD->setBody(Reader.ReadStmt(F));
Chris Lattner487412d2009-04-27 05:27:42 +0000404 MD->setSelfDecl(cast<ImplicitParamDecl>(Reader.GetDecl(Record[Idx++])));
405 MD->setCmdDecl(cast<ImplicitParamDecl>(Reader.GetDecl(Record[Idx++])));
406 }
407 MD->setInstanceMethod(Record[Idx++]);
408 MD->setVariadic(Record[Idx++]);
409 MD->setSynthesized(Record[Idx++]);
Fariborz Jahanian6e7e8cc2010-07-22 18:24:20 +0000410 MD->setDefined(Record[Idx++]);
Chris Lattner487412d2009-04-27 05:27:42 +0000411 MD->setDeclImplementation((ObjCMethodDecl::ImplementationControl)Record[Idx++]);
412 MD->setObjCDeclQualifier((Decl::ObjCDeclQualifier)Record[Idx++]);
Fariborz Jahaniand9235db2010-04-08 21:29:11 +0000413 MD->setNumSelectorArgs(unsigned(Record[Idx++]));
Chris Lattner487412d2009-04-27 05:27:42 +0000414 MD->setResultType(Reader.GetType(Record[Idx++]));
Sebastian Redl2c373b92010-10-05 15:59:54 +0000415 MD->setResultTypeSourceInfo(GetTypeSourceInfo(Record, Idx));
416 MD->setEndLoc(ReadSourceLocation(Record, Idx));
Chris Lattner487412d2009-04-27 05:27:42 +0000417 unsigned NumParams = Record[Idx++];
418 llvm::SmallVector<ParmVarDecl *, 16> Params;
419 Params.reserve(NumParams);
420 for (unsigned I = 0; I != NumParams; ++I)
421 Params.push_back(cast<ParmVarDecl>(Reader.GetDecl(Record[Idx++])));
Fariborz Jahaniancdabb312010-04-09 15:40:42 +0000422 MD->setMethodParams(*Reader.getContext(), Params.data(), NumParams,
423 NumParams);
Chris Lattner487412d2009-04-27 05:27:42 +0000424}
425
Sebastian Redlb3298c32010-08-18 23:56:48 +0000426void ASTDeclReader::VisitObjCContainerDecl(ObjCContainerDecl *CD) {
Chris Lattner487412d2009-04-27 05:27:42 +0000427 VisitNamedDecl(CD);
Sebastian Redl2c373b92010-10-05 15:59:54 +0000428 SourceLocation A = ReadSourceLocation(Record, Idx);
429 SourceLocation B = ReadSourceLocation(Record, Idx);
Ted Kremenekc7c64312010-01-07 01:20:12 +0000430 CD->setAtEndRange(SourceRange(A, B));
Chris Lattner487412d2009-04-27 05:27:42 +0000431}
432
Sebastian Redlb3298c32010-08-18 23:56:48 +0000433void ASTDeclReader::VisitObjCInterfaceDecl(ObjCInterfaceDecl *ID) {
Chris Lattner487412d2009-04-27 05:27:42 +0000434 VisitObjCContainerDecl(ID);
Douglas Gregor1c283312010-08-11 12:19:30 +0000435 ID->setTypeForDecl(Reader.GetType(Record[Idx++]).getTypePtr());
Chris Lattner487412d2009-04-27 05:27:42 +0000436 ID->setSuperClass(cast_or_null<ObjCInterfaceDecl>
437 (Reader.GetDecl(Record[Idx++])));
Ted Kremenek0ef508d2010-09-01 01:21:15 +0000438
439 // Read the directly referenced protocols and their SourceLocations.
Chris Lattner487412d2009-04-27 05:27:42 +0000440 unsigned NumProtocols = Record[Idx++];
441 llvm::SmallVector<ObjCProtocolDecl *, 16> Protocols;
442 Protocols.reserve(NumProtocols);
443 for (unsigned I = 0; I != NumProtocols; ++I)
444 Protocols.push_back(cast<ObjCProtocolDecl>(Reader.GetDecl(Record[Idx++])));
Douglas Gregor002b6712010-01-16 15:02:53 +0000445 llvm::SmallVector<SourceLocation, 16> ProtoLocs;
446 ProtoLocs.reserve(NumProtocols);
447 for (unsigned I = 0; I != NumProtocols; ++I)
Sebastian Redl2c373b92010-10-05 15:59:54 +0000448 ProtoLocs.push_back(ReadSourceLocation(Record, Idx));
Douglas Gregor002b6712010-01-16 15:02:53 +0000449 ID->setProtocolList(Protocols.data(), NumProtocols, ProtoLocs.data(),
450 *Reader.getContext());
Ted Kremenek0ef508d2010-09-01 01:21:15 +0000451
452 // Read the transitive closure of protocols referenced by this class.
453 NumProtocols = Record[Idx++];
454 Protocols.clear();
455 Protocols.reserve(NumProtocols);
456 for (unsigned I = 0; I != NumProtocols; ++I)
457 Protocols.push_back(cast<ObjCProtocolDecl>(Reader.GetDecl(Record[Idx++])));
458 ID->AllReferencedProtocols.set(Protocols.data(), NumProtocols,
459 *Reader.getContext());
460
461 // Read the ivars.
Chris Lattner487412d2009-04-27 05:27:42 +0000462 unsigned NumIvars = Record[Idx++];
463 llvm::SmallVector<ObjCIvarDecl *, 16> IVars;
464 IVars.reserve(NumIvars);
465 for (unsigned I = 0; I != NumIvars; ++I)
466 IVars.push_back(cast<ObjCIvarDecl>(Reader.GetDecl(Record[Idx++])));
Chris Lattner487412d2009-04-27 05:27:42 +0000467 ID->setCategoryList(
468 cast_or_null<ObjCCategoryDecl>(Reader.GetDecl(Record[Idx++])));
Fariborz Jahaniana50b3a22010-08-20 21:21:08 +0000469 // We will rebuild this list lazily.
470 ID->setIvarList(0);
Douglas Gregor1c283312010-08-11 12:19:30 +0000471 ID->setForwardDecl(Record[Idx++]);
472 ID->setImplicitInterfaceDecl(Record[Idx++]);
Sebastian Redl2c373b92010-10-05 15:59:54 +0000473 ID->setClassLoc(ReadSourceLocation(Record, Idx));
474 ID->setSuperClassLoc(ReadSourceLocation(Record, Idx));
475 ID->setLocEnd(ReadSourceLocation(Record, Idx));
Chris Lattner487412d2009-04-27 05:27:42 +0000476}
477
Sebastian Redlb3298c32010-08-18 23:56:48 +0000478void ASTDeclReader::VisitObjCIvarDecl(ObjCIvarDecl *IVD) {
Chris Lattner487412d2009-04-27 05:27:42 +0000479 VisitFieldDecl(IVD);
480 IVD->setAccessControl((ObjCIvarDecl::AccessControl)Record[Idx++]);
Fariborz Jahaniana50b3a22010-08-20 21:21:08 +0000481 // This field will be built lazily.
482 IVD->setNextIvar(0);
Fariborz Jahanianaea8e1e2010-07-17 18:35:47 +0000483 bool synth = Record[Idx++];
484 IVD->setSynthesize(synth);
Chris Lattner487412d2009-04-27 05:27:42 +0000485}
486
Sebastian Redlb3298c32010-08-18 23:56:48 +0000487void ASTDeclReader::VisitObjCProtocolDecl(ObjCProtocolDecl *PD) {
Chris Lattner487412d2009-04-27 05:27:42 +0000488 VisitObjCContainerDecl(PD);
489 PD->setForwardDecl(Record[Idx++]);
Sebastian Redl2c373b92010-10-05 15:59:54 +0000490 PD->setLocEnd(ReadSourceLocation(Record, Idx));
Chris Lattner487412d2009-04-27 05:27:42 +0000491 unsigned NumProtoRefs = Record[Idx++];
492 llvm::SmallVector<ObjCProtocolDecl *, 16> ProtoRefs;
493 ProtoRefs.reserve(NumProtoRefs);
494 for (unsigned I = 0; I != NumProtoRefs; ++I)
495 ProtoRefs.push_back(cast<ObjCProtocolDecl>(Reader.GetDecl(Record[Idx++])));
Douglas Gregor002b6712010-01-16 15:02:53 +0000496 llvm::SmallVector<SourceLocation, 16> ProtoLocs;
497 ProtoLocs.reserve(NumProtoRefs);
498 for (unsigned I = 0; I != NumProtoRefs; ++I)
Sebastian Redl2c373b92010-10-05 15:59:54 +0000499 ProtoLocs.push_back(ReadSourceLocation(Record, Idx));
Douglas Gregor002b6712010-01-16 15:02:53 +0000500 PD->setProtocolList(ProtoRefs.data(), NumProtoRefs, ProtoLocs.data(),
501 *Reader.getContext());
Chris Lattner487412d2009-04-27 05:27:42 +0000502}
503
Sebastian Redlb3298c32010-08-18 23:56:48 +0000504void ASTDeclReader::VisitObjCAtDefsFieldDecl(ObjCAtDefsFieldDecl *FD) {
Chris Lattner487412d2009-04-27 05:27:42 +0000505 VisitFieldDecl(FD);
506}
507
Sebastian Redlb3298c32010-08-18 23:56:48 +0000508void ASTDeclReader::VisitObjCClassDecl(ObjCClassDecl *CD) {
Chris Lattner487412d2009-04-27 05:27:42 +0000509 VisitDecl(CD);
510 unsigned NumClassRefs = Record[Idx++];
511 llvm::SmallVector<ObjCInterfaceDecl *, 16> ClassRefs;
512 ClassRefs.reserve(NumClassRefs);
513 for (unsigned I = 0; I != NumClassRefs; ++I)
514 ClassRefs.push_back(cast<ObjCInterfaceDecl>(Reader.GetDecl(Record[Idx++])));
Ted Kremenek9b124e12009-11-18 00:28:11 +0000515 llvm::SmallVector<SourceLocation, 16> SLocs;
516 SLocs.reserve(NumClassRefs);
517 for (unsigned I = 0; I != NumClassRefs; ++I)
Sebastian Redl2c373b92010-10-05 15:59:54 +0000518 SLocs.push_back(ReadSourceLocation(Record, Idx));
Ted Kremenek9b124e12009-11-18 00:28:11 +0000519 CD->setClassList(*Reader.getContext(), ClassRefs.data(), SLocs.data(),
520 NumClassRefs);
Chris Lattner487412d2009-04-27 05:27:42 +0000521}
522
Sebastian Redlb3298c32010-08-18 23:56:48 +0000523void ASTDeclReader::VisitObjCForwardProtocolDecl(ObjCForwardProtocolDecl *FPD) {
Chris Lattner487412d2009-04-27 05:27:42 +0000524 VisitDecl(FPD);
525 unsigned NumProtoRefs = Record[Idx++];
526 llvm::SmallVector<ObjCProtocolDecl *, 16> ProtoRefs;
527 ProtoRefs.reserve(NumProtoRefs);
528 for (unsigned I = 0; I != NumProtoRefs; ++I)
529 ProtoRefs.push_back(cast<ObjCProtocolDecl>(Reader.GetDecl(Record[Idx++])));
Douglas Gregor002b6712010-01-16 15:02:53 +0000530 llvm::SmallVector<SourceLocation, 16> ProtoLocs;
531 ProtoLocs.reserve(NumProtoRefs);
532 for (unsigned I = 0; I != NumProtoRefs; ++I)
Sebastian Redl2c373b92010-10-05 15:59:54 +0000533 ProtoLocs.push_back(ReadSourceLocation(Record, Idx));
Douglas Gregor002b6712010-01-16 15:02:53 +0000534 FPD->setProtocolList(ProtoRefs.data(), NumProtoRefs, ProtoLocs.data(),
535 *Reader.getContext());
Chris Lattner487412d2009-04-27 05:27:42 +0000536}
537
Sebastian Redlb3298c32010-08-18 23:56:48 +0000538void ASTDeclReader::VisitObjCCategoryDecl(ObjCCategoryDecl *CD) {
Chris Lattner487412d2009-04-27 05:27:42 +0000539 VisitObjCContainerDecl(CD);
540 CD->setClassInterface(cast<ObjCInterfaceDecl>(Reader.GetDecl(Record[Idx++])));
541 unsigned NumProtoRefs = Record[Idx++];
542 llvm::SmallVector<ObjCProtocolDecl *, 16> ProtoRefs;
543 ProtoRefs.reserve(NumProtoRefs);
544 for (unsigned I = 0; I != NumProtoRefs; ++I)
545 ProtoRefs.push_back(cast<ObjCProtocolDecl>(Reader.GetDecl(Record[Idx++])));
Douglas Gregor002b6712010-01-16 15:02:53 +0000546 llvm::SmallVector<SourceLocation, 16> ProtoLocs;
547 ProtoLocs.reserve(NumProtoRefs);
548 for (unsigned I = 0; I != NumProtoRefs; ++I)
Sebastian Redl2c373b92010-10-05 15:59:54 +0000549 ProtoLocs.push_back(ReadSourceLocation(Record, Idx));
Douglas Gregor002b6712010-01-16 15:02:53 +0000550 CD->setProtocolList(ProtoRefs.data(), NumProtoRefs, ProtoLocs.data(),
551 *Reader.getContext());
Chris Lattner487412d2009-04-27 05:27:42 +0000552 CD->setNextClassCategory(cast_or_null<ObjCCategoryDecl>(Reader.GetDecl(Record[Idx++])));
Fariborz Jahanianbf9294f2010-08-23 18:51:39 +0000553 CD->setHasSynthBitfield(Record[Idx++]);
Sebastian Redl2c373b92010-10-05 15:59:54 +0000554 CD->setAtLoc(ReadSourceLocation(Record, Idx));
555 CD->setCategoryNameLoc(ReadSourceLocation(Record, Idx));
Chris Lattner487412d2009-04-27 05:27:42 +0000556}
557
Sebastian Redlb3298c32010-08-18 23:56:48 +0000558void ASTDeclReader::VisitObjCCompatibleAliasDecl(ObjCCompatibleAliasDecl *CAD) {
Chris Lattner487412d2009-04-27 05:27:42 +0000559 VisitNamedDecl(CAD);
560 CAD->setClassInterface(cast<ObjCInterfaceDecl>(Reader.GetDecl(Record[Idx++])));
561}
562
Sebastian Redlb3298c32010-08-18 23:56:48 +0000563void ASTDeclReader::VisitObjCPropertyDecl(ObjCPropertyDecl *D) {
Chris Lattner487412d2009-04-27 05:27:42 +0000564 VisitNamedDecl(D);
Sebastian Redl2c373b92010-10-05 15:59:54 +0000565 D->setAtLoc(ReadSourceLocation(Record, Idx));
566 D->setType(GetTypeSourceInfo(Record, Idx));
Chris Lattner487412d2009-04-27 05:27:42 +0000567 // FIXME: stable encoding
568 D->setPropertyAttributes(
569 (ObjCPropertyDecl::PropertyAttributeKind)Record[Idx++]);
Fariborz Jahanian3bf0ded2010-06-22 23:20:40 +0000570 D->setPropertyAttributesAsWritten(
571 (ObjCPropertyDecl::PropertyAttributeKind)Record[Idx++]);
Chris Lattner487412d2009-04-27 05:27:42 +0000572 // FIXME: stable encoding
573 D->setPropertyImplementation(
574 (ObjCPropertyDecl::PropertyControl)Record[Idx++]);
575 D->setGetterName(Reader.ReadDeclarationName(Record, Idx).getObjCSelector());
576 D->setSetterName(Reader.ReadDeclarationName(Record, Idx).getObjCSelector());
577 D->setGetterMethodDecl(
578 cast_or_null<ObjCMethodDecl>(Reader.GetDecl(Record[Idx++])));
579 D->setSetterMethodDecl(
580 cast_or_null<ObjCMethodDecl>(Reader.GetDecl(Record[Idx++])));
581 D->setPropertyIvarDecl(
582 cast_or_null<ObjCIvarDecl>(Reader.GetDecl(Record[Idx++])));
583}
584
Sebastian Redlb3298c32010-08-18 23:56:48 +0000585void ASTDeclReader::VisitObjCImplDecl(ObjCImplDecl *D) {
Argyrios Kyrtzidis067c4072009-07-27 19:04:32 +0000586 VisitObjCContainerDecl(D);
Chris Lattner487412d2009-04-27 05:27:42 +0000587 D->setClassInterface(
588 cast_or_null<ObjCInterfaceDecl>(Reader.GetDecl(Record[Idx++])));
Chris Lattner487412d2009-04-27 05:27:42 +0000589}
590
Sebastian Redlb3298c32010-08-18 23:56:48 +0000591void ASTDeclReader::VisitObjCCategoryImplDecl(ObjCCategoryImplDecl *D) {
Chris Lattner487412d2009-04-27 05:27:42 +0000592 VisitObjCImplDecl(D);
593 D->setIdentifier(Reader.GetIdentifierInfo(Record, Idx));
594}
595
Sebastian Redlb3298c32010-08-18 23:56:48 +0000596void ASTDeclReader::VisitObjCImplementationDecl(ObjCImplementationDecl *D) {
Chris Lattner487412d2009-04-27 05:27:42 +0000597 VisitObjCImplDecl(D);
598 D->setSuperClass(
599 cast_or_null<ObjCInterfaceDecl>(Reader.GetDecl(Record[Idx++])));
Argyrios Kyrtzidis13257c52010-08-09 10:54:20 +0000600 llvm::tie(D->IvarInitializers, D->NumIvarInitializers)
Sebastian Redl2c373b92010-10-05 15:59:54 +0000601 = Reader.ReadCXXBaseOrMemberInitializers(F, Record, Idx);
Fariborz Jahanianbf9294f2010-08-23 18:51:39 +0000602 D->setHasSynthBitfield(Record[Idx++]);
Chris Lattner487412d2009-04-27 05:27:42 +0000603}
604
605
Sebastian Redlb3298c32010-08-18 23:56:48 +0000606void ASTDeclReader::VisitObjCPropertyImplDecl(ObjCPropertyImplDecl *D) {
Chris Lattner487412d2009-04-27 05:27:42 +0000607 VisitDecl(D);
Sebastian Redl2c373b92010-10-05 15:59:54 +0000608 D->setAtLoc(ReadSourceLocation(Record, Idx));
Chris Lattner487412d2009-04-27 05:27:42 +0000609 D->setPropertyDecl(
610 cast_or_null<ObjCPropertyDecl>(Reader.GetDecl(Record[Idx++])));
611 D->setPropertyIvarDecl(
612 cast_or_null<ObjCIvarDecl>(Reader.GetDecl(Record[Idx++])));
Sebastian Redl2c373b92010-10-05 15:59:54 +0000613 D->setGetterCXXConstructor(Reader.ReadExpr(F));
614 D->setSetterCXXAssignment(Reader.ReadExpr(F));
Chris Lattner487412d2009-04-27 05:27:42 +0000615}
616
Sebastian Redlb3298c32010-08-18 23:56:48 +0000617void ASTDeclReader::VisitFieldDecl(FieldDecl *FD) {
Argyrios Kyrtzidis560ac972009-08-19 01:28:35 +0000618 VisitDeclaratorDecl(FD);
Chris Lattner487412d2009-04-27 05:27:42 +0000619 FD->setMutable(Record[Idx++]);
620 if (Record[Idx++])
Sebastian Redl2c373b92010-10-05 15:59:54 +0000621 FD->setBitWidth(Reader.ReadExpr(F));
Argyrios Kyrtzidis6685e8a2010-07-04 21:44:35 +0000622 if (!FD->getDeclName()) {
623 FieldDecl *Tmpl = cast_or_null<FieldDecl>(Reader.GetDecl(Record[Idx++]));
624 if (Tmpl)
625 Reader.getContext()->setInstantiatedFromUnnamedFieldDecl(FD, Tmpl);
626 }
Chris Lattner487412d2009-04-27 05:27:42 +0000627}
628
Sebastian Redlb3298c32010-08-18 23:56:48 +0000629void ASTDeclReader::VisitVarDecl(VarDecl *VD) {
Argyrios Kyrtzidis560ac972009-08-19 01:28:35 +0000630 VisitDeclaratorDecl(VD);
Argyrios Kyrtzidisf4bc0d82010-09-08 19:31:22 +0000631 VisitRedeclarable(VD);
John McCall8e7d6562010-08-26 03:08:43 +0000632 VD->setStorageClass((StorageClass)Record[Idx++]);
633 VD->setStorageClassAsWritten((StorageClass)Record[Idx++]);
Chris Lattner487412d2009-04-27 05:27:42 +0000634 VD->setThreadSpecified(Record[Idx++]);
635 VD->setCXXDirectInitializer(Record[Idx++]);
Douglas Gregor3f324d562010-05-03 18:51:14 +0000636 VD->setExceptionVariable(Record[Idx++]);
Douglas Gregor6fd1b182010-05-15 06:01:05 +0000637 VD->setNRVOVariable(Record[Idx++]);
Chris Lattner487412d2009-04-27 05:27:42 +0000638 if (Record[Idx++])
Sebastian Redl2c373b92010-10-05 15:59:54 +0000639 VD->setInit(Reader.ReadExpr(F));
Argyrios Kyrtzidiscdb8b3f2010-07-04 21:44:00 +0000640
641 if (Record[Idx++]) { // HasMemberSpecializationInfo.
642 VarDecl *Tmpl = cast<VarDecl>(Reader.GetDecl(Record[Idx++]));
643 TemplateSpecializationKind TSK = (TemplateSpecializationKind)Record[Idx++];
Sebastian Redl2c373b92010-10-05 15:59:54 +0000644 SourceLocation POI = ReadSourceLocation(Record, Idx);
Argyrios Kyrtzidiscdb8b3f2010-07-04 21:44:00 +0000645 Reader.getContext()->setInstantiatedFromStaticDataMember(VD, Tmpl, TSK,POI);
646 }
Chris Lattner487412d2009-04-27 05:27:42 +0000647}
648
Sebastian Redlb3298c32010-08-18 23:56:48 +0000649void ASTDeclReader::VisitImplicitParamDecl(ImplicitParamDecl *PD) {
Chris Lattner487412d2009-04-27 05:27:42 +0000650 VisitVarDecl(PD);
651}
652
Sebastian Redlb3298c32010-08-18 23:56:48 +0000653void ASTDeclReader::VisitParmVarDecl(ParmVarDecl *PD) {
Chris Lattner487412d2009-04-27 05:27:42 +0000654 VisitVarDecl(PD);
655 PD->setObjCDeclQualifier((Decl::ObjCDeclQualifier)Record[Idx++]);
John McCallf3cd6652010-03-12 18:31:32 +0000656 PD->setHasInheritedDefaultArg(Record[Idx++]);
Argyrios Kyrtzidisccde6a02010-07-04 21:44:07 +0000657 if (Record[Idx++]) // hasUninstantiatedDefaultArg.
Sebastian Redl2c373b92010-10-05 15:59:54 +0000658 PD->setUninstantiatedDefaultArg(Reader.ReadExpr(F));
Chris Lattner487412d2009-04-27 05:27:42 +0000659}
660
Sebastian Redlb3298c32010-08-18 23:56:48 +0000661void ASTDeclReader::VisitFileScopeAsmDecl(FileScopeAsmDecl *AD) {
Chris Lattner487412d2009-04-27 05:27:42 +0000662 VisitDecl(AD);
Sebastian Redl2c373b92010-10-05 15:59:54 +0000663 AD->setAsmString(cast<StringLiteral>(Reader.ReadExpr(F)));
Chris Lattner487412d2009-04-27 05:27:42 +0000664}
665
Sebastian Redlb3298c32010-08-18 23:56:48 +0000666void ASTDeclReader::VisitBlockDecl(BlockDecl *BD) {
Chris Lattner487412d2009-04-27 05:27:42 +0000667 VisitDecl(BD);
Sebastian Redl2c373b92010-10-05 15:59:54 +0000668 BD->setBody(cast_or_null<CompoundStmt>(Reader.ReadStmt(F)));
669 BD->setSignatureAsWritten(GetTypeSourceInfo(Record, Idx));
Chris Lattner487412d2009-04-27 05:27:42 +0000670 unsigned NumParams = Record[Idx++];
671 llvm::SmallVector<ParmVarDecl *, 16> Params;
672 Params.reserve(NumParams);
673 for (unsigned I = 0; I != NumParams; ++I)
674 Params.push_back(cast<ParmVarDecl>(Reader.GetDecl(Record[Idx++])));
Douglas Gregord5058122010-02-11 01:19:42 +0000675 BD->setParams(Params.data(), NumParams);
Chris Lattner487412d2009-04-27 05:27:42 +0000676}
677
Sebastian Redlb3298c32010-08-18 23:56:48 +0000678void ASTDeclReader::VisitLinkageSpecDecl(LinkageSpecDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +0000679 VisitDecl(D);
680 D->setLanguage((LinkageSpecDecl::LanguageIDs)Record[Idx++]);
681 D->setHasBraces(Record[Idx++]);
682}
683
Sebastian Redlb3298c32010-08-18 23:56:48 +0000684void ASTDeclReader::VisitNamespaceDecl(NamespaceDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +0000685 VisitNamedDecl(D);
Douglas Gregor44e5c1f2010-10-05 20:41:58 +0000686 D->IsInline = Record[Idx++];
Sebastian Redl2c373b92010-10-05 15:59:54 +0000687 D->setLBracLoc(ReadSourceLocation(Record, Idx));
688 D->setRBracLoc(ReadSourceLocation(Record, Idx));
Chris Lattnerca025db2010-05-07 21:43:38 +0000689 D->setNextNamespace(
690 cast_or_null<NamespaceDecl>(Reader.GetDecl(Record[Idx++])));
691
Chris Lattnerca025db2010-05-07 21:43:38 +0000692 bool IsOriginal = Record[Idx++];
Argyrios Kyrtzidisdae2a162010-07-03 07:57:53 +0000693 D->OrigOrAnonNamespace.setInt(IsOriginal);
694 D->OrigOrAnonNamespace.setPointer(
Chris Lattnerca025db2010-05-07 21:43:38 +0000695 cast_or_null<NamespaceDecl>(Reader.GetDecl(Record[Idx++])));
696}
697
Sebastian Redlb3298c32010-08-18 23:56:48 +0000698void ASTDeclReader::VisitNamespaceAliasDecl(NamespaceAliasDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +0000699 VisitNamedDecl(D);
Sebastian Redl2c373b92010-10-05 15:59:54 +0000700 D->NamespaceLoc = ReadSourceLocation(Record, Idx);
701 D->setQualifierRange(ReadSourceRange(Record, Idx));
Chris Lattnerca025db2010-05-07 21:43:38 +0000702 D->setQualifier(Reader.ReadNestedNameSpecifier(Record, Idx));
Sebastian Redl2c373b92010-10-05 15:59:54 +0000703 D->IdentLoc = ReadSourceLocation(Record, Idx);
Douglas Gregorf9e43ce2010-09-01 00:08:19 +0000704 D->Namespace = cast<NamedDecl>(Reader.GetDecl(Record[Idx++]));
Chris Lattnerca025db2010-05-07 21:43:38 +0000705}
706
Sebastian Redlb3298c32010-08-18 23:56:48 +0000707void ASTDeclReader::VisitUsingDecl(UsingDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +0000708 VisitNamedDecl(D);
Sebastian Redl2c373b92010-10-05 15:59:54 +0000709 D->setUsingLocation(ReadSourceLocation(Record, Idx));
710 D->setNestedNameRange(ReadSourceRange(Record, Idx));
Chris Lattnerca025db2010-05-07 21:43:38 +0000711 D->setTargetNestedNameDecl(Reader.ReadNestedNameSpecifier(Record, Idx));
Argyrios Kyrtzidis434383d2010-10-15 18:21:24 +0000712 ReadDeclarationNameLoc(D->DNLoc, D->getDeclName(), Record, Idx);
Chris Lattnerca025db2010-05-07 21:43:38 +0000713
714 // FIXME: It would probably be more efficient to read these into a vector
715 // and then re-cosntruct the shadow decl set over that vector since it
716 // would avoid existence checks.
717 unsigned NumShadows = Record[Idx++];
718 for(unsigned I = 0; I != NumShadows; ++I) {
Argyrios Kyrtzidis00dda6a2010-07-08 13:09:41 +0000719 // Avoid invariant checking of UsingDecl::addShadowDecl, the decl may still
720 // be initializing.
721 D->Shadows.insert(cast<UsingShadowDecl>(Reader.GetDecl(Record[Idx++])));
Chris Lattnerca025db2010-05-07 21:43:38 +0000722 }
723 D->setTypeName(Record[Idx++]);
Argyrios Kyrtzidis6685e8a2010-07-04 21:44:35 +0000724 NamedDecl *Pattern = cast_or_null<NamedDecl>(Reader.GetDecl(Record[Idx++]));
725 if (Pattern)
726 Reader.getContext()->setInstantiatedFromUsingDecl(D, Pattern);
Chris Lattnerca025db2010-05-07 21:43:38 +0000727}
728
Sebastian Redlb3298c32010-08-18 23:56:48 +0000729void ASTDeclReader::VisitUsingShadowDecl(UsingShadowDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +0000730 VisitNamedDecl(D);
731 D->setTargetDecl(cast<NamedDecl>(Reader.GetDecl(Record[Idx++])));
732 D->setUsingDecl(cast<UsingDecl>(Reader.GetDecl(Record[Idx++])));
Argyrios Kyrtzidis6685e8a2010-07-04 21:44:35 +0000733 UsingShadowDecl *Pattern
734 = cast_or_null<UsingShadowDecl>(Reader.GetDecl(Record[Idx++]));
735 if (Pattern)
736 Reader.getContext()->setInstantiatedFromUsingShadowDecl(D, Pattern);
Chris Lattnerca025db2010-05-07 21:43:38 +0000737}
738
Sebastian Redlb3298c32010-08-18 23:56:48 +0000739void ASTDeclReader::VisitUsingDirectiveDecl(UsingDirectiveDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +0000740 VisitNamedDecl(D);
Sebastian Redl2c373b92010-10-05 15:59:54 +0000741 D->UsingLoc = ReadSourceLocation(Record, Idx);
742 D->NamespaceLoc = ReadSourceLocation(Record, Idx);
743 D->QualifierRange = ReadSourceRange(Record, Idx);
Douglas Gregor01a430132010-09-01 03:07:18 +0000744 D->Qualifier = Reader.ReadNestedNameSpecifier(Record, Idx);
745 D->NominatedNamespace = cast<NamedDecl>(Reader.GetDecl(Record[Idx++]));
746 D->CommonAncestor = cast_or_null<DeclContext>(Reader.GetDecl(Record[Idx++]));
Chris Lattnerca025db2010-05-07 21:43:38 +0000747}
748
Sebastian Redlb3298c32010-08-18 23:56:48 +0000749void ASTDeclReader::VisitUnresolvedUsingValueDecl(UnresolvedUsingValueDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +0000750 VisitValueDecl(D);
Sebastian Redl2c373b92010-10-05 15:59:54 +0000751 D->setTargetNestedNameRange(ReadSourceRange(Record, Idx));
752 D->setUsingLoc(ReadSourceLocation(Record, Idx));
Chris Lattnerca025db2010-05-07 21:43:38 +0000753 D->setTargetNestedNameSpecifier(Reader.ReadNestedNameSpecifier(Record, Idx));
Argyrios Kyrtzidis434383d2010-10-15 18:21:24 +0000754 ReadDeclarationNameLoc(D->DNLoc, D->getDeclName(), Record, Idx);
Chris Lattnerca025db2010-05-07 21:43:38 +0000755}
756
Sebastian Redlb3298c32010-08-18 23:56:48 +0000757void ASTDeclReader::VisitUnresolvedUsingTypenameDecl(
Chris Lattnerca025db2010-05-07 21:43:38 +0000758 UnresolvedUsingTypenameDecl *D) {
759 VisitTypeDecl(D);
Sebastian Redl2c373b92010-10-05 15:59:54 +0000760 D->TargetNestedNameRange = ReadSourceRange(Record, Idx);
761 D->UsingLocation = ReadSourceLocation(Record, Idx);
762 D->TypenameLocation = ReadSourceLocation(Record, Idx);
Douglas Gregora9aa29c2010-09-01 19:52:22 +0000763 D->TargetNestedNameSpecifier = Reader.ReadNestedNameSpecifier(Record, Idx);
Chris Lattnerca025db2010-05-07 21:43:38 +0000764}
765
Argyrios Kyrtzidis8b200a52010-10-24 17:26:27 +0000766void ASTDeclReader::ReadCXXDefinitionData(
767 struct CXXRecordDecl::DefinitionData &Data) {
768 ASTContext &C = *Reader.getContext();
769
770 Data.UserDeclaredConstructor = Record[Idx++];
771 Data.UserDeclaredCopyConstructor = Record[Idx++];
772 Data.UserDeclaredCopyAssignment = Record[Idx++];
773 Data.UserDeclaredDestructor = Record[Idx++];
774 Data.Aggregate = Record[Idx++];
775 Data.PlainOldData = Record[Idx++];
776 Data.Empty = Record[Idx++];
777 Data.Polymorphic = Record[Idx++];
778 Data.Abstract = Record[Idx++];
779 Data.HasTrivialConstructor = Record[Idx++];
780 Data.HasTrivialCopyConstructor = Record[Idx++];
781 Data.HasTrivialCopyAssignment = Record[Idx++];
782 Data.HasTrivialDestructor = Record[Idx++];
783 Data.ComputedVisibleConversions = Record[Idx++];
784 Data.DeclaredDefaultConstructor = Record[Idx++];
785 Data.DeclaredCopyConstructor = Record[Idx++];
786 Data.DeclaredCopyAssignment = Record[Idx++];
787 Data.DeclaredDestructor = Record[Idx++];
788
789 // setBases() is unsuitable since it may try to iterate the bases of an
790 // uninitialized base.
791 Data.NumBases = Record[Idx++];
792 Data.Bases = new(C) CXXBaseSpecifier [Data.NumBases];
793 for (unsigned i = 0; i != Data.NumBases; ++i)
794 Data.Bases[i] = Reader.ReadCXXBaseSpecifier(F, Record, Idx);
795
796 // FIXME: Make VBases lazily computed when needed to avoid storing them.
797 Data.NumVBases = Record[Idx++];
798 Data.VBases = new(C) CXXBaseSpecifier [Data.NumVBases];
799 for (unsigned i = 0; i != Data.NumVBases; ++i)
800 Data.VBases[i] = Reader.ReadCXXBaseSpecifier(F, Record, Idx);
801
802 Reader.ReadUnresolvedSet(Data.Conversions, Record, Idx);
803 Reader.ReadUnresolvedSet(Data.VisibleConversions, Record, Idx);
804 assert(Data.Definition && "Data.Definition should be already set!");
805 Data.FirstFriend
806 = cast_or_null<FriendDecl>(Reader.GetDecl(Record[Idx++]));
807}
808
Sebastian Redlb3298c32010-08-18 23:56:48 +0000809void ASTDeclReader::VisitCXXRecordDecl(CXXRecordDecl *D) {
Argyrios Kyrtzidis181431c2010-07-06 15:36:58 +0000810 VisitRecordDecl(D);
Argyrios Kyrtzidis2c2167a2010-07-02 11:55:32 +0000811
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 CXXRecordDecl *DefinitionDecl
815 = cast_or_null<CXXRecordDecl>(Reader.GetDecl(Record[Idx++]));
816 if (D == DefinitionDecl) {
817 D->DefinitionData = new (C) struct CXXRecordDecl::DefinitionData(D);
Argyrios Kyrtzidis8b200a52010-10-24 17:26:27 +0000818 ReadCXXDefinitionData(*D->DefinitionData);
Argyrios Kyrtzidisad5f95c2010-10-24 17:26:31 +0000819 // We read the definition info. Check if there are pending forward
820 // references that need to point to this DefinitionData pointer.
821 ASTReader::PendingForwardRefsMap::iterator
822 FindI = Reader.PendingForwardRefs.find(D);
823 if (FindI != Reader.PendingForwardRefs.end()) {
824 ASTReader::ForwardRefs &Refs = FindI->second;
825 for (ASTReader::ForwardRefs::iterator
826 I = Refs.begin(), E = Refs.end(); I != E; ++I)
827 (*I)->DefinitionData = D->DefinitionData;
828#ifndef NDEBUG
829 // We later check whether PendingForwardRefs is empty to make sure all
830 // pending references were linked.
831 Reader.PendingForwardRefs.erase(D);
832#endif
833 }
834 } else if (DefinitionDecl) {
835 if (DefinitionDecl->DefinitionData) {
836 D->DefinitionData = DefinitionDecl->DefinitionData;
837 } else {
838 // The definition is still initializing.
839 Reader.PendingForwardRefs[DefinitionDecl].push_back(D);
840 }
Argyrios Kyrtzidis2c2167a2010-07-02 11:55:32 +0000841 }
842
Argyrios Kyrtzidis95c04ca2010-06-19 19:29:09 +0000843 enum CXXRecKind {
844 CXXRecNotTemplate = 0, CXXRecTemplate, CXXRecMemberSpecialization
845 };
846 switch ((CXXRecKind)Record[Idx++]) {
847 default:
Sebastian Redlb3298c32010-08-18 23:56:48 +0000848 assert(false && "Out of sync with ASTDeclWriter::VisitCXXRecordDecl?");
Argyrios Kyrtzidis95c04ca2010-06-19 19:29:09 +0000849 case CXXRecNotTemplate:
850 break;
851 case CXXRecTemplate:
Argyrios Kyrtzidiscaf82482010-09-13 11:45:25 +0000852 D->TemplateOrInstantiation
853 = cast<ClassTemplateDecl>(Reader.GetDecl(Record[Idx++]));
Argyrios Kyrtzidis95c04ca2010-06-19 19:29:09 +0000854 break;
855 case CXXRecMemberSpecialization: {
856 CXXRecordDecl *RD = cast<CXXRecordDecl>(Reader.GetDecl(Record[Idx++]));
857 TemplateSpecializationKind TSK = (TemplateSpecializationKind)Record[Idx++];
Sebastian Redl2c373b92010-10-05 15:59:54 +0000858 SourceLocation POI = ReadSourceLocation(Record, Idx);
Argyrios Kyrtzidiscaf82482010-09-13 11:45:25 +0000859 MemberSpecializationInfo *MSI = new (C) MemberSpecializationInfo(RD, TSK);
860 MSI->setPointOfInstantiation(POI);
861 D->TemplateOrInstantiation = MSI;
Argyrios Kyrtzidis95c04ca2010-06-19 19:29:09 +0000862 break;
863 }
864 }
Argyrios Kyrtzidis68431412010-10-14 20:14:38 +0000865
866 // Load the key function to avoid deserializing every method so we can
867 // compute it.
868 if (D->IsDefinition) {
869 CXXMethodDecl *Key
870 = cast_or_null<CXXMethodDecl>(Reader.GetDecl(Record[Idx++]));
871 if (Key)
872 C.KeyFunctions[D] = Key;
873 }
Chris Lattnerca025db2010-05-07 21:43:38 +0000874}
875
Sebastian Redlb3298c32010-08-18 23:56:48 +0000876void ASTDeclReader::VisitCXXMethodDecl(CXXMethodDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +0000877 VisitFunctionDecl(D);
Argyrios Kyrtzidis6685e8a2010-07-04 21:44:35 +0000878 unsigned NumOverridenMethods = Record[Idx++];
879 while (NumOverridenMethods--) {
880 CXXMethodDecl *MD = cast<CXXMethodDecl>(Reader.GetDecl(Record[Idx++]));
881 // Avoid invariant checking of CXXMethodDecl::addOverriddenMethod,
882 // MD may be initializing.
883 Reader.getContext()->addOverriddenMethod(D, MD);
884 }
Chris Lattnerca025db2010-05-07 21:43:38 +0000885}
886
Sebastian Redlb3298c32010-08-18 23:56:48 +0000887void ASTDeclReader::VisitCXXConstructorDecl(CXXConstructorDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +0000888 VisitCXXMethodDecl(D);
Argyrios Kyrtzidis33575162010-07-02 15:58:43 +0000889
890 D->IsExplicitSpecified = Record[Idx++];
891 D->ImplicitlyDefined = Record[Idx++];
Argyrios Kyrtzidis5b6a03f2010-08-09 10:54:12 +0000892 llvm::tie(D->BaseOrMemberInitializers, D->NumBaseOrMemberInitializers)
Sebastian Redl2c373b92010-10-05 15:59:54 +0000893 = Reader.ReadCXXBaseOrMemberInitializers(F, Record, Idx);
Chris Lattnerca025db2010-05-07 21:43:38 +0000894}
895
Sebastian Redlb3298c32010-08-18 23:56:48 +0000896void ASTDeclReader::VisitCXXDestructorDecl(CXXDestructorDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +0000897 VisitCXXMethodDecl(D);
Argyrios Kyrtzidis33575162010-07-02 15:58:43 +0000898
899 D->ImplicitlyDefined = Record[Idx++];
900 D->OperatorDelete = cast_or_null<FunctionDecl>(Reader.GetDecl(Record[Idx++]));
Chris Lattnerca025db2010-05-07 21:43:38 +0000901}
902
Sebastian Redlb3298c32010-08-18 23:56:48 +0000903void ASTDeclReader::VisitCXXConversionDecl(CXXConversionDecl *D) {
Chris Lattnerca025db2010-05-07 21:43:38 +0000904 VisitCXXMethodDecl(D);
Argyrios Kyrtzidis33575162010-07-02 15:58:43 +0000905 D->IsExplicitSpecified = Record[Idx++];
Chris Lattnerca025db2010-05-07 21:43:38 +0000906}
907
Sebastian Redlb3298c32010-08-18 23:56:48 +0000908void ASTDeclReader::VisitAccessSpecDecl(AccessSpecDecl *D) {
Abramo Bagnarad7340582010-06-05 05:09:32 +0000909 VisitDecl(D);
Sebastian Redl2c373b92010-10-05 15:59:54 +0000910 D->setColonLoc(ReadSourceLocation(Record, Idx));
Abramo Bagnarad7340582010-06-05 05:09:32 +0000911}
912
Sebastian Redlb3298c32010-08-18 23:56:48 +0000913void ASTDeclReader::VisitFriendDecl(FriendDecl *D) {
Argyrios Kyrtzidisa95d0192010-07-05 10:38:01 +0000914 VisitDecl(D);
Argyrios Kyrtzidis74d28bd2010-06-29 22:47:00 +0000915 if (Record[Idx++])
Sebastian Redl2c373b92010-10-05 15:59:54 +0000916 D->Friend = GetTypeSourceInfo(Record, Idx);
Argyrios Kyrtzidis74d28bd2010-06-29 22:47:00 +0000917 else
918 D->Friend = cast<NamedDecl>(Reader.GetDecl(Record[Idx++]));
919 D->NextFriend = cast_or_null<FriendDecl>(Reader.GetDecl(Record[Idx++]));
John McCall2c2eb122010-10-16 06:59:13 +0000920 D->UnsupportedFriend = (Record[Idx++] != 0);
Sebastian Redl2c373b92010-10-05 15:59:54 +0000921 D->FriendLoc = ReadSourceLocation(Record, Idx);
Argyrios Kyrtzidis74d28bd2010-06-29 22:47:00 +0000922}
923
Sebastian Redlb3298c32010-08-18 23:56:48 +0000924void ASTDeclReader::VisitFriendTemplateDecl(FriendTemplateDecl *D) {
Argyrios Kyrtzidis165b5812010-07-22 16:04:10 +0000925 VisitDecl(D);
926 unsigned NumParams = Record[Idx++];
927 D->NumParams = NumParams;
928 D->Params = new TemplateParameterList*[NumParams];
929 for (unsigned i = 0; i != NumParams; ++i)
Sebastian Redl2c373b92010-10-05 15:59:54 +0000930 D->Params[i] = Reader.ReadTemplateParameterList(F, Record, Idx);
Argyrios Kyrtzidis165b5812010-07-22 16:04:10 +0000931 if (Record[Idx++]) // HasFriendDecl
932 D->Friend = cast<NamedDecl>(Reader.GetDecl(Record[Idx++]));
933 else
Sebastian Redl2c373b92010-10-05 15:59:54 +0000934 D->Friend = GetTypeSourceInfo(Record, Idx);
935 D->FriendLoc = ReadSourceLocation(Record, Idx);
Chris Lattnerca025db2010-05-07 21:43:38 +0000936}
937
Sebastian Redlb3298c32010-08-18 23:56:48 +0000938void ASTDeclReader::VisitTemplateDecl(TemplateDecl *D) {
Argyrios Kyrtzidis95c04ca2010-06-19 19:29:09 +0000939 VisitNamedDecl(D);
940
Argyrios Kyrtzidis9f2d24a2010-07-08 17:12:57 +0000941 NamedDecl *TemplatedDecl
942 = cast_or_null<NamedDecl>(Reader.GetDecl(Record[Idx++]));
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +0000943 TemplateParameterList* TemplateParams
Sebastian Redl2c373b92010-10-05 15:59:54 +0000944 = Reader.ReadTemplateParameterList(F, Record, Idx);
Argyrios Kyrtzidis95c04ca2010-06-19 19:29:09 +0000945 D->init(TemplatedDecl, TemplateParams);
Chris Lattnerca025db2010-05-07 21:43:38 +0000946}
947
Sebastian Redlb3298c32010-08-18 23:56:48 +0000948void ASTDeclReader::VisitRedeclarableTemplateDecl(RedeclarableTemplateDecl *D) {
Argyrios Kyrtzidisf4bc0d82010-09-08 19:31:22 +0000949 // Initialize CommonOrPrev before VisitTemplateDecl so that getCommonPtr()
950 // can be used while this is still initializing.
Argyrios Kyrtzidis95c04ca2010-06-19 19:29:09 +0000951
Argyrios Kyrtzidisf4bc0d82010-09-08 19:31:22 +0000952 assert(D->CommonOrPrev.isNull() && "getCommonPtr was called earlier on this");
Peter Collingbourne91b25b72010-07-29 16:11:51 +0000953 RedeclarableTemplateDecl *PrevDecl =
954 cast_or_null<RedeclarableTemplateDecl>(Reader.GetDecl(Record[Idx++]));
955 assert((PrevDecl == 0 || PrevDecl->getKind() == D->getKind()) &&
956 "PrevDecl kind mismatch");
957 if (PrevDecl)
958 D->CommonOrPrev = PrevDecl;
Argyrios Kyrtzidis95c04ca2010-06-19 19:29:09 +0000959 if (PrevDecl == 0) {
Argyrios Kyrtzidisf4bc0d82010-09-08 19:31:22 +0000960 D->CommonOrPrev = D->newCommon(*Reader.getContext());
Peter Collingbourne91b25b72010-07-29 16:11:51 +0000961 if (RedeclarableTemplateDecl *RTD
962 = cast_or_null<RedeclarableTemplateDecl>(Reader.GetDecl(Record[Idx++]))) {
963 assert(RTD->getKind() == D->getKind() &&
964 "InstantiatedFromMemberTemplate kind mismatch");
965 D->setInstantiatedFromMemberTemplateImpl(RTD);
966 if (Record[Idx++])
967 D->setMemberSpecialization();
968 }
Peter Collingbourne2bf3d242010-07-29 16:12:01 +0000969
970 RedeclarableTemplateDecl *LatestDecl =
971 cast_or_null<RedeclarableTemplateDecl>(Reader.GetDecl(Record[Idx++]));
Argyrios Kyrtzidis839bbac2010-08-03 17:30:10 +0000972
973 // This decl is a first one and the latest declaration that it points to is
Sebastian Redld44cd6a2010-08-18 23:57:06 +0000974 // in the same AST file. However, if this actually needs to point to a
975 // redeclaration in another AST file, we need to update it by checking
Argyrios Kyrtzidis839bbac2010-08-03 17:30:10 +0000976 // the FirstLatestDeclIDs map which tracks this kind of decls.
977 assert(Reader.GetDecl(ThisDeclID) == D && "Invalid ThisDeclID ?");
Sebastian Redl2c499f62010-08-18 23:56:43 +0000978 ASTReader::FirstLatestDeclIDMap::iterator I
Argyrios Kyrtzidis839bbac2010-08-03 17:30:10 +0000979 = Reader.FirstLatestDeclIDs.find(ThisDeclID);
980 if (I != Reader.FirstLatestDeclIDs.end()) {
981 Decl *NewLatest = Reader.GetDecl(I->second);
982 assert((LatestDecl->getLocation().isInvalid() ||
983 NewLatest->getLocation().isInvalid() ||
Argyrios Kyrtzidis54b88e72010-10-20 23:48:40 +0000984 !Reader.SourceMgr.isBeforeInTranslationUnit(
985 NewLatest->getLocation(),
986 LatestDecl->getLocation())) &&
Argyrios Kyrtzidis839bbac2010-08-03 17:30:10 +0000987 "The new latest is supposed to come after the previous latest");
988 LatestDecl = cast<RedeclarableTemplateDecl>(NewLatest);
989 }
990
Peter Collingbourne2bf3d242010-07-29 16:12:01 +0000991 assert(LatestDecl->getKind() == D->getKind() && "Latest kind mismatch");
992 D->getCommonPtr()->Latest = LatestDecl;
Peter Collingbourne91b25b72010-07-29 16:11:51 +0000993 }
Argyrios Kyrtzidisf4bc0d82010-09-08 19:31:22 +0000994
995 VisitTemplateDecl(D);
996 D->IdentifierNamespace = Record[Idx++];
Peter Collingbourne91b25b72010-07-29 16:11:51 +0000997}
998
Sebastian Redlb3298c32010-08-18 23:56:48 +0000999void ASTDeclReader::VisitClassTemplateDecl(ClassTemplateDecl *D) {
Peter Collingbourne91b25b72010-07-29 16:11:51 +00001000 VisitRedeclarableTemplateDecl(D);
1001
1002 if (D->getPreviousDeclaration() == 0) {
Argyrios Kyrtzidis95c04ca2010-06-19 19:29:09 +00001003 // This ClassTemplateDecl owns a CommonPtr; read it.
1004
Argyrios Kyrtzidis87040572010-07-09 21:11:43 +00001005 // FoldingSets are filled in VisitClassTemplateSpecializationDecl.
Argyrios Kyrtzidis95c04ca2010-06-19 19:29:09 +00001006 unsigned size = Record[Idx++];
Argyrios Kyrtzidis87040572010-07-09 21:11:43 +00001007 while (size--)
1008 cast<ClassTemplateSpecializationDecl>(Reader.GetDecl(Record[Idx++]));
Argyrios Kyrtzidis95c04ca2010-06-19 19:29:09 +00001009
1010 size = Record[Idx++];
Argyrios Kyrtzidis87040572010-07-09 21:11:43 +00001011 while (size--)
1012 cast<ClassTemplatePartialSpecializationDecl>(
Argyrios Kyrtzidis95c04ca2010-06-19 19:29:09 +00001013 Reader.GetDecl(Record[Idx++]));
Argyrios Kyrtzidis95c04ca2010-06-19 19:29:09 +00001014
1015 // InjectedClassNameType is computed.
Argyrios Kyrtzidis95c04ca2010-06-19 19:29:09 +00001016 }
Chris Lattnerca025db2010-05-07 21:43:38 +00001017}
1018
Sebastian Redlb3298c32010-08-18 23:56:48 +00001019void ASTDeclReader::VisitClassTemplateSpecializationDecl(
Chris Lattnerca025db2010-05-07 21:43:38 +00001020 ClassTemplateSpecializationDecl *D) {
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001021 VisitCXXRecordDecl(D);
Argyrios Kyrtzidisb4c659b2010-09-13 11:45:32 +00001022
1023 ASTContext &C = *Reader.getContext();
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001024 if (Decl *InstD = Reader.GetDecl(Record[Idx++])) {
1025 if (ClassTemplateDecl *CTD = dyn_cast<ClassTemplateDecl>(InstD)) {
Argyrios Kyrtzidisb4c659b2010-09-13 11:45:32 +00001026 D->SpecializedTemplate = CTD;
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001027 } else {
1028 llvm::SmallVector<TemplateArgument, 8> TemplArgs;
Sebastian Redl2c373b92010-10-05 15:59:54 +00001029 Reader.ReadTemplateArgumentList(TemplArgs, F, Record, Idx);
Argyrios Kyrtzidisb4c659b2010-09-13 11:45:32 +00001030 TemplateArgumentList *ArgList
1031 = new (C) TemplateArgumentList(C, TemplArgs.data(), TemplArgs.size());
1032 ClassTemplateSpecializationDecl::SpecializedPartialSpecialization *PS
1033 = new (C) ClassTemplateSpecializationDecl::
1034 SpecializedPartialSpecialization();
1035 PS->PartialSpecialization
1036 = cast<ClassTemplatePartialSpecializationDecl>(InstD);
1037 PS->TemplateArgs = ArgList;
1038 D->SpecializedTemplate = PS;
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001039 }
1040 }
1041
1042 // Explicit info.
Sebastian Redl2c373b92010-10-05 15:59:54 +00001043 if (TypeSourceInfo *TyInfo = GetTypeSourceInfo(Record, Idx)) {
Argyrios Kyrtzidisb4c659b2010-09-13 11:45:32 +00001044 ClassTemplateSpecializationDecl::ExplicitSpecializationInfo *ExplicitInfo
1045 = new (C) ClassTemplateSpecializationDecl::ExplicitSpecializationInfo;
1046 ExplicitInfo->TypeAsWritten = TyInfo;
Sebastian Redl2c373b92010-10-05 15:59:54 +00001047 ExplicitInfo->ExternLoc = ReadSourceLocation(Record, Idx);
1048 ExplicitInfo->TemplateKeywordLoc = ReadSourceLocation(Record, Idx);
Argyrios Kyrtzidisb4c659b2010-09-13 11:45:32 +00001049 D->ExplicitInfo = ExplicitInfo;
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001050 }
1051
1052 llvm::SmallVector<TemplateArgument, 8> TemplArgs;
Sebastian Redl2c373b92010-10-05 15:59:54 +00001053 Reader.ReadTemplateArgumentList(TemplArgs, F, Record, Idx);
Argyrios Kyrtzidisb4c659b2010-09-13 11:45:32 +00001054 D->TemplateArgs.init(C, TemplArgs.data(), TemplArgs.size());
Sebastian Redl2c373b92010-10-05 15:59:54 +00001055 D->PointOfInstantiation = ReadSourceLocation(Record, Idx);
Argyrios Kyrtzidisb4c659b2010-09-13 11:45:32 +00001056 D->SpecializationKind = (TemplateSpecializationKind)Record[Idx++];
Argyrios Kyrtzidis87040572010-07-09 21:11:43 +00001057
Argyrios Kyrtzidisc1624e92010-07-20 13:59:40 +00001058 if (D->isCanonicalDecl()) { // It's kept in the folding set.
Argyrios Kyrtzidis87040572010-07-09 21:11:43 +00001059 ClassTemplateDecl *CanonPattern
1060 = cast<ClassTemplateDecl>(Reader.GetDecl(Record[Idx++]));
1061 if (ClassTemplatePartialSpecializationDecl *Partial
1062 = dyn_cast<ClassTemplatePartialSpecializationDecl>(D)) {
Argyrios Kyrtzidisf4cc7dc2010-07-12 21:41:31 +00001063 CanonPattern->getPartialSpecializations().InsertNode(Partial);
Argyrios Kyrtzidis87040572010-07-09 21:11:43 +00001064 } else {
Argyrios Kyrtzidisf4cc7dc2010-07-12 21:41:31 +00001065 CanonPattern->getSpecializations().InsertNode(D);
Argyrios Kyrtzidis87040572010-07-09 21:11:43 +00001066 }
1067 }
Chris Lattnerca025db2010-05-07 21:43:38 +00001068}
1069
Sebastian Redlb3298c32010-08-18 23:56:48 +00001070void ASTDeclReader::VisitClassTemplatePartialSpecializationDecl(
Chris Lattnerca025db2010-05-07 21:43:38 +00001071 ClassTemplatePartialSpecializationDecl *D) {
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001072 VisitClassTemplateSpecializationDecl(D);
1073
Argyrios Kyrtzidis0e8b3ce2010-09-13 11:45:41 +00001074 ASTContext &C = *Reader.getContext();
Sebastian Redl2c373b92010-10-05 15:59:54 +00001075 D->TemplateParams = Reader.ReadTemplateParameterList(F, Record, Idx);
Argyrios Kyrtzidis0e8b3ce2010-09-13 11:45:41 +00001076
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001077 unsigned NumArgs = Record[Idx++];
Argyrios Kyrtzidis0e8b3ce2010-09-13 11:45:41 +00001078 if (NumArgs) {
1079 D->NumArgsAsWritten = NumArgs;
1080 D->ArgsAsWritten = new (C) TemplateArgumentLoc[NumArgs];
1081 for (unsigned i=0; i != NumArgs; ++i)
Sebastian Redl2c373b92010-10-05 15:59:54 +00001082 D->ArgsAsWritten[i] = Reader.ReadTemplateArgumentLoc(F, Record, Idx);
Argyrios Kyrtzidis0e8b3ce2010-09-13 11:45:41 +00001083 }
1084
1085 D->SequenceNumber = Record[Idx++];
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001086
1087 // These are read/set from/to the first declaration.
1088 if (D->getPreviousDeclaration() == 0) {
Argyrios Kyrtzidis0e8b3ce2010-09-13 11:45:41 +00001089 D->InstantiatedFromMember.setPointer(
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001090 cast_or_null<ClassTemplatePartialSpecializationDecl>(
1091 Reader.GetDecl(Record[Idx++])));
Argyrios Kyrtzidis0e8b3ce2010-09-13 11:45:41 +00001092 D->InstantiatedFromMember.setInt(Record[Idx++]);
Argyrios Kyrtzidis818c5db2010-06-23 13:48:30 +00001093 }
Chris Lattnerca025db2010-05-07 21:43:38 +00001094}
1095
Sebastian Redlb3298c32010-08-18 23:56:48 +00001096void ASTDeclReader::VisitFunctionTemplateDecl(FunctionTemplateDecl *D) {
Peter Collingbourne91b25b72010-07-29 16:11:51 +00001097 VisitRedeclarableTemplateDecl(D);
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +00001098
Peter Collingbourne91b25b72010-07-29 16:11:51 +00001099 if (D->getPreviousDeclaration() == 0) {
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +00001100 // This FunctionTemplateDecl owns a CommonPtr; read it.
1101
Argyrios Kyrtzidis39fdf812010-07-06 15:37:09 +00001102 // Read the function specialization declarations.
1103 // FunctionTemplateDecl's FunctionTemplateSpecializationInfos are filled
Argyrios Kyrtzidisf24d5692010-09-13 11:45:48 +00001104 // when reading the specialized FunctionDecl.
Argyrios Kyrtzidis39fdf812010-07-06 15:37:09 +00001105 unsigned NumSpecs = Record[Idx++];
1106 while (NumSpecs--)
1107 Reader.GetDecl(Record[Idx++]);
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +00001108 }
Chris Lattnerca025db2010-05-07 21:43:38 +00001109}
1110
Sebastian Redlb3298c32010-08-18 23:56:48 +00001111void ASTDeclReader::VisitTemplateTypeParmDecl(TemplateTypeParmDecl *D) {
Argyrios Kyrtzidis95c04ca2010-06-19 19:29:09 +00001112 VisitTypeDecl(D);
1113
1114 D->setDeclaredWithTypename(Record[Idx++]);
1115 D->setParameterPack(Record[Idx++]);
1116
1117 bool Inherited = Record[Idx++];
Sebastian Redl2c373b92010-10-05 15:59:54 +00001118 TypeSourceInfo *DefArg = GetTypeSourceInfo(Record, Idx);
Argyrios Kyrtzidis95c04ca2010-06-19 19:29:09 +00001119 D->setDefaultArgument(DefArg, Inherited);
Chris Lattnerca025db2010-05-07 21:43:38 +00001120}
1121
Sebastian Redlb3298c32010-08-18 23:56:48 +00001122void ASTDeclReader::VisitNonTypeTemplateParmDecl(NonTypeTemplateParmDecl *D) {
Argyrios Kyrtzidisb1d38e32010-06-25 16:25:09 +00001123 VisitVarDecl(D);
1124 // TemplateParmPosition.
1125 D->setDepth(Record[Idx++]);
1126 D->setPosition(Record[Idx++]);
1127 // Rest of NonTypeTemplateParmDecl.
1128 if (Record[Idx++]) {
Sebastian Redl2c373b92010-10-05 15:59:54 +00001129 Expr *DefArg = Reader.ReadExpr(F);
Argyrios Kyrtzidisb1d38e32010-06-25 16:25:09 +00001130 bool Inherited = Record[Idx++];
1131 D->setDefaultArgument(DefArg, Inherited);
1132 }
Chris Lattnerca025db2010-05-07 21:43:38 +00001133}
1134
Sebastian Redlb3298c32010-08-18 23:56:48 +00001135void ASTDeclReader::VisitTemplateTemplateParmDecl(TemplateTemplateParmDecl *D) {
Argyrios Kyrtzidis9f2d24a2010-07-08 17:12:57 +00001136 VisitTemplateDecl(D);
1137 // TemplateParmPosition.
1138 D->setDepth(Record[Idx++]);
1139 D->setPosition(Record[Idx++]);
1140 // Rest of TemplateTemplateParmDecl.
Sebastian Redl2c373b92010-10-05 15:59:54 +00001141 TemplateArgumentLoc Arg = Reader.ReadTemplateArgumentLoc(F, Record, Idx);
Argyrios Kyrtzidis9f2d24a2010-07-08 17:12:57 +00001142 bool IsInherited = Record[Idx++];
1143 D->setDefaultArgument(Arg, IsInherited);
Chris Lattnerca025db2010-05-07 21:43:38 +00001144}
1145
Sebastian Redlb3298c32010-08-18 23:56:48 +00001146void ASTDeclReader::VisitStaticAssertDecl(StaticAssertDecl *D) {
Argyrios Kyrtzidis2d8891c2010-07-22 17:28:12 +00001147 VisitDecl(D);
Sebastian Redl2c373b92010-10-05 15:59:54 +00001148 D->AssertExpr = Reader.ReadExpr(F);
1149 D->Message = cast<StringLiteral>(Reader.ReadExpr(F));
Chris Lattnerca025db2010-05-07 21:43:38 +00001150}
1151
Mike Stump11289f42009-09-09 15:08:12 +00001152std::pair<uint64_t, uint64_t>
Sebastian Redlb3298c32010-08-18 23:56:48 +00001153ASTDeclReader::VisitDeclContext(DeclContext *DC) {
Chris Lattner487412d2009-04-27 05:27:42 +00001154 uint64_t LexicalOffset = Record[Idx++];
1155 uint64_t VisibleOffset = Record[Idx++];
1156 return std::make_pair(LexicalOffset, VisibleOffset);
1157}
1158
Argyrios Kyrtzidis839bbac2010-08-03 17:30:10 +00001159template <typename T>
Sebastian Redlb3298c32010-08-18 23:56:48 +00001160void ASTDeclReader::VisitRedeclarable(Redeclarable<T> *D) {
Argyrios Kyrtzidis839bbac2010-08-03 17:30:10 +00001161 enum RedeclKind { NoRedeclaration = 0, PointsToPrevious, PointsToLatest };
1162 RedeclKind Kind = (RedeclKind)Record[Idx++];
1163 switch (Kind) {
1164 default:
Sebastian Redlb3298c32010-08-18 23:56:48 +00001165 assert(0 && "Out of sync with ASTDeclWriter::VisitRedeclarable or messed up"
Argyrios Kyrtzidis839bbac2010-08-03 17:30:10 +00001166 " reading");
1167 case NoRedeclaration:
1168 break;
1169 case PointsToPrevious:
1170 D->RedeclLink = typename Redeclarable<T>::PreviousDeclLink(
1171 cast_or_null<T>(Reader.GetDecl(Record[Idx++])));
1172 break;
1173 case PointsToLatest:
1174 D->RedeclLink = typename Redeclarable<T>::LatestDeclLink(
1175 cast_or_null<T>(Reader.GetDecl(Record[Idx++])));
1176 break;
1177 }
1178
1179 assert(!(Kind == PointsToPrevious &&
1180 Reader.FirstLatestDeclIDs.find(ThisDeclID) !=
1181 Reader.FirstLatestDeclIDs.end()) &&
1182 "This decl is not first, it should not be in the map");
1183 if (Kind == PointsToPrevious)
1184 return;
1185
1186 // This decl is a first one and the latest declaration that it points to is in
Sebastian Redld44cd6a2010-08-18 23:57:06 +00001187 // the same AST file. However, if this actually needs to point to a
1188 // redeclaration in another AST file, we need to update it by checking the
Argyrios Kyrtzidis839bbac2010-08-03 17:30:10 +00001189 // FirstLatestDeclIDs map which tracks this kind of decls.
1190 assert(Reader.GetDecl(ThisDeclID) == static_cast<T*>(D) &&
1191 "Invalid ThisDeclID ?");
Sebastian Redl2c499f62010-08-18 23:56:43 +00001192 ASTReader::FirstLatestDeclIDMap::iterator I
Argyrios Kyrtzidis839bbac2010-08-03 17:30:10 +00001193 = Reader.FirstLatestDeclIDs.find(ThisDeclID);
1194 if (I != Reader.FirstLatestDeclIDs.end()) {
1195 Decl *NewLatest = Reader.GetDecl(I->second);
1196 assert((D->getMostRecentDeclaration()->getLocation().isInvalid() ||
1197 NewLatest->getLocation().isInvalid() ||
Argyrios Kyrtzidis54b88e72010-10-20 23:48:40 +00001198 !Reader.SourceMgr.isBeforeInTranslationUnit(
1199 NewLatest->getLocation(),
1200 D->getMostRecentDeclaration()->getLocation())) &&
Argyrios Kyrtzidis839bbac2010-08-03 17:30:10 +00001201 "The new latest is supposed to come after the previous latest");
1202 D->RedeclLink
1203 = typename Redeclarable<T>::LatestDeclLink(cast_or_null<T>(NewLatest));
1204 }
1205}
1206
Chris Lattner487412d2009-04-27 05:27:42 +00001207//===----------------------------------------------------------------------===//
Chris Lattner8f63ab52009-04-27 06:01:06 +00001208// Attribute Reading
Chris Lattner487412d2009-04-27 05:27:42 +00001209//===----------------------------------------------------------------------===//
1210
Chris Lattner8f63ab52009-04-27 06:01:06 +00001211/// \brief Reads attributes from the current stream position.
Argyrios Kyrtzidis9beef8e2010-10-18 19:20:11 +00001212void ASTReader::ReadAttributes(PerFileData &F, AttrVec &Attrs,
1213 const RecordData &Record, unsigned &Idx) {
1214 for (unsigned i = 0, e = Record[Idx++]; i != e; ++i) {
Chris Lattner8f63ab52009-04-27 06:01:06 +00001215 Attr *New = 0;
Alexis Hunt344393e2010-06-16 23:43:53 +00001216 attr::Kind Kind = (attr::Kind)Record[Idx++];
Sebastian Redl2c373b92010-10-05 15:59:54 +00001217 SourceLocation Loc = ReadSourceLocation(F, Record, Idx);
Alexis Huntdcfba7b2010-08-18 23:23:40 +00001218 bool isInherited = Record[Idx++];
Chris Lattner8f63ab52009-04-27 06:01:06 +00001219
Alexis Huntdcfba7b2010-08-18 23:23:40 +00001220#include "clang/Serialization/AttrPCHRead.inc"
Chris Lattner8f63ab52009-04-27 06:01:06 +00001221
1222 assert(New && "Unable to decode attribute?");
Alexis Huntdcfba7b2010-08-18 23:23:40 +00001223 New->setInherited(isInherited);
1224 Attrs.push_back(New);
Chris Lattner8f63ab52009-04-27 06:01:06 +00001225 }
Chris Lattner8f63ab52009-04-27 06:01:06 +00001226}
1227
1228//===----------------------------------------------------------------------===//
Sebastian Redl2c499f62010-08-18 23:56:43 +00001229// ASTReader Implementation
Chris Lattner8f63ab52009-04-27 06:01:06 +00001230//===----------------------------------------------------------------------===//
Chris Lattner487412d2009-04-27 05:27:42 +00001231
1232/// \brief Note that we have loaded the declaration with the given
1233/// Index.
Mike Stump11289f42009-09-09 15:08:12 +00001234///
Chris Lattner487412d2009-04-27 05:27:42 +00001235/// This routine notes that this declaration has already been loaded,
1236/// so that future GetDecl calls will return this declaration rather
1237/// than trying to load a new declaration.
Sebastian Redl2c499f62010-08-18 23:56:43 +00001238inline void ASTReader::LoadedDecl(unsigned Index, Decl *D) {
Chris Lattner487412d2009-04-27 05:27:42 +00001239 assert(!DeclsLoaded[Index] && "Decl loaded twice?");
1240 DeclsLoaded[Index] = D;
1241}
1242
1243
1244/// \brief Determine whether the consumer will be interested in seeing
1245/// this declaration (via HandleTopLevelDecl).
1246///
1247/// This routine should return true for anything that might affect
1248/// code generation, e.g., inline function definitions, Objective-C
1249/// declarations with metadata, etc.
1250static bool isConsumerInterestedIn(Decl *D) {
Daniel Dunbar865c2a72009-09-17 03:06:44 +00001251 if (isa<FileScopeAsmDecl>(D))
1252 return true;
Chris Lattner487412d2009-04-27 05:27:42 +00001253 if (VarDecl *Var = dyn_cast<VarDecl>(D))
Argyrios Kyrtzidis4ba81b22010-08-05 09:47:59 +00001254 return Var->isFileVarDecl() &&
1255 Var->isThisDeclarationADefinition() == VarDecl::Definition;
Chris Lattner487412d2009-04-27 05:27:42 +00001256 if (FunctionDecl *Func = dyn_cast<FunctionDecl>(D))
1257 return Func->isThisDeclarationADefinition();
Argyrios Kyrtzidis13257c52010-08-09 10:54:20 +00001258 return isa<ObjCProtocolDecl>(D) || isa<ObjCImplementationDecl>(D);
Chris Lattner487412d2009-04-27 05:27:42 +00001259}
1260
Sebastian Redl34627792010-07-20 22:46:15 +00001261/// \brief Get the correct cursor and offset for loading a type.
Sebastian Redl2c499f62010-08-18 23:56:43 +00001262ASTReader::RecordLocation
Sebastian Redl539c5062010-08-18 23:57:32 +00001263ASTReader::DeclCursorForIndex(unsigned Index, DeclID ID) {
Sebastian Redle7c1fe62010-08-13 00:28:03 +00001264 // See if there's an override.
1265 DeclReplacementMap::iterator It = ReplacedDecls.find(ID);
1266 if (It != ReplacedDecls.end())
Sebastian Redl2c373b92010-10-05 15:59:54 +00001267 return RecordLocation(It->second.first, It->second.second);
Sebastian Redle7c1fe62010-08-13 00:28:03 +00001268
Sebastian Redl34627792010-07-20 22:46:15 +00001269 PerFileData *F = 0;
1270 for (unsigned I = 0, N = Chain.size(); I != N; ++I) {
1271 F = Chain[N - I - 1];
1272 if (Index < F->LocalNumDecls)
1273 break;
1274 Index -= F->LocalNumDecls;
1275 }
1276 assert(F && F->LocalNumDecls > Index && "Broken chain");
Sebastian Redl2c373b92010-10-05 15:59:54 +00001277 return RecordLocation(F, F->DeclOffsets[Index]);
Sebastian Redl34627792010-07-20 22:46:15 +00001278}
1279
Sebastian Redlb3298c32010-08-18 23:56:48 +00001280/// \brief Read the declaration at the given offset from the AST file.
Sebastian Redl539c5062010-08-18 23:57:32 +00001281Decl *ASTReader::ReadDeclRecord(unsigned Index, DeclID ID) {
Sebastian Redle7c1fe62010-08-13 00:28:03 +00001282 RecordLocation Loc = DeclCursorForIndex(Index, ID);
Sebastian Redl2c373b92010-10-05 15:59:54 +00001283 llvm::BitstreamCursor &DeclsCursor = Loc.F->DeclsCursor;
Chris Lattner487412d2009-04-27 05:27:42 +00001284 // Keep track of where we are in the stream, then jump back there
1285 // after reading this declaration.
Chris Lattner1de76db2009-04-27 05:58:23 +00001286 SavedStreamPosition SavedPosition(DeclsCursor);
Chris Lattner487412d2009-04-27 05:27:42 +00001287
Argyrios Kyrtzidisd0795b22010-06-28 22:28:35 +00001288 ReadingKindTracker ReadingKind(Read_Decl, *this);
1289
Douglas Gregor1342e842009-07-06 18:54:52 +00001290 // Note that we are loading a declaration record.
Argyrios Kyrtzidisb24355a2010-07-30 10:03:16 +00001291 Deserializing ADecl(this);
Mike Stump11289f42009-09-09 15:08:12 +00001292
Sebastian Redl2c373b92010-10-05 15:59:54 +00001293 DeclsCursor.JumpToBit(Loc.Offset);
Chris Lattner487412d2009-04-27 05:27:42 +00001294 RecordData Record;
Chris Lattner1de76db2009-04-27 05:58:23 +00001295 unsigned Code = DeclsCursor.ReadCode();
Chris Lattner487412d2009-04-27 05:27:42 +00001296 unsigned Idx = 0;
Sebastian Redl2c373b92010-10-05 15:59:54 +00001297 ASTDeclReader Reader(*this, *Loc.F, DeclsCursor, ID, Record, Idx);
Chris Lattner487412d2009-04-27 05:27:42 +00001298
Chris Lattner1de76db2009-04-27 05:58:23 +00001299 Decl *D = 0;
Sebastian Redl539c5062010-08-18 23:57:32 +00001300 switch ((DeclCode)DeclsCursor.ReadRecord(Code, Record)) {
Sebastian Redl539c5062010-08-18 23:57:32 +00001301 case DECL_CONTEXT_LEXICAL:
1302 case DECL_CONTEXT_VISIBLE:
Chris Lattner487412d2009-04-27 05:27:42 +00001303 assert(false && "Record cannot be de-serialized with ReadDeclRecord");
1304 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001305 case DECL_TRANSLATION_UNIT:
Chris Lattner487412d2009-04-27 05:27:42 +00001306 assert(Index == 0 && "Translation unit must be at index 0");
Chris Lattner8575daa2009-04-27 21:45:14 +00001307 D = Context->getTranslationUnitDecl();
Chris Lattner487412d2009-04-27 05:27:42 +00001308 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001309 case DECL_TYPEDEF:
John McCall703a3f82009-10-24 08:00:42 +00001310 D = TypedefDecl::Create(*Context, 0, SourceLocation(), 0, 0);
Chris Lattner487412d2009-04-27 05:27:42 +00001311 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001312 case DECL_ENUM:
Argyrios Kyrtzidis39f0e302010-07-02 11:54:55 +00001313 D = EnumDecl::Create(*Context, Decl::EmptyShell());
Chris Lattner487412d2009-04-27 05:27:42 +00001314 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001315 case DECL_RECORD:
Argyrios Kyrtzidis39f0e302010-07-02 11:54:55 +00001316 D = RecordDecl::Create(*Context, Decl::EmptyShell());
Chris Lattner487412d2009-04-27 05:27:42 +00001317 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001318 case DECL_ENUM_CONSTANT:
Chris Lattner8575daa2009-04-27 21:45:14 +00001319 D = EnumConstantDecl::Create(*Context, 0, SourceLocation(), 0, QualType(),
Chris Lattner487412d2009-04-27 05:27:42 +00001320 0, llvm::APSInt());
1321 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001322 case DECL_FUNCTION:
Mike Stump11289f42009-09-09 15:08:12 +00001323 D = FunctionDecl::Create(*Context, 0, SourceLocation(), DeclarationName(),
Argyrios Kyrtzidis60ed5602009-08-19 01:27:57 +00001324 QualType(), 0);
Chris Lattner487412d2009-04-27 05:27:42 +00001325 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001326 case DECL_LINKAGE_SPEC:
Chris Lattnerca025db2010-05-07 21:43:38 +00001327 D = LinkageSpecDecl::Create(*Context, 0, SourceLocation(),
1328 (LinkageSpecDecl::LanguageIDs)0,
1329 false);
1330 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001331 case DECL_NAMESPACE:
Chris Lattnerca025db2010-05-07 21:43:38 +00001332 D = NamespaceDecl::Create(*Context, 0, SourceLocation(), 0);
1333 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001334 case DECL_NAMESPACE_ALIAS:
Chris Lattnerca025db2010-05-07 21:43:38 +00001335 D = NamespaceAliasDecl::Create(*Context, 0, SourceLocation(),
1336 SourceLocation(), 0, SourceRange(), 0,
1337 SourceLocation(), 0);
1338 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001339 case DECL_USING:
Abramo Bagnara8de74e92010-08-12 11:46:03 +00001340 D = UsingDecl::Create(*Context, 0, SourceRange(), SourceLocation(),
1341 0, DeclarationNameInfo(), false);
Chris Lattnerca025db2010-05-07 21:43:38 +00001342 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001343 case DECL_USING_SHADOW:
Chris Lattnerca025db2010-05-07 21:43:38 +00001344 D = UsingShadowDecl::Create(*Context, 0, SourceLocation(), 0, 0);
1345 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001346 case DECL_USING_DIRECTIVE:
Chris Lattnerca025db2010-05-07 21:43:38 +00001347 D = UsingDirectiveDecl::Create(*Context, 0, SourceLocation(),
1348 SourceLocation(), SourceRange(), 0,
1349 SourceLocation(), 0, 0);
1350 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001351 case DECL_UNRESOLVED_USING_VALUE:
Chris Lattnerca025db2010-05-07 21:43:38 +00001352 D = UnresolvedUsingValueDecl::Create(*Context, 0, SourceLocation(),
Abramo Bagnara8de74e92010-08-12 11:46:03 +00001353 SourceRange(), 0,
1354 DeclarationNameInfo());
Chris Lattnerca025db2010-05-07 21:43:38 +00001355 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001356 case DECL_UNRESOLVED_USING_TYPENAME:
Chris Lattnerca025db2010-05-07 21:43:38 +00001357 D = UnresolvedUsingTypenameDecl::Create(*Context, 0, SourceLocation(),
1358 SourceLocation(), SourceRange(),
1359 0, SourceLocation(),
1360 DeclarationName());
1361 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001362 case DECL_CXX_RECORD:
Argyrios Kyrtzidis39f0e302010-07-02 11:54:55 +00001363 D = CXXRecordDecl::Create(*Context, Decl::EmptyShell());
Chris Lattnerca025db2010-05-07 21:43:38 +00001364 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001365 case DECL_CXX_METHOD:
Abramo Bagnarad6d2f182010-08-11 22:01:17 +00001366 D = CXXMethodDecl::Create(*Context, 0, DeclarationNameInfo(),
Chris Lattnerca025db2010-05-07 21:43:38 +00001367 QualType(), 0);
1368 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001369 case DECL_CXX_CONSTRUCTOR:
Chris Lattnerca025db2010-05-07 21:43:38 +00001370 D = CXXConstructorDecl::Create(*Context, Decl::EmptyShell());
1371 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001372 case DECL_CXX_DESTRUCTOR:
Chris Lattnerca025db2010-05-07 21:43:38 +00001373 D = CXXDestructorDecl::Create(*Context, Decl::EmptyShell());
1374 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001375 case DECL_CXX_CONVERSION:
Chris Lattnerca025db2010-05-07 21:43:38 +00001376 D = CXXConversionDecl::Create(*Context, Decl::EmptyShell());
1377 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001378 case DECL_ACCESS_SPEC:
Argyrios Kyrtzidis260b4a82010-09-08 21:32:35 +00001379 D = AccessSpecDecl::Create(*Context, Decl::EmptyShell());
Abramo Bagnarad7340582010-06-05 05:09:32 +00001380 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001381 case DECL_FRIEND:
Argyrios Kyrtzidis74d28bd2010-06-29 22:47:00 +00001382 D = FriendDecl::Create(*Context, Decl::EmptyShell());
Chris Lattnerca025db2010-05-07 21:43:38 +00001383 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001384 case DECL_FRIEND_TEMPLATE:
Argyrios Kyrtzidis165b5812010-07-22 16:04:10 +00001385 D = FriendTemplateDecl::Create(*Context, Decl::EmptyShell());
Chris Lattnerca025db2010-05-07 21:43:38 +00001386 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001387 case DECL_CLASS_TEMPLATE:
Argyrios Kyrtzidisa35c8e42010-06-21 10:57:41 +00001388 D = ClassTemplateDecl::Create(*Context, 0, SourceLocation(),
1389 DeclarationName(), 0, 0, 0);
Chris Lattnerca025db2010-05-07 21:43:38 +00001390 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001391 case DECL_CLASS_TEMPLATE_SPECIALIZATION:
Argyrios Kyrtzidis39f0e302010-07-02 11:54:55 +00001392 D = ClassTemplateSpecializationDecl::Create(*Context, Decl::EmptyShell());
Chris Lattnerca025db2010-05-07 21:43:38 +00001393 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001394 case DECL_CLASS_TEMPLATE_PARTIAL_SPECIALIZATION:
Argyrios Kyrtzidis39f0e302010-07-02 11:54:55 +00001395 D = ClassTemplatePartialSpecializationDecl::Create(*Context,
1396 Decl::EmptyShell());
Chris Lattnerca025db2010-05-07 21:43:38 +00001397 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001398 case DECL_FUNCTION_TEMPLATE:
Argyrios Kyrtzidis69da4a82010-06-22 09:55:07 +00001399 D = FunctionTemplateDecl::Create(*Context, 0, SourceLocation(),
1400 DeclarationName(), 0, 0);
Chris Lattnerca025db2010-05-07 21:43:38 +00001401 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001402 case DECL_TEMPLATE_TYPE_PARM:
Argyrios Kyrtzidis39f0e302010-07-02 11:54:55 +00001403 D = TemplateTypeParmDecl::Create(*Context, Decl::EmptyShell());
Chris Lattnerca025db2010-05-07 21:43:38 +00001404 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001405 case DECL_NON_TYPE_TEMPLATE_PARM:
Argyrios Kyrtzidisb1d38e32010-06-25 16:25:09 +00001406 D = NonTypeTemplateParmDecl::Create(*Context, 0, SourceLocation(), 0,0,0,
1407 QualType(),0);
Chris Lattnerca025db2010-05-07 21:43:38 +00001408 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001409 case DECL_TEMPLATE_TEMPLATE_PARM:
Argyrios Kyrtzidis9f2d24a2010-07-08 17:12:57 +00001410 D = TemplateTemplateParmDecl::Create(*Context, 0, SourceLocation(),0,0,0,0);
Chris Lattnerca025db2010-05-07 21:43:38 +00001411 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001412 case DECL_STATIC_ASSERT:
Argyrios Kyrtzidis2d8891c2010-07-22 17:28:12 +00001413 D = StaticAssertDecl::Create(*Context, 0, SourceLocation(), 0, 0);
Chris Lattnerca025db2010-05-07 21:43:38 +00001414 break;
1415
Sebastian Redl539c5062010-08-18 23:57:32 +00001416 case DECL_OBJC_METHOD:
Mike Stump11289f42009-09-09 15:08:12 +00001417 D = ObjCMethodDecl::Create(*Context, SourceLocation(), SourceLocation(),
Douglas Gregor12852d92010-03-08 14:59:44 +00001418 Selector(), QualType(), 0, 0);
Chris Lattner487412d2009-04-27 05:27:42 +00001419 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001420 case DECL_OBJC_INTERFACE:
Douglas Gregor1c283312010-08-11 12:19:30 +00001421 D = ObjCInterfaceDecl::Create(*Context, 0, SourceLocation(), 0);
Chris Lattner487412d2009-04-27 05:27:42 +00001422 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001423 case DECL_OBJC_IVAR:
Argyrios Kyrtzidis60ed5602009-08-19 01:27:57 +00001424 D = ObjCIvarDecl::Create(*Context, 0, SourceLocation(), 0, QualType(), 0,
Chris Lattner487412d2009-04-27 05:27:42 +00001425 ObjCIvarDecl::None);
1426 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001427 case DECL_OBJC_PROTOCOL:
Chris Lattner8575daa2009-04-27 21:45:14 +00001428 D = ObjCProtocolDecl::Create(*Context, 0, SourceLocation(), 0);
Chris Lattner487412d2009-04-27 05:27:42 +00001429 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001430 case DECL_OBJC_AT_DEFS_FIELD:
Mike Stump11289f42009-09-09 15:08:12 +00001431 D = ObjCAtDefsFieldDecl::Create(*Context, 0, SourceLocation(), 0,
Chris Lattner487412d2009-04-27 05:27:42 +00001432 QualType(), 0);
1433 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001434 case DECL_OBJC_CLASS:
Chris Lattner8575daa2009-04-27 21:45:14 +00001435 D = ObjCClassDecl::Create(*Context, 0, SourceLocation());
Chris Lattner487412d2009-04-27 05:27:42 +00001436 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001437 case DECL_OBJC_FORWARD_PROTOCOL:
Chris Lattner8575daa2009-04-27 21:45:14 +00001438 D = ObjCForwardProtocolDecl::Create(*Context, 0, SourceLocation());
Chris Lattner487412d2009-04-27 05:27:42 +00001439 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001440 case DECL_OBJC_CATEGORY:
Douglas Gregor071676f2010-01-16 16:38:58 +00001441 D = ObjCCategoryDecl::Create(*Context, 0, SourceLocation(),
1442 SourceLocation(), SourceLocation(), 0);
Chris Lattner487412d2009-04-27 05:27:42 +00001443 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001444 case DECL_OBJC_CATEGORY_IMPL:
Chris Lattner8575daa2009-04-27 21:45:14 +00001445 D = ObjCCategoryImplDecl::Create(*Context, 0, SourceLocation(), 0, 0);
Chris Lattner487412d2009-04-27 05:27:42 +00001446 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001447 case DECL_OBJC_IMPLEMENTATION:
Chris Lattner8575daa2009-04-27 21:45:14 +00001448 D = ObjCImplementationDecl::Create(*Context, 0, SourceLocation(), 0, 0);
Chris Lattner487412d2009-04-27 05:27:42 +00001449 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001450 case DECL_OBJC_COMPATIBLE_ALIAS:
Chris Lattner8575daa2009-04-27 21:45:14 +00001451 D = ObjCCompatibleAliasDecl::Create(*Context, 0, SourceLocation(), 0, 0);
Chris Lattner487412d2009-04-27 05:27:42 +00001452 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001453 case DECL_OBJC_PROPERTY:
Fariborz Jahanianda8ec2b2010-01-21 17:36:00 +00001454 D = ObjCPropertyDecl::Create(*Context, 0, SourceLocation(), 0, SourceLocation(),
John McCall339bb662010-06-04 20:50:08 +00001455 0);
Chris Lattner487412d2009-04-27 05:27:42 +00001456 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001457 case DECL_OBJC_PROPERTY_IMPL:
Chris Lattner8575daa2009-04-27 21:45:14 +00001458 D = ObjCPropertyImplDecl::Create(*Context, 0, SourceLocation(),
Mike Stump11289f42009-09-09 15:08:12 +00001459 SourceLocation(), 0,
Chris Lattner487412d2009-04-27 05:27:42 +00001460 ObjCPropertyImplDecl::Dynamic, 0);
1461 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001462 case DECL_FIELD:
Mike Stump11289f42009-09-09 15:08:12 +00001463 D = FieldDecl::Create(*Context, 0, SourceLocation(), 0, QualType(), 0, 0,
Argyrios Kyrtzidis6032ef12009-08-21 00:31:54 +00001464 false);
Chris Lattner487412d2009-04-27 05:27:42 +00001465 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001466 case DECL_VAR:
Argyrios Kyrtzidis60ed5602009-08-19 01:27:57 +00001467 D = VarDecl::Create(*Context, 0, SourceLocation(), 0, QualType(), 0,
John McCall8e7d6562010-08-26 03:08:43 +00001468 SC_None, SC_None);
Chris Lattner487412d2009-04-27 05:27:42 +00001469 break;
1470
Sebastian Redl539c5062010-08-18 23:57:32 +00001471 case DECL_IMPLICIT_PARAM:
Chris Lattner8575daa2009-04-27 21:45:14 +00001472 D = ImplicitParamDecl::Create(*Context, 0, SourceLocation(), 0, QualType());
Chris Lattner487412d2009-04-27 05:27:42 +00001473 break;
1474
Sebastian Redl539c5062010-08-18 23:57:32 +00001475 case DECL_PARM_VAR:
Mike Stump11289f42009-09-09 15:08:12 +00001476 D = ParmVarDecl::Create(*Context, 0, SourceLocation(), 0, QualType(), 0,
John McCall8e7d6562010-08-26 03:08:43 +00001477 SC_None, SC_None, 0);
Chris Lattner487412d2009-04-27 05:27:42 +00001478 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001479 case DECL_FILE_SCOPE_ASM:
Chris Lattner8575daa2009-04-27 21:45:14 +00001480 D = FileScopeAsmDecl::Create(*Context, 0, SourceLocation(), 0);
Chris Lattner487412d2009-04-27 05:27:42 +00001481 break;
Sebastian Redl539c5062010-08-18 23:57:32 +00001482 case DECL_BLOCK:
Chris Lattner8575daa2009-04-27 21:45:14 +00001483 D = BlockDecl::Create(*Context, 0, SourceLocation());
Chris Lattner487412d2009-04-27 05:27:42 +00001484 break;
1485 }
Chris Lattner487412d2009-04-27 05:27:42 +00001486
Sebastian Redlb3298c32010-08-18 23:56:48 +00001487 assert(D && "Unknown declaration reading AST file");
Chris Lattner8f63ab52009-04-27 06:01:06 +00001488 LoadedDecl(Index, D);
1489 Reader.Visit(D);
Chris Lattner487412d2009-04-27 05:27:42 +00001490
1491 // If this declaration is also a declaration context, get the
1492 // offsets for its tables of lexical and visible declarations.
1493 if (DeclContext *DC = dyn_cast<DeclContext>(D)) {
1494 std::pair<uint64_t, uint64_t> Offsets = Reader.VisitDeclContext(DC);
1495 if (Offsets.first || Offsets.second) {
1496 DC->setHasExternalLexicalStorage(Offsets.first != 0);
1497 DC->setHasExternalVisibleStorage(Offsets.second != 0);
Sebastian Redl66c5eef2010-07-27 00:17:23 +00001498 DeclContextInfo Info;
1499 if (ReadDeclContextStorage(DeclsCursor, Offsets, Info))
1500 return 0;
Sebastian Redl4b1f4902010-07-27 18:24:41 +00001501 DeclContextInfos &Infos = DeclContextOffsets[DC];
Sebastian Redld7dce0a2010-08-24 00:50:04 +00001502 // Reading the TU will happen after reading its lexical update blocks,
1503 // so we need to make sure we insert in front. For all other contexts,
1504 // the vector is empty here anyway, so there's no loss in efficiency.
Sebastian Redl4b1f4902010-07-27 18:24:41 +00001505 Infos.insert(Infos.begin(), Info);
Sebastian Redld7dce0a2010-08-24 00:50:04 +00001506
1507 // Now add the pending visible updates for this decl context, if it has
1508 // any.
1509 DeclContextVisibleUpdatesPending::iterator I =
1510 PendingVisibleUpdates.find(ID);
1511 if (I != PendingVisibleUpdates.end()) {
1512 DeclContextVisibleUpdates &U = I->second;
1513 Info.LexicalDecls = 0;
1514 Info.NumLexicalDecls = 0;
1515 for (DeclContextVisibleUpdates::iterator UI = U.begin(), UE = U.end();
1516 UI != UE; ++UI) {
1517 Info.NameLookupTableData = *UI;
1518 Infos.push_back(Info);
1519 }
1520 PendingVisibleUpdates.erase(I);
1521 }
Chris Lattner487412d2009-04-27 05:27:42 +00001522 }
1523 }
Sebastian Redlaba202b2010-08-24 22:50:19 +00001524
1525 // If this is a template, read additional specializations that may be in a
1526 // different part of the chain.
1527 if (isa<RedeclarableTemplateDecl>(D)) {
1528 AdditionalTemplateSpecializationsMap::iterator F =
1529 AdditionalTemplateSpecializationsPending.find(ID);
1530 if (F != AdditionalTemplateSpecializationsPending.end()) {
1531 for (AdditionalTemplateSpecializations::iterator I = F->second.begin(),
1532 E = F->second.end();
1533 I != E; ++I)
1534 GetDecl(*I);
1535 AdditionalTemplateSpecializationsPending.erase(F);
1536 }
1537 }
Chris Lattner487412d2009-04-27 05:27:42 +00001538 assert(Idx == Record.size());
1539
1540 // If we have deserialized a declaration that has a definition the
Argyrios Kyrtzidis903ccd62010-07-07 15:46:26 +00001541 // AST consumer might need to know about, queue it.
1542 // We don't pass it to the consumer immediately because we may be in recursive
1543 // loading, and some declarations may still be initializing.
1544 if (isConsumerInterestedIn(D))
1545 InterestingDecls.push_back(D);
Chris Lattner487412d2009-04-27 05:27:42 +00001546
1547 return D;
1548}