blob: c0f2985f1e963538319809290b5a9ad485090fb9 [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"
Ted Kremeneka758d092007-08-24 20:21:10 +000016#include "clang/AST/ExprCXX.h"
17using namespace clang;
18
Argyrios Kyrtzidis4189a762008-09-10 02:14:49 +000019void CXXConditionDeclExpr::Destroy(ASTContext& C) {
20 getVarDecl()->Destroy(C);
21 delete this;
22}
Argyrios Kyrtzidis9e922b12008-09-09 23:47:53 +000023
24
Ted Kremeneka758d092007-08-24 20:21:10 +000025//===----------------------------------------------------------------------===//
26// Child Iterators for iterating over subexpressions/substatements
27//===----------------------------------------------------------------------===//
28
Sebastian Redlc42e1182008-11-11 11:37:55 +000029// CXXTypeidExpr - has child iterators if the operand is an expression
30Stmt::child_iterator CXXTypeidExpr::child_begin() {
31 return isTypeOperand() ? child_iterator() : (Stmt**)&Operand;
32}
33Stmt::child_iterator CXXTypeidExpr::child_end() {
34 return isTypeOperand() ? child_iterator() : (Stmt**)&Operand+1;
35}
Ted Kremeneka758d092007-08-24 20:21:10 +000036
Ted Kremeneka758d092007-08-24 20:21:10 +000037// CXXBoolLiteralExpr
Ted Kremenek9ac59282007-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 Lattner50dd2892008-02-26 00:51:44 +000044
Douglas Gregor796da182008-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 Lattner50dd2892008-02-26 00:51:44 +000049// CXXThrowExpr
Ted Kremenek1060aff2008-06-17 03:11:08 +000050Stmt::child_iterator CXXThrowExpr::child_begin() { return &Op; }
Chris Lattner50dd2892008-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 Kremenek1060aff2008-06-17 03:11:08 +000053 return Op ? &Op+1 : &Op;
Chris Lattner50dd2892008-02-26 00:51:44 +000054}
Chris Lattner04421082008-04-08 04:40:51 +000055
56// CXXDefaultArgExpr
57Stmt::child_iterator CXXDefaultArgExpr::child_begin() {
Chris Lattner8123a952008-04-10 02:22:51 +000058 return child_iterator();
Chris Lattner04421082008-04-08 04:40:51 +000059}
60Stmt::child_iterator CXXDefaultArgExpr::child_end() {
Chris Lattner8123a952008-04-10 02:22:51 +000061 return child_iterator();
Chris Lattner04421082008-04-08 04:40:51 +000062}
Argyrios Kyrtzidis987a14b2008-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}
Argyrios Kyrtzidis9e922b12008-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 Gregor49badde2008-10-27 19:41:14 +000079
Sebastian Redl4c5d3202008-11-21 19:14:01 +000080// CXXNewExpr
81CXXNewExpr::CXXNewExpr(bool globalNew, FunctionDecl *operatorNew,
82 Expr **placementArgs, unsigned numPlaceArgs,
83 bool parenTypeId, QualType alloc,
84 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),
89 Initializer(initializer), NumPlacementArgs(numPlaceArgs),
90 NumConstructorArgs(numConsArgs), OperatorNew(operatorNew),
91 OperatorDelete(operatorDelete), Constructor(constructor), AllocType(alloc),
92 StartLoc(startLoc), EndLoc(endLoc)
93{
94 unsigned TotalSize = NumPlacementArgs + NumConstructorArgs;
95 SubExprs = new Stmt*[TotalSize];
96 unsigned i = 0;
97 for(unsigned j = 0; j < NumPlacementArgs; ++j)
98 SubExprs[i++] = placementArgs[j];
99 for(unsigned j = 0; j < NumConstructorArgs; ++j)
100 SubExprs[i++] = constructorArgs[j];
101 assert(i == TotalSize);
102}
103
104Stmt::child_iterator CXXNewExpr::child_begin() { return &SubExprs[0]; }
105Stmt::child_iterator CXXNewExpr::child_end() {
106 return &SubExprs[0] + getNumPlacementArgs() + getNumConstructorArgs();
107}
108
109// CXXDeleteExpr
110Stmt::child_iterator CXXDeleteExpr::child_begin() { return &Argument; }
111Stmt::child_iterator CXXDeleteExpr::child_end() { return &Argument+1; }
112
Douglas Gregorb4609802008-11-14 16:09:21 +0000113OverloadedOperatorKind CXXOperatorCallExpr::getOperator() const {
114 // All simple function calls (e.g. func()) are implicitly cast to pointer to
115 // function. As a result, we try and obtain the DeclRefExpr from the
116 // ImplicitCastExpr.
117 const ImplicitCastExpr *ICE = dyn_cast<ImplicitCastExpr>(getCallee());
118 if (!ICE) // FIXME: deal with more complex calls (e.g. (func)(), (*func)()).
119 return OO_None;
120
121 const DeclRefExpr *DRE = dyn_cast<DeclRefExpr>(ICE->getSubExpr());
122 if (!DRE)
123 return OO_None;
124
125 if (const FunctionDecl *FDecl = dyn_cast<FunctionDecl>(DRE->getDecl()))
Douglas Gregore94ca9e42008-11-18 14:39:36 +0000126 return FDecl->getDeclName().getCXXOverloadedOperator();
Douglas Gregorb4609802008-11-14 16:09:21 +0000127 else if (const OverloadedFunctionDecl *Ovl
128 = dyn_cast<OverloadedFunctionDecl>(DRE->getDecl()))
Douglas Gregore94ca9e42008-11-18 14:39:36 +0000129 return Ovl->getDeclName().getCXXOverloadedOperator();
Douglas Gregorb4609802008-11-14 16:09:21 +0000130 else
131 return OO_None;
132}
133
134SourceRange CXXOperatorCallExpr::getSourceRange() const {
135 OverloadedOperatorKind Kind = getOperator();
136 if (Kind == OO_PlusPlus || Kind == OO_MinusMinus) {
137 if (getNumArgs() == 1)
138 // Prefix operator
139 return SourceRange(getOperatorLoc(),
140 getArg(0)->getSourceRange().getEnd());
141 else
142 // Postfix operator
143 return SourceRange(getArg(0)->getSourceRange().getEnd(),
144 getOperatorLoc());
145 } else if (Kind == OO_Call) {
146 return SourceRange(getArg(0)->getSourceRange().getBegin(), getRParenLoc());
147 } else if (Kind == OO_Subscript) {
148 return SourceRange(getArg(0)->getSourceRange().getBegin(), getRParenLoc());
149 } else if (getNumArgs() == 1) {
150 return SourceRange(getOperatorLoc(), getArg(0)->getSourceRange().getEnd());
151 } else if (getNumArgs() == 2) {
152 return SourceRange(getArg(0)->getSourceRange().getBegin(),
153 getArg(1)->getSourceRange().getEnd());
154 } else {
155 return SourceRange();
156 }
157}
158
Douglas Gregor49badde2008-10-27 19:41:14 +0000159//===----------------------------------------------------------------------===//
160// Named casts
161//===----------------------------------------------------------------------===//
162
163/// getCastName - Get the name of the C++ cast being used, e.g.,
164/// "static_cast", "dynamic_cast", "reinterpret_cast", or
165/// "const_cast". The returned pointer must not be freed.
166const char *CXXNamedCastExpr::getCastName() const {
167 switch (getStmtClass()) {
168 case CXXStaticCastExprClass: return "static_cast";
169 case CXXDynamicCastExprClass: return "dynamic_cast";
170 case CXXReinterpretCastExprClass: return "reinterpret_cast";
171 case CXXConstCastExprClass: return "const_cast";
172 default: return "<invalid cast>";
173 }
174}