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