blob: e3d78eebec6eb32159a0070697c123ecdafe9e08 [file] [log] [blame]
Ted Kremenekfc7b6f72007-08-24 20:21:10 +00001//===--- ExprCXX.cpp - (C++) Expression AST Node Implementation -----------===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner959e5be2007-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 Kremenekfc7b6f72007-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 Gregor65fedaf2008-11-14 16:09:21 +000014#include "clang/Basic/IdentifierTable.h"
15#include "clang/AST/DeclCXX.h"
Ted Kremenekfc7b6f72007-08-24 20:21:10 +000016#include "clang/AST/ExprCXX.h"
17using namespace clang;
18
Argiris Kirtzidis080b9cc2008-09-10 02:14:49 +000019void CXXConditionDeclExpr::Destroy(ASTContext& C) {
Sebastian Redl2ee55612009-02-05 15:12:41 +000020 // FIXME: Cannot destroy the decl here, because it is linked into the
21 // DeclContext's chain.
22 //getVarDecl()->Destroy(C);
Ted Kremenek0c97e042009-02-07 01:47:29 +000023 this->~CXXConditionDeclExpr();
24 C.Deallocate(this);
Argiris Kirtzidis080b9cc2008-09-10 02:14:49 +000025}
Argiris Kirtzidisdbce6c12008-09-09 23:47:53 +000026
Ted Kremenekfc7b6f72007-08-24 20:21:10 +000027//===----------------------------------------------------------------------===//
28// Child Iterators for iterating over subexpressions/substatements
29//===----------------------------------------------------------------------===//
30
Sebastian Redlb93b49c2008-11-11 11:37:55 +000031// CXXTypeidExpr - has child iterators if the operand is an expression
32Stmt::child_iterator CXXTypeidExpr::child_begin() {
Sebastian Redl9f81c3f2008-12-03 23:17:54 +000033 return isTypeOperand() ? child_iterator() : &Operand.Ex;
Sebastian Redlb93b49c2008-11-11 11:37:55 +000034}
35Stmt::child_iterator CXXTypeidExpr::child_end() {
Sebastian Redl9f81c3f2008-12-03 23:17:54 +000036 return isTypeOperand() ? child_iterator() : &Operand.Ex+1;
Sebastian Redlb93b49c2008-11-11 11:37:55 +000037}
Ted Kremenekfc7b6f72007-08-24 20:21:10 +000038
Ted Kremenekfc7b6f72007-08-24 20:21:10 +000039// CXXBoolLiteralExpr
Ted Kremeneka6478552007-10-18 23:28:49 +000040Stmt::child_iterator CXXBoolLiteralExpr::child_begin() {
41 return child_iterator();
42}
43Stmt::child_iterator CXXBoolLiteralExpr::child_end() {
44 return child_iterator();
45}
Chris Lattnera7447ba2008-02-26 00:51:44 +000046
Douglas Gregora5b022a2008-11-04 14:32:21 +000047// CXXThisExpr
48Stmt::child_iterator CXXThisExpr::child_begin() { return child_iterator(); }
49Stmt::child_iterator CXXThisExpr::child_end() { return child_iterator(); }
50
Chris Lattnera7447ba2008-02-26 00:51:44 +000051// CXXThrowExpr
Ted Kremenek156714e2008-06-17 03:11:08 +000052Stmt::child_iterator CXXThrowExpr::child_begin() { return &Op; }
Chris Lattnera7447ba2008-02-26 00:51:44 +000053Stmt::child_iterator CXXThrowExpr::child_end() {
54 // If Op is 0, we are processing throw; which has no children.
Ted Kremenek156714e2008-06-17 03:11:08 +000055 return Op ? &Op+1 : &Op;
Chris Lattnera7447ba2008-02-26 00:51:44 +000056}
Chris Lattner3e254fb2008-04-08 04:40:51 +000057
58// CXXDefaultArgExpr
59Stmt::child_iterator CXXDefaultArgExpr::child_begin() {
Chris Lattner97316c02008-04-10 02:22:51 +000060 return child_iterator();
Chris Lattner3e254fb2008-04-08 04:40:51 +000061}
62Stmt::child_iterator CXXDefaultArgExpr::child_end() {
Chris Lattner97316c02008-04-10 02:22:51 +000063 return child_iterator();
Chris Lattner3e254fb2008-04-08 04:40:51 +000064}
Argiris Kirtzidis7a1e7412008-08-22 15:38:55 +000065
Douglas Gregor861e7902009-01-16 18:33:17 +000066// CXXTemporaryObjectExpr
67Stmt::child_iterator CXXTemporaryObjectExpr::child_begin() {
68 return child_iterator(Args);
69}
70Stmt::child_iterator CXXTemporaryObjectExpr::child_end() {
71 return child_iterator(Args + NumArgs);
72}
73
Argiris Kirtzidis7a1e7412008-08-22 15:38:55 +000074// CXXZeroInitValueExpr
75Stmt::child_iterator CXXZeroInitValueExpr::child_begin() {
76 return child_iterator();
77}
78Stmt::child_iterator CXXZeroInitValueExpr::child_end() {
79 return child_iterator();
80}
Argiris Kirtzidisdbce6c12008-09-09 23:47:53 +000081
82// CXXConditionDeclExpr
83Stmt::child_iterator CXXConditionDeclExpr::child_begin() {
84 return getVarDecl();
85}
86Stmt::child_iterator CXXConditionDeclExpr::child_end() {
87 return child_iterator();
88}
Douglas Gregor21a04f32008-10-27 19:41:14 +000089
Sebastian Redl19fec9d2008-11-21 19:14:01 +000090// CXXNewExpr
91CXXNewExpr::CXXNewExpr(bool globalNew, FunctionDecl *operatorNew,
92 Expr **placementArgs, unsigned numPlaceArgs,
Sebastian Redl66df3ef2008-12-02 14:43:59 +000093 bool parenTypeId, Expr *arraySize,
Sebastian Redl19fec9d2008-11-21 19:14:01 +000094 CXXConstructorDecl *constructor, bool initializer,
95 Expr **constructorArgs, unsigned numConsArgs,
96 FunctionDecl *operatorDelete, QualType ty,
97 SourceLocation startLoc, SourceLocation endLoc)
98 : Expr(CXXNewExprClass, ty), GlobalNew(globalNew), ParenTypeId(parenTypeId),
Sebastian Redl66df3ef2008-12-02 14:43:59 +000099 Initializer(initializer), Array(arraySize), NumPlacementArgs(numPlaceArgs),
Sebastian Redl19fec9d2008-11-21 19:14:01 +0000100 NumConstructorArgs(numConsArgs), OperatorNew(operatorNew),
Sebastian Redl66df3ef2008-12-02 14:43:59 +0000101 OperatorDelete(operatorDelete), Constructor(constructor),
Sebastian Redl19fec9d2008-11-21 19:14:01 +0000102 StartLoc(startLoc), EndLoc(endLoc)
103{
Sebastian Redl66df3ef2008-12-02 14:43:59 +0000104 unsigned TotalSize = Array + NumPlacementArgs + NumConstructorArgs;
Sebastian Redl19fec9d2008-11-21 19:14:01 +0000105 SubExprs = new Stmt*[TotalSize];
106 unsigned i = 0;
Sebastian Redl66df3ef2008-12-02 14:43:59 +0000107 if (Array)
108 SubExprs[i++] = arraySize;
109 for (unsigned j = 0; j < NumPlacementArgs; ++j)
Sebastian Redl19fec9d2008-11-21 19:14:01 +0000110 SubExprs[i++] = placementArgs[j];
Sebastian Redl66df3ef2008-12-02 14:43:59 +0000111 for (unsigned j = 0; j < NumConstructorArgs; ++j)
Sebastian Redl19fec9d2008-11-21 19:14:01 +0000112 SubExprs[i++] = constructorArgs[j];
113 assert(i == TotalSize);
114}
115
116Stmt::child_iterator CXXNewExpr::child_begin() { return &SubExprs[0]; }
117Stmt::child_iterator CXXNewExpr::child_end() {
Sebastian Redl66df3ef2008-12-02 14:43:59 +0000118 return &SubExprs[0] + Array + getNumPlacementArgs() + getNumConstructorArgs();
Sebastian Redl19fec9d2008-11-21 19:14:01 +0000119}
120
121// CXXDeleteExpr
122Stmt::child_iterator CXXDeleteExpr::child_begin() { return &Argument; }
123Stmt::child_iterator CXXDeleteExpr::child_end() { return &Argument+1; }
124
Douglas Gregor4646f9c2009-02-04 15:01:18 +0000125// UnresolvedFunctionNameExpr
126Stmt::child_iterator UnresolvedFunctionNameExpr::child_begin() {
Douglas Gregora133e262008-12-06 00:22:45 +0000127 return child_iterator();
128}
Douglas Gregor4646f9c2009-02-04 15:01:18 +0000129Stmt::child_iterator UnresolvedFunctionNameExpr::child_end() {
Douglas Gregora133e262008-12-06 00:22:45 +0000130 return child_iterator();
131}
132
Sebastian Redl39c0f6f2009-01-05 20:52:13 +0000133// UnaryTypeTraitExpr
134Stmt::child_iterator UnaryTypeTraitExpr::child_begin() {
135 return child_iterator();
136}
137Stmt::child_iterator UnaryTypeTraitExpr::child_end() {
138 return child_iterator();
139}
140
Daniel Dunbar8360a9c2009-02-17 23:20:26 +0000141bool UnaryTypeTraitExpr::EvaluateTrait() const {
Sebastian Redl39c0f6f2009-01-05 20:52:13 +0000142 switch(UTT) {
143 default: assert(false && "Unknown type trait or not implemented");
144 case UTT_IsPOD: return QueriedType->isPODType();
145 case UTT_IsClass: // Fallthrough
146 case UTT_IsUnion:
147 if (const RecordType *Record = QueriedType->getAsRecordType()) {
148 bool Union = Record->getDecl()->isUnion();
149 return UTT == UTT_IsUnion ? Union : !Union;
150 }
151 return false;
152 case UTT_IsEnum: return QueriedType->isEnumeralType();
153 case UTT_IsPolymorphic:
154 if (const RecordType *Record = QueriedType->getAsRecordType()) {
155 // Type traits are only parsed in C++, so we've got CXXRecords.
156 return cast<CXXRecordDecl>(Record->getDecl())->isPolymorphic();
157 }
158 return false;
159 }
160}
161
Douglas Gregor65fedaf2008-11-14 16:09:21 +0000162OverloadedOperatorKind CXXOperatorCallExpr::getOperator() const {
163 // All simple function calls (e.g. func()) are implicitly cast to pointer to
164 // function. As a result, we try and obtain the DeclRefExpr from the
165 // ImplicitCastExpr.
166 const ImplicitCastExpr *ICE = dyn_cast<ImplicitCastExpr>(getCallee());
167 if (!ICE) // FIXME: deal with more complex calls (e.g. (func)(), (*func)()).
168 return OO_None;
169
170 const DeclRefExpr *DRE = dyn_cast<DeclRefExpr>(ICE->getSubExpr());
171 if (!DRE)
172 return OO_None;
173
174 if (const FunctionDecl *FDecl = dyn_cast<FunctionDecl>(DRE->getDecl()))
Douglas Gregor96a32dd2008-11-18 14:39:36 +0000175 return FDecl->getDeclName().getCXXOverloadedOperator();
Douglas Gregor65fedaf2008-11-14 16:09:21 +0000176 else if (const OverloadedFunctionDecl *Ovl
177 = dyn_cast<OverloadedFunctionDecl>(DRE->getDecl()))
Douglas Gregor96a32dd2008-11-18 14:39:36 +0000178 return Ovl->getDeclName().getCXXOverloadedOperator();
Douglas Gregor65fedaf2008-11-14 16:09:21 +0000179 else
180 return OO_None;
181}
182
183SourceRange CXXOperatorCallExpr::getSourceRange() const {
184 OverloadedOperatorKind Kind = getOperator();
185 if (Kind == OO_PlusPlus || Kind == OO_MinusMinus) {
186 if (getNumArgs() == 1)
187 // Prefix operator
188 return SourceRange(getOperatorLoc(),
189 getArg(0)->getSourceRange().getEnd());
190 else
191 // Postfix operator
192 return SourceRange(getArg(0)->getSourceRange().getEnd(),
193 getOperatorLoc());
194 } else if (Kind == OO_Call) {
195 return SourceRange(getArg(0)->getSourceRange().getBegin(), getRParenLoc());
196 } else if (Kind == OO_Subscript) {
197 return SourceRange(getArg(0)->getSourceRange().getBegin(), getRParenLoc());
198 } else if (getNumArgs() == 1) {
199 return SourceRange(getOperatorLoc(), getArg(0)->getSourceRange().getEnd());
200 } else if (getNumArgs() == 2) {
201 return SourceRange(getArg(0)->getSourceRange().getBegin(),
202 getArg(1)->getSourceRange().getEnd());
203 } else {
204 return SourceRange();
205 }
206}
207
Douglas Gregor3257fb52008-12-22 05:46:06 +0000208Expr *CXXMemberCallExpr::getImplicitObjectArgument() {
209 if (MemberExpr *MemExpr = dyn_cast<MemberExpr>(getCallee()->IgnoreParens()))
210 return MemExpr->getBase();
211
212 // FIXME: Will eventually need to cope with member pointers.
213 return 0;
214}
215
Douglas Gregor21a04f32008-10-27 19:41:14 +0000216//===----------------------------------------------------------------------===//
217// Named casts
218//===----------------------------------------------------------------------===//
219
220/// getCastName - Get the name of the C++ cast being used, e.g.,
221/// "static_cast", "dynamic_cast", "reinterpret_cast", or
222/// "const_cast". The returned pointer must not be freed.
223const char *CXXNamedCastExpr::getCastName() const {
224 switch (getStmtClass()) {
225 case CXXStaticCastExprClass: return "static_cast";
226 case CXXDynamicCastExprClass: return "dynamic_cast";
227 case CXXReinterpretCastExprClass: return "reinterpret_cast";
228 case CXXConstCastExprClass: return "const_cast";
229 default: return "<invalid cast>";
230 }
231}
Douglas Gregor861e7902009-01-16 18:33:17 +0000232
233CXXTemporaryObjectExpr::CXXTemporaryObjectExpr(CXXConstructorDecl *Cons,
234 QualType writtenTy,
235 SourceLocation tyBeginLoc,
236 Expr **Args,
237 unsigned NumArgs,
238 SourceLocation rParenLoc)
239 : Expr(CXXTemporaryObjectExprClass, writtenTy),
240 TyBeginLoc(tyBeginLoc), RParenLoc(rParenLoc),
241 Constructor(Cons), Args(0), NumArgs(NumArgs) {
242 if (NumArgs > 0) {
243 this->Args = new Stmt*[NumArgs];
244 for (unsigned i = 0; i < NumArgs; ++i)
245 this->Args[i] = Args[i];
246 }
247}
248
249CXXTemporaryObjectExpr::~CXXTemporaryObjectExpr() {
250 delete [] Args;
251}