blob: b9a87aedd7612adcb9c2932f15a5c342f49b657e [file] [log] [blame]
Ted Kremenek4b7c9832008-09-05 17:16:31 +00001//===--- DeclCXX.cpp - C++ Declaration AST Node Implementation ------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file implements the C++ related Decl classes.
11//
12//===----------------------------------------------------------------------===//
13
14#include "clang/AST/DeclCXX.h"
Douglas Gregord475b8d2009-03-25 21:17:03 +000015#include "clang/AST/DeclTemplate.h"
Ted Kremenek4b7c9832008-09-05 17:16:31 +000016#include "clang/AST/ASTContext.h"
Anders Carlssonfb311762009-03-14 00:25:26 +000017#include "clang/AST/Expr.h"
Douglas Gregor7d7e6722008-11-12 23:21:09 +000018#include "clang/Basic/IdentifierTable.h"
Douglas Gregorfdfab6b2008-12-23 21:31:30 +000019#include "llvm/ADT/STLExtras.h"
Fariborz Jahanianfaebcbb2009-09-12 19:52:10 +000020#include "llvm/ADT/SmallPtrSet.h"
Ted Kremenek4b7c9832008-09-05 17:16:31 +000021using namespace clang;
22
23//===----------------------------------------------------------------------===//
24// Decl Allocation/Deallocation Method Implementations
25//===----------------------------------------------------------------------===//
Douglas Gregor72c3f312008-12-05 18:15:24 +000026
Douglas Gregor3e00bad2009-02-17 01:05:43 +000027CXXRecordDecl::CXXRecordDecl(Kind K, TagKind TK, DeclContext *DC,
Douglas Gregor741dd9a2009-07-21 14:46:17 +000028 SourceLocation L, IdentifierInfo *Id,
Douglas Gregor8e9e9ef2009-07-29 23:36:44 +000029 CXXRecordDecl *PrevDecl,
Mike Stump1eb44332009-09-09 15:08:12 +000030 SourceLocation TKL)
Douglas Gregor8e9e9ef2009-07-29 23:36:44 +000031 : RecordDecl(K, TK, DC, L, Id, PrevDecl, TKL),
Douglas Gregor7d7e6722008-11-12 23:21:09 +000032 UserDeclaredConstructor(false), UserDeclaredCopyConstructor(false),
Sebastian Redl64b45f72009-01-05 20:52:13 +000033 UserDeclaredCopyAssignment(false), UserDeclaredDestructor(false),
Eli Friedman97c134e2009-08-15 22:23:00 +000034 Aggregate(true), PlainOldData(true), Empty(true), Polymorphic(false),
35 Abstract(false), HasTrivialConstructor(true),
36 HasTrivialCopyConstructor(true), HasTrivialCopyAssignment(true),
Fariborz Jahanian62509212009-09-12 18:26:03 +000037 HasTrivialDestructor(true), ComputedVisibleConversions(false),
38 Bases(0), NumBases(0), VBases(0), NumVBases(0),
Fariborz Jahanian40c072f2009-07-10 20:13:23 +000039 Conversions(DC, DeclarationName()),
Fariborz Jahanian53462782009-09-11 21:44:33 +000040 VisibleConversions(DC, DeclarationName()),
Douglas Gregord475b8d2009-03-25 21:17:03 +000041 TemplateOrInstantiation() { }
Douglas Gregor7d7e6722008-11-12 23:21:09 +000042
Ted Kremenek4b7c9832008-09-05 17:16:31 +000043CXXRecordDecl *CXXRecordDecl::Create(ASTContext &C, TagKind TK, DeclContext *DC,
44 SourceLocation L, IdentifierInfo *Id,
Douglas Gregor741dd9a2009-07-21 14:46:17 +000045 SourceLocation TKL,
Douglas Gregoraafc0cc2009-05-15 19:11:46 +000046 CXXRecordDecl* PrevDecl,
47 bool DelayTypeCreation) {
Mike Stump1eb44332009-09-09 15:08:12 +000048 CXXRecordDecl* R = new (C) CXXRecordDecl(CXXRecord, TK, DC, L, Id,
Douglas Gregor8e9e9ef2009-07-29 23:36:44 +000049 PrevDecl, TKL);
Mike Stump1eb44332009-09-09 15:08:12 +000050
Douglas Gregor8e9e9ef2009-07-29 23:36:44 +000051 // FIXME: DelayTypeCreation seems like such a hack
Douglas Gregoraafc0cc2009-05-15 19:11:46 +000052 if (!DelayTypeCreation)
Mike Stump1eb44332009-09-09 15:08:12 +000053 C.getTypeDeclType(R, PrevDecl);
Ted Kremenek4b7c9832008-09-05 17:16:31 +000054 return R;
55}
56
Douglas Gregorf8268ae2008-10-22 17:49:05 +000057CXXRecordDecl::~CXXRecordDecl() {
Fariborz Jahanian5ffcd7b2009-07-02 18:26:15 +000058}
59
60void CXXRecordDecl::Destroy(ASTContext &C) {
61 C.Deallocate(Bases);
Fariborz Jahanian71c6e712009-07-22 17:41:53 +000062 C.Deallocate(VBases);
Fariborz Jahanian5ffcd7b2009-07-02 18:26:15 +000063 this->RecordDecl::Destroy(C);
Douglas Gregorf8268ae2008-10-22 17:49:05 +000064}
65
Mike Stump1eb44332009-09-09 15:08:12 +000066void
Fariborz Jahanian5ffcd7b2009-07-02 18:26:15 +000067CXXRecordDecl::setBases(ASTContext &C,
Mike Stump1eb44332009-09-09 15:08:12 +000068 CXXBaseSpecifier const * const *Bases,
Douglas Gregor57c856b2008-10-23 18:13:27 +000069 unsigned NumBases) {
Mike Stump1eb44332009-09-09 15:08:12 +000070 // C++ [dcl.init.aggr]p1:
Douglas Gregor64bffa92008-11-05 16:20:31 +000071 // An aggregate is an array or a class (clause 9) with [...]
72 // no base classes [...].
73 Aggregate = false;
74
Douglas Gregor57c856b2008-10-23 18:13:27 +000075 if (this->Bases)
Fariborz Jahanian5ffcd7b2009-07-02 18:26:15 +000076 C.Deallocate(this->Bases);
Mike Stump1eb44332009-09-09 15:08:12 +000077
Fariborz Jahanian40c072f2009-07-10 20:13:23 +000078 int vbaseCount = 0;
79 llvm::SmallVector<const CXXBaseSpecifier*, 8> UniqueVbases;
80 bool hasDirectVirtualBase = false;
Mike Stump1eb44332009-09-09 15:08:12 +000081
Fariborz Jahanian5ffcd7b2009-07-02 18:26:15 +000082 this->Bases = new(C) CXXBaseSpecifier [NumBases];
Douglas Gregor57c856b2008-10-23 18:13:27 +000083 this->NumBases = NumBases;
Fariborz Jahanian40c072f2009-07-10 20:13:23 +000084 for (unsigned i = 0; i < NumBases; ++i) {
Douglas Gregor57c856b2008-10-23 18:13:27 +000085 this->Bases[i] = *Bases[i];
Fariborz Jahanian40c072f2009-07-10 20:13:23 +000086 // Keep track of inherited vbases for this base class.
87 const CXXBaseSpecifier *Base = Bases[i];
88 QualType BaseType = Base->getType();
Mike Stump1eb44332009-09-09 15:08:12 +000089 // Skip template types.
Fariborz Jahanian40c072f2009-07-10 20:13:23 +000090 // FIXME. This means that this list must be rebuilt during template
91 // instantiation.
92 if (BaseType->isDependentType())
93 continue;
94 CXXRecordDecl *BaseClassDecl
Ted Kremenek6217b802009-07-29 21:53:49 +000095 = cast<CXXRecordDecl>(BaseType->getAs<RecordType>()->getDecl());
Fariborz Jahanian40c072f2009-07-10 20:13:23 +000096 if (Base->isVirtual())
97 hasDirectVirtualBase = true;
Mike Stump1eb44332009-09-09 15:08:12 +000098 for (CXXRecordDecl::base_class_iterator VBase =
Fariborz Jahanian40c072f2009-07-10 20:13:23 +000099 BaseClassDecl->vbases_begin(),
100 E = BaseClassDecl->vbases_end(); VBase != E; ++VBase) {
Mike Stump1eb44332009-09-09 15:08:12 +0000101 // Add this vbase to the array of vbases for current class if it is
Fariborz Jahanian40c072f2009-07-10 20:13:23 +0000102 // not already in the list.
103 // FIXME. Note that we do a linear search as number of such classes are
104 // very few.
105 int i;
106 for (i = 0; i < vbaseCount; ++i)
107 if (UniqueVbases[i]->getType() == VBase->getType())
108 break;
109 if (i == vbaseCount) {
110 UniqueVbases.push_back(VBase);
111 ++vbaseCount;
112 }
113 }
114 }
115 if (hasDirectVirtualBase) {
116 // Iterate one more time through the direct bases and add the virtual
117 // base to the list of vritual bases for current class.
118 for (unsigned i = 0; i < NumBases; ++i) {
119 const CXXBaseSpecifier *VBase = Bases[i];
120 if (!VBase->isVirtual())
121 continue;
Alisdair Meredith002b91f2009-07-11 14:32:10 +0000122 int j;
123 for (j = 0; j < vbaseCount; ++j)
124 if (UniqueVbases[j]->getType() == VBase->getType())
Fariborz Jahanian40c072f2009-07-10 20:13:23 +0000125 break;
Alisdair Meredith002b91f2009-07-11 14:32:10 +0000126 if (j == vbaseCount) {
Fariborz Jahanian40c072f2009-07-10 20:13:23 +0000127 UniqueVbases.push_back(VBase);
128 ++vbaseCount;
129 }
130 }
131 }
132 if (vbaseCount > 0) {
133 // build AST for inhireted, direct or indirect, virtual bases.
Douglas Gregor1f2023a2009-07-22 18:25:24 +0000134 this->VBases = new (C) CXXBaseSpecifier [vbaseCount];
Fariborz Jahanian40c072f2009-07-10 20:13:23 +0000135 this->NumVBases = vbaseCount;
136 for (int i = 0; i < vbaseCount; i++) {
137 QualType QT = UniqueVbases[i]->getType();
138 CXXRecordDecl *VBaseClassDecl
Ted Kremenek6217b802009-07-29 21:53:49 +0000139 = cast<CXXRecordDecl>(QT->getAs<RecordType>()->getDecl());
Mike Stump1eb44332009-09-09 15:08:12 +0000140 this->VBases[i] =
Douglas Gregor2aef06d2009-07-22 20:55:49 +0000141 CXXBaseSpecifier(VBaseClassDecl->getSourceRange(), true,
142 VBaseClassDecl->getTagKind() == RecordDecl::TK_class,
143 UniqueVbases[i]->getAccessSpecifier(), QT);
Fariborz Jahanian40c072f2009-07-10 20:13:23 +0000144 }
145 }
Douglas Gregor57c856b2008-10-23 18:13:27 +0000146}
147
Douglas Gregor396b7cd2008-11-03 17:51:48 +0000148bool CXXRecordDecl::hasConstCopyConstructor(ASTContext &Context) const {
John McCall0953e762009-09-24 19:53:00 +0000149 return getCopyConstructor(Context, Qualifiers::Const) != 0;
Fariborz Jahanian485f0872009-06-22 23:34:40 +0000150}
151
Mike Stump1eb44332009-09-09 15:08:12 +0000152CXXConstructorDecl *CXXRecordDecl::getCopyConstructor(ASTContext &Context,
Fariborz Jahanian485f0872009-06-22 23:34:40 +0000153 unsigned TypeQuals) const{
Sebastian Redl64b45f72009-01-05 20:52:13 +0000154 QualType ClassType
155 = Context.getTypeDeclType(const_cast<CXXRecordDecl*>(this));
Mike Stump1eb44332009-09-09 15:08:12 +0000156 DeclarationName ConstructorName
Douglas Gregor9e7d9de2008-12-15 21:24:18 +0000157 = Context.DeclarationNames.getCXXConstructorName(
Fariborz Jahanian485f0872009-06-22 23:34:40 +0000158 Context.getCanonicalType(ClassType));
159 unsigned FoundTQs;
Douglas Gregorfdfab6b2008-12-23 21:31:30 +0000160 DeclContext::lookup_const_iterator Con, ConEnd;
Argyrios Kyrtzidis17945a02009-06-30 02:36:12 +0000161 for (llvm::tie(Con, ConEnd) = this->lookup(ConstructorName);
Douglas Gregorfdfab6b2008-12-23 21:31:30 +0000162 Con != ConEnd; ++Con) {
Douglas Gregord93bacf2009-09-04 14:46:39 +0000163 // C++ [class.copy]p2:
164 // A non-template constructor for class X is a copy constructor if [...]
165 if (isa<FunctionTemplateDecl>(*Con))
166 continue;
167
Mike Stump1eb44332009-09-09 15:08:12 +0000168 if (cast<CXXConstructorDecl>(*Con)->isCopyConstructor(Context,
Fariborz Jahanian485f0872009-06-22 23:34:40 +0000169 FoundTQs)) {
John McCall0953e762009-09-24 19:53:00 +0000170 if (((TypeQuals & Qualifiers::Const) == (FoundTQs & Qualifiers::Const)) ||
171 (!(TypeQuals & Qualifiers::Const) && (FoundTQs & Qualifiers::Const)))
Fariborz Jahanian485f0872009-06-22 23:34:40 +0000172 return cast<CXXConstructorDecl>(*Con);
Mike Stump1eb44332009-09-09 15:08:12 +0000173
Fariborz Jahanian485f0872009-06-22 23:34:40 +0000174 }
Douglas Gregor396b7cd2008-11-03 17:51:48 +0000175 }
Fariborz Jahanian485f0872009-06-22 23:34:40 +0000176 return 0;
Douglas Gregor396b7cd2008-11-03 17:51:48 +0000177}
178
Fariborz Jahanian0270b8a2009-08-12 23:34:46 +0000179bool CXXRecordDecl::hasConstCopyAssignment(ASTContext &Context,
180 const CXXMethodDecl *& MD) const {
Sebastian Redl64b45f72009-01-05 20:52:13 +0000181 QualType ClassType = Context.getCanonicalType(Context.getTypeDeclType(
182 const_cast<CXXRecordDecl*>(this)));
183 DeclarationName OpName =Context.DeclarationNames.getCXXOperatorName(OO_Equal);
184
185 DeclContext::lookup_const_iterator Op, OpEnd;
Argyrios Kyrtzidis17945a02009-06-30 02:36:12 +0000186 for (llvm::tie(Op, OpEnd) = this->lookup(OpName);
Sebastian Redl64b45f72009-01-05 20:52:13 +0000187 Op != OpEnd; ++Op) {
188 // C++ [class.copy]p9:
189 // A user-declared copy assignment operator is a non-static non-template
190 // member function of class X with exactly one parameter of type X, X&,
191 // const X&, volatile X& or const volatile X&.
192 const CXXMethodDecl* Method = cast<CXXMethodDecl>(*Op);
193 if (Method->isStatic())
194 continue;
195 // TODO: Skip templates? Or is this implicitly done due to parameter types?
Douglas Gregor72564e72009-02-26 23:50:07 +0000196 const FunctionProtoType *FnType =
John McCall183700f2009-09-21 23:43:11 +0000197 Method->getType()->getAs<FunctionProtoType>();
Sebastian Redl64b45f72009-01-05 20:52:13 +0000198 assert(FnType && "Overloaded operator has no prototype.");
199 // Don't assert on this; an invalid decl might have been left in the AST.
200 if (FnType->getNumArgs() != 1 || FnType->isVariadic())
201 continue;
202 bool AcceptsConst = true;
203 QualType ArgType = FnType->getArgType(0);
Ted Kremenek6217b802009-07-29 21:53:49 +0000204 if (const LValueReferenceType *Ref = ArgType->getAs<LValueReferenceType>()) {
Sebastian Redl64b45f72009-01-05 20:52:13 +0000205 ArgType = Ref->getPointeeType();
Douglas Gregor2ff44782009-03-20 20:21:37 +0000206 // Is it a non-const lvalue reference?
Sebastian Redl64b45f72009-01-05 20:52:13 +0000207 if (!ArgType.isConstQualified())
208 AcceptsConst = false;
209 }
210 if (Context.getCanonicalType(ArgType).getUnqualifiedType() != ClassType)
211 continue;
Fariborz Jahanian0270b8a2009-08-12 23:34:46 +0000212 MD = Method;
Sebastian Redl64b45f72009-01-05 20:52:13 +0000213 // We have a single argument of type cv X or cv X&, i.e. we've found the
214 // copy assignment operator. Return whether it accepts const arguments.
215 return AcceptsConst;
216 }
217 assert(isInvalidDecl() &&
218 "No copy assignment operator declared in valid code.");
219 return false;
220}
221
222void
Mike Stump1eb44332009-09-09 15:08:12 +0000223CXXRecordDecl::addedConstructor(ASTContext &Context,
Douglas Gregor9e7d9de2008-12-15 21:24:18 +0000224 CXXConstructorDecl *ConDecl) {
Fariborz Jahanian8bc3fa42009-06-17 22:44:31 +0000225 assert(!ConDecl->isImplicit() && "addedConstructor - not for implicit decl");
226 // Note that we have a user-declared constructor.
227 UserDeclaredConstructor = true;
Douglas Gregor030ff0c2008-10-31 20:25:05 +0000228
Mike Stump1eb44332009-09-09 15:08:12 +0000229 // C++ [dcl.init.aggr]p1:
Fariborz Jahanian8bc3fa42009-06-17 22:44:31 +0000230 // An aggregate is an array or a class (clause 9) with no
231 // user-declared constructors (12.1) [...].
232 Aggregate = false;
Douglas Gregor64bffa92008-11-05 16:20:31 +0000233
Fariborz Jahanian8bc3fa42009-06-17 22:44:31 +0000234 // C++ [class]p4:
235 // A POD-struct is an aggregate class [...]
236 PlainOldData = false;
Sebastian Redl64b45f72009-01-05 20:52:13 +0000237
Fariborz Jahanian8bc3fa42009-06-17 22:44:31 +0000238 // C++ [class.ctor]p5:
239 // A constructor is trivial if it is an implicitly-declared default
240 // constructor.
Douglas Gregor1f2023a2009-07-22 18:25:24 +0000241 // FIXME: C++0x: don't do this for "= default" default constructors.
Fariborz Jahanian8bc3fa42009-06-17 22:44:31 +0000242 HasTrivialConstructor = false;
Mike Stump1eb44332009-09-09 15:08:12 +0000243
Fariborz Jahanian8bc3fa42009-06-17 22:44:31 +0000244 // Note when we have a user-declared copy constructor, which will
245 // suppress the implicit declaration of a copy constructor.
Douglas Gregor1f2023a2009-07-22 18:25:24 +0000246 if (ConDecl->isCopyConstructor(Context)) {
Fariborz Jahanian8bc3fa42009-06-17 22:44:31 +0000247 UserDeclaredCopyConstructor = true;
Douglas Gregor1f2023a2009-07-22 18:25:24 +0000248
249 // C++ [class.copy]p6:
250 // A copy constructor is trivial if it is implicitly declared.
251 // FIXME: C++0x: don't do this for "= default" copy constructors.
252 HasTrivialCopyConstructor = false;
253 }
Douglas Gregor030ff0c2008-10-31 20:25:05 +0000254}
255
Sebastian Redl64b45f72009-01-05 20:52:13 +0000256void CXXRecordDecl::addedAssignmentOperator(ASTContext &Context,
257 CXXMethodDecl *OpDecl) {
258 // We're interested specifically in copy assignment operators.
John McCall183700f2009-09-21 23:43:11 +0000259 const FunctionProtoType *FnType = OpDecl->getType()->getAs<FunctionProtoType>();
Sebastian Redl64b45f72009-01-05 20:52:13 +0000260 assert(FnType && "Overloaded operator has no proto function type.");
261 assert(FnType->getNumArgs() == 1 && !FnType->isVariadic());
262 QualType ArgType = FnType->getArgType(0);
Ted Kremenek6217b802009-07-29 21:53:49 +0000263 if (const LValueReferenceType *Ref = ArgType->getAs<LValueReferenceType>())
Sebastian Redl64b45f72009-01-05 20:52:13 +0000264 ArgType = Ref->getPointeeType();
265
266 ArgType = ArgType.getUnqualifiedType();
267 QualType ClassType = Context.getCanonicalType(Context.getTypeDeclType(
268 const_cast<CXXRecordDecl*>(this)));
269
270 if (ClassType != Context.getCanonicalType(ArgType))
271 return;
272
273 // This is a copy assignment operator.
274 // Suppress the implicit declaration of a copy constructor.
275 UserDeclaredCopyAssignment = true;
276
Douglas Gregor1f2023a2009-07-22 18:25:24 +0000277 // C++ [class.copy]p11:
278 // A copy assignment operator is trivial if it is implicitly declared.
279 // FIXME: C++0x: don't do this for "= default" copy operators.
280 HasTrivialCopyAssignment = false;
281
Sebastian Redl64b45f72009-01-05 20:52:13 +0000282 // C++ [class]p4:
283 // A POD-struct is an aggregate class that [...] has no user-defined copy
284 // assignment operator [...].
285 PlainOldData = false;
286}
287
Fariborz Jahanian0351a1e2009-10-07 20:43:36 +0000288void
289CXXRecordDecl::collectConversionFunctions(
Fariborz Jahanianf4e462c2009-10-12 18:36:50 +0000290 llvm::SmallPtrSet<CanQualType, 8>& ConversionsTypeSet)
291{
Fariborz Jahanian0351a1e2009-10-07 20:43:36 +0000292 OverloadedFunctionDecl *TopConversions = getConversionFunctions();
293 for (OverloadedFunctionDecl::function_iterator
294 TFunc = TopConversions->function_begin(),
295 TFuncEnd = TopConversions->function_end();
296 TFunc != TFuncEnd; ++TFunc) {
297 NamedDecl *TopConv = TFunc->get();
Fariborz Jahanianf4e462c2009-10-12 18:36:50 +0000298 CanQualType TConvType;
Fariborz Jahanian0351a1e2009-10-07 20:43:36 +0000299 if (FunctionTemplateDecl *TConversionTemplate =
300 dyn_cast<FunctionTemplateDecl>(TopConv))
301 TConvType =
302 getASTContext().getCanonicalType(
303 TConversionTemplate->getTemplatedDecl()->getResultType());
304 else
305 TConvType =
306 getASTContext().getCanonicalType(
307 cast<CXXConversionDecl>(TopConv)->getConversionType());
308 ConversionsTypeSet.insert(TConvType);
309 }
310}
311
Fariborz Jahanian62509212009-09-12 18:26:03 +0000312/// getNestedVisibleConversionFunctions - imports unique conversion
313/// functions from base classes into the visible conversion function
314/// list of the class 'RD'. This is a private helper method.
Fariborz Jahanian0351a1e2009-10-07 20:43:36 +0000315/// TopConversionsTypeSet is the set of conversion functions of the class
316/// we are interested in. HiddenConversionTypes is set of conversion functions
317/// of the immediate derived class which hides the conversion functions found
318/// in current class.
Fariborz Jahanian62509212009-09-12 18:26:03 +0000319void
Fariborz Jahanian0351a1e2009-10-07 20:43:36 +0000320CXXRecordDecl::getNestedVisibleConversionFunctions(CXXRecordDecl *RD,
Fariborz Jahanianf4e462c2009-10-12 18:36:50 +0000321 const llvm::SmallPtrSet<CanQualType, 8> &TopConversionsTypeSet,
322 const llvm::SmallPtrSet<CanQualType, 8> &HiddenConversionTypes)
323{
Fariborz Jahanian0351a1e2009-10-07 20:43:36 +0000324 bool inTopClass = (RD == this);
Fariborz Jahanian62509212009-09-12 18:26:03 +0000325 QualType ClassType = getASTContext().getTypeDeclType(this);
Fariborz Jahanian53462782009-09-11 21:44:33 +0000326 if (const RecordType *Record = ClassType->getAs<RecordType>()) {
327 OverloadedFunctionDecl *Conversions
328 = cast<CXXRecordDecl>(Record->getDecl())->getConversionFunctions();
Fariborz Jahanianfaebcbb2009-09-12 19:52:10 +0000329
Fariborz Jahanian53462782009-09-11 21:44:33 +0000330 for (OverloadedFunctionDecl::function_iterator
331 Func = Conversions->function_begin(),
332 FuncEnd = Conversions->function_end();
333 Func != FuncEnd; ++Func) {
Fariborz Jahanian62509212009-09-12 18:26:03 +0000334 NamedDecl *Conv = Func->get();
Fariborz Jahanian53462782009-09-11 21:44:33 +0000335 // Only those conversions not exact match of conversions in current
336 // class are candidateconversion routines.
Fariborz Jahanianf4e462c2009-10-12 18:36:50 +0000337 CanQualType ConvType;
Fariborz Jahanianfaebcbb2009-09-12 19:52:10 +0000338 if (FunctionTemplateDecl *ConversionTemplate =
339 dyn_cast<FunctionTemplateDecl>(Conv))
340 ConvType =
341 getASTContext().getCanonicalType(
Fariborz Jahaniana5c12942009-09-15 23:02:16 +0000342 ConversionTemplate->getTemplatedDecl()->getResultType());
Fariborz Jahanianfaebcbb2009-09-12 19:52:10 +0000343 else
344 ConvType =
Fariborz Jahanian8b915e72009-09-15 22:15:23 +0000345 getASTContext().getCanonicalType(
346 cast<CXXConversionDecl>(Conv)->getConversionType());
Fariborz Jahanian0351a1e2009-10-07 20:43:36 +0000347 // We only add conversion functions found in the base class if they
348 // are not hidden by those found in HiddenConversionTypes which are
349 // the conversion functions in its derived class.
350 if (inTopClass ||
351 (!TopConversionsTypeSet.count(ConvType) &&
352 !HiddenConversionTypes.count(ConvType)) ) {
Fariborz Jahanian62509212009-09-12 18:26:03 +0000353 if (FunctionTemplateDecl *ConversionTemplate =
354 dyn_cast<FunctionTemplateDecl>(Conv))
355 RD->addVisibleConversionFunction(ConversionTemplate);
356 else
357 RD->addVisibleConversionFunction(cast<CXXConversionDecl>(Conv));
Fariborz Jahanian53462782009-09-11 21:44:33 +0000358 }
359 }
360 }
361
Fariborz Jahanian12af63b2009-10-08 16:33:37 +0000362 if (getNumBases() == 0 && getNumVBases() == 0)
363 return;
364
Fariborz Jahanianf4e462c2009-10-12 18:36:50 +0000365 llvm::SmallPtrSet<CanQualType, 8> ConversionFunctions;
Fariborz Jahanian12af63b2009-10-08 16:33:37 +0000366 if (!inTopClass)
367 collectConversionFunctions(ConversionFunctions);
368
Fariborz Jahanian53462782009-09-11 21:44:33 +0000369 for (CXXRecordDecl::base_class_iterator VBase = vbases_begin(),
370 E = vbases_end(); VBase != E; ++VBase) {
371 CXXRecordDecl *VBaseClassDecl
372 = cast<CXXRecordDecl>(VBase->getType()->getAs<RecordType>()->getDecl());
Fariborz Jahanian12af63b2009-10-08 16:33:37 +0000373 VBaseClassDecl->getNestedVisibleConversionFunctions(RD,
374 TopConversionsTypeSet,
375 (inTopClass ? TopConversionsTypeSet : ConversionFunctions));
376
Fariborz Jahanian53462782009-09-11 21:44:33 +0000377 }
378 for (CXXRecordDecl::base_class_iterator Base = bases_begin(),
379 E = bases_end(); Base != E; ++Base) {
380 if (Base->isVirtual())
381 continue;
382 CXXRecordDecl *BaseClassDecl
383 = cast<CXXRecordDecl>(Base->getType()->getAs<RecordType>()->getDecl());
Fariborz Jahanian12af63b2009-10-08 16:33:37 +0000384
385 BaseClassDecl->getNestedVisibleConversionFunctions(RD,
386 TopConversionsTypeSet,
387 (inTopClass ? TopConversionsTypeSet : ConversionFunctions));
388
Fariborz Jahanian53462782009-09-11 21:44:33 +0000389 }
Fariborz Jahanian62509212009-09-12 18:26:03 +0000390}
391
392/// getVisibleConversionFunctions - get all conversion functions visible
393/// in current class; including conversion function templates.
394OverloadedFunctionDecl *
395CXXRecordDecl::getVisibleConversionFunctions() {
396 // If root class, all conversions are visible.
397 if (bases_begin() == bases_end())
398 return &Conversions;
399 // If visible conversion list is already evaluated, return it.
400 if (ComputedVisibleConversions)
401 return &VisibleConversions;
Fariborz Jahanianf4e462c2009-10-12 18:36:50 +0000402 llvm::SmallPtrSet<CanQualType, 8> TopConversionsTypeSet;
Fariborz Jahanian0351a1e2009-10-07 20:43:36 +0000403 collectConversionFunctions(TopConversionsTypeSet);
404 getNestedVisibleConversionFunctions(this, TopConversionsTypeSet,
405 TopConversionsTypeSet);
Fariborz Jahanian62509212009-09-12 18:26:03 +0000406 ComputedVisibleConversions = true;
Fariborz Jahanian53462782009-09-11 21:44:33 +0000407 return &VisibleConversions;
408}
409
Fariborz Jahanian62509212009-09-12 18:26:03 +0000410void CXXRecordDecl::addVisibleConversionFunction(
Fariborz Jahanian53462782009-09-11 21:44:33 +0000411 CXXConversionDecl *ConvDecl) {
412 assert(!ConvDecl->getDescribedFunctionTemplate() &&
413 "Conversion function templates should cast to FunctionTemplateDecl.");
414 VisibleConversions.addOverload(ConvDecl);
415}
416
Fariborz Jahanian62509212009-09-12 18:26:03 +0000417void CXXRecordDecl::addVisibleConversionFunction(
Fariborz Jahanian53462782009-09-11 21:44:33 +0000418 FunctionTemplateDecl *ConvDecl) {
419 assert(isa<CXXConversionDecl>(ConvDecl->getTemplatedDecl()) &&
420 "Function template is not a conversion function template");
421 VisibleConversions.addOverload(ConvDecl);
422}
423
Fariborz Jahaniandebc6292009-09-12 19:02:34 +0000424void CXXRecordDecl::addConversionFunction(CXXConversionDecl *ConvDecl) {
Douglas Gregor65ec1fd2009-08-21 23:19:43 +0000425 assert(!ConvDecl->getDescribedFunctionTemplate() &&
426 "Conversion function templates should cast to FunctionTemplateDecl.");
Douglas Gregor2f1bc522008-11-07 20:08:42 +0000427 Conversions.addOverload(ConvDecl);
428}
429
Fariborz Jahaniandebc6292009-09-12 19:02:34 +0000430void CXXRecordDecl::addConversionFunction(FunctionTemplateDecl *ConvDecl) {
Douglas Gregor65ec1fd2009-08-21 23:19:43 +0000431 assert(isa<CXXConversionDecl>(ConvDecl->getTemplatedDecl()) &&
432 "Function template is not a conversion function template");
433 Conversions.addOverload(ConvDecl);
434}
Fariborz Jahanianf8dcb862009-06-19 19:55:27 +0000435
Douglas Gregorf6b11852009-10-08 15:14:33 +0000436CXXRecordDecl *CXXRecordDecl::getInstantiatedFromMemberClass() const {
Douglas Gregorb3ae4fc2009-10-12 20:18:28 +0000437 if (MemberSpecializationInfo *MSInfo = getMemberSpecializationInfo())
Douglas Gregorf6b11852009-10-08 15:14:33 +0000438 return cast<CXXRecordDecl>(MSInfo->getInstantiatedFrom());
439
440 return 0;
441}
442
Douglas Gregorb3ae4fc2009-10-12 20:18:28 +0000443MemberSpecializationInfo *CXXRecordDecl::getMemberSpecializationInfo() const {
444 return TemplateOrInstantiation.dyn_cast<MemberSpecializationInfo *>();
445}
446
Douglas Gregorf6b11852009-10-08 15:14:33 +0000447void
448CXXRecordDecl::setInstantiationOfMemberClass(CXXRecordDecl *RD,
449 TemplateSpecializationKind TSK) {
450 assert(TemplateOrInstantiation.isNull() &&
451 "Previous template or instantiation?");
452 assert(!isa<ClassTemplateSpecializationDecl>(this));
453 TemplateOrInstantiation
454 = new (getASTContext()) MemberSpecializationInfo(RD, TSK);
455}
456
457TemplateSpecializationKind CXXRecordDecl::getTemplateSpecializationKind() {
458 if (ClassTemplateSpecializationDecl *Spec
459 = dyn_cast<ClassTemplateSpecializationDecl>(this))
460 return Spec->getSpecializationKind();
461
Douglas Gregorb3ae4fc2009-10-12 20:18:28 +0000462 if (MemberSpecializationInfo *MSInfo = getMemberSpecializationInfo())
Douglas Gregorf6b11852009-10-08 15:14:33 +0000463 return MSInfo->getTemplateSpecializationKind();
464
465 return TSK_Undeclared;
466}
467
468void
469CXXRecordDecl::setTemplateSpecializationKind(TemplateSpecializationKind TSK) {
470 if (ClassTemplateSpecializationDecl *Spec
471 = dyn_cast<ClassTemplateSpecializationDecl>(this)) {
472 Spec->setSpecializationKind(TSK);
473 return;
474 }
475
Douglas Gregorb3ae4fc2009-10-12 20:18:28 +0000476 if (MemberSpecializationInfo *MSInfo = getMemberSpecializationInfo()) {
Douglas Gregorf6b11852009-10-08 15:14:33 +0000477 MSInfo->setTemplateSpecializationKind(TSK);
478 return;
479 }
480
481 assert(false && "Not a class template or member class specialization");
482}
483
Fariborz Jahanianf8dcb862009-06-19 19:55:27 +0000484CXXConstructorDecl *
485CXXRecordDecl::getDefaultConstructor(ASTContext &Context) {
486 QualType ClassType = Context.getTypeDeclType(this);
487 DeclarationName ConstructorName
488 = Context.DeclarationNames.getCXXConstructorName(
489 Context.getCanonicalType(ClassType.getUnqualifiedType()));
Mike Stump1eb44332009-09-09 15:08:12 +0000490
Fariborz Jahanianf8dcb862009-06-19 19:55:27 +0000491 DeclContext::lookup_const_iterator Con, ConEnd;
Argyrios Kyrtzidis17945a02009-06-30 02:36:12 +0000492 for (llvm::tie(Con, ConEnd) = lookup(ConstructorName);
Fariborz Jahanianf8dcb862009-06-19 19:55:27 +0000493 Con != ConEnd; ++Con) {
Douglas Gregord93bacf2009-09-04 14:46:39 +0000494 // FIXME: In C++0x, a constructor template can be a default constructor.
495 if (isa<FunctionTemplateDecl>(*Con))
496 continue;
497
Fariborz Jahanianf8dcb862009-06-19 19:55:27 +0000498 CXXConstructorDecl *Constructor = cast<CXXConstructorDecl>(*Con);
499 if (Constructor->isDefaultConstructor())
500 return Constructor;
501 }
502 return 0;
503}
504
Anders Carlsson7267c162009-05-29 21:03:38 +0000505const CXXDestructorDecl *
506CXXRecordDecl::getDestructor(ASTContext &Context) {
507 QualType ClassType = Context.getTypeDeclType(this);
Mike Stump1eb44332009-09-09 15:08:12 +0000508
509 DeclarationName Name
Douglas Gregor50d62d12009-08-05 05:36:45 +0000510 = Context.DeclarationNames.getCXXDestructorName(
511 Context.getCanonicalType(ClassType));
Anders Carlsson7267c162009-05-29 21:03:38 +0000512
513 DeclContext::lookup_iterator I, E;
Mike Stump1eb44332009-09-09 15:08:12 +0000514 llvm::tie(I, E) = lookup(Name);
Anders Carlsson7267c162009-05-29 21:03:38 +0000515 assert(I != E && "Did not find a destructor!");
Mike Stump1eb44332009-09-09 15:08:12 +0000516
Anders Carlsson7267c162009-05-29 21:03:38 +0000517 const CXXDestructorDecl *Dtor = cast<CXXDestructorDecl>(*I);
518 assert(++I == E && "Found more than one destructor!");
Mike Stump1eb44332009-09-09 15:08:12 +0000519
Anders Carlsson7267c162009-05-29 21:03:38 +0000520 return Dtor;
521}
522
Ted Kremenek4b7c9832008-09-05 17:16:31 +0000523CXXMethodDecl *
524CXXMethodDecl::Create(ASTContext &C, CXXRecordDecl *RD,
Douglas Gregor10bd3682008-11-17 22:58:34 +0000525 SourceLocation L, DeclarationName N,
Argyrios Kyrtzidisa1d56622009-08-19 01:27:57 +0000526 QualType T, DeclaratorInfo *DInfo,
527 bool isStatic, bool isInline) {
528 return new (C) CXXMethodDecl(CXXMethod, RD, L, N, T, DInfo,
529 isStatic, isInline);
Ted Kremenek4b7c9832008-09-05 17:16:31 +0000530}
531
Douglas Gregor90916562009-09-29 18:16:17 +0000532bool CXXMethodDecl::isUsualDeallocationFunction() const {
533 if (getOverloadedOperator() != OO_Delete &&
534 getOverloadedOperator() != OO_Array_Delete)
535 return false;
536
537 // C++ [basic.stc.dynamic.deallocation]p2:
538 // If a class T has a member deallocation function named operator delete
539 // with exactly one parameter, then that function is a usual (non-placement)
540 // deallocation function. [...]
541 if (getNumParams() == 1)
542 return true;
543
544 // C++ [basic.stc.dynamic.deallocation]p2:
545 // [...] If class T does not declare such an operator delete but does
546 // declare a member deallocation function named operator delete with
547 // exactly two parameters, the second of which has type std::size_t (18.1),
548 // then this function is a usual deallocation function.
549 ASTContext &Context = getASTContext();
550 if (getNumParams() != 2 ||
551 !Context.hasSameType(getParamDecl(1)->getType(), Context.getSizeType()))
552 return false;
553
554 // This function is a usual deallocation function if there are no
555 // single-parameter deallocation functions of the same kind.
556 for (DeclContext::lookup_const_result R = getDeclContext()->lookup(getDeclName());
557 R.first != R.second; ++R.first) {
558 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(*R.first))
559 if (FD->getNumParams() == 1)
560 return false;
561 }
562
563 return true;
564}
565
Mike Stump1eb44332009-09-09 15:08:12 +0000566typedef llvm::DenseMap<const CXXMethodDecl*,
567 std::vector<const CXXMethodDecl *> *>
Anders Carlsson05eb2442009-05-16 23:58:37 +0000568 OverriddenMethodsMapTy;
569
Mike Stumpb9871a22009-08-21 01:45:00 +0000570// FIXME: We hate static data. This doesn't survive PCH saving/loading, and
571// the vtable building code uses it at CG time.
Anders Carlsson05eb2442009-05-16 23:58:37 +0000572static OverriddenMethodsMapTy *OverriddenMethods = 0;
573
574void CXXMethodDecl::addOverriddenMethod(const CXXMethodDecl *MD) {
575 // FIXME: The CXXMethodDecl dtor needs to remove and free the entry.
Mike Stump1eb44332009-09-09 15:08:12 +0000576
Anders Carlsson05eb2442009-05-16 23:58:37 +0000577 if (!OverriddenMethods)
578 OverriddenMethods = new OverriddenMethodsMapTy();
Mike Stump1eb44332009-09-09 15:08:12 +0000579
Anders Carlsson05eb2442009-05-16 23:58:37 +0000580 std::vector<const CXXMethodDecl *> *&Methods = (*OverriddenMethods)[this];
581 if (!Methods)
582 Methods = new std::vector<const CXXMethodDecl *>;
Mike Stump1eb44332009-09-09 15:08:12 +0000583
Anders Carlsson05eb2442009-05-16 23:58:37 +0000584 Methods->push_back(MD);
585}
586
587CXXMethodDecl::method_iterator CXXMethodDecl::begin_overridden_methods() const {
588 if (!OverriddenMethods)
589 return 0;
Mike Stump1eb44332009-09-09 15:08:12 +0000590
Anders Carlsson05eb2442009-05-16 23:58:37 +0000591 OverriddenMethodsMapTy::iterator it = OverriddenMethods->find(this);
Daniel Dunbar0908c332009-08-01 23:40:20 +0000592 if (it == OverriddenMethods->end() || it->second->empty())
Anders Carlsson05eb2442009-05-16 23:58:37 +0000593 return 0;
Daniel Dunbar0908c332009-08-01 23:40:20 +0000594
Anders Carlsson05eb2442009-05-16 23:58:37 +0000595 return &(*it->second)[0];
596}
597
598CXXMethodDecl::method_iterator CXXMethodDecl::end_overridden_methods() const {
599 if (!OverriddenMethods)
600 return 0;
Mike Stump1eb44332009-09-09 15:08:12 +0000601
Anders Carlsson05eb2442009-05-16 23:58:37 +0000602 OverriddenMethodsMapTy::iterator it = OverriddenMethods->find(this);
Daniel Dunbar0908c332009-08-01 23:40:20 +0000603 if (it == OverriddenMethods->end() || it->second->empty())
Anders Carlsson05eb2442009-05-16 23:58:37 +0000604 return 0;
605
Daniel Dunbar637ec322009-08-02 01:48:29 +0000606 return &(*it->second)[0] + it->second->size();
Anders Carlsson05eb2442009-05-16 23:58:37 +0000607}
608
Ted Kremenek4b7c9832008-09-05 17:16:31 +0000609QualType CXXMethodDecl::getThisType(ASTContext &C) const {
Argyrios Kyrtzidisb0d178d2008-10-24 22:28:18 +0000610 // C++ 9.3.2p1: The type of this in a member function of a class X is X*.
611 // If the member function is declared const, the type of this is const X*,
612 // if the member function is declared volatile, the type of this is
613 // volatile X*, and if the member function is declared const volatile,
614 // the type of this is const volatile X*.
615
Ted Kremenek4b7c9832008-09-05 17:16:31 +0000616 assert(isInstance() && "No 'this' for static methods!");
Anders Carlsson31a08752009-06-13 02:59:33 +0000617
618 QualType ClassTy;
619 if (ClassTemplateDecl *TD = getParent()->getDescribedClassTemplate())
620 ClassTy = TD->getInjectedClassNameType(C);
621 else
Mike Stumpe607ed02009-08-07 18:05:12 +0000622 ClassTy = C.getTagDeclType(getParent());
John McCall0953e762009-09-24 19:53:00 +0000623 ClassTy = C.getQualifiedType(ClassTy,
624 Qualifiers::fromCVRMask(getTypeQualifiers()));
Anders Carlsson4e579922009-07-10 21:35:09 +0000625 return C.getPointerType(ClassTy);
Ted Kremenek4b7c9832008-09-05 17:16:31 +0000626}
627
Douglas Gregor7ad83902008-11-05 04:29:56 +0000628CXXBaseOrMemberInitializer::
Fariborz Jahanian47deacf2009-06-30 00:02:17 +0000629CXXBaseOrMemberInitializer(QualType BaseType, Expr **Args, unsigned NumArgs,
Fariborz Jahaniand7b27e12009-07-23 00:42:24 +0000630 CXXConstructorDecl *C,
Mike Stump1eb44332009-09-09 15:08:12 +0000631 SourceLocation L, SourceLocation R)
Douglas Gregor72f6d672009-09-01 21:04:42 +0000632 : Args(0), NumArgs(0), CtorOrAnonUnion(), IdLoc(L), RParenLoc(R) {
Douglas Gregor7ad83902008-11-05 04:29:56 +0000633 BaseOrMember = reinterpret_cast<uintptr_t>(BaseType.getTypePtr());
634 assert((BaseOrMember & 0x01) == 0 && "Invalid base class type pointer");
635 BaseOrMember |= 0x01;
Mike Stump1eb44332009-09-09 15:08:12 +0000636
Douglas Gregor7ad83902008-11-05 04:29:56 +0000637 if (NumArgs > 0) {
638 this->NumArgs = NumArgs;
Fariborz Jahanian50b8eea2009-07-24 17:57:02 +0000639 // FIXME. Allocation via Context
640 this->Args = new Stmt*[NumArgs];
Douglas Gregor7ad83902008-11-05 04:29:56 +0000641 for (unsigned Idx = 0; Idx < NumArgs; ++Idx)
642 this->Args[Idx] = Args[Idx];
643 }
Douglas Gregor72f6d672009-09-01 21:04:42 +0000644 CtorOrAnonUnion = C;
Douglas Gregor7ad83902008-11-05 04:29:56 +0000645}
646
647CXXBaseOrMemberInitializer::
Fariborz Jahanian47deacf2009-06-30 00:02:17 +0000648CXXBaseOrMemberInitializer(FieldDecl *Member, Expr **Args, unsigned NumArgs,
Fariborz Jahaniand7b27e12009-07-23 00:42:24 +0000649 CXXConstructorDecl *C,
Anders Carlsson8c57a662009-08-29 01:31:33 +0000650 SourceLocation L, SourceLocation R)
Douglas Gregor72f6d672009-09-01 21:04:42 +0000651 : Args(0), NumArgs(0), CtorOrAnonUnion(), IdLoc(L), RParenLoc(R) {
Douglas Gregor7ad83902008-11-05 04:29:56 +0000652 BaseOrMember = reinterpret_cast<uintptr_t>(Member);
Mike Stump1eb44332009-09-09 15:08:12 +0000653 assert((BaseOrMember & 0x01) == 0 && "Invalid member pointer");
Douglas Gregor7ad83902008-11-05 04:29:56 +0000654
655 if (NumArgs > 0) {
656 this->NumArgs = NumArgs;
Fariborz Jahanian50b8eea2009-07-24 17:57:02 +0000657 this->Args = new Stmt*[NumArgs];
Douglas Gregor7ad83902008-11-05 04:29:56 +0000658 for (unsigned Idx = 0; Idx < NumArgs; ++Idx)
659 this->Args[Idx] = Args[Idx];
660 }
Douglas Gregor72f6d672009-09-01 21:04:42 +0000661 CtorOrAnonUnion = C;
Douglas Gregor7ad83902008-11-05 04:29:56 +0000662}
663
664CXXBaseOrMemberInitializer::~CXXBaseOrMemberInitializer() {
665 delete [] Args;
666}
667
Douglas Gregorb48fe382008-10-31 09:07:45 +0000668CXXConstructorDecl *
669CXXConstructorDecl::Create(ASTContext &C, CXXRecordDecl *RD,
Douglas Gregor2e1cd422008-11-17 14:58:09 +0000670 SourceLocation L, DeclarationName N,
Argyrios Kyrtzidisa1d56622009-08-19 01:27:57 +0000671 QualType T, DeclaratorInfo *DInfo,
672 bool isExplicit,
Douglas Gregorb48fe382008-10-31 09:07:45 +0000673 bool isInline, bool isImplicitlyDeclared) {
Douglas Gregor2e1cd422008-11-17 14:58:09 +0000674 assert(N.getNameKind() == DeclarationName::CXXConstructorName &&
675 "Name must refer to a constructor");
Argyrios Kyrtzidisa1d56622009-08-19 01:27:57 +0000676 return new (C) CXXConstructorDecl(RD, L, N, T, DInfo, isExplicit, isInline,
Douglas Gregorb48fe382008-10-31 09:07:45 +0000677 isImplicitlyDeclared);
678}
679
Douglas Gregor030ff0c2008-10-31 20:25:05 +0000680bool CXXConstructorDecl::isDefaultConstructor() const {
681 // C++ [class.ctor]p5:
Douglas Gregor64bffa92008-11-05 16:20:31 +0000682 // A default constructor for a class X is a constructor of class
683 // X that can be called without an argument.
Douglas Gregor030ff0c2008-10-31 20:25:05 +0000684 return (getNumParams() == 0) ||
Anders Carlssonda3f4e22009-08-25 05:12:04 +0000685 (getNumParams() > 0 && getParamDecl(0)->hasDefaultArg());
Douglas Gregor030ff0c2008-10-31 20:25:05 +0000686}
687
Mike Stump1eb44332009-09-09 15:08:12 +0000688bool
689CXXConstructorDecl::isCopyConstructor(ASTContext &Context,
Douglas Gregor030ff0c2008-10-31 20:25:05 +0000690 unsigned &TypeQuals) const {
691 // C++ [class.copy]p2:
Douglas Gregor64bffa92008-11-05 16:20:31 +0000692 // A non-template constructor for class X is a copy constructor
693 // if its first parameter is of type X&, const X&, volatile X& or
694 // const volatile X&, and either there are no other parameters
695 // or else all other parameters have default arguments (8.3.6).
Douglas Gregor030ff0c2008-10-31 20:25:05 +0000696 if ((getNumParams() < 1) ||
Anders Carlssonae0b4e72009-06-06 04:14:07 +0000697 (getNumParams() > 1 && !getParamDecl(1)->hasDefaultArg()))
Douglas Gregor030ff0c2008-10-31 20:25:05 +0000698 return false;
699
700 const ParmVarDecl *Param = getParamDecl(0);
701
Sebastian Redl7c80bd62009-03-16 23:22:08 +0000702 // Do we have a reference type? Rvalue references don't count.
703 const LValueReferenceType *ParamRefType =
Ted Kremenek6217b802009-07-29 21:53:49 +0000704 Param->getType()->getAs<LValueReferenceType>();
Douglas Gregor030ff0c2008-10-31 20:25:05 +0000705 if (!ParamRefType)
706 return false;
707
708 // Is it a reference to our class type?
Douglas Gregor14e0b3d2009-09-15 20:50:23 +0000709 CanQualType PointeeType
Douglas Gregor030ff0c2008-10-31 20:25:05 +0000710 = Context.getCanonicalType(ParamRefType->getPointeeType());
Douglas Gregor14e0b3d2009-09-15 20:50:23 +0000711 CanQualType ClassTy
712 = Context.getCanonicalType(Context.getTagDeclType(getParent()));
Douglas Gregor030ff0c2008-10-31 20:25:05 +0000713 if (PointeeType.getUnqualifiedType() != ClassTy)
714 return false;
715
John McCall0953e762009-09-24 19:53:00 +0000716 // FIXME: other qualifiers?
717
Douglas Gregor030ff0c2008-10-31 20:25:05 +0000718 // We have a copy constructor.
719 TypeQuals = PointeeType.getCVRQualifiers();
720 return true;
721}
722
Anders Carlssonfaccd722009-08-28 16:57:08 +0000723bool CXXConstructorDecl::isConvertingConstructor(bool AllowExplicit) const {
Douglas Gregor60d62c22008-10-31 16:23:19 +0000724 // C++ [class.conv.ctor]p1:
725 // A constructor declared without the function-specifier explicit
726 // that can be called with a single parameter specifies a
727 // conversion from the type of its first parameter to the type of
728 // its class. Such a constructor is called a converting
729 // constructor.
Anders Carlssonfaccd722009-08-28 16:57:08 +0000730 if (isExplicit() && !AllowExplicit)
Douglas Gregor60d62c22008-10-31 16:23:19 +0000731 return false;
732
Mike Stump1eb44332009-09-09 15:08:12 +0000733 return (getNumParams() == 0 &&
John McCall183700f2009-09-21 23:43:11 +0000734 getType()->getAs<FunctionProtoType>()->isVariadic()) ||
Douglas Gregor60d62c22008-10-31 16:23:19 +0000735 (getNumParams() == 1) ||
Anders Carlssonae0b4e72009-06-06 04:14:07 +0000736 (getNumParams() > 1 && getParamDecl(1)->hasDefaultArg());
Douglas Gregor60d62c22008-10-31 16:23:19 +0000737}
Douglas Gregorb48fe382008-10-31 09:07:45 +0000738
Douglas Gregor42a552f2008-11-05 20:51:48 +0000739CXXDestructorDecl *
740CXXDestructorDecl::Create(ASTContext &C, CXXRecordDecl *RD,
Douglas Gregor2e1cd422008-11-17 14:58:09 +0000741 SourceLocation L, DeclarationName N,
Mike Stump1eb44332009-09-09 15:08:12 +0000742 QualType T, bool isInline,
Douglas Gregor42a552f2008-11-05 20:51:48 +0000743 bool isImplicitlyDeclared) {
Douglas Gregor2e1cd422008-11-17 14:58:09 +0000744 assert(N.getNameKind() == DeclarationName::CXXDestructorName &&
745 "Name must refer to a destructor");
Mike Stump1eb44332009-09-09 15:08:12 +0000746 return new (C) CXXDestructorDecl(RD, L, N, T, isInline,
Steve Naroff3e970492009-01-27 21:25:57 +0000747 isImplicitlyDeclared);
Douglas Gregor42a552f2008-11-05 20:51:48 +0000748}
749
Fariborz Jahaniand45c3632009-07-01 21:05:43 +0000750void
Fariborz Jahanian393612e2009-07-21 22:36:06 +0000751CXXDestructorDecl::Destroy(ASTContext& C) {
752 C.Deallocate(BaseOrMemberDestructions);
753 CXXMethodDecl::Destroy(C);
754}
755
756void
Fariborz Jahanian73b85f32009-07-01 23:35:25 +0000757CXXConstructorDecl::Destroy(ASTContext& C) {
758 C.Deallocate(BaseOrMemberInitializers);
Fariborz Jahanian0d3c26c2009-07-07 16:24:08 +0000759 CXXMethodDecl::Destroy(C);
Fariborz Jahanian73b85f32009-07-01 23:35:25 +0000760}
761
Douglas Gregor2f1bc522008-11-07 20:08:42 +0000762CXXConversionDecl *
763CXXConversionDecl::Create(ASTContext &C, CXXRecordDecl *RD,
Douglas Gregor2e1cd422008-11-17 14:58:09 +0000764 SourceLocation L, DeclarationName N,
Argyrios Kyrtzidisa1d56622009-08-19 01:27:57 +0000765 QualType T, DeclaratorInfo *DInfo,
766 bool isInline, bool isExplicit) {
Douglas Gregor2e1cd422008-11-17 14:58:09 +0000767 assert(N.getNameKind() == DeclarationName::CXXConversionFunctionName &&
768 "Name must refer to a conversion function");
Argyrios Kyrtzidisa1d56622009-08-19 01:27:57 +0000769 return new (C) CXXConversionDecl(RD, L, N, T, DInfo, isInline, isExplicit);
Douglas Gregor2f1bc522008-11-07 20:08:42 +0000770}
771
Douglas Gregor8e9bebd2008-10-21 16:13:35 +0000772OverloadedFunctionDecl *
773OverloadedFunctionDecl::Create(ASTContext &C, DeclContext *DC,
Douglas Gregor2e1cd422008-11-17 14:58:09 +0000774 DeclarationName N) {
Steve Naroff3e970492009-01-27 21:25:57 +0000775 return new (C) OverloadedFunctionDecl(DC, N);
Douglas Gregor8e9bebd2008-10-21 16:13:35 +0000776}
Chris Lattner21ef7ae2008-11-04 16:51:42 +0000777
Douglas Gregordec06662009-08-21 18:42:58 +0000778OverloadIterator::OverloadIterator(NamedDecl *ND) : D(0) {
779 if (!ND)
780 return;
Mike Stump1eb44332009-09-09 15:08:12 +0000781
Douglas Gregordec06662009-08-21 18:42:58 +0000782 if (isa<FunctionDecl>(ND) || isa<FunctionTemplateDecl>(ND))
783 D = ND;
784 else if (OverloadedFunctionDecl *Ovl = dyn_cast<OverloadedFunctionDecl>(ND)) {
Douglas Gregor8f1d89e2009-09-01 16:58:52 +0000785 if (Ovl->size() != 0) {
786 D = ND;
787 Iter = Ovl->function_begin();
788 }
Douglas Gregordec06662009-08-21 18:42:58 +0000789 }
790}
791
Douglas Gregor364e0212009-06-27 21:05:07 +0000792void OverloadedFunctionDecl::addOverload(AnyFunctionDecl F) {
793 Functions.push_back(F);
794 this->setLocation(F.get()->getLocation());
Douglas Gregore53060f2009-06-25 22:08:12 +0000795}
796
Douglas Gregordaa439a2009-07-08 10:57:20 +0000797OverloadIterator::reference OverloadIterator::operator*() const {
798 if (FunctionDecl *FD = dyn_cast<FunctionDecl>(D))
799 return FD;
Mike Stump1eb44332009-09-09 15:08:12 +0000800
Douglas Gregordaa439a2009-07-08 10:57:20 +0000801 if (FunctionTemplateDecl *FTD = dyn_cast<FunctionTemplateDecl>(D))
802 return FTD;
Mike Stump1eb44332009-09-09 15:08:12 +0000803
Douglas Gregordaa439a2009-07-08 10:57:20 +0000804 assert(isa<OverloadedFunctionDecl>(D));
805 return *Iter;
806}
807
808OverloadIterator &OverloadIterator::operator++() {
809 if (isa<FunctionDecl>(D) || isa<FunctionTemplateDecl>(D)) {
810 D = 0;
811 return *this;
812 }
Mike Stump1eb44332009-09-09 15:08:12 +0000813
Douglas Gregordaa439a2009-07-08 10:57:20 +0000814 if (++Iter == cast<OverloadedFunctionDecl>(D)->function_end())
815 D = 0;
Mike Stump1eb44332009-09-09 15:08:12 +0000816
Douglas Gregordaa439a2009-07-08 10:57:20 +0000817 return *this;
818}
819
820bool OverloadIterator::Equals(const OverloadIterator &Other) const {
821 if (!D || !Other.D)
822 return D == Other.D;
Mike Stump1eb44332009-09-09 15:08:12 +0000823
Douglas Gregordaa439a2009-07-08 10:57:20 +0000824 if (D != Other.D)
825 return false;
Mike Stump1eb44332009-09-09 15:08:12 +0000826
Douglas Gregordaa439a2009-07-08 10:57:20 +0000827 return !isa<OverloadedFunctionDecl>(D) || Iter == Other.Iter;
828}
829
John McCall02cace72009-08-28 07:59:38 +0000830FriendDecl *FriendDecl::Create(ASTContext &C, DeclContext *DC,
831 SourceLocation L,
832 FriendUnion Friend,
833 SourceLocation FriendL) {
Daniel Dunbare32ecce2009-08-31 19:16:38 +0000834#ifndef NDEBUG
John McCall02cace72009-08-28 07:59:38 +0000835 if (Friend.is<NamedDecl*>()) {
836 NamedDecl *D = Friend.get<NamedDecl*>();
837 assert(isa<FunctionDecl>(D) ||
838 isa<CXXRecordDecl>(D) ||
839 isa<FunctionTemplateDecl>(D) ||
840 isa<ClassTemplateDecl>(D));
841 assert(D->getFriendObjectKind());
842 }
Daniel Dunbare32ecce2009-08-31 19:16:38 +0000843#endif
John McCallc48fbdf2009-08-11 21:13:21 +0000844
John McCall02cace72009-08-28 07:59:38 +0000845 return new (C) FriendDecl(DC, L, Friend, FriendL);
Mike Stump1eb44332009-09-09 15:08:12 +0000846}
John McCall3f9a8a62009-08-11 06:59:38 +0000847
Chris Lattner21ef7ae2008-11-04 16:51:42 +0000848LinkageSpecDecl *LinkageSpecDecl::Create(ASTContext &C,
Mike Stump1eb44332009-09-09 15:08:12 +0000849 DeclContext *DC,
Chris Lattner21ef7ae2008-11-04 16:51:42 +0000850 SourceLocation L,
Douglas Gregor074149e2009-01-05 19:45:36 +0000851 LanguageIDs Lang, bool Braces) {
Steve Naroff3e970492009-01-27 21:25:57 +0000852 return new (C) LinkageSpecDecl(DC, L, Lang, Braces);
Douglas Gregorf44515a2008-12-16 22:23:02 +0000853}
Douglas Gregor2a3009a2009-02-03 19:21:40 +0000854
855UsingDirectiveDecl *UsingDirectiveDecl::Create(ASTContext &C, DeclContext *DC,
856 SourceLocation L,
857 SourceLocation NamespaceLoc,
Douglas Gregor8419fa32009-05-30 06:31:56 +0000858 SourceRange QualifierRange,
859 NestedNameSpecifier *Qualifier,
Douglas Gregor2a3009a2009-02-03 19:21:40 +0000860 SourceLocation IdentLoc,
861 NamespaceDecl *Used,
862 DeclContext *CommonAncestor) {
Mike Stump1eb44332009-09-09 15:08:12 +0000863 return new (C) UsingDirectiveDecl(DC, L, NamespaceLoc, QualifierRange,
Douglas Gregor8419fa32009-05-30 06:31:56 +0000864 Qualifier, IdentLoc, Used, CommonAncestor);
Douglas Gregor2a3009a2009-02-03 19:21:40 +0000865}
866
Mike Stump1eb44332009-09-09 15:08:12 +0000867NamespaceAliasDecl *NamespaceAliasDecl::Create(ASTContext &C, DeclContext *DC,
868 SourceLocation L,
869 SourceLocation AliasLoc,
870 IdentifierInfo *Alias,
Douglas Gregor6c9c9402009-05-30 06:48:27 +0000871 SourceRange QualifierRange,
872 NestedNameSpecifier *Qualifier,
Mike Stump1eb44332009-09-09 15:08:12 +0000873 SourceLocation IdentLoc,
Anders Carlsson68771c72009-03-28 22:58:02 +0000874 NamedDecl *Namespace) {
Mike Stump1eb44332009-09-09 15:08:12 +0000875 return new (C) NamespaceAliasDecl(DC, L, AliasLoc, Alias, QualifierRange,
Douglas Gregor6c9c9402009-05-30 06:48:27 +0000876 Qualifier, IdentLoc, Namespace);
Anders Carlsson68771c72009-03-28 22:58:02 +0000877}
878
Douglas Gregor9cfbe482009-06-20 00:51:54 +0000879UsingDecl *UsingDecl::Create(ASTContext &C, DeclContext *DC,
880 SourceLocation L, SourceRange NNR, SourceLocation TargetNL,
881 SourceLocation UL, NamedDecl* Target,
882 NestedNameSpecifier* TargetNNS, bool IsTypeNameArg) {
883 return new (C) UsingDecl(DC, L, NNR, TargetNL, UL, Target,
884 TargetNNS, IsTypeNameArg);
885}
886
Anders Carlsson665b49c2009-08-28 05:30:28 +0000887UnresolvedUsingDecl *UnresolvedUsingDecl::Create(ASTContext &C, DeclContext *DC,
888 SourceLocation UsingLoc,
889 SourceRange TargetNNR,
890 NestedNameSpecifier *TargetNNS,
891 SourceLocation TargetNameLoc,
892 DeclarationName TargetName,
893 bool IsTypeNameArg) {
894 return new (C) UnresolvedUsingDecl(DC, UsingLoc, TargetNNR, TargetNNS,
895 TargetNameLoc, TargetName, IsTypeNameArg);
896}
897
Anders Carlssonfb311762009-03-14 00:25:26 +0000898StaticAssertDecl *StaticAssertDecl::Create(ASTContext &C, DeclContext *DC,
899 SourceLocation L, Expr *AssertExpr,
900 StringLiteral *Message) {
901 return new (C) StaticAssertDecl(DC, L, AssertExpr, Message);
902}
903
904void StaticAssertDecl::Destroy(ASTContext& C) {
905 AssertExpr->Destroy(C);
906 Message->Destroy(C);
907 this->~StaticAssertDecl();
908 C.Deallocate((void *)this);
909}
910
911StaticAssertDecl::~StaticAssertDecl() {
912}
913
Anders Carlsson05bf2c72009-03-26 23:46:50 +0000914static const char *getAccessName(AccessSpecifier AS) {
915 switch (AS) {
916 default:
917 case AS_none:
918 assert("Invalid access specifier!");
919 return 0;
920 case AS_public:
921 return "public";
922 case AS_private:
923 return "private";
924 case AS_protected:
925 return "protected";
926 }
927}
928
929const DiagnosticBuilder &clang::operator<<(const DiagnosticBuilder &DB,
930 AccessSpecifier AS) {
931 return DB << getAccessName(AS);
932}
933
934