blob: d1a0390a0a68b9fa1794573c25c2f687daca56e7 [file] [log] [blame]
Ted Kremeneka758d092007-08-24 20:21:10 +00001//===--- ExprCXX.cpp - (C++) Expression AST Node Implementation -----------===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner0bc735f2007-12-29 19:59:25 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Ted Kremeneka758d092007-08-24 20:21:10 +00007//
8//===----------------------------------------------------------------------===//
9//
10// This file implements the subclesses of Expr class declared in ExprCXX.h
11//
12//===----------------------------------------------------------------------===//
13
Douglas Gregorb4609802008-11-14 16:09:21 +000014#include "clang/Basic/IdentifierTable.h"
15#include "clang/AST/DeclCXX.h"
Douglas Gregoredce4dd2009-06-30 22:34:41 +000016#include "clang/AST/DeclTemplate.h"
Ted Kremeneka758d092007-08-24 20:21:10 +000017#include "clang/AST/ExprCXX.h"
18using namespace clang;
19
20//===----------------------------------------------------------------------===//
21// Child Iterators for iterating over subexpressions/substatements
22//===----------------------------------------------------------------------===//
23
Sebastian Redlc42e1182008-11-11 11:37:55 +000024// CXXTypeidExpr - has child iterators if the operand is an expression
25Stmt::child_iterator CXXTypeidExpr::child_begin() {
Sebastian Redld4575892008-12-03 23:17:54 +000026 return isTypeOperand() ? child_iterator() : &Operand.Ex;
Sebastian Redlc42e1182008-11-11 11:37:55 +000027}
28Stmt::child_iterator CXXTypeidExpr::child_end() {
Sebastian Redld4575892008-12-03 23:17:54 +000029 return isTypeOperand() ? child_iterator() : &Operand.Ex+1;
Sebastian Redlc42e1182008-11-11 11:37:55 +000030}
Ted Kremeneka758d092007-08-24 20:21:10 +000031
Ted Kremeneka758d092007-08-24 20:21:10 +000032// CXXBoolLiteralExpr
Mike Stump1eb44332009-09-09 15:08:12 +000033Stmt::child_iterator CXXBoolLiteralExpr::child_begin() {
Ted Kremenek9ac59282007-10-18 23:28:49 +000034 return child_iterator();
35}
36Stmt::child_iterator CXXBoolLiteralExpr::child_end() {
37 return child_iterator();
38}
Chris Lattner50dd2892008-02-26 00:51:44 +000039
Sebastian Redl6e8ed162009-05-10 18:38:11 +000040// CXXNullPtrLiteralExpr
Mike Stump1eb44332009-09-09 15:08:12 +000041Stmt::child_iterator CXXNullPtrLiteralExpr::child_begin() {
Sebastian Redl6e8ed162009-05-10 18:38:11 +000042 return child_iterator();
43}
44Stmt::child_iterator CXXNullPtrLiteralExpr::child_end() {
45 return child_iterator();
46}
47
Douglas Gregor796da182008-11-04 14:32:21 +000048// CXXThisExpr
49Stmt::child_iterator CXXThisExpr::child_begin() { return child_iterator(); }
50Stmt::child_iterator CXXThisExpr::child_end() { return child_iterator(); }
51
Chris Lattner50dd2892008-02-26 00:51:44 +000052// CXXThrowExpr
Ted Kremenek1060aff2008-06-17 03:11:08 +000053Stmt::child_iterator CXXThrowExpr::child_begin() { return &Op; }
Chris Lattner50dd2892008-02-26 00:51:44 +000054Stmt::child_iterator CXXThrowExpr::child_end() {
55 // If Op is 0, we are processing throw; which has no children.
Ted Kremenek1060aff2008-06-17 03:11:08 +000056 return Op ? &Op+1 : &Op;
Chris Lattner50dd2892008-02-26 00:51:44 +000057}
Chris Lattner04421082008-04-08 04:40:51 +000058
59// CXXDefaultArgExpr
60Stmt::child_iterator CXXDefaultArgExpr::child_begin() {
Chris Lattner8123a952008-04-10 02:22:51 +000061 return child_iterator();
Chris Lattner04421082008-04-08 04:40:51 +000062}
63Stmt::child_iterator CXXDefaultArgExpr::child_end() {
Chris Lattner8123a952008-04-10 02:22:51 +000064 return child_iterator();
Chris Lattner04421082008-04-08 04:40:51 +000065}
Argyrios Kyrtzidis987a14b2008-08-22 15:38:55 +000066
67// CXXZeroInitValueExpr
Mike Stump1eb44332009-09-09 15:08:12 +000068Stmt::child_iterator CXXZeroInitValueExpr::child_begin() {
Argyrios Kyrtzidis987a14b2008-08-22 15:38:55 +000069 return child_iterator();
70}
71Stmt::child_iterator CXXZeroInitValueExpr::child_end() {
72 return child_iterator();
73}
Argyrios Kyrtzidis9e922b12008-09-09 23:47:53 +000074
Sebastian Redl4c5d3202008-11-21 19:14:01 +000075// CXXNewExpr
76CXXNewExpr::CXXNewExpr(bool globalNew, FunctionDecl *operatorNew,
77 Expr **placementArgs, unsigned numPlaceArgs,
Sebastian Redlcee63fb2008-12-02 14:43:59 +000078 bool parenTypeId, Expr *arraySize,
Sebastian Redl4c5d3202008-11-21 19:14:01 +000079 CXXConstructorDecl *constructor, bool initializer,
80 Expr **constructorArgs, unsigned numConsArgs,
81 FunctionDecl *operatorDelete, QualType ty,
82 SourceLocation startLoc, SourceLocation endLoc)
Sebastian Redl28507842009-02-26 14:39:58 +000083 : Expr(CXXNewExprClass, ty, ty->isDependentType(), ty->isDependentType()),
84 GlobalNew(globalNew), ParenTypeId(parenTypeId),
Sebastian Redlcee63fb2008-12-02 14:43:59 +000085 Initializer(initializer), Array(arraySize), NumPlacementArgs(numPlaceArgs),
Sebastian Redl4c5d3202008-11-21 19:14:01 +000086 NumConstructorArgs(numConsArgs), OperatorNew(operatorNew),
Sebastian Redlcee63fb2008-12-02 14:43:59 +000087 OperatorDelete(operatorDelete), Constructor(constructor),
Mike Stump1eb44332009-09-09 15:08:12 +000088 StartLoc(startLoc), EndLoc(endLoc) {
Sebastian Redlcee63fb2008-12-02 14:43:59 +000089 unsigned TotalSize = Array + NumPlacementArgs + NumConstructorArgs;
Sebastian Redl4c5d3202008-11-21 19:14:01 +000090 SubExprs = new Stmt*[TotalSize];
91 unsigned i = 0;
Sebastian Redlcee63fb2008-12-02 14:43:59 +000092 if (Array)
93 SubExprs[i++] = arraySize;
94 for (unsigned j = 0; j < NumPlacementArgs; ++j)
Sebastian Redl4c5d3202008-11-21 19:14:01 +000095 SubExprs[i++] = placementArgs[j];
Sebastian Redlcee63fb2008-12-02 14:43:59 +000096 for (unsigned j = 0; j < NumConstructorArgs; ++j)
Sebastian Redl4c5d3202008-11-21 19:14:01 +000097 SubExprs[i++] = constructorArgs[j];
98 assert(i == TotalSize);
99}
100
101Stmt::child_iterator CXXNewExpr::child_begin() { return &SubExprs[0]; }
102Stmt::child_iterator CXXNewExpr::child_end() {
Sebastian Redlcee63fb2008-12-02 14:43:59 +0000103 return &SubExprs[0] + Array + getNumPlacementArgs() + getNumConstructorArgs();
Sebastian Redl4c5d3202008-11-21 19:14:01 +0000104}
105
106// CXXDeleteExpr
107Stmt::child_iterator CXXDeleteExpr::child_begin() { return &Argument; }
108Stmt::child_iterator CXXDeleteExpr::child_end() { return &Argument+1; }
109
Douglas Gregora71d8192009-09-04 17:36:40 +0000110// CXXPseudoDestructorExpr
111Stmt::child_iterator CXXPseudoDestructorExpr::child_begin() { return &Base; }
112Stmt::child_iterator CXXPseudoDestructorExpr::child_end() {
113 return &Base + 1;
114}
115
John McCallba135432009-11-21 08:51:07 +0000116// UnresolvedLookupExpr
John McCallf7a1a742009-11-24 19:00:30 +0000117UnresolvedLookupExpr *
118UnresolvedLookupExpr::Create(ASTContext &C, bool Dependent,
119 NestedNameSpecifier *Qualifier,
120 SourceRange QualifierRange, DeclarationName Name,
121 SourceLocation NameLoc, bool ADL,
122 const TemplateArgumentListInfo &Args)
123{
124 void *Mem = C.Allocate(sizeof(UnresolvedLookupExpr) +
125 ExplicitTemplateArgumentList::sizeFor(Args));
126 UnresolvedLookupExpr *ULE
127 = new (Mem) UnresolvedLookupExpr(Dependent ? C.DependentTy : C.OverloadTy,
128 Dependent, Qualifier, QualifierRange,
129 Name, NameLoc, ADL,
130 /*Overload*/ true,
131 /*ExplicitTemplateArgs*/ true);
132
133 reinterpret_cast<ExplicitTemplateArgumentList*>(ULE+1)->initializeFrom(Args);
134
135 return ULE;
136}
137
138bool UnresolvedLookupExpr::ComputeDependence(NamedDecl * const *Begin,
139 NamedDecl * const *End,
140 const TemplateArgumentListInfo *Args) {
141 for (NamedDecl * const *I = Begin; I != End; ++I)
142 if ((*I)->getDeclContext()->isDependentContext())
143 return true;
144
145 if (Args && TemplateSpecializationType::anyDependentTemplateArguments(*Args))
146 return true;
147
148 return false;
149}
150
John McCallba135432009-11-21 08:51:07 +0000151Stmt::child_iterator UnresolvedLookupExpr::child_begin() {
Mike Stump1eb44332009-09-09 15:08:12 +0000152 return child_iterator();
Douglas Gregor5c37de72008-12-06 00:22:45 +0000153}
John McCallba135432009-11-21 08:51:07 +0000154Stmt::child_iterator UnresolvedLookupExpr::child_end() {
Douglas Gregor5c37de72008-12-06 00:22:45 +0000155 return child_iterator();
156}
Sebastian Redl64b45f72009-01-05 20:52:13 +0000157// UnaryTypeTraitExpr
158Stmt::child_iterator UnaryTypeTraitExpr::child_begin() {
159 return child_iterator();
160}
161Stmt::child_iterator UnaryTypeTraitExpr::child_end() {
162 return child_iterator();
163}
164
John McCall865d4472009-11-19 22:55:06 +0000165// DependentScopeDeclRefExpr
John McCallf7a1a742009-11-24 19:00:30 +0000166DependentScopeDeclRefExpr *
167DependentScopeDeclRefExpr::Create(ASTContext &C,
168 NestedNameSpecifier *Qualifier,
169 SourceRange QualifierRange,
170 DeclarationName Name,
171 SourceLocation NameLoc,
172 const TemplateArgumentListInfo *Args) {
173 std::size_t size = sizeof(DependentScopeDeclRefExpr);
174 if (Args) size += ExplicitTemplateArgumentList::sizeFor(*Args);
175 void *Mem = C.Allocate(size);
176
177 DependentScopeDeclRefExpr *DRE
178 = new (Mem) DependentScopeDeclRefExpr(C.DependentTy,
179 Qualifier, QualifierRange,
180 Name, NameLoc,
181 Args != 0);
182
183 if (Args)
184 reinterpret_cast<ExplicitTemplateArgumentList*>(DRE+1)
185 ->initializeFrom(*Args);
186
187 return DRE;
188}
189
John McCall865d4472009-11-19 22:55:06 +0000190StmtIterator DependentScopeDeclRefExpr::child_begin() {
Douglas Gregor5953d8b2009-03-19 17:26:29 +0000191 return child_iterator();
192}
193
John McCall865d4472009-11-19 22:55:06 +0000194StmtIterator DependentScopeDeclRefExpr::child_end() {
Douglas Gregor5953d8b2009-03-19 17:26:29 +0000195 return child_iterator();
196}
197
Douglas Gregor5e03f9e2009-07-23 23:49:00 +0000198bool UnaryTypeTraitExpr::EvaluateTrait(ASTContext& C) const {
Sebastian Redl64b45f72009-01-05 20:52:13 +0000199 switch(UTT) {
200 default: assert(false && "Unknown type trait or not implemented");
201 case UTT_IsPOD: return QueriedType->isPODType();
202 case UTT_IsClass: // Fallthrough
203 case UTT_IsUnion:
Ted Kremenek6217b802009-07-29 21:53:49 +0000204 if (const RecordType *Record = QueriedType->getAs<RecordType>()) {
Sebastian Redl64b45f72009-01-05 20:52:13 +0000205 bool Union = Record->getDecl()->isUnion();
206 return UTT == UTT_IsUnion ? Union : !Union;
207 }
208 return false;
209 case UTT_IsEnum: return QueriedType->isEnumeralType();
210 case UTT_IsPolymorphic:
Ted Kremenek6217b802009-07-29 21:53:49 +0000211 if (const RecordType *Record = QueriedType->getAs<RecordType>()) {
Sebastian Redl64b45f72009-01-05 20:52:13 +0000212 // Type traits are only parsed in C++, so we've got CXXRecords.
213 return cast<CXXRecordDecl>(Record->getDecl())->isPolymorphic();
214 }
215 return false;
Anders Carlsson67e4dd22009-03-22 01:52:17 +0000216 case UTT_IsAbstract:
Ted Kremenek6217b802009-07-29 21:53:49 +0000217 if (const RecordType *RT = QueriedType->getAs<RecordType>())
Anders Carlsson67e4dd22009-03-22 01:52:17 +0000218 return cast<CXXRecordDecl>(RT->getDecl())->isAbstract();
219 return false;
Eli Friedman1d954f62009-08-15 21:55:26 +0000220 case UTT_IsEmpty:
221 if (const RecordType *Record = QueriedType->getAs<RecordType>()) {
222 return !Record->getDecl()->isUnion()
223 && cast<CXXRecordDecl>(Record->getDecl())->isEmpty();
224 }
225 return false;
Anders Carlsson347ba892009-04-16 00:08:20 +0000226 case UTT_HasTrivialConstructor:
Douglas Gregor5e03f9e2009-07-23 23:49:00 +0000227 // http://gcc.gnu.org/onlinedocs/gcc/Type-Traits.html:
228 // If __is_pod (type) is true then the trait is true, else if type is
229 // a cv class or union type (or array thereof) with a trivial default
230 // constructor ([class.ctor]) then the trait is true, else it is false.
231 if (QueriedType->isPODType())
232 return true;
233 if (const RecordType *RT =
Ted Kremenek6217b802009-07-29 21:53:49 +0000234 C.getBaseElementType(QueriedType)->getAs<RecordType>())
Anders Carlsson347ba892009-04-16 00:08:20 +0000235 return cast<CXXRecordDecl>(RT->getDecl())->hasTrivialConstructor();
Anders Carlsson072abef2009-04-17 02:34:54 +0000236 return false;
Douglas Gregor5e03f9e2009-07-23 23:49:00 +0000237 case UTT_HasTrivialCopy:
238 // http://gcc.gnu.org/onlinedocs/gcc/Type-Traits.html:
239 // If __is_pod (type) is true or type is a reference type then
240 // the trait is true, else if type is a cv class or union type
241 // with a trivial copy constructor ([class.copy]) then the trait
242 // is true, else it is false.
243 if (QueriedType->isPODType() || QueriedType->isReferenceType())
244 return true;
Ted Kremenek6217b802009-07-29 21:53:49 +0000245 if (const RecordType *RT = QueriedType->getAs<RecordType>())
Douglas Gregor5e03f9e2009-07-23 23:49:00 +0000246 return cast<CXXRecordDecl>(RT->getDecl())->hasTrivialCopyConstructor();
247 return false;
248 case UTT_HasTrivialAssign:
249 // http://gcc.gnu.org/onlinedocs/gcc/Type-Traits.html:
250 // If type is const qualified or is a reference type then the
251 // trait is false. Otherwise if __is_pod (type) is true then the
252 // trait is true, else if type is a cv class or union type with
253 // a trivial copy assignment ([class.copy]) then the trait is
254 // true, else it is false.
255 // Note: the const and reference restrictions are interesting,
256 // given that const and reference members don't prevent a class
257 // from having a trivial copy assignment operator (but do cause
258 // errors if the copy assignment operator is actually used, q.v.
259 // [class.copy]p12).
260
261 if (C.getBaseElementType(QueriedType).isConstQualified())
262 return false;
263 if (QueriedType->isPODType())
264 return true;
Ted Kremenek6217b802009-07-29 21:53:49 +0000265 if (const RecordType *RT = QueriedType->getAs<RecordType>())
Douglas Gregor5e03f9e2009-07-23 23:49:00 +0000266 return cast<CXXRecordDecl>(RT->getDecl())->hasTrivialCopyAssignment();
267 return false;
268 case UTT_HasTrivialDestructor:
269 // http://gcc.gnu.org/onlinedocs/gcc/Type-Traits.html:
270 // If __is_pod (type) is true or type is a reference type
271 // then the trait is true, else if type is a cv class or union
272 // type (or array thereof) with a trivial destructor
273 // ([class.dtor]) then the trait is true, else it is
274 // false.
275 if (QueriedType->isPODType() || QueriedType->isReferenceType())
276 return true;
277 if (const RecordType *RT =
Ted Kremenek6217b802009-07-29 21:53:49 +0000278 C.getBaseElementType(QueriedType)->getAs<RecordType>())
Anders Carlsson072abef2009-04-17 02:34:54 +0000279 return cast<CXXRecordDecl>(RT->getDecl())->hasTrivialDestructor();
280 return false;
Sebastian Redl64b45f72009-01-05 20:52:13 +0000281 }
282}
283
Douglas Gregorb4609802008-11-14 16:09:21 +0000284SourceRange CXXOperatorCallExpr::getSourceRange() const {
285 OverloadedOperatorKind Kind = getOperator();
286 if (Kind == OO_PlusPlus || Kind == OO_MinusMinus) {
287 if (getNumArgs() == 1)
288 // Prefix operator
Mike Stump1eb44332009-09-09 15:08:12 +0000289 return SourceRange(getOperatorLoc(),
Douglas Gregorb4609802008-11-14 16:09:21 +0000290 getArg(0)->getSourceRange().getEnd());
291 else
292 // Postfix operator
293 return SourceRange(getArg(0)->getSourceRange().getEnd(),
294 getOperatorLoc());
295 } else if (Kind == OO_Call) {
296 return SourceRange(getArg(0)->getSourceRange().getBegin(), getRParenLoc());
297 } else if (Kind == OO_Subscript) {
298 return SourceRange(getArg(0)->getSourceRange().getBegin(), getRParenLoc());
299 } else if (getNumArgs() == 1) {
300 return SourceRange(getOperatorLoc(), getArg(0)->getSourceRange().getEnd());
301 } else if (getNumArgs() == 2) {
302 return SourceRange(getArg(0)->getSourceRange().getBegin(),
303 getArg(1)->getSourceRange().getEnd());
304 } else {
305 return SourceRange();
306 }
307}
308
Douglas Gregor88a35142008-12-22 05:46:06 +0000309Expr *CXXMemberCallExpr::getImplicitObjectArgument() {
310 if (MemberExpr *MemExpr = dyn_cast<MemberExpr>(getCallee()->IgnoreParens()))
311 return MemExpr->getBase();
312
313 // FIXME: Will eventually need to cope with member pointers.
314 return 0;
315}
316
Douglas Gregor00b98c22009-11-12 15:31:47 +0000317SourceRange CXXMemberCallExpr::getSourceRange() const {
318 SourceLocation LocStart = getCallee()->getLocStart();
319 if (LocStart.isInvalid() && getNumArgs() > 0)
320 LocStart = getArg(0)->getLocStart();
321 return SourceRange(LocStart, getRParenLoc());
322}
323
324
Douglas Gregor49badde2008-10-27 19:41:14 +0000325//===----------------------------------------------------------------------===//
326// Named casts
327//===----------------------------------------------------------------------===//
328
329/// getCastName - Get the name of the C++ cast being used, e.g.,
330/// "static_cast", "dynamic_cast", "reinterpret_cast", or
331/// "const_cast". The returned pointer must not be freed.
332const char *CXXNamedCastExpr::getCastName() const {
333 switch (getStmtClass()) {
334 case CXXStaticCastExprClass: return "static_cast";
335 case CXXDynamicCastExprClass: return "dynamic_cast";
336 case CXXReinterpretCastExprClass: return "reinterpret_cast";
337 case CXXConstCastExprClass: return "const_cast";
338 default: return "<invalid cast>";
339 }
340}
Douglas Gregor506ae412009-01-16 18:33:17 +0000341
Mike Stump1eb44332009-09-09 15:08:12 +0000342CXXTemporary *CXXTemporary::Create(ASTContext &C,
Anders Carlssonb859f352009-05-30 20:34:37 +0000343 const CXXDestructorDecl *Destructor) {
Anders Carlsson88eaf072009-05-30 22:38:53 +0000344 return new (C) CXXTemporary(Destructor);
345}
346
Douglas Gregor42602bb2009-08-07 06:08:38 +0000347void CXXTemporary::Destroy(ASTContext &Ctx) {
Anders Carlsson88eaf072009-05-30 22:38:53 +0000348 this->~CXXTemporary();
Douglas Gregor42602bb2009-08-07 06:08:38 +0000349 Ctx.Deallocate(this);
Anders Carlssonc1ce4772009-05-30 19:54:15 +0000350}
351
Mike Stump1eb44332009-09-09 15:08:12 +0000352CXXBindTemporaryExpr *CXXBindTemporaryExpr::Create(ASTContext &C,
Anders Carlssonfceb0a82009-05-30 20:03:25 +0000353 CXXTemporary *Temp,
354 Expr* SubExpr) {
Mike Stump1eb44332009-09-09 15:08:12 +0000355 assert(SubExpr->getType()->isRecordType() &&
Anders Carlssonfceb0a82009-05-30 20:03:25 +0000356 "Expression bound to a temporary must have record type!");
357
Anders Carlssonb859f352009-05-30 20:34:37 +0000358 return new (C) CXXBindTemporaryExpr(Temp, SubExpr);
Anders Carlssonfceb0a82009-05-30 20:03:25 +0000359}
360
Douglas Gregor42602bb2009-08-07 06:08:38 +0000361void CXXBindTemporaryExpr::DoDestroy(ASTContext &C) {
Anders Carlsson88eaf072009-05-30 22:38:53 +0000362 Temp->Destroy(C);
363 this->~CXXBindTemporaryExpr();
364 C.Deallocate(this);
365}
366
Anders Carlsson8e587a12009-05-30 20:56:46 +0000367CXXTemporaryObjectExpr::CXXTemporaryObjectExpr(ASTContext &C,
Anders Carlsson26de5492009-04-24 05:23:13 +0000368 CXXConstructorDecl *Cons,
Douglas Gregor506ae412009-01-16 18:33:17 +0000369 QualType writtenTy,
Mike Stump1eb44332009-09-09 15:08:12 +0000370 SourceLocation tyBeginLoc,
Douglas Gregor506ae412009-01-16 18:33:17 +0000371 Expr **Args,
Mike Stump1eb44332009-09-09 15:08:12 +0000372 unsigned NumArgs,
Douglas Gregor506ae412009-01-16 18:33:17 +0000373 SourceLocation rParenLoc)
Mike Stump1eb44332009-09-09 15:08:12 +0000374 : CXXConstructExpr(C, CXXTemporaryObjectExprClass, writtenTy, Cons,
375 false, Args, NumArgs),
Anders Carlsson524fa132009-04-24 17:34:38 +0000376 TyBeginLoc(tyBeginLoc), RParenLoc(rParenLoc) {
Douglas Gregor506ae412009-01-16 18:33:17 +0000377}
Anders Carlsson19d28a62009-04-21 02:22:11 +0000378
Mike Stump1eb44332009-09-09 15:08:12 +0000379CXXConstructExpr *CXXConstructExpr::Create(ASTContext &C, QualType T,
Anders Carlsson8e587a12009-05-30 20:56:46 +0000380 CXXConstructorDecl *D, bool Elidable,
Anders Carlssone349bea2009-04-23 02:32:43 +0000381 Expr **Args, unsigned NumArgs) {
Mike Stump1eb44332009-09-09 15:08:12 +0000382 return new (C) CXXConstructExpr(C, CXXConstructExprClass, T, D, Elidable,
Anders Carlssonbd6734e2009-04-24 05:04:04 +0000383 Args, NumArgs);
Anders Carlssone349bea2009-04-23 02:32:43 +0000384}
385
Mike Stump1eb44332009-09-09 15:08:12 +0000386CXXConstructExpr::CXXConstructExpr(ASTContext &C, StmtClass SC, QualType T,
Anders Carlsson8e587a12009-05-30 20:56:46 +0000387 CXXConstructorDecl *D, bool elidable,
Mike Stump1eb44332009-09-09 15:08:12 +0000388 Expr **args, unsigned numargs)
Anders Carlssonbd6734e2009-04-24 05:04:04 +0000389: Expr(SC, T,
Anders Carlssone349bea2009-04-23 02:32:43 +0000390 T->isDependentType(),
391 (T->isDependentType() ||
392 CallExpr::hasAnyValueDependentArguments(args, numargs))),
Anders Carlsson8e587a12009-05-30 20:56:46 +0000393 Constructor(D), Elidable(elidable), Args(0), NumArgs(numargs) {
Douglas Gregor39da0b82009-09-09 23:08:42 +0000394 if (NumArgs) {
395 Args = new (C) Stmt*[NumArgs];
Mike Stump1eb44332009-09-09 15:08:12 +0000396
Douglas Gregor39da0b82009-09-09 23:08:42 +0000397 for (unsigned i = 0; i != NumArgs; ++i) {
398 assert(args[i] && "NULL argument in CXXConstructExpr");
Anders Carlssone349bea2009-04-23 02:32:43 +0000399 Args[i] = args[i];
Douglas Gregor39da0b82009-09-09 23:08:42 +0000400 }
Anders Carlssone349bea2009-04-23 02:32:43 +0000401 }
402}
403
Douglas Gregor39da0b82009-09-09 23:08:42 +0000404CXXConstructExpr::CXXConstructExpr(EmptyShell Empty, ASTContext &C,
405 unsigned numargs)
406 : Expr(CXXConstructExprClass, Empty), Args(0), NumArgs(numargs)
407{
408 if (NumArgs)
409 Args = new (C) Stmt*[NumArgs];
410}
411
Douglas Gregor42602bb2009-08-07 06:08:38 +0000412void CXXConstructExpr::DoDestroy(ASTContext &C) {
Anders Carlssone349bea2009-04-23 02:32:43 +0000413 DestroyChildren(C);
414 if (Args)
415 C.Deallocate(Args);
416 this->~CXXConstructExpr();
417 C.Deallocate(this);
418}
419
Mike Stump1eb44332009-09-09 15:08:12 +0000420CXXExprWithTemporaries::CXXExprWithTemporaries(Expr *subexpr,
421 CXXTemporary **temps,
Anders Carlsson99ba36d2009-06-05 15:38:08 +0000422 unsigned numtemps,
Anders Carlssonf54741e2009-06-16 03:37:31 +0000423 bool shoulddestroytemps)
Anders Carlsson2d44e8a2009-05-01 22:18:43 +0000424: Expr(CXXExprWithTemporariesClass, subexpr->getType(),
Mike Stump1eb44332009-09-09 15:08:12 +0000425 subexpr->isTypeDependent(), subexpr->isValueDependent()),
426 SubExpr(subexpr), Temps(0), NumTemps(numtemps),
Anders Carlssonf54741e2009-06-16 03:37:31 +0000427 ShouldDestroyTemps(shoulddestroytemps) {
Anders Carlssonff6b3d62009-05-30 21:05:25 +0000428 if (NumTemps > 0) {
429 Temps = new CXXTemporary*[NumTemps];
430 for (unsigned i = 0; i < NumTemps; ++i)
431 Temps[i] = temps[i];
Anders Carlsson02bbfa32009-04-24 22:47:04 +0000432 }
433}
434
Mike Stump1eb44332009-09-09 15:08:12 +0000435CXXExprWithTemporaries *CXXExprWithTemporaries::Create(ASTContext &C,
Anders Carlsson88eaf072009-05-30 22:38:53 +0000436 Expr *SubExpr,
Mike Stump1eb44332009-09-09 15:08:12 +0000437 CXXTemporary **Temps,
Anders Carlsson99ba36d2009-06-05 15:38:08 +0000438 unsigned NumTemps,
Anders Carlssonf54741e2009-06-16 03:37:31 +0000439 bool ShouldDestroyTemps){
Mike Stump1eb44332009-09-09 15:08:12 +0000440 return new (C) CXXExprWithTemporaries(SubExpr, Temps, NumTemps,
Anders Carlssonf54741e2009-06-16 03:37:31 +0000441 ShouldDestroyTemps);
Anders Carlsson88eaf072009-05-30 22:38:53 +0000442}
443
Douglas Gregor42602bb2009-08-07 06:08:38 +0000444void CXXExprWithTemporaries::DoDestroy(ASTContext &C) {
Anders Carlsson88eaf072009-05-30 22:38:53 +0000445 DestroyChildren(C);
446 this->~CXXExprWithTemporaries();
447 C.Deallocate(this);
448}
449
Anders Carlsson2d44e8a2009-05-01 22:18:43 +0000450CXXExprWithTemporaries::~CXXExprWithTemporaries() {
Anders Carlssonff6b3d62009-05-30 21:05:25 +0000451 delete[] Temps;
Anders Carlsson02bbfa32009-04-24 22:47:04 +0000452}
453
Anders Carlssonfceb0a82009-05-30 20:03:25 +0000454// CXXBindTemporaryExpr
455Stmt::child_iterator CXXBindTemporaryExpr::child_begin() {
456 return &SubExpr;
457}
458
Mike Stump1eb44332009-09-09 15:08:12 +0000459Stmt::child_iterator CXXBindTemporaryExpr::child_end() {
Anders Carlssonfceb0a82009-05-30 20:03:25 +0000460 return &SubExpr + 1;
461}
462
Anders Carlssone349bea2009-04-23 02:32:43 +0000463// CXXConstructExpr
464Stmt::child_iterator CXXConstructExpr::child_begin() {
465 return &Args[0];
466}
467Stmt::child_iterator CXXConstructExpr::child_end() {
468 return &Args[0]+NumArgs;
469}
470
Anders Carlsson55674ac2009-05-01 22:21:22 +0000471// CXXExprWithTemporaries
472Stmt::child_iterator CXXExprWithTemporaries::child_begin() {
473 return &SubExpr;
Anders Carlsson19d28a62009-04-21 02:22:11 +0000474}
Anders Carlsson02bbfa32009-04-24 22:47:04 +0000475
Mike Stump1eb44332009-09-09 15:08:12 +0000476Stmt::child_iterator CXXExprWithTemporaries::child_end() {
Anders Carlsson55674ac2009-05-01 22:21:22 +0000477 return &SubExpr + 1;
478}
Anders Carlsson02bbfa32009-04-24 22:47:04 +0000479
Douglas Gregord81e6ca2009-05-20 18:46:25 +0000480CXXUnresolvedConstructExpr::CXXUnresolvedConstructExpr(
481 SourceLocation TyBeginLoc,
482 QualType T,
483 SourceLocation LParenLoc,
484 Expr **Args,
485 unsigned NumArgs,
486 SourceLocation RParenLoc)
487 : Expr(CXXUnresolvedConstructExprClass, T.getNonReferenceType(),
488 T->isDependentType(), true),
489 TyBeginLoc(TyBeginLoc),
490 Type(T),
491 LParenLoc(LParenLoc),
492 RParenLoc(RParenLoc),
493 NumArgs(NumArgs) {
494 Stmt **StoredArgs = reinterpret_cast<Stmt **>(this + 1);
495 memcpy(StoredArgs, Args, sizeof(Expr *) * NumArgs);
496}
497
498CXXUnresolvedConstructExpr *
Mike Stump1eb44332009-09-09 15:08:12 +0000499CXXUnresolvedConstructExpr::Create(ASTContext &C,
Douglas Gregord81e6ca2009-05-20 18:46:25 +0000500 SourceLocation TyBegin,
501 QualType T,
502 SourceLocation LParenLoc,
503 Expr **Args,
504 unsigned NumArgs,
505 SourceLocation RParenLoc) {
506 void *Mem = C.Allocate(sizeof(CXXUnresolvedConstructExpr) +
507 sizeof(Expr *) * NumArgs);
508 return new (Mem) CXXUnresolvedConstructExpr(TyBegin, T, LParenLoc,
509 Args, NumArgs, RParenLoc);
510}
511
512Stmt::child_iterator CXXUnresolvedConstructExpr::child_begin() {
513 return child_iterator(reinterpret_cast<Stmt **>(this + 1));
514}
515
516Stmt::child_iterator CXXUnresolvedConstructExpr::child_end() {
517 return child_iterator(reinterpret_cast<Stmt **>(this + 1) + NumArgs);
518}
Sebastian Redl8b0b4752009-05-16 18:50:46 +0000519
John McCall865d4472009-11-19 22:55:06 +0000520CXXDependentScopeMemberExpr::CXXDependentScopeMemberExpr(ASTContext &C,
Mike Stump1eb44332009-09-09 15:08:12 +0000521 Expr *Base, bool IsArrow,
Douglas Gregor3b6afbb2009-09-09 00:23:06 +0000522 SourceLocation OperatorLoc,
523 NestedNameSpecifier *Qualifier,
524 SourceRange QualifierRange,
525 NamedDecl *FirstQualifierFoundInScope,
526 DeclarationName Member,
527 SourceLocation MemberLoc,
John McCalld5532b62009-11-23 01:53:49 +0000528 const TemplateArgumentListInfo *TemplateArgs)
John McCall865d4472009-11-19 22:55:06 +0000529 : Expr(CXXDependentScopeMemberExprClass, C.DependentTy, true, true),
Mike Stump1eb44332009-09-09 15:08:12 +0000530 Base(Base), IsArrow(IsArrow),
John McCalld5532b62009-11-23 01:53:49 +0000531 HasExplicitTemplateArgumentList(TemplateArgs),
Douglas Gregor3b6afbb2009-09-09 00:23:06 +0000532 OperatorLoc(OperatorLoc),
533 Qualifier(Qualifier), QualifierRange(QualifierRange),
534 FirstQualifierFoundInScope(FirstQualifierFoundInScope),
Mike Stump1eb44332009-09-09 15:08:12 +0000535 Member(Member), MemberLoc(MemberLoc) {
John McCalld5532b62009-11-23 01:53:49 +0000536 if (TemplateArgs)
537 getExplicitTemplateArgumentList()->initializeFrom(*TemplateArgs);
Douglas Gregor3b6afbb2009-09-09 00:23:06 +0000538}
539
John McCall865d4472009-11-19 22:55:06 +0000540CXXDependentScopeMemberExpr *
541CXXDependentScopeMemberExpr::Create(ASTContext &C,
Mike Stump1eb44332009-09-09 15:08:12 +0000542 Expr *Base, bool IsArrow,
Douglas Gregor3b6afbb2009-09-09 00:23:06 +0000543 SourceLocation OperatorLoc,
544 NestedNameSpecifier *Qualifier,
545 SourceRange QualifierRange,
546 NamedDecl *FirstQualifierFoundInScope,
547 DeclarationName Member,
548 SourceLocation MemberLoc,
John McCalld5532b62009-11-23 01:53:49 +0000549 const TemplateArgumentListInfo *TemplateArgs) {
550 if (!TemplateArgs)
John McCall865d4472009-11-19 22:55:06 +0000551 return new (C) CXXDependentScopeMemberExpr(C, Base, IsArrow, OperatorLoc,
Douglas Gregor3b6afbb2009-09-09 00:23:06 +0000552 Qualifier, QualifierRange,
553 FirstQualifierFoundInScope,
554 Member, MemberLoc);
Mike Stump1eb44332009-09-09 15:08:12 +0000555
John McCalld5532b62009-11-23 01:53:49 +0000556 std::size_t size = sizeof(CXXDependentScopeMemberExpr);
557 if (TemplateArgs)
558 size += ExplicitTemplateArgumentList::sizeFor(*TemplateArgs);
559
560 void *Mem = C.Allocate(size, llvm::alignof<CXXDependentScopeMemberExpr>());
John McCall865d4472009-11-19 22:55:06 +0000561 return new (Mem) CXXDependentScopeMemberExpr(C, Base, IsArrow, OperatorLoc,
Douglas Gregor3b6afbb2009-09-09 00:23:06 +0000562 Qualifier, QualifierRange,
563 FirstQualifierFoundInScope,
564 Member,
565 MemberLoc,
John McCalld5532b62009-11-23 01:53:49 +0000566 TemplateArgs);
Douglas Gregor3b6afbb2009-09-09 00:23:06 +0000567}
568
John McCall865d4472009-11-19 22:55:06 +0000569Stmt::child_iterator CXXDependentScopeMemberExpr::child_begin() {
Douglas Gregor1c0ca592009-05-22 21:13:27 +0000570 return child_iterator(&Base);
571}
572
John McCall865d4472009-11-19 22:55:06 +0000573Stmt::child_iterator CXXDependentScopeMemberExpr::child_end() {
Douglas Gregor1c0ca592009-05-22 21:13:27 +0000574 return child_iterator(&Base + 1);
575}
John McCall129e2df2009-11-30 22:42:35 +0000576
577UnresolvedMemberExpr::UnresolvedMemberExpr(QualType T, bool Dependent,
578 bool HasUnresolvedUsing,
579 Expr *Base, bool IsArrow,
580 SourceLocation OperatorLoc,
581 NestedNameSpecifier *Qualifier,
582 SourceRange QualifierRange,
583 DeclarationName MemberName,
584 SourceLocation MemberLoc,
585 const TemplateArgumentListInfo *TemplateArgs)
586 : Expr(UnresolvedMemberExprClass, T, Dependent, Dependent),
587 Base(Base), IsArrow(IsArrow), HasUnresolvedUsing(HasUnresolvedUsing),
588 HasExplicitTemplateArgs(TemplateArgs != 0),
589 OperatorLoc(OperatorLoc),
590 Qualifier(Qualifier), QualifierRange(QualifierRange),
591 MemberName(MemberName), MemberLoc(MemberLoc) {
592 if (TemplateArgs)
593 getExplicitTemplateArgs()->initializeFrom(*TemplateArgs);
594}
595
596UnresolvedMemberExpr *
597UnresolvedMemberExpr::Create(ASTContext &C, bool Dependent,
598 bool HasUnresolvedUsing,
599 Expr *Base, bool IsArrow,
600 SourceLocation OperatorLoc,
601 NestedNameSpecifier *Qualifier,
602 SourceRange QualifierRange,
603 DeclarationName Member,
604 SourceLocation MemberLoc,
605 const TemplateArgumentListInfo *TemplateArgs) {
606 std::size_t size = sizeof(UnresolvedMemberExpr);
607 if (TemplateArgs)
608 size += ExplicitTemplateArgumentList::sizeFor(*TemplateArgs);
609
610 void *Mem = C.Allocate(size, llvm::alignof<UnresolvedMemberExpr>());
611 return new (Mem) UnresolvedMemberExpr(
612 Dependent ? C.DependentTy : C.OverloadTy,
613 Dependent, HasUnresolvedUsing, Base, IsArrow,
614 OperatorLoc, Qualifier, QualifierRange,
615 Member, MemberLoc, TemplateArgs);
616}
617
618Stmt::child_iterator UnresolvedMemberExpr::child_begin() {
619 return child_iterator(&Base);
620}
621
622Stmt::child_iterator UnresolvedMemberExpr::child_end() {
623 return child_iterator(&Base + 1);
624}