blob: 725b06676e69594774406be559b03ef54d88e50c [file] [log] [blame]
Chris Lattner4b009652007-07-25 00:24:17 +00001//===--- Decl.cpp - Declaration AST Node Implementation -------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner959e5be2007-12-29 19:59:25 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Chris Lattner4b009652007-07-25 00:24:17 +00007//
8//===----------------------------------------------------------------------===//
9//
Argiris Kirtzidise7dfca12008-06-04 13:04:04 +000010// This file implements the Decl subclasses.
Chris Lattner4b009652007-07-25 00:24:17 +000011//
12//===----------------------------------------------------------------------===//
13
14#include "clang/AST/Decl.h"
Douglas Gregor7a7be652009-02-03 19:21:40 +000015#include "clang/AST/DeclCXX.h"
Steve Naroffd85ba922009-02-22 19:35:57 +000016#include "clang/AST/DeclObjC.h"
Douglas Gregor9054f982009-05-10 22:57:19 +000017#include "clang/AST/DeclTemplate.h"
Chris Lattnere4650482008-03-15 06:12:44 +000018#include "clang/AST/ASTContext.h"
Daniel Dunbarde300732008-08-11 04:54:23 +000019#include "clang/AST/Stmt.h"
Nuno Lopesc98406e2008-12-17 23:39:55 +000020#include "clang/AST/Expr.h"
Douglas Gregor3bf3bbc2009-05-29 20:38:28 +000021#include "clang/AST/PrettyPrinter.h"
Chris Lattnerc46fcdd2009-06-14 01:54:56 +000022#include "clang/Basic/Builtins.h"
Daniel Dunbarde300732008-08-11 04:54:23 +000023#include "clang/Basic/IdentifierTable.h"
Douglas Gregor09be81b2009-02-04 17:27:36 +000024#include <vector>
Ted Kremenekafdf8112008-05-20 00:43:19 +000025
Chris Lattner4b009652007-07-25 00:24:17 +000026using namespace clang;
27
Chris Lattner16ded572009-03-04 06:34:08 +000028void Attr::Destroy(ASTContext &C) {
29 if (Next) {
30 Next->Destroy(C);
31 Next = 0;
32 }
33 this->~Attr();
34 C.Deallocate((void*)this);
35}
36
37
Chris Lattnera8344c32008-03-15 05:43:15 +000038//===----------------------------------------------------------------------===//
Chris Lattnere4650482008-03-15 06:12:44 +000039// Decl Allocation/Deallocation Method Implementations
40//===----------------------------------------------------------------------===//
Argiris Kirtzidis03e6aaf2008-04-27 13:50:30 +000041
Chris Lattner16ded572009-03-04 06:34:08 +000042
Argiris Kirtzidisd3586002008-04-17 14:40:12 +000043TranslationUnitDecl *TranslationUnitDecl::Create(ASTContext &C) {
Argiris Kirtzidis2a6dca12009-06-29 17:38:40 +000044 return new (C) TranslationUnitDecl(C);
Argiris Kirtzidisd3586002008-04-17 14:40:12 +000045}
46
Argiris Kirtzidis03e6aaf2008-04-27 13:50:30 +000047NamespaceDecl *NamespaceDecl::Create(ASTContext &C, DeclContext *DC,
48 SourceLocation L, IdentifierInfo *Id) {
Steve Naroff5abb0282009-01-27 21:25:57 +000049 return new (C) NamespaceDecl(DC, L, Id);
Argiris Kirtzidis03e6aaf2008-04-27 13:50:30 +000050}
51
Ted Kremenek5be49242008-05-20 04:49:55 +000052void NamespaceDecl::Destroy(ASTContext& C) {
53 // NamespaceDecl uses "NextDeclarator" to chain namespace declarations
54 // together. They are all top-level Decls.
55
Ted Kremenek0f433842008-05-24 15:09:56 +000056 this->~NamespaceDecl();
Steve Naroff5abb0282009-01-27 21:25:57 +000057 C.Deallocate((void *)this);
Ted Kremenek5be49242008-05-20 04:49:55 +000058}
59
60
Chris Lattner8c7c6a12008-06-17 18:05:57 +000061ImplicitParamDecl *ImplicitParamDecl::Create(ASTContext &C, DeclContext *DC,
Douglas Gregoraf8ad2b2009-01-20 01:17:11 +000062 SourceLocation L, IdentifierInfo *Id, QualType T) {
Steve Naroff5abb0282009-01-27 21:25:57 +000063 return new (C) ImplicitParamDecl(ImplicitParam, DC, L, Id, T);
Chris Lattner8c7c6a12008-06-17 18:05:57 +000064}
65
Daniel Dunbarcaf78fb2009-04-14 02:08:49 +000066const char *VarDecl::getStorageClassSpecifierString(StorageClass SC) {
67 switch (SC) {
68 case VarDecl::None: break;
69 case VarDecl::Auto: return "auto"; break;
70 case VarDecl::Extern: return "extern"; break;
71 case VarDecl::PrivateExtern: return "__private_extern__"; break;
72 case VarDecl::Register: return "register"; break;
73 case VarDecl::Static: return "static"; break;
74 }
75
76 assert(0 && "Invalid storage class");
77 return 0;
78}
79
Chris Lattneref87a202008-04-22 18:39:57 +000080ParmVarDecl *ParmVarDecl::Create(ASTContext &C, DeclContext *DC,
Chris Lattnereee57c02008-04-04 06:12:32 +000081 SourceLocation L, IdentifierInfo *Id,
82 QualType T, StorageClass S,
Douglas Gregoraf8ad2b2009-01-20 01:17:11 +000083 Expr *DefArg) {
Steve Naroff5abb0282009-01-27 21:25:57 +000084 return new (C) ParmVarDecl(ParmVar, DC, L, Id, T, S, DefArg);
Fariborz Jahaniane26cb432008-12-20 23:29:59 +000085}
86
87QualType ParmVarDecl::getOriginalType() const {
Douglas Gregor469fc9a2009-02-02 23:39:07 +000088 if (const OriginalParmVarDecl *PVD =
89 dyn_cast<OriginalParmVarDecl>(this))
Fariborz Jahaniane26cb432008-12-20 23:29:59 +000090 return PVD->OriginalType;
91 return getType();
Chris Lattner48d225c2008-03-15 21:10:16 +000092}
93
Douglas Gregor4833ff02009-05-26 18:54:04 +000094void VarDecl::setInit(ASTContext &C, Expr *I) {
95 if (EvaluatedStmt *Eval = Init.dyn_cast<EvaluatedStmt *>()) {
96 Eval->~EvaluatedStmt();
97 C.Deallocate(Eval);
98 }
99
100 Init = I;
101 }
102
Douglas Gregore6b5d1d2009-03-02 00:19:53 +0000103bool VarDecl::isExternC(ASTContext &Context) const {
104 if (!Context.getLangOptions().CPlusPlus)
105 return (getDeclContext()->isTranslationUnit() &&
106 getStorageClass() != Static) ||
107 (getDeclContext()->isFunctionOrMethod() && hasExternalStorage());
108
109 for (const DeclContext *DC = getDeclContext(); !DC->isTranslationUnit();
110 DC = DC->getParent()) {
111 if (const LinkageSpecDecl *Linkage = dyn_cast<LinkageSpecDecl>(DC)) {
112 if (Linkage->getLanguage() == LinkageSpecDecl::lang_c)
113 return getStorageClass() != Static;
114
115 break;
116 }
117
118 if (DC->isFunctionOrMethod())
119 return false;
120 }
121
122 return false;
123}
124
Douglas Gregor469fc9a2009-02-02 23:39:07 +0000125OriginalParmVarDecl *OriginalParmVarDecl::Create(
Fariborz Jahanian160e8812008-12-20 20:56:12 +0000126 ASTContext &C, DeclContext *DC,
127 SourceLocation L, IdentifierInfo *Id,
128 QualType T, QualType OT, StorageClass S,
Douglas Gregoraf8ad2b2009-01-20 01:17:11 +0000129 Expr *DefArg) {
Douglas Gregor469fc9a2009-02-02 23:39:07 +0000130 return new (C) OriginalParmVarDecl(DC, L, Id, T, OT, S, DefArg);
Fariborz Jahanian160e8812008-12-20 20:56:12 +0000131}
132
Chris Lattneref87a202008-04-22 18:39:57 +0000133FunctionDecl *FunctionDecl::Create(ASTContext &C, DeclContext *DC,
Chris Lattnereee57c02008-04-04 06:12:32 +0000134 SourceLocation L,
Douglas Gregor6704b312008-11-17 22:58:34 +0000135 DeclarationName N, QualType T,
Chris Lattner4c7802b2008-03-15 21:24:04 +0000136 StorageClass S, bool isInline,
Anders Carlssond9d6d502009-05-14 21:46:00 +0000137 bool hasWrittenPrototype,
Steve Naroff71cd7762008-10-03 00:02:03 +0000138 SourceLocation TypeSpecStartLoc) {
Douglas Gregor1f88aa72009-02-25 16:33:18 +0000139 FunctionDecl *New
140 = new (C) FunctionDecl(Function, DC, L, N, T, S, isInline,
141 TypeSpecStartLoc);
Anders Carlssond9d6d502009-05-14 21:46:00 +0000142 New->HasWrittenPrototype = hasWrittenPrototype;
Douglas Gregor1f88aa72009-02-25 16:33:18 +0000143 return New;
Chris Lattner4c7802b2008-03-15 21:24:04 +0000144}
145
Steve Naroff52059382008-10-10 01:28:17 +0000146BlockDecl *BlockDecl::Create(ASTContext &C, DeclContext *DC, SourceLocation L) {
Steve Naroff5abb0282009-01-27 21:25:57 +0000147 return new (C) BlockDecl(DC, L);
Steve Naroff9ac456d2008-10-08 17:01:13 +0000148}
149
Douglas Gregor8acb7272008-12-11 16:49:14 +0000150FieldDecl *FieldDecl::Create(ASTContext &C, DeclContext *DC, SourceLocation L,
151 IdentifierInfo *Id, QualType T, Expr *BW,
Douglas Gregoraf8ad2b2009-01-20 01:17:11 +0000152 bool Mutable) {
Steve Naroff5abb0282009-01-27 21:25:57 +0000153 return new (C) FieldDecl(Decl::Field, DC, L, Id, T, BW, Mutable);
Chris Lattner81db64a2008-03-16 00:16:02 +0000154}
155
Douglas Gregorc7f01612009-01-07 19:46:03 +0000156bool FieldDecl::isAnonymousStructOrUnion() const {
157 if (!isImplicit() || getDeclName())
158 return false;
159
160 if (const RecordType *Record = getType()->getAsRecordType())
161 return Record->getDecl()->isAnonymousStructOrUnion();
162
163 return false;
164}
Chris Lattner4c7802b2008-03-15 21:24:04 +0000165
Chris Lattnereee57c02008-04-04 06:12:32 +0000166EnumConstantDecl *EnumConstantDecl::Create(ASTContext &C, EnumDecl *CD,
167 SourceLocation L,
Chris Lattner58114f02008-03-15 21:32:50 +0000168 IdentifierInfo *Id, QualType T,
Douglas Gregoraf8ad2b2009-01-20 01:17:11 +0000169 Expr *E, const llvm::APSInt &V) {
Steve Naroff5abb0282009-01-27 21:25:57 +0000170 return new (C) EnumConstantDecl(CD, L, Id, T, E, V);
Chris Lattnere4650482008-03-15 06:12:44 +0000171}
172
Ted Kremenek5be49242008-05-20 04:49:55 +0000173void EnumConstantDecl::Destroy(ASTContext& C) {
174 if (Init) Init->Destroy(C);
175 Decl::Destroy(C);
176}
177
Chris Lattneref87a202008-04-22 18:39:57 +0000178TypedefDecl *TypedefDecl::Create(ASTContext &C, DeclContext *DC,
Chris Lattnereee57c02008-04-04 06:12:32 +0000179 SourceLocation L,
Douglas Gregoraf8ad2b2009-01-20 01:17:11 +0000180 IdentifierInfo *Id, QualType T) {
Steve Naroff5abb0282009-01-27 21:25:57 +0000181 return new (C) TypedefDecl(DC, L, Id, T);
Chris Lattnere4650482008-03-15 06:12:44 +0000182}
183
Chris Lattneref87a202008-04-22 18:39:57 +0000184EnumDecl *EnumDecl::Create(ASTContext &C, DeclContext *DC, SourceLocation L,
Chris Lattnereee57c02008-04-04 06:12:32 +0000185 IdentifierInfo *Id,
Douglas Gregorae644892008-12-15 16:32:14 +0000186 EnumDecl *PrevDecl) {
Steve Naroff207b9ec2009-01-27 23:20:32 +0000187 EnumDecl *Enum = new (C) EnumDecl(DC, L, Id);
Douglas Gregorae644892008-12-15 16:32:14 +0000188 C.getTypeDeclType(Enum, PrevDecl);
189 return Enum;
Chris Lattnere4650482008-03-15 06:12:44 +0000190}
191
Ted Kremenek25d8be12008-09-02 20:13:32 +0000192void EnumDecl::Destroy(ASTContext& C) {
Ted Kremenek25d8be12008-09-02 20:13:32 +0000193 Decl::Destroy(C);
194}
195
Douglas Gregor8acb7272008-12-11 16:49:14 +0000196void EnumDecl::completeDefinition(ASTContext &C, QualType NewType) {
197 assert(!isDefinition() && "Cannot redefine enums!");
Douglas Gregor8acb7272008-12-11 16:49:14 +0000198 IntegerType = NewType;
Douglas Gregor98b27542009-01-17 00:42:38 +0000199 TagDecl::completeDefinition();
Douglas Gregor8acb7272008-12-11 16:49:14 +0000200}
201
Douglas Gregoraf8ad2b2009-01-20 01:17:11 +0000202FileScopeAsmDecl *FileScopeAsmDecl::Create(ASTContext &C, DeclContext *DC,
Chris Lattnereee57c02008-04-04 06:12:32 +0000203 SourceLocation L,
Chris Lattner81db64a2008-03-16 00:16:02 +0000204 StringLiteral *Str) {
Steve Naroff5abb0282009-01-27 21:25:57 +0000205 return new (C) FileScopeAsmDecl(DC, L, Str);
Chris Lattner81db64a2008-03-16 00:16:02 +0000206}
207
Chris Lattnere4650482008-03-15 06:12:44 +0000208//===----------------------------------------------------------------------===//
Douglas Gregoraf8ad2b2009-01-20 01:17:11 +0000209// NamedDecl Implementation
Argiris Kirtzidis881964b2008-11-09 23:41:00 +0000210//===----------------------------------------------------------------------===//
211
Douglas Gregor09be81b2009-02-04 17:27:36 +0000212std::string NamedDecl::getQualifiedNameAsString() const {
213 std::vector<std::string> Names;
214 std::string QualName;
215 const DeclContext *Ctx = getDeclContext();
216
217 if (Ctx->isFunctionOrMethod())
218 return getNameAsString();
219
220 while (Ctx) {
221 if (Ctx->isFunctionOrMethod())
222 // FIXME: That probably will happen, when D was member of local
223 // scope class/struct/union. How do we handle this case?
224 break;
225
Douglas Gregorb12249d2009-05-18 17:01:57 +0000226 if (const ClassTemplateSpecializationDecl *Spec
227 = dyn_cast<ClassTemplateSpecializationDecl>(Ctx)) {
228 const TemplateArgumentList &TemplateArgs = Spec->getTemplateArgs();
Douglas Gregor3bf3bbc2009-05-29 20:38:28 +0000229 PrintingPolicy Policy;
230 Policy.CPlusPlus = true;
Douglas Gregorb12249d2009-05-18 17:01:57 +0000231 std::string TemplateArgsStr
232 = TemplateSpecializationType::PrintTemplateArgumentList(
233 TemplateArgs.getFlatArgumentList(),
Douglas Gregor3bf3bbc2009-05-29 20:38:28 +0000234 TemplateArgs.flat_size(),
235 Policy);
Douglas Gregorb12249d2009-05-18 17:01:57 +0000236 Names.push_back(Spec->getIdentifier()->getName() + TemplateArgsStr);
237 } else if (const NamedDecl *ND = dyn_cast<NamedDecl>(Ctx))
Douglas Gregor09be81b2009-02-04 17:27:36 +0000238 Names.push_back(ND->getNameAsString());
239 else
240 break;
241
242 Ctx = Ctx->getParent();
243 }
244
245 std::vector<std::string>::reverse_iterator
246 I = Names.rbegin(),
247 End = Names.rend();
248
249 for (; I!=End; ++I)
250 QualName += *I + "::";
251
252 QualName += getNameAsString();
253
254 return QualName;
255}
256
257
Douglas Gregoraf8ad2b2009-01-20 01:17:11 +0000258bool NamedDecl::declarationReplaces(NamedDecl *OldD) const {
Douglas Gregor6e71edc2008-12-23 21:05:05 +0000259 assert(getDeclName() == OldD->getDeclName() && "Declaration name mismatch");
260
Douglas Gregor7a7be652009-02-03 19:21:40 +0000261 // UsingDirectiveDecl's are not really NamedDecl's, and all have same name.
262 // We want to keep it, unless it nominates same namespace.
263 if (getKind() == Decl::UsingDirective) {
264 return cast<UsingDirectiveDecl>(this)->getNominatedNamespace() ==
265 cast<UsingDirectiveDecl>(OldD)->getNominatedNamespace();
266 }
267
Douglas Gregor6e71edc2008-12-23 21:05:05 +0000268 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(this))
269 // For function declarations, we keep track of redeclarations.
270 return FD->getPreviousDeclaration() == OldD;
271
Douglas Gregorb60eb752009-06-25 22:08:12 +0000272 // For function templates, the underlying function declarations are linked.
273 if (const FunctionTemplateDecl *FunctionTemplate
274 = dyn_cast<FunctionTemplateDecl>(this))
275 if (const FunctionTemplateDecl *OldFunctionTemplate
276 = dyn_cast<FunctionTemplateDecl>(OldD))
277 return FunctionTemplate->getTemplatedDecl()
278 ->declarationReplaces(OldFunctionTemplate->getTemplatedDecl());
279
Steve Naroffd85ba922009-02-22 19:35:57 +0000280 // For method declarations, we keep track of redeclarations.
281 if (isa<ObjCMethodDecl>(this))
282 return false;
283
Douglas Gregor6e71edc2008-12-23 21:05:05 +0000284 // For non-function declarations, if the declarations are of the
285 // same kind then this must be a redeclaration, or semantic analysis
286 // would not have given us the new declaration.
287 return this->getKind() == OldD->getKind();
288}
289
Douglas Gregor1c52c632009-02-24 20:03:32 +0000290bool NamedDecl::hasLinkage() const {
291 if (const VarDecl *VD = dyn_cast<VarDecl>(this))
292 return VD->hasExternalStorage() || VD->isFileVarDecl();
293
294 if (isa<FunctionDecl>(this) && !isa<CXXMethodDecl>(this))
295 return true;
296
297 return false;
298}
Douglas Gregoraf8ad2b2009-01-20 01:17:11 +0000299
Anders Carlssondf5ab842009-06-26 06:29:23 +0000300NamedDecl *NamedDecl::getUnderlyingDecl() {
301 NamedDecl *ND = this;
302 while (true) {
303 if (UsingDecl *UD = dyn_cast<UsingDecl>(ND))
304 ND = UD->getTargetDecl();
305 else if (ObjCCompatibleAliasDecl *AD
306 = dyn_cast<ObjCCompatibleAliasDecl>(ND))
307 return AD->getClassInterface();
308 else
309 return ND;
310 }
311}
312
Argiris Kirtzidis881964b2008-11-09 23:41:00 +0000313//===----------------------------------------------------------------------===//
Nuno Lopesc98406e2008-12-17 23:39:55 +0000314// VarDecl Implementation
315//===----------------------------------------------------------------------===//
316
Douglas Gregoraf8ad2b2009-01-20 01:17:11 +0000317VarDecl *VarDecl::Create(ASTContext &C, DeclContext *DC, SourceLocation L,
318 IdentifierInfo *Id, QualType T, StorageClass S,
Nuno Lopesc98406e2008-12-17 23:39:55 +0000319 SourceLocation TypeSpecStartLoc) {
Steve Naroff5abb0282009-01-27 21:25:57 +0000320 return new (C) VarDecl(Var, DC, L, Id, T, S, TypeSpecStartLoc);
Nuno Lopesc98406e2008-12-17 23:39:55 +0000321}
322
323void VarDecl::Destroy(ASTContext& C) {
Sebastian Redl2ee55612009-02-05 15:12:41 +0000324 Expr *Init = getInit();
Douglas Gregor4833ff02009-05-26 18:54:04 +0000325 if (Init) {
Sebastian Redl2ee55612009-02-05 15:12:41 +0000326 Init->Destroy(C);
Douglas Gregor4833ff02009-05-26 18:54:04 +0000327 if (EvaluatedStmt *Eval = this->Init.dyn_cast<EvaluatedStmt *>()) {
328 Eval->~EvaluatedStmt();
329 C.Deallocate(Eval);
330 }
331 }
Nuno Lopesc98406e2008-12-17 23:39:55 +0000332 this->~VarDecl();
Steve Naroff5abb0282009-01-27 21:25:57 +0000333 C.Deallocate((void *)this);
Nuno Lopesc98406e2008-12-17 23:39:55 +0000334}
335
336VarDecl::~VarDecl() {
Nuno Lopesc98406e2008-12-17 23:39:55 +0000337}
338
Argiris Kirtzidis545473e2009-06-20 08:09:14 +0000339SourceRange VarDecl::getSourceRange() const {
340 if (getInit())
341 return SourceRange(getLocation(), getInit()->getLocEnd());
342 return SourceRange(getLocation(), getLocation());
343}
344
Douglas Gregor2f728b22009-03-10 23:43:53 +0000345bool VarDecl::isTentativeDefinition(ASTContext &Context) const {
346 if (!isFileVarDecl() || Context.getLangOptions().CPlusPlus)
347 return false;
348
Douglas Gregor9cdb4a12009-04-21 17:11:58 +0000349 const VarDecl *Def = 0;
350 return (!getDefinition(Def) &&
Douglas Gregor2f728b22009-03-10 23:43:53 +0000351 (getStorageClass() == None || getStorageClass() == Static));
352}
353
Ted Kremenek51787c72009-03-20 21:35:28 +0000354const Expr *VarDecl::getDefinition(const VarDecl *&Def) const {
Douglas Gregor2f728b22009-03-10 23:43:53 +0000355 Def = this;
356 while (Def && !Def->getInit())
357 Def = Def->getPreviousDeclaration();
358
359 return Def? Def->getInit() : 0;
360}
361
Nuno Lopesc98406e2008-12-17 23:39:55 +0000362//===----------------------------------------------------------------------===//
Chris Lattnerc72d22d2008-03-31 00:36:02 +0000363// FunctionDecl Implementation
364//===----------------------------------------------------------------------===//
365
Ted Kremenekafdf8112008-05-20 00:43:19 +0000366void FunctionDecl::Destroy(ASTContext& C) {
Douglas Gregor3b9a7c82009-04-18 00:07:54 +0000367 if (Body && Body.isOffset())
368 Body.get(C.getExternalSource())->Destroy(C);
Ted Kremenek345b93d2008-05-20 03:56:00 +0000369
370 for (param_iterator I=param_begin(), E=param_end(); I!=E; ++I)
371 (*I)->Destroy(C);
Nuno Lopescb8cc5b2009-01-18 19:57:27 +0000372
Steve Naroff5abb0282009-01-27 21:25:57 +0000373 C.Deallocate(ParamInfo);
Nuno Lopescb8cc5b2009-01-18 19:57:27 +0000374
Douglas Gregor2ed1a542009-06-29 17:30:29 +0000375 if (FunctionTemplateSpecializationInfo *Info
376 = TemplateOrSpecialization
377 .dyn_cast<FunctionTemplateSpecializationInfo*>())
Douglas Gregor6f5e0542009-06-26 00:10:03 +0000378 C.Deallocate(Info);
379
Ted Kremenekafdf8112008-05-20 00:43:19 +0000380 Decl::Destroy(C);
381}
382
383
Sebastian Redlbc9ef252009-04-26 20:35:05 +0000384Stmt *FunctionDecl::getBody(ASTContext &Context,
385 const FunctionDecl *&Definition) const {
Douglas Gregor42214c52008-04-21 02:02:58 +0000386 for (const FunctionDecl *FD = this; FD != 0; FD = FD->PreviousDeclaration) {
387 if (FD->Body) {
388 Definition = FD;
Sebastian Redlbc9ef252009-04-26 20:35:05 +0000389 return FD->Body.get(Context.getExternalSource());
Douglas Gregor42214c52008-04-21 02:02:58 +0000390 }
391 }
392
393 return 0;
Chris Lattner4b009652007-07-25 00:24:17 +0000394}
395
Sebastian Redlbc9ef252009-04-26 20:35:05 +0000396Stmt *FunctionDecl::getBodyIfAvailable() const {
Douglas Gregore3241e92009-04-18 00:02:19 +0000397 for (const FunctionDecl *FD = this; FD != 0; FD = FD->PreviousDeclaration) {
Douglas Gregor3b9a7c82009-04-18 00:07:54 +0000398 if (FD->Body && !FD->Body.isOffset()) {
Sebastian Redlbc9ef252009-04-26 20:35:05 +0000399 return FD->Body.get(0);
Douglas Gregor3b9a7c82009-04-18 00:07:54 +0000400 }
Douglas Gregore3241e92009-04-18 00:02:19 +0000401 }
402
403 return 0;
404}
405
Argiris Kirtzidis545473e2009-06-20 08:09:14 +0000406void FunctionDecl::setBody(Stmt *B) {
407 Body = B;
Argiris Kirtzidis25822a02009-06-22 17:13:31 +0000408 if (B)
Argiris Kirtzidis545473e2009-06-20 08:09:14 +0000409 EndRangeLoc = B->getLocEnd();
410}
411
Douglas Gregoraf682022009-02-24 01:23:02 +0000412bool FunctionDecl::isMain() const {
413 return getDeclContext()->getLookupContext()->isTranslationUnit() &&
414 getIdentifier() && getIdentifier()->isStr("main");
415}
416
Douglas Gregore6b5d1d2009-03-02 00:19:53 +0000417bool FunctionDecl::isExternC(ASTContext &Context) const {
418 // In C, any non-static, non-overloadable function has external
419 // linkage.
420 if (!Context.getLangOptions().CPlusPlus)
Douglas Gregor98da6ae2009-06-18 16:11:24 +0000421 return getStorageClass() != Static && !getAttr<OverloadableAttr>(Context);
Douglas Gregore6b5d1d2009-03-02 00:19:53 +0000422
423 for (const DeclContext *DC = getDeclContext(); !DC->isTranslationUnit();
424 DC = DC->getParent()) {
425 if (const LinkageSpecDecl *Linkage = dyn_cast<LinkageSpecDecl>(DC)) {
426 if (Linkage->getLanguage() == LinkageSpecDecl::lang_c)
Douglas Gregor98da6ae2009-06-18 16:11:24 +0000427 return getStorageClass() != Static &&
428 !getAttr<OverloadableAttr>(Context);
Douglas Gregore6b5d1d2009-03-02 00:19:53 +0000429
430 break;
431 }
432 }
433
434 return false;
435}
436
Douglas Gregorcd7ac6f2009-03-31 16:35:03 +0000437bool FunctionDecl::isGlobal() const {
438 if (const CXXMethodDecl *Method = dyn_cast<CXXMethodDecl>(this))
439 return Method->isStatic();
440
441 if (getStorageClass() == Static)
442 return false;
443
444 for (const DeclContext *DC = getDeclContext();
445 DC->isNamespace();
446 DC = DC->getParent()) {
447 if (const NamespaceDecl *Namespace = cast<NamespaceDecl>(DC)) {
448 if (!Namespace->getDeclName())
449 return false;
450 break;
451 }
452 }
453
454 return true;
455}
456
Douglas Gregor411889e2009-02-13 23:20:09 +0000457/// \brief Returns a value indicating whether this function
458/// corresponds to a builtin function.
459///
460/// The function corresponds to a built-in function if it is
461/// declared at translation scope or within an extern "C" block and
462/// its name matches with the name of a builtin. The returned value
463/// will be 0 for functions that do not correspond to a builtin, a
464/// value of type \c Builtin::ID if in the target-independent range
465/// \c [1,Builtin::First), or a target-specific builtin value.
Douglas Gregorb5af7382009-02-14 18:57:46 +0000466unsigned FunctionDecl::getBuiltinID(ASTContext &Context) const {
467 if (!getIdentifier() || !getIdentifier()->getBuiltinID())
468 return 0;
469
470 unsigned BuiltinID = getIdentifier()->getBuiltinID();
471 if (!Context.BuiltinInfo.isPredefinedLibFunction(BuiltinID))
472 return BuiltinID;
473
474 // This function has the name of a known C library
475 // function. Determine whether it actually refers to the C library
476 // function or whether it just has the same name.
477
Douglas Gregor4d6b1022009-02-17 03:23:10 +0000478 // If this is a static function, it's not a builtin.
479 if (getStorageClass() == Static)
480 return 0;
481
Douglas Gregorb5af7382009-02-14 18:57:46 +0000482 // If this function is at translation-unit scope and we're not in
483 // C++, it refers to the C library function.
484 if (!Context.getLangOptions().CPlusPlus &&
485 getDeclContext()->isTranslationUnit())
486 return BuiltinID;
487
488 // If the function is in an extern "C" linkage specification and is
489 // not marked "overloadable", it's the real function.
490 if (isa<LinkageSpecDecl>(getDeclContext()) &&
491 cast<LinkageSpecDecl>(getDeclContext())->getLanguage()
492 == LinkageSpecDecl::lang_c &&
Douglas Gregor98da6ae2009-06-18 16:11:24 +0000493 !getAttr<OverloadableAttr>(Context))
Douglas Gregorb5af7382009-02-14 18:57:46 +0000494 return BuiltinID;
495
496 // Not a builtin
Douglas Gregor411889e2009-02-13 23:20:09 +0000497 return 0;
498}
499
500
Chris Lattnerd2112022009-04-25 06:03:53 +0000501/// getNumParams - Return the number of parameters this function must have
Chris Lattnerc13d4732009-04-25 06:12:16 +0000502/// based on its FunctionType. This is the length of the PararmInfo array
Chris Lattnerd2112022009-04-25 06:03:53 +0000503/// after it has been created.
504unsigned FunctionDecl::getNumParams() const {
Chris Lattner9d957cb2009-04-25 05:56:45 +0000505 const FunctionType *FT = getType()->getAsFunctionType();
Douglas Gregor4fa58902009-02-26 23:50:07 +0000506 if (isa<FunctionNoProtoType>(FT))
Chris Lattnera8344c32008-03-15 05:43:15 +0000507 return 0;
Douglas Gregor4fa58902009-02-26 23:50:07 +0000508 return cast<FunctionProtoType>(FT)->getNumArgs();
Chris Lattner9d957cb2009-04-25 05:56:45 +0000509
Chris Lattner4b009652007-07-25 00:24:17 +0000510}
511
Ted Kremenek8494c962009-01-14 00:42:25 +0000512void FunctionDecl::setParams(ASTContext& C, ParmVarDecl **NewParamInfo,
513 unsigned NumParams) {
Chris Lattner4b009652007-07-25 00:24:17 +0000514 assert(ParamInfo == 0 && "Already has param info!");
Chris Lattnerc13d4732009-04-25 06:12:16 +0000515 assert(NumParams == getNumParams() && "Parameter count mismatch!");
Chris Lattner4b009652007-07-25 00:24:17 +0000516
517 // Zero params -> null pointer.
518 if (NumParams) {
Steve Naroff207b9ec2009-01-27 23:20:32 +0000519 void *Mem = C.Allocate(sizeof(ParmVarDecl*)*NumParams);
Ted Kremenek8494c962009-01-14 00:42:25 +0000520 ParamInfo = new (Mem) ParmVarDecl*[NumParams];
Chris Lattner4b009652007-07-25 00:24:17 +0000521 memcpy(ParamInfo, NewParamInfo, sizeof(ParmVarDecl*)*NumParams);
Argiris Kirtzidis545473e2009-06-20 08:09:14 +0000522
Argiris Kirtzidisae78f1f2009-06-23 00:42:00 +0000523 // Update source range. The check below allows us to set EndRangeLoc before
524 // setting the parameters.
Argiris Kirtzidis0dba8f22009-06-23 00:42:15 +0000525 if (EndRangeLoc.isInvalid() || EndRangeLoc == getLocation())
Argiris Kirtzidis545473e2009-06-20 08:09:14 +0000526 EndRangeLoc = NewParamInfo[NumParams-1]->getLocEnd();
Chris Lattner4b009652007-07-25 00:24:17 +0000527 }
528}
529
Chris Lattner97316c02008-04-10 02:22:51 +0000530/// getMinRequiredArguments - Returns the minimum number of arguments
531/// needed to call this function. This may be fewer than the number of
532/// function parameters, if some of the parameters have default
Chris Lattnerb1856db2008-04-12 23:52:44 +0000533/// arguments (in C++).
Chris Lattner97316c02008-04-10 02:22:51 +0000534unsigned FunctionDecl::getMinRequiredArguments() const {
535 unsigned NumRequiredArgs = getNumParams();
536 while (NumRequiredArgs > 0
Anders Carlssond2e57d92009-06-06 04:14:07 +0000537 && getParamDecl(NumRequiredArgs-1)->hasDefaultArg())
Chris Lattner97316c02008-04-10 02:22:51 +0000538 --NumRequiredArgs;
539
540 return NumRequiredArgs;
541}
542
Douglas Gregor98da6ae2009-06-18 16:11:24 +0000543bool FunctionDecl::hasActiveGNUInlineAttribute(ASTContext &Context) const {
544 if (!isInline() || !hasAttr<GNUInlineAttr>(Context))
Douglas Gregor67e11442009-04-28 06:37:30 +0000545 return false;
546
547 for (const FunctionDecl *FD = getPreviousDeclaration(); FD;
548 FD = FD->getPreviousDeclaration()) {
Douglas Gregor98da6ae2009-06-18 16:11:24 +0000549 if (FD->isInline() && !FD->hasAttr<GNUInlineAttr>(Context))
Douglas Gregor67e11442009-04-28 06:37:30 +0000550 return false;
551 }
552
553 return true;
554}
555
Douglas Gregor98da6ae2009-06-18 16:11:24 +0000556bool FunctionDecl::isExternGNUInline(ASTContext &Context) const {
557 if (!hasActiveGNUInlineAttribute(Context))
Douglas Gregor67e11442009-04-28 06:37:30 +0000558 return false;
559
560 for (const FunctionDecl *FD = this; FD; FD = FD->getPreviousDeclaration())
Douglas Gregor98da6ae2009-06-18 16:11:24 +0000561 if (FD->getStorageClass() == Extern && FD->hasAttr<GNUInlineAttr>(Context))
Douglas Gregor67e11442009-04-28 06:37:30 +0000562 return true;
563
564 return false;
565}
566
Douglas Gregore60e5d32008-11-06 22:13:31 +0000567/// getOverloadedOperator - Which C++ overloaded operator this
568/// function represents, if any.
569OverloadedOperatorKind FunctionDecl::getOverloadedOperator() const {
Douglas Gregor96a32dd2008-11-18 14:39:36 +0000570 if (getDeclName().getNameKind() == DeclarationName::CXXOperatorName)
571 return getDeclName().getCXXOverloadedOperator();
Douglas Gregore60e5d32008-11-06 22:13:31 +0000572 else
573 return OO_None;
574}
575
Douglas Gregor2ed1a542009-06-29 17:30:29 +0000576FunctionTemplateDecl *FunctionDecl::getPrimaryTemplate() const {
577 if (FunctionTemplateSpecializationInfo *Info
578 = TemplateOrSpecialization
579 .dyn_cast<FunctionTemplateSpecializationInfo*>()) {
580 return Info->Template;
581 }
582 return 0;
583}
584
585const TemplateArgumentList *
586FunctionDecl::getTemplateSpecializationArgs() const {
587 if (FunctionTemplateSpecializationInfo *Info
588 = TemplateOrSpecialization
589 .dyn_cast<FunctionTemplateSpecializationInfo*>()) {
590 return Info->TemplateArguments;
591 }
592 return 0;
593}
594
Douglas Gregor6f5e0542009-06-26 00:10:03 +0000595void
596FunctionDecl::setFunctionTemplateSpecialization(ASTContext &Context,
597 FunctionTemplateDecl *Template,
598 const TemplateArgumentList *TemplateArgs) {
Douglas Gregor2ed1a542009-06-29 17:30:29 +0000599 FunctionTemplateSpecializationInfo *Info
600 = TemplateOrSpecialization.dyn_cast<FunctionTemplateSpecializationInfo*>();
Douglas Gregor6f5e0542009-06-26 00:10:03 +0000601 if (!Info)
Douglas Gregor2ed1a542009-06-29 17:30:29 +0000602 Info = new (Context) FunctionTemplateSpecializationInfo;
Douglas Gregor6f5e0542009-06-26 00:10:03 +0000603
604 Info->Template = Template;
605 Info->TemplateArguments = TemplateArgs;
606 TemplateOrSpecialization = Info;
607}
608
Chris Lattnerc72d22d2008-03-31 00:36:02 +0000609//===----------------------------------------------------------------------===//
Douglas Gregor723d3332009-01-07 00:43:41 +0000610// TagDecl Implementation
Ted Kremenek46a837c2008-09-05 17:16:31 +0000611//===----------------------------------------------------------------------===//
612
Douglas Gregor98b27542009-01-17 00:42:38 +0000613void TagDecl::startDefinition() {
Douglas Gregor9c7825b2009-02-26 22:19:44 +0000614 TagType *TagT = const_cast<TagType *>(TypeForDecl->getAsTagType());
615 TagT->decl.setPointer(this);
616 TagT->getAsTagType()->decl.setInt(1);
Douglas Gregor98b27542009-01-17 00:42:38 +0000617}
618
619void TagDecl::completeDefinition() {
620 assert((!TypeForDecl ||
Douglas Gregor9c7825b2009-02-26 22:19:44 +0000621 TypeForDecl->getAsTagType()->decl.getPointer() == this) &&
Douglas Gregor98b27542009-01-17 00:42:38 +0000622 "Attempt to redefine a tag definition?");
623 IsDefinition = true;
Douglas Gregor9c7825b2009-02-26 22:19:44 +0000624 TagType *TagT = const_cast<TagType *>(TypeForDecl->getAsTagType());
625 TagT->decl.setPointer(this);
626 TagT->decl.setInt(0);
Douglas Gregor98b27542009-01-17 00:42:38 +0000627}
628
Ted Kremenek46a837c2008-09-05 17:16:31 +0000629TagDecl* TagDecl::getDefinition(ASTContext& C) const {
630 QualType T = C.getTypeDeclType(const_cast<TagDecl*>(this));
Douglas Gregor9c7825b2009-02-26 22:19:44 +0000631 TagDecl* D = cast<TagDecl>(T->getAsTagType()->getDecl());
Ted Kremenek46a837c2008-09-05 17:16:31 +0000632 return D->isDefinition() ? D : 0;
633}
634
635//===----------------------------------------------------------------------===//
Chris Lattnerc72d22d2008-03-31 00:36:02 +0000636// RecordDecl Implementation
637//===----------------------------------------------------------------------===//
Chris Lattner4b009652007-07-25 00:24:17 +0000638
Argiris Kirtzidis2538a8c2008-10-15 00:42:39 +0000639RecordDecl::RecordDecl(Kind DK, TagKind TK, DeclContext *DC, SourceLocation L,
Ted Kremenek2c984042008-09-05 01:34:33 +0000640 IdentifierInfo *Id)
Douglas Gregoraf8ad2b2009-01-20 01:17:11 +0000641 : TagDecl(DK, TK, DC, L, Id) {
Ted Kremenek6f0a2412008-09-02 21:12:32 +0000642 HasFlexibleArrayMember = false;
Douglas Gregor723d3332009-01-07 00:43:41 +0000643 AnonymousStructOrUnion = false;
Ted Kremenek6f0a2412008-09-02 21:12:32 +0000644 assert(classof(static_cast<Decl*>(this)) && "Invalid Kind!");
Ted Kremenek6f0a2412008-09-02 21:12:32 +0000645}
646
647RecordDecl *RecordDecl::Create(ASTContext &C, TagKind TK, DeclContext *DC,
Ted Kremenek46a837c2008-09-05 17:16:31 +0000648 SourceLocation L, IdentifierInfo *Id,
649 RecordDecl* PrevDecl) {
Ted Kremenek2c984042008-09-05 01:34:33 +0000650
Steve Naroff5abb0282009-01-27 21:25:57 +0000651 RecordDecl* R = new (C) RecordDecl(Record, TK, DC, L, Id);
Ted Kremenek46a837c2008-09-05 17:16:31 +0000652 C.getTypeDeclType(R, PrevDecl);
653 return R;
Ted Kremenek6f0a2412008-09-02 21:12:32 +0000654}
655
Argiris Kirtzidisd64c1112008-08-08 14:08:55 +0000656RecordDecl::~RecordDecl() {
Argiris Kirtzidisd64c1112008-08-08 14:08:55 +0000657}
658
659void RecordDecl::Destroy(ASTContext& C) {
Argiris Kirtzidisd64c1112008-08-08 14:08:55 +0000660 TagDecl::Destroy(C);
661}
662
Douglas Gregor43bfaaf2009-03-25 15:59:44 +0000663bool RecordDecl::isInjectedClassName() const {
664 return isImplicit() && getDeclName() && getDeclContext()->isRecord() &&
665 cast<RecordDecl>(getDeclContext())->getDeclName() == getDeclName();
666}
667
Douglas Gregor8acb7272008-12-11 16:49:14 +0000668/// completeDefinition - Notes that the definition of this type is now
669/// complete.
670void RecordDecl::completeDefinition(ASTContext& C) {
Chris Lattner4b009652007-07-25 00:24:17 +0000671 assert(!isDefinition() && "Cannot redefine record!");
Douglas Gregor98b27542009-01-17 00:42:38 +0000672 TagDecl::completeDefinition();
Chris Lattner4b009652007-07-25 00:24:17 +0000673}
674
Steve Naroff9ac456d2008-10-08 17:01:13 +0000675//===----------------------------------------------------------------------===//
676// BlockDecl Implementation
677//===----------------------------------------------------------------------===//
678
679BlockDecl::~BlockDecl() {
680}
681
682void BlockDecl::Destroy(ASTContext& C) {
683 if (Body)
684 Body->Destroy(C);
685
686 for (param_iterator I=param_begin(), E=param_end(); I!=E; ++I)
687 (*I)->Destroy(C);
Ted Kremenek4a71fb12009-03-13 23:17:24 +0000688
689 C.Deallocate(ParamInfo);
Steve Naroff9ac456d2008-10-08 17:01:13 +0000690 Decl::Destroy(C);
691}
Steve Naroff494cb0f2009-03-13 16:56:44 +0000692
693void BlockDecl::setParams(ASTContext& C, ParmVarDecl **NewParamInfo,
694 unsigned NParms) {
695 assert(ParamInfo == 0 && "Already has param info!");
696
697 // Zero params -> null pointer.
698 if (NParms) {
699 NumParams = NParms;
700 void *Mem = C.Allocate(sizeof(ParmVarDecl*)*NumParams);
701 ParamInfo = new (Mem) ParmVarDecl*[NumParams];
702 memcpy(ParamInfo, NewParamInfo, sizeof(ParmVarDecl*)*NumParams);
703 }
704}
705
706unsigned BlockDecl::getNumParams() const {
707 return NumParams;
708}