blob: 07d794ea437d16e186e0333613020024526edcf2 [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) {
20 getVarDecl()->Destroy(C);
21 delete this;
22}
Argiris Kirtzidisdbce6c12008-09-09 23:47:53 +000023
24
Ted Kremenekfc7b6f72007-08-24 20:21:10 +000025//===----------------------------------------------------------------------===//
26// Child Iterators for iterating over subexpressions/substatements
27//===----------------------------------------------------------------------===//
28
Sebastian Redlb93b49c2008-11-11 11:37:55 +000029// CXXTypeidExpr - has child iterators if the operand is an expression
30Stmt::child_iterator CXXTypeidExpr::child_begin() {
Sebastian Redl9f81c3f2008-12-03 23:17:54 +000031 return isTypeOperand() ? child_iterator() : &Operand.Ex;
Sebastian Redlb93b49c2008-11-11 11:37:55 +000032}
33Stmt::child_iterator CXXTypeidExpr::child_end() {
Sebastian Redl9f81c3f2008-12-03 23:17:54 +000034 return isTypeOperand() ? child_iterator() : &Operand.Ex+1;
Sebastian Redlb93b49c2008-11-11 11:37:55 +000035}
Ted Kremenekfc7b6f72007-08-24 20:21:10 +000036
Ted Kremenekfc7b6f72007-08-24 20:21:10 +000037// CXXBoolLiteralExpr
Ted Kremeneka6478552007-10-18 23:28:49 +000038Stmt::child_iterator CXXBoolLiteralExpr::child_begin() {
39 return child_iterator();
40}
41Stmt::child_iterator CXXBoolLiteralExpr::child_end() {
42 return child_iterator();
43}
Chris Lattnera7447ba2008-02-26 00:51:44 +000044
Douglas Gregora5b022a2008-11-04 14:32:21 +000045// CXXThisExpr
46Stmt::child_iterator CXXThisExpr::child_begin() { return child_iterator(); }
47Stmt::child_iterator CXXThisExpr::child_end() { return child_iterator(); }
48
Chris Lattnera7447ba2008-02-26 00:51:44 +000049// CXXThrowExpr
Ted Kremenek156714e2008-06-17 03:11:08 +000050Stmt::child_iterator CXXThrowExpr::child_begin() { return &Op; }
Chris Lattnera7447ba2008-02-26 00:51:44 +000051Stmt::child_iterator CXXThrowExpr::child_end() {
52 // If Op is 0, we are processing throw; which has no children.
Ted Kremenek156714e2008-06-17 03:11:08 +000053 return Op ? &Op+1 : &Op;
Chris Lattnera7447ba2008-02-26 00:51:44 +000054}
Chris Lattner3e254fb2008-04-08 04:40:51 +000055
56// CXXDefaultArgExpr
57Stmt::child_iterator CXXDefaultArgExpr::child_begin() {
Chris Lattner97316c02008-04-10 02:22:51 +000058 return child_iterator();
Chris Lattner3e254fb2008-04-08 04:40:51 +000059}
60Stmt::child_iterator CXXDefaultArgExpr::child_end() {
Chris Lattner97316c02008-04-10 02:22:51 +000061 return child_iterator();
Chris Lattner3e254fb2008-04-08 04:40:51 +000062}
Argiris Kirtzidis7a1e7412008-08-22 15:38:55 +000063
64// CXXZeroInitValueExpr
65Stmt::child_iterator CXXZeroInitValueExpr::child_begin() {
66 return child_iterator();
67}
68Stmt::child_iterator CXXZeroInitValueExpr::child_end() {
69 return child_iterator();
70}
Argiris Kirtzidisdbce6c12008-09-09 23:47:53 +000071
72// CXXConditionDeclExpr
73Stmt::child_iterator CXXConditionDeclExpr::child_begin() {
74 return getVarDecl();
75}
76Stmt::child_iterator CXXConditionDeclExpr::child_end() {
77 return child_iterator();
78}
Douglas Gregor21a04f32008-10-27 19:41:14 +000079
Sebastian Redl19fec9d2008-11-21 19:14:01 +000080// CXXNewExpr
81CXXNewExpr::CXXNewExpr(bool globalNew, FunctionDecl *operatorNew,
82 Expr **placementArgs, unsigned numPlaceArgs,
Sebastian Redl66df3ef2008-12-02 14:43:59 +000083 bool parenTypeId, Expr *arraySize,
Sebastian Redl19fec9d2008-11-21 19:14:01 +000084 CXXConstructorDecl *constructor, bool initializer,
85 Expr **constructorArgs, unsigned numConsArgs,
86 FunctionDecl *operatorDelete, QualType ty,
87 SourceLocation startLoc, SourceLocation endLoc)
88 : Expr(CXXNewExprClass, ty), GlobalNew(globalNew), ParenTypeId(parenTypeId),
Sebastian Redl66df3ef2008-12-02 14:43:59 +000089 Initializer(initializer), Array(arraySize), NumPlacementArgs(numPlaceArgs),
Sebastian Redl19fec9d2008-11-21 19:14:01 +000090 NumConstructorArgs(numConsArgs), OperatorNew(operatorNew),
Sebastian Redl66df3ef2008-12-02 14:43:59 +000091 OperatorDelete(operatorDelete), Constructor(constructor),
Sebastian Redl19fec9d2008-11-21 19:14:01 +000092 StartLoc(startLoc), EndLoc(endLoc)
93{
Sebastian Redl66df3ef2008-12-02 14:43:59 +000094 unsigned TotalSize = Array + NumPlacementArgs + NumConstructorArgs;
Sebastian Redl19fec9d2008-11-21 19:14:01 +000095 SubExprs = new Stmt*[TotalSize];
96 unsigned i = 0;
Sebastian Redl66df3ef2008-12-02 14:43:59 +000097 if (Array)
98 SubExprs[i++] = arraySize;
99 for (unsigned j = 0; j < NumPlacementArgs; ++j)
Sebastian Redl19fec9d2008-11-21 19:14:01 +0000100 SubExprs[i++] = placementArgs[j];
Sebastian Redl66df3ef2008-12-02 14:43:59 +0000101 for (unsigned j = 0; j < NumConstructorArgs; ++j)
Sebastian Redl19fec9d2008-11-21 19:14:01 +0000102 SubExprs[i++] = constructorArgs[j];
103 assert(i == TotalSize);
104}
105
106Stmt::child_iterator CXXNewExpr::child_begin() { return &SubExprs[0]; }
107Stmt::child_iterator CXXNewExpr::child_end() {
Sebastian Redl66df3ef2008-12-02 14:43:59 +0000108 return &SubExprs[0] + Array + getNumPlacementArgs() + getNumConstructorArgs();
Sebastian Redl19fec9d2008-11-21 19:14:01 +0000109}
110
111// CXXDeleteExpr
112Stmt::child_iterator CXXDeleteExpr::child_begin() { return &Argument; }
113Stmt::child_iterator CXXDeleteExpr::child_end() { return &Argument+1; }
114
Douglas Gregora133e262008-12-06 00:22:45 +0000115// CXXDependentNameExpr
116Stmt::child_iterator CXXDependentNameExpr::child_begin() {
117 return child_iterator();
118}
119Stmt::child_iterator CXXDependentNameExpr::child_end() {
120 return child_iterator();
121}
122
Sebastian Redl39c0f6f2009-01-05 20:52:13 +0000123// UnaryTypeTraitExpr
124Stmt::child_iterator UnaryTypeTraitExpr::child_begin() {
125 return child_iterator();
126}
127Stmt::child_iterator UnaryTypeTraitExpr::child_end() {
128 return child_iterator();
129}
130
131bool UnaryTypeTraitExpr::Evaluate() const {
132 switch(UTT) {
133 default: assert(false && "Unknown type trait or not implemented");
134 case UTT_IsPOD: return QueriedType->isPODType();
135 case UTT_IsClass: // Fallthrough
136 case UTT_IsUnion:
137 if (const RecordType *Record = QueriedType->getAsRecordType()) {
138 bool Union = Record->getDecl()->isUnion();
139 return UTT == UTT_IsUnion ? Union : !Union;
140 }
141 return false;
142 case UTT_IsEnum: return QueriedType->isEnumeralType();
143 case UTT_IsPolymorphic:
144 if (const RecordType *Record = QueriedType->getAsRecordType()) {
145 // Type traits are only parsed in C++, so we've got CXXRecords.
146 return cast<CXXRecordDecl>(Record->getDecl())->isPolymorphic();
147 }
148 return false;
149 }
150}
151
Douglas Gregor65fedaf2008-11-14 16:09:21 +0000152OverloadedOperatorKind CXXOperatorCallExpr::getOperator() const {
153 // All simple function calls (e.g. func()) are implicitly cast to pointer to
154 // function. As a result, we try and obtain the DeclRefExpr from the
155 // ImplicitCastExpr.
156 const ImplicitCastExpr *ICE = dyn_cast<ImplicitCastExpr>(getCallee());
157 if (!ICE) // FIXME: deal with more complex calls (e.g. (func)(), (*func)()).
158 return OO_None;
159
160 const DeclRefExpr *DRE = dyn_cast<DeclRefExpr>(ICE->getSubExpr());
161 if (!DRE)
162 return OO_None;
163
164 if (const FunctionDecl *FDecl = dyn_cast<FunctionDecl>(DRE->getDecl()))
Douglas Gregor96a32dd2008-11-18 14:39:36 +0000165 return FDecl->getDeclName().getCXXOverloadedOperator();
Douglas Gregor65fedaf2008-11-14 16:09:21 +0000166 else if (const OverloadedFunctionDecl *Ovl
167 = dyn_cast<OverloadedFunctionDecl>(DRE->getDecl()))
Douglas Gregor96a32dd2008-11-18 14:39:36 +0000168 return Ovl->getDeclName().getCXXOverloadedOperator();
Douglas Gregor65fedaf2008-11-14 16:09:21 +0000169 else
170 return OO_None;
171}
172
173SourceRange CXXOperatorCallExpr::getSourceRange() const {
174 OverloadedOperatorKind Kind = getOperator();
175 if (Kind == OO_PlusPlus || Kind == OO_MinusMinus) {
176 if (getNumArgs() == 1)
177 // Prefix operator
178 return SourceRange(getOperatorLoc(),
179 getArg(0)->getSourceRange().getEnd());
180 else
181 // Postfix operator
182 return SourceRange(getArg(0)->getSourceRange().getEnd(),
183 getOperatorLoc());
184 } else if (Kind == OO_Call) {
185 return SourceRange(getArg(0)->getSourceRange().getBegin(), getRParenLoc());
186 } else if (Kind == OO_Subscript) {
187 return SourceRange(getArg(0)->getSourceRange().getBegin(), getRParenLoc());
188 } else if (getNumArgs() == 1) {
189 return SourceRange(getOperatorLoc(), getArg(0)->getSourceRange().getEnd());
190 } else if (getNumArgs() == 2) {
191 return SourceRange(getArg(0)->getSourceRange().getBegin(),
192 getArg(1)->getSourceRange().getEnd());
193 } else {
194 return SourceRange();
195 }
196}
197
Douglas Gregor3257fb52008-12-22 05:46:06 +0000198Expr *CXXMemberCallExpr::getImplicitObjectArgument() {
199 if (MemberExpr *MemExpr = dyn_cast<MemberExpr>(getCallee()->IgnoreParens()))
200 return MemExpr->getBase();
201
202 // FIXME: Will eventually need to cope with member pointers.
203 return 0;
204}
205
Douglas Gregor21a04f32008-10-27 19:41:14 +0000206//===----------------------------------------------------------------------===//
207// Named casts
208//===----------------------------------------------------------------------===//
209
210/// getCastName - Get the name of the C++ cast being used, e.g.,
211/// "static_cast", "dynamic_cast", "reinterpret_cast", or
212/// "const_cast". The returned pointer must not be freed.
213const char *CXXNamedCastExpr::getCastName() const {
214 switch (getStmtClass()) {
215 case CXXStaticCastExprClass: return "static_cast";
216 case CXXDynamicCastExprClass: return "dynamic_cast";
217 case CXXReinterpretCastExprClass: return "reinterpret_cast";
218 case CXXConstCastExprClass: return "const_cast";
219 default: return "<invalid cast>";
220 }
221}