Decl.cpp revision 7da97d0f31e1ec16998d3de2cfd2e88fe3736673
15f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//===--- Decl.cpp - Declaration AST Node Implementation -------------------===//
25f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//
35f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//                     The LLVM Compiler Infrastructure
45f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//
50bc735ffcfb223c0186419547abaa5c84482663eChris Lattner// This file is distributed under the University of Illinois Open Source
60bc735ffcfb223c0186419547abaa5c84482663eChris Lattner// License. See LICENSE.TXT for details.
75f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//
85f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//===----------------------------------------------------------------------===//
95f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//
10e184baeaa112ceac32420f8ca127b8d4d152d109Argyrios Kyrtzidis// This file implements the Decl subclasses.
115f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//
125f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//===----------------------------------------------------------------------===//
135f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
145f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#include "clang/AST/Decl.h"
152a3009a432bdcec59e6383d7b2b17494d6f91649Douglas Gregor#include "clang/AST/DeclCXX.h"
160de21fd85d79bccd32f04256f5b3328ab5ed7c95Steve Naroff#include "clang/AST/DeclObjC.h"
177da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor#include "clang/AST/DeclTemplate.h"
186c2b6eb8d836da19007f7540709e16d5e39a1cbaChris Lattner#include "clang/AST/ASTContext.h"
19e91593ef084479340582b2ba177b44be50a717b7Daniel Dunbar#include "clang/AST/Stmt.h"
2099f06ba988922ea721035a89e6d3c66ba100ba8aNuno Lopes#include "clang/AST/Expr.h"
21e91593ef084479340582b2ba177b44be50a717b7Daniel Dunbar#include "clang/Basic/IdentifierTable.h"
2247b9a1ca55e61e37f5a368740e29de190345acc6Douglas Gregor#include <vector>
2327f8a28bee33bb0e857cfe1a61c281bbc234b338Ted Kremenek
245f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerusing namespace clang;
255f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
260b2b6e1cb1573bb295c0a65813dc4df8d57f305bChris Lattnervoid Attr::Destroy(ASTContext &C) {
270b2b6e1cb1573bb295c0a65813dc4df8d57f305bChris Lattner  if (Next) {
280b2b6e1cb1573bb295c0a65813dc4df8d57f305bChris Lattner    Next->Destroy(C);
290b2b6e1cb1573bb295c0a65813dc4df8d57f305bChris Lattner    Next = 0;
300b2b6e1cb1573bb295c0a65813dc4df8d57f305bChris Lattner  }
310b2b6e1cb1573bb295c0a65813dc4df8d57f305bChris Lattner  this->~Attr();
320b2b6e1cb1573bb295c0a65813dc4df8d57f305bChris Lattner  C.Deallocate((void*)this);
330b2b6e1cb1573bb295c0a65813dc4df8d57f305bChris Lattner}
340b2b6e1cb1573bb295c0a65813dc4df8d57f305bChris Lattner
350b2b6e1cb1573bb295c0a65813dc4df8d57f305bChris Lattner
36d3b9065ec7052ec4741783d2fb4130d13c766933Chris Lattner//===----------------------------------------------------------------------===//
376c2b6eb8d836da19007f7540709e16d5e39a1cbaChris Lattner// Decl Allocation/Deallocation Method Implementations
386c2b6eb8d836da19007f7540709e16d5e39a1cbaChris Lattner//===----------------------------------------------------------------------===//
392d1c5d313cd0c229cc614e74baa4c5756a4b46f4Argyrios Kyrtzidis
400b2b6e1cb1573bb295c0a65813dc4df8d57f305bChris Lattner
41ef177820100ab583b08fd3056e2a5a52ee4b1629Argyrios KyrtzidisTranslationUnitDecl *TranslationUnitDecl::Create(ASTContext &C) {
423e9704981d7691fdd44913bf1786e8d760d8a627Steve Naroff  return new (C) TranslationUnitDecl();
43ef177820100ab583b08fd3056e2a5a52ee4b1629Argyrios Kyrtzidis}
44ef177820100ab583b08fd3056e2a5a52ee4b1629Argyrios Kyrtzidis
452d1c5d313cd0c229cc614e74baa4c5756a4b46f4Argyrios KyrtzidisNamespaceDecl *NamespaceDecl::Create(ASTContext &C, DeclContext *DC,
462d1c5d313cd0c229cc614e74baa4c5756a4b46f4Argyrios Kyrtzidis                                     SourceLocation L, IdentifierInfo *Id) {
473e9704981d7691fdd44913bf1786e8d760d8a627Steve Naroff  return new (C) NamespaceDecl(DC, L, Id);
482d1c5d313cd0c229cc614e74baa4c5756a4b46f4Argyrios Kyrtzidis}
492d1c5d313cd0c229cc614e74baa4c5756a4b46f4Argyrios Kyrtzidis
50d1ac17ae7d61a9244ee5e658d6f63b8fa3da3127Ted Kremenekvoid NamespaceDecl::Destroy(ASTContext& C) {
51d1ac17ae7d61a9244ee5e658d6f63b8fa3da3127Ted Kremenek  // NamespaceDecl uses "NextDeclarator" to chain namespace declarations
52d1ac17ae7d61a9244ee5e658d6f63b8fa3da3127Ted Kremenek  // together. They are all top-level Decls.
53d1ac17ae7d61a9244ee5e658d6f63b8fa3da3127Ted Kremenek
54ebf27b1831e6c4d7f4bc30e111a4d6340ff690d1Ted Kremenek  this->~NamespaceDecl();
553e9704981d7691fdd44913bf1786e8d760d8a627Steve Naroff  C.Deallocate((void *)this);
56d1ac17ae7d61a9244ee5e658d6f63b8fa3da3127Ted Kremenek}
57d1ac17ae7d61a9244ee5e658d6f63b8fa3da3127Ted Kremenek
58d1ac17ae7d61a9244ee5e658d6f63b8fa3da3127Ted Kremenek
594111024be81e7c0525e42dadcc126d27e5bf2425Chris LattnerImplicitParamDecl *ImplicitParamDecl::Create(ASTContext &C, DeclContext *DC,
604afa39deaa245592977136d367251ee2c173dd8dDouglas Gregor    SourceLocation L, IdentifierInfo *Id, QualType T) {
613e9704981d7691fdd44913bf1786e8d760d8a627Steve Naroff  return new (C) ImplicitParamDecl(ImplicitParam, DC, L, Id, T);
624111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner}
634111024be81e7c0525e42dadcc126d27e5bf2425Chris Lattner
64b286a78c8cce4592306dae6abc3656daf6379c77Daniel Dunbarconst char *VarDecl::getStorageClassSpecifierString(StorageClass SC) {
65b286a78c8cce4592306dae6abc3656daf6379c77Daniel Dunbar  switch (SC) {
66b286a78c8cce4592306dae6abc3656daf6379c77Daniel Dunbar  case VarDecl::None:          break;
67b286a78c8cce4592306dae6abc3656daf6379c77Daniel Dunbar  case VarDecl::Auto:          return "auto"; break;
68b286a78c8cce4592306dae6abc3656daf6379c77Daniel Dunbar  case VarDecl::Extern:        return "extern"; break;
69b286a78c8cce4592306dae6abc3656daf6379c77Daniel Dunbar  case VarDecl::PrivateExtern: return "__private_extern__"; break;
70b286a78c8cce4592306dae6abc3656daf6379c77Daniel Dunbar  case VarDecl::Register:      return "register"; break;
71b286a78c8cce4592306dae6abc3656daf6379c77Daniel Dunbar  case VarDecl::Static:        return "static"; break;
72b286a78c8cce4592306dae6abc3656daf6379c77Daniel Dunbar  }
73b286a78c8cce4592306dae6abc3656daf6379c77Daniel Dunbar
74b286a78c8cce4592306dae6abc3656daf6379c77Daniel Dunbar  assert(0 && "Invalid storage class");
75b286a78c8cce4592306dae6abc3656daf6379c77Daniel Dunbar  return 0;
76b286a78c8cce4592306dae6abc3656daf6379c77Daniel Dunbar}
77b286a78c8cce4592306dae6abc3656daf6379c77Daniel Dunbar
789fdf9c6d3530bb85f3166e6460d841e2ff8e1a2cChris LattnerParmVarDecl *ParmVarDecl::Create(ASTContext &C, DeclContext *DC,
790ed844b04ea4387caa4e1cf3dc375d269657536bChris Lattner                                 SourceLocation L, IdentifierInfo *Id,
800ed844b04ea4387caa4e1cf3dc375d269657536bChris Lattner                                 QualType T, StorageClass S,
814afa39deaa245592977136d367251ee2c173dd8dDouglas Gregor                                 Expr *DefArg) {
823e9704981d7691fdd44913bf1786e8d760d8a627Steve Naroff  return new (C) ParmVarDecl(ParmVar, DC, L, Id, T, S, DefArg);
834306d3cb9116605728252e2738df24b9f6ab53c3Fariborz Jahanian}
844306d3cb9116605728252e2738df24b9f6ab53c3Fariborz Jahanian
854306d3cb9116605728252e2738df24b9f6ab53c3Fariborz JahanianQualType ParmVarDecl::getOriginalType() const {
8664650af7cc4352c6c67b9bd1bf8ef3ce7471b910Douglas Gregor  if (const OriginalParmVarDecl *PVD =
8764650af7cc4352c6c67b9bd1bf8ef3ce7471b910Douglas Gregor      dyn_cast<OriginalParmVarDecl>(this))
884306d3cb9116605728252e2738df24b9f6ab53c3Fariborz Jahanian    return PVD->OriginalType;
894306d3cb9116605728252e2738df24b9f6ab53c3Fariborz Jahanian  return getType();
909e151e154780e9cd443336143af1e996d1f387e5Chris Lattner}
919e151e154780e9cd443336143af1e996d1f387e5Chris Lattner
926393519272ce727f4d26e71bbefb5de712274d0eDouglas Gregorbool VarDecl::isExternC(ASTContext &Context) const {
936393519272ce727f4d26e71bbefb5de712274d0eDouglas Gregor  if (!Context.getLangOptions().CPlusPlus)
946393519272ce727f4d26e71bbefb5de712274d0eDouglas Gregor    return (getDeclContext()->isTranslationUnit() &&
956393519272ce727f4d26e71bbefb5de712274d0eDouglas Gregor            getStorageClass() != Static) ||
966393519272ce727f4d26e71bbefb5de712274d0eDouglas Gregor      (getDeclContext()->isFunctionOrMethod() && hasExternalStorage());
976393519272ce727f4d26e71bbefb5de712274d0eDouglas Gregor
986393519272ce727f4d26e71bbefb5de712274d0eDouglas Gregor  for (const DeclContext *DC = getDeclContext(); !DC->isTranslationUnit();
996393519272ce727f4d26e71bbefb5de712274d0eDouglas Gregor       DC = DC->getParent()) {
1006393519272ce727f4d26e71bbefb5de712274d0eDouglas Gregor    if (const LinkageSpecDecl *Linkage = dyn_cast<LinkageSpecDecl>(DC))  {
1016393519272ce727f4d26e71bbefb5de712274d0eDouglas Gregor      if (Linkage->getLanguage() == LinkageSpecDecl::lang_c)
1026393519272ce727f4d26e71bbefb5de712274d0eDouglas Gregor        return getStorageClass() != Static;
1036393519272ce727f4d26e71bbefb5de712274d0eDouglas Gregor
1046393519272ce727f4d26e71bbefb5de712274d0eDouglas Gregor      break;
1056393519272ce727f4d26e71bbefb5de712274d0eDouglas Gregor    }
1066393519272ce727f4d26e71bbefb5de712274d0eDouglas Gregor
1076393519272ce727f4d26e71bbefb5de712274d0eDouglas Gregor    if (DC->isFunctionOrMethod())
1086393519272ce727f4d26e71bbefb5de712274d0eDouglas Gregor      return false;
1096393519272ce727f4d26e71bbefb5de712274d0eDouglas Gregor  }
1106393519272ce727f4d26e71bbefb5de712274d0eDouglas Gregor
1116393519272ce727f4d26e71bbefb5de712274d0eDouglas Gregor  return false;
1126393519272ce727f4d26e71bbefb5de712274d0eDouglas Gregor}
1136393519272ce727f4d26e71bbefb5de712274d0eDouglas Gregor
11464650af7cc4352c6c67b9bd1bf8ef3ce7471b910Douglas GregorOriginalParmVarDecl *OriginalParmVarDecl::Create(
11573da9e462576faedc2cdf96b37a1c072b404b73dFariborz Jahanian                                 ASTContext &C, DeclContext *DC,
11673da9e462576faedc2cdf96b37a1c072b404b73dFariborz Jahanian                                 SourceLocation L, IdentifierInfo *Id,
11773da9e462576faedc2cdf96b37a1c072b404b73dFariborz Jahanian                                 QualType T, QualType OT, StorageClass S,
1184afa39deaa245592977136d367251ee2c173dd8dDouglas Gregor                                 Expr *DefArg) {
11964650af7cc4352c6c67b9bd1bf8ef3ce7471b910Douglas Gregor  return new (C) OriginalParmVarDecl(DC, L, Id, T, OT, S, DefArg);
12073da9e462576faedc2cdf96b37a1c072b404b73dFariborz Jahanian}
12173da9e462576faedc2cdf96b37a1c072b404b73dFariborz Jahanian
1229fdf9c6d3530bb85f3166e6460d841e2ff8e1a2cChris LattnerFunctionDecl *FunctionDecl::Create(ASTContext &C, DeclContext *DC,
1230ed844b04ea4387caa4e1cf3dc375d269657536bChris Lattner                                   SourceLocation L,
12410bd36882406cdf4805e35add1ce2f11ab9ae152Douglas Gregor                                   DeclarationName N, QualType T,
125a98e58ddb4696a0020fe97439d5295413f9e90b1Chris Lattner                                   StorageClass S, bool isInline,
1262224f84658fb9b3725a31f2680edb64ae73bf705Douglas Gregor                                   bool hasPrototype,
1270eb07bfde0deedcb35cf3d118b3488f5d8db32ecSteve Naroff                                   SourceLocation TypeSpecStartLoc) {
1282224f84658fb9b3725a31f2680edb64ae73bf705Douglas Gregor  FunctionDecl *New
1292224f84658fb9b3725a31f2680edb64ae73bf705Douglas Gregor    = new (C) FunctionDecl(Function, DC, L, N, T, S, isInline,
1302224f84658fb9b3725a31f2680edb64ae73bf705Douglas Gregor                           TypeSpecStartLoc);
1312224f84658fb9b3725a31f2680edb64ae73bf705Douglas Gregor  New->HasPrototype = hasPrototype;
1322224f84658fb9b3725a31f2680edb64ae73bf705Douglas Gregor  return New;
133a98e58ddb4696a0020fe97439d5295413f9e90b1Chris Lattner}
134a98e58ddb4696a0020fe97439d5295413f9e90b1Chris Lattner
135090276f5e164d491a1bb3f541bafdb394f5e6f04Steve NaroffBlockDecl *BlockDecl::Create(ASTContext &C, DeclContext *DC, SourceLocation L) {
1363e9704981d7691fdd44913bf1786e8d760d8a627Steve Naroff  return new (C) BlockDecl(DC, L);
13756ee6896f2efebffb4a2cce5a7610cdf1eddbbbeSteve Naroff}
13856ee6896f2efebffb4a2cce5a7610cdf1eddbbbeSteve Naroff
13944b4321feab46299d3f5cfd404680884752a0fcfDouglas GregorFieldDecl *FieldDecl::Create(ASTContext &C, DeclContext *DC, SourceLocation L,
14044b4321feab46299d3f5cfd404680884752a0fcfDouglas Gregor                             IdentifierInfo *Id, QualType T, Expr *BW,
1414afa39deaa245592977136d367251ee2c173dd8dDouglas Gregor                             bool Mutable) {
1423e9704981d7691fdd44913bf1786e8d760d8a627Steve Naroff  return new (C) FieldDecl(Decl::Field, DC, L, Id, T, BW, Mutable);
1438e25d8681822d8094bfeb97b2239363552548171Chris Lattner}
1448e25d8681822d8094bfeb97b2239363552548171Chris Lattner
1456b3945f4bc757bdadd3e443180cf32c2cccb52a0Douglas Gregorbool FieldDecl::isAnonymousStructOrUnion() const {
1466b3945f4bc757bdadd3e443180cf32c2cccb52a0Douglas Gregor  if (!isImplicit() || getDeclName())
1476b3945f4bc757bdadd3e443180cf32c2cccb52a0Douglas Gregor    return false;
1486b3945f4bc757bdadd3e443180cf32c2cccb52a0Douglas Gregor
1496b3945f4bc757bdadd3e443180cf32c2cccb52a0Douglas Gregor  if (const RecordType *Record = getType()->getAsRecordType())
1506b3945f4bc757bdadd3e443180cf32c2cccb52a0Douglas Gregor    return Record->getDecl()->isAnonymousStructOrUnion();
1516b3945f4bc757bdadd3e443180cf32c2cccb52a0Douglas Gregor
1526b3945f4bc757bdadd3e443180cf32c2cccb52a0Douglas Gregor  return false;
1536b3945f4bc757bdadd3e443180cf32c2cccb52a0Douglas Gregor}
154a98e58ddb4696a0020fe97439d5295413f9e90b1Chris Lattner
1550ed844b04ea4387caa4e1cf3dc375d269657536bChris LattnerEnumConstantDecl *EnumConstantDecl::Create(ASTContext &C, EnumDecl *CD,
1560ed844b04ea4387caa4e1cf3dc375d269657536bChris Lattner                                           SourceLocation L,
157c63e660882ff93841fa234d70ef6757038302b92Chris Lattner                                           IdentifierInfo *Id, QualType T,
1584afa39deaa245592977136d367251ee2c173dd8dDouglas Gregor                                           Expr *E, const llvm::APSInt &V) {
1593e9704981d7691fdd44913bf1786e8d760d8a627Steve Naroff  return new (C) EnumConstantDecl(CD, L, Id, T, E, V);
1606c2b6eb8d836da19007f7540709e16d5e39a1cbaChris Lattner}
1616c2b6eb8d836da19007f7540709e16d5e39a1cbaChris Lattner
162d1ac17ae7d61a9244ee5e658d6f63b8fa3da3127Ted Kremenekvoid EnumConstantDecl::Destroy(ASTContext& C) {
163d1ac17ae7d61a9244ee5e658d6f63b8fa3da3127Ted Kremenek  if (Init) Init->Destroy(C);
164d1ac17ae7d61a9244ee5e658d6f63b8fa3da3127Ted Kremenek  Decl::Destroy(C);
165d1ac17ae7d61a9244ee5e658d6f63b8fa3da3127Ted Kremenek}
166d1ac17ae7d61a9244ee5e658d6f63b8fa3da3127Ted Kremenek
1679fdf9c6d3530bb85f3166e6460d841e2ff8e1a2cChris LattnerTypedefDecl *TypedefDecl::Create(ASTContext &C, DeclContext *DC,
1680ed844b04ea4387caa4e1cf3dc375d269657536bChris Lattner                                 SourceLocation L,
1694afa39deaa245592977136d367251ee2c173dd8dDouglas Gregor                                 IdentifierInfo *Id, QualType T) {
1703e9704981d7691fdd44913bf1786e8d760d8a627Steve Naroff  return new (C) TypedefDecl(DC, L, Id, T);
1716c2b6eb8d836da19007f7540709e16d5e39a1cbaChris Lattner}
1726c2b6eb8d836da19007f7540709e16d5e39a1cbaChris Lattner
1739fdf9c6d3530bb85f3166e6460d841e2ff8e1a2cChris LattnerEnumDecl *EnumDecl::Create(ASTContext &C, DeclContext *DC, SourceLocation L,
1740ed844b04ea4387caa4e1cf3dc375d269657536bChris Lattner                           IdentifierInfo *Id,
1757df7b6bb800e1987951285ea192e4f347e1b603aDouglas Gregor                           EnumDecl *PrevDecl) {
176c0ac4923f08b25ae973a8ee7942cf3eb89da57b7Steve Naroff  EnumDecl *Enum = new (C) EnumDecl(DC, L, Id);
1777df7b6bb800e1987951285ea192e4f347e1b603aDouglas Gregor  C.getTypeDeclType(Enum, PrevDecl);
1787df7b6bb800e1987951285ea192e4f347e1b603aDouglas Gregor  return Enum;
1796c2b6eb8d836da19007f7540709e16d5e39a1cbaChris Lattner}
1806c2b6eb8d836da19007f7540709e16d5e39a1cbaChris Lattner
181df91eca19bd9738abd9a3b84791f39750e27ad36Ted Kremenekvoid EnumDecl::Destroy(ASTContext& C) {
182df91eca19bd9738abd9a3b84791f39750e27ad36Ted Kremenek  Decl::Destroy(C);
183df91eca19bd9738abd9a3b84791f39750e27ad36Ted Kremenek}
184df91eca19bd9738abd9a3b84791f39750e27ad36Ted Kremenek
18544b4321feab46299d3f5cfd404680884752a0fcfDouglas Gregorvoid EnumDecl::completeDefinition(ASTContext &C, QualType NewType) {
18644b4321feab46299d3f5cfd404680884752a0fcfDouglas Gregor  assert(!isDefinition() && "Cannot redefine enums!");
18744b4321feab46299d3f5cfd404680884752a0fcfDouglas Gregor  IntegerType = NewType;
1880b7a158d120ac8d78c114a823e17eedfec6b6658Douglas Gregor  TagDecl::completeDefinition();
18944b4321feab46299d3f5cfd404680884752a0fcfDouglas Gregor}
19044b4321feab46299d3f5cfd404680884752a0fcfDouglas Gregor
1914afa39deaa245592977136d367251ee2c173dd8dDouglas GregorFileScopeAsmDecl *FileScopeAsmDecl::Create(ASTContext &C, DeclContext *DC,
1920ed844b04ea4387caa4e1cf3dc375d269657536bChris Lattner                                           SourceLocation L,
1938e25d8681822d8094bfeb97b2239363552548171Chris Lattner                                           StringLiteral *Str) {
1943e9704981d7691fdd44913bf1786e8d760d8a627Steve Naroff  return new (C) FileScopeAsmDecl(DC, L, Str);
1958e25d8681822d8094bfeb97b2239363552548171Chris Lattner}
1968e25d8681822d8094bfeb97b2239363552548171Chris Lattner
1976c2b6eb8d836da19007f7540709e16d5e39a1cbaChris Lattner//===----------------------------------------------------------------------===//
1984afa39deaa245592977136d367251ee2c173dd8dDouglas Gregor// NamedDecl Implementation
1995239304ff761b8b03eefb772bd5d830a9b9f1aeaArgyrios Kyrtzidis//===----------------------------------------------------------------------===//
2005239304ff761b8b03eefb772bd5d830a9b9f1aeaArgyrios Kyrtzidis
20147b9a1ca55e61e37f5a368740e29de190345acc6Douglas Gregorstd::string NamedDecl::getQualifiedNameAsString() const {
20247b9a1ca55e61e37f5a368740e29de190345acc6Douglas Gregor  std::vector<std::string> Names;
20347b9a1ca55e61e37f5a368740e29de190345acc6Douglas Gregor  std::string QualName;
20447b9a1ca55e61e37f5a368740e29de190345acc6Douglas Gregor  const DeclContext *Ctx = getDeclContext();
20547b9a1ca55e61e37f5a368740e29de190345acc6Douglas Gregor
20647b9a1ca55e61e37f5a368740e29de190345acc6Douglas Gregor  if (Ctx->isFunctionOrMethod())
20747b9a1ca55e61e37f5a368740e29de190345acc6Douglas Gregor    return getNameAsString();
20847b9a1ca55e61e37f5a368740e29de190345acc6Douglas Gregor
20947b9a1ca55e61e37f5a368740e29de190345acc6Douglas Gregor  while (Ctx) {
21047b9a1ca55e61e37f5a368740e29de190345acc6Douglas Gregor    if (Ctx->isFunctionOrMethod())
21147b9a1ca55e61e37f5a368740e29de190345acc6Douglas Gregor      // FIXME: That probably will happen, when D was member of local
21247b9a1ca55e61e37f5a368740e29de190345acc6Douglas Gregor      // scope class/struct/union. How do we handle this case?
21347b9a1ca55e61e37f5a368740e29de190345acc6Douglas Gregor      break;
21447b9a1ca55e61e37f5a368740e29de190345acc6Douglas Gregor
21547b9a1ca55e61e37f5a368740e29de190345acc6Douglas Gregor    if (const NamedDecl *ND = dyn_cast<NamedDecl>(Ctx))
21647b9a1ca55e61e37f5a368740e29de190345acc6Douglas Gregor      Names.push_back(ND->getNameAsString());
21747b9a1ca55e61e37f5a368740e29de190345acc6Douglas Gregor    else
21847b9a1ca55e61e37f5a368740e29de190345acc6Douglas Gregor      break;
21947b9a1ca55e61e37f5a368740e29de190345acc6Douglas Gregor
22047b9a1ca55e61e37f5a368740e29de190345acc6Douglas Gregor    Ctx = Ctx->getParent();
22147b9a1ca55e61e37f5a368740e29de190345acc6Douglas Gregor  }
22247b9a1ca55e61e37f5a368740e29de190345acc6Douglas Gregor
22347b9a1ca55e61e37f5a368740e29de190345acc6Douglas Gregor  std::vector<std::string>::reverse_iterator
22447b9a1ca55e61e37f5a368740e29de190345acc6Douglas Gregor    I = Names.rbegin(),
22547b9a1ca55e61e37f5a368740e29de190345acc6Douglas Gregor    End = Names.rend();
22647b9a1ca55e61e37f5a368740e29de190345acc6Douglas Gregor
22747b9a1ca55e61e37f5a368740e29de190345acc6Douglas Gregor  for (; I!=End; ++I)
22847b9a1ca55e61e37f5a368740e29de190345acc6Douglas Gregor    QualName += *I + "::";
22947b9a1ca55e61e37f5a368740e29de190345acc6Douglas Gregor
23047b9a1ca55e61e37f5a368740e29de190345acc6Douglas Gregor  QualName += getNameAsString();
23147b9a1ca55e61e37f5a368740e29de190345acc6Douglas Gregor
23247b9a1ca55e61e37f5a368740e29de190345acc6Douglas Gregor  return QualName;
23347b9a1ca55e61e37f5a368740e29de190345acc6Douglas Gregor}
23447b9a1ca55e61e37f5a368740e29de190345acc6Douglas Gregor
23547b9a1ca55e61e37f5a368740e29de190345acc6Douglas Gregor
2364afa39deaa245592977136d367251ee2c173dd8dDouglas Gregorbool NamedDecl::declarationReplaces(NamedDecl *OldD) const {
2376ed40e351a7c1fb3084434f1db19216b79623cf0Douglas Gregor  assert(getDeclName() == OldD->getDeclName() && "Declaration name mismatch");
2386ed40e351a7c1fb3084434f1db19216b79623cf0Douglas Gregor
2392a3009a432bdcec59e6383d7b2b17494d6f91649Douglas Gregor  // UsingDirectiveDecl's are not really NamedDecl's, and all have same name.
2402a3009a432bdcec59e6383d7b2b17494d6f91649Douglas Gregor  // We want to keep it, unless it nominates same namespace.
2412a3009a432bdcec59e6383d7b2b17494d6f91649Douglas Gregor  if (getKind() == Decl::UsingDirective) {
2422a3009a432bdcec59e6383d7b2b17494d6f91649Douglas Gregor    return cast<UsingDirectiveDecl>(this)->getNominatedNamespace() ==
2432a3009a432bdcec59e6383d7b2b17494d6f91649Douglas Gregor           cast<UsingDirectiveDecl>(OldD)->getNominatedNamespace();
2442a3009a432bdcec59e6383d7b2b17494d6f91649Douglas Gregor  }
2452a3009a432bdcec59e6383d7b2b17494d6f91649Douglas Gregor
2466ed40e351a7c1fb3084434f1db19216b79623cf0Douglas Gregor  if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(this))
2476ed40e351a7c1fb3084434f1db19216b79623cf0Douglas Gregor    // For function declarations, we keep track of redeclarations.
2486ed40e351a7c1fb3084434f1db19216b79623cf0Douglas Gregor    return FD->getPreviousDeclaration() == OldD;
2496ed40e351a7c1fb3084434f1db19216b79623cf0Douglas Gregor
2500de21fd85d79bccd32f04256f5b3328ab5ed7c95Steve Naroff  // For method declarations, we keep track of redeclarations.
2510de21fd85d79bccd32f04256f5b3328ab5ed7c95Steve Naroff  if (isa<ObjCMethodDecl>(this))
2520de21fd85d79bccd32f04256f5b3328ab5ed7c95Steve Naroff    return false;
2530de21fd85d79bccd32f04256f5b3328ab5ed7c95Steve Naroff
2546ed40e351a7c1fb3084434f1db19216b79623cf0Douglas Gregor  // For non-function declarations, if the declarations are of the
2556ed40e351a7c1fb3084434f1db19216b79623cf0Douglas Gregor  // same kind then this must be a redeclaration, or semantic analysis
2566ed40e351a7c1fb3084434f1db19216b79623cf0Douglas Gregor  // would not have given us the new declaration.
2576ed40e351a7c1fb3084434f1db19216b79623cf0Douglas Gregor  return this->getKind() == OldD->getKind();
2586ed40e351a7c1fb3084434f1db19216b79623cf0Douglas Gregor}
2596ed40e351a7c1fb3084434f1db19216b79623cf0Douglas Gregor
260d6f7e9dccd0fa8a5a15d7478324c0ae229fc5e1eDouglas Gregorbool NamedDecl::hasLinkage() const {
261d6f7e9dccd0fa8a5a15d7478324c0ae229fc5e1eDouglas Gregor  if (const VarDecl *VD = dyn_cast<VarDecl>(this))
262d6f7e9dccd0fa8a5a15d7478324c0ae229fc5e1eDouglas Gregor    return VD->hasExternalStorage() || VD->isFileVarDecl();
263d6f7e9dccd0fa8a5a15d7478324c0ae229fc5e1eDouglas Gregor
264d6f7e9dccd0fa8a5a15d7478324c0ae229fc5e1eDouglas Gregor  if (isa<FunctionDecl>(this) && !isa<CXXMethodDecl>(this))
265d6f7e9dccd0fa8a5a15d7478324c0ae229fc5e1eDouglas Gregor    return true;
266d6f7e9dccd0fa8a5a15d7478324c0ae229fc5e1eDouglas Gregor
267d6f7e9dccd0fa8a5a15d7478324c0ae229fc5e1eDouglas Gregor  return false;
268d6f7e9dccd0fa8a5a15d7478324c0ae229fc5e1eDouglas Gregor}
2694afa39deaa245592977136d367251ee2c173dd8dDouglas Gregor
2705239304ff761b8b03eefb772bd5d830a9b9f1aeaArgyrios Kyrtzidis//===----------------------------------------------------------------------===//
27199f06ba988922ea721035a89e6d3c66ba100ba8aNuno Lopes// VarDecl Implementation
27299f06ba988922ea721035a89e6d3c66ba100ba8aNuno Lopes//===----------------------------------------------------------------------===//
27399f06ba988922ea721035a89e6d3c66ba100ba8aNuno Lopes
2744afa39deaa245592977136d367251ee2c173dd8dDouglas GregorVarDecl *VarDecl::Create(ASTContext &C, DeclContext *DC, SourceLocation L,
2754afa39deaa245592977136d367251ee2c173dd8dDouglas Gregor                         IdentifierInfo *Id, QualType T, StorageClass S,
27699f06ba988922ea721035a89e6d3c66ba100ba8aNuno Lopes                         SourceLocation TypeSpecStartLoc) {
2773e9704981d7691fdd44913bf1786e8d760d8a627Steve Naroff  return new (C) VarDecl(Var, DC, L, Id, T, S, TypeSpecStartLoc);
27899f06ba988922ea721035a89e6d3c66ba100ba8aNuno Lopes}
27999f06ba988922ea721035a89e6d3c66ba100ba8aNuno Lopes
28099f06ba988922ea721035a89e6d3c66ba100ba8aNuno Lopesvoid VarDecl::Destroy(ASTContext& C) {
281df2d3cf2be8b91e1e21234ff5a3aa4f820e7001aSebastian Redl  Expr *Init = getInit();
282df2d3cf2be8b91e1e21234ff5a3aa4f820e7001aSebastian Redl  if (Init)
283df2d3cf2be8b91e1e21234ff5a3aa4f820e7001aSebastian Redl    Init->Destroy(C);
28499f06ba988922ea721035a89e6d3c66ba100ba8aNuno Lopes  this->~VarDecl();
2853e9704981d7691fdd44913bf1786e8d760d8a627Steve Naroff  C.Deallocate((void *)this);
28699f06ba988922ea721035a89e6d3c66ba100ba8aNuno Lopes}
28799f06ba988922ea721035a89e6d3c66ba100ba8aNuno Lopes
28899f06ba988922ea721035a89e6d3c66ba100ba8aNuno LopesVarDecl::~VarDecl() {
28999f06ba988922ea721035a89e6d3c66ba100ba8aNuno Lopes}
29099f06ba988922ea721035a89e6d3c66ba100ba8aNuno Lopes
291275a369f003f25bd22c00c1c0fc0251c7208caf4Douglas Gregorbool VarDecl::isTentativeDefinition(ASTContext &Context) const {
292275a369f003f25bd22c00c1c0fc0251c7208caf4Douglas Gregor  if (!isFileVarDecl() || Context.getLangOptions().CPlusPlus)
293275a369f003f25bd22c00c1c0fc0251c7208caf4Douglas Gregor    return false;
294275a369f003f25bd22c00c1c0fc0251c7208caf4Douglas Gregor
295b6c8c8bd8d362c8a6cdb767415b0d21e62b77eb2Douglas Gregor  const VarDecl *Def = 0;
296b6c8c8bd8d362c8a6cdb767415b0d21e62b77eb2Douglas Gregor  return (!getDefinition(Def) &&
297275a369f003f25bd22c00c1c0fc0251c7208caf4Douglas Gregor          (getStorageClass() == None || getStorageClass() == Static));
298275a369f003f25bd22c00c1c0fc0251c7208caf4Douglas Gregor}
299275a369f003f25bd22c00c1c0fc0251c7208caf4Douglas Gregor
300082d936a5b8323ac2c04558d8bca277a647831a3Ted Kremenekconst Expr *VarDecl::getDefinition(const VarDecl *&Def) const {
301275a369f003f25bd22c00c1c0fc0251c7208caf4Douglas Gregor  Def = this;
302275a369f003f25bd22c00c1c0fc0251c7208caf4Douglas Gregor  while (Def && !Def->getInit())
303275a369f003f25bd22c00c1c0fc0251c7208caf4Douglas Gregor    Def = Def->getPreviousDeclaration();
304275a369f003f25bd22c00c1c0fc0251c7208caf4Douglas Gregor
305275a369f003f25bd22c00c1c0fc0251c7208caf4Douglas Gregor  return Def? Def->getInit() : 0;
306275a369f003f25bd22c00c1c0fc0251c7208caf4Douglas Gregor}
307275a369f003f25bd22c00c1c0fc0251c7208caf4Douglas Gregor
30899f06ba988922ea721035a89e6d3c66ba100ba8aNuno Lopes//===----------------------------------------------------------------------===//
3098a934233d1582b5bde9d270bc0705aa81e471a79Chris Lattner// FunctionDecl Implementation
3108a934233d1582b5bde9d270bc0705aa81e471a79Chris Lattner//===----------------------------------------------------------------------===//
3118a934233d1582b5bde9d270bc0705aa81e471a79Chris Lattner
31227f8a28bee33bb0e857cfe1a61c281bbc234b338Ted Kremenekvoid FunctionDecl::Destroy(ASTContext& C) {
313250fc9c859fdeed3f200ae911a7e7ea338f38436Douglas Gregor  if (Body && Body.isOffset())
314250fc9c859fdeed3f200ae911a7e7ea338f38436Douglas Gregor    Body.get(C.getExternalSource())->Destroy(C);
315b65cf41707d190d5ce3d48b9e5bd2dc9d7b4a4c0Ted Kremenek
316b65cf41707d190d5ce3d48b9e5bd2dc9d7b4a4c0Ted Kremenek  for (param_iterator I=param_begin(), E=param_end(); I!=E; ++I)
317b65cf41707d190d5ce3d48b9e5bd2dc9d7b4a4c0Ted Kremenek    (*I)->Destroy(C);
318460b0ac80382fa73337d21dd052c1f18b27435d8Nuno Lopes
3193e9704981d7691fdd44913bf1786e8d760d8a627Steve Naroff  C.Deallocate(ParamInfo);
320460b0ac80382fa73337d21dd052c1f18b27435d8Nuno Lopes
32127f8a28bee33bb0e857cfe1a61c281bbc234b338Ted Kremenek  Decl::Destroy(C);
32227f8a28bee33bb0e857cfe1a61c281bbc234b338Ted Kremenek}
32327f8a28bee33bb0e857cfe1a61c281bbc234b338Ted Kremenek
32427f8a28bee33bb0e857cfe1a61c281bbc234b338Ted Kremenek
325d3a413d3b8eb39bcee5944bc545d9997c1abe492Sebastian RedlStmt *FunctionDecl::getBody(ASTContext &Context,
326d3a413d3b8eb39bcee5944bc545d9997c1abe492Sebastian Redl                            const FunctionDecl *&Definition) const {
327f009795057dc8ca254f5618c80a0a90f07cd44b4Douglas Gregor  for (const FunctionDecl *FD = this; FD != 0; FD = FD->PreviousDeclaration) {
328f009795057dc8ca254f5618c80a0a90f07cd44b4Douglas Gregor    if (FD->Body) {
329f009795057dc8ca254f5618c80a0a90f07cd44b4Douglas Gregor      Definition = FD;
330d3a413d3b8eb39bcee5944bc545d9997c1abe492Sebastian Redl      return FD->Body.get(Context.getExternalSource());
331f009795057dc8ca254f5618c80a0a90f07cd44b4Douglas Gregor    }
332f009795057dc8ca254f5618c80a0a90f07cd44b4Douglas Gregor  }
333f009795057dc8ca254f5618c80a0a90f07cd44b4Douglas Gregor
334f009795057dc8ca254f5618c80a0a90f07cd44b4Douglas Gregor  return 0;
3355f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}
3365f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
337d3a413d3b8eb39bcee5944bc545d9997c1abe492Sebastian RedlStmt *FunctionDecl::getBodyIfAvailable() const {
3387297134f128423fce2e88f92421ed135bded7d4eDouglas Gregor  for (const FunctionDecl *FD = this; FD != 0; FD = FD->PreviousDeclaration) {
339250fc9c859fdeed3f200ae911a7e7ea338f38436Douglas Gregor    if (FD->Body && !FD->Body.isOffset()) {
340d3a413d3b8eb39bcee5944bc545d9997c1abe492Sebastian Redl      return FD->Body.get(0);
341250fc9c859fdeed3f200ae911a7e7ea338f38436Douglas Gregor    }
3427297134f128423fce2e88f92421ed135bded7d4eDouglas Gregor  }
3437297134f128423fce2e88f92421ed135bded7d4eDouglas Gregor
3447297134f128423fce2e88f92421ed135bded7d4eDouglas Gregor  return 0;
3457297134f128423fce2e88f92421ed135bded7d4eDouglas Gregor}
3467297134f128423fce2e88f92421ed135bded7d4eDouglas Gregor
34704495c859f81e440748a9b86baa2913461652bb0Douglas Gregorbool FunctionDecl::isMain() const {
34804495c859f81e440748a9b86baa2913461652bb0Douglas Gregor  return getDeclContext()->getLookupContext()->isTranslationUnit() &&
34904495c859f81e440748a9b86baa2913461652bb0Douglas Gregor    getIdentifier() && getIdentifier()->isStr("main");
35004495c859f81e440748a9b86baa2913461652bb0Douglas Gregor}
35104495c859f81e440748a9b86baa2913461652bb0Douglas Gregor
3526393519272ce727f4d26e71bbefb5de712274d0eDouglas Gregorbool FunctionDecl::isExternC(ASTContext &Context) const {
3536393519272ce727f4d26e71bbefb5de712274d0eDouglas Gregor  // In C, any non-static, non-overloadable function has external
3546393519272ce727f4d26e71bbefb5de712274d0eDouglas Gregor  // linkage.
3556393519272ce727f4d26e71bbefb5de712274d0eDouglas Gregor  if (!Context.getLangOptions().CPlusPlus)
3566393519272ce727f4d26e71bbefb5de712274d0eDouglas Gregor    return getStorageClass() != Static && !getAttr<OverloadableAttr>();
3576393519272ce727f4d26e71bbefb5de712274d0eDouglas Gregor
3586393519272ce727f4d26e71bbefb5de712274d0eDouglas Gregor  for (const DeclContext *DC = getDeclContext(); !DC->isTranslationUnit();
3596393519272ce727f4d26e71bbefb5de712274d0eDouglas Gregor       DC = DC->getParent()) {
3606393519272ce727f4d26e71bbefb5de712274d0eDouglas Gregor    if (const LinkageSpecDecl *Linkage = dyn_cast<LinkageSpecDecl>(DC))  {
3616393519272ce727f4d26e71bbefb5de712274d0eDouglas Gregor      if (Linkage->getLanguage() == LinkageSpecDecl::lang_c)
3626393519272ce727f4d26e71bbefb5de712274d0eDouglas Gregor        return getStorageClass() != Static && !getAttr<OverloadableAttr>();
3636393519272ce727f4d26e71bbefb5de712274d0eDouglas Gregor
3646393519272ce727f4d26e71bbefb5de712274d0eDouglas Gregor      break;
3656393519272ce727f4d26e71bbefb5de712274d0eDouglas Gregor    }
3666393519272ce727f4d26e71bbefb5de712274d0eDouglas Gregor  }
3676393519272ce727f4d26e71bbefb5de712274d0eDouglas Gregor
3686393519272ce727f4d26e71bbefb5de712274d0eDouglas Gregor  return false;
3696393519272ce727f4d26e71bbefb5de712274d0eDouglas Gregor}
3706393519272ce727f4d26e71bbefb5de712274d0eDouglas Gregor
3718499f3f5ff8d5f95ece8047780030a3daad1b6faDouglas Gregorbool FunctionDecl::isGlobal() const {
3728499f3f5ff8d5f95ece8047780030a3daad1b6faDouglas Gregor  if (const CXXMethodDecl *Method = dyn_cast<CXXMethodDecl>(this))
3738499f3f5ff8d5f95ece8047780030a3daad1b6faDouglas Gregor    return Method->isStatic();
3748499f3f5ff8d5f95ece8047780030a3daad1b6faDouglas Gregor
3758499f3f5ff8d5f95ece8047780030a3daad1b6faDouglas Gregor  if (getStorageClass() == Static)
3768499f3f5ff8d5f95ece8047780030a3daad1b6faDouglas Gregor    return false;
3778499f3f5ff8d5f95ece8047780030a3daad1b6faDouglas Gregor
3788499f3f5ff8d5f95ece8047780030a3daad1b6faDouglas Gregor  for (const DeclContext *DC = getDeclContext();
3798499f3f5ff8d5f95ece8047780030a3daad1b6faDouglas Gregor       DC->isNamespace();
3808499f3f5ff8d5f95ece8047780030a3daad1b6faDouglas Gregor       DC = DC->getParent()) {
3818499f3f5ff8d5f95ece8047780030a3daad1b6faDouglas Gregor    if (const NamespaceDecl *Namespace = cast<NamespaceDecl>(DC)) {
3828499f3f5ff8d5f95ece8047780030a3daad1b6faDouglas Gregor      if (!Namespace->getDeclName())
3838499f3f5ff8d5f95ece8047780030a3daad1b6faDouglas Gregor        return false;
3848499f3f5ff8d5f95ece8047780030a3daad1b6faDouglas Gregor      break;
3858499f3f5ff8d5f95ece8047780030a3daad1b6faDouglas Gregor    }
3868499f3f5ff8d5f95ece8047780030a3daad1b6faDouglas Gregor  }
3878499f3f5ff8d5f95ece8047780030a3daad1b6faDouglas Gregor
3888499f3f5ff8d5f95ece8047780030a3daad1b6faDouglas Gregor  return true;
3898499f3f5ff8d5f95ece8047780030a3daad1b6faDouglas Gregor}
3908499f3f5ff8d5f95ece8047780030a3daad1b6faDouglas Gregor
3913e41d60eb627dc227c770f1c1c87d06909cf05fdDouglas Gregor/// \brief Returns a value indicating whether this function
3923e41d60eb627dc227c770f1c1c87d06909cf05fdDouglas Gregor/// corresponds to a builtin function.
3933e41d60eb627dc227c770f1c1c87d06909cf05fdDouglas Gregor///
3943e41d60eb627dc227c770f1c1c87d06909cf05fdDouglas Gregor/// The function corresponds to a built-in function if it is
3953e41d60eb627dc227c770f1c1c87d06909cf05fdDouglas Gregor/// declared at translation scope or within an extern "C" block and
3963e41d60eb627dc227c770f1c1c87d06909cf05fdDouglas Gregor/// its name matches with the name of a builtin. The returned value
3973e41d60eb627dc227c770f1c1c87d06909cf05fdDouglas Gregor/// will be 0 for functions that do not correspond to a builtin, a
3983e41d60eb627dc227c770f1c1c87d06909cf05fdDouglas Gregor/// value of type \c Builtin::ID if in the target-independent range
3993e41d60eb627dc227c770f1c1c87d06909cf05fdDouglas Gregor/// \c [1,Builtin::First), or a target-specific builtin value.
4003c385e5f8d9008fff18597ca302be19fa86e51f6Douglas Gregorunsigned FunctionDecl::getBuiltinID(ASTContext &Context) const {
4013c385e5f8d9008fff18597ca302be19fa86e51f6Douglas Gregor  if (!getIdentifier() || !getIdentifier()->getBuiltinID())
4023c385e5f8d9008fff18597ca302be19fa86e51f6Douglas Gregor    return 0;
4033c385e5f8d9008fff18597ca302be19fa86e51f6Douglas Gregor
4043c385e5f8d9008fff18597ca302be19fa86e51f6Douglas Gregor  unsigned BuiltinID = getIdentifier()->getBuiltinID();
4053c385e5f8d9008fff18597ca302be19fa86e51f6Douglas Gregor  if (!Context.BuiltinInfo.isPredefinedLibFunction(BuiltinID))
4063c385e5f8d9008fff18597ca302be19fa86e51f6Douglas Gregor    return BuiltinID;
4073c385e5f8d9008fff18597ca302be19fa86e51f6Douglas Gregor
4083c385e5f8d9008fff18597ca302be19fa86e51f6Douglas Gregor  // This function has the name of a known C library
4093c385e5f8d9008fff18597ca302be19fa86e51f6Douglas Gregor  // function. Determine whether it actually refers to the C library
4103c385e5f8d9008fff18597ca302be19fa86e51f6Douglas Gregor  // function or whether it just has the same name.
4113c385e5f8d9008fff18597ca302be19fa86e51f6Douglas Gregor
4129add31798f621f843233dbff8bba103fca64447bDouglas Gregor  // If this is a static function, it's not a builtin.
4139add31798f621f843233dbff8bba103fca64447bDouglas Gregor  if (getStorageClass() == Static)
4149add31798f621f843233dbff8bba103fca64447bDouglas Gregor    return 0;
4159add31798f621f843233dbff8bba103fca64447bDouglas Gregor
4163c385e5f8d9008fff18597ca302be19fa86e51f6Douglas Gregor  // If this function is at translation-unit scope and we're not in
4173c385e5f8d9008fff18597ca302be19fa86e51f6Douglas Gregor  // C++, it refers to the C library function.
4183c385e5f8d9008fff18597ca302be19fa86e51f6Douglas Gregor  if (!Context.getLangOptions().CPlusPlus &&
4193c385e5f8d9008fff18597ca302be19fa86e51f6Douglas Gregor      getDeclContext()->isTranslationUnit())
4203c385e5f8d9008fff18597ca302be19fa86e51f6Douglas Gregor    return BuiltinID;
4213c385e5f8d9008fff18597ca302be19fa86e51f6Douglas Gregor
4223c385e5f8d9008fff18597ca302be19fa86e51f6Douglas Gregor  // If the function is in an extern "C" linkage specification and is
4233c385e5f8d9008fff18597ca302be19fa86e51f6Douglas Gregor  // not marked "overloadable", it's the real function.
4243c385e5f8d9008fff18597ca302be19fa86e51f6Douglas Gregor  if (isa<LinkageSpecDecl>(getDeclContext()) &&
4253c385e5f8d9008fff18597ca302be19fa86e51f6Douglas Gregor      cast<LinkageSpecDecl>(getDeclContext())->getLanguage()
4263c385e5f8d9008fff18597ca302be19fa86e51f6Douglas Gregor        == LinkageSpecDecl::lang_c &&
4273c385e5f8d9008fff18597ca302be19fa86e51f6Douglas Gregor      !getAttr<OverloadableAttr>())
4283c385e5f8d9008fff18597ca302be19fa86e51f6Douglas Gregor    return BuiltinID;
4293c385e5f8d9008fff18597ca302be19fa86e51f6Douglas Gregor
4303c385e5f8d9008fff18597ca302be19fa86e51f6Douglas Gregor  // Not a builtin
4313e41d60eb627dc227c770f1c1c87d06909cf05fdDouglas Gregor  return 0;
4323e41d60eb627dc227c770f1c1c87d06909cf05fdDouglas Gregor}
4333e41d60eb627dc227c770f1c1c87d06909cf05fdDouglas Gregor
4343e41d60eb627dc227c770f1c1c87d06909cf05fdDouglas Gregor
4351ad9b28e3217c2349a04f3d3bf14f9c73a99afa7Chris Lattner/// getNumParams - Return the number of parameters this function must have
4362dbd285f5033ca6dea25babfd1c43d9fec35e7e5Chris Lattner/// based on its FunctionType.  This is the length of the PararmInfo array
4371ad9b28e3217c2349a04f3d3bf14f9c73a99afa7Chris Lattner/// after it has been created.
4381ad9b28e3217c2349a04f3d3bf14f9c73a99afa7Chris Lattnerunsigned FunctionDecl::getNumParams() const {
43911ddb7dc22bb398a6727318729680630bfcefaaeChris Lattner  const FunctionType *FT = getType()->getAsFunctionType();
44072564e73277e29f6db3305d1f27ba408abb7ed88Douglas Gregor  if (isa<FunctionNoProtoType>(FT))
441d3b9065ec7052ec4741783d2fb4130d13c766933Chris Lattner    return 0;
44272564e73277e29f6db3305d1f27ba408abb7ed88Douglas Gregor  return cast<FunctionProtoType>(FT)->getNumArgs();
44311ddb7dc22bb398a6727318729680630bfcefaaeChris Lattner
4445f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}
4455f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
446fc767615bc67d3a7587b1fb2e0494c32c9dbd7a5Ted Kremenekvoid FunctionDecl::setParams(ASTContext& C, ParmVarDecl **NewParamInfo,
447fc767615bc67d3a7587b1fb2e0494c32c9dbd7a5Ted Kremenek                             unsigned NumParams) {
4485f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  assert(ParamInfo == 0 && "Already has param info!");
4492dbd285f5033ca6dea25babfd1c43d9fec35e7e5Chris Lattner  assert(NumParams == getNumParams() && "Parameter count mismatch!");
4505f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
4515f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  // Zero params -> null pointer.
4525f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  if (NumParams) {
453c0ac4923f08b25ae973a8ee7942cf3eb89da57b7Steve Naroff    void *Mem = C.Allocate(sizeof(ParmVarDecl*)*NumParams);
454fc767615bc67d3a7587b1fb2e0494c32c9dbd7a5Ted Kremenek    ParamInfo = new (Mem) ParmVarDecl*[NumParams];
4555f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    memcpy(ParamInfo, NewParamInfo, sizeof(ParmVarDecl*)*NumParams);
4565f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  }
4575f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}
4585f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
4598123a95c33b792d35c2e4992ba6e27882748fb0dChris Lattner/// getMinRequiredArguments - Returns the minimum number of arguments
4608123a95c33b792d35c2e4992ba6e27882748fb0dChris Lattner/// needed to call this function. This may be fewer than the number of
4618123a95c33b792d35c2e4992ba6e27882748fb0dChris Lattner/// function parameters, if some of the parameters have default
4629e979557eea3875c9e3d100c68188233dd7f46c0Chris Lattner/// arguments (in C++).
4638123a95c33b792d35c2e4992ba6e27882748fb0dChris Lattnerunsigned FunctionDecl::getMinRequiredArguments() const {
4648123a95c33b792d35c2e4992ba6e27882748fb0dChris Lattner  unsigned NumRequiredArgs = getNumParams();
4658123a95c33b792d35c2e4992ba6e27882748fb0dChris Lattner  while (NumRequiredArgs > 0
4668123a95c33b792d35c2e4992ba6e27882748fb0dChris Lattner         && getParamDecl(NumRequiredArgs-1)->getDefaultArg())
4678123a95c33b792d35c2e4992ba6e27882748fb0dChris Lattner    --NumRequiredArgs;
4688123a95c33b792d35c2e4992ba6e27882748fb0dChris Lattner
4698123a95c33b792d35c2e4992ba6e27882748fb0dChris Lattner  return NumRequiredArgs;
4708123a95c33b792d35c2e4992ba6e27882748fb0dChris Lattner}
4718123a95c33b792d35c2e4992ba6e27882748fb0dChris Lattner
4729f9bf258f8ebae30bfb70feb9d797d6eb67b0460Douglas Gregorbool FunctionDecl::hasActiveGNUInlineAttribute() const {
4739f9bf258f8ebae30bfb70feb9d797d6eb67b0460Douglas Gregor  if (!isInline() || !hasAttr<GNUInlineAttr>())
4749f9bf258f8ebae30bfb70feb9d797d6eb67b0460Douglas Gregor    return false;
4759f9bf258f8ebae30bfb70feb9d797d6eb67b0460Douglas Gregor
4769f9bf258f8ebae30bfb70feb9d797d6eb67b0460Douglas Gregor  for (const FunctionDecl *FD = getPreviousDeclaration(); FD;
4779f9bf258f8ebae30bfb70feb9d797d6eb67b0460Douglas Gregor       FD = FD->getPreviousDeclaration()) {
4789f9bf258f8ebae30bfb70feb9d797d6eb67b0460Douglas Gregor    if (FD->isInline() && !FD->hasAttr<GNUInlineAttr>())
4799f9bf258f8ebae30bfb70feb9d797d6eb67b0460Douglas Gregor      return false;
4809f9bf258f8ebae30bfb70feb9d797d6eb67b0460Douglas Gregor  }
4819f9bf258f8ebae30bfb70feb9d797d6eb67b0460Douglas Gregor
4829f9bf258f8ebae30bfb70feb9d797d6eb67b0460Douglas Gregor  return true;
4839f9bf258f8ebae30bfb70feb9d797d6eb67b0460Douglas Gregor}
4849f9bf258f8ebae30bfb70feb9d797d6eb67b0460Douglas Gregor
4859f9bf258f8ebae30bfb70feb9d797d6eb67b0460Douglas Gregorbool FunctionDecl::isExternGNUInline() const {
4869f9bf258f8ebae30bfb70feb9d797d6eb67b0460Douglas Gregor  if (!hasActiveGNUInlineAttribute())
4879f9bf258f8ebae30bfb70feb9d797d6eb67b0460Douglas Gregor    return false;
4889f9bf258f8ebae30bfb70feb9d797d6eb67b0460Douglas Gregor
4899f9bf258f8ebae30bfb70feb9d797d6eb67b0460Douglas Gregor  for (const FunctionDecl *FD = this; FD; FD = FD->getPreviousDeclaration())
4909f9bf258f8ebae30bfb70feb9d797d6eb67b0460Douglas Gregor    if (FD->getStorageClass() == Extern && FD->hasAttr<GNUInlineAttr>())
4919f9bf258f8ebae30bfb70feb9d797d6eb67b0460Douglas Gregor      return true;
4929f9bf258f8ebae30bfb70feb9d797d6eb67b0460Douglas Gregor
4939f9bf258f8ebae30bfb70feb9d797d6eb67b0460Douglas Gregor  return false;
4949f9bf258f8ebae30bfb70feb9d797d6eb67b0460Douglas Gregor}
4959f9bf258f8ebae30bfb70feb9d797d6eb67b0460Douglas Gregor
4961cd1b1e987f5e2f060d7972b13d83239b36d77d6Douglas Gregor/// getOverloadedOperator - Which C++ overloaded operator this
4971cd1b1e987f5e2f060d7972b13d83239b36d77d6Douglas Gregor/// function represents, if any.
4981cd1b1e987f5e2f060d7972b13d83239b36d77d6Douglas GregorOverloadedOperatorKind FunctionDecl::getOverloadedOperator() const {
499e94ca9e4371c022329270436b3dd77adc4ddfa8fDouglas Gregor  if (getDeclName().getNameKind() == DeclarationName::CXXOperatorName)
500e94ca9e4371c022329270436b3dd77adc4ddfa8fDouglas Gregor    return getDeclName().getCXXOverloadedOperator();
5011cd1b1e987f5e2f060d7972b13d83239b36d77d6Douglas Gregor  else
5021cd1b1e987f5e2f060d7972b13d83239b36d77d6Douglas Gregor    return OO_None;
5031cd1b1e987f5e2f060d7972b13d83239b36d77d6Douglas Gregor}
5041cd1b1e987f5e2f060d7972b13d83239b36d77d6Douglas Gregor
5058a934233d1582b5bde9d270bc0705aa81e471a79Chris Lattner//===----------------------------------------------------------------------===//
506bcbffc46f1ad3796c4582fa1e3a9113b5aa26061Douglas Gregor// TagDecl Implementation
5074b7c98378ae0c1a3635f0b7756848b4a9923f8bcTed Kremenek//===----------------------------------------------------------------------===//
5084b7c98378ae0c1a3635f0b7756848b4a9923f8bcTed Kremenek
5097da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregorbool TagDecl::isDependentType() const {
5107da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor  if (isa<TemplateDecl>(this))
5117da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor    return true;
5127da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor
5137da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor  if (const TagDecl *TD = dyn_cast_or_null<TagDecl>(getDeclContext()))
5147da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor    return TD->isDependentType();
5157da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor
5167da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor  // FIXME: Tag types declared function templates are dependent types.
5177da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor  // FIXME: Look through block scopes.
5187da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor  return false;
5197da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor}
5207da97d0f31e1ec16998d3de2cfd2e88fe3736673Douglas Gregor
5210b7a158d120ac8d78c114a823e17eedfec6b6658Douglas Gregorvoid TagDecl::startDefinition() {
522fc705b84347e6fb4746a1a7e26949f64c2f2f358Douglas Gregor  TagType *TagT = const_cast<TagType *>(TypeForDecl->getAsTagType());
523fc705b84347e6fb4746a1a7e26949f64c2f2f358Douglas Gregor  TagT->decl.setPointer(this);
524fc705b84347e6fb4746a1a7e26949f64c2f2f358Douglas Gregor  TagT->getAsTagType()->decl.setInt(1);
5250b7a158d120ac8d78c114a823e17eedfec6b6658Douglas Gregor}
5260b7a158d120ac8d78c114a823e17eedfec6b6658Douglas Gregor
5270b7a158d120ac8d78c114a823e17eedfec6b6658Douglas Gregorvoid TagDecl::completeDefinition() {
5280b7a158d120ac8d78c114a823e17eedfec6b6658Douglas Gregor  assert((!TypeForDecl ||
529fc705b84347e6fb4746a1a7e26949f64c2f2f358Douglas Gregor          TypeForDecl->getAsTagType()->decl.getPointer() == this) &&
5300b7a158d120ac8d78c114a823e17eedfec6b6658Douglas Gregor         "Attempt to redefine a tag definition?");
5310b7a158d120ac8d78c114a823e17eedfec6b6658Douglas Gregor  IsDefinition = true;
532fc705b84347e6fb4746a1a7e26949f64c2f2f358Douglas Gregor  TagType *TagT = const_cast<TagType *>(TypeForDecl->getAsTagType());
533fc705b84347e6fb4746a1a7e26949f64c2f2f358Douglas Gregor  TagT->decl.setPointer(this);
534fc705b84347e6fb4746a1a7e26949f64c2f2f358Douglas Gregor  TagT->decl.setInt(0);
5350b7a158d120ac8d78c114a823e17eedfec6b6658Douglas Gregor}
5360b7a158d120ac8d78c114a823e17eedfec6b6658Douglas Gregor
5374b7c98378ae0c1a3635f0b7756848b4a9923f8bcTed KremenekTagDecl* TagDecl::getDefinition(ASTContext& C) const {
5384b7c98378ae0c1a3635f0b7756848b4a9923f8bcTed Kremenek  QualType T = C.getTypeDeclType(const_cast<TagDecl*>(this));
539fc705b84347e6fb4746a1a7e26949f64c2f2f358Douglas Gregor  TagDecl* D = cast<TagDecl>(T->getAsTagType()->getDecl());
5404b7c98378ae0c1a3635f0b7756848b4a9923f8bcTed Kremenek  return D->isDefinition() ? D : 0;
5414b7c98378ae0c1a3635f0b7756848b4a9923f8bcTed Kremenek}
5424b7c98378ae0c1a3635f0b7756848b4a9923f8bcTed Kremenek
5434b7c98378ae0c1a3635f0b7756848b4a9923f8bcTed Kremenek//===----------------------------------------------------------------------===//
5448a934233d1582b5bde9d270bc0705aa81e471a79Chris Lattner// RecordDecl Implementation
5458a934233d1582b5bde9d270bc0705aa81e471a79Chris Lattner//===----------------------------------------------------------------------===//
5465f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
54735bc0821c4f80041724cd4c5c4889b2581546a41Argyrios KyrtzidisRecordDecl::RecordDecl(Kind DK, TagKind TK, DeclContext *DC, SourceLocation L,
548df042e6c2bf06b2d9ed53c52469599ac1bd93a3fTed Kremenek                       IdentifierInfo *Id)
5494afa39deaa245592977136d367251ee2c173dd8dDouglas Gregor  : TagDecl(DK, TK, DC, L, Id) {
5506359792ca92e7ca2f416cb804c6604358174e994Ted Kremenek  HasFlexibleArrayMember = false;
551bcbffc46f1ad3796c4582fa1e3a9113b5aa26061Douglas Gregor  AnonymousStructOrUnion = false;
5526359792ca92e7ca2f416cb804c6604358174e994Ted Kremenek  assert(classof(static_cast<Decl*>(this)) && "Invalid Kind!");
5536359792ca92e7ca2f416cb804c6604358174e994Ted Kremenek}
5546359792ca92e7ca2f416cb804c6604358174e994Ted Kremenek
5556359792ca92e7ca2f416cb804c6604358174e994Ted KremenekRecordDecl *RecordDecl::Create(ASTContext &C, TagKind TK, DeclContext *DC,
5564b7c98378ae0c1a3635f0b7756848b4a9923f8bcTed Kremenek                               SourceLocation L, IdentifierInfo *Id,
5574b7c98378ae0c1a3635f0b7756848b4a9923f8bcTed Kremenek                               RecordDecl* PrevDecl) {
558df042e6c2bf06b2d9ed53c52469599ac1bd93a3fTed Kremenek
5593e9704981d7691fdd44913bf1786e8d760d8a627Steve Naroff  RecordDecl* R = new (C) RecordDecl(Record, TK, DC, L, Id);
5604b7c98378ae0c1a3635f0b7756848b4a9923f8bcTed Kremenek  C.getTypeDeclType(R, PrevDecl);
5614b7c98378ae0c1a3635f0b7756848b4a9923f8bcTed Kremenek  return R;
5626359792ca92e7ca2f416cb804c6604358174e994Ted Kremenek}
5636359792ca92e7ca2f416cb804c6604358174e994Ted Kremenek
564997b6c6d73541f010afc81e28191c8eae7b24f77Argyrios KyrtzidisRecordDecl::~RecordDecl() {
565997b6c6d73541f010afc81e28191c8eae7b24f77Argyrios Kyrtzidis}
566997b6c6d73541f010afc81e28191c8eae7b24f77Argyrios Kyrtzidis
567997b6c6d73541f010afc81e28191c8eae7b24f77Argyrios Kyrtzidisvoid RecordDecl::Destroy(ASTContext& C) {
568997b6c6d73541f010afc81e28191c8eae7b24f77Argyrios Kyrtzidis  TagDecl::Destroy(C);
569997b6c6d73541f010afc81e28191c8eae7b24f77Argyrios Kyrtzidis}
570997b6c6d73541f010afc81e28191c8eae7b24f77Argyrios Kyrtzidis
571c9b5b4074bd73d4af76e69cccf8ecd365fdd1008Douglas Gregorbool RecordDecl::isInjectedClassName() const {
572c9b5b4074bd73d4af76e69cccf8ecd365fdd1008Douglas Gregor  return isImplicit() && getDeclName() && getDeclContext()->isRecord() &&
573c9b5b4074bd73d4af76e69cccf8ecd365fdd1008Douglas Gregor    cast<RecordDecl>(getDeclContext())->getDeclName() == getDeclName();
574c9b5b4074bd73d4af76e69cccf8ecd365fdd1008Douglas Gregor}
575c9b5b4074bd73d4af76e69cccf8ecd365fdd1008Douglas Gregor
57644b4321feab46299d3f5cfd404680884752a0fcfDouglas Gregor/// completeDefinition - Notes that the definition of this type is now
57744b4321feab46299d3f5cfd404680884752a0fcfDouglas Gregor/// complete.
57844b4321feab46299d3f5cfd404680884752a0fcfDouglas Gregorvoid RecordDecl::completeDefinition(ASTContext& C) {
5795f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  assert(!isDefinition() && "Cannot redefine record!");
5800b7a158d120ac8d78c114a823e17eedfec6b6658Douglas Gregor  TagDecl::completeDefinition();
5815f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}
5825f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
58356ee6896f2efebffb4a2cce5a7610cdf1eddbbbeSteve Naroff//===----------------------------------------------------------------------===//
58456ee6896f2efebffb4a2cce5a7610cdf1eddbbbeSteve Naroff// BlockDecl Implementation
58556ee6896f2efebffb4a2cce5a7610cdf1eddbbbeSteve Naroff//===----------------------------------------------------------------------===//
58656ee6896f2efebffb4a2cce5a7610cdf1eddbbbeSteve Naroff
58756ee6896f2efebffb4a2cce5a7610cdf1eddbbbeSteve NaroffBlockDecl::~BlockDecl() {
58856ee6896f2efebffb4a2cce5a7610cdf1eddbbbeSteve Naroff}
58956ee6896f2efebffb4a2cce5a7610cdf1eddbbbeSteve Naroff
59056ee6896f2efebffb4a2cce5a7610cdf1eddbbbeSteve Naroffvoid BlockDecl::Destroy(ASTContext& C) {
59156ee6896f2efebffb4a2cce5a7610cdf1eddbbbeSteve Naroff  if (Body)
59256ee6896f2efebffb4a2cce5a7610cdf1eddbbbeSteve Naroff    Body->Destroy(C);
59356ee6896f2efebffb4a2cce5a7610cdf1eddbbbeSteve Naroff
59456ee6896f2efebffb4a2cce5a7610cdf1eddbbbeSteve Naroff  for (param_iterator I=param_begin(), E=param_end(); I!=E; ++I)
59556ee6896f2efebffb4a2cce5a7610cdf1eddbbbeSteve Naroff    (*I)->Destroy(C);
596879d27ad4670716c7cea7f86274f6096f6868fe1Ted Kremenek
597879d27ad4670716c7cea7f86274f6096f6868fe1Ted Kremenek  C.Deallocate(ParamInfo);
59856ee6896f2efebffb4a2cce5a7610cdf1eddbbbeSteve Naroff  Decl::Destroy(C);
59956ee6896f2efebffb4a2cce5a7610cdf1eddbbbeSteve Naroff}
600e78b809bbcd92928a63da81f2cd843faad3e4dfdSteve Naroff
601e78b809bbcd92928a63da81f2cd843faad3e4dfdSteve Naroffvoid BlockDecl::setParams(ASTContext& C, ParmVarDecl **NewParamInfo,
602e78b809bbcd92928a63da81f2cd843faad3e4dfdSteve Naroff                          unsigned NParms) {
603e78b809bbcd92928a63da81f2cd843faad3e4dfdSteve Naroff  assert(ParamInfo == 0 && "Already has param info!");
604e78b809bbcd92928a63da81f2cd843faad3e4dfdSteve Naroff
605e78b809bbcd92928a63da81f2cd843faad3e4dfdSteve Naroff  // Zero params -> null pointer.
606e78b809bbcd92928a63da81f2cd843faad3e4dfdSteve Naroff  if (NParms) {
607e78b809bbcd92928a63da81f2cd843faad3e4dfdSteve Naroff    NumParams = NParms;
608e78b809bbcd92928a63da81f2cd843faad3e4dfdSteve Naroff    void *Mem = C.Allocate(sizeof(ParmVarDecl*)*NumParams);
609e78b809bbcd92928a63da81f2cd843faad3e4dfdSteve Naroff    ParamInfo = new (Mem) ParmVarDecl*[NumParams];
610e78b809bbcd92928a63da81f2cd843faad3e4dfdSteve Naroff    memcpy(ParamInfo, NewParamInfo, sizeof(ParmVarDecl*)*NumParams);
611e78b809bbcd92928a63da81f2cd843faad3e4dfdSteve Naroff  }
612e78b809bbcd92928a63da81f2cd843faad3e4dfdSteve Naroff}
613e78b809bbcd92928a63da81f2cd843faad3e4dfdSteve Naroff
614e78b809bbcd92928a63da81f2cd843faad3e4dfdSteve Naroffunsigned BlockDecl::getNumParams() const {
615e78b809bbcd92928a63da81f2cd843faad3e4dfdSteve Naroff  return NumParams;
616e78b809bbcd92928a63da81f2cd843faad3e4dfdSteve Naroff}
617