blob: 54c8c359863032fe452c88743672da8561ce84f2 [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"
Argyrios Kyrtzidis7b903402010-10-24 17:26:36 +000017#include "clang/AST/ASTMutationListener.h"
Douglas Gregor7a39dd02010-09-29 00:15:42 +000018#include "clang/AST/CXXInheritance.h"
Anders Carlssonfb311762009-03-14 00:25:26 +000019#include "clang/AST/Expr.h"
Douglas Gregor802ab452009-12-02 22:36:29 +000020#include "clang/AST/TypeLoc.h"
Douglas Gregor7d7e6722008-11-12 23:21:09 +000021#include "clang/Basic/IdentifierTable.h"
Douglas Gregorfdfab6b2008-12-23 21:31:30 +000022#include "llvm/ADT/STLExtras.h"
Fariborz Jahanianfaebcbb2009-09-12 19:52:10 +000023#include "llvm/ADT/SmallPtrSet.h"
Ted Kremenek4b7c9832008-09-05 17:16:31 +000024using namespace clang;
25
26//===----------------------------------------------------------------------===//
27// Decl Allocation/Deallocation Method Implementations
28//===----------------------------------------------------------------------===//
Douglas Gregor72c3f312008-12-05 18:15:24 +000029
John McCall86ff3082010-02-04 22:26:26 +000030CXXRecordDecl::DefinitionData::DefinitionData(CXXRecordDecl *D)
31 : UserDeclaredConstructor(false), UserDeclaredCopyConstructor(false),
Sebastian Redl64b45f72009-01-05 20:52:13 +000032 UserDeclaredCopyAssignment(false), UserDeclaredDestructor(false),
Eli Friedman97c134e2009-08-15 22:23:00 +000033 Aggregate(true), PlainOldData(true), Empty(true), Polymorphic(false),
34 Abstract(false), HasTrivialConstructor(true),
35 HasTrivialCopyConstructor(true), HasTrivialCopyAssignment(true),
Fariborz Jahanian62509212009-09-12 18:26:03 +000036 HasTrivialDestructor(true), ComputedVisibleConversions(false),
Douglas Gregor18274032010-07-03 00:47:00 +000037 DeclaredDefaultConstructor(false), DeclaredCopyConstructor(false),
Douglas Gregora376d102010-07-02 21:50:04 +000038 DeclaredCopyAssignment(false), DeclaredDestructor(false),
Anders Carlssoncb88a1f2011-01-24 16:26:15 +000039 NumBases(0), NumVBases(0), Bases(), VBases(),
40 Definition(D), FirstFriend(0) {
John McCall86ff3082010-02-04 22:26:26 +000041}
42
43CXXRecordDecl::CXXRecordDecl(Kind K, TagKind TK, DeclContext *DC,
Abramo Bagnaraba877ad2011-03-09 14:09:51 +000044 SourceLocation StartLoc, SourceLocation IdLoc,
45 IdentifierInfo *Id, CXXRecordDecl *PrevDecl)
46 : RecordDecl(K, TK, DC, StartLoc, IdLoc, Id, PrevDecl),
John McCall86ff3082010-02-04 22:26:26 +000047 DefinitionData(PrevDecl ? PrevDecl->DefinitionData : 0),
Douglas Gregord475b8d2009-03-25 21:17:03 +000048 TemplateOrInstantiation() { }
Douglas Gregor7d7e6722008-11-12 23:21:09 +000049
Jay Foad4ba2a172011-01-12 09:06:06 +000050CXXRecordDecl *CXXRecordDecl::Create(const ASTContext &C, TagKind TK,
Abramo Bagnaraba877ad2011-03-09 14:09:51 +000051 DeclContext *DC, SourceLocation StartLoc,
52 SourceLocation IdLoc, IdentifierInfo *Id,
Douglas Gregoraafc0cc2009-05-15 19:11:46 +000053 CXXRecordDecl* PrevDecl,
54 bool DelayTypeCreation) {
Abramo Bagnaraba877ad2011-03-09 14:09:51 +000055 CXXRecordDecl* R = new (C) CXXRecordDecl(CXXRecord, TK, DC, StartLoc, IdLoc,
56 Id, PrevDecl);
Mike Stump1eb44332009-09-09 15:08:12 +000057
Douglas Gregor8e9e9ef2009-07-29 23:36:44 +000058 // FIXME: DelayTypeCreation seems like such a hack
Douglas Gregoraafc0cc2009-05-15 19:11:46 +000059 if (!DelayTypeCreation)
Mike Stump1eb44332009-09-09 15:08:12 +000060 C.getTypeDeclType(R, PrevDecl);
Ted Kremenek4b7c9832008-09-05 17:16:31 +000061 return R;
62}
63
Jay Foad4ba2a172011-01-12 09:06:06 +000064CXXRecordDecl *CXXRecordDecl::Create(const ASTContext &C, EmptyShell Empty) {
Abramo Bagnaraba877ad2011-03-09 14:09:51 +000065 return new (C) CXXRecordDecl(CXXRecord, TTK_Struct, 0, SourceLocation(),
66 SourceLocation(), 0, 0);
Argyrios Kyrtzidisb8b03e62010-07-02 11:54:55 +000067}
68
Mike Stump1eb44332009-09-09 15:08:12 +000069void
Douglas Gregor2d5b7032010-02-11 01:30:34 +000070CXXRecordDecl::setBases(CXXBaseSpecifier const * const *Bases,
Douglas Gregor57c856b2008-10-23 18:13:27 +000071 unsigned NumBases) {
Douglas Gregor2d5b7032010-02-11 01:30:34 +000072 ASTContext &C = getASTContext();
73
Mike Stump1eb44332009-09-09 15:08:12 +000074 // C++ [dcl.init.aggr]p1:
Douglas Gregor64bffa92008-11-05 16:20:31 +000075 // An aggregate is an array or a class (clause 9) with [...]
76 // no base classes [...].
John McCall86ff3082010-02-04 22:26:26 +000077 data().Aggregate = false;
Douglas Gregor64bffa92008-11-05 16:20:31 +000078
Douglas Gregor7c789c12010-10-29 22:39:52 +000079 if (!data().Bases.isOffset() && data().NumBases > 0)
80 C.Deallocate(data().getBases());
Mike Stump1eb44332009-09-09 15:08:12 +000081
Anders Carlsson6f6de732010-03-29 05:13:12 +000082 // The set of seen virtual base types.
Anders Carlsson1c363932010-03-29 19:49:09 +000083 llvm::SmallPtrSet<CanQualType, 8> SeenVBaseTypes;
Anders Carlsson6f6de732010-03-29 05:13:12 +000084
85 // The virtual bases of this class.
86 llvm::SmallVector<const CXXBaseSpecifier *, 8> VBases;
Mike Stump1eb44332009-09-09 15:08:12 +000087
John McCall86ff3082010-02-04 22:26:26 +000088 data().Bases = new(C) CXXBaseSpecifier [NumBases];
89 data().NumBases = NumBases;
Fariborz Jahanian40c072f2009-07-10 20:13:23 +000090 for (unsigned i = 0; i < NumBases; ++i) {
Douglas Gregor7c789c12010-10-29 22:39:52 +000091 data().getBases()[i] = *Bases[i];
Fariborz Jahanian40c072f2009-07-10 20:13:23 +000092 // Keep track of inherited vbases for this base class.
93 const CXXBaseSpecifier *Base = Bases[i];
94 QualType BaseType = Base->getType();
Douglas Gregor5fe8c042010-02-27 00:25:28 +000095 // Skip dependent types; we can't do any checking on them now.
Fariborz Jahanian40c072f2009-07-10 20:13:23 +000096 if (BaseType->isDependentType())
97 continue;
98 CXXRecordDecl *BaseClassDecl
Ted Kremenek6217b802009-07-29 21:53:49 +000099 = cast<CXXRecordDecl>(BaseType->getAs<RecordType>()->getDecl());
Anders Carlsson6f6de732010-03-29 05:13:12 +0000100
Douglas Gregor9fe183a2010-09-28 19:45:33 +0000101 // C++ [dcl.init.aggr]p1:
102 // An aggregate is [...] a class with [...] no base classes [...].
103 data().Aggregate = false;
104
105 // C++ [class]p4:
106 // A POD-struct is an aggregate class...
107 data().PlainOldData = false;
108
Douglas Gregor2cf9d652010-09-28 20:38:10 +0000109 // A class with a non-empty base class is not empty.
110 // FIXME: Standard ref?
111 if (!BaseClassDecl->isEmpty())
112 data().Empty = false;
113
Douglas Gregor85606eb2010-09-28 20:50:54 +0000114 // C++ [class.virtual]p1:
115 // A class that declares or inherits a virtual function is called a
116 // polymorphic class.
117 if (BaseClassDecl->isPolymorphic())
118 data().Polymorphic = true;
119
Anders Carlsson6f6de732010-03-29 05:13:12 +0000120 // Now go through all virtual bases of this base and add them.
Mike Stump1eb44332009-09-09 15:08:12 +0000121 for (CXXRecordDecl::base_class_iterator VBase =
Fariborz Jahanian40c072f2009-07-10 20:13:23 +0000122 BaseClassDecl->vbases_begin(),
123 E = BaseClassDecl->vbases_end(); VBase != E; ++VBase) {
Anders Carlsson6f6de732010-03-29 05:13:12 +0000124 // Add this base if it's not already in the list.
Anders Carlsson1c363932010-03-29 19:49:09 +0000125 if (SeenVBaseTypes.insert(C.getCanonicalType(VBase->getType())))
Anders Carlsson6f6de732010-03-29 05:13:12 +0000126 VBases.push_back(VBase);
Fariborz Jahanian40c072f2009-07-10 20:13:23 +0000127 }
Anders Carlsson6f6de732010-03-29 05:13:12 +0000128
129 if (Base->isVirtual()) {
130 // Add this base if it's not already in the list.
Anders Carlsson1c363932010-03-29 19:49:09 +0000131 if (SeenVBaseTypes.insert(C.getCanonicalType(BaseType)))
Anders Carlsson6f6de732010-03-29 05:13:12 +0000132 VBases.push_back(Base);
Douglas Gregor2cf9d652010-09-28 20:38:10 +0000133
134 // C++0x [meta.unary.prop] is_empty:
135 // T is a class type, but not a union type, with ... no virtual base
136 // classes
137 data().Empty = false;
Douglas Gregor85606eb2010-09-28 20:50:54 +0000138
139 // C++ [class.ctor]p5:
140 // A constructor is trivial if its class has no virtual base classes.
141 data().HasTrivialConstructor = false;
142
143 // C++ [class.copy]p6:
144 // A copy constructor is trivial if its class has no virtual base
145 // classes.
146 data().HasTrivialCopyConstructor = false;
147
148 // C++ [class.copy]p11:
149 // A copy assignment operator is trivial if its class has no virtual
150 // base classes.
151 data().HasTrivialCopyAssignment = false;
152 } else {
153 // C++ [class.ctor]p5:
154 // A constructor is trivial if all the direct base classes of its
155 // class have trivial constructors.
156 if (!BaseClassDecl->hasTrivialConstructor())
157 data().HasTrivialConstructor = false;
158
159 // C++ [class.copy]p6:
160 // A copy constructor is trivial if all the direct base classes of its
161 // class have trivial copy constructors.
162 if (!BaseClassDecl->hasTrivialCopyConstructor())
163 data().HasTrivialCopyConstructor = false;
164
165 // C++ [class.copy]p11:
166 // A copy assignment operator is trivial if all the direct base classes
167 // of its class have trivial copy assignment operators.
168 if (!BaseClassDecl->hasTrivialCopyAssignment())
169 data().HasTrivialCopyAssignment = false;
Anders Carlsson6f6de732010-03-29 05:13:12 +0000170 }
Douglas Gregor85606eb2010-09-28 20:50:54 +0000171
172 // C++ [class.ctor]p3:
173 // A destructor is trivial if all the direct base classes of its class
174 // have trivial destructors.
175 if (!BaseClassDecl->hasTrivialDestructor())
176 data().HasTrivialDestructor = false;
Fariborz Jahanian40c072f2009-07-10 20:13:23 +0000177 }
Anders Carlsson6f6de732010-03-29 05:13:12 +0000178
179 if (VBases.empty())
180 return;
181
182 // Create base specifier for any direct or indirect virtual bases.
183 data().VBases = new (C) CXXBaseSpecifier[VBases.size()];
184 data().NumVBases = VBases.size();
185 for (int I = 0, E = VBases.size(); I != E; ++I) {
Nick Lewycky56062202010-07-26 16:56:01 +0000186 TypeSourceInfo *VBaseTypeInfo = VBases[I]->getTypeSourceInfo();
187
Anders Carlsson6f6de732010-03-29 05:13:12 +0000188 // Skip dependent types; we can't do any checking on them now.
Nick Lewycky56062202010-07-26 16:56:01 +0000189 if (VBaseTypeInfo->getType()->isDependentType())
Anders Carlsson6f6de732010-03-29 05:13:12 +0000190 continue;
191
Nick Lewycky56062202010-07-26 16:56:01 +0000192 CXXRecordDecl *VBaseClassDecl = cast<CXXRecordDecl>(
193 VBaseTypeInfo->getType()->getAs<RecordType>()->getDecl());
Anders Carlsson6f6de732010-03-29 05:13:12 +0000194
Douglas Gregor7c789c12010-10-29 22:39:52 +0000195 data().getVBases()[I] =
Anders Carlsson6f6de732010-03-29 05:13:12 +0000196 CXXBaseSpecifier(VBaseClassDecl->getSourceRange(), true,
Abramo Bagnara465d41b2010-05-11 21:36:43 +0000197 VBaseClassDecl->getTagKind() == TTK_Class,
Douglas Gregorf90b27a2011-01-03 22:36:02 +0000198 VBases[I]->getAccessSpecifier(), VBaseTypeInfo,
199 SourceLocation());
Fariborz Jahanian40c072f2009-07-10 20:13:23 +0000200 }
Douglas Gregor57c856b2008-10-23 18:13:27 +0000201}
202
Douglas Gregor9edad9b2010-01-14 17:47:39 +0000203/// Callback function for CXXRecordDecl::forallBases that acknowledges
204/// that it saw a base class.
205static bool SawBase(const CXXRecordDecl *, void *) {
206 return true;
207}
208
209bool CXXRecordDecl::hasAnyDependentBases() const {
210 if (!isDependentContext())
211 return false;
212
213 return !forallBases(SawBase, 0);
214}
215
Jay Foad4ba2a172011-01-12 09:06:06 +0000216bool CXXRecordDecl::hasConstCopyConstructor(const ASTContext &Context) const {
John McCall0953e762009-09-24 19:53:00 +0000217 return getCopyConstructor(Context, Qualifiers::Const) != 0;
Fariborz Jahanian485f0872009-06-22 23:34:40 +0000218}
219
Douglas Gregor0d405db2010-07-01 20:59:04 +0000220/// \brief Perform a simplistic form of overload resolution that only considers
221/// cv-qualifiers on a single parameter, and return the best overload candidate
222/// (if there is one).
223static CXXMethodDecl *
224GetBestOverloadCandidateSimple(
225 const llvm::SmallVectorImpl<std::pair<CXXMethodDecl *, Qualifiers> > &Cands) {
226 if (Cands.empty())
227 return 0;
228 if (Cands.size() == 1)
229 return Cands[0].first;
230
231 unsigned Best = 0, N = Cands.size();
232 for (unsigned I = 1; I != N; ++I)
233 if (Cands[Best].second.isSupersetOf(Cands[I].second))
234 Best = I;
235
236 for (unsigned I = 1; I != N; ++I)
237 if (Cands[Best].second.isSupersetOf(Cands[I].second))
238 return 0;
239
240 return Cands[Best].first;
241}
242
Jay Foad4ba2a172011-01-12 09:06:06 +0000243CXXConstructorDecl *CXXRecordDecl::getCopyConstructor(const ASTContext &Context,
Fariborz Jahanian485f0872009-06-22 23:34:40 +0000244 unsigned TypeQuals) const{
Sebastian Redl64b45f72009-01-05 20:52:13 +0000245 QualType ClassType
246 = Context.getTypeDeclType(const_cast<CXXRecordDecl*>(this));
Mike Stump1eb44332009-09-09 15:08:12 +0000247 DeclarationName ConstructorName
Douglas Gregor9e7d9de2008-12-15 21:24:18 +0000248 = Context.DeclarationNames.getCXXConstructorName(
Fariborz Jahanian485f0872009-06-22 23:34:40 +0000249 Context.getCanonicalType(ClassType));
250 unsigned FoundTQs;
Douglas Gregor0d405db2010-07-01 20:59:04 +0000251 llvm::SmallVector<std::pair<CXXMethodDecl *, Qualifiers>, 4> Found;
Douglas Gregorfdfab6b2008-12-23 21:31:30 +0000252 DeclContext::lookup_const_iterator Con, ConEnd;
Argyrios Kyrtzidis17945a02009-06-30 02:36:12 +0000253 for (llvm::tie(Con, ConEnd) = this->lookup(ConstructorName);
Douglas Gregorfdfab6b2008-12-23 21:31:30 +0000254 Con != ConEnd; ++Con) {
Douglas Gregord93bacf2009-09-04 14:46:39 +0000255 // C++ [class.copy]p2:
256 // A non-template constructor for class X is a copy constructor if [...]
257 if (isa<FunctionTemplateDecl>(*Con))
258 continue;
259
Douglas Gregor0d405db2010-07-01 20:59:04 +0000260 CXXConstructorDecl *Constructor = cast<CXXConstructorDecl>(*Con);
261 if (Constructor->isCopyConstructor(FoundTQs)) {
John McCall0953e762009-09-24 19:53:00 +0000262 if (((TypeQuals & Qualifiers::Const) == (FoundTQs & Qualifiers::Const)) ||
263 (!(TypeQuals & Qualifiers::Const) && (FoundTQs & Qualifiers::Const)))
Douglas Gregor0d405db2010-07-01 20:59:04 +0000264 Found.push_back(std::make_pair(
265 const_cast<CXXConstructorDecl *>(Constructor),
266 Qualifiers::fromCVRMask(FoundTQs)));
Fariborz Jahanian485f0872009-06-22 23:34:40 +0000267 }
Douglas Gregor396b7cd2008-11-03 17:51:48 +0000268 }
Douglas Gregor0d405db2010-07-01 20:59:04 +0000269
270 return cast_or_null<CXXConstructorDecl>(
271 GetBestOverloadCandidateSimple(Found));
Douglas Gregor396b7cd2008-11-03 17:51:48 +0000272}
273
Douglas Gregorb87786f2010-07-01 17:48:08 +0000274CXXMethodDecl *CXXRecordDecl::getCopyAssignmentOperator(bool ArgIsConst) const {
275 ASTContext &Context = getASTContext();
276 QualType Class = Context.getTypeDeclType(const_cast<CXXRecordDecl *>(this));
277 DeclarationName Name = Context.DeclarationNames.getCXXOperatorName(OO_Equal);
278
279 llvm::SmallVector<std::pair<CXXMethodDecl *, Qualifiers>, 4> Found;
280 DeclContext::lookup_const_iterator Op, OpEnd;
281 for (llvm::tie(Op, OpEnd) = this->lookup(Name); Op != OpEnd; ++Op) {
282 // C++ [class.copy]p9:
283 // A user-declared copy assignment operator is a non-static non-template
284 // member function of class X with exactly one parameter of type X, X&,
285 // const X&, volatile X& or const volatile X&.
286 const CXXMethodDecl* Method = dyn_cast<CXXMethodDecl>(*Op);
287 if (!Method || Method->isStatic() || Method->getPrimaryTemplate())
288 continue;
289
290 const FunctionProtoType *FnType
291 = Method->getType()->getAs<FunctionProtoType>();
292 assert(FnType && "Overloaded operator has no prototype.");
293 // Don't assert on this; an invalid decl might have been left in the AST.
294 if (FnType->getNumArgs() != 1 || FnType->isVariadic())
295 continue;
296
297 QualType ArgType = FnType->getArgType(0);
298 Qualifiers Quals;
299 if (const LValueReferenceType *Ref = ArgType->getAs<LValueReferenceType>()) {
300 ArgType = Ref->getPointeeType();
301 // If we have a const argument and we have a reference to a non-const,
302 // this function does not match.
303 if (ArgIsConst && !ArgType.isConstQualified())
304 continue;
305
306 Quals = ArgType.getQualifiers();
307 } else {
308 // By-value copy-assignment operators are treated like const X&
309 // copy-assignment operators.
310 Quals = Qualifiers::fromCVRMask(Qualifiers::Const);
311 }
312
313 if (!Context.hasSameUnqualifiedType(ArgType, Class))
314 continue;
315
316 // Save this copy-assignment operator. It might be "the one".
317 Found.push_back(std::make_pair(const_cast<CXXMethodDecl *>(Method), Quals));
318 }
319
320 // Use a simplistic form of overload resolution to find the candidate.
321 return GetBestOverloadCandidateSimple(Found);
322}
323
Douglas Gregor21386642010-09-28 21:55:22 +0000324void CXXRecordDecl::markedVirtualFunctionPure() {
325 // C++ [class.abstract]p2:
326 // A class is abstract if it has at least one pure virtual function.
327 data().Abstract = true;
328}
329
330void CXXRecordDecl::addedMember(Decl *D) {
Douglas Gregor27c08ab2010-09-27 22:06:20 +0000331 // Ignore friends and invalid declarations.
332 if (D->getFriendObjectKind() || D->isInvalidDecl())
Douglas Gregor5c0646b2010-09-27 21:17:54 +0000333 return;
334
Douglas Gregor27c08ab2010-09-27 22:06:20 +0000335 FunctionTemplateDecl *FunTmpl = dyn_cast<FunctionTemplateDecl>(D);
336 if (FunTmpl)
337 D = FunTmpl->getTemplatedDecl();
338
Douglas Gregor9fe183a2010-09-28 19:45:33 +0000339 if (CXXMethodDecl *Method = dyn_cast<CXXMethodDecl>(D)) {
340 if (Method->isVirtual()) {
341 // C++ [dcl.init.aggr]p1:
342 // An aggregate is an array or a class with [...] no virtual functions.
343 data().Aggregate = false;
344
345 // C++ [class]p4:
346 // A POD-struct is an aggregate class...
347 data().PlainOldData = false;
Douglas Gregor2cf9d652010-09-28 20:38:10 +0000348
349 // Virtual functions make the class non-empty.
350 // FIXME: Standard ref?
351 data().Empty = false;
Douglas Gregor85606eb2010-09-28 20:50:54 +0000352
353 // C++ [class.virtual]p1:
354 // A class that declares or inherits a virtual function is called a
355 // polymorphic class.
356 data().Polymorphic = true;
357
358 // None of the special member functions are trivial.
359 data().HasTrivialConstructor = false;
360 data().HasTrivialCopyConstructor = false;
361 data().HasTrivialCopyAssignment = false;
362 // FIXME: Destructor?
Douglas Gregor9fe183a2010-09-28 19:45:33 +0000363 }
364 }
365
Douglas Gregor27c08ab2010-09-27 22:06:20 +0000366 if (D->isImplicit()) {
Argyrios Kyrtzidisb6cc0e12010-10-24 17:26:54 +0000367 // Notify that an implicit member was added after the definition
368 // was completed.
369 if (!isBeingDefined())
370 if (ASTMutationListener *L = getASTMutationListener())
371 L->AddedCXXImplicitMember(data().Definition, D);
Argyrios Kyrtzidis046c03b2010-10-20 23:48:42 +0000372
Douglas Gregor27c08ab2010-09-27 22:06:20 +0000373 if (CXXConstructorDecl *Constructor = dyn_cast<CXXConstructorDecl>(D)) {
374 // If this is the implicit default constructor, note that we have now
375 // declared it.
376 if (Constructor->isDefaultConstructor())
377 data().DeclaredDefaultConstructor = true;
378 // If this is the implicit copy constructor, note that we have now
379 // declared it.
380 else if (Constructor->isCopyConstructor())
381 data().DeclaredCopyConstructor = true;
Douglas Gregor2cf9d652010-09-28 20:38:10 +0000382 return;
383 }
384
385 if (isa<CXXDestructorDecl>(D)) {
Douglas Gregor0ed2e082010-09-27 22:48:58 +0000386 data().DeclaredDestructor = true;
Douglas Gregor2cf9d652010-09-28 20:38:10 +0000387 return;
388 }
389
390 if (CXXMethodDecl *Method = dyn_cast<CXXMethodDecl>(D)) {
Douglas Gregor27c08ab2010-09-27 22:06:20 +0000391 // If this is the implicit copy constructor, note that we have now
392 // declared it.
393 // FIXME: Move constructors
Douglas Gregor3e9438b2010-09-27 22:37:28 +0000394 if (Method->getOverloadedOperator() == OO_Equal)
Douglas Gregor27c08ab2010-09-27 22:06:20 +0000395 data().DeclaredCopyAssignment = true;
Douglas Gregor2cf9d652010-09-28 20:38:10 +0000396 return;
Douglas Gregor27c08ab2010-09-27 22:06:20 +0000397 }
Douglas Gregor2cf9d652010-09-28 20:38:10 +0000398
399 // Any other implicit declarations are handled like normal declarations.
Douglas Gregor27c08ab2010-09-27 22:06:20 +0000400 }
401
402 // Handle (user-declared) constructors.
403 if (CXXConstructorDecl *Constructor = dyn_cast<CXXConstructorDecl>(D)) {
404 // Note that we have a user-declared constructor.
405 data().UserDeclaredConstructor = true;
406
407 // Note that we have no need of an implicitly-declared default constructor.
408 data().DeclaredDefaultConstructor = true;
409
410 // C++ [dcl.init.aggr]p1:
411 // An aggregate is an array or a class (clause 9) with no
412 // user-declared constructors (12.1) [...].
413 data().Aggregate = false;
414
415 // C++ [class]p4:
416 // A POD-struct is an aggregate class [...]
417 data().PlainOldData = false;
418
419 // C++ [class.ctor]p5:
420 // A constructor is trivial if it is an implicitly-declared default
421 // constructor.
422 // FIXME: C++0x: don't do this for "= default" default constructors.
423 data().HasTrivialConstructor = false;
424
425 // Note when we have a user-declared copy constructor, which will
426 // suppress the implicit declaration of a copy constructor.
427 if (!FunTmpl && Constructor->isCopyConstructor()) {
428 data().UserDeclaredCopyConstructor = true;
Douglas Gregor5c0646b2010-09-27 21:17:54 +0000429 data().DeclaredCopyConstructor = true;
Douglas Gregor27c08ab2010-09-27 22:06:20 +0000430
431 // C++ [class.copy]p6:
432 // A copy constructor is trivial if it is implicitly declared.
433 // FIXME: C++0x: don't do this for "= default" copy constructors.
434 data().HasTrivialCopyConstructor = false;
435 }
Douglas Gregor5c0646b2010-09-27 21:17:54 +0000436
Douglas Gregor5c0646b2010-09-27 21:17:54 +0000437 return;
438 }
Douglas Gregor27c08ab2010-09-27 22:06:20 +0000439
Douglas Gregor0ed2e082010-09-27 22:48:58 +0000440 // Handle (user-declared) destructors.
441 if (isa<CXXDestructorDecl>(D)) {
442 data().DeclaredDestructor = true;
443 data().UserDeclaredDestructor = true;
Douglas Gregor9fe183a2010-09-28 19:45:33 +0000444
445 // C++ [class]p4:
446 // A POD-struct is an aggregate class that has [...] no user-defined
447 // destructor.
448 data().PlainOldData = false;
449
Douglas Gregor85606eb2010-09-28 20:50:54 +0000450 // C++ [class.dtor]p3:
451 // A destructor is trivial if it is an implicitly-declared destructor and
452 // [...].
453 //
454 // FIXME: C++0x: don't do this for "= default" destructors
455 data().HasTrivialDestructor = false;
456
Douglas Gregor0ed2e082010-09-27 22:48:58 +0000457 return;
458 }
Douglas Gregor5c0646b2010-09-27 21:17:54 +0000459
Douglas Gregor0ed2e082010-09-27 22:48:58 +0000460 // Handle (user-declared) member functions.
Douglas Gregor27c08ab2010-09-27 22:06:20 +0000461 if (CXXMethodDecl *Method = dyn_cast<CXXMethodDecl>(D)) {
462 if (Method->getOverloadedOperator() == OO_Equal) {
463 // We're interested specifically in copy assignment operators.
464 const FunctionProtoType *FnType
465 = Method->getType()->getAs<FunctionProtoType>();
466 assert(FnType && "Overloaded operator has no proto function type.");
467 assert(FnType->getNumArgs() == 1 && !FnType->isVariadic());
468
469 // Copy assignment operators must be non-templates.
470 if (Method->getPrimaryTemplate() || FunTmpl)
471 return;
472
473 ASTContext &Context = getASTContext();
474 QualType ArgType = FnType->getArgType(0);
475 if (const LValueReferenceType *Ref =ArgType->getAs<LValueReferenceType>())
476 ArgType = Ref->getPointeeType();
477
478 ArgType = ArgType.getUnqualifiedType();
479 QualType ClassType = Context.getCanonicalType(Context.getTypeDeclType(
480 const_cast<CXXRecordDecl*>(this)));
481
482 if (!Context.hasSameUnqualifiedType(ClassType, ArgType))
483 return;
484
485 // This is a copy assignment operator.
Douglas Gregor3e9438b2010-09-27 22:37:28 +0000486 // FIXME: Move assignment operators.
Douglas Gregor27c08ab2010-09-27 22:06:20 +0000487
488 // Suppress the implicit declaration of a copy constructor.
489 data().UserDeclaredCopyAssignment = true;
490 data().DeclaredCopyAssignment = true;
491
492 // C++ [class.copy]p11:
493 // A copy assignment operator is trivial if it is implicitly declared.
494 // FIXME: C++0x: don't do this for "= default" copy operators.
495 data().HasTrivialCopyAssignment = false;
496
497 // C++ [class]p4:
498 // A POD-struct is an aggregate class that [...] has no user-defined copy
499 // assignment operator [...].
500 data().PlainOldData = false;
501 }
Douglas Gregor22584312010-07-02 23:41:54 +0000502
Douglas Gregore80622f2010-09-29 04:25:11 +0000503 // Keep the list of conversion functions up-to-date.
504 if (CXXConversionDecl *Conversion = dyn_cast<CXXConversionDecl>(D)) {
505 // We don't record specializations.
506 if (Conversion->getPrimaryTemplate())
507 return;
508
509 // FIXME: We intentionally don't use the decl's access here because it
510 // hasn't been set yet. That's really just a misdesign in Sema.
511
512 if (FunTmpl) {
513 if (FunTmpl->getPreviousDeclaration())
514 data().Conversions.replace(FunTmpl->getPreviousDeclaration(),
515 FunTmpl);
516 else
517 data().Conversions.addDecl(FunTmpl);
518 } else {
519 if (Conversion->getPreviousDeclaration())
520 data().Conversions.replace(Conversion->getPreviousDeclaration(),
521 Conversion);
522 else
523 data().Conversions.addDecl(Conversion);
524 }
525 }
526
Douglas Gregor27c08ab2010-09-27 22:06:20 +0000527 return;
Douglas Gregor1f2023a2009-07-22 18:25:24 +0000528 }
Douglas Gregor9fe183a2010-09-28 19:45:33 +0000529
530 // Handle non-static data members.
531 if (FieldDecl *Field = dyn_cast<FieldDecl>(D)) {
532 // C++ [dcl.init.aggr]p1:
533 // An aggregate is an array or a class (clause 9) with [...] no
534 // private or protected non-static data members (clause 11).
535 //
536 // A POD must be an aggregate.
537 if (D->getAccess() == AS_private || D->getAccess() == AS_protected) {
538 data().Aggregate = false;
539 data().PlainOldData = false;
540 }
541
542 // C++ [class]p9:
543 // A POD struct is a class that is both a trivial class and a
544 // standard-layout class, and has no non-static data members of type
545 // non-POD struct, non-POD union (or array of such types).
546 ASTContext &Context = getASTContext();
547 QualType T = Context.getBaseElementType(Field->getType());
548 if (!T->isPODType())
549 data().PlainOldData = false;
Douglas Gregor85606eb2010-09-28 20:50:54 +0000550 if (T->isReferenceType())
551 data().HasTrivialConstructor = false;
552
553 if (const RecordType *RecordTy = T->getAs<RecordType>()) {
554 CXXRecordDecl* FieldRec = cast<CXXRecordDecl>(RecordTy->getDecl());
555 if (FieldRec->getDefinition()) {
556 if (!FieldRec->hasTrivialConstructor())
557 data().HasTrivialConstructor = false;
558 if (!FieldRec->hasTrivialCopyConstructor())
559 data().HasTrivialCopyConstructor = false;
560 if (!FieldRec->hasTrivialCopyAssignment())
561 data().HasTrivialCopyAssignment = false;
562 if (!FieldRec->hasTrivialDestructor())
563 data().HasTrivialDestructor = false;
564 }
565 }
Douglas Gregor2cf9d652010-09-28 20:38:10 +0000566
567 // If this is not a zero-length bit-field, then the class is not empty.
568 if (data().Empty) {
569 if (!Field->getBitWidth())
570 data().Empty = false;
571 else if (!Field->getBitWidth()->isTypeDependent() &&
572 !Field->getBitWidth()->isValueDependent()) {
573 llvm::APSInt Bits;
574 if (Field->getBitWidth()->isIntegerConstantExpr(Bits, Context))
575 if (!!Bits)
576 data().Empty = false;
577 }
578 }
Douglas Gregor9fe183a2010-09-28 19:45:33 +0000579 }
Douglas Gregore80622f2010-09-29 04:25:11 +0000580
581 // Handle using declarations of conversion functions.
582 if (UsingShadowDecl *Shadow = dyn_cast<UsingShadowDecl>(D))
583 if (Shadow->getDeclName().getNameKind()
584 == DeclarationName::CXXConversionFunctionName)
585 data().Conversions.addDecl(Shadow, Shadow->getAccess());
Douglas Gregor030ff0c2008-10-31 20:25:05 +0000586}
587
John McCallb05b5f32010-03-15 09:07:48 +0000588static CanQualType GetConversionType(ASTContext &Context, NamedDecl *Conv) {
589 QualType T;
John McCall32daa422010-03-31 01:36:47 +0000590 if (isa<UsingShadowDecl>(Conv))
591 Conv = cast<UsingShadowDecl>(Conv)->getTargetDecl();
John McCallb05b5f32010-03-15 09:07:48 +0000592 if (FunctionTemplateDecl *ConvTemp = dyn_cast<FunctionTemplateDecl>(Conv))
593 T = ConvTemp->getTemplatedDecl()->getResultType();
594 else
595 T = cast<CXXConversionDecl>(Conv)->getConversionType();
596 return Context.getCanonicalType(T);
Fariborz Jahanian0351a1e2009-10-07 20:43:36 +0000597}
598
John McCallb05b5f32010-03-15 09:07:48 +0000599/// Collect the visible conversions of a base class.
600///
601/// \param Base a base class of the class we're considering
602/// \param InVirtual whether this base class is a virtual base (or a base
603/// of a virtual base)
604/// \param Access the access along the inheritance path to this base
605/// \param ParentHiddenTypes the conversions provided by the inheritors
606/// of this base
607/// \param Output the set to which to add conversions from non-virtual bases
608/// \param VOutput the set to which to add conversions from virtual bases
609/// \param HiddenVBaseCs the set of conversions which were hidden in a
610/// virtual base along some inheritance path
611static void CollectVisibleConversions(ASTContext &Context,
612 CXXRecordDecl *Record,
613 bool InVirtual,
614 AccessSpecifier Access,
615 const llvm::SmallPtrSet<CanQualType, 8> &ParentHiddenTypes,
616 UnresolvedSetImpl &Output,
617 UnresolvedSetImpl &VOutput,
618 llvm::SmallPtrSet<NamedDecl*, 8> &HiddenVBaseCs) {
619 // The set of types which have conversions in this class or its
620 // subclasses. As an optimization, we don't copy the derived set
621 // unless it might change.
622 const llvm::SmallPtrSet<CanQualType, 8> *HiddenTypes = &ParentHiddenTypes;
623 llvm::SmallPtrSet<CanQualType, 8> HiddenTypesBuffer;
624
625 // Collect the direct conversions and figure out which conversions
626 // will be hidden in the subclasses.
627 UnresolvedSetImpl &Cs = *Record->getConversionFunctions();
628 if (!Cs.empty()) {
629 HiddenTypesBuffer = ParentHiddenTypes;
630 HiddenTypes = &HiddenTypesBuffer;
631
632 for (UnresolvedSetIterator I = Cs.begin(), E = Cs.end(); I != E; ++I) {
633 bool Hidden =
634 !HiddenTypesBuffer.insert(GetConversionType(Context, I.getDecl()));
635
636 // If this conversion is hidden and we're in a virtual base,
637 // remember that it's hidden along some inheritance path.
638 if (Hidden && InVirtual)
639 HiddenVBaseCs.insert(cast<NamedDecl>(I.getDecl()->getCanonicalDecl()));
640
641 // If this conversion isn't hidden, add it to the appropriate output.
642 else if (!Hidden) {
643 AccessSpecifier IAccess
644 = CXXRecordDecl::MergeAccess(Access, I.getAccess());
645
646 if (InVirtual)
647 VOutput.addDecl(I.getDecl(), IAccess);
Fariborz Jahanian62509212009-09-12 18:26:03 +0000648 else
John McCallb05b5f32010-03-15 09:07:48 +0000649 Output.addDecl(I.getDecl(), IAccess);
Fariborz Jahanian53462782009-09-11 21:44:33 +0000650 }
651 }
652 }
Sebastian Redl9994a342009-10-25 17:03:50 +0000653
John McCallb05b5f32010-03-15 09:07:48 +0000654 // Collect information recursively from any base classes.
655 for (CXXRecordDecl::base_class_iterator
656 I = Record->bases_begin(), E = Record->bases_end(); I != E; ++I) {
657 const RecordType *RT = I->getType()->getAs<RecordType>();
658 if (!RT) continue;
Sebastian Redl9994a342009-10-25 17:03:50 +0000659
John McCallb05b5f32010-03-15 09:07:48 +0000660 AccessSpecifier BaseAccess
661 = CXXRecordDecl::MergeAccess(Access, I->getAccessSpecifier());
662 bool BaseInVirtual = InVirtual || I->isVirtual();
Sebastian Redl9994a342009-10-25 17:03:50 +0000663
John McCallb05b5f32010-03-15 09:07:48 +0000664 CXXRecordDecl *Base = cast<CXXRecordDecl>(RT->getDecl());
665 CollectVisibleConversions(Context, Base, BaseInVirtual, BaseAccess,
666 *HiddenTypes, Output, VOutput, HiddenVBaseCs);
Fariborz Jahanian53462782009-09-11 21:44:33 +0000667 }
John McCallb05b5f32010-03-15 09:07:48 +0000668}
Sebastian Redl9994a342009-10-25 17:03:50 +0000669
John McCallb05b5f32010-03-15 09:07:48 +0000670/// Collect the visible conversions of a class.
671///
672/// This would be extremely straightforward if it weren't for virtual
673/// bases. It might be worth special-casing that, really.
674static void CollectVisibleConversions(ASTContext &Context,
675 CXXRecordDecl *Record,
676 UnresolvedSetImpl &Output) {
677 // The collection of all conversions in virtual bases that we've
678 // found. These will be added to the output as long as they don't
679 // appear in the hidden-conversions set.
680 UnresolvedSet<8> VBaseCs;
681
682 // The set of conversions in virtual bases that we've determined to
683 // be hidden.
684 llvm::SmallPtrSet<NamedDecl*, 8> HiddenVBaseCs;
685
686 // The set of types hidden by classes derived from this one.
687 llvm::SmallPtrSet<CanQualType, 8> HiddenTypes;
688
689 // Go ahead and collect the direct conversions and add them to the
690 // hidden-types set.
691 UnresolvedSetImpl &Cs = *Record->getConversionFunctions();
692 Output.append(Cs.begin(), Cs.end());
693 for (UnresolvedSetIterator I = Cs.begin(), E = Cs.end(); I != E; ++I)
694 HiddenTypes.insert(GetConversionType(Context, I.getDecl()));
695
696 // Recursively collect conversions from base classes.
697 for (CXXRecordDecl::base_class_iterator
698 I = Record->bases_begin(), E = Record->bases_end(); I != E; ++I) {
699 const RecordType *RT = I->getType()->getAs<RecordType>();
700 if (!RT) continue;
701
702 CollectVisibleConversions(Context, cast<CXXRecordDecl>(RT->getDecl()),
703 I->isVirtual(), I->getAccessSpecifier(),
704 HiddenTypes, Output, VBaseCs, HiddenVBaseCs);
705 }
706
707 // Add any unhidden conversions provided by virtual bases.
708 for (UnresolvedSetIterator I = VBaseCs.begin(), E = VBaseCs.end();
709 I != E; ++I) {
710 if (!HiddenVBaseCs.count(cast<NamedDecl>(I.getDecl()->getCanonicalDecl())))
711 Output.addDecl(I.getDecl(), I.getAccess());
Fariborz Jahanian53462782009-09-11 21:44:33 +0000712 }
Fariborz Jahanian62509212009-09-12 18:26:03 +0000713}
714
715/// getVisibleConversionFunctions - get all conversion functions visible
716/// in current class; including conversion function templates.
John McCalleec51cf2010-01-20 00:46:10 +0000717const UnresolvedSetImpl *CXXRecordDecl::getVisibleConversionFunctions() {
Fariborz Jahanian62509212009-09-12 18:26:03 +0000718 // If root class, all conversions are visible.
719 if (bases_begin() == bases_end())
John McCall86ff3082010-02-04 22:26:26 +0000720 return &data().Conversions;
Fariborz Jahanian62509212009-09-12 18:26:03 +0000721 // If visible conversion list is already evaluated, return it.
John McCall86ff3082010-02-04 22:26:26 +0000722 if (data().ComputedVisibleConversions)
723 return &data().VisibleConversions;
John McCallb05b5f32010-03-15 09:07:48 +0000724 CollectVisibleConversions(getASTContext(), this, data().VisibleConversions);
John McCall86ff3082010-02-04 22:26:26 +0000725 data().ComputedVisibleConversions = true;
726 return &data().VisibleConversions;
Fariborz Jahanian53462782009-09-11 21:44:33 +0000727}
728
John McCall32daa422010-03-31 01:36:47 +0000729void CXXRecordDecl::removeConversion(const NamedDecl *ConvDecl) {
730 // This operation is O(N) but extremely rare. Sema only uses it to
731 // remove UsingShadowDecls in a class that were followed by a direct
732 // declaration, e.g.:
733 // class A : B {
734 // using B::operator int;
735 // operator int();
736 // };
737 // This is uncommon by itself and even more uncommon in conjunction
738 // with sufficiently large numbers of directly-declared conversions
739 // that asymptotic behavior matters.
740
741 UnresolvedSetImpl &Convs = *getConversionFunctions();
742 for (unsigned I = 0, E = Convs.size(); I != E; ++I) {
743 if (Convs[I].getDecl() == ConvDecl) {
744 Convs.erase(I);
745 assert(std::find(Convs.begin(), Convs.end(), ConvDecl) == Convs.end()
746 && "conversion was found multiple times in unresolved set");
747 return;
748 }
749 }
750
751 llvm_unreachable("conversion not found in set!");
Douglas Gregor65ec1fd2009-08-21 23:19:43 +0000752}
Fariborz Jahanianf8dcb862009-06-19 19:55:27 +0000753
Douglas Gregorf6b11852009-10-08 15:14:33 +0000754CXXRecordDecl *CXXRecordDecl::getInstantiatedFromMemberClass() const {
Douglas Gregorb3ae4fc2009-10-12 20:18:28 +0000755 if (MemberSpecializationInfo *MSInfo = getMemberSpecializationInfo())
Douglas Gregorf6b11852009-10-08 15:14:33 +0000756 return cast<CXXRecordDecl>(MSInfo->getInstantiatedFrom());
757
758 return 0;
759}
760
Douglas Gregorb3ae4fc2009-10-12 20:18:28 +0000761MemberSpecializationInfo *CXXRecordDecl::getMemberSpecializationInfo() const {
762 return TemplateOrInstantiation.dyn_cast<MemberSpecializationInfo *>();
763}
764
Douglas Gregorf6b11852009-10-08 15:14:33 +0000765void
766CXXRecordDecl::setInstantiationOfMemberClass(CXXRecordDecl *RD,
767 TemplateSpecializationKind TSK) {
768 assert(TemplateOrInstantiation.isNull() &&
769 "Previous template or instantiation?");
770 assert(!isa<ClassTemplateSpecializationDecl>(this));
771 TemplateOrInstantiation
772 = new (getASTContext()) MemberSpecializationInfo(RD, TSK);
773}
774
Anders Carlssonb13e3572009-12-07 06:33:48 +0000775TemplateSpecializationKind CXXRecordDecl::getTemplateSpecializationKind() const{
776 if (const ClassTemplateSpecializationDecl *Spec
Douglas Gregorf6b11852009-10-08 15:14:33 +0000777 = dyn_cast<ClassTemplateSpecializationDecl>(this))
778 return Spec->getSpecializationKind();
779
Douglas Gregorb3ae4fc2009-10-12 20:18:28 +0000780 if (MemberSpecializationInfo *MSInfo = getMemberSpecializationInfo())
Douglas Gregorf6b11852009-10-08 15:14:33 +0000781 return MSInfo->getTemplateSpecializationKind();
782
783 return TSK_Undeclared;
784}
785
786void
787CXXRecordDecl::setTemplateSpecializationKind(TemplateSpecializationKind TSK) {
788 if (ClassTemplateSpecializationDecl *Spec
789 = dyn_cast<ClassTemplateSpecializationDecl>(this)) {
790 Spec->setSpecializationKind(TSK);
791 return;
792 }
793
Douglas Gregorb3ae4fc2009-10-12 20:18:28 +0000794 if (MemberSpecializationInfo *MSInfo = getMemberSpecializationInfo()) {
Douglas Gregorf6b11852009-10-08 15:14:33 +0000795 MSInfo->setTemplateSpecializationKind(TSK);
796 return;
797 }
798
799 assert(false && "Not a class template or member class specialization");
800}
801
Douglas Gregor1d110e02010-07-01 14:13:13 +0000802CXXDestructorDecl *CXXRecordDecl::getDestructor() const {
803 ASTContext &Context = getASTContext();
Anders Carlsson7267c162009-05-29 21:03:38 +0000804 QualType ClassType = Context.getTypeDeclType(this);
Mike Stump1eb44332009-09-09 15:08:12 +0000805
806 DeclarationName Name
Douglas Gregor50d62d12009-08-05 05:36:45 +0000807 = Context.DeclarationNames.getCXXDestructorName(
808 Context.getCanonicalType(ClassType));
Anders Carlsson7267c162009-05-29 21:03:38 +0000809
John McCallc0bf4622010-02-23 00:48:20 +0000810 DeclContext::lookup_const_iterator I, E;
Mike Stump1eb44332009-09-09 15:08:12 +0000811 llvm::tie(I, E) = lookup(Name);
Sebastian Redld4b25cb2010-09-02 23:19:42 +0000812 if (I == E)
813 return 0;
Mike Stump1eb44332009-09-09 15:08:12 +0000814
Anders Carlsson5ec02ae2009-12-02 17:15:43 +0000815 CXXDestructorDecl *Dtor = cast<CXXDestructorDecl>(*I);
Anders Carlsson7267c162009-05-29 21:03:38 +0000816 return Dtor;
817}
818
Douglas Gregorda2142f2011-02-19 18:51:44 +0000819void CXXRecordDecl::completeDefinition() {
820 completeDefinition(0);
821}
822
823void CXXRecordDecl::completeDefinition(CXXFinalOverriderMap *FinalOverriders) {
824 RecordDecl::completeDefinition();
825
Douglas Gregor7a39dd02010-09-29 00:15:42 +0000826 // If the class may be abstract (but hasn't been marked as such), check for
827 // any pure final overriders.
828 if (mayBeAbstract()) {
829 CXXFinalOverriderMap MyFinalOverriders;
830 if (!FinalOverriders) {
831 getFinalOverriders(MyFinalOverriders);
832 FinalOverriders = &MyFinalOverriders;
833 }
834
835 bool Done = false;
836 for (CXXFinalOverriderMap::iterator M = FinalOverriders->begin(),
837 MEnd = FinalOverriders->end();
838 M != MEnd && !Done; ++M) {
839 for (OverridingMethods::iterator SO = M->second.begin(),
840 SOEnd = M->second.end();
841 SO != SOEnd && !Done; ++SO) {
842 assert(SO->second.size() > 0 &&
843 "All virtual functions have overridding virtual functions");
844
845 // C++ [class.abstract]p4:
846 // A class is abstract if it contains or inherits at least one
847 // pure virtual function for which the final overrider is pure
848 // virtual.
849 if (SO->second.front().Method->isPure()) {
850 data().Abstract = true;
851 Done = true;
852 break;
853 }
854 }
855 }
856 }
Douglas Gregore80622f2010-09-29 04:25:11 +0000857
858 // Set access bits correctly on the directly-declared conversions.
859 for (UnresolvedSetIterator I = data().Conversions.begin(),
860 E = data().Conversions.end();
861 I != E; ++I)
862 data().Conversions.setAccess(I, (*I)->getAccess());
Douglas Gregor7a39dd02010-09-29 00:15:42 +0000863}
864
865bool CXXRecordDecl::mayBeAbstract() const {
866 if (data().Abstract || isInvalidDecl() || !data().Polymorphic ||
867 isDependentContext())
868 return false;
869
870 for (CXXRecordDecl::base_class_const_iterator B = bases_begin(),
871 BEnd = bases_end();
872 B != BEnd; ++B) {
873 CXXRecordDecl *BaseDecl
874 = cast<CXXRecordDecl>(B->getType()->getAs<RecordType>()->getDecl());
875 if (BaseDecl->isAbstract())
876 return true;
877 }
878
879 return false;
880}
881
Ted Kremenek4b7c9832008-09-05 17:16:31 +0000882CXXMethodDecl *
883CXXMethodDecl::Create(ASTContext &C, CXXRecordDecl *RD,
Abramo Bagnaraff676cb2011-03-08 08:55:46 +0000884 SourceLocation StartLoc,
Abramo Bagnara25777432010-08-11 22:01:17 +0000885 const DeclarationNameInfo &NameInfo,
John McCalla93c9342009-12-07 02:54:59 +0000886 QualType T, TypeSourceInfo *TInfo,
Douglas Gregorf5251602011-03-08 17:10:18 +0000887 bool isStatic, StorageClass SCAsWritten, bool isInline,
888 SourceLocation EndLocation) {
Abramo Bagnaraff676cb2011-03-08 08:55:46 +0000889 return new (C) CXXMethodDecl(CXXMethod, RD, StartLoc, NameInfo, T, TInfo,
Douglas Gregorf5251602011-03-08 17:10:18 +0000890 isStatic, SCAsWritten, isInline, EndLocation);
Ted Kremenek4b7c9832008-09-05 17:16:31 +0000891}
892
Douglas Gregor90916562009-09-29 18:16:17 +0000893bool CXXMethodDecl::isUsualDeallocationFunction() const {
894 if (getOverloadedOperator() != OO_Delete &&
895 getOverloadedOperator() != OO_Array_Delete)
896 return false;
Douglas Gregor6d908702010-02-26 05:06:18 +0000897
898 // C++ [basic.stc.dynamic.deallocation]p2:
899 // A template instance is never a usual deallocation function,
900 // regardless of its signature.
901 if (getPrimaryTemplate())
902 return false;
903
Douglas Gregor90916562009-09-29 18:16:17 +0000904 // C++ [basic.stc.dynamic.deallocation]p2:
905 // If a class T has a member deallocation function named operator delete
906 // with exactly one parameter, then that function is a usual (non-placement)
907 // deallocation function. [...]
908 if (getNumParams() == 1)
909 return true;
910
911 // C++ [basic.stc.dynamic.deallocation]p2:
912 // [...] If class T does not declare such an operator delete but does
913 // declare a member deallocation function named operator delete with
914 // exactly two parameters, the second of which has type std::size_t (18.1),
915 // then this function is a usual deallocation function.
916 ASTContext &Context = getASTContext();
917 if (getNumParams() != 2 ||
Chandler Carruthe228ba92010-02-08 18:54:05 +0000918 !Context.hasSameUnqualifiedType(getParamDecl(1)->getType(),
919 Context.getSizeType()))
Douglas Gregor90916562009-09-29 18:16:17 +0000920 return false;
921
922 // This function is a usual deallocation function if there are no
923 // single-parameter deallocation functions of the same kind.
924 for (DeclContext::lookup_const_result R = getDeclContext()->lookup(getDeclName());
925 R.first != R.second; ++R.first) {
926 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(*R.first))
927 if (FD->getNumParams() == 1)
928 return false;
929 }
930
931 return true;
932}
933
Douglas Gregor06a9f362010-05-01 20:49:11 +0000934bool CXXMethodDecl::isCopyAssignmentOperator() const {
935 // C++0x [class.copy]p19:
936 // A user-declared copy assignment operator X::operator= is a non-static
937 // non-template member function of class X with exactly one parameter of
938 // type X, X&, const X&, volatile X& or const volatile X&.
939 if (/*operator=*/getOverloadedOperator() != OO_Equal ||
940 /*non-static*/ isStatic() ||
941 /*non-template*/getPrimaryTemplate() || getDescribedFunctionTemplate() ||
942 /*exactly one parameter*/getNumParams() != 1)
943 return false;
944
945 QualType ParamType = getParamDecl(0)->getType();
946 if (const LValueReferenceType *Ref = ParamType->getAs<LValueReferenceType>())
947 ParamType = Ref->getPointeeType();
948
949 ASTContext &Context = getASTContext();
950 QualType ClassType
951 = Context.getCanonicalType(Context.getTypeDeclType(getParent()));
952 return Context.hasSameUnqualifiedType(ClassType, ParamType);
953}
954
Anders Carlsson05eb2442009-05-16 23:58:37 +0000955void CXXMethodDecl::addOverriddenMethod(const CXXMethodDecl *MD) {
Anders Carlsson3aaf4862009-12-04 05:51:56 +0000956 assert(MD->isCanonicalDecl() && "Method is not canonical!");
Anders Carlssonc076c452010-01-30 17:42:34 +0000957 assert(!MD->getParent()->isDependentContext() &&
958 "Can't add an overridden method to a class template!");
959
Douglas Gregor7d10b7e2010-03-02 23:58:15 +0000960 getASTContext().addOverriddenMethod(this, MD);
Anders Carlsson05eb2442009-05-16 23:58:37 +0000961}
962
963CXXMethodDecl::method_iterator CXXMethodDecl::begin_overridden_methods() const {
Douglas Gregor7d10b7e2010-03-02 23:58:15 +0000964 return getASTContext().overridden_methods_begin(this);
Anders Carlsson05eb2442009-05-16 23:58:37 +0000965}
966
967CXXMethodDecl::method_iterator CXXMethodDecl::end_overridden_methods() const {
Douglas Gregor7d10b7e2010-03-02 23:58:15 +0000968 return getASTContext().overridden_methods_end(this);
Anders Carlsson05eb2442009-05-16 23:58:37 +0000969}
970
Argyrios Kyrtzidisc91e9f42010-07-04 21:44:35 +0000971unsigned CXXMethodDecl::size_overridden_methods() const {
972 return getASTContext().overridden_methods_size(this);
973}
974
Ted Kremenek4b7c9832008-09-05 17:16:31 +0000975QualType CXXMethodDecl::getThisType(ASTContext &C) const {
Argyrios Kyrtzidisb0d178d2008-10-24 22:28:18 +0000976 // C++ 9.3.2p1: The type of this in a member function of a class X is X*.
977 // If the member function is declared const, the type of this is const X*,
978 // if the member function is declared volatile, the type of this is
979 // volatile X*, and if the member function is declared const volatile,
980 // the type of this is const volatile X*.
981
Ted Kremenek4b7c9832008-09-05 17:16:31 +0000982 assert(isInstance() && "No 'this' for static methods!");
Anders Carlsson31a08752009-06-13 02:59:33 +0000983
John McCall3cb0ebd2010-03-10 03:28:59 +0000984 QualType ClassTy = C.getTypeDeclType(getParent());
John McCall0953e762009-09-24 19:53:00 +0000985 ClassTy = C.getQualifiedType(ClassTy,
986 Qualifiers::fromCVRMask(getTypeQualifiers()));
Anders Carlsson4e579922009-07-10 21:35:09 +0000987 return C.getPointerType(ClassTy);
Ted Kremenek4b7c9832008-09-05 17:16:31 +0000988}
989
Eli Friedmand7d7f672009-12-06 20:50:05 +0000990bool CXXMethodDecl::hasInlineBody() const {
Douglas Gregorbd6d6192010-01-05 19:06:31 +0000991 // If this function is a template instantiation, look at the template from
992 // which it was instantiated.
993 const FunctionDecl *CheckFn = getTemplateInstantiationPattern();
994 if (!CheckFn)
995 CheckFn = this;
996
Eli Friedmand7d7f672009-12-06 20:50:05 +0000997 const FunctionDecl *fn;
Argyrios Kyrtzidis06a54a32010-07-07 11:31:19 +0000998 return CheckFn->hasBody(fn) && !fn->isOutOfLine();
Eli Friedmand7d7f672009-12-06 20:50:05 +0000999}
1000
Sean Huntcbb67482011-01-08 20:30:50 +00001001CXXCtorInitializer::CXXCtorInitializer(ASTContext &Context,
1002 TypeSourceInfo *TInfo, bool IsVirtual,
1003 SourceLocation L, Expr *Init,
1004 SourceLocation R,
1005 SourceLocation EllipsisLoc)
Sean Huntf51d0b62011-01-08 23:01:16 +00001006 : Initializee(TInfo), MemberOrEllipsisLocation(EllipsisLoc), Init(Init),
Abramo Bagnaraa0af3b42010-05-26 18:09:23 +00001007 LParenLoc(L), RParenLoc(R), IsVirtual(IsVirtual), IsWritten(false),
1008 SourceOrderOrNumArrayIndices(0)
Douglas Gregor802ab452009-12-02 22:36:29 +00001009{
Douglas Gregor7ad83902008-11-05 04:29:56 +00001010}
1011
Sean Huntcbb67482011-01-08 20:30:50 +00001012CXXCtorInitializer::CXXCtorInitializer(ASTContext &Context,
1013 FieldDecl *Member,
1014 SourceLocation MemberLoc,
1015 SourceLocation L, Expr *Init,
1016 SourceLocation R)
Sean Huntf51d0b62011-01-08 23:01:16 +00001017 : Initializee(Member), MemberOrEllipsisLocation(MemberLoc), Init(Init),
Francois Pichet00eb3f92010-12-04 09:14:42 +00001018 LParenLoc(L), RParenLoc(R), IsVirtual(false),
1019 IsWritten(false), SourceOrderOrNumArrayIndices(0)
1020{
1021}
1022
Sean Huntcbb67482011-01-08 20:30:50 +00001023CXXCtorInitializer::CXXCtorInitializer(ASTContext &Context,
1024 IndirectFieldDecl *Member,
1025 SourceLocation MemberLoc,
1026 SourceLocation L, Expr *Init,
1027 SourceLocation R)
Sean Huntf51d0b62011-01-08 23:01:16 +00001028 : Initializee(Member), MemberOrEllipsisLocation(MemberLoc), Init(Init),
Francois Pichet00eb3f92010-12-04 09:14:42 +00001029 LParenLoc(L), RParenLoc(R), IsVirtual(false),
Abramo Bagnaraa0af3b42010-05-26 18:09:23 +00001030 IsWritten(false), SourceOrderOrNumArrayIndices(0)
Douglas Gregor802ab452009-12-02 22:36:29 +00001031{
Douglas Gregor7ad83902008-11-05 04:29:56 +00001032}
1033
Sean Huntcbb67482011-01-08 20:30:50 +00001034CXXCtorInitializer::CXXCtorInitializer(ASTContext &Context,
Sean Hunt41717662011-02-26 19:13:13 +00001035 SourceLocation D, SourceLocation L,
1036 CXXConstructorDecl *Target, Expr *Init,
1037 SourceLocation R)
1038 : Initializee(Target), MemberOrEllipsisLocation(D), Init(Init),
1039 LParenLoc(L), RParenLoc(R), IsVirtual(false),
1040 IsWritten(false), SourceOrderOrNumArrayIndices(0)
1041{
1042}
1043
1044CXXCtorInitializer::CXXCtorInitializer(ASTContext &Context,
Sean Huntcbb67482011-01-08 20:30:50 +00001045 FieldDecl *Member,
1046 SourceLocation MemberLoc,
1047 SourceLocation L, Expr *Init,
1048 SourceLocation R,
1049 VarDecl **Indices,
1050 unsigned NumIndices)
Sean Huntf51d0b62011-01-08 23:01:16 +00001051 : Initializee(Member), MemberOrEllipsisLocation(MemberLoc), Init(Init),
Francois Pichet00eb3f92010-12-04 09:14:42 +00001052 LParenLoc(L), RParenLoc(R), IsVirtual(false),
Abramo Bagnaraa0af3b42010-05-26 18:09:23 +00001053 IsWritten(false), SourceOrderOrNumArrayIndices(NumIndices)
Douglas Gregorfb8cc252010-05-05 05:51:00 +00001054{
1055 VarDecl **MyIndices = reinterpret_cast<VarDecl **> (this + 1);
1056 memcpy(MyIndices, Indices, NumIndices * sizeof(VarDecl *));
1057}
1058
Sean Huntcbb67482011-01-08 20:30:50 +00001059CXXCtorInitializer *CXXCtorInitializer::Create(ASTContext &Context,
1060 FieldDecl *Member,
1061 SourceLocation MemberLoc,
1062 SourceLocation L, Expr *Init,
1063 SourceLocation R,
1064 VarDecl **Indices,
1065 unsigned NumIndices) {
1066 void *Mem = Context.Allocate(sizeof(CXXCtorInitializer) +
Douglas Gregorfb8cc252010-05-05 05:51:00 +00001067 sizeof(VarDecl *) * NumIndices,
Sean Huntcbb67482011-01-08 20:30:50 +00001068 llvm::alignOf<CXXCtorInitializer>());
Sean Huntf51d0b62011-01-08 23:01:16 +00001069 return new (Mem) CXXCtorInitializer(Context, Member, MemberLoc, L, Init, R,
1070 Indices, NumIndices);
Douglas Gregorfb8cc252010-05-05 05:51:00 +00001071}
1072
Sean Huntcbb67482011-01-08 20:30:50 +00001073TypeLoc CXXCtorInitializer::getBaseClassLoc() const {
Douglas Gregor802ab452009-12-02 22:36:29 +00001074 if (isBaseInitializer())
Sean Huntf51d0b62011-01-08 23:01:16 +00001075 return Initializee.get<TypeSourceInfo*>()->getTypeLoc();
Douglas Gregor802ab452009-12-02 22:36:29 +00001076 else
1077 return TypeLoc();
1078}
1079
Sean Huntcbb67482011-01-08 20:30:50 +00001080const Type *CXXCtorInitializer::getBaseClass() const {
Douglas Gregor802ab452009-12-02 22:36:29 +00001081 if (isBaseInitializer())
Sean Huntf51d0b62011-01-08 23:01:16 +00001082 return Initializee.get<TypeSourceInfo*>()->getType().getTypePtr();
Douglas Gregor802ab452009-12-02 22:36:29 +00001083 else
1084 return 0;
1085}
1086
Sean Huntcbb67482011-01-08 20:30:50 +00001087SourceLocation CXXCtorInitializer::getSourceLocation() const {
Sean Hunt41717662011-02-26 19:13:13 +00001088 if (isAnyMemberInitializer() || isDelegatingInitializer())
Douglas Gregor802ab452009-12-02 22:36:29 +00001089 return getMemberLocation();
1090
Abramo Bagnarabd054db2010-05-20 10:00:11 +00001091 return getBaseClassLoc().getLocalSourceRange().getBegin();
Douglas Gregor802ab452009-12-02 22:36:29 +00001092}
1093
Sean Huntcbb67482011-01-08 20:30:50 +00001094SourceRange CXXCtorInitializer::getSourceRange() const {
Douglas Gregor802ab452009-12-02 22:36:29 +00001095 return SourceRange(getSourceLocation(), getRParenLoc());
Douglas Gregor7ad83902008-11-05 04:29:56 +00001096}
1097
Douglas Gregorb48fe382008-10-31 09:07:45 +00001098CXXConstructorDecl *
Chris Lattner6ad9ac02010-05-07 21:43:38 +00001099CXXConstructorDecl::Create(ASTContext &C, EmptyShell Empty) {
Abramo Bagnaraff676cb2011-03-08 08:55:46 +00001100 return new (C) CXXConstructorDecl(0, SourceLocation(), DeclarationNameInfo(),
Chris Lattner6ad9ac02010-05-07 21:43:38 +00001101 QualType(), 0, false, false, false);
1102}
1103
1104CXXConstructorDecl *
Douglas Gregorb48fe382008-10-31 09:07:45 +00001105CXXConstructorDecl::Create(ASTContext &C, CXXRecordDecl *RD,
Abramo Bagnaraff676cb2011-03-08 08:55:46 +00001106 SourceLocation StartLoc,
Abramo Bagnara25777432010-08-11 22:01:17 +00001107 const DeclarationNameInfo &NameInfo,
John McCalla93c9342009-12-07 02:54:59 +00001108 QualType T, TypeSourceInfo *TInfo,
Argyrios Kyrtzidisa1d56622009-08-19 01:27:57 +00001109 bool isExplicit,
Douglas Gregor16573fa2010-04-19 22:54:31 +00001110 bool isInline,
1111 bool isImplicitlyDeclared) {
Abramo Bagnara25777432010-08-11 22:01:17 +00001112 assert(NameInfo.getName().getNameKind()
1113 == DeclarationName::CXXConstructorName &&
Douglas Gregor2e1cd422008-11-17 14:58:09 +00001114 "Name must refer to a constructor");
Abramo Bagnaraff676cb2011-03-08 08:55:46 +00001115 return new (C) CXXConstructorDecl(RD, StartLoc, NameInfo, T, TInfo,
1116 isExplicit, isInline, isImplicitlyDeclared);
Douglas Gregorb48fe382008-10-31 09:07:45 +00001117}
1118
Douglas Gregor030ff0c2008-10-31 20:25:05 +00001119bool CXXConstructorDecl::isDefaultConstructor() const {
1120 // C++ [class.ctor]p5:
Douglas Gregor64bffa92008-11-05 16:20:31 +00001121 // A default constructor for a class X is a constructor of class
1122 // X that can be called without an argument.
Douglas Gregor030ff0c2008-10-31 20:25:05 +00001123 return (getNumParams() == 0) ||
Anders Carlssonda3f4e22009-08-25 05:12:04 +00001124 (getNumParams() > 0 && getParamDecl(0)->hasDefaultArg());
Douglas Gregor030ff0c2008-10-31 20:25:05 +00001125}
1126
Mike Stump1eb44332009-09-09 15:08:12 +00001127bool
Douglas Gregor9e9199d2009-12-22 00:34:07 +00001128CXXConstructorDecl::isCopyConstructor(unsigned &TypeQuals) const {
Douglas Gregorcc15f012011-01-21 19:38:21 +00001129 return isCopyOrMoveConstructor(TypeQuals) &&
1130 getParamDecl(0)->getType()->isLValueReferenceType();
1131}
1132
1133bool CXXConstructorDecl::isMoveConstructor(unsigned &TypeQuals) const {
1134 return isCopyOrMoveConstructor(TypeQuals) &&
1135 getParamDecl(0)->getType()->isRValueReferenceType();
1136}
1137
1138/// \brief Determine whether this is a copy or move constructor.
1139bool CXXConstructorDecl::isCopyOrMoveConstructor(unsigned &TypeQuals) const {
Douglas Gregor030ff0c2008-10-31 20:25:05 +00001140 // C++ [class.copy]p2:
Douglas Gregor64bffa92008-11-05 16:20:31 +00001141 // A non-template constructor for class X is a copy constructor
1142 // if its first parameter is of type X&, const X&, volatile X& or
1143 // const volatile X&, and either there are no other parameters
1144 // or else all other parameters have default arguments (8.3.6).
Douglas Gregorcc15f012011-01-21 19:38:21 +00001145 // C++0x [class.copy]p3:
1146 // A non-template constructor for class X is a move constructor if its
1147 // first parameter is of type X&&, const X&&, volatile X&&, or
1148 // const volatile X&&, and either there are no other parameters or else
1149 // all other parameters have default arguments.
Douglas Gregor030ff0c2008-10-31 20:25:05 +00001150 if ((getNumParams() < 1) ||
Douglas Gregor77da3f42009-10-13 23:45:19 +00001151 (getNumParams() > 1 && !getParamDecl(1)->hasDefaultArg()) ||
Douglas Gregorfd476482009-11-13 23:59:09 +00001152 (getPrimaryTemplate() != 0) ||
Douglas Gregor77da3f42009-10-13 23:45:19 +00001153 (getDescribedFunctionTemplate() != 0))
Douglas Gregor030ff0c2008-10-31 20:25:05 +00001154 return false;
Douglas Gregorcc15f012011-01-21 19:38:21 +00001155
Douglas Gregor030ff0c2008-10-31 20:25:05 +00001156 const ParmVarDecl *Param = getParamDecl(0);
Douglas Gregorcc15f012011-01-21 19:38:21 +00001157
1158 // Do we have a reference type?
1159 const ReferenceType *ParamRefType = Param->getType()->getAs<ReferenceType>();
Douglas Gregorfd476482009-11-13 23:59:09 +00001160 if (!ParamRefType)
1161 return false;
Douglas Gregorcc15f012011-01-21 19:38:21 +00001162
Douglas Gregorfd476482009-11-13 23:59:09 +00001163 // Is it a reference to our class type?
Douglas Gregor9e9199d2009-12-22 00:34:07 +00001164 ASTContext &Context = getASTContext();
1165
Douglas Gregorfd476482009-11-13 23:59:09 +00001166 CanQualType PointeeType
1167 = Context.getCanonicalType(ParamRefType->getPointeeType());
Douglas Gregor14e0b3d2009-09-15 20:50:23 +00001168 CanQualType ClassTy
1169 = Context.getCanonicalType(Context.getTagDeclType(getParent()));
Douglas Gregor030ff0c2008-10-31 20:25:05 +00001170 if (PointeeType.getUnqualifiedType() != ClassTy)
1171 return false;
Douglas Gregorcc15f012011-01-21 19:38:21 +00001172
John McCall0953e762009-09-24 19:53:00 +00001173 // FIXME: other qualifiers?
Douglas Gregorcc15f012011-01-21 19:38:21 +00001174
1175 // We have a copy or move constructor.
Douglas Gregor030ff0c2008-10-31 20:25:05 +00001176 TypeQuals = PointeeType.getCVRQualifiers();
Douglas Gregorcc15f012011-01-21 19:38:21 +00001177 return true;
Douglas Gregor030ff0c2008-10-31 20:25:05 +00001178}
1179
Anders Carlssonfaccd722009-08-28 16:57:08 +00001180bool CXXConstructorDecl::isConvertingConstructor(bool AllowExplicit) const {
Douglas Gregor60d62c22008-10-31 16:23:19 +00001181 // C++ [class.conv.ctor]p1:
1182 // A constructor declared without the function-specifier explicit
1183 // that can be called with a single parameter specifies a
1184 // conversion from the type of its first parameter to the type of
1185 // its class. Such a constructor is called a converting
1186 // constructor.
Anders Carlssonfaccd722009-08-28 16:57:08 +00001187 if (isExplicit() && !AllowExplicit)
Douglas Gregor60d62c22008-10-31 16:23:19 +00001188 return false;
1189
Mike Stump1eb44332009-09-09 15:08:12 +00001190 return (getNumParams() == 0 &&
John McCall183700f2009-09-21 23:43:11 +00001191 getType()->getAs<FunctionProtoType>()->isVariadic()) ||
Douglas Gregor60d62c22008-10-31 16:23:19 +00001192 (getNumParams() == 1) ||
Anders Carlssonae0b4e72009-06-06 04:14:07 +00001193 (getNumParams() > 1 && getParamDecl(1)->hasDefaultArg());
Douglas Gregor60d62c22008-10-31 16:23:19 +00001194}
Douglas Gregorb48fe382008-10-31 09:07:45 +00001195
Douglas Gregor6493cc52010-11-08 17:16:59 +00001196bool CXXConstructorDecl::isSpecializationCopyingObject() const {
Douglas Gregor66724ea2009-11-14 01:20:54 +00001197 if ((getNumParams() < 1) ||
1198 (getNumParams() > 1 && !getParamDecl(1)->hasDefaultArg()) ||
1199 (getPrimaryTemplate() == 0) ||
1200 (getDescribedFunctionTemplate() != 0))
1201 return false;
1202
1203 const ParmVarDecl *Param = getParamDecl(0);
1204
1205 ASTContext &Context = getASTContext();
1206 CanQualType ParamType = Context.getCanonicalType(Param->getType());
1207
Douglas Gregor66724ea2009-11-14 01:20:54 +00001208 // Is it the same as our our class type?
1209 CanQualType ClassTy
1210 = Context.getCanonicalType(Context.getTagDeclType(getParent()));
1211 if (ParamType.getUnqualifiedType() != ClassTy)
1212 return false;
1213
1214 return true;
1215}
1216
Sebastian Redlf677ea32011-02-05 19:23:19 +00001217const CXXConstructorDecl *CXXConstructorDecl::getInheritedConstructor() const {
1218 // Hack: we store the inherited constructor in the overridden method table
1219 method_iterator It = begin_overridden_methods();
1220 if (It == end_overridden_methods())
1221 return 0;
1222
1223 return cast<CXXConstructorDecl>(*It);
1224}
1225
1226void
1227CXXConstructorDecl::setInheritedConstructor(const CXXConstructorDecl *BaseCtor){
1228 // Hack: we store the inherited constructor in the overridden method table
1229 assert(size_overridden_methods() == 0 && "Base ctor already set.");
1230 addOverriddenMethod(BaseCtor);
1231}
1232
Douglas Gregor42a552f2008-11-05 20:51:48 +00001233CXXDestructorDecl *
Chris Lattner6ad9ac02010-05-07 21:43:38 +00001234CXXDestructorDecl::Create(ASTContext &C, EmptyShell Empty) {
Abramo Bagnaraff676cb2011-03-08 08:55:46 +00001235 return new (C) CXXDestructorDecl(0, SourceLocation(), DeclarationNameInfo(),
Craig Silversteinb41d8992010-10-21 00:44:50 +00001236 QualType(), 0, false, false);
Chris Lattner6ad9ac02010-05-07 21:43:38 +00001237}
1238
1239CXXDestructorDecl *
Douglas Gregor42a552f2008-11-05 20:51:48 +00001240CXXDestructorDecl::Create(ASTContext &C, CXXRecordDecl *RD,
Abramo Bagnaraff676cb2011-03-08 08:55:46 +00001241 SourceLocation StartLoc,
Abramo Bagnara25777432010-08-11 22:01:17 +00001242 const DeclarationNameInfo &NameInfo,
Craig Silversteinb41d8992010-10-21 00:44:50 +00001243 QualType T, TypeSourceInfo *TInfo,
1244 bool isInline,
Douglas Gregor42a552f2008-11-05 20:51:48 +00001245 bool isImplicitlyDeclared) {
Abramo Bagnara25777432010-08-11 22:01:17 +00001246 assert(NameInfo.getName().getNameKind()
1247 == DeclarationName::CXXDestructorName &&
Douglas Gregor2e1cd422008-11-17 14:58:09 +00001248 "Name must refer to a destructor");
Abramo Bagnaraff676cb2011-03-08 08:55:46 +00001249 return new (C) CXXDestructorDecl(RD, StartLoc, NameInfo, T, TInfo, isInline,
Abramo Bagnara25777432010-08-11 22:01:17 +00001250 isImplicitlyDeclared);
Douglas Gregor42a552f2008-11-05 20:51:48 +00001251}
1252
Douglas Gregor2f1bc522008-11-07 20:08:42 +00001253CXXConversionDecl *
Chris Lattner6ad9ac02010-05-07 21:43:38 +00001254CXXConversionDecl::Create(ASTContext &C, EmptyShell Empty) {
Abramo Bagnaraff676cb2011-03-08 08:55:46 +00001255 return new (C) CXXConversionDecl(0, SourceLocation(), DeclarationNameInfo(),
Douglas Gregorf5251602011-03-08 17:10:18 +00001256 QualType(), 0, false, false,
1257 SourceLocation());
Chris Lattner6ad9ac02010-05-07 21:43:38 +00001258}
1259
1260CXXConversionDecl *
Douglas Gregor2f1bc522008-11-07 20:08:42 +00001261CXXConversionDecl::Create(ASTContext &C, CXXRecordDecl *RD,
Abramo Bagnaraff676cb2011-03-08 08:55:46 +00001262 SourceLocation StartLoc,
Abramo Bagnara25777432010-08-11 22:01:17 +00001263 const DeclarationNameInfo &NameInfo,
John McCalla93c9342009-12-07 02:54:59 +00001264 QualType T, TypeSourceInfo *TInfo,
Douglas Gregorf5251602011-03-08 17:10:18 +00001265 bool isInline, bool isExplicit,
1266 SourceLocation EndLocation) {
Abramo Bagnara25777432010-08-11 22:01:17 +00001267 assert(NameInfo.getName().getNameKind()
1268 == DeclarationName::CXXConversionFunctionName &&
Douglas Gregor2e1cd422008-11-17 14:58:09 +00001269 "Name must refer to a conversion function");
Abramo Bagnaraff676cb2011-03-08 08:55:46 +00001270 return new (C) CXXConversionDecl(RD, StartLoc, NameInfo, T, TInfo,
Douglas Gregorf5251602011-03-08 17:10:18 +00001271 isInline, isExplicit, EndLocation);
Douglas Gregor2f1bc522008-11-07 20:08:42 +00001272}
1273
Chris Lattner21ef7ae2008-11-04 16:51:42 +00001274LinkageSpecDecl *LinkageSpecDecl::Create(ASTContext &C,
Mike Stump1eb44332009-09-09 15:08:12 +00001275 DeclContext *DC,
Abramo Bagnaraa2026c92011-03-08 16:41:52 +00001276 SourceLocation ExternLoc,
1277 SourceLocation LangLoc,
Abramo Bagnara5f6bcbe2011-03-03 14:52:38 +00001278 LanguageIDs Lang,
Abramo Bagnara5f6bcbe2011-03-03 14:52:38 +00001279 SourceLocation RBraceLoc) {
Abramo Bagnaraa2026c92011-03-08 16:41:52 +00001280 return new (C) LinkageSpecDecl(DC, ExternLoc, LangLoc, Lang, RBraceLoc);
Douglas Gregorf44515a2008-12-16 22:23:02 +00001281}
Douglas Gregor2a3009a2009-02-03 19:21:40 +00001282
1283UsingDirectiveDecl *UsingDirectiveDecl::Create(ASTContext &C, DeclContext *DC,
1284 SourceLocation L,
1285 SourceLocation NamespaceLoc,
Douglas Gregordb992412011-02-25 16:33:46 +00001286 NestedNameSpecifierLoc QualifierLoc,
Douglas Gregor2a3009a2009-02-03 19:21:40 +00001287 SourceLocation IdentLoc,
Sebastian Redleb0d8c92009-11-23 15:34:23 +00001288 NamedDecl *Used,
Douglas Gregor2a3009a2009-02-03 19:21:40 +00001289 DeclContext *CommonAncestor) {
Sebastian Redleb0d8c92009-11-23 15:34:23 +00001290 if (NamespaceDecl *NS = dyn_cast_or_null<NamespaceDecl>(Used))
1291 Used = NS->getOriginalNamespace();
Douglas Gregordb992412011-02-25 16:33:46 +00001292 return new (C) UsingDirectiveDecl(DC, L, NamespaceLoc, QualifierLoc,
1293 IdentLoc, Used, CommonAncestor);
Douglas Gregor2a3009a2009-02-03 19:21:40 +00001294}
1295
Sebastian Redleb0d8c92009-11-23 15:34:23 +00001296NamespaceDecl *UsingDirectiveDecl::getNominatedNamespace() {
1297 if (NamespaceAliasDecl *NA =
1298 dyn_cast_or_null<NamespaceAliasDecl>(NominatedNamespace))
1299 return NA->getNamespace();
1300 return cast_or_null<NamespaceDecl>(NominatedNamespace);
1301}
1302
Mike Stump1eb44332009-09-09 15:08:12 +00001303NamespaceAliasDecl *NamespaceAliasDecl::Create(ASTContext &C, DeclContext *DC,
Douglas Gregor0a35bce2010-09-01 03:07:18 +00001304 SourceLocation UsingLoc,
Mike Stump1eb44332009-09-09 15:08:12 +00001305 SourceLocation AliasLoc,
1306 IdentifierInfo *Alias,
Douglas Gregor0cfaf6a2011-02-25 17:08:07 +00001307 NestedNameSpecifierLoc QualifierLoc,
Mike Stump1eb44332009-09-09 15:08:12 +00001308 SourceLocation IdentLoc,
Anders Carlsson68771c72009-03-28 22:58:02 +00001309 NamedDecl *Namespace) {
Sebastian Redleb0d8c92009-11-23 15:34:23 +00001310 if (NamespaceDecl *NS = dyn_cast_or_null<NamespaceDecl>(Namespace))
1311 Namespace = NS->getOriginalNamespace();
Douglas Gregor0cfaf6a2011-02-25 17:08:07 +00001312 return new (C) NamespaceAliasDecl(DC, UsingLoc, AliasLoc, Alias,
1313 QualifierLoc, IdentLoc, Namespace);
Anders Carlsson68771c72009-03-28 22:58:02 +00001314}
1315
Argyrios Kyrtzidis826faa22010-11-10 05:40:41 +00001316UsingDecl *UsingShadowDecl::getUsingDecl() const {
1317 const UsingShadowDecl *Shadow = this;
1318 while (const UsingShadowDecl *NextShadow =
1319 dyn_cast<UsingShadowDecl>(Shadow->UsingOrNextShadow))
1320 Shadow = NextShadow;
1321 return cast<UsingDecl>(Shadow->UsingOrNextShadow);
1322}
1323
1324void UsingDecl::addShadowDecl(UsingShadowDecl *S) {
1325 assert(std::find(shadow_begin(), shadow_end(), S) == shadow_end() &&
1326 "declaration already in set");
1327 assert(S->getUsingDecl() == this);
1328
1329 if (FirstUsingShadow)
1330 S->UsingOrNextShadow = FirstUsingShadow;
1331 FirstUsingShadow = S;
1332}
1333
1334void UsingDecl::removeShadowDecl(UsingShadowDecl *S) {
1335 assert(std::find(shadow_begin(), shadow_end(), S) != shadow_end() &&
1336 "declaration not in set");
1337 assert(S->getUsingDecl() == this);
1338
1339 // Remove S from the shadow decl chain. This is O(n) but hopefully rare.
1340
1341 if (FirstUsingShadow == S) {
1342 FirstUsingShadow = dyn_cast<UsingShadowDecl>(S->UsingOrNextShadow);
1343 S->UsingOrNextShadow = this;
1344 return;
1345 }
1346
1347 UsingShadowDecl *Prev = FirstUsingShadow;
1348 while (Prev->UsingOrNextShadow != S)
1349 Prev = cast<UsingShadowDecl>(Prev->UsingOrNextShadow);
1350 Prev->UsingOrNextShadow = S->UsingOrNextShadow;
1351 S->UsingOrNextShadow = this;
1352}
1353
Douglas Gregordc355712011-02-25 00:36:19 +00001354UsingDecl *UsingDecl::Create(ASTContext &C, DeclContext *DC, SourceLocation UL,
1355 NestedNameSpecifierLoc QualifierLoc,
Abramo Bagnaraef3dce82010-08-12 11:46:03 +00001356 const DeclarationNameInfo &NameInfo,
1357 bool IsTypeNameArg) {
Douglas Gregordc355712011-02-25 00:36:19 +00001358 return new (C) UsingDecl(DC, UL, QualifierLoc, NameInfo, IsTypeNameArg);
Douglas Gregor9cfbe482009-06-20 00:51:54 +00001359}
1360
John McCall7ba107a2009-11-18 02:36:19 +00001361UnresolvedUsingValueDecl *
1362UnresolvedUsingValueDecl::Create(ASTContext &C, DeclContext *DC,
1363 SourceLocation UsingLoc,
Douglas Gregordc355712011-02-25 00:36:19 +00001364 NestedNameSpecifierLoc QualifierLoc,
Abramo Bagnaraef3dce82010-08-12 11:46:03 +00001365 const DeclarationNameInfo &NameInfo) {
John McCall7ba107a2009-11-18 02:36:19 +00001366 return new (C) UnresolvedUsingValueDecl(DC, C.DependentTy, UsingLoc,
Douglas Gregordc355712011-02-25 00:36:19 +00001367 QualifierLoc, NameInfo);
John McCall7ba107a2009-11-18 02:36:19 +00001368}
1369
1370UnresolvedUsingTypenameDecl *
1371UnresolvedUsingTypenameDecl::Create(ASTContext &C, DeclContext *DC,
1372 SourceLocation UsingLoc,
1373 SourceLocation TypenameLoc,
Douglas Gregordc355712011-02-25 00:36:19 +00001374 NestedNameSpecifierLoc QualifierLoc,
John McCall7ba107a2009-11-18 02:36:19 +00001375 SourceLocation TargetNameLoc,
1376 DeclarationName TargetName) {
1377 return new (C) UnresolvedUsingTypenameDecl(DC, UsingLoc, TypenameLoc,
Douglas Gregordc355712011-02-25 00:36:19 +00001378 QualifierLoc, TargetNameLoc,
John McCall7ba107a2009-11-18 02:36:19 +00001379 TargetName.getAsIdentifierInfo());
Anders Carlsson665b49c2009-08-28 05:30:28 +00001380}
1381
Anders Carlssonfb311762009-03-14 00:25:26 +00001382StaticAssertDecl *StaticAssertDecl::Create(ASTContext &C, DeclContext *DC,
Abramo Bagnaraa2026c92011-03-08 16:41:52 +00001383 SourceLocation StaticAssertLoc,
1384 Expr *AssertExpr,
1385 StringLiteral *Message,
1386 SourceLocation RParenLoc) {
1387 return new (C) StaticAssertDecl(DC, StaticAssertLoc, AssertExpr, Message,
1388 RParenLoc);
Anders Carlssonfb311762009-03-14 00:25:26 +00001389}
1390
Anders Carlsson05bf2c72009-03-26 23:46:50 +00001391static const char *getAccessName(AccessSpecifier AS) {
1392 switch (AS) {
1393 default:
1394 case AS_none:
1395 assert("Invalid access specifier!");
1396 return 0;
1397 case AS_public:
1398 return "public";
1399 case AS_private:
1400 return "private";
1401 case AS_protected:
1402 return "protected";
1403 }
1404}
1405
1406const DiagnosticBuilder &clang::operator<<(const DiagnosticBuilder &DB,
1407 AccessSpecifier AS) {
1408 return DB << getAccessName(AS);
1409}