2007-08-25 04:21:10 +08:00
|
|
|
//===--- ExprCXX.cpp - (C++) Expression AST Node Implementation -----------===//
|
|
|
|
//
|
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
2007-12-30 03:59:25 +08:00
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
2007-08-25 04:21:10 +08:00
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// This file implements the subclesses of Expr class declared in ExprCXX.h
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
2008-11-15 00:09:21 +08:00
|
|
|
#include "clang/Basic/IdentifierTable.h"
|
|
|
|
#include "clang/AST/DeclCXX.h"
|
2007-08-25 04:21:10 +08:00
|
|
|
#include "clang/AST/ExprCXX.h"
|
|
|
|
using namespace clang;
|
|
|
|
|
2008-09-10 10:14:49 +08:00
|
|
|
void CXXConditionDeclExpr::Destroy(ASTContext& C) {
|
2009-02-05 23:12:41 +08:00
|
|
|
// FIXME: Cannot destroy the decl here, because it is linked into the
|
|
|
|
// DeclContext's chain.
|
|
|
|
//getVarDecl()->Destroy(C);
|
2009-02-07 09:47:29 +08:00
|
|
|
this->~CXXConditionDeclExpr();
|
|
|
|
C.Deallocate(this);
|
2008-09-10 10:14:49 +08:00
|
|
|
}
|
2008-09-10 07:47:53 +08:00
|
|
|
|
2007-08-25 04:21:10 +08:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// Child Iterators for iterating over subexpressions/substatements
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
2008-11-11 19:37:55 +08:00
|
|
|
// CXXTypeidExpr - has child iterators if the operand is an expression
|
|
|
|
Stmt::child_iterator CXXTypeidExpr::child_begin() {
|
2008-12-04 07:17:54 +08:00
|
|
|
return isTypeOperand() ? child_iterator() : &Operand.Ex;
|
2008-11-11 19:37:55 +08:00
|
|
|
}
|
|
|
|
Stmt::child_iterator CXXTypeidExpr::child_end() {
|
2008-12-04 07:17:54 +08:00
|
|
|
return isTypeOperand() ? child_iterator() : &Operand.Ex+1;
|
2008-11-11 19:37:55 +08:00
|
|
|
}
|
2007-08-25 04:21:10 +08:00
|
|
|
|
|
|
|
// CXXBoolLiteralExpr
|
2007-10-19 07:28:49 +08:00
|
|
|
Stmt::child_iterator CXXBoolLiteralExpr::child_begin() {
|
|
|
|
return child_iterator();
|
|
|
|
}
|
|
|
|
Stmt::child_iterator CXXBoolLiteralExpr::child_end() {
|
|
|
|
return child_iterator();
|
|
|
|
}
|
2008-02-26 08:51:44 +08:00
|
|
|
|
2008-11-04 22:32:21 +08:00
|
|
|
// CXXThisExpr
|
|
|
|
Stmt::child_iterator CXXThisExpr::child_begin() { return child_iterator(); }
|
|
|
|
Stmt::child_iterator CXXThisExpr::child_end() { return child_iterator(); }
|
|
|
|
|
2008-02-26 08:51:44 +08:00
|
|
|
// CXXThrowExpr
|
2008-06-17 11:11:08 +08:00
|
|
|
Stmt::child_iterator CXXThrowExpr::child_begin() { return &Op; }
|
2008-02-26 08:51:44 +08:00
|
|
|
Stmt::child_iterator CXXThrowExpr::child_end() {
|
|
|
|
// If Op is 0, we are processing throw; which has no children.
|
2008-06-17 11:11:08 +08:00
|
|
|
return Op ? &Op+1 : &Op;
|
2008-02-26 08:51:44 +08:00
|
|
|
}
|
2008-04-08 12:40:51 +08:00
|
|
|
|
|
|
|
// CXXDefaultArgExpr
|
|
|
|
Stmt::child_iterator CXXDefaultArgExpr::child_begin() {
|
2008-04-10 10:22:51 +08:00
|
|
|
return child_iterator();
|
2008-04-08 12:40:51 +08:00
|
|
|
}
|
|
|
|
Stmt::child_iterator CXXDefaultArgExpr::child_end() {
|
2008-04-10 10:22:51 +08:00
|
|
|
return child_iterator();
|
2008-04-08 12:40:51 +08:00
|
|
|
}
|
2008-08-22 23:38:55 +08:00
|
|
|
|
2009-01-17 02:33:17 +08:00
|
|
|
// CXXTemporaryObjectExpr
|
|
|
|
Stmt::child_iterator CXXTemporaryObjectExpr::child_begin() {
|
|
|
|
return child_iterator(Args);
|
|
|
|
}
|
|
|
|
Stmt::child_iterator CXXTemporaryObjectExpr::child_end() {
|
|
|
|
return child_iterator(Args + NumArgs);
|
|
|
|
}
|
|
|
|
|
2008-08-22 23:38:55 +08:00
|
|
|
// CXXZeroInitValueExpr
|
|
|
|
Stmt::child_iterator CXXZeroInitValueExpr::child_begin() {
|
|
|
|
return child_iterator();
|
|
|
|
}
|
|
|
|
Stmt::child_iterator CXXZeroInitValueExpr::child_end() {
|
|
|
|
return child_iterator();
|
|
|
|
}
|
2008-09-10 07:47:53 +08:00
|
|
|
|
|
|
|
// CXXConditionDeclExpr
|
|
|
|
Stmt::child_iterator CXXConditionDeclExpr::child_begin() {
|
|
|
|
return getVarDecl();
|
|
|
|
}
|
|
|
|
Stmt::child_iterator CXXConditionDeclExpr::child_end() {
|
|
|
|
return child_iterator();
|
|
|
|
}
|
2008-10-28 03:41:14 +08:00
|
|
|
|
2008-11-22 03:14:01 +08:00
|
|
|
// CXXNewExpr
|
|
|
|
CXXNewExpr::CXXNewExpr(bool globalNew, FunctionDecl *operatorNew,
|
|
|
|
Expr **placementArgs, unsigned numPlaceArgs,
|
2008-12-02 22:43:59 +08:00
|
|
|
bool parenTypeId, Expr *arraySize,
|
2008-11-22 03:14:01 +08:00
|
|
|
CXXConstructorDecl *constructor, bool initializer,
|
|
|
|
Expr **constructorArgs, unsigned numConsArgs,
|
|
|
|
FunctionDecl *operatorDelete, QualType ty,
|
|
|
|
SourceLocation startLoc, SourceLocation endLoc)
|
2009-02-26 22:39:58 +08:00
|
|
|
: Expr(CXXNewExprClass, ty, ty->isDependentType(), ty->isDependentType()),
|
|
|
|
GlobalNew(globalNew), ParenTypeId(parenTypeId),
|
2008-12-02 22:43:59 +08:00
|
|
|
Initializer(initializer), Array(arraySize), NumPlacementArgs(numPlaceArgs),
|
2008-11-22 03:14:01 +08:00
|
|
|
NumConstructorArgs(numConsArgs), OperatorNew(operatorNew),
|
2008-12-02 22:43:59 +08:00
|
|
|
OperatorDelete(operatorDelete), Constructor(constructor),
|
2008-11-22 03:14:01 +08:00
|
|
|
StartLoc(startLoc), EndLoc(endLoc)
|
|
|
|
{
|
2008-12-02 22:43:59 +08:00
|
|
|
unsigned TotalSize = Array + NumPlacementArgs + NumConstructorArgs;
|
2008-11-22 03:14:01 +08:00
|
|
|
SubExprs = new Stmt*[TotalSize];
|
|
|
|
unsigned i = 0;
|
2008-12-02 22:43:59 +08:00
|
|
|
if (Array)
|
|
|
|
SubExprs[i++] = arraySize;
|
|
|
|
for (unsigned j = 0; j < NumPlacementArgs; ++j)
|
2008-11-22 03:14:01 +08:00
|
|
|
SubExprs[i++] = placementArgs[j];
|
2008-12-02 22:43:59 +08:00
|
|
|
for (unsigned j = 0; j < NumConstructorArgs; ++j)
|
2008-11-22 03:14:01 +08:00
|
|
|
SubExprs[i++] = constructorArgs[j];
|
|
|
|
assert(i == TotalSize);
|
|
|
|
}
|
|
|
|
|
|
|
|
Stmt::child_iterator CXXNewExpr::child_begin() { return &SubExprs[0]; }
|
|
|
|
Stmt::child_iterator CXXNewExpr::child_end() {
|
2008-12-02 22:43:59 +08:00
|
|
|
return &SubExprs[0] + Array + getNumPlacementArgs() + getNumConstructorArgs();
|
2008-11-22 03:14:01 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
// CXXDeleteExpr
|
|
|
|
Stmt::child_iterator CXXDeleteExpr::child_begin() { return &Argument; }
|
|
|
|
Stmt::child_iterator CXXDeleteExpr::child_end() { return &Argument+1; }
|
|
|
|
|
2009-02-04 23:01:18 +08:00
|
|
|
// UnresolvedFunctionNameExpr
|
|
|
|
Stmt::child_iterator UnresolvedFunctionNameExpr::child_begin() {
|
2008-12-06 08:22:45 +08:00
|
|
|
return child_iterator();
|
|
|
|
}
|
2009-02-04 23:01:18 +08:00
|
|
|
Stmt::child_iterator UnresolvedFunctionNameExpr::child_end() {
|
2008-12-06 08:22:45 +08:00
|
|
|
return child_iterator();
|
|
|
|
}
|
|
|
|
|
2009-01-06 04:52:13 +08:00
|
|
|
// UnaryTypeTraitExpr
|
|
|
|
Stmt::child_iterator UnaryTypeTraitExpr::child_begin() {
|
|
|
|
return child_iterator();
|
|
|
|
}
|
|
|
|
Stmt::child_iterator UnaryTypeTraitExpr::child_end() {
|
|
|
|
return child_iterator();
|
|
|
|
}
|
|
|
|
|
Introduce a new expression type, UnresolvedDeclRefExpr, that describes
dependent qualified-ids such as
Fibonacci<N - 1>::value
where N is a template parameter. These references are "unresolved"
because the name is dependent and, therefore, cannot be resolved to a
declaration node (as we would do for a DeclRefExpr or
QualifiedDeclRefExpr). UnresolvedDeclRefExprs instantiate to
DeclRefExprs, QualifiedDeclRefExprs, etc.
Also, be a bit more careful about keeping only a single set of
specializations for a class template, and instantiating from the
definition of that template rather than a previous declaration. In
general, we need a better solution for this for all TagDecls, because
it's too easy to accidentally look at a declaration that isn't the
definition.
We can now process a simple Fibonacci computation described as a
template metaprogram.
llvm-svn: 67308
2009-03-20 01:26:29 +08:00
|
|
|
// UnresolvedDeclRefExpr
|
|
|
|
StmtIterator UnresolvedDeclRefExpr::child_begin() {
|
|
|
|
return child_iterator();
|
|
|
|
}
|
|
|
|
|
|
|
|
StmtIterator UnresolvedDeclRefExpr::child_end() {
|
|
|
|
return child_iterator();
|
|
|
|
}
|
|
|
|
|
2009-02-18 07:20:26 +08:00
|
|
|
bool UnaryTypeTraitExpr::EvaluateTrait() const {
|
2009-01-06 04:52:13 +08:00
|
|
|
switch(UTT) {
|
|
|
|
default: assert(false && "Unknown type trait or not implemented");
|
|
|
|
case UTT_IsPOD: return QueriedType->isPODType();
|
|
|
|
case UTT_IsClass: // Fallthrough
|
|
|
|
case UTT_IsUnion:
|
|
|
|
if (const RecordType *Record = QueriedType->getAsRecordType()) {
|
|
|
|
bool Union = Record->getDecl()->isUnion();
|
|
|
|
return UTT == UTT_IsUnion ? Union : !Union;
|
|
|
|
}
|
|
|
|
return false;
|
|
|
|
case UTT_IsEnum: return QueriedType->isEnumeralType();
|
|
|
|
case UTT_IsPolymorphic:
|
|
|
|
if (const RecordType *Record = QueriedType->getAsRecordType()) {
|
|
|
|
// Type traits are only parsed in C++, so we've got CXXRecords.
|
|
|
|
return cast<CXXRecordDecl>(Record->getDecl())->isPolymorphic();
|
|
|
|
}
|
|
|
|
return false;
|
2009-03-22 09:52:17 +08:00
|
|
|
case UTT_IsAbstract:
|
|
|
|
if (const RecordType *RT = QueriedType->getAsRecordType())
|
|
|
|
return cast<CXXRecordDecl>(RT->getDecl())->isAbstract();
|
|
|
|
return false;
|
2009-04-16 08:08:20 +08:00
|
|
|
case UTT_HasTrivialConstructor:
|
|
|
|
if (const RecordType *RT = QueriedType->getAsRecordType())
|
|
|
|
return cast<CXXRecordDecl>(RT->getDecl())->hasTrivialConstructor();
|
2009-04-17 10:34:54 +08:00
|
|
|
return false;
|
|
|
|
case UTT_HasTrivialDestructor:
|
|
|
|
if (const RecordType *RT = QueriedType->getAsRecordType())
|
|
|
|
return cast<CXXRecordDecl>(RT->getDecl())->hasTrivialDestructor();
|
|
|
|
return false;
|
2009-01-06 04:52:13 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2008-11-15 00:09:21 +08:00
|
|
|
SourceRange CXXOperatorCallExpr::getSourceRange() const {
|
|
|
|
OverloadedOperatorKind Kind = getOperator();
|
|
|
|
if (Kind == OO_PlusPlus || Kind == OO_MinusMinus) {
|
|
|
|
if (getNumArgs() == 1)
|
|
|
|
// Prefix operator
|
|
|
|
return SourceRange(getOperatorLoc(),
|
|
|
|
getArg(0)->getSourceRange().getEnd());
|
|
|
|
else
|
|
|
|
// Postfix operator
|
|
|
|
return SourceRange(getArg(0)->getSourceRange().getEnd(),
|
|
|
|
getOperatorLoc());
|
|
|
|
} else if (Kind == OO_Call) {
|
|
|
|
return SourceRange(getArg(0)->getSourceRange().getBegin(), getRParenLoc());
|
|
|
|
} else if (Kind == OO_Subscript) {
|
|
|
|
return SourceRange(getArg(0)->getSourceRange().getBegin(), getRParenLoc());
|
|
|
|
} else if (getNumArgs() == 1) {
|
|
|
|
return SourceRange(getOperatorLoc(), getArg(0)->getSourceRange().getEnd());
|
|
|
|
} else if (getNumArgs() == 2) {
|
|
|
|
return SourceRange(getArg(0)->getSourceRange().getBegin(),
|
|
|
|
getArg(1)->getSourceRange().getEnd());
|
|
|
|
} else {
|
|
|
|
return SourceRange();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2008-12-22 13:46:06 +08:00
|
|
|
Expr *CXXMemberCallExpr::getImplicitObjectArgument() {
|
|
|
|
if (MemberExpr *MemExpr = dyn_cast<MemberExpr>(getCallee()->IgnoreParens()))
|
|
|
|
return MemExpr->getBase();
|
|
|
|
|
|
|
|
// FIXME: Will eventually need to cope with member pointers.
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
2008-10-28 03:41:14 +08:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// Named casts
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
/// getCastName - Get the name of the C++ cast being used, e.g.,
|
|
|
|
/// "static_cast", "dynamic_cast", "reinterpret_cast", or
|
|
|
|
/// "const_cast". The returned pointer must not be freed.
|
|
|
|
const char *CXXNamedCastExpr::getCastName() const {
|
|
|
|
switch (getStmtClass()) {
|
|
|
|
case CXXStaticCastExprClass: return "static_cast";
|
|
|
|
case CXXDynamicCastExprClass: return "dynamic_cast";
|
|
|
|
case CXXReinterpretCastExprClass: return "reinterpret_cast";
|
|
|
|
case CXXConstCastExprClass: return "const_cast";
|
|
|
|
default: return "<invalid cast>";
|
|
|
|
}
|
|
|
|
}
|
2009-01-17 02:33:17 +08:00
|
|
|
|
|
|
|
CXXTemporaryObjectExpr::CXXTemporaryObjectExpr(CXXConstructorDecl *Cons,
|
|
|
|
QualType writtenTy,
|
|
|
|
SourceLocation tyBeginLoc,
|
|
|
|
Expr **Args,
|
|
|
|
unsigned NumArgs,
|
|
|
|
SourceLocation rParenLoc)
|
2009-03-14 05:01:28 +08:00
|
|
|
: Expr(CXXTemporaryObjectExprClass, writtenTy,
|
|
|
|
writtenTy->isDependentType(),
|
|
|
|
(writtenTy->isDependentType() ||
|
|
|
|
CallExpr::hasAnyValueDependentArguments(Args, NumArgs))),
|
2009-01-17 02:33:17 +08:00
|
|
|
TyBeginLoc(tyBeginLoc), RParenLoc(rParenLoc),
|
|
|
|
Constructor(Cons), Args(0), NumArgs(NumArgs) {
|
|
|
|
if (NumArgs > 0) {
|
|
|
|
this->Args = new Stmt*[NumArgs];
|
|
|
|
for (unsigned i = 0; i < NumArgs; ++i)
|
|
|
|
this->Args[i] = Args[i];
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
CXXTemporaryObjectExpr::~CXXTemporaryObjectExpr() {
|
|
|
|
delete [] Args;
|
|
|
|
}
|