blob: 063914092ee563dfade8bade76cf69c5aedfe14a [file] [log] [blame]
Reid Spencer5f016e22007-07-11 17:01:13 +00001//===--- Decl.cpp - Declaration AST Node Implementation -------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner0bc735f2007-12-29 19:59:25 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Reid Spencer5f016e22007-07-11 17:01:13 +00007//
8//===----------------------------------------------------------------------===//
9//
Argyrios Kyrtzidise184bae2008-06-04 13:04:04 +000010// This file implements the Decl subclasses.
Reid Spencer5f016e22007-07-11 17:01:13 +000011//
12//===----------------------------------------------------------------------===//
13
14#include "clang/AST/Decl.h"
Douglas Gregor2a3009a2009-02-03 19:21:40 +000015#include "clang/AST/DeclCXX.h"
Steve Naroff0de21fd2009-02-22 19:35:57 +000016#include "clang/AST/DeclObjC.h"
Douglas Gregor7da97d02009-05-10 22:57:19 +000017#include "clang/AST/DeclTemplate.h"
Chris Lattner6c2b6eb2008-03-15 06:12:44 +000018#include "clang/AST/ASTContext.h"
Daniel Dunbare91593e2008-08-11 04:54:23 +000019#include "clang/AST/Stmt.h"
Nuno Lopes99f06ba2008-12-17 23:39:55 +000020#include "clang/AST/Expr.h"
Daniel Dunbare91593e2008-08-11 04:54:23 +000021#include "clang/Basic/IdentifierTable.h"
Douglas Gregor47b9a1c2009-02-04 17:27:36 +000022#include <vector>
Ted Kremenek27f8a282008-05-20 00:43:19 +000023
Reid Spencer5f016e22007-07-11 17:01:13 +000024using namespace clang;
25
Chris Lattner0b2b6e12009-03-04 06:34:08 +000026void Attr::Destroy(ASTContext &C) {
27 if (Next) {
28 Next->Destroy(C);
29 Next = 0;
30 }
31 this->~Attr();
32 C.Deallocate((void*)this);
33}
34
35
Chris Lattnerd3b90652008-03-15 05:43:15 +000036//===----------------------------------------------------------------------===//
Chris Lattner6c2b6eb2008-03-15 06:12:44 +000037// Decl Allocation/Deallocation Method Implementations
38//===----------------------------------------------------------------------===//
Argyrios Kyrtzidis2d1c5d32008-04-27 13:50:30 +000039
Chris Lattner0b2b6e12009-03-04 06:34:08 +000040
Argyrios Kyrtzidisef177822008-04-17 14:40:12 +000041TranslationUnitDecl *TranslationUnitDecl::Create(ASTContext &C) {
Steve Naroff3e970492009-01-27 21:25:57 +000042 return new (C) TranslationUnitDecl();
Argyrios Kyrtzidisef177822008-04-17 14:40:12 +000043}
44
Argyrios Kyrtzidis2d1c5d32008-04-27 13:50:30 +000045NamespaceDecl *NamespaceDecl::Create(ASTContext &C, DeclContext *DC,
46 SourceLocation L, IdentifierInfo *Id) {
Steve Naroff3e970492009-01-27 21:25:57 +000047 return new (C) NamespaceDecl(DC, L, Id);
Argyrios Kyrtzidis2d1c5d32008-04-27 13:50:30 +000048}
49
Ted Kremenekd1ac17a2008-05-20 04:49:55 +000050void NamespaceDecl::Destroy(ASTContext& C) {
51 // NamespaceDecl uses "NextDeclarator" to chain namespace declarations
52 // together. They are all top-level Decls.
53
Ted Kremenekebf27b12008-05-24 15:09:56 +000054 this->~NamespaceDecl();
Steve Naroff3e970492009-01-27 21:25:57 +000055 C.Deallocate((void *)this);
Ted Kremenekd1ac17a2008-05-20 04:49:55 +000056}
57
58
Chris Lattner41110242008-06-17 18:05:57 +000059ImplicitParamDecl *ImplicitParamDecl::Create(ASTContext &C, DeclContext *DC,
Douglas Gregor4afa39d2009-01-20 01:17:11 +000060 SourceLocation L, IdentifierInfo *Id, QualType T) {
Steve Naroff3e970492009-01-27 21:25:57 +000061 return new (C) ImplicitParamDecl(ImplicitParam, DC, L, Id, T);
Chris Lattner41110242008-06-17 18:05:57 +000062}
63
Daniel Dunbarb286a782009-04-14 02:08:49 +000064const char *VarDecl::getStorageClassSpecifierString(StorageClass SC) {
65 switch (SC) {
66 case VarDecl::None: break;
67 case VarDecl::Auto: return "auto"; break;
68 case VarDecl::Extern: return "extern"; break;
69 case VarDecl::PrivateExtern: return "__private_extern__"; break;
70 case VarDecl::Register: return "register"; break;
71 case VarDecl::Static: return "static"; break;
72 }
73
74 assert(0 && "Invalid storage class");
75 return 0;
76}
77
Chris Lattner9fdf9c62008-04-22 18:39:57 +000078ParmVarDecl *ParmVarDecl::Create(ASTContext &C, DeclContext *DC,
Chris Lattner0ed844b2008-04-04 06:12:32 +000079 SourceLocation L, IdentifierInfo *Id,
80 QualType T, StorageClass S,
Douglas Gregor4afa39d2009-01-20 01:17:11 +000081 Expr *DefArg) {
Steve Naroff3e970492009-01-27 21:25:57 +000082 return new (C) ParmVarDecl(ParmVar, DC, L, Id, T, S, DefArg);
Fariborz Jahanian4306d3c2008-12-20 23:29:59 +000083}
84
85QualType ParmVarDecl::getOriginalType() const {
Douglas Gregor64650af2009-02-02 23:39:07 +000086 if (const OriginalParmVarDecl *PVD =
87 dyn_cast<OriginalParmVarDecl>(this))
Fariborz Jahanian4306d3c2008-12-20 23:29:59 +000088 return PVD->OriginalType;
89 return getType();
Chris Lattner9e151e12008-03-15 21:10:16 +000090}
91
Douglas Gregor78d15832009-05-26 18:54:04 +000092void VarDecl::setInit(ASTContext &C, Expr *I) {
93 if (EvaluatedStmt *Eval = Init.dyn_cast<EvaluatedStmt *>()) {
94 Eval->~EvaluatedStmt();
95 C.Deallocate(Eval);
96 }
97
98 Init = I;
99 }
100
Douglas Gregor63935192009-03-02 00:19:53 +0000101bool VarDecl::isExternC(ASTContext &Context) const {
102 if (!Context.getLangOptions().CPlusPlus)
103 return (getDeclContext()->isTranslationUnit() &&
104 getStorageClass() != Static) ||
105 (getDeclContext()->isFunctionOrMethod() && hasExternalStorage());
106
107 for (const DeclContext *DC = getDeclContext(); !DC->isTranslationUnit();
108 DC = DC->getParent()) {
109 if (const LinkageSpecDecl *Linkage = dyn_cast<LinkageSpecDecl>(DC)) {
110 if (Linkage->getLanguage() == LinkageSpecDecl::lang_c)
111 return getStorageClass() != Static;
112
113 break;
114 }
115
116 if (DC->isFunctionOrMethod())
117 return false;
118 }
119
120 return false;
121}
122
Douglas Gregor64650af2009-02-02 23:39:07 +0000123OriginalParmVarDecl *OriginalParmVarDecl::Create(
Fariborz Jahanian73da9e42008-12-20 20:56:12 +0000124 ASTContext &C, DeclContext *DC,
125 SourceLocation L, IdentifierInfo *Id,
126 QualType T, QualType OT, StorageClass S,
Douglas Gregor4afa39d2009-01-20 01:17:11 +0000127 Expr *DefArg) {
Douglas Gregor64650af2009-02-02 23:39:07 +0000128 return new (C) OriginalParmVarDecl(DC, L, Id, T, OT, S, DefArg);
Fariborz Jahanian73da9e42008-12-20 20:56:12 +0000129}
130
Chris Lattner9fdf9c62008-04-22 18:39:57 +0000131FunctionDecl *FunctionDecl::Create(ASTContext &C, DeclContext *DC,
Chris Lattner0ed844b2008-04-04 06:12:32 +0000132 SourceLocation L,
Douglas Gregor10bd3682008-11-17 22:58:34 +0000133 DeclarationName N, QualType T,
Chris Lattnera98e58d2008-03-15 21:24:04 +0000134 StorageClass S, bool isInline,
Anders Carlssona75e8532009-05-14 21:46:00 +0000135 bool hasWrittenPrototype,
Steve Naroff0eb07bf2008-10-03 00:02:03 +0000136 SourceLocation TypeSpecStartLoc) {
Douglas Gregor2224f842009-02-25 16:33:18 +0000137 FunctionDecl *New
138 = new (C) FunctionDecl(Function, DC, L, N, T, S, isInline,
139 TypeSpecStartLoc);
Anders Carlssona75e8532009-05-14 21:46:00 +0000140 New->HasWrittenPrototype = hasWrittenPrototype;
Douglas Gregor2224f842009-02-25 16:33:18 +0000141 return New;
Chris Lattnera98e58d2008-03-15 21:24:04 +0000142}
143
Steve Naroff090276f2008-10-10 01:28:17 +0000144BlockDecl *BlockDecl::Create(ASTContext &C, DeclContext *DC, SourceLocation L) {
Steve Naroff3e970492009-01-27 21:25:57 +0000145 return new (C) BlockDecl(DC, L);
Steve Naroff56ee6892008-10-08 17:01:13 +0000146}
147
Douglas Gregor44b43212008-12-11 16:49:14 +0000148FieldDecl *FieldDecl::Create(ASTContext &C, DeclContext *DC, SourceLocation L,
149 IdentifierInfo *Id, QualType T, Expr *BW,
Douglas Gregor4afa39d2009-01-20 01:17:11 +0000150 bool Mutable) {
Steve Naroff3e970492009-01-27 21:25:57 +0000151 return new (C) FieldDecl(Decl::Field, DC, L, Id, T, BW, Mutable);
Chris Lattner8e25d862008-03-16 00:16:02 +0000152}
153
Douglas Gregor6b3945f2009-01-07 19:46:03 +0000154bool FieldDecl::isAnonymousStructOrUnion() const {
155 if (!isImplicit() || getDeclName())
156 return false;
157
158 if (const RecordType *Record = getType()->getAsRecordType())
159 return Record->getDecl()->isAnonymousStructOrUnion();
160
161 return false;
162}
Chris Lattnera98e58d2008-03-15 21:24:04 +0000163
Chris Lattner0ed844b2008-04-04 06:12:32 +0000164EnumConstantDecl *EnumConstantDecl::Create(ASTContext &C, EnumDecl *CD,
165 SourceLocation L,
Chris Lattnerc63e6602008-03-15 21:32:50 +0000166 IdentifierInfo *Id, QualType T,
Douglas Gregor4afa39d2009-01-20 01:17:11 +0000167 Expr *E, const llvm::APSInt &V) {
Steve Naroff3e970492009-01-27 21:25:57 +0000168 return new (C) EnumConstantDecl(CD, L, Id, T, E, V);
Chris Lattner6c2b6eb2008-03-15 06:12:44 +0000169}
170
Ted Kremenekd1ac17a2008-05-20 04:49:55 +0000171void EnumConstantDecl::Destroy(ASTContext& C) {
172 if (Init) Init->Destroy(C);
173 Decl::Destroy(C);
174}
175
Chris Lattner9fdf9c62008-04-22 18:39:57 +0000176TypedefDecl *TypedefDecl::Create(ASTContext &C, DeclContext *DC,
Chris Lattner0ed844b2008-04-04 06:12:32 +0000177 SourceLocation L,
Douglas Gregor4afa39d2009-01-20 01:17:11 +0000178 IdentifierInfo *Id, QualType T) {
Steve Naroff3e970492009-01-27 21:25:57 +0000179 return new (C) TypedefDecl(DC, L, Id, T);
Chris Lattner6c2b6eb2008-03-15 06:12:44 +0000180}
181
Chris Lattner9fdf9c62008-04-22 18:39:57 +0000182EnumDecl *EnumDecl::Create(ASTContext &C, DeclContext *DC, SourceLocation L,
Chris Lattner0ed844b2008-04-04 06:12:32 +0000183 IdentifierInfo *Id,
Douglas Gregor7df7b6b2008-12-15 16:32:14 +0000184 EnumDecl *PrevDecl) {
Steve Naroffc0ac4922009-01-27 23:20:32 +0000185 EnumDecl *Enum = new (C) EnumDecl(DC, L, Id);
Douglas Gregor7df7b6b2008-12-15 16:32:14 +0000186 C.getTypeDeclType(Enum, PrevDecl);
187 return Enum;
Chris Lattner6c2b6eb2008-03-15 06:12:44 +0000188}
189
Ted Kremenekdf91eca2008-09-02 20:13:32 +0000190void EnumDecl::Destroy(ASTContext& C) {
Ted Kremenekdf91eca2008-09-02 20:13:32 +0000191 Decl::Destroy(C);
192}
193
Douglas Gregor44b43212008-12-11 16:49:14 +0000194void EnumDecl::completeDefinition(ASTContext &C, QualType NewType) {
195 assert(!isDefinition() && "Cannot redefine enums!");
Douglas Gregor44b43212008-12-11 16:49:14 +0000196 IntegerType = NewType;
Douglas Gregor0b7a1582009-01-17 00:42:38 +0000197 TagDecl::completeDefinition();
Douglas Gregor44b43212008-12-11 16:49:14 +0000198}
199
Douglas Gregor4afa39d2009-01-20 01:17:11 +0000200FileScopeAsmDecl *FileScopeAsmDecl::Create(ASTContext &C, DeclContext *DC,
Chris Lattner0ed844b2008-04-04 06:12:32 +0000201 SourceLocation L,
Chris Lattner8e25d862008-03-16 00:16:02 +0000202 StringLiteral *Str) {
Steve Naroff3e970492009-01-27 21:25:57 +0000203 return new (C) FileScopeAsmDecl(DC, L, Str);
Chris Lattner8e25d862008-03-16 00:16:02 +0000204}
205
Chris Lattner6c2b6eb2008-03-15 06:12:44 +0000206//===----------------------------------------------------------------------===//
Douglas Gregor4afa39d2009-01-20 01:17:11 +0000207// NamedDecl Implementation
Argyrios Kyrtzidis52393042008-11-09 23:41:00 +0000208//===----------------------------------------------------------------------===//
209
Douglas Gregor47b9a1c2009-02-04 17:27:36 +0000210std::string NamedDecl::getQualifiedNameAsString() const {
211 std::vector<std::string> Names;
212 std::string QualName;
213 const DeclContext *Ctx = getDeclContext();
214
215 if (Ctx->isFunctionOrMethod())
216 return getNameAsString();
217
218 while (Ctx) {
219 if (Ctx->isFunctionOrMethod())
220 // FIXME: That probably will happen, when D was member of local
221 // scope class/struct/union. How do we handle this case?
222 break;
223
Douglas Gregorf3e7ce42009-05-18 17:01:57 +0000224 if (const ClassTemplateSpecializationDecl *Spec
225 = dyn_cast<ClassTemplateSpecializationDecl>(Ctx)) {
226 const TemplateArgumentList &TemplateArgs = Spec->getTemplateArgs();
227 std::string TemplateArgsStr
228 = TemplateSpecializationType::PrintTemplateArgumentList(
229 TemplateArgs.getFlatArgumentList(),
230 TemplateArgs.flat_size());
231 Names.push_back(Spec->getIdentifier()->getName() + TemplateArgsStr);
232 } else if (const NamedDecl *ND = dyn_cast<NamedDecl>(Ctx))
Douglas Gregor47b9a1c2009-02-04 17:27:36 +0000233 Names.push_back(ND->getNameAsString());
234 else
235 break;
236
237 Ctx = Ctx->getParent();
238 }
239
240 std::vector<std::string>::reverse_iterator
241 I = Names.rbegin(),
242 End = Names.rend();
243
244 for (; I!=End; ++I)
245 QualName += *I + "::";
246
247 QualName += getNameAsString();
248
249 return QualName;
250}
251
252
Douglas Gregor4afa39d2009-01-20 01:17:11 +0000253bool NamedDecl::declarationReplaces(NamedDecl *OldD) const {
Douglas Gregor6ed40e32008-12-23 21:05:05 +0000254 assert(getDeclName() == OldD->getDeclName() && "Declaration name mismatch");
255
Douglas Gregor2a3009a2009-02-03 19:21:40 +0000256 // UsingDirectiveDecl's are not really NamedDecl's, and all have same name.
257 // We want to keep it, unless it nominates same namespace.
258 if (getKind() == Decl::UsingDirective) {
259 return cast<UsingDirectiveDecl>(this)->getNominatedNamespace() ==
260 cast<UsingDirectiveDecl>(OldD)->getNominatedNamespace();
261 }
262
Douglas Gregor6ed40e32008-12-23 21:05:05 +0000263 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(this))
264 // For function declarations, we keep track of redeclarations.
265 return FD->getPreviousDeclaration() == OldD;
266
Steve Naroff0de21fd2009-02-22 19:35:57 +0000267 // For method declarations, we keep track of redeclarations.
268 if (isa<ObjCMethodDecl>(this))
269 return false;
270
Douglas Gregor6ed40e32008-12-23 21:05:05 +0000271 // For non-function declarations, if the declarations are of the
272 // same kind then this must be a redeclaration, or semantic analysis
273 // would not have given us the new declaration.
274 return this->getKind() == OldD->getKind();
275}
276
Douglas Gregord6f7e9d2009-02-24 20:03:32 +0000277bool NamedDecl::hasLinkage() const {
278 if (const VarDecl *VD = dyn_cast<VarDecl>(this))
279 return VD->hasExternalStorage() || VD->isFileVarDecl();
280
281 if (isa<FunctionDecl>(this) && !isa<CXXMethodDecl>(this))
282 return true;
283
284 return false;
285}
Douglas Gregor4afa39d2009-01-20 01:17:11 +0000286
Argyrios Kyrtzidis52393042008-11-09 23:41:00 +0000287//===----------------------------------------------------------------------===//
Nuno Lopes99f06ba2008-12-17 23:39:55 +0000288// VarDecl Implementation
289//===----------------------------------------------------------------------===//
290
Douglas Gregor4afa39d2009-01-20 01:17:11 +0000291VarDecl *VarDecl::Create(ASTContext &C, DeclContext *DC, SourceLocation L,
292 IdentifierInfo *Id, QualType T, StorageClass S,
Nuno Lopes99f06ba2008-12-17 23:39:55 +0000293 SourceLocation TypeSpecStartLoc) {
Steve Naroff3e970492009-01-27 21:25:57 +0000294 return new (C) VarDecl(Var, DC, L, Id, T, S, TypeSpecStartLoc);
Nuno Lopes99f06ba2008-12-17 23:39:55 +0000295}
296
297void VarDecl::Destroy(ASTContext& C) {
Sebastian Redldf2d3cf2009-02-05 15:12:41 +0000298 Expr *Init = getInit();
Douglas Gregor78d15832009-05-26 18:54:04 +0000299 if (Init) {
Sebastian Redldf2d3cf2009-02-05 15:12:41 +0000300 Init->Destroy(C);
Douglas Gregor78d15832009-05-26 18:54:04 +0000301 if (EvaluatedStmt *Eval = this->Init.dyn_cast<EvaluatedStmt *>()) {
302 Eval->~EvaluatedStmt();
303 C.Deallocate(Eval);
304 }
305 }
Nuno Lopes99f06ba2008-12-17 23:39:55 +0000306 this->~VarDecl();
Steve Naroff3e970492009-01-27 21:25:57 +0000307 C.Deallocate((void *)this);
Nuno Lopes99f06ba2008-12-17 23:39:55 +0000308}
309
310VarDecl::~VarDecl() {
Nuno Lopes99f06ba2008-12-17 23:39:55 +0000311}
312
Douglas Gregor275a3692009-03-10 23:43:53 +0000313bool VarDecl::isTentativeDefinition(ASTContext &Context) const {
314 if (!isFileVarDecl() || Context.getLangOptions().CPlusPlus)
315 return false;
316
Douglas Gregorb6c8c8b2009-04-21 17:11:58 +0000317 const VarDecl *Def = 0;
318 return (!getDefinition(Def) &&
Douglas Gregor275a3692009-03-10 23:43:53 +0000319 (getStorageClass() == None || getStorageClass() == Static));
320}
321
Ted Kremenek082d9362009-03-20 21:35:28 +0000322const Expr *VarDecl::getDefinition(const VarDecl *&Def) const {
Douglas Gregor275a3692009-03-10 23:43:53 +0000323 Def = this;
324 while (Def && !Def->getInit())
325 Def = Def->getPreviousDeclaration();
326
327 return Def? Def->getInit() : 0;
328}
329
Nuno Lopes99f06ba2008-12-17 23:39:55 +0000330//===----------------------------------------------------------------------===//
Chris Lattner8a934232008-03-31 00:36:02 +0000331// FunctionDecl Implementation
332//===----------------------------------------------------------------------===//
333
Ted Kremenek27f8a282008-05-20 00:43:19 +0000334void FunctionDecl::Destroy(ASTContext& C) {
Douglas Gregor250fc9c2009-04-18 00:07:54 +0000335 if (Body && Body.isOffset())
336 Body.get(C.getExternalSource())->Destroy(C);
Ted Kremenekb65cf412008-05-20 03:56:00 +0000337
338 for (param_iterator I=param_begin(), E=param_end(); I!=E; ++I)
339 (*I)->Destroy(C);
Nuno Lopes460b0ac2009-01-18 19:57:27 +0000340
Steve Naroff3e970492009-01-27 21:25:57 +0000341 C.Deallocate(ParamInfo);
Nuno Lopes460b0ac2009-01-18 19:57:27 +0000342
Ted Kremenek27f8a282008-05-20 00:43:19 +0000343 Decl::Destroy(C);
344}
345
346
Sebastian Redld3a413d2009-04-26 20:35:05 +0000347Stmt *FunctionDecl::getBody(ASTContext &Context,
348 const FunctionDecl *&Definition) const {
Douglas Gregorf0097952008-04-21 02:02:58 +0000349 for (const FunctionDecl *FD = this; FD != 0; FD = FD->PreviousDeclaration) {
350 if (FD->Body) {
351 Definition = FD;
Sebastian Redld3a413d2009-04-26 20:35:05 +0000352 return FD->Body.get(Context.getExternalSource());
Douglas Gregorf0097952008-04-21 02:02:58 +0000353 }
354 }
355
356 return 0;
Reid Spencer5f016e22007-07-11 17:01:13 +0000357}
358
Sebastian Redld3a413d2009-04-26 20:35:05 +0000359Stmt *FunctionDecl::getBodyIfAvailable() const {
Douglas Gregor72971342009-04-18 00:02:19 +0000360 for (const FunctionDecl *FD = this; FD != 0; FD = FD->PreviousDeclaration) {
Douglas Gregor250fc9c2009-04-18 00:07:54 +0000361 if (FD->Body && !FD->Body.isOffset()) {
Sebastian Redld3a413d2009-04-26 20:35:05 +0000362 return FD->Body.get(0);
Douglas Gregor250fc9c2009-04-18 00:07:54 +0000363 }
Douglas Gregor72971342009-04-18 00:02:19 +0000364 }
365
366 return 0;
367}
368
Douglas Gregor04495c82009-02-24 01:23:02 +0000369bool FunctionDecl::isMain() const {
370 return getDeclContext()->getLookupContext()->isTranslationUnit() &&
371 getIdentifier() && getIdentifier()->isStr("main");
372}
373
Douglas Gregor63935192009-03-02 00:19:53 +0000374bool FunctionDecl::isExternC(ASTContext &Context) const {
375 // In C, any non-static, non-overloadable function has external
376 // linkage.
377 if (!Context.getLangOptions().CPlusPlus)
378 return getStorageClass() != Static && !getAttr<OverloadableAttr>();
379
380 for (const DeclContext *DC = getDeclContext(); !DC->isTranslationUnit();
381 DC = DC->getParent()) {
382 if (const LinkageSpecDecl *Linkage = dyn_cast<LinkageSpecDecl>(DC)) {
383 if (Linkage->getLanguage() == LinkageSpecDecl::lang_c)
384 return getStorageClass() != Static && !getAttr<OverloadableAttr>();
385
386 break;
387 }
388 }
389
390 return false;
391}
392
Douglas Gregor8499f3f2009-03-31 16:35:03 +0000393bool FunctionDecl::isGlobal() const {
394 if (const CXXMethodDecl *Method = dyn_cast<CXXMethodDecl>(this))
395 return Method->isStatic();
396
397 if (getStorageClass() == Static)
398 return false;
399
400 for (const DeclContext *DC = getDeclContext();
401 DC->isNamespace();
402 DC = DC->getParent()) {
403 if (const NamespaceDecl *Namespace = cast<NamespaceDecl>(DC)) {
404 if (!Namespace->getDeclName())
405 return false;
406 break;
407 }
408 }
409
410 return true;
411}
412
Douglas Gregor3e41d602009-02-13 23:20:09 +0000413/// \brief Returns a value indicating whether this function
414/// corresponds to a builtin function.
415///
416/// The function corresponds to a built-in function if it is
417/// declared at translation scope or within an extern "C" block and
418/// its name matches with the name of a builtin. The returned value
419/// will be 0 for functions that do not correspond to a builtin, a
420/// value of type \c Builtin::ID if in the target-independent range
421/// \c [1,Builtin::First), or a target-specific builtin value.
Douglas Gregor3c385e52009-02-14 18:57:46 +0000422unsigned FunctionDecl::getBuiltinID(ASTContext &Context) const {
423 if (!getIdentifier() || !getIdentifier()->getBuiltinID())
424 return 0;
425
426 unsigned BuiltinID = getIdentifier()->getBuiltinID();
427 if (!Context.BuiltinInfo.isPredefinedLibFunction(BuiltinID))
428 return BuiltinID;
429
430 // This function has the name of a known C library
431 // function. Determine whether it actually refers to the C library
432 // function or whether it just has the same name.
433
Douglas Gregor9add3172009-02-17 03:23:10 +0000434 // If this is a static function, it's not a builtin.
435 if (getStorageClass() == Static)
436 return 0;
437
Douglas Gregor3c385e52009-02-14 18:57:46 +0000438 // If this function is at translation-unit scope and we're not in
439 // C++, it refers to the C library function.
440 if (!Context.getLangOptions().CPlusPlus &&
441 getDeclContext()->isTranslationUnit())
442 return BuiltinID;
443
444 // If the function is in an extern "C" linkage specification and is
445 // not marked "overloadable", it's the real function.
446 if (isa<LinkageSpecDecl>(getDeclContext()) &&
447 cast<LinkageSpecDecl>(getDeclContext())->getLanguage()
448 == LinkageSpecDecl::lang_c &&
449 !getAttr<OverloadableAttr>())
450 return BuiltinID;
451
452 // Not a builtin
Douglas Gregor3e41d602009-02-13 23:20:09 +0000453 return 0;
454}
455
456
Chris Lattner1ad9b282009-04-25 06:03:53 +0000457/// getNumParams - Return the number of parameters this function must have
Chris Lattner2dbd2852009-04-25 06:12:16 +0000458/// based on its FunctionType. This is the length of the PararmInfo array
Chris Lattner1ad9b282009-04-25 06:03:53 +0000459/// after it has been created.
460unsigned FunctionDecl::getNumParams() const {
Chris Lattner11ddb7d2009-04-25 05:56:45 +0000461 const FunctionType *FT = getType()->getAsFunctionType();
Douglas Gregor72564e72009-02-26 23:50:07 +0000462 if (isa<FunctionNoProtoType>(FT))
Chris Lattnerd3b90652008-03-15 05:43:15 +0000463 return 0;
Douglas Gregor72564e72009-02-26 23:50:07 +0000464 return cast<FunctionProtoType>(FT)->getNumArgs();
Chris Lattner11ddb7d2009-04-25 05:56:45 +0000465
Reid Spencer5f016e22007-07-11 17:01:13 +0000466}
467
Ted Kremenekfc767612009-01-14 00:42:25 +0000468void FunctionDecl::setParams(ASTContext& C, ParmVarDecl **NewParamInfo,
469 unsigned NumParams) {
Reid Spencer5f016e22007-07-11 17:01:13 +0000470 assert(ParamInfo == 0 && "Already has param info!");
Chris Lattner2dbd2852009-04-25 06:12:16 +0000471 assert(NumParams == getNumParams() && "Parameter count mismatch!");
Reid Spencer5f016e22007-07-11 17:01:13 +0000472
473 // Zero params -> null pointer.
474 if (NumParams) {
Steve Naroffc0ac4922009-01-27 23:20:32 +0000475 void *Mem = C.Allocate(sizeof(ParmVarDecl*)*NumParams);
Ted Kremenekfc767612009-01-14 00:42:25 +0000476 ParamInfo = new (Mem) ParmVarDecl*[NumParams];
Reid Spencer5f016e22007-07-11 17:01:13 +0000477 memcpy(ParamInfo, NewParamInfo, sizeof(ParmVarDecl*)*NumParams);
478 }
479}
480
Chris Lattner8123a952008-04-10 02:22:51 +0000481/// getMinRequiredArguments - Returns the minimum number of arguments
482/// needed to call this function. This may be fewer than the number of
483/// function parameters, if some of the parameters have default
Chris Lattner9e979552008-04-12 23:52:44 +0000484/// arguments (in C++).
Chris Lattner8123a952008-04-10 02:22:51 +0000485unsigned FunctionDecl::getMinRequiredArguments() const {
486 unsigned NumRequiredArgs = getNumParams();
487 while (NumRequiredArgs > 0
488 && getParamDecl(NumRequiredArgs-1)->getDefaultArg())
489 --NumRequiredArgs;
490
491 return NumRequiredArgs;
492}
493
Douglas Gregor9f9bf252009-04-28 06:37:30 +0000494bool FunctionDecl::hasActiveGNUInlineAttribute() const {
495 if (!isInline() || !hasAttr<GNUInlineAttr>())
496 return false;
497
498 for (const FunctionDecl *FD = getPreviousDeclaration(); FD;
499 FD = FD->getPreviousDeclaration()) {
500 if (FD->isInline() && !FD->hasAttr<GNUInlineAttr>())
501 return false;
502 }
503
504 return true;
505}
506
507bool FunctionDecl::isExternGNUInline() const {
508 if (!hasActiveGNUInlineAttribute())
509 return false;
510
511 for (const FunctionDecl *FD = this; FD; FD = FD->getPreviousDeclaration())
512 if (FD->getStorageClass() == Extern && FD->hasAttr<GNUInlineAttr>())
513 return true;
514
515 return false;
516}
517
Douglas Gregor1cd1b1e2008-11-06 22:13:31 +0000518/// getOverloadedOperator - Which C++ overloaded operator this
519/// function represents, if any.
520OverloadedOperatorKind FunctionDecl::getOverloadedOperator() const {
Douglas Gregore94ca9e42008-11-18 14:39:36 +0000521 if (getDeclName().getNameKind() == DeclarationName::CXXOperatorName)
522 return getDeclName().getCXXOverloadedOperator();
Douglas Gregor1cd1b1e2008-11-06 22:13:31 +0000523 else
524 return OO_None;
525}
526
Chris Lattner8a934232008-03-31 00:36:02 +0000527//===----------------------------------------------------------------------===//
Douglas Gregorbcbffc42009-01-07 00:43:41 +0000528// TagDecl Implementation
Ted Kremenek4b7c9832008-09-05 17:16:31 +0000529//===----------------------------------------------------------------------===//
530
Douglas Gregor0b7a1582009-01-17 00:42:38 +0000531void TagDecl::startDefinition() {
Douglas Gregorfc705b82009-02-26 22:19:44 +0000532 TagType *TagT = const_cast<TagType *>(TypeForDecl->getAsTagType());
533 TagT->decl.setPointer(this);
534 TagT->getAsTagType()->decl.setInt(1);
Douglas Gregor0b7a1582009-01-17 00:42:38 +0000535}
536
537void TagDecl::completeDefinition() {
538 assert((!TypeForDecl ||
Douglas Gregorfc705b82009-02-26 22:19:44 +0000539 TypeForDecl->getAsTagType()->decl.getPointer() == this) &&
Douglas Gregor0b7a1582009-01-17 00:42:38 +0000540 "Attempt to redefine a tag definition?");
541 IsDefinition = true;
Douglas Gregorfc705b82009-02-26 22:19:44 +0000542 TagType *TagT = const_cast<TagType *>(TypeForDecl->getAsTagType());
543 TagT->decl.setPointer(this);
544 TagT->decl.setInt(0);
Douglas Gregor0b7a1582009-01-17 00:42:38 +0000545}
546
Ted Kremenek4b7c9832008-09-05 17:16:31 +0000547TagDecl* TagDecl::getDefinition(ASTContext& C) const {
548 QualType T = C.getTypeDeclType(const_cast<TagDecl*>(this));
Douglas Gregorfc705b82009-02-26 22:19:44 +0000549 TagDecl* D = cast<TagDecl>(T->getAsTagType()->getDecl());
Ted Kremenek4b7c9832008-09-05 17:16:31 +0000550 return D->isDefinition() ? D : 0;
551}
552
553//===----------------------------------------------------------------------===//
Chris Lattner8a934232008-03-31 00:36:02 +0000554// RecordDecl Implementation
555//===----------------------------------------------------------------------===//
Reid Spencer5f016e22007-07-11 17:01:13 +0000556
Argyrios Kyrtzidis35bc0822008-10-15 00:42:39 +0000557RecordDecl::RecordDecl(Kind DK, TagKind TK, DeclContext *DC, SourceLocation L,
Ted Kremenekdf042e62008-09-05 01:34:33 +0000558 IdentifierInfo *Id)
Douglas Gregor4afa39d2009-01-20 01:17:11 +0000559 : TagDecl(DK, TK, DC, L, Id) {
Ted Kremenek63597922008-09-02 21:12:32 +0000560 HasFlexibleArrayMember = false;
Douglas Gregorbcbffc42009-01-07 00:43:41 +0000561 AnonymousStructOrUnion = false;
Ted Kremenek63597922008-09-02 21:12:32 +0000562 assert(classof(static_cast<Decl*>(this)) && "Invalid Kind!");
Ted Kremenek63597922008-09-02 21:12:32 +0000563}
564
565RecordDecl *RecordDecl::Create(ASTContext &C, TagKind TK, DeclContext *DC,
Ted Kremenek4b7c9832008-09-05 17:16:31 +0000566 SourceLocation L, IdentifierInfo *Id,
567 RecordDecl* PrevDecl) {
Ted Kremenekdf042e62008-09-05 01:34:33 +0000568
Steve Naroff3e970492009-01-27 21:25:57 +0000569 RecordDecl* R = new (C) RecordDecl(Record, TK, DC, L, Id);
Ted Kremenek4b7c9832008-09-05 17:16:31 +0000570 C.getTypeDeclType(R, PrevDecl);
571 return R;
Ted Kremenek63597922008-09-02 21:12:32 +0000572}
573
Argyrios Kyrtzidis997b6c62008-08-08 14:08:55 +0000574RecordDecl::~RecordDecl() {
Argyrios Kyrtzidis997b6c62008-08-08 14:08:55 +0000575}
576
577void RecordDecl::Destroy(ASTContext& C) {
Argyrios Kyrtzidis997b6c62008-08-08 14:08:55 +0000578 TagDecl::Destroy(C);
579}
580
Douglas Gregorc9b5b402009-03-25 15:59:44 +0000581bool RecordDecl::isInjectedClassName() const {
582 return isImplicit() && getDeclName() && getDeclContext()->isRecord() &&
583 cast<RecordDecl>(getDeclContext())->getDeclName() == getDeclName();
584}
585
Douglas Gregor44b43212008-12-11 16:49:14 +0000586/// completeDefinition - Notes that the definition of this type is now
587/// complete.
588void RecordDecl::completeDefinition(ASTContext& C) {
Reid Spencer5f016e22007-07-11 17:01:13 +0000589 assert(!isDefinition() && "Cannot redefine record!");
Douglas Gregor0b7a1582009-01-17 00:42:38 +0000590 TagDecl::completeDefinition();
Reid Spencer5f016e22007-07-11 17:01:13 +0000591}
592
Steve Naroff56ee6892008-10-08 17:01:13 +0000593//===----------------------------------------------------------------------===//
594// BlockDecl Implementation
595//===----------------------------------------------------------------------===//
596
597BlockDecl::~BlockDecl() {
598}
599
600void BlockDecl::Destroy(ASTContext& C) {
601 if (Body)
602 Body->Destroy(C);
603
604 for (param_iterator I=param_begin(), E=param_end(); I!=E; ++I)
605 (*I)->Destroy(C);
Ted Kremenek879d27a2009-03-13 23:17:24 +0000606
607 C.Deallocate(ParamInfo);
Steve Naroff56ee6892008-10-08 17:01:13 +0000608 Decl::Destroy(C);
609}
Steve Naroffe78b8092009-03-13 16:56:44 +0000610
611void BlockDecl::setParams(ASTContext& C, ParmVarDecl **NewParamInfo,
612 unsigned NParms) {
613 assert(ParamInfo == 0 && "Already has param info!");
614
615 // Zero params -> null pointer.
616 if (NParms) {
617 NumParams = NParms;
618 void *Mem = C.Allocate(sizeof(ParmVarDecl*)*NumParams);
619 ParamInfo = new (Mem) ParmVarDecl*[NumParams];
620 memcpy(ParamInfo, NewParamInfo, sizeof(ParmVarDecl*)*NumParams);
621 }
622}
623
624unsigned BlockDecl::getNumParams() const {
625 return NumParams;
626}