blob: 6e879ee9ee48984e4602e001933f91adfff2169b [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"
Douglas Gregor7a39dd02010-09-29 00:15:42 +000017#include "clang/AST/CXXInheritance.h"
Anders Carlssonfb311762009-03-14 00:25:26 +000018#include "clang/AST/Expr.h"
Douglas Gregor802ab452009-12-02 22:36:29 +000019#include "clang/AST/TypeLoc.h"
Douglas Gregor7d7e6722008-11-12 23:21:09 +000020#include "clang/Basic/IdentifierTable.h"
Douglas Gregorfdfab6b2008-12-23 21:31:30 +000021#include "llvm/ADT/STLExtras.h"
Fariborz Jahanianfaebcbb2009-09-12 19:52:10 +000022#include "llvm/ADT/SmallPtrSet.h"
Ted Kremenek4b7c9832008-09-05 17:16:31 +000023using namespace clang;
24
25//===----------------------------------------------------------------------===//
26// Decl Allocation/Deallocation Method Implementations
27//===----------------------------------------------------------------------===//
Douglas Gregor72c3f312008-12-05 18:15:24 +000028
John McCall86ff3082010-02-04 22:26:26 +000029CXXRecordDecl::DefinitionData::DefinitionData(CXXRecordDecl *D)
30 : UserDeclaredConstructor(false), UserDeclaredCopyConstructor(false),
Sebastian Redl64b45f72009-01-05 20:52:13 +000031 UserDeclaredCopyAssignment(false), UserDeclaredDestructor(false),
Eli Friedman97c134e2009-08-15 22:23:00 +000032 Aggregate(true), PlainOldData(true), Empty(true), Polymorphic(false),
33 Abstract(false), HasTrivialConstructor(true),
34 HasTrivialCopyConstructor(true), HasTrivialCopyAssignment(true),
Fariborz Jahanian62509212009-09-12 18:26:03 +000035 HasTrivialDestructor(true), ComputedVisibleConversions(false),
Douglas Gregor18274032010-07-03 00:47:00 +000036 DeclaredDefaultConstructor(false), DeclaredCopyConstructor(false),
Douglas Gregora376d102010-07-02 21:50:04 +000037 DeclaredCopyAssignment(false), DeclaredDestructor(false),
Fariborz Jahanian62509212009-09-12 18:26:03 +000038 Bases(0), NumBases(0), VBases(0), NumVBases(0),
John McCalld60e22e2010-03-12 01:19:31 +000039 Definition(D), FirstFriend(0) {
John McCall86ff3082010-02-04 22:26:26 +000040}
41
42CXXRecordDecl::CXXRecordDecl(Kind K, TagKind TK, DeclContext *DC,
43 SourceLocation L, IdentifierInfo *Id,
44 CXXRecordDecl *PrevDecl,
45 SourceLocation TKL)
46 : RecordDecl(K, TK, DC, L, Id, PrevDecl, TKL),
47 DefinitionData(PrevDecl ? PrevDecl->DefinitionData : 0),
Douglas Gregord475b8d2009-03-25 21:17:03 +000048 TemplateOrInstantiation() { }
Douglas Gregor7d7e6722008-11-12 23:21:09 +000049
Ted Kremenek4b7c9832008-09-05 17:16:31 +000050CXXRecordDecl *CXXRecordDecl::Create(ASTContext &C, TagKind TK, DeclContext *DC,
51 SourceLocation L, IdentifierInfo *Id,
Douglas Gregor741dd9a2009-07-21 14:46:17 +000052 SourceLocation TKL,
Douglas Gregoraafc0cc2009-05-15 19:11:46 +000053 CXXRecordDecl* PrevDecl,
54 bool DelayTypeCreation) {
Mike Stump1eb44332009-09-09 15:08:12 +000055 CXXRecordDecl* R = new (C) CXXRecordDecl(CXXRecord, TK, DC, L, Id,
Douglas Gregor8e9e9ef2009-07-29 23:36:44 +000056 PrevDecl, TKL);
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
Argyrios Kyrtzidisb8b03e62010-07-02 11:54:55 +000064CXXRecordDecl *CXXRecordDecl::Create(ASTContext &C, EmptyShell Empty) {
65 return new (C) CXXRecordDecl(CXXRecord, TTK_Struct, 0, SourceLocation(), 0, 0,
66 SourceLocation());
67}
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
John McCall86ff3082010-02-04 22:26:26 +000079 if (data().Bases)
80 C.Deallocate(data().Bases);
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) {
John McCall86ff3082010-02-04 22:26:26 +000091 data().Bases[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
195 data().VBases[I] =
196 CXXBaseSpecifier(VBaseClassDecl->getSourceRange(), true,
Abramo Bagnara465d41b2010-05-11 21:36:43 +0000197 VBaseClassDecl->getTagKind() == TTK_Class,
Nick Lewycky56062202010-07-26 16:56:01 +0000198 VBases[I]->getAccessSpecifier(), VBaseTypeInfo);
Fariborz Jahanian40c072f2009-07-10 20:13:23 +0000199 }
Douglas Gregor57c856b2008-10-23 18:13:27 +0000200}
201
Douglas Gregor9edad9b2010-01-14 17:47:39 +0000202/// Callback function for CXXRecordDecl::forallBases that acknowledges
203/// that it saw a base class.
204static bool SawBase(const CXXRecordDecl *, void *) {
205 return true;
206}
207
208bool CXXRecordDecl::hasAnyDependentBases() const {
209 if (!isDependentContext())
210 return false;
211
212 return !forallBases(SawBase, 0);
213}
214
Douglas Gregor396b7cd2008-11-03 17:51:48 +0000215bool CXXRecordDecl::hasConstCopyConstructor(ASTContext &Context) const {
John McCall0953e762009-09-24 19:53:00 +0000216 return getCopyConstructor(Context, Qualifiers::Const) != 0;
Fariborz Jahanian485f0872009-06-22 23:34:40 +0000217}
218
Douglas Gregor0d405db2010-07-01 20:59:04 +0000219/// \brief Perform a simplistic form of overload resolution that only considers
220/// cv-qualifiers on a single parameter, and return the best overload candidate
221/// (if there is one).
222static CXXMethodDecl *
223GetBestOverloadCandidateSimple(
224 const llvm::SmallVectorImpl<std::pair<CXXMethodDecl *, Qualifiers> > &Cands) {
225 if (Cands.empty())
226 return 0;
227 if (Cands.size() == 1)
228 return Cands[0].first;
229
230 unsigned Best = 0, N = Cands.size();
231 for (unsigned I = 1; I != N; ++I)
232 if (Cands[Best].second.isSupersetOf(Cands[I].second))
233 Best = I;
234
235 for (unsigned I = 1; I != N; ++I)
236 if (Cands[Best].second.isSupersetOf(Cands[I].second))
237 return 0;
238
239 return Cands[Best].first;
240}
241
Mike Stump1eb44332009-09-09 15:08:12 +0000242CXXConstructorDecl *CXXRecordDecl::getCopyConstructor(ASTContext &Context,
Fariborz Jahanian485f0872009-06-22 23:34:40 +0000243 unsigned TypeQuals) const{
Sebastian Redl64b45f72009-01-05 20:52:13 +0000244 QualType ClassType
245 = Context.getTypeDeclType(const_cast<CXXRecordDecl*>(this));
Mike Stump1eb44332009-09-09 15:08:12 +0000246 DeclarationName ConstructorName
Douglas Gregor9e7d9de2008-12-15 21:24:18 +0000247 = Context.DeclarationNames.getCXXConstructorName(
Fariborz Jahanian485f0872009-06-22 23:34:40 +0000248 Context.getCanonicalType(ClassType));
249 unsigned FoundTQs;
Douglas Gregor0d405db2010-07-01 20:59:04 +0000250 llvm::SmallVector<std::pair<CXXMethodDecl *, Qualifiers>, 4> Found;
Douglas Gregorfdfab6b2008-12-23 21:31:30 +0000251 DeclContext::lookup_const_iterator Con, ConEnd;
Argyrios Kyrtzidis17945a02009-06-30 02:36:12 +0000252 for (llvm::tie(Con, ConEnd) = this->lookup(ConstructorName);
Douglas Gregorfdfab6b2008-12-23 21:31:30 +0000253 Con != ConEnd; ++Con) {
Douglas Gregord93bacf2009-09-04 14:46:39 +0000254 // C++ [class.copy]p2:
255 // A non-template constructor for class X is a copy constructor if [...]
256 if (isa<FunctionTemplateDecl>(*Con))
257 continue;
258
Douglas Gregor0d405db2010-07-01 20:59:04 +0000259 CXXConstructorDecl *Constructor = cast<CXXConstructorDecl>(*Con);
260 if (Constructor->isCopyConstructor(FoundTQs)) {
John McCall0953e762009-09-24 19:53:00 +0000261 if (((TypeQuals & Qualifiers::Const) == (FoundTQs & Qualifiers::Const)) ||
262 (!(TypeQuals & Qualifiers::Const) && (FoundTQs & Qualifiers::Const)))
Douglas Gregor0d405db2010-07-01 20:59:04 +0000263 Found.push_back(std::make_pair(
264 const_cast<CXXConstructorDecl *>(Constructor),
265 Qualifiers::fromCVRMask(FoundTQs)));
Fariborz Jahanian485f0872009-06-22 23:34:40 +0000266 }
Douglas Gregor396b7cd2008-11-03 17:51:48 +0000267 }
Douglas Gregor0d405db2010-07-01 20:59:04 +0000268
269 return cast_or_null<CXXConstructorDecl>(
270 GetBestOverloadCandidateSimple(Found));
Douglas Gregor396b7cd2008-11-03 17:51:48 +0000271}
272
Douglas Gregorb87786f2010-07-01 17:48:08 +0000273CXXMethodDecl *CXXRecordDecl::getCopyAssignmentOperator(bool ArgIsConst) const {
274 ASTContext &Context = getASTContext();
275 QualType Class = Context.getTypeDeclType(const_cast<CXXRecordDecl *>(this));
276 DeclarationName Name = Context.DeclarationNames.getCXXOperatorName(OO_Equal);
277
278 llvm::SmallVector<std::pair<CXXMethodDecl *, Qualifiers>, 4> Found;
279 DeclContext::lookup_const_iterator Op, OpEnd;
280 for (llvm::tie(Op, OpEnd) = this->lookup(Name); Op != OpEnd; ++Op) {
281 // C++ [class.copy]p9:
282 // A user-declared copy assignment operator is a non-static non-template
283 // member function of class X with exactly one parameter of type X, X&,
284 // const X&, volatile X& or const volatile X&.
285 const CXXMethodDecl* Method = dyn_cast<CXXMethodDecl>(*Op);
286 if (!Method || Method->isStatic() || Method->getPrimaryTemplate())
287 continue;
288
289 const FunctionProtoType *FnType
290 = Method->getType()->getAs<FunctionProtoType>();
291 assert(FnType && "Overloaded operator has no prototype.");
292 // Don't assert on this; an invalid decl might have been left in the AST.
293 if (FnType->getNumArgs() != 1 || FnType->isVariadic())
294 continue;
295
296 QualType ArgType = FnType->getArgType(0);
297 Qualifiers Quals;
298 if (const LValueReferenceType *Ref = ArgType->getAs<LValueReferenceType>()) {
299 ArgType = Ref->getPointeeType();
300 // If we have a const argument and we have a reference to a non-const,
301 // this function does not match.
302 if (ArgIsConst && !ArgType.isConstQualified())
303 continue;
304
305 Quals = ArgType.getQualifiers();
306 } else {
307 // By-value copy-assignment operators are treated like const X&
308 // copy-assignment operators.
309 Quals = Qualifiers::fromCVRMask(Qualifiers::Const);
310 }
311
312 if (!Context.hasSameUnqualifiedType(ArgType, Class))
313 continue;
314
315 // Save this copy-assignment operator. It might be "the one".
316 Found.push_back(std::make_pair(const_cast<CXXMethodDecl *>(Method), Quals));
317 }
318
319 // Use a simplistic form of overload resolution to find the candidate.
320 return GetBestOverloadCandidateSimple(Found);
321}
322
Douglas Gregor21386642010-09-28 21:55:22 +0000323void CXXRecordDecl::markedVirtualFunctionPure() {
324 // C++ [class.abstract]p2:
325 // A class is abstract if it has at least one pure virtual function.
326 data().Abstract = true;
327}
328
329void CXXRecordDecl::addedMember(Decl *D) {
Douglas Gregor27c08ab2010-09-27 22:06:20 +0000330 // Ignore friends and invalid declarations.
331 if (D->getFriendObjectKind() || D->isInvalidDecl())
Douglas Gregor5c0646b2010-09-27 21:17:54 +0000332 return;
333
Douglas Gregor27c08ab2010-09-27 22:06:20 +0000334 FunctionTemplateDecl *FunTmpl = dyn_cast<FunctionTemplateDecl>(D);
335 if (FunTmpl)
336 D = FunTmpl->getTemplatedDecl();
337
Douglas Gregor9fe183a2010-09-28 19:45:33 +0000338 if (CXXMethodDecl *Method = dyn_cast<CXXMethodDecl>(D)) {
339 if (Method->isVirtual()) {
340 // C++ [dcl.init.aggr]p1:
341 // An aggregate is an array or a class with [...] no virtual functions.
342 data().Aggregate = false;
343
344 // C++ [class]p4:
345 // A POD-struct is an aggregate class...
346 data().PlainOldData = false;
Douglas Gregor2cf9d652010-09-28 20:38:10 +0000347
348 // Virtual functions make the class non-empty.
349 // FIXME: Standard ref?
350 data().Empty = false;
Douglas Gregor85606eb2010-09-28 20:50:54 +0000351
352 // C++ [class.virtual]p1:
353 // A class that declares or inherits a virtual function is called a
354 // polymorphic class.
355 data().Polymorphic = true;
356
357 // None of the special member functions are trivial.
358 data().HasTrivialConstructor = false;
359 data().HasTrivialCopyConstructor = false;
360 data().HasTrivialCopyAssignment = false;
361 // FIXME: Destructor?
Douglas Gregor9fe183a2010-09-28 19:45:33 +0000362 }
363 }
364
Douglas Gregor27c08ab2010-09-27 22:06:20 +0000365 if (D->isImplicit()) {
366 if (CXXConstructorDecl *Constructor = dyn_cast<CXXConstructorDecl>(D)) {
367 // If this is the implicit default constructor, note that we have now
368 // declared it.
369 if (Constructor->isDefaultConstructor())
370 data().DeclaredDefaultConstructor = true;
371 // If this is the implicit copy constructor, note that we have now
372 // declared it.
373 else if (Constructor->isCopyConstructor())
374 data().DeclaredCopyConstructor = true;
Douglas Gregor2cf9d652010-09-28 20:38:10 +0000375 return;
376 }
377
378 if (isa<CXXDestructorDecl>(D)) {
Douglas Gregor0ed2e082010-09-27 22:48:58 +0000379 data().DeclaredDestructor = true;
Douglas Gregor2cf9d652010-09-28 20:38:10 +0000380 return;
381 }
382
383 if (CXXMethodDecl *Method = dyn_cast<CXXMethodDecl>(D)) {
Douglas Gregor27c08ab2010-09-27 22:06:20 +0000384 // If this is the implicit copy constructor, note that we have now
385 // declared it.
386 // FIXME: Move constructors
Douglas Gregor3e9438b2010-09-27 22:37:28 +0000387 if (Method->getOverloadedOperator() == OO_Equal)
Douglas Gregor27c08ab2010-09-27 22:06:20 +0000388 data().DeclaredCopyAssignment = true;
Douglas Gregor2cf9d652010-09-28 20:38:10 +0000389 return;
Douglas Gregor27c08ab2010-09-27 22:06:20 +0000390 }
Douglas Gregor2cf9d652010-09-28 20:38:10 +0000391
392 // Any other implicit declarations are handled like normal declarations.
Douglas Gregor27c08ab2010-09-27 22:06:20 +0000393 }
394
395 // Handle (user-declared) constructors.
396 if (CXXConstructorDecl *Constructor = dyn_cast<CXXConstructorDecl>(D)) {
397 // Note that we have a user-declared constructor.
398 data().UserDeclaredConstructor = true;
399
400 // Note that we have no need of an implicitly-declared default constructor.
401 data().DeclaredDefaultConstructor = true;
402
403 // C++ [dcl.init.aggr]p1:
404 // An aggregate is an array or a class (clause 9) with no
405 // user-declared constructors (12.1) [...].
406 data().Aggregate = false;
407
408 // C++ [class]p4:
409 // A POD-struct is an aggregate class [...]
410 data().PlainOldData = false;
411
412 // C++ [class.ctor]p5:
413 // A constructor is trivial if it is an implicitly-declared default
414 // constructor.
415 // FIXME: C++0x: don't do this for "= default" default constructors.
416 data().HasTrivialConstructor = false;
417
418 // Note when we have a user-declared copy constructor, which will
419 // suppress the implicit declaration of a copy constructor.
420 if (!FunTmpl && Constructor->isCopyConstructor()) {
421 data().UserDeclaredCopyConstructor = true;
Douglas Gregor5c0646b2010-09-27 21:17:54 +0000422 data().DeclaredCopyConstructor = true;
Douglas Gregor27c08ab2010-09-27 22:06:20 +0000423
424 // C++ [class.copy]p6:
425 // A copy constructor is trivial if it is implicitly declared.
426 // FIXME: C++0x: don't do this for "= default" copy constructors.
427 data().HasTrivialCopyConstructor = false;
428 }
Douglas Gregor5c0646b2010-09-27 21:17:54 +0000429
Douglas Gregor5c0646b2010-09-27 21:17:54 +0000430 return;
431 }
Douglas Gregor27c08ab2010-09-27 22:06:20 +0000432
Douglas Gregor0ed2e082010-09-27 22:48:58 +0000433 // Handle (user-declared) destructors.
434 if (isa<CXXDestructorDecl>(D)) {
435 data().DeclaredDestructor = true;
436 data().UserDeclaredDestructor = true;
Douglas Gregor9fe183a2010-09-28 19:45:33 +0000437
438 // C++ [class]p4:
439 // A POD-struct is an aggregate class that has [...] no user-defined
440 // destructor.
441 data().PlainOldData = false;
442
Douglas Gregor85606eb2010-09-28 20:50:54 +0000443 // C++ [class.dtor]p3:
444 // A destructor is trivial if it is an implicitly-declared destructor and
445 // [...].
446 //
447 // FIXME: C++0x: don't do this for "= default" destructors
448 data().HasTrivialDestructor = false;
449
Douglas Gregor0ed2e082010-09-27 22:48:58 +0000450 return;
451 }
Douglas Gregor5c0646b2010-09-27 21:17:54 +0000452
Douglas Gregor0ed2e082010-09-27 22:48:58 +0000453 // Handle (user-declared) member functions.
Douglas Gregor27c08ab2010-09-27 22:06:20 +0000454 if (CXXMethodDecl *Method = dyn_cast<CXXMethodDecl>(D)) {
455 if (Method->getOverloadedOperator() == OO_Equal) {
456 // We're interested specifically in copy assignment operators.
457 const FunctionProtoType *FnType
458 = Method->getType()->getAs<FunctionProtoType>();
459 assert(FnType && "Overloaded operator has no proto function type.");
460 assert(FnType->getNumArgs() == 1 && !FnType->isVariadic());
461
462 // Copy assignment operators must be non-templates.
463 if (Method->getPrimaryTemplate() || FunTmpl)
464 return;
465
466 ASTContext &Context = getASTContext();
467 QualType ArgType = FnType->getArgType(0);
468 if (const LValueReferenceType *Ref =ArgType->getAs<LValueReferenceType>())
469 ArgType = Ref->getPointeeType();
470
471 ArgType = ArgType.getUnqualifiedType();
472 QualType ClassType = Context.getCanonicalType(Context.getTypeDeclType(
473 const_cast<CXXRecordDecl*>(this)));
474
475 if (!Context.hasSameUnqualifiedType(ClassType, ArgType))
476 return;
477
478 // This is a copy assignment operator.
Douglas Gregor3e9438b2010-09-27 22:37:28 +0000479 // FIXME: Move assignment operators.
Douglas Gregor27c08ab2010-09-27 22:06:20 +0000480
481 // Suppress the implicit declaration of a copy constructor.
482 data().UserDeclaredCopyAssignment = true;
483 data().DeclaredCopyAssignment = true;
484
485 // C++ [class.copy]p11:
486 // A copy assignment operator is trivial if it is implicitly declared.
487 // FIXME: C++0x: don't do this for "= default" copy operators.
488 data().HasTrivialCopyAssignment = false;
489
490 // C++ [class]p4:
491 // A POD-struct is an aggregate class that [...] has no user-defined copy
492 // assignment operator [...].
493 data().PlainOldData = false;
494 }
Douglas Gregor22584312010-07-02 23:41:54 +0000495
Douglas Gregor27c08ab2010-09-27 22:06:20 +0000496 return;
Douglas Gregor1f2023a2009-07-22 18:25:24 +0000497 }
Douglas Gregor9fe183a2010-09-28 19:45:33 +0000498
499 // Handle non-static data members.
500 if (FieldDecl *Field = dyn_cast<FieldDecl>(D)) {
501 // C++ [dcl.init.aggr]p1:
502 // An aggregate is an array or a class (clause 9) with [...] no
503 // private or protected non-static data members (clause 11).
504 //
505 // A POD must be an aggregate.
506 if (D->getAccess() == AS_private || D->getAccess() == AS_protected) {
507 data().Aggregate = false;
508 data().PlainOldData = false;
509 }
510
511 // C++ [class]p9:
512 // A POD struct is a class that is both a trivial class and a
513 // standard-layout class, and has no non-static data members of type
514 // non-POD struct, non-POD union (or array of such types).
515 ASTContext &Context = getASTContext();
516 QualType T = Context.getBaseElementType(Field->getType());
517 if (!T->isPODType())
518 data().PlainOldData = false;
Douglas Gregor85606eb2010-09-28 20:50:54 +0000519 if (T->isReferenceType())
520 data().HasTrivialConstructor = false;
521
522 if (const RecordType *RecordTy = T->getAs<RecordType>()) {
523 CXXRecordDecl* FieldRec = cast<CXXRecordDecl>(RecordTy->getDecl());
524 if (FieldRec->getDefinition()) {
525 if (!FieldRec->hasTrivialConstructor())
526 data().HasTrivialConstructor = false;
527 if (!FieldRec->hasTrivialCopyConstructor())
528 data().HasTrivialCopyConstructor = false;
529 if (!FieldRec->hasTrivialCopyAssignment())
530 data().HasTrivialCopyAssignment = false;
531 if (!FieldRec->hasTrivialDestructor())
532 data().HasTrivialDestructor = false;
533 }
534 }
Douglas Gregor2cf9d652010-09-28 20:38:10 +0000535
536 // If this is not a zero-length bit-field, then the class is not empty.
537 if (data().Empty) {
538 if (!Field->getBitWidth())
539 data().Empty = false;
540 else if (!Field->getBitWidth()->isTypeDependent() &&
541 !Field->getBitWidth()->isValueDependent()) {
542 llvm::APSInt Bits;
543 if (Field->getBitWidth()->isIntegerConstantExpr(Bits, Context))
544 if (!!Bits)
545 data().Empty = false;
546 }
547 }
Douglas Gregor9fe183a2010-09-28 19:45:33 +0000548 }
Douglas Gregor030ff0c2008-10-31 20:25:05 +0000549}
550
John McCallb05b5f32010-03-15 09:07:48 +0000551static CanQualType GetConversionType(ASTContext &Context, NamedDecl *Conv) {
552 QualType T;
John McCall32daa422010-03-31 01:36:47 +0000553 if (isa<UsingShadowDecl>(Conv))
554 Conv = cast<UsingShadowDecl>(Conv)->getTargetDecl();
John McCallb05b5f32010-03-15 09:07:48 +0000555 if (FunctionTemplateDecl *ConvTemp = dyn_cast<FunctionTemplateDecl>(Conv))
556 T = ConvTemp->getTemplatedDecl()->getResultType();
557 else
558 T = cast<CXXConversionDecl>(Conv)->getConversionType();
559 return Context.getCanonicalType(T);
Fariborz Jahanian0351a1e2009-10-07 20:43:36 +0000560}
561
John McCallb05b5f32010-03-15 09:07:48 +0000562/// Collect the visible conversions of a base class.
563///
564/// \param Base a base class of the class we're considering
565/// \param InVirtual whether this base class is a virtual base (or a base
566/// of a virtual base)
567/// \param Access the access along the inheritance path to this base
568/// \param ParentHiddenTypes the conversions provided by the inheritors
569/// of this base
570/// \param Output the set to which to add conversions from non-virtual bases
571/// \param VOutput the set to which to add conversions from virtual bases
572/// \param HiddenVBaseCs the set of conversions which were hidden in a
573/// virtual base along some inheritance path
574static void CollectVisibleConversions(ASTContext &Context,
575 CXXRecordDecl *Record,
576 bool InVirtual,
577 AccessSpecifier Access,
578 const llvm::SmallPtrSet<CanQualType, 8> &ParentHiddenTypes,
579 UnresolvedSetImpl &Output,
580 UnresolvedSetImpl &VOutput,
581 llvm::SmallPtrSet<NamedDecl*, 8> &HiddenVBaseCs) {
582 // The set of types which have conversions in this class or its
583 // subclasses. As an optimization, we don't copy the derived set
584 // unless it might change.
585 const llvm::SmallPtrSet<CanQualType, 8> *HiddenTypes = &ParentHiddenTypes;
586 llvm::SmallPtrSet<CanQualType, 8> HiddenTypesBuffer;
587
588 // Collect the direct conversions and figure out which conversions
589 // will be hidden in the subclasses.
590 UnresolvedSetImpl &Cs = *Record->getConversionFunctions();
591 if (!Cs.empty()) {
592 HiddenTypesBuffer = ParentHiddenTypes;
593 HiddenTypes = &HiddenTypesBuffer;
594
595 for (UnresolvedSetIterator I = Cs.begin(), E = Cs.end(); I != E; ++I) {
596 bool Hidden =
597 !HiddenTypesBuffer.insert(GetConversionType(Context, I.getDecl()));
598
599 // If this conversion is hidden and we're in a virtual base,
600 // remember that it's hidden along some inheritance path.
601 if (Hidden && InVirtual)
602 HiddenVBaseCs.insert(cast<NamedDecl>(I.getDecl()->getCanonicalDecl()));
603
604 // If this conversion isn't hidden, add it to the appropriate output.
605 else if (!Hidden) {
606 AccessSpecifier IAccess
607 = CXXRecordDecl::MergeAccess(Access, I.getAccess());
608
609 if (InVirtual)
610 VOutput.addDecl(I.getDecl(), IAccess);
Fariborz Jahanian62509212009-09-12 18:26:03 +0000611 else
John McCallb05b5f32010-03-15 09:07:48 +0000612 Output.addDecl(I.getDecl(), IAccess);
Fariborz Jahanian53462782009-09-11 21:44:33 +0000613 }
614 }
615 }
Sebastian Redl9994a342009-10-25 17:03:50 +0000616
John McCallb05b5f32010-03-15 09:07:48 +0000617 // Collect information recursively from any base classes.
618 for (CXXRecordDecl::base_class_iterator
619 I = Record->bases_begin(), E = Record->bases_end(); I != E; ++I) {
620 const RecordType *RT = I->getType()->getAs<RecordType>();
621 if (!RT) continue;
Sebastian Redl9994a342009-10-25 17:03:50 +0000622
John McCallb05b5f32010-03-15 09:07:48 +0000623 AccessSpecifier BaseAccess
624 = CXXRecordDecl::MergeAccess(Access, I->getAccessSpecifier());
625 bool BaseInVirtual = InVirtual || I->isVirtual();
Sebastian Redl9994a342009-10-25 17:03:50 +0000626
John McCallb05b5f32010-03-15 09:07:48 +0000627 CXXRecordDecl *Base = cast<CXXRecordDecl>(RT->getDecl());
628 CollectVisibleConversions(Context, Base, BaseInVirtual, BaseAccess,
629 *HiddenTypes, Output, VOutput, HiddenVBaseCs);
Fariborz Jahanian53462782009-09-11 21:44:33 +0000630 }
John McCallb05b5f32010-03-15 09:07:48 +0000631}
Sebastian Redl9994a342009-10-25 17:03:50 +0000632
John McCallb05b5f32010-03-15 09:07:48 +0000633/// Collect the visible conversions of a class.
634///
635/// This would be extremely straightforward if it weren't for virtual
636/// bases. It might be worth special-casing that, really.
637static void CollectVisibleConversions(ASTContext &Context,
638 CXXRecordDecl *Record,
639 UnresolvedSetImpl &Output) {
640 // The collection of all conversions in virtual bases that we've
641 // found. These will be added to the output as long as they don't
642 // appear in the hidden-conversions set.
643 UnresolvedSet<8> VBaseCs;
644
645 // The set of conversions in virtual bases that we've determined to
646 // be hidden.
647 llvm::SmallPtrSet<NamedDecl*, 8> HiddenVBaseCs;
648
649 // The set of types hidden by classes derived from this one.
650 llvm::SmallPtrSet<CanQualType, 8> HiddenTypes;
651
652 // Go ahead and collect the direct conversions and add them to the
653 // hidden-types set.
654 UnresolvedSetImpl &Cs = *Record->getConversionFunctions();
655 Output.append(Cs.begin(), Cs.end());
656 for (UnresolvedSetIterator I = Cs.begin(), E = Cs.end(); I != E; ++I)
657 HiddenTypes.insert(GetConversionType(Context, I.getDecl()));
658
659 // Recursively collect conversions from base classes.
660 for (CXXRecordDecl::base_class_iterator
661 I = Record->bases_begin(), E = Record->bases_end(); I != E; ++I) {
662 const RecordType *RT = I->getType()->getAs<RecordType>();
663 if (!RT) continue;
664
665 CollectVisibleConversions(Context, cast<CXXRecordDecl>(RT->getDecl()),
666 I->isVirtual(), I->getAccessSpecifier(),
667 HiddenTypes, Output, VBaseCs, HiddenVBaseCs);
668 }
669
670 // Add any unhidden conversions provided by virtual bases.
671 for (UnresolvedSetIterator I = VBaseCs.begin(), E = VBaseCs.end();
672 I != E; ++I) {
673 if (!HiddenVBaseCs.count(cast<NamedDecl>(I.getDecl()->getCanonicalDecl())))
674 Output.addDecl(I.getDecl(), I.getAccess());
Fariborz Jahanian53462782009-09-11 21:44:33 +0000675 }
Fariborz Jahanian62509212009-09-12 18:26:03 +0000676}
677
678/// getVisibleConversionFunctions - get all conversion functions visible
679/// in current class; including conversion function templates.
John McCalleec51cf2010-01-20 00:46:10 +0000680const UnresolvedSetImpl *CXXRecordDecl::getVisibleConversionFunctions() {
Fariborz Jahanian62509212009-09-12 18:26:03 +0000681 // If root class, all conversions are visible.
682 if (bases_begin() == bases_end())
John McCall86ff3082010-02-04 22:26:26 +0000683 return &data().Conversions;
Fariborz Jahanian62509212009-09-12 18:26:03 +0000684 // If visible conversion list is already evaluated, return it.
John McCall86ff3082010-02-04 22:26:26 +0000685 if (data().ComputedVisibleConversions)
686 return &data().VisibleConversions;
John McCallb05b5f32010-03-15 09:07:48 +0000687 CollectVisibleConversions(getASTContext(), this, data().VisibleConversions);
John McCall86ff3082010-02-04 22:26:26 +0000688 data().ComputedVisibleConversions = true;
689 return &data().VisibleConversions;
Fariborz Jahanian53462782009-09-11 21:44:33 +0000690}
691
John McCall32daa422010-03-31 01:36:47 +0000692#ifndef NDEBUG
693void CXXRecordDecl::CheckConversionFunction(NamedDecl *ConvDecl) {
John McCallb05b5f32010-03-15 09:07:48 +0000694 assert(ConvDecl->getDeclContext() == this &&
695 "conversion function does not belong to this record");
696
John McCall32daa422010-03-31 01:36:47 +0000697 ConvDecl = ConvDecl->getUnderlyingDecl();
698 if (FunctionTemplateDecl *Temp = dyn_cast<FunctionTemplateDecl>(ConvDecl)) {
699 assert(isa<CXXConversionDecl>(Temp->getTemplatedDecl()));
700 } else {
701 assert(isa<CXXConversionDecl>(ConvDecl));
702 }
Douglas Gregor2f1bc522008-11-07 20:08:42 +0000703}
John McCall32daa422010-03-31 01:36:47 +0000704#endif
Douglas Gregor2f1bc522008-11-07 20:08:42 +0000705
John McCall32daa422010-03-31 01:36:47 +0000706void CXXRecordDecl::removeConversion(const NamedDecl *ConvDecl) {
707 // This operation is O(N) but extremely rare. Sema only uses it to
708 // remove UsingShadowDecls in a class that were followed by a direct
709 // declaration, e.g.:
710 // class A : B {
711 // using B::operator int;
712 // operator int();
713 // };
714 // This is uncommon by itself and even more uncommon in conjunction
715 // with sufficiently large numbers of directly-declared conversions
716 // that asymptotic behavior matters.
717
718 UnresolvedSetImpl &Convs = *getConversionFunctions();
719 for (unsigned I = 0, E = Convs.size(); I != E; ++I) {
720 if (Convs[I].getDecl() == ConvDecl) {
721 Convs.erase(I);
722 assert(std::find(Convs.begin(), Convs.end(), ConvDecl) == Convs.end()
723 && "conversion was found multiple times in unresolved set");
724 return;
725 }
726 }
727
728 llvm_unreachable("conversion not found in set!");
Douglas Gregor65ec1fd2009-08-21 23:19:43 +0000729}
Fariborz Jahanianf8dcb862009-06-19 19:55:27 +0000730
Douglas Gregorf6b11852009-10-08 15:14:33 +0000731CXXRecordDecl *CXXRecordDecl::getInstantiatedFromMemberClass() const {
Douglas Gregorb3ae4fc2009-10-12 20:18:28 +0000732 if (MemberSpecializationInfo *MSInfo = getMemberSpecializationInfo())
Douglas Gregorf6b11852009-10-08 15:14:33 +0000733 return cast<CXXRecordDecl>(MSInfo->getInstantiatedFrom());
734
735 return 0;
736}
737
Douglas Gregorb3ae4fc2009-10-12 20:18:28 +0000738MemberSpecializationInfo *CXXRecordDecl::getMemberSpecializationInfo() const {
739 return TemplateOrInstantiation.dyn_cast<MemberSpecializationInfo *>();
740}
741
Douglas Gregorf6b11852009-10-08 15:14:33 +0000742void
743CXXRecordDecl::setInstantiationOfMemberClass(CXXRecordDecl *RD,
744 TemplateSpecializationKind TSK) {
745 assert(TemplateOrInstantiation.isNull() &&
746 "Previous template or instantiation?");
747 assert(!isa<ClassTemplateSpecializationDecl>(this));
748 TemplateOrInstantiation
749 = new (getASTContext()) MemberSpecializationInfo(RD, TSK);
750}
751
Anders Carlssonb13e3572009-12-07 06:33:48 +0000752TemplateSpecializationKind CXXRecordDecl::getTemplateSpecializationKind() const{
753 if (const ClassTemplateSpecializationDecl *Spec
Douglas Gregorf6b11852009-10-08 15:14:33 +0000754 = dyn_cast<ClassTemplateSpecializationDecl>(this))
755 return Spec->getSpecializationKind();
756
Douglas Gregorb3ae4fc2009-10-12 20:18:28 +0000757 if (MemberSpecializationInfo *MSInfo = getMemberSpecializationInfo())
Douglas Gregorf6b11852009-10-08 15:14:33 +0000758 return MSInfo->getTemplateSpecializationKind();
759
760 return TSK_Undeclared;
761}
762
763void
764CXXRecordDecl::setTemplateSpecializationKind(TemplateSpecializationKind TSK) {
765 if (ClassTemplateSpecializationDecl *Spec
766 = dyn_cast<ClassTemplateSpecializationDecl>(this)) {
767 Spec->setSpecializationKind(TSK);
768 return;
769 }
770
Douglas Gregorb3ae4fc2009-10-12 20:18:28 +0000771 if (MemberSpecializationInfo *MSInfo = getMemberSpecializationInfo()) {
Douglas Gregorf6b11852009-10-08 15:14:33 +0000772 MSInfo->setTemplateSpecializationKind(TSK);
773 return;
774 }
775
776 assert(false && "Not a class template or member class specialization");
777}
778
Douglas Gregor1d110e02010-07-01 14:13:13 +0000779CXXDestructorDecl *CXXRecordDecl::getDestructor() const {
780 ASTContext &Context = getASTContext();
Anders Carlsson7267c162009-05-29 21:03:38 +0000781 QualType ClassType = Context.getTypeDeclType(this);
Mike Stump1eb44332009-09-09 15:08:12 +0000782
783 DeclarationName Name
Douglas Gregor50d62d12009-08-05 05:36:45 +0000784 = Context.DeclarationNames.getCXXDestructorName(
785 Context.getCanonicalType(ClassType));
Anders Carlsson7267c162009-05-29 21:03:38 +0000786
John McCallc0bf4622010-02-23 00:48:20 +0000787 DeclContext::lookup_const_iterator I, E;
Mike Stump1eb44332009-09-09 15:08:12 +0000788 llvm::tie(I, E) = lookup(Name);
Sebastian Redld4b25cb2010-09-02 23:19:42 +0000789 if (I == E)
790 return 0;
Mike Stump1eb44332009-09-09 15:08:12 +0000791
Anders Carlsson5ec02ae2009-12-02 17:15:43 +0000792 CXXDestructorDecl *Dtor = cast<CXXDestructorDecl>(*I);
Anders Carlsson7267c162009-05-29 21:03:38 +0000793 assert(++I == E && "Found more than one destructor!");
Mike Stump1eb44332009-09-09 15:08:12 +0000794
Anders Carlsson7267c162009-05-29 21:03:38 +0000795 return Dtor;
796}
797
Douglas Gregor7a39dd02010-09-29 00:15:42 +0000798void CXXRecordDecl::completeDefinition() {
799 completeDefinition(0);
800}
801
802void CXXRecordDecl::completeDefinition(CXXFinalOverriderMap *FinalOverriders) {
803 RecordDecl::completeDefinition();
804
805 // If the class may be abstract (but hasn't been marked as such), check for
806 // any pure final overriders.
807 if (mayBeAbstract()) {
808 CXXFinalOverriderMap MyFinalOverriders;
809 if (!FinalOverriders) {
810 getFinalOverriders(MyFinalOverriders);
811 FinalOverriders = &MyFinalOverriders;
812 }
813
814 bool Done = false;
815 for (CXXFinalOverriderMap::iterator M = FinalOverriders->begin(),
816 MEnd = FinalOverriders->end();
817 M != MEnd && !Done; ++M) {
818 for (OverridingMethods::iterator SO = M->second.begin(),
819 SOEnd = M->second.end();
820 SO != SOEnd && !Done; ++SO) {
821 assert(SO->second.size() > 0 &&
822 "All virtual functions have overridding virtual functions");
823
824 // C++ [class.abstract]p4:
825 // A class is abstract if it contains or inherits at least one
826 // pure virtual function for which the final overrider is pure
827 // virtual.
828 if (SO->second.front().Method->isPure()) {
829 data().Abstract = true;
830 Done = true;
831 break;
832 }
833 }
834 }
835 }
836}
837
838bool CXXRecordDecl::mayBeAbstract() const {
839 if (data().Abstract || isInvalidDecl() || !data().Polymorphic ||
840 isDependentContext())
841 return false;
842
843 for (CXXRecordDecl::base_class_const_iterator B = bases_begin(),
844 BEnd = bases_end();
845 B != BEnd; ++B) {
846 CXXRecordDecl *BaseDecl
847 = cast<CXXRecordDecl>(B->getType()->getAs<RecordType>()->getDecl());
848 if (BaseDecl->isAbstract())
849 return true;
850 }
851
852 return false;
853}
854
Ted Kremenek4b7c9832008-09-05 17:16:31 +0000855CXXMethodDecl *
856CXXMethodDecl::Create(ASTContext &C, CXXRecordDecl *RD,
Abramo Bagnara25777432010-08-11 22:01:17 +0000857 const DeclarationNameInfo &NameInfo,
John McCalla93c9342009-12-07 02:54:59 +0000858 QualType T, TypeSourceInfo *TInfo,
Douglas Gregor16573fa2010-04-19 22:54:31 +0000859 bool isStatic, StorageClass SCAsWritten, bool isInline) {
Abramo Bagnara25777432010-08-11 22:01:17 +0000860 return new (C) CXXMethodDecl(CXXMethod, RD, NameInfo, T, TInfo,
Douglas Gregor16573fa2010-04-19 22:54:31 +0000861 isStatic, SCAsWritten, isInline);
Ted Kremenek4b7c9832008-09-05 17:16:31 +0000862}
863
Douglas Gregor90916562009-09-29 18:16:17 +0000864bool CXXMethodDecl::isUsualDeallocationFunction() const {
865 if (getOverloadedOperator() != OO_Delete &&
866 getOverloadedOperator() != OO_Array_Delete)
867 return false;
Douglas Gregor6d908702010-02-26 05:06:18 +0000868
869 // C++ [basic.stc.dynamic.deallocation]p2:
870 // A template instance is never a usual deallocation function,
871 // regardless of its signature.
872 if (getPrimaryTemplate())
873 return false;
874
Douglas Gregor90916562009-09-29 18:16:17 +0000875 // C++ [basic.stc.dynamic.deallocation]p2:
876 // If a class T has a member deallocation function named operator delete
877 // with exactly one parameter, then that function is a usual (non-placement)
878 // deallocation function. [...]
879 if (getNumParams() == 1)
880 return true;
881
882 // C++ [basic.stc.dynamic.deallocation]p2:
883 // [...] If class T does not declare such an operator delete but does
884 // declare a member deallocation function named operator delete with
885 // exactly two parameters, the second of which has type std::size_t (18.1),
886 // then this function is a usual deallocation function.
887 ASTContext &Context = getASTContext();
888 if (getNumParams() != 2 ||
Chandler Carruthe228ba92010-02-08 18:54:05 +0000889 !Context.hasSameUnqualifiedType(getParamDecl(1)->getType(),
890 Context.getSizeType()))
Douglas Gregor90916562009-09-29 18:16:17 +0000891 return false;
892
893 // This function is a usual deallocation function if there are no
894 // single-parameter deallocation functions of the same kind.
895 for (DeclContext::lookup_const_result R = getDeclContext()->lookup(getDeclName());
896 R.first != R.second; ++R.first) {
897 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(*R.first))
898 if (FD->getNumParams() == 1)
899 return false;
900 }
901
902 return true;
903}
904
Douglas Gregor06a9f362010-05-01 20:49:11 +0000905bool CXXMethodDecl::isCopyAssignmentOperator() const {
906 // C++0x [class.copy]p19:
907 // A user-declared copy assignment operator X::operator= is a non-static
908 // non-template member function of class X with exactly one parameter of
909 // type X, X&, const X&, volatile X& or const volatile X&.
910 if (/*operator=*/getOverloadedOperator() != OO_Equal ||
911 /*non-static*/ isStatic() ||
912 /*non-template*/getPrimaryTemplate() || getDescribedFunctionTemplate() ||
913 /*exactly one parameter*/getNumParams() != 1)
914 return false;
915
916 QualType ParamType = getParamDecl(0)->getType();
917 if (const LValueReferenceType *Ref = ParamType->getAs<LValueReferenceType>())
918 ParamType = Ref->getPointeeType();
919
920 ASTContext &Context = getASTContext();
921 QualType ClassType
922 = Context.getCanonicalType(Context.getTypeDeclType(getParent()));
923 return Context.hasSameUnqualifiedType(ClassType, ParamType);
924}
925
Anders Carlsson05eb2442009-05-16 23:58:37 +0000926void CXXMethodDecl::addOverriddenMethod(const CXXMethodDecl *MD) {
Anders Carlsson3aaf4862009-12-04 05:51:56 +0000927 assert(MD->isCanonicalDecl() && "Method is not canonical!");
Anders Carlssonc076c452010-01-30 17:42:34 +0000928 assert(!MD->getParent()->isDependentContext() &&
929 "Can't add an overridden method to a class template!");
930
Douglas Gregor7d10b7e2010-03-02 23:58:15 +0000931 getASTContext().addOverriddenMethod(this, MD);
Anders Carlsson05eb2442009-05-16 23:58:37 +0000932}
933
934CXXMethodDecl::method_iterator CXXMethodDecl::begin_overridden_methods() const {
Douglas Gregor7d10b7e2010-03-02 23:58:15 +0000935 return getASTContext().overridden_methods_begin(this);
Anders Carlsson05eb2442009-05-16 23:58:37 +0000936}
937
938CXXMethodDecl::method_iterator CXXMethodDecl::end_overridden_methods() const {
Douglas Gregor7d10b7e2010-03-02 23:58:15 +0000939 return getASTContext().overridden_methods_end(this);
Anders Carlsson05eb2442009-05-16 23:58:37 +0000940}
941
Argyrios Kyrtzidisc91e9f42010-07-04 21:44:35 +0000942unsigned CXXMethodDecl::size_overridden_methods() const {
943 return getASTContext().overridden_methods_size(this);
944}
945
Ted Kremenek4b7c9832008-09-05 17:16:31 +0000946QualType CXXMethodDecl::getThisType(ASTContext &C) const {
Argyrios Kyrtzidisb0d178d2008-10-24 22:28:18 +0000947 // C++ 9.3.2p1: The type of this in a member function of a class X is X*.
948 // If the member function is declared const, the type of this is const X*,
949 // if the member function is declared volatile, the type of this is
950 // volatile X*, and if the member function is declared const volatile,
951 // the type of this is const volatile X*.
952
Ted Kremenek4b7c9832008-09-05 17:16:31 +0000953 assert(isInstance() && "No 'this' for static methods!");
Anders Carlsson31a08752009-06-13 02:59:33 +0000954
John McCall3cb0ebd2010-03-10 03:28:59 +0000955 QualType ClassTy = C.getTypeDeclType(getParent());
John McCall0953e762009-09-24 19:53:00 +0000956 ClassTy = C.getQualifiedType(ClassTy,
957 Qualifiers::fromCVRMask(getTypeQualifiers()));
Anders Carlsson4e579922009-07-10 21:35:09 +0000958 return C.getPointerType(ClassTy);
Ted Kremenek4b7c9832008-09-05 17:16:31 +0000959}
960
Eli Friedmand7d7f672009-12-06 20:50:05 +0000961bool CXXMethodDecl::hasInlineBody() const {
Douglas Gregorbd6d6192010-01-05 19:06:31 +0000962 // If this function is a template instantiation, look at the template from
963 // which it was instantiated.
964 const FunctionDecl *CheckFn = getTemplateInstantiationPattern();
965 if (!CheckFn)
966 CheckFn = this;
967
Eli Friedmand7d7f672009-12-06 20:50:05 +0000968 const FunctionDecl *fn;
Argyrios Kyrtzidis06a54a32010-07-07 11:31:19 +0000969 return CheckFn->hasBody(fn) && !fn->isOutOfLine();
Eli Friedmand7d7f672009-12-06 20:50:05 +0000970}
971
Douglas Gregor7ad83902008-11-05 04:29:56 +0000972CXXBaseOrMemberInitializer::
Douglas Gregor802ab452009-12-02 22:36:29 +0000973CXXBaseOrMemberInitializer(ASTContext &Context,
Anders Carlsson80638c52010-04-12 00:51:03 +0000974 TypeSourceInfo *TInfo, bool IsVirtual,
Douglas Gregor9db7dbb2010-01-31 09:12:51 +0000975 SourceLocation L, Expr *Init, SourceLocation R)
Abramo Bagnaraa0af3b42010-05-26 18:09:23 +0000976 : BaseOrMember(TInfo), Init(Init), AnonUnionMember(0),
977 LParenLoc(L), RParenLoc(R), IsVirtual(IsVirtual), IsWritten(false),
978 SourceOrderOrNumArrayIndices(0)
Douglas Gregor802ab452009-12-02 22:36:29 +0000979{
Douglas Gregor7ad83902008-11-05 04:29:56 +0000980}
981
982CXXBaseOrMemberInitializer::
Douglas Gregor802ab452009-12-02 22:36:29 +0000983CXXBaseOrMemberInitializer(ASTContext &Context,
984 FieldDecl *Member, SourceLocation MemberLoc,
Douglas Gregor9db7dbb2010-01-31 09:12:51 +0000985 SourceLocation L, Expr *Init, SourceLocation R)
Abramo Bagnaraa0af3b42010-05-26 18:09:23 +0000986 : BaseOrMember(Member), MemberLocation(MemberLoc), Init(Init),
987 AnonUnionMember(0), LParenLoc(L), RParenLoc(R), IsVirtual(false),
988 IsWritten(false), SourceOrderOrNumArrayIndices(0)
Douglas Gregor802ab452009-12-02 22:36:29 +0000989{
Douglas Gregor7ad83902008-11-05 04:29:56 +0000990}
991
Douglas Gregorfb8cc252010-05-05 05:51:00 +0000992CXXBaseOrMemberInitializer::
993CXXBaseOrMemberInitializer(ASTContext &Context,
994 FieldDecl *Member, SourceLocation MemberLoc,
995 SourceLocation L, Expr *Init, SourceLocation R,
996 VarDecl **Indices,
997 unsigned NumIndices)
998 : BaseOrMember(Member), MemberLocation(MemberLoc), Init(Init),
Abramo Bagnaraa0af3b42010-05-26 18:09:23 +0000999 AnonUnionMember(0), LParenLoc(L), RParenLoc(R), IsVirtual(false),
1000 IsWritten(false), SourceOrderOrNumArrayIndices(NumIndices)
Douglas Gregorfb8cc252010-05-05 05:51:00 +00001001{
1002 VarDecl **MyIndices = reinterpret_cast<VarDecl **> (this + 1);
1003 memcpy(MyIndices, Indices, NumIndices * sizeof(VarDecl *));
1004}
1005
1006CXXBaseOrMemberInitializer *
1007CXXBaseOrMemberInitializer::Create(ASTContext &Context,
1008 FieldDecl *Member,
1009 SourceLocation MemberLoc,
1010 SourceLocation L,
1011 Expr *Init,
1012 SourceLocation R,
1013 VarDecl **Indices,
1014 unsigned NumIndices) {
1015 void *Mem = Context.Allocate(sizeof(CXXBaseOrMemberInitializer) +
1016 sizeof(VarDecl *) * NumIndices,
1017 llvm::alignof<CXXBaseOrMemberInitializer>());
1018 return new (Mem) CXXBaseOrMemberInitializer(Context, Member, MemberLoc,
1019 L, Init, R, Indices, NumIndices);
1020}
1021
Douglas Gregor802ab452009-12-02 22:36:29 +00001022TypeLoc CXXBaseOrMemberInitializer::getBaseClassLoc() const {
1023 if (isBaseInitializer())
John McCalla93c9342009-12-07 02:54:59 +00001024 return BaseOrMember.get<TypeSourceInfo*>()->getTypeLoc();
Douglas Gregor802ab452009-12-02 22:36:29 +00001025 else
1026 return TypeLoc();
1027}
1028
1029Type *CXXBaseOrMemberInitializer::getBaseClass() {
1030 if (isBaseInitializer())
John McCalla93c9342009-12-07 02:54:59 +00001031 return BaseOrMember.get<TypeSourceInfo*>()->getType().getTypePtr();
Douglas Gregor802ab452009-12-02 22:36:29 +00001032 else
1033 return 0;
1034}
1035
1036const Type *CXXBaseOrMemberInitializer::getBaseClass() const {
1037 if (isBaseInitializer())
John McCalla93c9342009-12-07 02:54:59 +00001038 return BaseOrMember.get<TypeSourceInfo*>()->getType().getTypePtr();
Douglas Gregor802ab452009-12-02 22:36:29 +00001039 else
1040 return 0;
1041}
1042
1043SourceLocation CXXBaseOrMemberInitializer::getSourceLocation() const {
1044 if (isMemberInitializer())
1045 return getMemberLocation();
1046
Abramo Bagnarabd054db2010-05-20 10:00:11 +00001047 return getBaseClassLoc().getLocalSourceRange().getBegin();
Douglas Gregor802ab452009-12-02 22:36:29 +00001048}
1049
1050SourceRange CXXBaseOrMemberInitializer::getSourceRange() const {
1051 return SourceRange(getSourceLocation(), getRParenLoc());
Douglas Gregor7ad83902008-11-05 04:29:56 +00001052}
1053
Douglas Gregorb48fe382008-10-31 09:07:45 +00001054CXXConstructorDecl *
Chris Lattner6ad9ac02010-05-07 21:43:38 +00001055CXXConstructorDecl::Create(ASTContext &C, EmptyShell Empty) {
Abramo Bagnara25777432010-08-11 22:01:17 +00001056 return new (C) CXXConstructorDecl(0, DeclarationNameInfo(),
Chris Lattner6ad9ac02010-05-07 21:43:38 +00001057 QualType(), 0, false, false, false);
1058}
1059
1060CXXConstructorDecl *
Douglas Gregorb48fe382008-10-31 09:07:45 +00001061CXXConstructorDecl::Create(ASTContext &C, CXXRecordDecl *RD,
Abramo Bagnara25777432010-08-11 22:01:17 +00001062 const DeclarationNameInfo &NameInfo,
John McCalla93c9342009-12-07 02:54:59 +00001063 QualType T, TypeSourceInfo *TInfo,
Argyrios Kyrtzidisa1d56622009-08-19 01:27:57 +00001064 bool isExplicit,
Douglas Gregor16573fa2010-04-19 22:54:31 +00001065 bool isInline,
1066 bool isImplicitlyDeclared) {
Abramo Bagnara25777432010-08-11 22:01:17 +00001067 assert(NameInfo.getName().getNameKind()
1068 == DeclarationName::CXXConstructorName &&
Douglas Gregor2e1cd422008-11-17 14:58:09 +00001069 "Name must refer to a constructor");
Abramo Bagnara25777432010-08-11 22:01:17 +00001070 return new (C) CXXConstructorDecl(RD, NameInfo, T, TInfo, isExplicit,
Douglas Gregor16573fa2010-04-19 22:54:31 +00001071 isInline, isImplicitlyDeclared);
Douglas Gregorb48fe382008-10-31 09:07:45 +00001072}
1073
Douglas Gregor030ff0c2008-10-31 20:25:05 +00001074bool CXXConstructorDecl::isDefaultConstructor() const {
1075 // C++ [class.ctor]p5:
Douglas Gregor64bffa92008-11-05 16:20:31 +00001076 // A default constructor for a class X is a constructor of class
1077 // X that can be called without an argument.
Douglas Gregor030ff0c2008-10-31 20:25:05 +00001078 return (getNumParams() == 0) ||
Anders Carlssonda3f4e22009-08-25 05:12:04 +00001079 (getNumParams() > 0 && getParamDecl(0)->hasDefaultArg());
Douglas Gregor030ff0c2008-10-31 20:25:05 +00001080}
1081
Mike Stump1eb44332009-09-09 15:08:12 +00001082bool
Douglas Gregor9e9199d2009-12-22 00:34:07 +00001083CXXConstructorDecl::isCopyConstructor(unsigned &TypeQuals) const {
Douglas Gregor030ff0c2008-10-31 20:25:05 +00001084 // C++ [class.copy]p2:
Douglas Gregor64bffa92008-11-05 16:20:31 +00001085 // A non-template constructor for class X is a copy constructor
1086 // if its first parameter is of type X&, const X&, volatile X& or
1087 // const volatile X&, and either there are no other parameters
1088 // or else all other parameters have default arguments (8.3.6).
Douglas Gregor030ff0c2008-10-31 20:25:05 +00001089 if ((getNumParams() < 1) ||
Douglas Gregor77da3f42009-10-13 23:45:19 +00001090 (getNumParams() > 1 && !getParamDecl(1)->hasDefaultArg()) ||
Douglas Gregorfd476482009-11-13 23:59:09 +00001091 (getPrimaryTemplate() != 0) ||
Douglas Gregor77da3f42009-10-13 23:45:19 +00001092 (getDescribedFunctionTemplate() != 0))
Douglas Gregor030ff0c2008-10-31 20:25:05 +00001093 return false;
1094
1095 const ParmVarDecl *Param = getParamDecl(0);
1096
Sebastian Redl7c80bd62009-03-16 23:22:08 +00001097 // Do we have a reference type? Rvalue references don't count.
Douglas Gregorfd476482009-11-13 23:59:09 +00001098 const LValueReferenceType *ParamRefType =
1099 Param->getType()->getAs<LValueReferenceType>();
1100 if (!ParamRefType)
1101 return false;
Douglas Gregor030ff0c2008-10-31 20:25:05 +00001102
Douglas Gregorfd476482009-11-13 23:59:09 +00001103 // Is it a reference to our class type?
Douglas Gregor9e9199d2009-12-22 00:34:07 +00001104 ASTContext &Context = getASTContext();
1105
Douglas Gregorfd476482009-11-13 23:59:09 +00001106 CanQualType PointeeType
1107 = Context.getCanonicalType(ParamRefType->getPointeeType());
Douglas Gregor14e0b3d2009-09-15 20:50:23 +00001108 CanQualType ClassTy
1109 = Context.getCanonicalType(Context.getTagDeclType(getParent()));
Douglas Gregor030ff0c2008-10-31 20:25:05 +00001110 if (PointeeType.getUnqualifiedType() != ClassTy)
1111 return false;
1112
John McCall0953e762009-09-24 19:53:00 +00001113 // FIXME: other qualifiers?
1114
Douglas Gregor030ff0c2008-10-31 20:25:05 +00001115 // We have a copy constructor.
1116 TypeQuals = PointeeType.getCVRQualifiers();
1117 return true;
1118}
1119
Anders Carlssonfaccd722009-08-28 16:57:08 +00001120bool CXXConstructorDecl::isConvertingConstructor(bool AllowExplicit) const {
Douglas Gregor60d62c22008-10-31 16:23:19 +00001121 // C++ [class.conv.ctor]p1:
1122 // A constructor declared without the function-specifier explicit
1123 // that can be called with a single parameter specifies a
1124 // conversion from the type of its first parameter to the type of
1125 // its class. Such a constructor is called a converting
1126 // constructor.
Anders Carlssonfaccd722009-08-28 16:57:08 +00001127 if (isExplicit() && !AllowExplicit)
Douglas Gregor60d62c22008-10-31 16:23:19 +00001128 return false;
1129
Mike Stump1eb44332009-09-09 15:08:12 +00001130 return (getNumParams() == 0 &&
John McCall183700f2009-09-21 23:43:11 +00001131 getType()->getAs<FunctionProtoType>()->isVariadic()) ||
Douglas Gregor60d62c22008-10-31 16:23:19 +00001132 (getNumParams() == 1) ||
Anders Carlssonae0b4e72009-06-06 04:14:07 +00001133 (getNumParams() > 1 && getParamDecl(1)->hasDefaultArg());
Douglas Gregor60d62c22008-10-31 16:23:19 +00001134}
Douglas Gregorb48fe382008-10-31 09:07:45 +00001135
Douglas Gregor66724ea2009-11-14 01:20:54 +00001136bool CXXConstructorDecl::isCopyConstructorLikeSpecialization() const {
1137 if ((getNumParams() < 1) ||
1138 (getNumParams() > 1 && !getParamDecl(1)->hasDefaultArg()) ||
1139 (getPrimaryTemplate() == 0) ||
1140 (getDescribedFunctionTemplate() != 0))
1141 return false;
1142
1143 const ParmVarDecl *Param = getParamDecl(0);
1144
1145 ASTContext &Context = getASTContext();
1146 CanQualType ParamType = Context.getCanonicalType(Param->getType());
1147
1148 // Strip off the lvalue reference, if any.
1149 if (CanQual<LValueReferenceType> ParamRefType
1150 = ParamType->getAs<LValueReferenceType>())
1151 ParamType = ParamRefType->getPointeeType();
1152
1153
1154 // Is it the same as our our class type?
1155 CanQualType ClassTy
1156 = Context.getCanonicalType(Context.getTagDeclType(getParent()));
1157 if (ParamType.getUnqualifiedType() != ClassTy)
1158 return false;
1159
1160 return true;
1161}
1162
Douglas Gregor42a552f2008-11-05 20:51:48 +00001163CXXDestructorDecl *
Chris Lattner6ad9ac02010-05-07 21:43:38 +00001164CXXDestructorDecl::Create(ASTContext &C, EmptyShell Empty) {
Abramo Bagnara25777432010-08-11 22:01:17 +00001165 return new (C) CXXDestructorDecl(0, DeclarationNameInfo(),
Chris Lattner6ad9ac02010-05-07 21:43:38 +00001166 QualType(), false, false);
1167}
1168
1169CXXDestructorDecl *
Douglas Gregor42a552f2008-11-05 20:51:48 +00001170CXXDestructorDecl::Create(ASTContext &C, CXXRecordDecl *RD,
Abramo Bagnara25777432010-08-11 22:01:17 +00001171 const DeclarationNameInfo &NameInfo,
Mike Stump1eb44332009-09-09 15:08:12 +00001172 QualType T, bool isInline,
Douglas Gregor42a552f2008-11-05 20:51:48 +00001173 bool isImplicitlyDeclared) {
Abramo Bagnara25777432010-08-11 22:01:17 +00001174 assert(NameInfo.getName().getNameKind()
1175 == DeclarationName::CXXDestructorName &&
Douglas Gregor2e1cd422008-11-17 14:58:09 +00001176 "Name must refer to a destructor");
Abramo Bagnara25777432010-08-11 22:01:17 +00001177 return new (C) CXXDestructorDecl(RD, NameInfo, T, isInline,
1178 isImplicitlyDeclared);
Douglas Gregor42a552f2008-11-05 20:51:48 +00001179}
1180
Douglas Gregor2f1bc522008-11-07 20:08:42 +00001181CXXConversionDecl *
Chris Lattner6ad9ac02010-05-07 21:43:38 +00001182CXXConversionDecl::Create(ASTContext &C, EmptyShell Empty) {
Abramo Bagnara25777432010-08-11 22:01:17 +00001183 return new (C) CXXConversionDecl(0, DeclarationNameInfo(),
Chris Lattner6ad9ac02010-05-07 21:43:38 +00001184 QualType(), 0, false, false);
1185}
1186
1187CXXConversionDecl *
Douglas Gregor2f1bc522008-11-07 20:08:42 +00001188CXXConversionDecl::Create(ASTContext &C, CXXRecordDecl *RD,
Abramo Bagnara25777432010-08-11 22:01:17 +00001189 const DeclarationNameInfo &NameInfo,
John McCalla93c9342009-12-07 02:54:59 +00001190 QualType T, TypeSourceInfo *TInfo,
Argyrios Kyrtzidisa1d56622009-08-19 01:27:57 +00001191 bool isInline, bool isExplicit) {
Abramo Bagnara25777432010-08-11 22:01:17 +00001192 assert(NameInfo.getName().getNameKind()
1193 == DeclarationName::CXXConversionFunctionName &&
Douglas Gregor2e1cd422008-11-17 14:58:09 +00001194 "Name must refer to a conversion function");
Abramo Bagnara25777432010-08-11 22:01:17 +00001195 return new (C) CXXConversionDecl(RD, NameInfo, T, TInfo,
1196 isInline, isExplicit);
Douglas Gregor2f1bc522008-11-07 20:08:42 +00001197}
1198
Chris Lattner21ef7ae2008-11-04 16:51:42 +00001199LinkageSpecDecl *LinkageSpecDecl::Create(ASTContext &C,
Mike Stump1eb44332009-09-09 15:08:12 +00001200 DeclContext *DC,
Chris Lattner21ef7ae2008-11-04 16:51:42 +00001201 SourceLocation L,
Douglas Gregor074149e2009-01-05 19:45:36 +00001202 LanguageIDs Lang, bool Braces) {
Steve Naroff3e970492009-01-27 21:25:57 +00001203 return new (C) LinkageSpecDecl(DC, L, Lang, Braces);
Douglas Gregorf44515a2008-12-16 22:23:02 +00001204}
Douglas Gregor2a3009a2009-02-03 19:21:40 +00001205
1206UsingDirectiveDecl *UsingDirectiveDecl::Create(ASTContext &C, DeclContext *DC,
1207 SourceLocation L,
1208 SourceLocation NamespaceLoc,
Douglas Gregor8419fa32009-05-30 06:31:56 +00001209 SourceRange QualifierRange,
1210 NestedNameSpecifier *Qualifier,
Douglas Gregor2a3009a2009-02-03 19:21:40 +00001211 SourceLocation IdentLoc,
Sebastian Redleb0d8c92009-11-23 15:34:23 +00001212 NamedDecl *Used,
Douglas Gregor2a3009a2009-02-03 19:21:40 +00001213 DeclContext *CommonAncestor) {
Sebastian Redleb0d8c92009-11-23 15:34:23 +00001214 if (NamespaceDecl *NS = dyn_cast_or_null<NamespaceDecl>(Used))
1215 Used = NS->getOriginalNamespace();
Mike Stump1eb44332009-09-09 15:08:12 +00001216 return new (C) UsingDirectiveDecl(DC, L, NamespaceLoc, QualifierRange,
Douglas Gregor8419fa32009-05-30 06:31:56 +00001217 Qualifier, IdentLoc, Used, CommonAncestor);
Douglas Gregor2a3009a2009-02-03 19:21:40 +00001218}
1219
Sebastian Redleb0d8c92009-11-23 15:34:23 +00001220NamespaceDecl *UsingDirectiveDecl::getNominatedNamespace() {
1221 if (NamespaceAliasDecl *NA =
1222 dyn_cast_or_null<NamespaceAliasDecl>(NominatedNamespace))
1223 return NA->getNamespace();
1224 return cast_or_null<NamespaceDecl>(NominatedNamespace);
1225}
1226
Mike Stump1eb44332009-09-09 15:08:12 +00001227NamespaceAliasDecl *NamespaceAliasDecl::Create(ASTContext &C, DeclContext *DC,
Douglas Gregor0a35bce2010-09-01 03:07:18 +00001228 SourceLocation UsingLoc,
Mike Stump1eb44332009-09-09 15:08:12 +00001229 SourceLocation AliasLoc,
1230 IdentifierInfo *Alias,
Douglas Gregor6c9c9402009-05-30 06:48:27 +00001231 SourceRange QualifierRange,
1232 NestedNameSpecifier *Qualifier,
Mike Stump1eb44332009-09-09 15:08:12 +00001233 SourceLocation IdentLoc,
Anders Carlsson68771c72009-03-28 22:58:02 +00001234 NamedDecl *Namespace) {
Sebastian Redleb0d8c92009-11-23 15:34:23 +00001235 if (NamespaceDecl *NS = dyn_cast_or_null<NamespaceDecl>(Namespace))
1236 Namespace = NS->getOriginalNamespace();
Douglas Gregor0a35bce2010-09-01 03:07:18 +00001237 return new (C) NamespaceAliasDecl(DC, UsingLoc, AliasLoc, Alias, QualifierRange,
Douglas Gregor6c9c9402009-05-30 06:48:27 +00001238 Qualifier, IdentLoc, Namespace);
Anders Carlsson68771c72009-03-28 22:58:02 +00001239}
1240
Douglas Gregor9cfbe482009-06-20 00:51:54 +00001241UsingDecl *UsingDecl::Create(ASTContext &C, DeclContext *DC,
Abramo Bagnaraef3dce82010-08-12 11:46:03 +00001242 SourceRange NNR, SourceLocation UL,
1243 NestedNameSpecifier* TargetNNS,
1244 const DeclarationNameInfo &NameInfo,
1245 bool IsTypeNameArg) {
1246 return new (C) UsingDecl(DC, NNR, UL, TargetNNS, NameInfo, IsTypeNameArg);
Douglas Gregor9cfbe482009-06-20 00:51:54 +00001247}
1248
John McCall7ba107a2009-11-18 02:36:19 +00001249UnresolvedUsingValueDecl *
1250UnresolvedUsingValueDecl::Create(ASTContext &C, DeclContext *DC,
1251 SourceLocation UsingLoc,
1252 SourceRange TargetNNR,
1253 NestedNameSpecifier *TargetNNS,
Abramo Bagnaraef3dce82010-08-12 11:46:03 +00001254 const DeclarationNameInfo &NameInfo) {
John McCall7ba107a2009-11-18 02:36:19 +00001255 return new (C) UnresolvedUsingValueDecl(DC, C.DependentTy, UsingLoc,
Abramo Bagnaraef3dce82010-08-12 11:46:03 +00001256 TargetNNR, TargetNNS, NameInfo);
John McCall7ba107a2009-11-18 02:36:19 +00001257}
1258
1259UnresolvedUsingTypenameDecl *
1260UnresolvedUsingTypenameDecl::Create(ASTContext &C, DeclContext *DC,
1261 SourceLocation UsingLoc,
1262 SourceLocation TypenameLoc,
1263 SourceRange TargetNNR,
1264 NestedNameSpecifier *TargetNNS,
1265 SourceLocation TargetNameLoc,
1266 DeclarationName TargetName) {
1267 return new (C) UnresolvedUsingTypenameDecl(DC, UsingLoc, TypenameLoc,
1268 TargetNNR, TargetNNS,
1269 TargetNameLoc,
1270 TargetName.getAsIdentifierInfo());
Anders Carlsson665b49c2009-08-28 05:30:28 +00001271}
1272
Anders Carlssonfb311762009-03-14 00:25:26 +00001273StaticAssertDecl *StaticAssertDecl::Create(ASTContext &C, DeclContext *DC,
1274 SourceLocation L, Expr *AssertExpr,
1275 StringLiteral *Message) {
1276 return new (C) StaticAssertDecl(DC, L, AssertExpr, Message);
1277}
1278
Anders Carlsson05bf2c72009-03-26 23:46:50 +00001279static const char *getAccessName(AccessSpecifier AS) {
1280 switch (AS) {
1281 default:
1282 case AS_none:
1283 assert("Invalid access specifier!");
1284 return 0;
1285 case AS_public:
1286 return "public";
1287 case AS_private:
1288 return "private";
1289 case AS_protected:
1290 return "protected";
1291 }
1292}
1293
1294const DiagnosticBuilder &clang::operator<<(const DiagnosticBuilder &DB,
1295 AccessSpecifier AS) {
1296 return DB << getAccessName(AS);
1297}