blob: fe6064df325a5190fedcb50e65c2b2ff62861455 [file] [log] [blame]
Ted Kremenek21475702008-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 Gregor8ea8fd42009-03-25 21:17:03 +000015#include "clang/AST/DeclTemplate.h"
Ted Kremenek21475702008-09-05 17:16:31 +000016#include "clang/AST/ASTContext.h"
Anders Carlsson5bbe1d72009-03-14 00:25:26 +000017#include "clang/AST/Expr.h"
Douglas Gregorc8c44b5d2009-12-02 22:36:29 +000018#include "clang/AST/TypeLoc.h"
Douglas Gregorb6acda02008-11-12 23:21:09 +000019#include "clang/Basic/IdentifierTable.h"
Douglas Gregor74a34442008-12-23 21:31:30 +000020#include "llvm/ADT/STLExtras.h"
Fariborz Jahaniana9540492009-09-12 19:52:10 +000021#include "llvm/ADT/SmallPtrSet.h"
Ted Kremenek21475702008-09-05 17:16:31 +000022using namespace clang;
23
24//===----------------------------------------------------------------------===//
25// Decl Allocation/Deallocation Method Implementations
26//===----------------------------------------------------------------------===//
Douglas Gregor5101c242008-12-05 18:15:24 +000027
Douglas Gregor264ec4f2009-02-17 01:05:43 +000028CXXRecordDecl::CXXRecordDecl(Kind K, TagKind TK, DeclContext *DC,
Douglas Gregor82fe3e32009-07-21 14:46:17 +000029 SourceLocation L, IdentifierInfo *Id,
Douglas Gregorb6b8f9e2009-07-29 23:36:44 +000030 CXXRecordDecl *PrevDecl,
Mike Stump11289f42009-09-09 15:08:12 +000031 SourceLocation TKL)
Douglas Gregorb6b8f9e2009-07-29 23:36:44 +000032 : RecordDecl(K, TK, DC, L, Id, PrevDecl, TKL),
Douglas Gregorb6acda02008-11-12 23:21:09 +000033 UserDeclaredConstructor(false), UserDeclaredCopyConstructor(false),
Sebastian Redlbaad4e72009-01-05 20:52:13 +000034 UserDeclaredCopyAssignment(false), UserDeclaredDestructor(false),
Eli Friedmanc80ca682009-08-15 22:23:00 +000035 Aggregate(true), PlainOldData(true), Empty(true), Polymorphic(false),
36 Abstract(false), HasTrivialConstructor(true),
37 HasTrivialCopyConstructor(true), HasTrivialCopyAssignment(true),
Fariborz Jahanianb394f502009-09-12 18:26:03 +000038 HasTrivialDestructor(true), ComputedVisibleConversions(false),
39 Bases(0), NumBases(0), VBases(0), NumVBases(0),
Douglas Gregor8ea8fd42009-03-25 21:17:03 +000040 TemplateOrInstantiation() { }
Douglas Gregorb6acda02008-11-12 23:21:09 +000041
Ted Kremenek21475702008-09-05 17:16:31 +000042CXXRecordDecl *CXXRecordDecl::Create(ASTContext &C, TagKind TK, DeclContext *DC,
43 SourceLocation L, IdentifierInfo *Id,
Douglas Gregor82fe3e32009-07-21 14:46:17 +000044 SourceLocation TKL,
Douglas Gregor1ec5e9f2009-05-15 19:11:46 +000045 CXXRecordDecl* PrevDecl,
46 bool DelayTypeCreation) {
Mike Stump11289f42009-09-09 15:08:12 +000047 CXXRecordDecl* R = new (C) CXXRecordDecl(CXXRecord, TK, DC, L, Id,
Douglas Gregorb6b8f9e2009-07-29 23:36:44 +000048 PrevDecl, TKL);
Mike Stump11289f42009-09-09 15:08:12 +000049
Douglas Gregorb6b8f9e2009-07-29 23:36:44 +000050 // FIXME: DelayTypeCreation seems like such a hack
Douglas Gregor1ec5e9f2009-05-15 19:11:46 +000051 if (!DelayTypeCreation)
Mike Stump11289f42009-09-09 15:08:12 +000052 C.getTypeDeclType(R, PrevDecl);
Ted Kremenek21475702008-09-05 17:16:31 +000053 return R;
54}
55
Douglas Gregor29a92472008-10-22 17:49:05 +000056CXXRecordDecl::~CXXRecordDecl() {
Fariborz Jahanian9fa077c2009-07-02 18:26:15 +000057}
58
59void CXXRecordDecl::Destroy(ASTContext &C) {
60 C.Deallocate(Bases);
Fariborz Jahanian5c14ec32009-07-22 17:41:53 +000061 C.Deallocate(VBases);
Fariborz Jahanian9fa077c2009-07-02 18:26:15 +000062 this->RecordDecl::Destroy(C);
Douglas Gregor29a92472008-10-22 17:49:05 +000063}
64
Mike Stump11289f42009-09-09 15:08:12 +000065void
Fariborz Jahanian9fa077c2009-07-02 18:26:15 +000066CXXRecordDecl::setBases(ASTContext &C,
Mike Stump11289f42009-09-09 15:08:12 +000067 CXXBaseSpecifier const * const *Bases,
Douglas Gregor9d6290b2008-10-23 18:13:27 +000068 unsigned NumBases) {
Mike Stump11289f42009-09-09 15:08:12 +000069 // C++ [dcl.init.aggr]p1:
Douglas Gregorcfd8ddc2008-11-05 16:20:31 +000070 // An aggregate is an array or a class (clause 9) with [...]
71 // no base classes [...].
72 Aggregate = false;
73
Douglas Gregor9d6290b2008-10-23 18:13:27 +000074 if (this->Bases)
Fariborz Jahanian9fa077c2009-07-02 18:26:15 +000075 C.Deallocate(this->Bases);
Mike Stump11289f42009-09-09 15:08:12 +000076
Fariborz Jahanian3554b5a2009-07-10 20:13:23 +000077 int vbaseCount = 0;
78 llvm::SmallVector<const CXXBaseSpecifier*, 8> UniqueVbases;
79 bool hasDirectVirtualBase = false;
Mike Stump11289f42009-09-09 15:08:12 +000080
Fariborz Jahanian9fa077c2009-07-02 18:26:15 +000081 this->Bases = new(C) CXXBaseSpecifier [NumBases];
Douglas Gregor9d6290b2008-10-23 18:13:27 +000082 this->NumBases = NumBases;
Fariborz Jahanian3554b5a2009-07-10 20:13:23 +000083 for (unsigned i = 0; i < NumBases; ++i) {
Douglas Gregor9d6290b2008-10-23 18:13:27 +000084 this->Bases[i] = *Bases[i];
Fariborz Jahanian3554b5a2009-07-10 20:13:23 +000085 // Keep track of inherited vbases for this base class.
86 const CXXBaseSpecifier *Base = Bases[i];
87 QualType BaseType = Base->getType();
Mike Stump11289f42009-09-09 15:08:12 +000088 // Skip template types.
Fariborz Jahanian3554b5a2009-07-10 20:13:23 +000089 // FIXME. This means that this list must be rebuilt during template
90 // instantiation.
91 if (BaseType->isDependentType())
92 continue;
93 CXXRecordDecl *BaseClassDecl
Ted Kremenekc23c7e62009-07-29 21:53:49 +000094 = cast<CXXRecordDecl>(BaseType->getAs<RecordType>()->getDecl());
Fariborz Jahanian3554b5a2009-07-10 20:13:23 +000095 if (Base->isVirtual())
96 hasDirectVirtualBase = true;
Mike Stump11289f42009-09-09 15:08:12 +000097 for (CXXRecordDecl::base_class_iterator VBase =
Fariborz Jahanian3554b5a2009-07-10 20:13:23 +000098 BaseClassDecl->vbases_begin(),
99 E = BaseClassDecl->vbases_end(); VBase != E; ++VBase) {
Mike Stump11289f42009-09-09 15:08:12 +0000100 // Add this vbase to the array of vbases for current class if it is
Fariborz Jahanian3554b5a2009-07-10 20:13:23 +0000101 // not already in the list.
102 // FIXME. Note that we do a linear search as number of such classes are
103 // very few.
104 int i;
105 for (i = 0; i < vbaseCount; ++i)
106 if (UniqueVbases[i]->getType() == VBase->getType())
107 break;
108 if (i == vbaseCount) {
109 UniqueVbases.push_back(VBase);
110 ++vbaseCount;
111 }
112 }
113 }
114 if (hasDirectVirtualBase) {
115 // Iterate one more time through the direct bases and add the virtual
116 // base to the list of vritual bases for current class.
117 for (unsigned i = 0; i < NumBases; ++i) {
118 const CXXBaseSpecifier *VBase = Bases[i];
119 if (!VBase->isVirtual())
120 continue;
Alisdair Meredithf6eb60a2009-07-11 14:32:10 +0000121 int j;
122 for (j = 0; j < vbaseCount; ++j)
123 if (UniqueVbases[j]->getType() == VBase->getType())
Fariborz Jahanian3554b5a2009-07-10 20:13:23 +0000124 break;
Alisdair Meredithf6eb60a2009-07-11 14:32:10 +0000125 if (j == vbaseCount) {
Fariborz Jahanian3554b5a2009-07-10 20:13:23 +0000126 UniqueVbases.push_back(VBase);
127 ++vbaseCount;
128 }
129 }
130 }
131 if (vbaseCount > 0) {
132 // build AST for inhireted, direct or indirect, virtual bases.
Douglas Gregor8a273912009-07-22 18:25:24 +0000133 this->VBases = new (C) CXXBaseSpecifier [vbaseCount];
Fariborz Jahanian3554b5a2009-07-10 20:13:23 +0000134 this->NumVBases = vbaseCount;
135 for (int i = 0; i < vbaseCount; i++) {
136 QualType QT = UniqueVbases[i]->getType();
137 CXXRecordDecl *VBaseClassDecl
Ted Kremenekc23c7e62009-07-29 21:53:49 +0000138 = cast<CXXRecordDecl>(QT->getAs<RecordType>()->getDecl());
Mike Stump11289f42009-09-09 15:08:12 +0000139 this->VBases[i] =
Douglas Gregorb77af8f2009-07-22 20:55:49 +0000140 CXXBaseSpecifier(VBaseClassDecl->getSourceRange(), true,
141 VBaseClassDecl->getTagKind() == RecordDecl::TK_class,
142 UniqueVbases[i]->getAccessSpecifier(), QT);
Fariborz Jahanian3554b5a2009-07-10 20:13:23 +0000143 }
144 }
Douglas Gregor9d6290b2008-10-23 18:13:27 +0000145}
146
Douglas Gregord2e6a452010-01-14 17:47:39 +0000147/// Callback function for CXXRecordDecl::forallBases that acknowledges
148/// that it saw a base class.
149static bool SawBase(const CXXRecordDecl *, void *) {
150 return true;
151}
152
153bool CXXRecordDecl::hasAnyDependentBases() const {
154 if (!isDependentContext())
155 return false;
156
157 return !forallBases(SawBase, 0);
158}
159
Douglas Gregor05379422008-11-03 17:51:48 +0000160bool CXXRecordDecl::hasConstCopyConstructor(ASTContext &Context) const {
John McCall8ccfcb52009-09-24 19:53:00 +0000161 return getCopyConstructor(Context, Qualifiers::Const) != 0;
Fariborz Jahanian477d2422009-06-22 23:34:40 +0000162}
163
Mike Stump11289f42009-09-09 15:08:12 +0000164CXXConstructorDecl *CXXRecordDecl::getCopyConstructor(ASTContext &Context,
Fariborz Jahanian477d2422009-06-22 23:34:40 +0000165 unsigned TypeQuals) const{
Sebastian Redlbaad4e72009-01-05 20:52:13 +0000166 QualType ClassType
167 = Context.getTypeDeclType(const_cast<CXXRecordDecl*>(this));
Mike Stump11289f42009-09-09 15:08:12 +0000168 DeclarationName ConstructorName
Douglas Gregor1349b452008-12-15 21:24:18 +0000169 = Context.DeclarationNames.getCXXConstructorName(
Fariborz Jahanian477d2422009-06-22 23:34:40 +0000170 Context.getCanonicalType(ClassType));
171 unsigned FoundTQs;
Douglas Gregor74a34442008-12-23 21:31:30 +0000172 DeclContext::lookup_const_iterator Con, ConEnd;
Argyrios Kyrtzidiscfbfe782009-06-30 02:36:12 +0000173 for (llvm::tie(Con, ConEnd) = this->lookup(ConstructorName);
Douglas Gregor74a34442008-12-23 21:31:30 +0000174 Con != ConEnd; ++Con) {
Douglas Gregor2d2282e2009-09-04 14:46:39 +0000175 // C++ [class.copy]p2:
176 // A non-template constructor for class X is a copy constructor if [...]
177 if (isa<FunctionTemplateDecl>(*Con))
178 continue;
179
Douglas Gregor507eb872009-12-22 00:34:07 +0000180 if (cast<CXXConstructorDecl>(*Con)->isCopyConstructor(FoundTQs)) {
John McCall8ccfcb52009-09-24 19:53:00 +0000181 if (((TypeQuals & Qualifiers::Const) == (FoundTQs & Qualifiers::Const)) ||
182 (!(TypeQuals & Qualifiers::Const) && (FoundTQs & Qualifiers::Const)))
Fariborz Jahanian477d2422009-06-22 23:34:40 +0000183 return cast<CXXConstructorDecl>(*Con);
Mike Stump11289f42009-09-09 15:08:12 +0000184
Fariborz Jahanian477d2422009-06-22 23:34:40 +0000185 }
Douglas Gregor05379422008-11-03 17:51:48 +0000186 }
Fariborz Jahanian477d2422009-06-22 23:34:40 +0000187 return 0;
Douglas Gregor05379422008-11-03 17:51:48 +0000188}
189
Fariborz Jahanianbbd5e8c2009-08-12 23:34:46 +0000190bool CXXRecordDecl::hasConstCopyAssignment(ASTContext &Context,
191 const CXXMethodDecl *& MD) const {
Sebastian Redlbaad4e72009-01-05 20:52:13 +0000192 QualType ClassType = Context.getCanonicalType(Context.getTypeDeclType(
193 const_cast<CXXRecordDecl*>(this)));
194 DeclarationName OpName =Context.DeclarationNames.getCXXOperatorName(OO_Equal);
195
196 DeclContext::lookup_const_iterator Op, OpEnd;
Argyrios Kyrtzidiscfbfe782009-06-30 02:36:12 +0000197 for (llvm::tie(Op, OpEnd) = this->lookup(OpName);
Sebastian Redlbaad4e72009-01-05 20:52:13 +0000198 Op != OpEnd; ++Op) {
199 // C++ [class.copy]p9:
200 // A user-declared copy assignment operator is a non-static non-template
201 // member function of class X with exactly one parameter of type X, X&,
202 // const X&, volatile X& or const volatile X&.
Douglas Gregor62b885d2009-10-30 22:48:49 +0000203 const CXXMethodDecl* Method = dyn_cast<CXXMethodDecl>(*Op);
204 if (!Method)
205 continue;
206
Sebastian Redlbaad4e72009-01-05 20:52:13 +0000207 if (Method->isStatic())
208 continue;
Douglas Gregora14b43b2009-10-13 23:45:19 +0000209 if (Method->getPrimaryTemplate())
210 continue;
Douglas Gregordeaad8c2009-02-26 23:50:07 +0000211 const FunctionProtoType *FnType =
John McCall9dd450b2009-09-21 23:43:11 +0000212 Method->getType()->getAs<FunctionProtoType>();
Sebastian Redlbaad4e72009-01-05 20:52:13 +0000213 assert(FnType && "Overloaded operator has no prototype.");
214 // Don't assert on this; an invalid decl might have been left in the AST.
215 if (FnType->getNumArgs() != 1 || FnType->isVariadic())
216 continue;
217 bool AcceptsConst = true;
218 QualType ArgType = FnType->getArgType(0);
Ted Kremenekc23c7e62009-07-29 21:53:49 +0000219 if (const LValueReferenceType *Ref = ArgType->getAs<LValueReferenceType>()) {
Sebastian Redlbaad4e72009-01-05 20:52:13 +0000220 ArgType = Ref->getPointeeType();
Douglas Gregor63b4ff62009-03-20 20:21:37 +0000221 // Is it a non-const lvalue reference?
Sebastian Redlbaad4e72009-01-05 20:52:13 +0000222 if (!ArgType.isConstQualified())
223 AcceptsConst = false;
224 }
Douglas Gregor1b8fe5b72009-11-16 21:35:15 +0000225 if (!Context.hasSameUnqualifiedType(ArgType, ClassType))
Sebastian Redlbaad4e72009-01-05 20:52:13 +0000226 continue;
Fariborz Jahanianbbd5e8c2009-08-12 23:34:46 +0000227 MD = Method;
Sebastian Redlbaad4e72009-01-05 20:52:13 +0000228 // We have a single argument of type cv X or cv X&, i.e. we've found the
229 // copy assignment operator. Return whether it accepts const arguments.
230 return AcceptsConst;
231 }
232 assert(isInvalidDecl() &&
233 "No copy assignment operator declared in valid code.");
234 return false;
235}
236
237void
Mike Stump11289f42009-09-09 15:08:12 +0000238CXXRecordDecl::addedConstructor(ASTContext &Context,
Douglas Gregor1349b452008-12-15 21:24:18 +0000239 CXXConstructorDecl *ConDecl) {
Fariborz Jahanianb1743252009-06-17 22:44:31 +0000240 assert(!ConDecl->isImplicit() && "addedConstructor - not for implicit decl");
241 // Note that we have a user-declared constructor.
242 UserDeclaredConstructor = true;
Douglas Gregoreebb5c12008-10-31 20:25:05 +0000243
Mike Stump11289f42009-09-09 15:08:12 +0000244 // C++ [dcl.init.aggr]p1:
Fariborz Jahanianb1743252009-06-17 22:44:31 +0000245 // An aggregate is an array or a class (clause 9) with no
246 // user-declared constructors (12.1) [...].
247 Aggregate = false;
Douglas Gregorcfd8ddc2008-11-05 16:20:31 +0000248
Fariborz Jahanianb1743252009-06-17 22:44:31 +0000249 // C++ [class]p4:
250 // A POD-struct is an aggregate class [...]
251 PlainOldData = false;
Sebastian Redlbaad4e72009-01-05 20:52:13 +0000252
Fariborz Jahanianb1743252009-06-17 22:44:31 +0000253 // C++ [class.ctor]p5:
254 // A constructor is trivial if it is an implicitly-declared default
255 // constructor.
Douglas Gregor8a273912009-07-22 18:25:24 +0000256 // FIXME: C++0x: don't do this for "= default" default constructors.
Fariborz Jahanianb1743252009-06-17 22:44:31 +0000257 HasTrivialConstructor = false;
Mike Stump11289f42009-09-09 15:08:12 +0000258
Fariborz Jahanianb1743252009-06-17 22:44:31 +0000259 // Note when we have a user-declared copy constructor, which will
260 // suppress the implicit declaration of a copy constructor.
Douglas Gregor507eb872009-12-22 00:34:07 +0000261 if (ConDecl->isCopyConstructor()) {
Fariborz Jahanianb1743252009-06-17 22:44:31 +0000262 UserDeclaredCopyConstructor = true;
Douglas Gregor8a273912009-07-22 18:25:24 +0000263
264 // C++ [class.copy]p6:
265 // A copy constructor is trivial if it is implicitly declared.
266 // FIXME: C++0x: don't do this for "= default" copy constructors.
267 HasTrivialCopyConstructor = false;
268 }
Douglas Gregoreebb5c12008-10-31 20:25:05 +0000269}
270
Sebastian Redlbaad4e72009-01-05 20:52:13 +0000271void CXXRecordDecl::addedAssignmentOperator(ASTContext &Context,
272 CXXMethodDecl *OpDecl) {
273 // We're interested specifically in copy assignment operators.
John McCall9dd450b2009-09-21 23:43:11 +0000274 const FunctionProtoType *FnType = OpDecl->getType()->getAs<FunctionProtoType>();
Sebastian Redlbaad4e72009-01-05 20:52:13 +0000275 assert(FnType && "Overloaded operator has no proto function type.");
276 assert(FnType->getNumArgs() == 1 && !FnType->isVariadic());
Douglas Gregora14b43b2009-10-13 23:45:19 +0000277
278 // Copy assignment operators must be non-templates.
279 if (OpDecl->getPrimaryTemplate() || OpDecl->getDescribedFunctionTemplate())
280 return;
281
Sebastian Redlbaad4e72009-01-05 20:52:13 +0000282 QualType ArgType = FnType->getArgType(0);
Ted Kremenekc23c7e62009-07-29 21:53:49 +0000283 if (const LValueReferenceType *Ref = ArgType->getAs<LValueReferenceType>())
Sebastian Redlbaad4e72009-01-05 20:52:13 +0000284 ArgType = Ref->getPointeeType();
285
286 ArgType = ArgType.getUnqualifiedType();
287 QualType ClassType = Context.getCanonicalType(Context.getTypeDeclType(
288 const_cast<CXXRecordDecl*>(this)));
289
Douglas Gregor1b8fe5b72009-11-16 21:35:15 +0000290 if (!Context.hasSameUnqualifiedType(ClassType, ArgType))
Sebastian Redlbaad4e72009-01-05 20:52:13 +0000291 return;
292
293 // This is a copy assignment operator.
Eli Friedman01cad4c2009-11-07 00:02:45 +0000294 // Note on the decl that it is a copy assignment operator.
295 OpDecl->setCopyAssignment(true);
296
Sebastian Redlbaad4e72009-01-05 20:52:13 +0000297 // Suppress the implicit declaration of a copy constructor.
298 UserDeclaredCopyAssignment = true;
299
Douglas Gregor8a273912009-07-22 18:25:24 +0000300 // C++ [class.copy]p11:
301 // A copy assignment operator is trivial if it is implicitly declared.
302 // FIXME: C++0x: don't do this for "= default" copy operators.
303 HasTrivialCopyAssignment = false;
304
Sebastian Redlbaad4e72009-01-05 20:52:13 +0000305 // C++ [class]p4:
306 // A POD-struct is an aggregate class that [...] has no user-defined copy
307 // assignment operator [...].
308 PlainOldData = false;
309}
310
Fariborz Jahanian3ee21f12009-10-07 20:43:36 +0000311void
312CXXRecordDecl::collectConversionFunctions(
John McCalld14a8642009-11-21 08:51:07 +0000313 llvm::SmallPtrSet<CanQualType, 8>& ConversionsTypeSet) const
Fariborz Jahanian65694b42009-10-12 18:36:50 +0000314{
John McCallad371252010-01-20 00:46:10 +0000315 const UnresolvedSetImpl *Cs = getConversionFunctions();
316 for (UnresolvedSetImpl::iterator I = Cs->begin(), E = Cs->end();
317 I != E; ++I) {
John McCalld14a8642009-11-21 08:51:07 +0000318 NamedDecl *TopConv = *I;
Fariborz Jahanian65694b42009-10-12 18:36:50 +0000319 CanQualType TConvType;
Fariborz Jahanian3ee21f12009-10-07 20:43:36 +0000320 if (FunctionTemplateDecl *TConversionTemplate =
321 dyn_cast<FunctionTemplateDecl>(TopConv))
322 TConvType =
323 getASTContext().getCanonicalType(
324 TConversionTemplate->getTemplatedDecl()->getResultType());
325 else
326 TConvType =
327 getASTContext().getCanonicalType(
328 cast<CXXConversionDecl>(TopConv)->getConversionType());
329 ConversionsTypeSet.insert(TConvType);
330 }
331}
332
Fariborz Jahanianb394f502009-09-12 18:26:03 +0000333/// getNestedVisibleConversionFunctions - imports unique conversion
334/// functions from base classes into the visible conversion function
335/// list of the class 'RD'. This is a private helper method.
Fariborz Jahanian3ee21f12009-10-07 20:43:36 +0000336/// TopConversionsTypeSet is the set of conversion functions of the class
337/// we are interested in. HiddenConversionTypes is set of conversion functions
338/// of the immediate derived class which hides the conversion functions found
339/// in current class.
Fariborz Jahanianb394f502009-09-12 18:26:03 +0000340void
Fariborz Jahanian3ee21f12009-10-07 20:43:36 +0000341CXXRecordDecl::getNestedVisibleConversionFunctions(CXXRecordDecl *RD,
Fariborz Jahanian65694b42009-10-12 18:36:50 +0000342 const llvm::SmallPtrSet<CanQualType, 8> &TopConversionsTypeSet,
343 const llvm::SmallPtrSet<CanQualType, 8> &HiddenConversionTypes)
344{
Fariborz Jahanian3ee21f12009-10-07 20:43:36 +0000345 bool inTopClass = (RD == this);
Fariborz Jahanianb394f502009-09-12 18:26:03 +0000346 QualType ClassType = getASTContext().getTypeDeclType(this);
Fariborz Jahanianb54ccb22009-09-11 21:44:33 +0000347 if (const RecordType *Record = ClassType->getAs<RecordType>()) {
John McCallad371252010-01-20 00:46:10 +0000348 const UnresolvedSetImpl *Cs
Fariborz Jahanianb54ccb22009-09-11 21:44:33 +0000349 = cast<CXXRecordDecl>(Record->getDecl())->getConversionFunctions();
Fariborz Jahaniana9540492009-09-12 19:52:10 +0000350
John McCallad371252010-01-20 00:46:10 +0000351 for (UnresolvedSetImpl::iterator I = Cs->begin(), E = Cs->end();
352 I != E; ++I) {
John McCalld14a8642009-11-21 08:51:07 +0000353 NamedDecl *Conv = *I;
Fariborz Jahanianb54ccb22009-09-11 21:44:33 +0000354 // Only those conversions not exact match of conversions in current
355 // class are candidateconversion routines.
Fariborz Jahanian65694b42009-10-12 18:36:50 +0000356 CanQualType ConvType;
Fariborz Jahaniana9540492009-09-12 19:52:10 +0000357 if (FunctionTemplateDecl *ConversionTemplate =
358 dyn_cast<FunctionTemplateDecl>(Conv))
359 ConvType =
360 getASTContext().getCanonicalType(
Fariborz Jahaniana9c40412009-09-15 23:02:16 +0000361 ConversionTemplate->getTemplatedDecl()->getResultType());
Fariborz Jahaniana9540492009-09-12 19:52:10 +0000362 else
363 ConvType =
Fariborz Jahanianadcea102009-09-15 22:15:23 +0000364 getASTContext().getCanonicalType(
365 cast<CXXConversionDecl>(Conv)->getConversionType());
Fariborz Jahanian3ee21f12009-10-07 20:43:36 +0000366 // We only add conversion functions found in the base class if they
367 // are not hidden by those found in HiddenConversionTypes which are
368 // the conversion functions in its derived class.
369 if (inTopClass ||
370 (!TopConversionsTypeSet.count(ConvType) &&
371 !HiddenConversionTypes.count(ConvType)) ) {
Fariborz Jahanianb394f502009-09-12 18:26:03 +0000372 if (FunctionTemplateDecl *ConversionTemplate =
373 dyn_cast<FunctionTemplateDecl>(Conv))
374 RD->addVisibleConversionFunction(ConversionTemplate);
375 else
376 RD->addVisibleConversionFunction(cast<CXXConversionDecl>(Conv));
Fariborz Jahanianb54ccb22009-09-11 21:44:33 +0000377 }
378 }
379 }
Sebastian Redl1054fae2009-10-25 17:03:50 +0000380
Fariborz Jahanian4ff5f052009-10-08 16:33:37 +0000381 if (getNumBases() == 0 && getNumVBases() == 0)
382 return;
Sebastian Redl1054fae2009-10-25 17:03:50 +0000383
Fariborz Jahanian65694b42009-10-12 18:36:50 +0000384 llvm::SmallPtrSet<CanQualType, 8> ConversionFunctions;
Fariborz Jahanian4ff5f052009-10-08 16:33:37 +0000385 if (!inTopClass)
386 collectConversionFunctions(ConversionFunctions);
Sebastian Redl1054fae2009-10-25 17:03:50 +0000387
Fariborz Jahanianb54ccb22009-09-11 21:44:33 +0000388 for (CXXRecordDecl::base_class_iterator VBase = vbases_begin(),
389 E = vbases_end(); VBase != E; ++VBase) {
Sebastian Redl1054fae2009-10-25 17:03:50 +0000390 if (const RecordType *RT = VBase->getType()->getAs<RecordType>()) {
391 CXXRecordDecl *VBaseClassDecl
392 = cast<CXXRecordDecl>(RT->getDecl());
393 VBaseClassDecl->getNestedVisibleConversionFunctions(RD,
394 TopConversionsTypeSet,
395 (inTopClass ? TopConversionsTypeSet : ConversionFunctions));
396 }
Fariborz Jahanianb54ccb22009-09-11 21:44:33 +0000397 }
398 for (CXXRecordDecl::base_class_iterator Base = bases_begin(),
399 E = bases_end(); Base != E; ++Base) {
400 if (Base->isVirtual())
401 continue;
Sebastian Redl1054fae2009-10-25 17:03:50 +0000402 if (const RecordType *RT = Base->getType()->getAs<RecordType>()) {
403 CXXRecordDecl *BaseClassDecl
404 = cast<CXXRecordDecl>(RT->getDecl());
405
406 BaseClassDecl->getNestedVisibleConversionFunctions(RD,
407 TopConversionsTypeSet,
408 (inTopClass ? TopConversionsTypeSet : ConversionFunctions));
409 }
Fariborz Jahanianb54ccb22009-09-11 21:44:33 +0000410 }
Fariborz Jahanianb394f502009-09-12 18:26:03 +0000411}
412
413/// getVisibleConversionFunctions - get all conversion functions visible
414/// in current class; including conversion function templates.
John McCallad371252010-01-20 00:46:10 +0000415const UnresolvedSetImpl *CXXRecordDecl::getVisibleConversionFunctions() {
Fariborz Jahanianb394f502009-09-12 18:26:03 +0000416 // If root class, all conversions are visible.
417 if (bases_begin() == bases_end())
418 return &Conversions;
419 // If visible conversion list is already evaluated, return it.
420 if (ComputedVisibleConversions)
421 return &VisibleConversions;
Fariborz Jahanian65694b42009-10-12 18:36:50 +0000422 llvm::SmallPtrSet<CanQualType, 8> TopConversionsTypeSet;
Fariborz Jahanian3ee21f12009-10-07 20:43:36 +0000423 collectConversionFunctions(TopConversionsTypeSet);
424 getNestedVisibleConversionFunctions(this, TopConversionsTypeSet,
425 TopConversionsTypeSet);
Fariborz Jahanianb394f502009-09-12 18:26:03 +0000426 ComputedVisibleConversions = true;
Fariborz Jahanianb54ccb22009-09-11 21:44:33 +0000427 return &VisibleConversions;
428}
429
Fariborz Jahanianb394f502009-09-12 18:26:03 +0000430void CXXRecordDecl::addVisibleConversionFunction(
Fariborz Jahanianb54ccb22009-09-11 21:44:33 +0000431 CXXConversionDecl *ConvDecl) {
432 assert(!ConvDecl->getDescribedFunctionTemplate() &&
433 "Conversion function templates should cast to FunctionTemplateDecl.");
John McCalld14a8642009-11-21 08:51:07 +0000434 VisibleConversions.addDecl(ConvDecl);
Fariborz Jahanianb54ccb22009-09-11 21:44:33 +0000435}
436
Fariborz Jahanianb394f502009-09-12 18:26:03 +0000437void CXXRecordDecl::addVisibleConversionFunction(
Fariborz Jahanianb54ccb22009-09-11 21:44:33 +0000438 FunctionTemplateDecl *ConvDecl) {
439 assert(isa<CXXConversionDecl>(ConvDecl->getTemplatedDecl()) &&
440 "Function template is not a conversion function template");
John McCalld14a8642009-11-21 08:51:07 +0000441 VisibleConversions.addDecl(ConvDecl);
Fariborz Jahanianb54ccb22009-09-11 21:44:33 +0000442}
443
Fariborz Jahanianedca0bc2009-09-12 19:02:34 +0000444void CXXRecordDecl::addConversionFunction(CXXConversionDecl *ConvDecl) {
Douglas Gregor05155d82009-08-21 23:19:43 +0000445 assert(!ConvDecl->getDescribedFunctionTemplate() &&
446 "Conversion function templates should cast to FunctionTemplateDecl.");
John McCalld14a8642009-11-21 08:51:07 +0000447 Conversions.addDecl(ConvDecl);
Douglas Gregordbc5daf2008-11-07 20:08:42 +0000448}
449
Fariborz Jahanianedca0bc2009-09-12 19:02:34 +0000450void CXXRecordDecl::addConversionFunction(FunctionTemplateDecl *ConvDecl) {
Douglas Gregor05155d82009-08-21 23:19:43 +0000451 assert(isa<CXXConversionDecl>(ConvDecl->getTemplatedDecl()) &&
452 "Function template is not a conversion function template");
John McCalld14a8642009-11-21 08:51:07 +0000453 Conversions.addDecl(ConvDecl);
Douglas Gregor05155d82009-08-21 23:19:43 +0000454}
Fariborz Jahanian423a81f2009-06-19 19:55:27 +0000455
Fariborz Jahanian6dfc1972009-12-03 18:44:40 +0000456
457void CXXRecordDecl::setMethodAsVirtual(FunctionDecl *Method) {
458 Method->setVirtualAsWritten(true);
459 setAggregate(false);
460 setPOD(false);
461 setEmpty(false);
462 setPolymorphic(true);
463 setHasTrivialConstructor(false);
464 setHasTrivialCopyConstructor(false);
465 setHasTrivialCopyAssignment(false);
466}
467
Douglas Gregorbbe8f462009-10-08 15:14:33 +0000468CXXRecordDecl *CXXRecordDecl::getInstantiatedFromMemberClass() const {
Douglas Gregor06db9f52009-10-12 20:18:28 +0000469 if (MemberSpecializationInfo *MSInfo = getMemberSpecializationInfo())
Douglas Gregorbbe8f462009-10-08 15:14:33 +0000470 return cast<CXXRecordDecl>(MSInfo->getInstantiatedFrom());
471
472 return 0;
473}
474
Douglas Gregor06db9f52009-10-12 20:18:28 +0000475MemberSpecializationInfo *CXXRecordDecl::getMemberSpecializationInfo() const {
476 return TemplateOrInstantiation.dyn_cast<MemberSpecializationInfo *>();
477}
478
Douglas Gregorbbe8f462009-10-08 15:14:33 +0000479void
480CXXRecordDecl::setInstantiationOfMemberClass(CXXRecordDecl *RD,
481 TemplateSpecializationKind TSK) {
482 assert(TemplateOrInstantiation.isNull() &&
483 "Previous template or instantiation?");
484 assert(!isa<ClassTemplateSpecializationDecl>(this));
485 TemplateOrInstantiation
486 = new (getASTContext()) MemberSpecializationInfo(RD, TSK);
487}
488
Anders Carlsson27cfc6e2009-12-07 06:33:48 +0000489TemplateSpecializationKind CXXRecordDecl::getTemplateSpecializationKind() const{
490 if (const ClassTemplateSpecializationDecl *Spec
Douglas Gregorbbe8f462009-10-08 15:14:33 +0000491 = dyn_cast<ClassTemplateSpecializationDecl>(this))
492 return Spec->getSpecializationKind();
493
Douglas Gregor06db9f52009-10-12 20:18:28 +0000494 if (MemberSpecializationInfo *MSInfo = getMemberSpecializationInfo())
Douglas Gregorbbe8f462009-10-08 15:14:33 +0000495 return MSInfo->getTemplateSpecializationKind();
496
497 return TSK_Undeclared;
498}
499
500void
501CXXRecordDecl::setTemplateSpecializationKind(TemplateSpecializationKind TSK) {
502 if (ClassTemplateSpecializationDecl *Spec
503 = dyn_cast<ClassTemplateSpecializationDecl>(this)) {
504 Spec->setSpecializationKind(TSK);
505 return;
506 }
507
Douglas Gregor06db9f52009-10-12 20:18:28 +0000508 if (MemberSpecializationInfo *MSInfo = getMemberSpecializationInfo()) {
Douglas Gregorbbe8f462009-10-08 15:14:33 +0000509 MSInfo->setTemplateSpecializationKind(TSK);
510 return;
511 }
512
513 assert(false && "Not a class template or member class specialization");
514}
515
Fariborz Jahanian423a81f2009-06-19 19:55:27 +0000516CXXConstructorDecl *
517CXXRecordDecl::getDefaultConstructor(ASTContext &Context) {
518 QualType ClassType = Context.getTypeDeclType(this);
519 DeclarationName ConstructorName
520 = Context.DeclarationNames.getCXXConstructorName(
521 Context.getCanonicalType(ClassType.getUnqualifiedType()));
Mike Stump11289f42009-09-09 15:08:12 +0000522
Fariborz Jahanian423a81f2009-06-19 19:55:27 +0000523 DeclContext::lookup_const_iterator Con, ConEnd;
Argyrios Kyrtzidiscfbfe782009-06-30 02:36:12 +0000524 for (llvm::tie(Con, ConEnd) = lookup(ConstructorName);
Fariborz Jahanian423a81f2009-06-19 19:55:27 +0000525 Con != ConEnd; ++Con) {
Douglas Gregor2d2282e2009-09-04 14:46:39 +0000526 // FIXME: In C++0x, a constructor template can be a default constructor.
527 if (isa<FunctionTemplateDecl>(*Con))
528 continue;
529
Fariborz Jahanian423a81f2009-06-19 19:55:27 +0000530 CXXConstructorDecl *Constructor = cast<CXXConstructorDecl>(*Con);
531 if (Constructor->isDefaultConstructor())
532 return Constructor;
533 }
534 return 0;
535}
536
Anders Carlssonf98849e2009-12-02 17:15:43 +0000537CXXDestructorDecl *CXXRecordDecl::getDestructor(ASTContext &Context) {
Anders Carlsson0a637412009-05-29 21:03:38 +0000538 QualType ClassType = Context.getTypeDeclType(this);
Mike Stump11289f42009-09-09 15:08:12 +0000539
540 DeclarationName Name
Douglas Gregor2211d342009-08-05 05:36:45 +0000541 = Context.DeclarationNames.getCXXDestructorName(
542 Context.getCanonicalType(ClassType));
Anders Carlsson0a637412009-05-29 21:03:38 +0000543
544 DeclContext::lookup_iterator I, E;
Mike Stump11289f42009-09-09 15:08:12 +0000545 llvm::tie(I, E) = lookup(Name);
Anders Carlsson0a637412009-05-29 21:03:38 +0000546 assert(I != E && "Did not find a destructor!");
Mike Stump11289f42009-09-09 15:08:12 +0000547
Anders Carlssonf98849e2009-12-02 17:15:43 +0000548 CXXDestructorDecl *Dtor = cast<CXXDestructorDecl>(*I);
Anders Carlsson0a637412009-05-29 21:03:38 +0000549 assert(++I == E && "Found more than one destructor!");
Mike Stump11289f42009-09-09 15:08:12 +0000550
Anders Carlsson0a637412009-05-29 21:03:38 +0000551 return Dtor;
552}
553
Ted Kremenek21475702008-09-05 17:16:31 +0000554CXXMethodDecl *
555CXXMethodDecl::Create(ASTContext &C, CXXRecordDecl *RD,
Douglas Gregor92751d42008-11-17 22:58:34 +0000556 SourceLocation L, DeclarationName N,
John McCallbcd03502009-12-07 02:54:59 +0000557 QualType T, TypeSourceInfo *TInfo,
Argyrios Kyrtzidis60ed5602009-08-19 01:27:57 +0000558 bool isStatic, bool isInline) {
John McCallbcd03502009-12-07 02:54:59 +0000559 return new (C) CXXMethodDecl(CXXMethod, RD, L, N, T, TInfo,
Argyrios Kyrtzidis60ed5602009-08-19 01:27:57 +0000560 isStatic, isInline);
Ted Kremenek21475702008-09-05 17:16:31 +0000561}
562
Douglas Gregorbb3e12f2009-09-29 18:16:17 +0000563bool CXXMethodDecl::isUsualDeallocationFunction() const {
564 if (getOverloadedOperator() != OO_Delete &&
565 getOverloadedOperator() != OO_Array_Delete)
566 return false;
567
568 // C++ [basic.stc.dynamic.deallocation]p2:
569 // If a class T has a member deallocation function named operator delete
570 // with exactly one parameter, then that function is a usual (non-placement)
571 // deallocation function. [...]
572 if (getNumParams() == 1)
573 return true;
574
575 // C++ [basic.stc.dynamic.deallocation]p2:
576 // [...] If class T does not declare such an operator delete but does
577 // declare a member deallocation function named operator delete with
578 // exactly two parameters, the second of which has type std::size_t (18.1),
579 // then this function is a usual deallocation function.
580 ASTContext &Context = getASTContext();
581 if (getNumParams() != 2 ||
582 !Context.hasSameType(getParamDecl(1)->getType(), Context.getSizeType()))
583 return false;
584
585 // This function is a usual deallocation function if there are no
586 // single-parameter deallocation functions of the same kind.
587 for (DeclContext::lookup_const_result R = getDeclContext()->lookup(getDeclName());
588 R.first != R.second; ++R.first) {
589 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(*R.first))
590 if (FD->getNumParams() == 1)
591 return false;
592 }
593
594 return true;
595}
596
Mike Stump11289f42009-09-09 15:08:12 +0000597typedef llvm::DenseMap<const CXXMethodDecl*,
598 std::vector<const CXXMethodDecl *> *>
Anders Carlsson36d87e12009-05-16 23:58:37 +0000599 OverriddenMethodsMapTy;
600
Mike Stumpa0029452009-08-21 01:45:00 +0000601// FIXME: We hate static data. This doesn't survive PCH saving/loading, and
602// the vtable building code uses it at CG time.
Anders Carlsson36d87e12009-05-16 23:58:37 +0000603static OverriddenMethodsMapTy *OverriddenMethods = 0;
604
605void CXXMethodDecl::addOverriddenMethod(const CXXMethodDecl *MD) {
Anders Carlssonf3935b42009-12-04 05:51:56 +0000606 assert(MD->isCanonicalDecl() && "Method is not canonical!");
607
Anders Carlsson36d87e12009-05-16 23:58:37 +0000608 // FIXME: The CXXMethodDecl dtor needs to remove and free the entry.
Mike Stump11289f42009-09-09 15:08:12 +0000609
Anders Carlsson36d87e12009-05-16 23:58:37 +0000610 if (!OverriddenMethods)
611 OverriddenMethods = new OverriddenMethodsMapTy();
Mike Stump11289f42009-09-09 15:08:12 +0000612
Anders Carlsson36d87e12009-05-16 23:58:37 +0000613 std::vector<const CXXMethodDecl *> *&Methods = (*OverriddenMethods)[this];
614 if (!Methods)
615 Methods = new std::vector<const CXXMethodDecl *>;
Mike Stump11289f42009-09-09 15:08:12 +0000616
Anders Carlsson36d87e12009-05-16 23:58:37 +0000617 Methods->push_back(MD);
618}
619
620CXXMethodDecl::method_iterator CXXMethodDecl::begin_overridden_methods() const {
621 if (!OverriddenMethods)
622 return 0;
Mike Stump11289f42009-09-09 15:08:12 +0000623
Anders Carlsson36d87e12009-05-16 23:58:37 +0000624 OverriddenMethodsMapTy::iterator it = OverriddenMethods->find(this);
Daniel Dunbar36741c82009-08-01 23:40:20 +0000625 if (it == OverriddenMethods->end() || it->second->empty())
Anders Carlsson36d87e12009-05-16 23:58:37 +0000626 return 0;
Daniel Dunbar36741c82009-08-01 23:40:20 +0000627
Anders Carlsson36d87e12009-05-16 23:58:37 +0000628 return &(*it->second)[0];
629}
630
631CXXMethodDecl::method_iterator CXXMethodDecl::end_overridden_methods() const {
632 if (!OverriddenMethods)
633 return 0;
Mike Stump11289f42009-09-09 15:08:12 +0000634
Anders Carlsson36d87e12009-05-16 23:58:37 +0000635 OverriddenMethodsMapTy::iterator it = OverriddenMethods->find(this);
Daniel Dunbar36741c82009-08-01 23:40:20 +0000636 if (it == OverriddenMethods->end() || it->second->empty())
Anders Carlsson36d87e12009-05-16 23:58:37 +0000637 return 0;
638
Daniel Dunbara4a341b92009-08-02 01:48:29 +0000639 return &(*it->second)[0] + it->second->size();
Anders Carlsson36d87e12009-05-16 23:58:37 +0000640}
641
Ted Kremenek21475702008-09-05 17:16:31 +0000642QualType CXXMethodDecl::getThisType(ASTContext &C) const {
Argyrios Kyrtzidis962c20e2008-10-24 22:28:18 +0000643 // C++ 9.3.2p1: The type of this in a member function of a class X is X*.
644 // If the member function is declared const, the type of this is const X*,
645 // if the member function is declared volatile, the type of this is
646 // volatile X*, and if the member function is declared const volatile,
647 // the type of this is const volatile X*.
648
Ted Kremenek21475702008-09-05 17:16:31 +0000649 assert(isInstance() && "No 'this' for static methods!");
Anders Carlsson20ee0ed2009-06-13 02:59:33 +0000650
651 QualType ClassTy;
652 if (ClassTemplateDecl *TD = getParent()->getDescribedClassTemplate())
653 ClassTy = TD->getInjectedClassNameType(C);
654 else
Mike Stumpb93185d2009-08-07 18:05:12 +0000655 ClassTy = C.getTagDeclType(getParent());
John McCall8ccfcb52009-09-24 19:53:00 +0000656 ClassTy = C.getQualifiedType(ClassTy,
657 Qualifiers::fromCVRMask(getTypeQualifiers()));
Anders Carlsson7ca3f6f2009-07-10 21:35:09 +0000658 return C.getPointerType(ClassTy);
Ted Kremenek21475702008-09-05 17:16:31 +0000659}
660
Eli Friedman71a26d82009-12-06 20:50:05 +0000661bool CXXMethodDecl::hasInlineBody() const {
Douglas Gregora318efd2010-01-05 19:06:31 +0000662 // If this function is a template instantiation, look at the template from
663 // which it was instantiated.
664 const FunctionDecl *CheckFn = getTemplateInstantiationPattern();
665 if (!CheckFn)
666 CheckFn = this;
667
Eli Friedman71a26d82009-12-06 20:50:05 +0000668 const FunctionDecl *fn;
Douglas Gregora318efd2010-01-05 19:06:31 +0000669 return CheckFn->getBody(fn) && !fn->isOutOfLine();
Eli Friedman71a26d82009-12-06 20:50:05 +0000670}
671
Douglas Gregore8381c02008-11-05 04:29:56 +0000672CXXBaseOrMemberInitializer::
Douglas Gregorc8c44b5d2009-12-02 22:36:29 +0000673CXXBaseOrMemberInitializer(ASTContext &Context,
John McCallbcd03502009-12-07 02:54:59 +0000674 TypeSourceInfo *TInfo, CXXConstructorDecl *C,
Douglas Gregorc8c44b5d2009-12-02 22:36:29 +0000675 SourceLocation L,
676 Expr **Args, unsigned NumArgs,
677 SourceLocation R)
John McCallbcd03502009-12-07 02:54:59 +0000678 : BaseOrMember(TInfo), Args(0), NumArgs(0), CtorOrAnonUnion(C),
Douglas Gregorc8c44b5d2009-12-02 22:36:29 +0000679 LParenLoc(L), RParenLoc(R)
680{
Douglas Gregore8381c02008-11-05 04:29:56 +0000681 if (NumArgs > 0) {
682 this->NumArgs = NumArgs;
Douglas Gregorc8c44b5d2009-12-02 22:36:29 +0000683 this->Args = new (Context) Stmt*[NumArgs];
Douglas Gregore8381c02008-11-05 04:29:56 +0000684 for (unsigned Idx = 0; Idx < NumArgs; ++Idx)
685 this->Args[Idx] = Args[Idx];
686 }
687}
688
689CXXBaseOrMemberInitializer::
Douglas Gregorc8c44b5d2009-12-02 22:36:29 +0000690CXXBaseOrMemberInitializer(ASTContext &Context,
691 FieldDecl *Member, SourceLocation MemberLoc,
692 CXXConstructorDecl *C, SourceLocation L,
693 Expr **Args, unsigned NumArgs,
694 SourceLocation R)
695 : BaseOrMember(Member), MemberLocation(MemberLoc), Args(0), NumArgs(0),
696 CtorOrAnonUnion(C), LParenLoc(L), RParenLoc(R)
697{
Douglas Gregore8381c02008-11-05 04:29:56 +0000698 if (NumArgs > 0) {
699 this->NumArgs = NumArgs;
Douglas Gregorc8c44b5d2009-12-02 22:36:29 +0000700 this->Args = new (Context) Stmt*[NumArgs];
Douglas Gregore8381c02008-11-05 04:29:56 +0000701 for (unsigned Idx = 0; Idx < NumArgs; ++Idx)
702 this->Args[Idx] = Args[Idx];
703 }
704}
705
Douglas Gregorc8c44b5d2009-12-02 22:36:29 +0000706void CXXBaseOrMemberInitializer::Destroy(ASTContext &Context) {
707 for (unsigned I = 0; I != NumArgs; ++I)
708 Args[I]->Destroy(Context);
709 Context.Deallocate(Args);
710 this->~CXXBaseOrMemberInitializer();
711}
712
713TypeLoc CXXBaseOrMemberInitializer::getBaseClassLoc() const {
714 if (isBaseInitializer())
John McCallbcd03502009-12-07 02:54:59 +0000715 return BaseOrMember.get<TypeSourceInfo*>()->getTypeLoc();
Douglas Gregorc8c44b5d2009-12-02 22:36:29 +0000716 else
717 return TypeLoc();
718}
719
720Type *CXXBaseOrMemberInitializer::getBaseClass() {
721 if (isBaseInitializer())
John McCallbcd03502009-12-07 02:54:59 +0000722 return BaseOrMember.get<TypeSourceInfo*>()->getType().getTypePtr();
Douglas Gregorc8c44b5d2009-12-02 22:36:29 +0000723 else
724 return 0;
725}
726
727const Type *CXXBaseOrMemberInitializer::getBaseClass() const {
728 if (isBaseInitializer())
John McCallbcd03502009-12-07 02:54:59 +0000729 return BaseOrMember.get<TypeSourceInfo*>()->getType().getTypePtr();
Douglas Gregorc8c44b5d2009-12-02 22:36:29 +0000730 else
731 return 0;
732}
733
734SourceLocation CXXBaseOrMemberInitializer::getSourceLocation() const {
735 if (isMemberInitializer())
736 return getMemberLocation();
737
738 return getBaseClassLoc().getSourceRange().getBegin();
739}
740
741SourceRange CXXBaseOrMemberInitializer::getSourceRange() const {
742 return SourceRange(getSourceLocation(), getRParenLoc());
Douglas Gregore8381c02008-11-05 04:29:56 +0000743}
744
Douglas Gregor61956c42008-10-31 09:07:45 +0000745CXXConstructorDecl *
746CXXConstructorDecl::Create(ASTContext &C, CXXRecordDecl *RD,
Douglas Gregor77324f32008-11-17 14:58:09 +0000747 SourceLocation L, DeclarationName N,
John McCallbcd03502009-12-07 02:54:59 +0000748 QualType T, TypeSourceInfo *TInfo,
Argyrios Kyrtzidis60ed5602009-08-19 01:27:57 +0000749 bool isExplicit,
Douglas Gregor61956c42008-10-31 09:07:45 +0000750 bool isInline, bool isImplicitlyDeclared) {
Douglas Gregor77324f32008-11-17 14:58:09 +0000751 assert(N.getNameKind() == DeclarationName::CXXConstructorName &&
752 "Name must refer to a constructor");
John McCallbcd03502009-12-07 02:54:59 +0000753 return new (C) CXXConstructorDecl(RD, L, N, T, TInfo, isExplicit, isInline,
Douglas Gregor61956c42008-10-31 09:07:45 +0000754 isImplicitlyDeclared);
755}
756
Douglas Gregoreebb5c12008-10-31 20:25:05 +0000757bool CXXConstructorDecl::isDefaultConstructor() const {
758 // C++ [class.ctor]p5:
Douglas Gregorcfd8ddc2008-11-05 16:20:31 +0000759 // A default constructor for a class X is a constructor of class
760 // X that can be called without an argument.
Douglas Gregoreebb5c12008-10-31 20:25:05 +0000761 return (getNumParams() == 0) ||
Anders Carlsson6eb55572009-08-25 05:12:04 +0000762 (getNumParams() > 0 && getParamDecl(0)->hasDefaultArg());
Douglas Gregoreebb5c12008-10-31 20:25:05 +0000763}
764
Mike Stump11289f42009-09-09 15:08:12 +0000765bool
Douglas Gregor507eb872009-12-22 00:34:07 +0000766CXXConstructorDecl::isCopyConstructor(unsigned &TypeQuals) const {
Douglas Gregoreebb5c12008-10-31 20:25:05 +0000767 // C++ [class.copy]p2:
Douglas Gregorcfd8ddc2008-11-05 16:20:31 +0000768 // A non-template constructor for class X is a copy constructor
769 // if its first parameter is of type X&, const X&, volatile X& or
770 // const volatile X&, and either there are no other parameters
771 // or else all other parameters have default arguments (8.3.6).
Douglas Gregoreebb5c12008-10-31 20:25:05 +0000772 if ((getNumParams() < 1) ||
Douglas Gregora14b43b2009-10-13 23:45:19 +0000773 (getNumParams() > 1 && !getParamDecl(1)->hasDefaultArg()) ||
Douglas Gregorff7028a2009-11-13 23:59:09 +0000774 (getPrimaryTemplate() != 0) ||
Douglas Gregora14b43b2009-10-13 23:45:19 +0000775 (getDescribedFunctionTemplate() != 0))
Douglas Gregoreebb5c12008-10-31 20:25:05 +0000776 return false;
777
778 const ParmVarDecl *Param = getParamDecl(0);
779
Sebastian Redl0f8b23f2009-03-16 23:22:08 +0000780 // Do we have a reference type? Rvalue references don't count.
Douglas Gregorff7028a2009-11-13 23:59:09 +0000781 const LValueReferenceType *ParamRefType =
782 Param->getType()->getAs<LValueReferenceType>();
783 if (!ParamRefType)
784 return false;
Douglas Gregoreebb5c12008-10-31 20:25:05 +0000785
Douglas Gregorff7028a2009-11-13 23:59:09 +0000786 // Is it a reference to our class type?
Douglas Gregor507eb872009-12-22 00:34:07 +0000787 ASTContext &Context = getASTContext();
788
Douglas Gregorff7028a2009-11-13 23:59:09 +0000789 CanQualType PointeeType
790 = Context.getCanonicalType(ParamRefType->getPointeeType());
Douglas Gregorf70b2b42009-09-15 20:50:23 +0000791 CanQualType ClassTy
792 = Context.getCanonicalType(Context.getTagDeclType(getParent()));
Douglas Gregoreebb5c12008-10-31 20:25:05 +0000793 if (PointeeType.getUnqualifiedType() != ClassTy)
794 return false;
795
John McCall8ccfcb52009-09-24 19:53:00 +0000796 // FIXME: other qualifiers?
797
Douglas Gregoreebb5c12008-10-31 20:25:05 +0000798 // We have a copy constructor.
799 TypeQuals = PointeeType.getCVRQualifiers();
800 return true;
801}
802
Anders Carlssond20e7952009-08-28 16:57:08 +0000803bool CXXConstructorDecl::isConvertingConstructor(bool AllowExplicit) const {
Douglas Gregor26bee0b2008-10-31 16:23:19 +0000804 // C++ [class.conv.ctor]p1:
805 // A constructor declared without the function-specifier explicit
806 // that can be called with a single parameter specifies a
807 // conversion from the type of its first parameter to the type of
808 // its class. Such a constructor is called a converting
809 // constructor.
Anders Carlssond20e7952009-08-28 16:57:08 +0000810 if (isExplicit() && !AllowExplicit)
Douglas Gregor26bee0b2008-10-31 16:23:19 +0000811 return false;
812
Mike Stump11289f42009-09-09 15:08:12 +0000813 return (getNumParams() == 0 &&
John McCall9dd450b2009-09-21 23:43:11 +0000814 getType()->getAs<FunctionProtoType>()->isVariadic()) ||
Douglas Gregor26bee0b2008-10-31 16:23:19 +0000815 (getNumParams() == 1) ||
Anders Carlsson85446472009-06-06 04:14:07 +0000816 (getNumParams() > 1 && getParamDecl(1)->hasDefaultArg());
Douglas Gregor26bee0b2008-10-31 16:23:19 +0000817}
Douglas Gregor61956c42008-10-31 09:07:45 +0000818
Douglas Gregorffe14e32009-11-14 01:20:54 +0000819bool CXXConstructorDecl::isCopyConstructorLikeSpecialization() const {
820 if ((getNumParams() < 1) ||
821 (getNumParams() > 1 && !getParamDecl(1)->hasDefaultArg()) ||
822 (getPrimaryTemplate() == 0) ||
823 (getDescribedFunctionTemplate() != 0))
824 return false;
825
826 const ParmVarDecl *Param = getParamDecl(0);
827
828 ASTContext &Context = getASTContext();
829 CanQualType ParamType = Context.getCanonicalType(Param->getType());
830
831 // Strip off the lvalue reference, if any.
832 if (CanQual<LValueReferenceType> ParamRefType
833 = ParamType->getAs<LValueReferenceType>())
834 ParamType = ParamRefType->getPointeeType();
835
836
837 // Is it the same as our our class type?
838 CanQualType ClassTy
839 = Context.getCanonicalType(Context.getTagDeclType(getParent()));
840 if (ParamType.getUnqualifiedType() != ClassTy)
841 return false;
842
843 return true;
844}
845
Douglas Gregor831c93f2008-11-05 20:51:48 +0000846CXXDestructorDecl *
847CXXDestructorDecl::Create(ASTContext &C, CXXRecordDecl *RD,
Douglas Gregor77324f32008-11-17 14:58:09 +0000848 SourceLocation L, DeclarationName N,
Mike Stump11289f42009-09-09 15:08:12 +0000849 QualType T, bool isInline,
Douglas Gregor831c93f2008-11-05 20:51:48 +0000850 bool isImplicitlyDeclared) {
Douglas Gregor77324f32008-11-17 14:58:09 +0000851 assert(N.getNameKind() == DeclarationName::CXXDestructorName &&
852 "Name must refer to a destructor");
Mike Stump11289f42009-09-09 15:08:12 +0000853 return new (C) CXXDestructorDecl(RD, L, N, T, isInline,
Steve Naroff13ae6f42009-01-27 21:25:57 +0000854 isImplicitlyDeclared);
Douglas Gregor831c93f2008-11-05 20:51:48 +0000855}
856
Fariborz Jahanian52337412009-07-01 21:05:43 +0000857void
Fariborz Jahanian5c6af0a2009-07-01 23:35:25 +0000858CXXConstructorDecl::Destroy(ASTContext& C) {
859 C.Deallocate(BaseOrMemberInitializers);
Fariborz Jahanian003a8802009-07-07 16:24:08 +0000860 CXXMethodDecl::Destroy(C);
Fariborz Jahanian5c6af0a2009-07-01 23:35:25 +0000861}
862
Douglas Gregordbc5daf2008-11-07 20:08:42 +0000863CXXConversionDecl *
864CXXConversionDecl::Create(ASTContext &C, CXXRecordDecl *RD,
Douglas Gregor77324f32008-11-17 14:58:09 +0000865 SourceLocation L, DeclarationName N,
John McCallbcd03502009-12-07 02:54:59 +0000866 QualType T, TypeSourceInfo *TInfo,
Argyrios Kyrtzidis60ed5602009-08-19 01:27:57 +0000867 bool isInline, bool isExplicit) {
Douglas Gregor77324f32008-11-17 14:58:09 +0000868 assert(N.getNameKind() == DeclarationName::CXXConversionFunctionName &&
869 "Name must refer to a conversion function");
John McCallbcd03502009-12-07 02:54:59 +0000870 return new (C) CXXConversionDecl(RD, L, N, T, TInfo, isInline, isExplicit);
Douglas Gregordbc5daf2008-11-07 20:08:42 +0000871}
872
John McCallaa74a0c2009-08-28 07:59:38 +0000873FriendDecl *FriendDecl::Create(ASTContext &C, DeclContext *DC,
874 SourceLocation L,
875 FriendUnion Friend,
876 SourceLocation FriendL) {
Daniel Dunbar6733a7e2009-08-31 19:16:38 +0000877#ifndef NDEBUG
John McCallaa74a0c2009-08-28 07:59:38 +0000878 if (Friend.is<NamedDecl*>()) {
879 NamedDecl *D = Friend.get<NamedDecl*>();
880 assert(isa<FunctionDecl>(D) ||
881 isa<CXXRecordDecl>(D) ||
882 isa<FunctionTemplateDecl>(D) ||
883 isa<ClassTemplateDecl>(D));
John McCall90d3bb92009-12-17 23:21:11 +0000884
885 // As a temporary hack, we permit template instantiation to point
886 // to the original declaration when instantiating members.
887 assert(D->getFriendObjectKind() ||
888 (cast<CXXRecordDecl>(DC)->getTemplateSpecializationKind()));
John McCallaa74a0c2009-08-28 07:59:38 +0000889 }
Daniel Dunbar6733a7e2009-08-31 19:16:38 +0000890#endif
John McCall2658c4e2009-08-11 21:13:21 +0000891
John McCallaa74a0c2009-08-28 07:59:38 +0000892 return new (C) FriendDecl(DC, L, Friend, FriendL);
Mike Stump11289f42009-09-09 15:08:12 +0000893}
John McCalld1e9d832009-08-11 06:59:38 +0000894
Chris Lattnerb8c18fa2008-11-04 16:51:42 +0000895LinkageSpecDecl *LinkageSpecDecl::Create(ASTContext &C,
Mike Stump11289f42009-09-09 15:08:12 +0000896 DeclContext *DC,
Chris Lattnerb8c18fa2008-11-04 16:51:42 +0000897 SourceLocation L,
Douglas Gregor07665a62009-01-05 19:45:36 +0000898 LanguageIDs Lang, bool Braces) {
Steve Naroff13ae6f42009-01-27 21:25:57 +0000899 return new (C) LinkageSpecDecl(DC, L, Lang, Braces);
Douglas Gregor29ff7d02008-12-16 22:23:02 +0000900}
Douglas Gregor889ceb72009-02-03 19:21:40 +0000901
902UsingDirectiveDecl *UsingDirectiveDecl::Create(ASTContext &C, DeclContext *DC,
903 SourceLocation L,
904 SourceLocation NamespaceLoc,
Douglas Gregor3bc6e4c2009-05-30 06:31:56 +0000905 SourceRange QualifierRange,
906 NestedNameSpecifier *Qualifier,
Douglas Gregor889ceb72009-02-03 19:21:40 +0000907 SourceLocation IdentLoc,
Sebastian Redla6602e92009-11-23 15:34:23 +0000908 NamedDecl *Used,
Douglas Gregor889ceb72009-02-03 19:21:40 +0000909 DeclContext *CommonAncestor) {
Sebastian Redla6602e92009-11-23 15:34:23 +0000910 if (NamespaceDecl *NS = dyn_cast_or_null<NamespaceDecl>(Used))
911 Used = NS->getOriginalNamespace();
Mike Stump11289f42009-09-09 15:08:12 +0000912 return new (C) UsingDirectiveDecl(DC, L, NamespaceLoc, QualifierRange,
Douglas Gregor3bc6e4c2009-05-30 06:31:56 +0000913 Qualifier, IdentLoc, Used, CommonAncestor);
Douglas Gregor889ceb72009-02-03 19:21:40 +0000914}
915
Sebastian Redla6602e92009-11-23 15:34:23 +0000916NamespaceDecl *UsingDirectiveDecl::getNominatedNamespace() {
917 if (NamespaceAliasDecl *NA =
918 dyn_cast_or_null<NamespaceAliasDecl>(NominatedNamespace))
919 return NA->getNamespace();
920 return cast_or_null<NamespaceDecl>(NominatedNamespace);
921}
922
Mike Stump11289f42009-09-09 15:08:12 +0000923NamespaceAliasDecl *NamespaceAliasDecl::Create(ASTContext &C, DeclContext *DC,
924 SourceLocation L,
925 SourceLocation AliasLoc,
926 IdentifierInfo *Alias,
Douglas Gregor18231932009-05-30 06:48:27 +0000927 SourceRange QualifierRange,
928 NestedNameSpecifier *Qualifier,
Mike Stump11289f42009-09-09 15:08:12 +0000929 SourceLocation IdentLoc,
Anders Carlssonff25fdf2009-03-28 22:58:02 +0000930 NamedDecl *Namespace) {
Sebastian Redla6602e92009-11-23 15:34:23 +0000931 if (NamespaceDecl *NS = dyn_cast_or_null<NamespaceDecl>(Namespace))
932 Namespace = NS->getOriginalNamespace();
Mike Stump11289f42009-09-09 15:08:12 +0000933 return new (C) NamespaceAliasDecl(DC, L, AliasLoc, Alias, QualifierRange,
Douglas Gregor18231932009-05-30 06:48:27 +0000934 Qualifier, IdentLoc, Namespace);
Anders Carlssonff25fdf2009-03-28 22:58:02 +0000935}
936
Douglas Gregorfec52632009-06-20 00:51:54 +0000937UsingDecl *UsingDecl::Create(ASTContext &C, DeclContext *DC,
John McCall3f746822009-11-17 05:59:44 +0000938 SourceLocation L, SourceRange NNR, SourceLocation UL,
939 NestedNameSpecifier* TargetNNS, DeclarationName Name,
940 bool IsTypeNameArg) {
941 return new (C) UsingDecl(DC, L, NNR, UL, TargetNNS, Name, IsTypeNameArg);
Douglas Gregorfec52632009-06-20 00:51:54 +0000942}
943
John McCalle61f2ba2009-11-18 02:36:19 +0000944UnresolvedUsingValueDecl *
945UnresolvedUsingValueDecl::Create(ASTContext &C, DeclContext *DC,
946 SourceLocation UsingLoc,
947 SourceRange TargetNNR,
948 NestedNameSpecifier *TargetNNS,
949 SourceLocation TargetNameLoc,
950 DeclarationName TargetName) {
951 return new (C) UnresolvedUsingValueDecl(DC, C.DependentTy, UsingLoc,
952 TargetNNR, TargetNNS,
953 TargetNameLoc, TargetName);
954}
955
956UnresolvedUsingTypenameDecl *
957UnresolvedUsingTypenameDecl::Create(ASTContext &C, DeclContext *DC,
958 SourceLocation UsingLoc,
959 SourceLocation TypenameLoc,
960 SourceRange TargetNNR,
961 NestedNameSpecifier *TargetNNS,
962 SourceLocation TargetNameLoc,
963 DeclarationName TargetName) {
964 return new (C) UnresolvedUsingTypenameDecl(DC, UsingLoc, TypenameLoc,
965 TargetNNR, TargetNNS,
966 TargetNameLoc,
967 TargetName.getAsIdentifierInfo());
Anders Carlsson8305c1f2009-08-28 05:30:28 +0000968}
969
Anders Carlsson5bbe1d72009-03-14 00:25:26 +0000970StaticAssertDecl *StaticAssertDecl::Create(ASTContext &C, DeclContext *DC,
971 SourceLocation L, Expr *AssertExpr,
972 StringLiteral *Message) {
973 return new (C) StaticAssertDecl(DC, L, AssertExpr, Message);
974}
975
976void StaticAssertDecl::Destroy(ASTContext& C) {
977 AssertExpr->Destroy(C);
978 Message->Destroy(C);
979 this->~StaticAssertDecl();
980 C.Deallocate((void *)this);
981}
982
983StaticAssertDecl::~StaticAssertDecl() {
984}
985
Anders Carlsson6750d162009-03-26 23:46:50 +0000986static const char *getAccessName(AccessSpecifier AS) {
987 switch (AS) {
988 default:
989 case AS_none:
990 assert("Invalid access specifier!");
991 return 0;
992 case AS_public:
993 return "public";
994 case AS_private:
995 return "private";
996 case AS_protected:
997 return "protected";
998 }
999}
1000
1001const DiagnosticBuilder &clang::operator<<(const DiagnosticBuilder &DB,
1002 AccessSpecifier AS) {
1003 return DB << getAccessName(AS);
1004}
1005
1006