2006-12-05 02:06:35 +08:00
|
|
|
//===--- SemaExprCXX.cpp - Semantic Analysis for Expressions --------------===//
|
|
|
|
//
|
|
|
|
// 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.
|
2006-12-05 02:06:35 +08:00
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// This file implements semantic analysis for C++ expressions.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
2009-02-08 04:10:22 +08:00
|
|
|
#include "SemaInherit.h"
|
2006-12-05 02:06:35 +08:00
|
|
|
#include "Sema.h"
|
2007-08-25 22:02:58 +08:00
|
|
|
#include "clang/AST/ASTContext.h"
|
2009-08-27 06:59:12 +08:00
|
|
|
#include "clang/AST/ExprCXX.h"
|
|
|
|
#include "clang/Basic/PartialDiagnostic.h"
|
2008-12-04 04:26:15 +08:00
|
|
|
#include "clang/Basic/TargetInfo.h"
|
2009-08-27 06:59:12 +08:00
|
|
|
#include "clang/Lex/Preprocessor.h"
|
|
|
|
#include "clang/Parse/DeclSpec.h"
|
2008-12-23 08:26:44 +08:00
|
|
|
#include "llvm/ADT/STLExtras.h"
|
2006-12-05 02:06:35 +08:00
|
|
|
using namespace clang;
|
|
|
|
|
2008-11-20 03:09:45 +08:00
|
|
|
/// ActOnCXXConversionFunctionExpr - Parse a C++ conversion function
|
2008-11-18 04:34:05 +08:00
|
|
|
/// name (e.g., operator void const *) as an expression. This is
|
|
|
|
/// very similar to ActOnIdentifierExpr, except that instead of
|
|
|
|
/// providing an identifier the parser provides the type of the
|
|
|
|
/// conversion function.
|
2009-01-19 02:53:16 +08:00
|
|
|
Sema::OwningExprResult
|
2008-11-20 03:09:45 +08:00
|
|
|
Sema::ActOnCXXConversionFunctionExpr(Scope *S, SourceLocation OperatorLoc,
|
|
|
|
TypeTy *Ty, bool HasTrailingLParen,
|
2009-02-04 04:19:35 +08:00
|
|
|
const CXXScopeSpec &SS,
|
|
|
|
bool isAddressOfOperand) {
|
2009-08-19 09:28:28 +08:00
|
|
|
//FIXME: Preserve type source info.
|
|
|
|
QualType ConvType = GetTypeFromParser(Ty);
|
2009-08-05 13:36:45 +08:00
|
|
|
CanQualType ConvTypeCanon = Context.getCanonicalType(ConvType);
|
2008-11-18 04:34:05 +08:00
|
|
|
DeclarationName ConvName
|
|
|
|
= Context.DeclarationNames.getCXXConversionFunctionName(ConvTypeCanon);
|
2009-01-19 02:53:16 +08:00
|
|
|
return ActOnDeclarationNameExpr(S, OperatorLoc, ConvName, HasTrailingLParen,
|
2009-02-04 23:01:18 +08:00
|
|
|
&SS, isAddressOfOperand);
|
2008-11-18 04:34:05 +08:00
|
|
|
}
|
2008-11-11 19:37:55 +08:00
|
|
|
|
2008-11-20 03:09:45 +08:00
|
|
|
/// ActOnCXXOperatorFunctionIdExpr - Parse a C++ overloaded operator
|
Extend DeclarationName to support C++ overloaded operators, e.g.,
operator+, directly, using the same mechanism as all other special
names.
Removed the "special" identifiers for the overloaded operators from
the identifier table and IdentifierInfo data structure. IdentifierInfo
is back to representing only real identifiers.
Added a new Action, ActOnOperatorFunctionIdExpr, that builds an
expression from an parsed operator-function-id (e.g., "operator
+"). ActOnIdentifierExpr used to do this job, but
operator-function-ids are no longer represented by IdentifierInfo's.
Extended Declarator to store overloaded operator names.
Sema::GetNameForDeclarator now knows how to turn the operator
name into a DeclarationName for the overloaded operator.
Except for (perhaps) consolidating the functionality of
ActOnIdentifier, ActOnOperatorFunctionIdExpr, and
ActOnConversionFunctionExpr into a common routine that builds an
appropriate DeclRefExpr by looking up a DeclarationName, all of the
work on normalizing declaration names should be complete with this
commit.
llvm-svn: 59526
2008-11-18 22:39:36 +08:00
|
|
|
/// name (e.g., @c operator+ ) as an expression. This is very
|
|
|
|
/// similar to ActOnIdentifierExpr, except that instead of providing
|
|
|
|
/// an identifier the parser provides the kind of overloaded
|
|
|
|
/// operator that was parsed.
|
2009-01-19 02:53:16 +08:00
|
|
|
Sema::OwningExprResult
|
2008-11-20 03:09:45 +08:00
|
|
|
Sema::ActOnCXXOperatorFunctionIdExpr(Scope *S, SourceLocation OperatorLoc,
|
|
|
|
OverloadedOperatorKind Op,
|
|
|
|
bool HasTrailingLParen,
|
2009-02-04 04:19:35 +08:00
|
|
|
const CXXScopeSpec &SS,
|
|
|
|
bool isAddressOfOperand) {
|
Extend DeclarationName to support C++ overloaded operators, e.g.,
operator+, directly, using the same mechanism as all other special
names.
Removed the "special" identifiers for the overloaded operators from
the identifier table and IdentifierInfo data structure. IdentifierInfo
is back to representing only real identifiers.
Added a new Action, ActOnOperatorFunctionIdExpr, that builds an
expression from an parsed operator-function-id (e.g., "operator
+"). ActOnIdentifierExpr used to do this job, but
operator-function-ids are no longer represented by IdentifierInfo's.
Extended Declarator to store overloaded operator names.
Sema::GetNameForDeclarator now knows how to turn the operator
name into a DeclarationName for the overloaded operator.
Except for (perhaps) consolidating the functionality of
ActOnIdentifier, ActOnOperatorFunctionIdExpr, and
ActOnConversionFunctionExpr into a common routine that builds an
appropriate DeclRefExpr by looking up a DeclarationName, all of the
work on normalizing declaration names should be complete with this
commit.
llvm-svn: 59526
2008-11-18 22:39:36 +08:00
|
|
|
DeclarationName Name = Context.DeclarationNames.getCXXOperatorName(Op);
|
2009-02-04 04:19:35 +08:00
|
|
|
return ActOnDeclarationNameExpr(S, OperatorLoc, Name, HasTrailingLParen, &SS,
|
2009-02-04 23:01:18 +08:00
|
|
|
isAddressOfOperand);
|
Extend DeclarationName to support C++ overloaded operators, e.g.,
operator+, directly, using the same mechanism as all other special
names.
Removed the "special" identifiers for the overloaded operators from
the identifier table and IdentifierInfo data structure. IdentifierInfo
is back to representing only real identifiers.
Added a new Action, ActOnOperatorFunctionIdExpr, that builds an
expression from an parsed operator-function-id (e.g., "operator
+"). ActOnIdentifierExpr used to do this job, but
operator-function-ids are no longer represented by IdentifierInfo's.
Extended Declarator to store overloaded operator names.
Sema::GetNameForDeclarator now knows how to turn the operator
name into a DeclarationName for the overloaded operator.
Except for (perhaps) consolidating the functionality of
ActOnIdentifier, ActOnOperatorFunctionIdExpr, and
ActOnConversionFunctionExpr into a common routine that builds an
appropriate DeclRefExpr by looking up a DeclarationName, all of the
work on normalizing declaration names should be complete with this
commit.
llvm-svn: 59526
2008-11-18 22:39:36 +08:00
|
|
|
}
|
|
|
|
|
2008-11-11 19:37:55 +08:00
|
|
|
/// ActOnCXXTypeidOfType - Parse typeid( type-id ).
|
2009-03-16 01:47:39 +08:00
|
|
|
Action::OwningExprResult
|
2008-11-11 19:37:55 +08:00
|
|
|
Sema::ActOnCXXTypeid(SourceLocation OpLoc, SourceLocation LParenLoc,
|
|
|
|
bool isType, void *TyOrExpr, SourceLocation RParenLoc) {
|
Eliminated LookupCriteria, whose creation was causing a bottleneck for
LookupName et al. Instead, use an enum and a bool to describe its
contents.
Optimized the C/Objective-C path through LookupName, eliminating any
unnecessarily C++isms. Simplify IdentifierResolver::iterator, removing
some code and arguments that are no longer used.
Eliminated LookupDeclInScope/LookupDeclInContext, moving all callers
over to LookupName, LookupQualifiedName, or LookupParsedName, as
appropriate.
All together, I'm seeing a 0.2% speedup on Cocoa.h with PTH and
-disable-free. Plus, we're down to three name-lookup routines.
llvm-svn: 63354
2009-01-30 09:04:22 +08:00
|
|
|
NamespaceDecl *StdNs = GetStdNamespace();
|
2008-11-20 13:51:55 +08:00
|
|
|
if (!StdNs)
|
2009-03-16 01:47:39 +08:00
|
|
|
return ExprError(Diag(OpLoc, diag::err_need_header_before_typeid));
|
2009-08-19 09:28:28 +08:00
|
|
|
|
|
|
|
if (isType)
|
|
|
|
// FIXME: Preserve type source info.
|
|
|
|
TyOrExpr = GetTypeFromParser(TyOrExpr).getAsOpaquePtr();
|
|
|
|
|
2008-11-20 13:51:55 +08:00
|
|
|
IdentifierInfo *TypeInfoII = &PP.getIdentifierTable().get("type_info");
|
Eliminated LookupCriteria, whose creation was causing a bottleneck for
LookupName et al. Instead, use an enum and a bool to describe its
contents.
Optimized the C/Objective-C path through LookupName, eliminating any
unnecessarily C++isms. Simplify IdentifierResolver::iterator, removing
some code and arguments that are no longer used.
Eliminated LookupDeclInScope/LookupDeclInContext, moving all callers
over to LookupName, LookupQualifiedName, or LookupParsedName, as
appropriate.
All together, I'm seeing a 0.2% speedup on Cocoa.h with PTH and
-disable-free. Plus, we're down to three name-lookup routines.
llvm-svn: 63354
2009-01-30 09:04:22 +08:00
|
|
|
Decl *TypeInfoDecl = LookupQualifiedName(StdNs, TypeInfoII, LookupTagName);
|
2008-11-11 19:37:55 +08:00
|
|
|
RecordDecl *TypeInfoRecordDecl = dyn_cast_or_null<RecordDecl>(TypeInfoDecl);
|
2008-11-20 13:51:55 +08:00
|
|
|
if (!TypeInfoRecordDecl)
|
2009-03-16 01:47:39 +08:00
|
|
|
return ExprError(Diag(OpLoc, diag::err_need_header_before_typeid));
|
2008-11-11 19:37:55 +08:00
|
|
|
|
|
|
|
QualType TypeInfoType = Context.getTypeDeclType(TypeInfoRecordDecl);
|
|
|
|
|
2009-06-23 04:57:11 +08:00
|
|
|
if (!isType) {
|
|
|
|
// C++0x [expr.typeid]p3:
|
|
|
|
// When typeid is applied to an expression other than an lvalue of a
|
|
|
|
// polymorphic class type [...] [the] expression is an unevaluated
|
|
|
|
// operand.
|
|
|
|
|
|
|
|
// FIXME: if the type of the expression is a class type, the class
|
|
|
|
// shall be completely defined.
|
|
|
|
bool isUnevaluatedOperand = true;
|
|
|
|
Expr *E = static_cast<Expr *>(TyOrExpr);
|
|
|
|
if (E && !E->isTypeDependent() && E->isLvalue(Context) == Expr::LV_Valid) {
|
|
|
|
QualType T = E->getType();
|
2009-07-30 05:53:49 +08:00
|
|
|
if (const RecordType *RecordT = T->getAs<RecordType>()) {
|
2009-06-23 04:57:11 +08:00
|
|
|
CXXRecordDecl *RecordD = cast<CXXRecordDecl>(RecordT->getDecl());
|
|
|
|
if (RecordD->isPolymorphic())
|
|
|
|
isUnevaluatedOperand = false;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// If this is an unevaluated operand, clear out the set of declaration
|
|
|
|
// references we have been computing.
|
|
|
|
if (isUnevaluatedOperand)
|
|
|
|
PotentiallyReferencedDeclStack.back().clear();
|
|
|
|
}
|
|
|
|
|
2009-03-16 01:47:39 +08:00
|
|
|
return Owned(new (Context) CXXTypeidExpr(isType, TyOrExpr,
|
|
|
|
TypeInfoType.withConst(),
|
|
|
|
SourceRange(OpLoc, RParenLoc)));
|
2008-11-11 19:37:55 +08:00
|
|
|
}
|
|
|
|
|
2007-09-16 22:56:35 +08:00
|
|
|
/// ActOnCXXBoolLiteral - Parse {true,false} literals.
|
2009-03-16 01:47:39 +08:00
|
|
|
Action::OwningExprResult
|
2007-09-16 22:56:35 +08:00
|
|
|
Sema::ActOnCXXBoolLiteral(SourceLocation OpLoc, tok::TokenKind Kind) {
|
2008-10-24 23:36:09 +08:00
|
|
|
assert((Kind == tok::kw_true || Kind == tok::kw_false) &&
|
2007-02-14 04:09:46 +08:00
|
|
|
"Unknown C++ Boolean value!");
|
2009-03-16 01:47:39 +08:00
|
|
|
return Owned(new (Context) CXXBoolLiteralExpr(Kind == tok::kw_true,
|
|
|
|
Context.BoolTy, OpLoc));
|
2007-02-13 09:51:42 +08:00
|
|
|
}
|
2008-02-26 08:51:44 +08:00
|
|
|
|
2009-05-11 02:38:11 +08:00
|
|
|
/// ActOnCXXNullPtrLiteral - Parse 'nullptr'.
|
|
|
|
Action::OwningExprResult
|
|
|
|
Sema::ActOnCXXNullPtrLiteral(SourceLocation Loc) {
|
|
|
|
return Owned(new (Context) CXXNullPtrLiteralExpr(Context.NullPtrTy, Loc));
|
|
|
|
}
|
|
|
|
|
2008-02-26 08:51:44 +08:00
|
|
|
/// ActOnCXXThrow - Parse throw expressions.
|
2009-03-16 01:47:39 +08:00
|
|
|
Action::OwningExprResult
|
|
|
|
Sema::ActOnCXXThrow(SourceLocation OpLoc, ExprArg E) {
|
2009-04-28 04:27:31 +08:00
|
|
|
Expr *Ex = E.takeAs<Expr>();
|
|
|
|
if (Ex && !Ex->isTypeDependent() && CheckCXXThrowOperand(OpLoc, Ex))
|
|
|
|
return ExprError();
|
|
|
|
return Owned(new (Context) CXXThrowExpr(Ex, Context.VoidTy, OpLoc));
|
|
|
|
}
|
|
|
|
|
|
|
|
/// CheckCXXThrowOperand - Validate the operand of a throw.
|
|
|
|
bool Sema::CheckCXXThrowOperand(SourceLocation ThrowLoc, Expr *&E) {
|
|
|
|
// C++ [except.throw]p3:
|
|
|
|
// [...] adjusting the type from "array of T" or "function returning T"
|
|
|
|
// to "pointer to T" or "pointer to function returning T", [...]
|
|
|
|
DefaultFunctionArrayConversion(E);
|
|
|
|
|
|
|
|
// If the type of the exception would be an incomplete type or a pointer
|
|
|
|
// to an incomplete type other than (cv) void the program is ill-formed.
|
|
|
|
QualType Ty = E->getType();
|
|
|
|
int isPointer = 0;
|
2009-07-30 05:53:49 +08:00
|
|
|
if (const PointerType* Ptr = Ty->getAs<PointerType>()) {
|
2009-04-28 04:27:31 +08:00
|
|
|
Ty = Ptr->getPointeeType();
|
|
|
|
isPointer = 1;
|
|
|
|
}
|
|
|
|
if (!isPointer || !Ty->isVoidType()) {
|
|
|
|
if (RequireCompleteType(ThrowLoc, Ty,
|
2009-08-27 06:59:12 +08:00
|
|
|
PDiag(isPointer ? diag::err_throw_incomplete_ptr
|
|
|
|
: diag::err_throw_incomplete)
|
|
|
|
<< E->getSourceRange()))
|
2009-04-28 04:27:31 +08:00
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
// FIXME: Construct a temporary here.
|
|
|
|
return false;
|
2008-02-26 08:51:44 +08:00
|
|
|
}
|
2008-07-01 18:37:29 +08:00
|
|
|
|
2009-03-16 01:47:39 +08:00
|
|
|
Action::OwningExprResult Sema::ActOnCXXThis(SourceLocation ThisLoc) {
|
2008-07-01 18:37:29 +08:00
|
|
|
/// C++ 9.3.2: In the body of a non-static member function, the keyword this
|
|
|
|
/// is a non-lvalue expression whose value is the address of the object for
|
|
|
|
/// which the function is called.
|
|
|
|
|
2009-03-16 01:47:39 +08:00
|
|
|
if (!isa<FunctionDecl>(CurContext))
|
|
|
|
return ExprError(Diag(ThisLoc, diag::err_invalid_this_use));
|
2008-07-01 18:37:29 +08:00
|
|
|
|
|
|
|
if (CXXMethodDecl *MD = dyn_cast<CXXMethodDecl>(CurContext))
|
|
|
|
if (MD->isInstance())
|
2009-03-16 01:47:39 +08:00
|
|
|
return Owned(new (Context) CXXThisExpr(ThisLoc,
|
|
|
|
MD->getThisType(Context)));
|
2008-07-01 18:37:29 +08:00
|
|
|
|
2009-03-16 01:47:39 +08:00
|
|
|
return ExprError(Diag(ThisLoc, diag::err_invalid_this_use));
|
2008-07-01 18:37:29 +08:00
|
|
|
}
|
2008-08-22 23:38:55 +08:00
|
|
|
|
|
|
|
/// ActOnCXXTypeConstructExpr - Parse construction of a specified type.
|
|
|
|
/// Can be interpreted either as function-style casting ("int(x)")
|
|
|
|
/// or class type construction ("ClassType(x,y,z)")
|
|
|
|
/// or creation of a value-initialized type ("int()").
|
2009-03-16 01:47:39 +08:00
|
|
|
Action::OwningExprResult
|
2008-08-22 23:38:55 +08:00
|
|
|
Sema::ActOnCXXTypeConstructExpr(SourceRange TypeRange, TypeTy *TypeRep,
|
|
|
|
SourceLocation LParenLoc,
|
2009-03-16 01:47:39 +08:00
|
|
|
MultiExprArg exprs,
|
2008-08-22 23:38:55 +08:00
|
|
|
SourceLocation *CommaLocs,
|
|
|
|
SourceLocation RParenLoc) {
|
|
|
|
assert(TypeRep && "Missing type!");
|
2009-08-19 09:28:28 +08:00
|
|
|
// FIXME: Preserve type source info.
|
|
|
|
QualType Ty = GetTypeFromParser(TypeRep);
|
2009-03-16 01:47:39 +08:00
|
|
|
unsigned NumExprs = exprs.size();
|
|
|
|
Expr **Exprs = (Expr**)exprs.get();
|
2008-08-22 23:38:55 +08:00
|
|
|
SourceLocation TyBeginLoc = TypeRange.getBegin();
|
|
|
|
SourceRange FullRange = SourceRange(TyBeginLoc, RParenLoc);
|
|
|
|
|
2009-03-16 01:47:39 +08:00
|
|
|
if (Ty->isDependentType() ||
|
2009-03-14 05:01:28 +08:00
|
|
|
CallExpr::hasAnyTypeDependentArguments(Exprs, NumExprs)) {
|
2009-03-16 01:47:39 +08:00
|
|
|
exprs.release();
|
2009-04-24 13:23:13 +08:00
|
|
|
|
Introduce a new expression type, CXXUnresolvedConstructExpr, to
describe the construction of a value of a given type using function
syntax, e.g.,
T(a1, a2, ..., aN)
when the type or any of its arguments are type-dependent. In this
case, we don't know what kind of type-construction this will be: it
might construct a temporary of type 'T' (which might be a class or
non-class type) or might perform a conversion to type 'T'. Also,
implement printing of and template instantiation for this new
expression type. Due to the change in Sema::ActOnCXXTypeConstructExpr,
our existing tests cover template instantiation of this new expression
node.
llvm-svn: 72176
2009-05-21 02:46:25 +08:00
|
|
|
return Owned(CXXUnresolvedConstructExpr::Create(Context,
|
|
|
|
TypeRange.getBegin(), Ty,
|
|
|
|
LParenLoc,
|
|
|
|
Exprs, NumExprs,
|
|
|
|
RParenLoc));
|
2009-03-14 05:01:28 +08:00
|
|
|
}
|
|
|
|
|
2009-08-27 11:53:50 +08:00
|
|
|
if (Ty->isArrayType())
|
|
|
|
return ExprError(Diag(TyBeginLoc,
|
|
|
|
diag::err_value_init_for_array_type) << FullRange);
|
|
|
|
if (!Ty->isVoidType() &&
|
|
|
|
RequireCompleteType(TyBeginLoc, Ty,
|
|
|
|
PDiag(diag::err_invalid_incomplete_type_use)
|
|
|
|
<< FullRange))
|
|
|
|
return ExprError();
|
|
|
|
|
|
|
|
if (RequireNonAbstractType(TyBeginLoc, Ty,
|
|
|
|
diag::err_allocation_of_abstract_type))
|
|
|
|
return ExprError();
|
|
|
|
|
|
|
|
|
2009-01-17 02:33:17 +08:00
|
|
|
// C++ [expr.type.conv]p1:
|
2008-08-22 23:38:55 +08:00
|
|
|
// If the expression list is a single expression, the type conversion
|
|
|
|
// expression is equivalent (in definedness, and if defined in meaning) to the
|
|
|
|
// corresponding cast expression.
|
|
|
|
//
|
|
|
|
if (NumExprs == 1) {
|
2009-08-08 06:21:05 +08:00
|
|
|
CastExpr::CastKind Kind = CastExpr::CK_Unknown;
|
2009-08-27 02:55:36 +08:00
|
|
|
CXXMethodDecl *ConversionDecl = 0;
|
|
|
|
if (CheckCastTypes(TypeRange, Ty, Exprs[0], Kind, ConversionDecl,
|
|
|
|
/*functional-style*/true))
|
2009-03-16 01:47:39 +08:00
|
|
|
return ExprError();
|
2009-08-28 23:11:24 +08:00
|
|
|
// We done't build this AST for X(i) where we are constructing an object.
|
|
|
|
if (!ConversionDecl || !isa<CXXConstructorDecl>(ConversionDecl)) {
|
|
|
|
exprs.release();
|
|
|
|
return Owned(new (Context) CXXFunctionalCastExpr(Ty.getNonReferenceType(),
|
2009-08-27 04:34:58 +08:00
|
|
|
Ty, TyBeginLoc,
|
|
|
|
CastExpr::CK_UserDefinedConversion,
|
|
|
|
Exprs[0], ConversionDecl,
|
|
|
|
RParenLoc));
|
2009-08-28 23:11:24 +08:00
|
|
|
}
|
2008-08-22 23:38:55 +08:00
|
|
|
}
|
|
|
|
|
2009-07-30 05:53:49 +08:00
|
|
|
if (const RecordType *RT = Ty->getAs<RecordType>()) {
|
2009-01-17 02:33:17 +08:00
|
|
|
CXXRecordDecl *Record = cast<CXXRecordDecl>(RT->getDecl());
|
2009-03-16 01:47:39 +08:00
|
|
|
|
2009-08-27 13:08:22 +08:00
|
|
|
if (NumExprs > 1 || !Record->hasTrivialConstructor() ||
|
|
|
|
!Record->hasTrivialDestructor()) {
|
2009-01-17 02:33:17 +08:00
|
|
|
CXXConstructorDecl *Constructor
|
|
|
|
= PerformInitializationByConstructor(Ty, Exprs, NumExprs,
|
|
|
|
TypeRange.getBegin(),
|
|
|
|
SourceRange(TypeRange.getBegin(),
|
|
|
|
RParenLoc),
|
|
|
|
DeclarationName(),
|
|
|
|
IK_Direct);
|
2009-03-16 01:47:39 +08:00
|
|
|
|
2009-01-17 02:33:17 +08:00
|
|
|
if (!Constructor)
|
2009-03-16 01:47:39 +08:00
|
|
|
return ExprError();
|
2009-01-17 02:33:17 +08:00
|
|
|
|
2009-08-27 13:08:22 +08:00
|
|
|
OwningExprResult Result =
|
|
|
|
BuildCXXTemporaryObjectExpr(Constructor, Ty, TyBeginLoc,
|
|
|
|
move(exprs), RParenLoc);
|
|
|
|
if (Result.isInvalid())
|
|
|
|
return ExprError();
|
|
|
|
|
|
|
|
return MaybeBindToTemporary(Result.takeAs<Expr>());
|
2009-01-17 02:33:17 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
// Fall through to value-initialize an object of class type that
|
|
|
|
// doesn't have a user-declared default constructor.
|
|
|
|
}
|
|
|
|
|
|
|
|
// C++ [expr.type.conv]p1:
|
2008-08-22 23:38:55 +08:00
|
|
|
// If the expression list specifies more than a single value, the type shall
|
|
|
|
// be a class with a suitably declared constructor.
|
|
|
|
//
|
|
|
|
if (NumExprs > 1)
|
2009-03-16 01:47:39 +08:00
|
|
|
return ExprError(Diag(CommaLocs[0],
|
|
|
|
diag::err_builtin_func_cast_more_than_one_arg)
|
|
|
|
<< FullRange);
|
2008-08-22 23:38:55 +08:00
|
|
|
|
|
|
|
assert(NumExprs == 0 && "Expected 0 expressions");
|
|
|
|
|
2009-01-17 02:33:17 +08:00
|
|
|
// C++ [expr.type.conv]p2:
|
2008-08-22 23:38:55 +08:00
|
|
|
// The expression T(), where T is a simple-type-specifier for a non-array
|
|
|
|
// complete object type or the (possibly cv-qualified) void type, creates an
|
|
|
|
// rvalue of the specified type, which is value-initialized.
|
|
|
|
//
|
2009-03-16 01:47:39 +08:00
|
|
|
exprs.release();
|
|
|
|
return Owned(new (Context) CXXZeroInitValueExpr(Ty, TyBeginLoc, RParenLoc));
|
2008-08-22 23:38:55 +08:00
|
|
|
}
|
2008-09-10 10:17:11 +08:00
|
|
|
|
|
|
|
|
2008-11-22 03:14:01 +08:00
|
|
|
/// ActOnCXXNew - Parsed a C++ 'new' expression (C++ 5.3.4), as in e.g.:
|
|
|
|
/// @code new (memory) int[size][4] @endcode
|
|
|
|
/// or
|
|
|
|
/// @code ::new Foo(23, "hello") @endcode
|
|
|
|
/// For the interpretation of this heap of arguments, consult the base version.
|
2009-03-16 01:47:39 +08:00
|
|
|
Action::OwningExprResult
|
2008-11-22 03:14:01 +08:00
|
|
|
Sema::ActOnCXXNew(SourceLocation StartLoc, bool UseGlobal,
|
2009-03-16 01:47:39 +08:00
|
|
|
SourceLocation PlacementLParen, MultiExprArg PlacementArgs,
|
2008-11-22 03:14:01 +08:00
|
|
|
SourceLocation PlacementRParen, bool ParenTypeId,
|
2008-12-02 22:43:59 +08:00
|
|
|
Declarator &D, SourceLocation ConstructorLParen,
|
2009-03-16 01:47:39 +08:00
|
|
|
MultiExprArg ConstructorArgs,
|
2008-11-22 03:14:01 +08:00
|
|
|
SourceLocation ConstructorRParen)
|
|
|
|
{
|
2008-12-02 22:43:59 +08:00
|
|
|
Expr *ArraySize = 0;
|
|
|
|
unsigned Skip = 0;
|
|
|
|
// If the specified type is an array, unwrap it and save the expression.
|
|
|
|
if (D.getNumTypeObjects() > 0 &&
|
|
|
|
D.getTypeObject(0).Kind == DeclaratorChunk::Array) {
|
|
|
|
DeclaratorChunk &Chunk = D.getTypeObject(0);
|
|
|
|
if (Chunk.Arr.hasStatic)
|
2009-03-16 01:47:39 +08:00
|
|
|
return ExprError(Diag(Chunk.Loc, diag::err_static_illegal_in_new)
|
|
|
|
<< D.getSourceRange());
|
2008-12-02 22:43:59 +08:00
|
|
|
if (!Chunk.Arr.NumElts)
|
2009-03-16 01:47:39 +08:00
|
|
|
return ExprError(Diag(Chunk.Loc, diag::err_array_new_needs_size)
|
|
|
|
<< D.getSourceRange());
|
2008-12-02 22:43:59 +08:00
|
|
|
ArraySize = static_cast<Expr*>(Chunk.Arr.NumElts);
|
|
|
|
Skip = 1;
|
|
|
|
}
|
|
|
|
|
2009-08-19 09:27:57 +08:00
|
|
|
//FIXME: Store DeclaratorInfo in CXXNew expression.
|
|
|
|
DeclaratorInfo *DInfo = 0;
|
|
|
|
QualType AllocType = GetTypeForDeclarator(D, /*Scope=*/0, &DInfo, Skip);
|
2009-04-25 16:06:05 +08:00
|
|
|
if (D.isInvalidType())
|
2009-03-16 01:47:39 +08:00
|
|
|
return ExprError();
|
2008-12-02 22:43:59 +08:00
|
|
|
|
2009-05-21 08:00:09 +08:00
|
|
|
// Every dimension shall be of constant size.
|
|
|
|
unsigned i = 1;
|
|
|
|
QualType ElementType = AllocType;
|
|
|
|
while (const ArrayType *Array = Context.getAsArrayType(ElementType)) {
|
|
|
|
if (!Array->isConstantArrayType()) {
|
|
|
|
Diag(D.getTypeObject(i).Loc, diag::err_new_array_nonconst)
|
|
|
|
<< static_cast<Expr*>(D.getTypeObject(i).Arr.NumElts)->getSourceRange();
|
|
|
|
return ExprError();
|
|
|
|
}
|
|
|
|
ElementType = Array->getElementType();
|
|
|
|
++i;
|
|
|
|
}
|
|
|
|
|
|
|
|
return BuildCXXNew(StartLoc, UseGlobal,
|
|
|
|
PlacementLParen,
|
|
|
|
move(PlacementArgs),
|
|
|
|
PlacementRParen,
|
|
|
|
ParenTypeId,
|
|
|
|
AllocType,
|
|
|
|
D.getSourceRange().getBegin(),
|
|
|
|
D.getSourceRange(),
|
|
|
|
Owned(ArraySize),
|
|
|
|
ConstructorLParen,
|
|
|
|
move(ConstructorArgs),
|
|
|
|
ConstructorRParen);
|
|
|
|
}
|
|
|
|
|
|
|
|
Sema::OwningExprResult
|
|
|
|
Sema::BuildCXXNew(SourceLocation StartLoc, bool UseGlobal,
|
|
|
|
SourceLocation PlacementLParen,
|
|
|
|
MultiExprArg PlacementArgs,
|
|
|
|
SourceLocation PlacementRParen,
|
|
|
|
bool ParenTypeId,
|
|
|
|
QualType AllocType,
|
|
|
|
SourceLocation TypeLoc,
|
|
|
|
SourceRange TypeRange,
|
|
|
|
ExprArg ArraySizeE,
|
|
|
|
SourceLocation ConstructorLParen,
|
|
|
|
MultiExprArg ConstructorArgs,
|
|
|
|
SourceLocation ConstructorRParen) {
|
|
|
|
if (CheckAllocatedType(AllocType, TypeLoc, TypeRange))
|
2009-03-16 01:47:39 +08:00
|
|
|
return ExprError();
|
2008-11-22 03:14:01 +08:00
|
|
|
|
2009-05-21 08:00:09 +08:00
|
|
|
QualType ResultType = Context.getPointerType(AllocType);
|
2008-11-22 03:14:01 +08:00
|
|
|
|
|
|
|
// That every array dimension except the first is constant was already
|
|
|
|
// checked by the type check above.
|
2008-12-02 22:43:59 +08:00
|
|
|
|
2008-11-22 03:14:01 +08:00
|
|
|
// C++ 5.3.4p6: "The expression in a direct-new-declarator shall have integral
|
|
|
|
// or enumeration type with a non-negative value."
|
2009-05-21 08:00:09 +08:00
|
|
|
Expr *ArraySize = (Expr *)ArraySizeE.get();
|
2009-02-26 22:39:58 +08:00
|
|
|
if (ArraySize && !ArraySize->isTypeDependent()) {
|
2008-12-02 22:43:59 +08:00
|
|
|
QualType SizeType = ArraySize->getType();
|
|
|
|
if (!SizeType->isIntegralType() && !SizeType->isEnumeralType())
|
2009-03-16 01:47:39 +08:00
|
|
|
return ExprError(Diag(ArraySize->getSourceRange().getBegin(),
|
|
|
|
diag::err_array_size_not_integral)
|
|
|
|
<< SizeType << ArraySize->getSourceRange());
|
2008-12-02 22:43:59 +08:00
|
|
|
// Let's see if this is a constant < 0. If so, we reject it out of hand.
|
|
|
|
// We don't care about special rules, so we tell the machinery it's not
|
|
|
|
// evaluated - it gives us a result in more cases.
|
2009-02-26 22:39:58 +08:00
|
|
|
if (!ArraySize->isValueDependent()) {
|
|
|
|
llvm::APSInt Value;
|
|
|
|
if (ArraySize->isIntegerConstantExpr(Value, Context, 0, false)) {
|
|
|
|
if (Value < llvm::APSInt(
|
|
|
|
llvm::APInt::getNullValue(Value.getBitWidth()), false))
|
2009-03-16 01:47:39 +08:00
|
|
|
return ExprError(Diag(ArraySize->getSourceRange().getBegin(),
|
|
|
|
diag::err_typecheck_negative_array_size)
|
|
|
|
<< ArraySize->getSourceRange());
|
2009-02-26 22:39:58 +08:00
|
|
|
}
|
2008-12-02 22:43:59 +08:00
|
|
|
}
|
|
|
|
}
|
2008-11-22 03:14:01 +08:00
|
|
|
|
|
|
|
FunctionDecl *OperatorNew = 0;
|
|
|
|
FunctionDecl *OperatorDelete = 0;
|
2009-03-16 01:47:39 +08:00
|
|
|
Expr **PlaceArgs = (Expr**)PlacementArgs.get();
|
|
|
|
unsigned NumPlaceArgs = PlacementArgs.size();
|
2009-02-26 22:39:58 +08:00
|
|
|
if (!AllocType->isDependentType() &&
|
|
|
|
!Expr::hasAnyTypeDependentArguments(PlaceArgs, NumPlaceArgs) &&
|
|
|
|
FindAllocationFunctions(StartLoc,
|
2009-02-10 02:24:27 +08:00
|
|
|
SourceRange(PlacementLParen, PlacementRParen),
|
|
|
|
UseGlobal, AllocType, ArraySize, PlaceArgs,
|
|
|
|
NumPlaceArgs, OperatorNew, OperatorDelete))
|
2009-03-16 01:47:39 +08:00
|
|
|
return ExprError();
|
2008-11-22 03:14:01 +08:00
|
|
|
|
|
|
|
bool Init = ConstructorLParen.isValid();
|
|
|
|
// --- Choosing a constructor ---
|
|
|
|
// C++ 5.3.4p15
|
|
|
|
// 1) If T is a POD and there's no initializer (ConstructorLParen is invalid)
|
|
|
|
// the object is not initialized. If the object, or any part of it, is
|
|
|
|
// const-qualified, it's an error.
|
|
|
|
// 2) If T is a POD and there's an empty initializer, the object is value-
|
|
|
|
// initialized.
|
|
|
|
// 3) If T is a POD and there's one initializer argument, the object is copy-
|
|
|
|
// constructed.
|
|
|
|
// 4) If T is a POD and there's more initializer arguments, it's an error.
|
|
|
|
// 5) If T is not a POD, the initializer arguments are used as constructor
|
|
|
|
// arguments.
|
|
|
|
//
|
|
|
|
// Or by the C++0x formulation:
|
|
|
|
// 1) If there's no initializer, the object is default-initialized according
|
|
|
|
// to C++0x rules.
|
|
|
|
// 2) Otherwise, the object is direct-initialized.
|
|
|
|
CXXConstructorDecl *Constructor = 0;
|
2009-03-16 01:47:39 +08:00
|
|
|
Expr **ConsArgs = (Expr**)ConstructorArgs.get();
|
2009-05-08 00:14:23 +08:00
|
|
|
const RecordType *RT;
|
2009-03-16 01:47:39 +08:00
|
|
|
unsigned NumConsArgs = ConstructorArgs.size();
|
2009-02-26 22:39:58 +08:00
|
|
|
if (AllocType->isDependentType()) {
|
|
|
|
// Skip all the checks.
|
2009-08-05 05:02:39 +08:00
|
|
|
} else if ((RT = AllocType->getAs<RecordType>()) &&
|
|
|
|
!AllocType->isAggregateType()) {
|
2008-11-22 03:14:01 +08:00
|
|
|
Constructor = PerformInitializationByConstructor(
|
2008-12-02 22:43:59 +08:00
|
|
|
AllocType, ConsArgs, NumConsArgs,
|
2009-05-21 08:00:09 +08:00
|
|
|
TypeLoc,
|
|
|
|
SourceRange(TypeLoc, ConstructorRParen),
|
2008-11-24 13:29:24 +08:00
|
|
|
RT->getDecl()->getDeclName(),
|
2008-11-22 03:14:01 +08:00
|
|
|
NumConsArgs != 0 ? IK_Direct : IK_Default);
|
|
|
|
if (!Constructor)
|
2009-03-16 01:47:39 +08:00
|
|
|
return ExprError();
|
2008-11-22 03:14:01 +08:00
|
|
|
} else {
|
|
|
|
if (!Init) {
|
|
|
|
// FIXME: Check that no subpart is const.
|
2009-03-16 01:47:39 +08:00
|
|
|
if (AllocType.isConstQualified())
|
|
|
|
return ExprError(Diag(StartLoc, diag::err_new_uninitialized_const)
|
2009-05-21 08:00:09 +08:00
|
|
|
<< TypeRange);
|
2008-11-22 03:14:01 +08:00
|
|
|
} else if (NumConsArgs == 0) {
|
|
|
|
// Object is value-initialized. Do nothing.
|
|
|
|
} else if (NumConsArgs == 1) {
|
|
|
|
// Object is direct-initialized.
|
2009-05-08 00:14:23 +08:00
|
|
|
// FIXME: What DeclarationName do we pass in here?
|
2008-12-02 22:43:59 +08:00
|
|
|
if (CheckInitializerTypes(ConsArgs[0], AllocType, StartLoc,
|
2009-01-14 23:45:31 +08:00
|
|
|
DeclarationName() /*AllocType.getAsString()*/,
|
|
|
|
/*DirectInit=*/true))
|
2009-03-16 01:47:39 +08:00
|
|
|
return ExprError();
|
2008-11-22 03:14:01 +08:00
|
|
|
} else {
|
2009-03-16 01:47:39 +08:00
|
|
|
return ExprError(Diag(StartLoc,
|
|
|
|
diag::err_builtin_direct_init_more_than_one_arg)
|
|
|
|
<< SourceRange(ConstructorLParen, ConstructorRParen));
|
2008-11-22 03:14:01 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// FIXME: Also check that the destructor is accessible. (C++ 5.3.4p16)
|
|
|
|
|
2009-03-16 01:47:39 +08:00
|
|
|
PlacementArgs.release();
|
|
|
|
ConstructorArgs.release();
|
2009-05-21 08:00:09 +08:00
|
|
|
ArraySizeE.release();
|
2009-03-16 01:47:39 +08:00
|
|
|
return Owned(new (Context) CXXNewExpr(UseGlobal, OperatorNew, PlaceArgs,
|
2009-02-07 09:47:29 +08:00
|
|
|
NumPlaceArgs, ParenTypeId, ArraySize, Constructor, Init,
|
2008-11-22 03:14:01 +08:00
|
|
|
ConsArgs, NumConsArgs, OperatorDelete, ResultType,
|
2009-05-21 08:00:09 +08:00
|
|
|
StartLoc, Init ? ConstructorRParen : SourceLocation()));
|
2008-11-22 03:14:01 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
/// CheckAllocatedType - Checks that a type is suitable as the allocated type
|
|
|
|
/// in a new-expression.
|
|
|
|
/// dimension off and stores the size expression in ArraySize.
|
2009-05-21 08:00:09 +08:00
|
|
|
bool Sema::CheckAllocatedType(QualType AllocType, SourceLocation Loc,
|
|
|
|
SourceRange R)
|
2008-11-22 03:14:01 +08:00
|
|
|
{
|
|
|
|
// C++ 5.3.4p1: "[The] type shall be a complete object type, but not an
|
|
|
|
// abstract class type or array thereof.
|
2009-03-25 03:52:54 +08:00
|
|
|
if (AllocType->isFunctionType())
|
2009-05-21 08:00:09 +08:00
|
|
|
return Diag(Loc, diag::err_bad_new_type)
|
|
|
|
<< AllocType << 0 << R;
|
2009-03-25 03:52:54 +08:00
|
|
|
else if (AllocType->isReferenceType())
|
2009-05-21 08:00:09 +08:00
|
|
|
return Diag(Loc, diag::err_bad_new_type)
|
|
|
|
<< AllocType << 1 << R;
|
2009-03-25 03:52:54 +08:00
|
|
|
else if (!AllocType->isDependentType() &&
|
2009-05-21 08:00:09 +08:00
|
|
|
RequireCompleteType(Loc, AllocType,
|
2009-08-27 07:45:07 +08:00
|
|
|
PDiag(diag::err_new_incomplete_type)
|
|
|
|
<< R))
|
2009-03-25 03:52:54 +08:00
|
|
|
return true;
|
2009-05-21 08:00:09 +08:00
|
|
|
else if (RequireNonAbstractType(Loc, AllocType,
|
2009-03-25 03:52:54 +08:00
|
|
|
diag::err_allocation_of_abstract_type))
|
2008-11-22 03:14:01 +08:00
|
|
|
return true;
|
|
|
|
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2008-12-04 04:26:15 +08:00
|
|
|
/// FindAllocationFunctions - Finds the overloads of operator new and delete
|
|
|
|
/// that are appropriate for the allocation.
|
2009-02-10 02:24:27 +08:00
|
|
|
bool Sema::FindAllocationFunctions(SourceLocation StartLoc, SourceRange Range,
|
|
|
|
bool UseGlobal, QualType AllocType,
|
|
|
|
bool IsArray, Expr **PlaceArgs,
|
|
|
|
unsigned NumPlaceArgs,
|
2008-12-04 04:26:15 +08:00
|
|
|
FunctionDecl *&OperatorNew,
|
|
|
|
FunctionDecl *&OperatorDelete)
|
|
|
|
{
|
|
|
|
// --- Choosing an allocation function ---
|
|
|
|
// C++ 5.3.4p8 - 14 & 18
|
|
|
|
// 1) If UseGlobal is true, only look in the global scope. Else, also look
|
|
|
|
// in the scope of the allocated class.
|
|
|
|
// 2) If an array size is given, look for operator new[], else look for
|
|
|
|
// operator new.
|
|
|
|
// 3) The first argument is always size_t. Append the arguments from the
|
|
|
|
// placement form.
|
|
|
|
// FIXME: Also find the appropriate delete operator.
|
|
|
|
|
|
|
|
llvm::SmallVector<Expr*, 8> AllocArgs(1 + NumPlaceArgs);
|
|
|
|
// We don't care about the actual value of this argument.
|
|
|
|
// FIXME: Should the Sema create the expression and embed it in the syntax
|
|
|
|
// tree? Or should the consumer just recalculate the value?
|
2009-08-17 04:29:29 +08:00
|
|
|
IntegerLiteral Size(llvm::APInt::getNullValue(
|
|
|
|
Context.Target.getPointerWidth(0)),
|
|
|
|
Context.getSizeType(),
|
|
|
|
SourceLocation());
|
|
|
|
AllocArgs[0] = &Size;
|
2008-12-04 04:26:15 +08:00
|
|
|
std::copy(PlaceArgs, PlaceArgs + NumPlaceArgs, AllocArgs.begin() + 1);
|
|
|
|
|
|
|
|
DeclarationName NewName = Context.DeclarationNames.getCXXOperatorName(
|
|
|
|
IsArray ? OO_Array_New : OO_New);
|
|
|
|
if (AllocType->isRecordType() && !UseGlobal) {
|
2009-02-28 09:32:25 +08:00
|
|
|
CXXRecordDecl *Record
|
2009-07-30 05:53:49 +08:00
|
|
|
= cast<CXXRecordDecl>(AllocType->getAs<RecordType>()->getDecl());
|
2008-12-05 06:20:51 +08:00
|
|
|
// FIXME: We fail to find inherited overloads.
|
2009-02-10 02:24:27 +08:00
|
|
|
if (FindAllocationOverload(StartLoc, Range, NewName, &AllocArgs[0],
|
2008-12-05 06:20:51 +08:00
|
|
|
AllocArgs.size(), Record, /*AllowMissing=*/true,
|
|
|
|
OperatorNew))
|
2008-12-04 04:26:15 +08:00
|
|
|
return true;
|
|
|
|
}
|
|
|
|
if (!OperatorNew) {
|
|
|
|
// Didn't find a member overload. Look for a global one.
|
|
|
|
DeclareGlobalNewDelete();
|
2008-12-05 06:20:51 +08:00
|
|
|
DeclContext *TUDecl = Context.getTranslationUnitDecl();
|
2009-02-10 02:24:27 +08:00
|
|
|
if (FindAllocationOverload(StartLoc, Range, NewName, &AllocArgs[0],
|
2008-12-05 06:20:51 +08:00
|
|
|
AllocArgs.size(), TUDecl, /*AllowMissing=*/false,
|
|
|
|
OperatorNew))
|
|
|
|
return true;
|
|
|
|
}
|
2008-12-04 04:26:15 +08:00
|
|
|
|
2009-06-01 04:26:12 +08:00
|
|
|
// FindAllocationOverload can change the passed in arguments, so we need to
|
|
|
|
// copy them back.
|
|
|
|
if (NumPlaceArgs > 0)
|
|
|
|
std::copy(&AllocArgs[1], AllocArgs.end(), PlaceArgs);
|
|
|
|
|
2008-12-05 06:20:51 +08:00
|
|
|
return false;
|
|
|
|
}
|
2008-12-04 04:26:15 +08:00
|
|
|
|
2008-12-05 06:20:51 +08:00
|
|
|
/// FindAllocationOverload - Find an fitting overload for the allocation
|
|
|
|
/// function in the specified scope.
|
2009-02-10 02:24:27 +08:00
|
|
|
bool Sema::FindAllocationOverload(SourceLocation StartLoc, SourceRange Range,
|
|
|
|
DeclarationName Name, Expr** Args,
|
|
|
|
unsigned NumArgs, DeclContext *Ctx,
|
|
|
|
bool AllowMissing, FunctionDecl *&Operator)
|
2008-12-05 06:20:51 +08:00
|
|
|
{
|
2008-12-23 08:26:44 +08:00
|
|
|
DeclContext::lookup_iterator Alloc, AllocEnd;
|
2009-06-30 10:36:12 +08:00
|
|
|
llvm::tie(Alloc, AllocEnd) = Ctx->lookup(Name);
|
2008-12-23 08:26:44 +08:00
|
|
|
if (Alloc == AllocEnd) {
|
2008-12-05 06:20:51 +08:00
|
|
|
if (AllowMissing)
|
|
|
|
return false;
|
|
|
|
return Diag(StartLoc, diag::err_ovl_no_viable_function_in_call)
|
2009-02-17 15:29:20 +08:00
|
|
|
<< Name << Range;
|
2008-12-05 06:20:51 +08:00
|
|
|
}
|
2008-12-04 04:26:15 +08:00
|
|
|
|
2008-12-05 06:20:51 +08:00
|
|
|
OverloadCandidateSet Candidates;
|
2008-12-23 08:26:44 +08:00
|
|
|
for (; Alloc != AllocEnd; ++Alloc) {
|
|
|
|
// Even member operator new/delete are implicitly treated as
|
|
|
|
// static, so don't use AddMemberCandidate.
|
|
|
|
if (FunctionDecl *Fn = dyn_cast<FunctionDecl>(*Alloc))
|
|
|
|
AddOverloadCandidate(Fn, Args, NumArgs, Candidates,
|
|
|
|
/*SuppressUserConversions=*/false);
|
2008-12-04 04:26:15 +08:00
|
|
|
}
|
|
|
|
|
2008-12-05 06:20:51 +08:00
|
|
|
// Do the resolution.
|
|
|
|
OverloadCandidateSet::iterator Best;
|
2009-06-20 07:52:42 +08:00
|
|
|
switch(BestViableFunction(Candidates, StartLoc, Best)) {
|
2008-12-05 06:20:51 +08:00
|
|
|
case OR_Success: {
|
|
|
|
// Got one!
|
|
|
|
FunctionDecl *FnDecl = Best->Function;
|
|
|
|
// The first argument is size_t, and the first parameter must be size_t,
|
|
|
|
// too. This is checked on declaration and can be assumed. (It can't be
|
|
|
|
// asserted on, though, since invalid decls are left in there.)
|
|
|
|
for (unsigned i = 1; i < NumArgs; ++i) {
|
|
|
|
// FIXME: Passing word to diagnostic.
|
2009-06-01 03:49:47 +08:00
|
|
|
if (PerformCopyInitialization(Args[i],
|
2008-12-05 06:20:51 +08:00
|
|
|
FnDecl->getParamDecl(i)->getType(),
|
|
|
|
"passing"))
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
Operator = FnDecl;
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
case OR_No_Viable_Function:
|
|
|
|
Diag(StartLoc, diag::err_ovl_no_viable_function_in_call)
|
2009-02-17 15:29:20 +08:00
|
|
|
<< Name << Range;
|
2008-12-05 06:20:51 +08:00
|
|
|
PrintOverloadCandidates(Candidates, /*OnlyViable=*/false);
|
|
|
|
return true;
|
|
|
|
|
|
|
|
case OR_Ambiguous:
|
|
|
|
Diag(StartLoc, diag::err_ovl_ambiguous_call)
|
2009-02-10 02:24:27 +08:00
|
|
|
<< Name << Range;
|
2008-12-05 06:20:51 +08:00
|
|
|
PrintOverloadCandidates(Candidates, /*OnlyViable=*/true);
|
|
|
|
return true;
|
2009-02-19 05:56:37 +08:00
|
|
|
|
|
|
|
case OR_Deleted:
|
|
|
|
Diag(StartLoc, diag::err_ovl_deleted_call)
|
|
|
|
<< Best->Function->isDeleted()
|
|
|
|
<< Name << Range;
|
|
|
|
PrintOverloadCandidates(Candidates, /*OnlyViable=*/true);
|
|
|
|
return true;
|
2008-12-05 06:20:51 +08:00
|
|
|
}
|
|
|
|
assert(false && "Unreachable, bad result from BestViableFunction");
|
|
|
|
return true;
|
2008-12-04 04:26:15 +08:00
|
|
|
}
|
|
|
|
|
2008-12-05 06:20:51 +08:00
|
|
|
|
2008-12-04 04:26:15 +08:00
|
|
|
/// DeclareGlobalNewDelete - Declare the global forms of operator new and
|
|
|
|
/// delete. These are:
|
|
|
|
/// @code
|
|
|
|
/// void* operator new(std::size_t) throw(std::bad_alloc);
|
|
|
|
/// void* operator new[](std::size_t) throw(std::bad_alloc);
|
|
|
|
/// void operator delete(void *) throw();
|
|
|
|
/// void operator delete[](void *) throw();
|
|
|
|
/// @endcode
|
|
|
|
/// Note that the placement and nothrow forms of new are *not* implicitly
|
|
|
|
/// declared. Their use requires including \<new\>.
|
|
|
|
void Sema::DeclareGlobalNewDelete()
|
|
|
|
{
|
|
|
|
if (GlobalNewDeleteDeclared)
|
|
|
|
return;
|
|
|
|
GlobalNewDeleteDeclared = true;
|
|
|
|
|
|
|
|
QualType VoidPtr = Context.getPointerType(Context.VoidTy);
|
|
|
|
QualType SizeT = Context.getSizeType();
|
|
|
|
|
|
|
|
// FIXME: Exception specifications are not added.
|
|
|
|
DeclareGlobalAllocationFunction(
|
|
|
|
Context.DeclarationNames.getCXXOperatorName(OO_New),
|
|
|
|
VoidPtr, SizeT);
|
|
|
|
DeclareGlobalAllocationFunction(
|
|
|
|
Context.DeclarationNames.getCXXOperatorName(OO_Array_New),
|
|
|
|
VoidPtr, SizeT);
|
|
|
|
DeclareGlobalAllocationFunction(
|
|
|
|
Context.DeclarationNames.getCXXOperatorName(OO_Delete),
|
|
|
|
Context.VoidTy, VoidPtr);
|
|
|
|
DeclareGlobalAllocationFunction(
|
|
|
|
Context.DeclarationNames.getCXXOperatorName(OO_Array_Delete),
|
|
|
|
Context.VoidTy, VoidPtr);
|
|
|
|
}
|
|
|
|
|
|
|
|
/// DeclareGlobalAllocationFunction - Declares a single implicit global
|
|
|
|
/// allocation function if it doesn't already exist.
|
|
|
|
void Sema::DeclareGlobalAllocationFunction(DeclarationName Name,
|
|
|
|
QualType Return, QualType Argument)
|
|
|
|
{
|
|
|
|
DeclContext *GlobalCtx = Context.getTranslationUnitDecl();
|
|
|
|
|
|
|
|
// Check if this function is already declared.
|
2008-12-24 05:05:05 +08:00
|
|
|
{
|
2008-12-24 06:05:29 +08:00
|
|
|
DeclContext::lookup_iterator Alloc, AllocEnd;
|
2009-06-30 10:36:12 +08:00
|
|
|
for (llvm::tie(Alloc, AllocEnd) = GlobalCtx->lookup(Name);
|
2008-12-24 05:05:05 +08:00
|
|
|
Alloc != AllocEnd; ++Alloc) {
|
|
|
|
// FIXME: Do we need to check for default arguments here?
|
|
|
|
FunctionDecl *Func = cast<FunctionDecl>(*Alloc);
|
|
|
|
if (Func->getNumParams() == 1 &&
|
2009-02-07 09:47:29 +08:00
|
|
|
Context.getCanonicalType(Func->getParamDecl(0)->getType())==Argument)
|
2008-12-04 04:26:15 +08:00
|
|
|
return;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
QualType FnType = Context.getFunctionType(Return, &Argument, 1, false, 0);
|
|
|
|
FunctionDecl *Alloc =
|
|
|
|
FunctionDecl::Create(Context, GlobalCtx, SourceLocation(), Name,
|
2009-08-21 08:31:54 +08:00
|
|
|
FnType, /*DInfo=*/0, FunctionDecl::None, false, true);
|
2008-12-04 04:26:15 +08:00
|
|
|
Alloc->setImplicit();
|
|
|
|
ParmVarDecl *Param = ParmVarDecl::Create(Context, Alloc, SourceLocation(),
|
2009-08-19 09:27:57 +08:00
|
|
|
0, Argument, /*DInfo=*/0,
|
|
|
|
VarDecl::None, 0);
|
2009-01-14 08:42:25 +08:00
|
|
|
Alloc->setParams(Context, &Param, 1);
|
2008-12-04 04:26:15 +08:00
|
|
|
|
2008-12-24 05:05:05 +08:00
|
|
|
// FIXME: Also add this declaration to the IdentifierResolver, but
|
|
|
|
// make sure it is at the end of the chain to coincide with the
|
|
|
|
// global scope.
|
2009-06-30 10:36:12 +08:00
|
|
|
((DeclContext *)TUScope->getEntity())->addDecl(Alloc);
|
2008-12-04 04:26:15 +08:00
|
|
|
}
|
|
|
|
|
2008-11-22 03:14:01 +08:00
|
|
|
/// ActOnCXXDelete - Parsed a C++ 'delete' expression (C++ 5.3.5), as in:
|
|
|
|
/// @code ::delete ptr; @endcode
|
|
|
|
/// or
|
|
|
|
/// @code delete [] ptr; @endcode
|
2009-03-16 01:47:39 +08:00
|
|
|
Action::OwningExprResult
|
2008-11-22 03:14:01 +08:00
|
|
|
Sema::ActOnCXXDelete(SourceLocation StartLoc, bool UseGlobal,
|
2009-03-16 01:47:39 +08:00
|
|
|
bool ArrayForm, ExprArg Operand)
|
2008-11-22 03:14:01 +08:00
|
|
|
{
|
|
|
|
// C++ 5.3.5p1: "The operand shall have a pointer type, or a class type
|
|
|
|
// having a single conversion function to a pointer type. The result has
|
|
|
|
// type void."
|
|
|
|
// DR599 amends "pointer type" to "pointer to object type" in both cases.
|
|
|
|
|
2009-08-17 04:29:29 +08:00
|
|
|
FunctionDecl *OperatorDelete = 0;
|
|
|
|
|
2009-03-16 01:47:39 +08:00
|
|
|
Expr *Ex = (Expr *)Operand.get();
|
2009-02-26 22:39:58 +08:00
|
|
|
if (!Ex->isTypeDependent()) {
|
|
|
|
QualType Type = Ex->getType();
|
2008-11-22 03:14:01 +08:00
|
|
|
|
2009-02-26 22:39:58 +08:00
|
|
|
if (Type->isRecordType()) {
|
|
|
|
// FIXME: Find that one conversion function and amend the type.
|
|
|
|
}
|
2008-11-22 03:14:01 +08:00
|
|
|
|
2009-03-16 01:47:39 +08:00
|
|
|
if (!Type->isPointerType())
|
|
|
|
return ExprError(Diag(StartLoc, diag::err_delete_operand)
|
|
|
|
<< Type << Ex->getSourceRange());
|
2008-11-22 03:14:01 +08:00
|
|
|
|
2009-07-30 05:53:49 +08:00
|
|
|
QualType Pointee = Type->getAs<PointerType>()->getPointeeType();
|
2009-03-25 04:13:58 +08:00
|
|
|
if (Pointee->isFunctionType() || Pointee->isVoidType())
|
2009-03-16 01:47:39 +08:00
|
|
|
return ExprError(Diag(StartLoc, diag::err_delete_operand)
|
|
|
|
<< Type << Ex->getSourceRange());
|
2009-03-25 04:13:58 +08:00
|
|
|
else if (!Pointee->isDependentType() &&
|
|
|
|
RequireCompleteType(StartLoc, Pointee,
|
2009-08-27 07:45:07 +08:00
|
|
|
PDiag(diag::warn_delete_incomplete)
|
|
|
|
<< Ex->getSourceRange()))
|
2009-03-25 04:13:58 +08:00
|
|
|
return ExprError();
|
2008-11-22 03:14:01 +08:00
|
|
|
|
2009-08-17 04:29:29 +08:00
|
|
|
// FIXME: This should be shared with the code for finding the delete
|
|
|
|
// operator in ActOnCXXNew.
|
|
|
|
IntegerLiteral Size(llvm::APInt::getNullValue(
|
|
|
|
Context.Target.getPointerWidth(0)),
|
|
|
|
Context.getSizeType(),
|
|
|
|
SourceLocation());
|
|
|
|
ImplicitCastExpr Cast(Context.getPointerType(Context.VoidTy),
|
|
|
|
CastExpr::CK_Unknown, &Size, false);
|
|
|
|
Expr *DeleteArg = &Cast;
|
|
|
|
|
|
|
|
DeclarationName DeleteName = Context.DeclarationNames.getCXXOperatorName(
|
|
|
|
ArrayForm ? OO_Array_Delete : OO_Delete);
|
|
|
|
|
|
|
|
if (Pointee->isRecordType() && !UseGlobal) {
|
|
|
|
CXXRecordDecl *Record
|
|
|
|
= cast<CXXRecordDecl>(Pointee->getAs<RecordType>()->getDecl());
|
|
|
|
// FIXME: We fail to find inherited overloads.
|
|
|
|
if (FindAllocationOverload(StartLoc, SourceRange(), DeleteName,
|
|
|
|
&DeleteArg, 1, Record, /*AllowMissing=*/true,
|
|
|
|
OperatorDelete))
|
|
|
|
return ExprError();
|
|
|
|
}
|
|
|
|
|
|
|
|
if (!OperatorDelete) {
|
|
|
|
// Didn't find a member overload. Look for a global one.
|
|
|
|
DeclareGlobalNewDelete();
|
|
|
|
DeclContext *TUDecl = Context.getTranslationUnitDecl();
|
|
|
|
if (FindAllocationOverload(StartLoc, SourceRange(), DeleteName,
|
|
|
|
&DeleteArg, 1, TUDecl, /*AllowMissing=*/false,
|
|
|
|
OperatorDelete))
|
|
|
|
return ExprError();
|
|
|
|
}
|
|
|
|
|
2009-02-26 22:39:58 +08:00
|
|
|
// FIXME: Check access and ambiguity of operator delete and destructor.
|
|
|
|
}
|
2008-11-22 03:14:01 +08:00
|
|
|
|
2009-03-16 01:47:39 +08:00
|
|
|
Operand.release();
|
|
|
|
return Owned(new (Context) CXXDeleteExpr(Context.VoidTy, UseGlobal, ArrayForm,
|
2009-08-17 04:29:29 +08:00
|
|
|
OperatorDelete, Ex, StartLoc));
|
2008-11-22 03:14:01 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2008-09-10 10:17:11 +08:00
|
|
|
/// ActOnCXXConditionDeclarationExpr - Parsed a condition declaration of a
|
|
|
|
/// C++ if/switch/while/for statement.
|
|
|
|
/// e.g: "if (int x = f()) {...}"
|
2009-03-16 01:47:39 +08:00
|
|
|
Action::OwningExprResult
|
2008-09-10 10:17:11 +08:00
|
|
|
Sema::ActOnCXXConditionDeclarationExpr(Scope *S, SourceLocation StartLoc,
|
|
|
|
Declarator &D,
|
|
|
|
SourceLocation EqualLoc,
|
2009-03-16 01:47:39 +08:00
|
|
|
ExprArg AssignExprVal) {
|
|
|
|
assert(AssignExprVal.get() && "Null assignment expression");
|
2008-09-10 10:17:11 +08:00
|
|
|
|
|
|
|
// C++ 6.4p2:
|
|
|
|
// The declarator shall not specify a function or an array.
|
|
|
|
// The type-specifier-seq shall not contain typedef and shall not declare a
|
|
|
|
// new class or enumeration.
|
|
|
|
|
|
|
|
assert(D.getDeclSpec().getStorageClassSpec() != DeclSpec::SCS_typedef &&
|
|
|
|
"Parser allowed 'typedef' as storage class of condition decl.");
|
|
|
|
|
2009-08-19 09:27:57 +08:00
|
|
|
// FIXME: Store DeclaratorInfo in the expression.
|
|
|
|
DeclaratorInfo *DInfo = 0;
|
2009-08-11 13:20:41 +08:00
|
|
|
TagDecl *OwnedTag = 0;
|
2009-08-19 09:27:57 +08:00
|
|
|
QualType Ty = GetTypeForDeclarator(D, S, &DInfo, /*Skip=*/0, &OwnedTag);
|
2008-09-10 10:17:11 +08:00
|
|
|
|
|
|
|
if (Ty->isFunctionType()) { // The declarator shall not specify a function...
|
|
|
|
// We exit without creating a CXXConditionDeclExpr because a FunctionDecl
|
|
|
|
// would be created and CXXConditionDeclExpr wants a VarDecl.
|
2009-03-16 01:47:39 +08:00
|
|
|
return ExprError(Diag(StartLoc, diag::err_invalid_use_of_function_type)
|
|
|
|
<< SourceRange(StartLoc, EqualLoc));
|
2008-09-10 10:17:11 +08:00
|
|
|
} else if (Ty->isArrayType()) { // ...or an array.
|
2008-11-19 13:27:50 +08:00
|
|
|
Diag(StartLoc, diag::err_invalid_use_of_array_type)
|
|
|
|
<< SourceRange(StartLoc, EqualLoc);
|
2009-08-11 13:20:41 +08:00
|
|
|
} else if (OwnedTag && OwnedTag->isDefinition()) {
|
|
|
|
// The type-specifier-seq shall not declare a new class or enumeration.
|
|
|
|
Diag(OwnedTag->getLocation(), diag::err_type_defined_in_condition);
|
2008-09-10 10:17:11 +08:00
|
|
|
}
|
|
|
|
|
2009-06-24 05:43:56 +08:00
|
|
|
DeclPtrTy Dcl = ActOnDeclarator(S, D);
|
2008-09-10 10:17:11 +08:00
|
|
|
if (!Dcl)
|
2009-03-16 01:47:39 +08:00
|
|
|
return ExprError();
|
2009-05-31 05:37:25 +08:00
|
|
|
AddInitializerToDecl(Dcl, move(AssignExprVal), /*DirectInit=*/false);
|
2008-09-10 10:17:11 +08:00
|
|
|
|
2008-12-11 07:01:14 +08:00
|
|
|
// Mark this variable as one that is declared within a conditional.
|
2009-03-29 03:18:32 +08:00
|
|
|
// We know that the decl had to be a VarDecl because that is the only type of
|
|
|
|
// decl that can be assigned and the grammar requires an '='.
|
|
|
|
VarDecl *VD = cast<VarDecl>(Dcl.getAs<Decl>());
|
|
|
|
VD->setDeclaredInCondition(true);
|
|
|
|
return Owned(new (Context) CXXConditionDeclExpr(StartLoc, EqualLoc, VD));
|
2008-09-10 10:17:11 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
/// CheckCXXBooleanCondition - Returns true if a conversion to bool is invalid.
|
|
|
|
bool Sema::CheckCXXBooleanCondition(Expr *&CondExpr) {
|
|
|
|
// C++ 6.4p4:
|
|
|
|
// The value of a condition that is an initialized declaration in a statement
|
|
|
|
// other than a switch statement is the value of the declared variable
|
|
|
|
// implicitly converted to type bool. If that conversion is ill-formed, the
|
|
|
|
// program is ill-formed.
|
|
|
|
// The value of a condition that is an expression is the value of the
|
|
|
|
// expression, implicitly converted to bool.
|
|
|
|
//
|
2009-01-14 23:45:31 +08:00
|
|
|
return PerformContextuallyConvertToBool(CondExpr);
|
2008-09-10 10:17:11 +08:00
|
|
|
}
|
2008-09-12 08:47:35 +08:00
|
|
|
|
|
|
|
/// Helper function to determine whether this is the (deprecated) C++
|
|
|
|
/// conversion from a string literal to a pointer to non-const char or
|
|
|
|
/// non-const wchar_t (for narrow and wide string literals,
|
|
|
|
/// respectively).
|
|
|
|
bool
|
|
|
|
Sema::IsStringLiteralToNonConstPointerConversion(Expr *From, QualType ToType) {
|
|
|
|
// Look inside the implicit cast, if it exists.
|
|
|
|
if (ImplicitCastExpr *Cast = dyn_cast<ImplicitCastExpr>(From))
|
|
|
|
From = Cast->getSubExpr();
|
|
|
|
|
|
|
|
// A string literal (2.13.4) that is not a wide string literal can
|
|
|
|
// be converted to an rvalue of type "pointer to char"; a wide
|
|
|
|
// string literal can be converted to an rvalue of type "pointer
|
|
|
|
// to wchar_t" (C++ 4.2p2).
|
|
|
|
if (StringLiteral *StrLit = dyn_cast<StringLiteral>(From))
|
2009-07-30 05:53:49 +08:00
|
|
|
if (const PointerType *ToPtrType = ToType->getAs<PointerType>())
|
2008-09-12 08:47:35 +08:00
|
|
|
if (const BuiltinType *ToPointeeType
|
|
|
|
= ToPtrType->getPointeeType()->getAsBuiltinType()) {
|
|
|
|
// This conversion is considered only when there is an
|
|
|
|
// explicit appropriate pointer target type (C++ 4.2p2).
|
|
|
|
if (ToPtrType->getPointeeType().getCVRQualifiers() == 0 &&
|
|
|
|
((StrLit->isWide() && ToPointeeType->isWideCharType()) ||
|
|
|
|
(!StrLit->isWide() &&
|
|
|
|
(ToPointeeType->getKind() == BuiltinType::Char_U ||
|
|
|
|
ToPointeeType->getKind() == BuiltinType::Char_S))))
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
return false;
|
|
|
|
}
|
2008-10-24 12:54:22 +08:00
|
|
|
|
|
|
|
/// PerformImplicitConversion - Perform an implicit conversion of the
|
|
|
|
/// expression From to the type ToType. Returns true if there was an
|
|
|
|
/// error, false otherwise. The expression From is replaced with the
|
2008-12-20 01:40:08 +08:00
|
|
|
/// converted expression. Flavor is the kind of conversion we're
|
2009-01-14 23:45:31 +08:00
|
|
|
/// performing, used in the error message. If @p AllowExplicit,
|
2009-04-13 01:16:29 +08:00
|
|
|
/// explicit user-defined conversions are permitted. @p Elidable should be true
|
|
|
|
/// when called for copies which may be elided (C++ 12.8p15). C++0x overload
|
|
|
|
/// resolution works differently in that case.
|
|
|
|
bool
|
2008-12-20 01:40:08 +08:00
|
|
|
Sema::PerformImplicitConversion(Expr *&From, QualType ToType,
|
2009-04-13 01:16:29 +08:00
|
|
|
const char *Flavor, bool AllowExplicit,
|
|
|
|
bool Elidable)
|
2008-10-24 12:54:22 +08:00
|
|
|
{
|
2009-04-13 01:16:29 +08:00
|
|
|
ImplicitConversionSequence ICS;
|
|
|
|
ICS.ConversionKind = ImplicitConversionSequence::BadConversion;
|
|
|
|
if (Elidable && getLangOptions().CPlusPlus0x) {
|
2009-08-28 01:24:15 +08:00
|
|
|
ICS = TryImplicitConversion(From, ToType,
|
|
|
|
/*SuppressUserConversions=*/false,
|
|
|
|
AllowExplicit,
|
2009-08-28 23:33:32 +08:00
|
|
|
/*ForceRValue=*/true,
|
|
|
|
/*InOverloadResolution=*/false);
|
2009-04-13 01:16:29 +08:00
|
|
|
}
|
|
|
|
if (ICS.ConversionKind == ImplicitConversionSequence::BadConversion) {
|
2009-08-28 01:24:15 +08:00
|
|
|
ICS = TryImplicitConversion(From, ToType,
|
|
|
|
/*SuppressUserConversions=*/false,
|
|
|
|
AllowExplicit,
|
2009-08-28 23:33:32 +08:00
|
|
|
/*ForceRValue=*/false,
|
|
|
|
/*InOverloadResolution=*/false);
|
2009-04-13 01:16:29 +08:00
|
|
|
}
|
2009-01-14 23:45:31 +08:00
|
|
|
return PerformImplicitConversion(From, ToType, ICS, Flavor);
|
|
|
|
}
|
|
|
|
|
|
|
|
/// PerformImplicitConversion - Perform an implicit conversion of the
|
|
|
|
/// expression From to the type ToType using the pre-computed implicit
|
|
|
|
/// conversion sequence ICS. Returns true if there was an error, false
|
|
|
|
/// otherwise. The expression From is replaced with the converted
|
|
|
|
/// expression. Flavor is the kind of conversion we're performing,
|
|
|
|
/// used in the error message.
|
|
|
|
bool
|
|
|
|
Sema::PerformImplicitConversion(Expr *&From, QualType ToType,
|
|
|
|
const ImplicitConversionSequence &ICS,
|
|
|
|
const char* Flavor) {
|
2008-10-24 12:54:22 +08:00
|
|
|
switch (ICS.ConversionKind) {
|
|
|
|
case ImplicitConversionSequence::StandardConversion:
|
2008-12-20 01:40:08 +08:00
|
|
|
if (PerformImplicitConversion(From, ToType, ICS.Standard, Flavor))
|
2008-10-24 12:54:22 +08:00
|
|
|
return true;
|
|
|
|
break;
|
|
|
|
|
|
|
|
case ImplicitConversionSequence::UserDefinedConversion:
|
2009-08-29 06:04:50 +08:00
|
|
|
{
|
|
|
|
FunctionDecl *FD = ICS.UserDefined.ConversionFunction;
|
|
|
|
CastExpr::CastKind CastKind = CastExpr::CK_Unknown;
|
|
|
|
if (CXXConversionDecl *CV = dyn_cast<CXXConversionDecl>(FD)) {
|
2009-08-27 04:34:58 +08:00
|
|
|
// FIXME. Get actual Source Location.
|
|
|
|
From =
|
|
|
|
new (Context) CXXFunctionalCastExpr(ToType.getNonReferenceType(),
|
|
|
|
ToType, SourceLocation(),
|
|
|
|
CastExpr::CK_UserDefinedConversion,
|
|
|
|
From, CV,
|
|
|
|
SourceLocation());
|
2009-08-29 06:04:50 +08:00
|
|
|
CastKind = CastExpr::CK_UserDefinedConversion;
|
|
|
|
}
|
|
|
|
else if (CXXConstructorDecl *CD = dyn_cast<CXXConstructorDecl>(FD)) {
|
|
|
|
// FIXME. Do we need to check for isLValueReferenceType?
|
|
|
|
DefaultFunctionArrayConversion(From);
|
|
|
|
OwningExprResult InitResult =
|
|
|
|
BuildCXXConstructExpr(ToType.getNonReferenceType(),
|
|
|
|
CD, &From, 1);
|
2009-08-30 03:15:16 +08:00
|
|
|
// Take ownership of this expression.
|
2009-08-29 06:04:50 +08:00
|
|
|
From = InitResult.takeAs<Expr>();
|
|
|
|
CastKind = CastExpr::CK_ConstructorConversion ;
|
|
|
|
}
|
|
|
|
ImpCastExprToType(From, ToType.getNonReferenceType(),
|
|
|
|
CastKind,
|
|
|
|
ToType->isLValueReferenceType());
|
|
|
|
return false;
|
|
|
|
}
|
2008-10-24 12:54:22 +08:00
|
|
|
|
|
|
|
case ImplicitConversionSequence::EllipsisConversion:
|
|
|
|
assert(false && "Cannot perform an ellipsis conversion");
|
2008-11-01 00:23:19 +08:00
|
|
|
return false;
|
2008-10-24 12:54:22 +08:00
|
|
|
|
|
|
|
case ImplicitConversionSequence::BadConversion:
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Everything went well.
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
/// PerformImplicitConversion - Perform an implicit conversion of the
|
|
|
|
/// expression From to the type ToType by following the standard
|
|
|
|
/// conversion sequence SCS. Returns true if there was an error, false
|
|
|
|
/// otherwise. The expression From is replaced with the converted
|
2008-12-20 01:40:08 +08:00
|
|
|
/// expression. Flavor is the context in which we're performing this
|
|
|
|
/// conversion, for use in error messages.
|
2008-10-24 12:54:22 +08:00
|
|
|
bool
|
|
|
|
Sema::PerformImplicitConversion(Expr *&From, QualType ToType,
|
2008-12-20 01:40:08 +08:00
|
|
|
const StandardConversionSequence& SCS,
|
2009-01-14 23:45:31 +08:00
|
|
|
const char *Flavor) {
|
2009-05-16 15:39:55 +08:00
|
|
|
// Overall FIXME: we are recomputing too many types here and doing far too
|
|
|
|
// much extra work. What this means is that we need to keep track of more
|
|
|
|
// information that is computed when we try the implicit conversion initially,
|
|
|
|
// so that we don't need to recompute anything here.
|
2008-10-24 12:54:22 +08:00
|
|
|
QualType FromType = From->getType();
|
|
|
|
|
2008-11-04 03:09:14 +08:00
|
|
|
if (SCS.CopyConstructor) {
|
2009-05-19 12:45:15 +08:00
|
|
|
// FIXME: When can ToType be a reference type?
|
|
|
|
assert(!ToType->isReferenceType());
|
|
|
|
|
2009-08-25 13:12:04 +08:00
|
|
|
OwningExprResult FromResult =
|
|
|
|
BuildCXXConstructExpr(ToType, SCS.CopyConstructor, &From, 1);
|
|
|
|
|
|
|
|
if (FromResult.isInvalid())
|
|
|
|
return true;
|
|
|
|
|
|
|
|
From = FromResult.takeAs<Expr>();
|
2008-11-04 03:09:14 +08:00
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2008-10-24 12:54:22 +08:00
|
|
|
// Perform the first implicit conversion.
|
|
|
|
switch (SCS.First) {
|
|
|
|
case ICK_Identity:
|
|
|
|
case ICK_Lvalue_To_Rvalue:
|
|
|
|
// Nothing to do.
|
|
|
|
break;
|
|
|
|
|
|
|
|
case ICK_Array_To_Pointer:
|
2009-02-19 05:56:37 +08:00
|
|
|
FromType = Context.getArrayDecayedType(FromType);
|
2009-08-09 05:04:35 +08:00
|
|
|
ImpCastExprToType(From, FromType, CastExpr::CK_ArrayToPointerDecay);
|
2009-02-19 05:56:37 +08:00
|
|
|
break;
|
|
|
|
|
|
|
|
case ICK_Function_To_Pointer:
|
2009-03-14 02:40:31 +08:00
|
|
|
if (Context.getCanonicalType(FromType) == Context.OverloadTy) {
|
2008-11-11 04:40:00 +08:00
|
|
|
FunctionDecl *Fn = ResolveAddressOfOverloadedFunction(From, ToType, true);
|
|
|
|
if (!Fn)
|
|
|
|
return true;
|
|
|
|
|
2009-02-19 05:56:37 +08:00
|
|
|
if (DiagnoseUseOfDecl(Fn, From->getSourceRange().getBegin()))
|
|
|
|
return true;
|
|
|
|
|
2008-11-11 04:40:00 +08:00
|
|
|
FixOverloadedFunctionReference(From, Fn);
|
|
|
|
FromType = From->getType();
|
|
|
|
}
|
2008-10-24 12:54:22 +08:00
|
|
|
FromType = Context.getPointerType(FromType);
|
2009-09-02 04:37:18 +08:00
|
|
|
ImpCastExprToType(From, FromType, CastExpr::CK_FunctionToPointerDecay);
|
2008-10-24 12:54:22 +08:00
|
|
|
break;
|
|
|
|
|
|
|
|
default:
|
|
|
|
assert(false && "Improper first standard conversion");
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Perform the second implicit conversion
|
|
|
|
switch (SCS.Second) {
|
|
|
|
case ICK_Identity:
|
|
|
|
// Nothing to do.
|
|
|
|
break;
|
|
|
|
|
|
|
|
case ICK_Integral_Promotion:
|
|
|
|
case ICK_Floating_Promotion:
|
2009-02-12 08:15:05 +08:00
|
|
|
case ICK_Complex_Promotion:
|
2008-10-24 12:54:22 +08:00
|
|
|
case ICK_Integral_Conversion:
|
|
|
|
case ICK_Floating_Conversion:
|
2009-02-12 08:15:05 +08:00
|
|
|
case ICK_Complex_Conversion:
|
2008-10-24 12:54:22 +08:00
|
|
|
case ICK_Floating_Integral:
|
2009-02-12 08:15:05 +08:00
|
|
|
case ICK_Complex_Real:
|
Initial implementation of function overloading in C.
This commit adds a new attribute, "overloadable", that enables C++
function overloading in C. The attribute can only be added to function
declarations, e.g.,
int *f(int) __attribute__((overloadable));
If the "overloadable" attribute exists on a function with a given
name, *all* functions with that name (and in that scope) must have the
"overloadable" attribute. Sets of overloaded functions with the
"overloadable" attribute then follow the normal C++ rules for
overloaded functions, e.g., overloads must have different
parameter-type-lists from each other.
When calling an overloaded function in C, we follow the same
overloading rules as C++, with three extensions to the set of standard
conversions:
- A value of a given struct or union type T can be converted to the
type T. This is just the identity conversion. (In C++, this would
go through a copy constructor).
- A value of pointer type T* can be converted to a value of type U*
if T and U are compatible types. This conversion has Conversion
rank (it's considered a pointer conversion in C).
- A value of type T can be converted to a value of type U if T and U
are compatible (and are not both pointer types). This conversion
has Conversion rank (it's considered to be a new kind of
conversion unique to C, a "compatible" conversion).
Known defects (and, therefore, next steps):
1) The standard-conversion handling does not understand conversions
involving _Complex or vector extensions, so it is likely to get
these wrong. We need to add these conversions.
2) All overloadable functions with the same name will have the same
linkage name, which means we'll get a collision in the linker (if
not sooner). We'll need to mangle the names of these functions.
llvm-svn: 64336
2009-02-12 07:02:49 +08:00
|
|
|
case ICK_Compatible_Conversion:
|
|
|
|
// FIXME: Go deeper to get the unqualified type!
|
2008-10-24 12:54:22 +08:00
|
|
|
FromType = ToType.getUnqualifiedType();
|
|
|
|
ImpCastExprToType(From, FromType);
|
|
|
|
break;
|
|
|
|
|
|
|
|
case ICK_Pointer_Conversion:
|
2008-12-20 01:40:08 +08:00
|
|
|
if (SCS.IncompatibleObjC) {
|
|
|
|
// Diagnose incompatible Objective-C conversions
|
|
|
|
Diag(From->getSourceRange().getBegin(),
|
|
|
|
diag::ext_typecheck_convert_incompatible_pointer)
|
|
|
|
<< From->getType() << ToType << Flavor
|
|
|
|
<< From->getSourceRange();
|
|
|
|
}
|
|
|
|
|
2008-10-24 12:54:22 +08:00
|
|
|
if (CheckPointerConversion(From, ToType))
|
|
|
|
return true;
|
|
|
|
ImpCastExprToType(From, ToType);
|
|
|
|
break;
|
|
|
|
|
2009-08-23 07:33:40 +08:00
|
|
|
case ICK_Pointer_Member: {
|
|
|
|
CastExpr::CastKind Kind = CastExpr::CK_Unknown;
|
|
|
|
if (CheckMemberPointerConversion(From, ToType, Kind))
|
|
|
|
return true;
|
|
|
|
ImpCastExprToType(From, ToType, Kind);
|
|
|
|
break;
|
|
|
|
}
|
2008-10-24 12:54:22 +08:00
|
|
|
case ICK_Boolean_Conversion:
|
|
|
|
FromType = Context.BoolTy;
|
|
|
|
ImpCastExprToType(From, FromType);
|
|
|
|
break;
|
|
|
|
|
|
|
|
default:
|
|
|
|
assert(false && "Improper second standard conversion");
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
|
|
|
switch (SCS.Third) {
|
|
|
|
case ICK_Identity:
|
|
|
|
// Nothing to do.
|
|
|
|
break;
|
|
|
|
|
|
|
|
case ICK_Qualification:
|
2009-05-16 15:39:55 +08:00
|
|
|
// FIXME: Not sure about lvalue vs rvalue here in the presence of rvalue
|
|
|
|
// references.
|
2009-01-17 03:38:23 +08:00
|
|
|
ImpCastExprToType(From, ToType.getNonReferenceType(),
|
2009-07-31 09:23:52 +08:00
|
|
|
CastExpr::CK_Unknown,
|
2009-03-17 07:22:08 +08:00
|
|
|
ToType->isLValueReferenceType());
|
2008-10-24 12:54:22 +08:00
|
|
|
break;
|
|
|
|
|
|
|
|
default:
|
|
|
|
assert(false && "Improper second standard conversion");
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2009-01-06 04:52:13 +08:00
|
|
|
Sema::OwningExprResult Sema::ActOnUnaryTypeTrait(UnaryTypeTrait OTT,
|
|
|
|
SourceLocation KWLoc,
|
|
|
|
SourceLocation LParen,
|
|
|
|
TypeTy *Ty,
|
|
|
|
SourceLocation RParen) {
|
2009-08-19 09:28:28 +08:00
|
|
|
QualType T = GetTypeFromParser(Ty);
|
2009-07-08 03:06:02 +08:00
|
|
|
|
|
|
|
// According to http://gcc.gnu.org/onlinedocs/gcc/Type-Traits.html
|
|
|
|
// all traits except __is_class, __is_enum and __is_union require a the type
|
|
|
|
// to be complete.
|
|
|
|
if (OTT != UTT_IsClass && OTT != UTT_IsEnum && OTT != UTT_IsUnion) {
|
|
|
|
if (RequireCompleteType(KWLoc, T,
|
2009-08-27 06:59:12 +08:00
|
|
|
diag::err_incomplete_type_used_in_type_trait_expr))
|
2009-07-08 03:06:02 +08:00
|
|
|
return ExprError();
|
|
|
|
}
|
2009-01-06 04:52:13 +08:00
|
|
|
|
|
|
|
// There is no point in eagerly computing the value. The traits are designed
|
|
|
|
// to be used from type trait templates, so Ty will be a template parameter
|
|
|
|
// 99% of the time.
|
2009-07-08 03:06:02 +08:00
|
|
|
return Owned(new (Context) UnaryTypeTraitExpr(KWLoc, OTT, T,
|
|
|
|
RParen, Context.BoolTy));
|
2009-01-06 04:52:13 +08:00
|
|
|
}
|
2009-02-08 04:10:22 +08:00
|
|
|
|
|
|
|
QualType Sema::CheckPointerToMemberOperands(
|
|
|
|
Expr *&lex, Expr *&rex, SourceLocation Loc, bool isIndirect)
|
|
|
|
{
|
|
|
|
const char *OpSpelling = isIndirect ? "->*" : ".*";
|
|
|
|
// C++ 5.5p2
|
|
|
|
// The binary operator .* [p3: ->*] binds its second operand, which shall
|
|
|
|
// be of type "pointer to member of T" (where T is a completely-defined
|
|
|
|
// class type) [...]
|
|
|
|
QualType RType = rex->getType();
|
2009-07-30 05:53:49 +08:00
|
|
|
const MemberPointerType *MemPtr = RType->getAs<MemberPointerType>();
|
2009-03-25 03:52:54 +08:00
|
|
|
if (!MemPtr) {
|
2009-02-08 04:10:22 +08:00
|
|
|
Diag(Loc, diag::err_bad_memptr_rhs)
|
|
|
|
<< OpSpelling << RType << rex->getSourceRange();
|
|
|
|
return QualType();
|
2009-05-14 08:28:11 +08:00
|
|
|
}
|
2009-03-25 03:52:54 +08:00
|
|
|
|
2009-02-08 04:10:22 +08:00
|
|
|
QualType Class(MemPtr->getClass(), 0);
|
|
|
|
|
|
|
|
// C++ 5.5p2
|
|
|
|
// [...] to its first operand, which shall be of class T or of a class of
|
|
|
|
// which T is an unambiguous and accessible base class. [p3: a pointer to
|
|
|
|
// such a class]
|
|
|
|
QualType LType = lex->getType();
|
|
|
|
if (isIndirect) {
|
2009-07-30 05:53:49 +08:00
|
|
|
if (const PointerType *Ptr = LType->getAs<PointerType>())
|
2009-02-08 04:10:22 +08:00
|
|
|
LType = Ptr->getPointeeType().getNonReferenceType();
|
|
|
|
else {
|
|
|
|
Diag(Loc, diag::err_bad_memptr_lhs)
|
|
|
|
<< OpSpelling << 1 << LType << lex->getSourceRange();
|
|
|
|
return QualType();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
if (Context.getCanonicalType(Class).getUnqualifiedType() !=
|
|
|
|
Context.getCanonicalType(LType).getUnqualifiedType()) {
|
|
|
|
BasePaths Paths(/*FindAmbiguities=*/true, /*RecordPaths=*/false,
|
|
|
|
/*DetectVirtual=*/false);
|
2009-05-16 15:39:55 +08:00
|
|
|
// FIXME: Would it be useful to print full ambiguity paths, or is that
|
|
|
|
// overkill?
|
2009-02-08 04:10:22 +08:00
|
|
|
if (!IsDerivedFrom(LType, Class, Paths) ||
|
|
|
|
Paths.isAmbiguous(Context.getCanonicalType(Class))) {
|
|
|
|
Diag(Loc, diag::err_bad_memptr_lhs) << OpSpelling
|
|
|
|
<< (int)isIndirect << lex->getType() << lex->getSourceRange();
|
|
|
|
return QualType();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// C++ 5.5p2
|
|
|
|
// The result is an object or a function of the type specified by the
|
|
|
|
// second operand.
|
|
|
|
// The cv qualifiers are the union of those in the pointer and the left side,
|
|
|
|
// in accordance with 5.5p5 and 5.2.5.
|
|
|
|
// FIXME: This returns a dereferenced member function pointer as a normal
|
|
|
|
// function type. However, the only operation valid on such functions is
|
2009-05-16 15:39:55 +08:00
|
|
|
// calling them. There's also a GCC extension to get a function pointer to the
|
|
|
|
// thing, which is another complication, because this type - unlike the type
|
|
|
|
// that is the result of this expression - takes the class as the first
|
2009-02-08 04:10:22 +08:00
|
|
|
// argument.
|
|
|
|
// We probably need a "MemberFunctionClosureType" or something like that.
|
|
|
|
QualType Result = MemPtr->getPointeeType();
|
|
|
|
if (LType.isConstQualified())
|
|
|
|
Result.addConst();
|
|
|
|
if (LType.isVolatileQualified())
|
|
|
|
Result.addVolatile();
|
|
|
|
return Result;
|
|
|
|
}
|
2009-04-17 01:51:27 +08:00
|
|
|
|
|
|
|
/// \brief Get the target type of a standard or user-defined conversion.
|
|
|
|
static QualType TargetType(const ImplicitConversionSequence &ICS) {
|
|
|
|
assert((ICS.ConversionKind ==
|
|
|
|
ImplicitConversionSequence::StandardConversion ||
|
|
|
|
ICS.ConversionKind ==
|
|
|
|
ImplicitConversionSequence::UserDefinedConversion) &&
|
|
|
|
"function only valid for standard or user-defined conversions");
|
|
|
|
if (ICS.ConversionKind == ImplicitConversionSequence::StandardConversion)
|
|
|
|
return QualType::getFromOpaquePtr(ICS.Standard.ToTypePtr);
|
|
|
|
return QualType::getFromOpaquePtr(ICS.UserDefined.After.ToTypePtr);
|
|
|
|
}
|
|
|
|
|
|
|
|
/// \brief Try to convert a type to another according to C++0x 5.16p3.
|
|
|
|
///
|
|
|
|
/// This is part of the parameter validation for the ? operator. If either
|
|
|
|
/// value operand is a class type, the two operands are attempted to be
|
|
|
|
/// converted to each other. This function does the conversion in one direction.
|
|
|
|
/// It emits a diagnostic and returns true only if it finds an ambiguous
|
|
|
|
/// conversion.
|
|
|
|
static bool TryClassUnification(Sema &Self, Expr *From, Expr *To,
|
|
|
|
SourceLocation QuestionLoc,
|
|
|
|
ImplicitConversionSequence &ICS)
|
|
|
|
{
|
|
|
|
// C++0x 5.16p3
|
|
|
|
// The process for determining whether an operand expression E1 of type T1
|
|
|
|
// can be converted to match an operand expression E2 of type T2 is defined
|
|
|
|
// as follows:
|
|
|
|
// -- If E2 is an lvalue:
|
|
|
|
if (To->isLvalue(Self.Context) == Expr::LV_Valid) {
|
|
|
|
// E1 can be converted to match E2 if E1 can be implicitly converted to
|
|
|
|
// type "lvalue reference to T2", subject to the constraint that in the
|
|
|
|
// conversion the reference must bind directly to E1.
|
|
|
|
if (!Self.CheckReferenceInit(From,
|
|
|
|
Self.Context.getLValueReferenceType(To->getType()),
|
2009-08-28 01:30:43 +08:00
|
|
|
/*SuppressUserConversions=*/false,
|
|
|
|
/*AllowExplicit=*/false,
|
|
|
|
/*ForceRValue=*/false,
|
|
|
|
&ICS))
|
2009-04-17 01:51:27 +08:00
|
|
|
{
|
|
|
|
assert((ICS.ConversionKind ==
|
|
|
|
ImplicitConversionSequence::StandardConversion ||
|
|
|
|
ICS.ConversionKind ==
|
|
|
|
ImplicitConversionSequence::UserDefinedConversion) &&
|
|
|
|
"expected a definite conversion");
|
|
|
|
bool DirectBinding =
|
|
|
|
ICS.ConversionKind == ImplicitConversionSequence::StandardConversion ?
|
|
|
|
ICS.Standard.DirectBinding : ICS.UserDefined.After.DirectBinding;
|
|
|
|
if (DirectBinding)
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
ICS.ConversionKind = ImplicitConversionSequence::BadConversion;
|
|
|
|
// -- If E2 is an rvalue, or if the conversion above cannot be done:
|
|
|
|
// -- if E1 and E2 have class type, and the underlying class types are
|
|
|
|
// the same or one is a base class of the other:
|
|
|
|
QualType FTy = From->getType();
|
|
|
|
QualType TTy = To->getType();
|
2009-07-30 05:53:49 +08:00
|
|
|
const RecordType *FRec = FTy->getAs<RecordType>();
|
|
|
|
const RecordType *TRec = TTy->getAs<RecordType>();
|
2009-04-17 01:51:27 +08:00
|
|
|
bool FDerivedFromT = FRec && TRec && Self.IsDerivedFrom(FTy, TTy);
|
|
|
|
if (FRec && TRec && (FRec == TRec ||
|
|
|
|
FDerivedFromT || Self.IsDerivedFrom(TTy, FTy))) {
|
|
|
|
// E1 can be converted to match E2 if the class of T2 is the
|
|
|
|
// same type as, or a base class of, the class of T1, and
|
|
|
|
// [cv2 > cv1].
|
|
|
|
if ((FRec == TRec || FDerivedFromT) && TTy.isAtLeastAsQualifiedAs(FTy)) {
|
|
|
|
// Could still fail if there's no copy constructor.
|
|
|
|
// FIXME: Is this a hard error then, or just a conversion failure? The
|
|
|
|
// standard doesn't say.
|
2009-08-28 01:18:13 +08:00
|
|
|
ICS = Self.TryCopyInitialization(From, TTy,
|
|
|
|
/*SuppressUserConversions=*/false,
|
2009-08-28 01:37:39 +08:00
|
|
|
/*ForceRValue=*/false,
|
|
|
|
/*InOverloadResolution=*/false);
|
2009-04-17 01:51:27 +08:00
|
|
|
}
|
|
|
|
} else {
|
|
|
|
// -- Otherwise: E1 can be converted to match E2 if E1 can be
|
|
|
|
// implicitly converted to the type that expression E2 would have
|
|
|
|
// if E2 were converted to an rvalue.
|
|
|
|
// First find the decayed type.
|
|
|
|
if (TTy->isFunctionType())
|
|
|
|
TTy = Self.Context.getPointerType(TTy);
|
|
|
|
else if(TTy->isArrayType())
|
|
|
|
TTy = Self.Context.getArrayDecayedType(TTy);
|
|
|
|
|
|
|
|
// Now try the implicit conversion.
|
|
|
|
// FIXME: This doesn't detect ambiguities.
|
2009-08-28 01:24:15 +08:00
|
|
|
ICS = Self.TryImplicitConversion(From, TTy,
|
|
|
|
/*SuppressUserConversions=*/false,
|
|
|
|
/*AllowExplicit=*/false,
|
2009-08-28 23:33:32 +08:00
|
|
|
/*ForceRValue=*/false,
|
|
|
|
/*InOverloadResolution=*/false);
|
2009-04-17 01:51:27 +08:00
|
|
|
}
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
/// \brief Try to find a common type for two according to C++0x 5.16p5.
|
|
|
|
///
|
|
|
|
/// This is part of the parameter validation for the ? operator. If either
|
|
|
|
/// value operand is a class type, overload resolution is used to find a
|
|
|
|
/// conversion to a common type.
|
|
|
|
static bool FindConditionalOverload(Sema &Self, Expr *&LHS, Expr *&RHS,
|
|
|
|
SourceLocation Loc) {
|
|
|
|
Expr *Args[2] = { LHS, RHS };
|
|
|
|
OverloadCandidateSet CandidateSet;
|
|
|
|
Self.AddBuiltinOperatorCandidates(OO_Conditional, Args, 2, CandidateSet);
|
|
|
|
|
|
|
|
OverloadCandidateSet::iterator Best;
|
2009-06-20 07:52:42 +08:00
|
|
|
switch (Self.BestViableFunction(CandidateSet, Loc, Best)) {
|
2009-04-17 01:51:27 +08:00
|
|
|
case Sema::OR_Success:
|
|
|
|
// We found a match. Perform the conversions on the arguments and move on.
|
|
|
|
if (Self.PerformImplicitConversion(LHS, Best->BuiltinTypes.ParamTypes[0],
|
|
|
|
Best->Conversions[0], "converting") ||
|
|
|
|
Self.PerformImplicitConversion(RHS, Best->BuiltinTypes.ParamTypes[1],
|
|
|
|
Best->Conversions[1], "converting"))
|
|
|
|
break;
|
|
|
|
return false;
|
|
|
|
|
|
|
|
case Sema::OR_No_Viable_Function:
|
|
|
|
Self.Diag(Loc, diag::err_typecheck_cond_incompatible_operands)
|
|
|
|
<< LHS->getType() << RHS->getType()
|
|
|
|
<< LHS->getSourceRange() << RHS->getSourceRange();
|
|
|
|
return true;
|
|
|
|
|
|
|
|
case Sema::OR_Ambiguous:
|
|
|
|
Self.Diag(Loc, diag::err_conditional_ambiguous_ovl)
|
|
|
|
<< LHS->getType() << RHS->getType()
|
|
|
|
<< LHS->getSourceRange() << RHS->getSourceRange();
|
2009-05-16 15:39:55 +08:00
|
|
|
// FIXME: Print the possible common types by printing the return types of
|
|
|
|
// the viable candidates.
|
2009-04-17 01:51:27 +08:00
|
|
|
break;
|
|
|
|
|
|
|
|
case Sema::OR_Deleted:
|
|
|
|
assert(false && "Conditional operator has only built-in overloads");
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
2009-04-18 00:30:52 +08:00
|
|
|
/// \brief Perform an "extended" implicit conversion as returned by
|
|
|
|
/// TryClassUnification.
|
|
|
|
///
|
|
|
|
/// TryClassUnification generates ICSs that include reference bindings.
|
|
|
|
/// PerformImplicitConversion is not suitable for this; it chokes if the
|
|
|
|
/// second part of a standard conversion is ICK_DerivedToBase. This function
|
|
|
|
/// handles the reference binding specially.
|
|
|
|
static bool ConvertForConditional(Sema &Self, Expr *&E,
|
|
|
|
const ImplicitConversionSequence &ICS)
|
|
|
|
{
|
|
|
|
if (ICS.ConversionKind == ImplicitConversionSequence::StandardConversion &&
|
|
|
|
ICS.Standard.ReferenceBinding) {
|
|
|
|
assert(ICS.Standard.DirectBinding &&
|
|
|
|
"TryClassUnification should never generate indirect ref bindings");
|
2009-04-26 19:21:02 +08:00
|
|
|
// FIXME: CheckReferenceInit should be able to reuse the ICS instead of
|
|
|
|
// redoing all the work.
|
|
|
|
return Self.CheckReferenceInit(E, Self.Context.getLValueReferenceType(
|
2009-08-28 01:30:43 +08:00
|
|
|
TargetType(ICS)),
|
|
|
|
/*SuppressUserConversions=*/false,
|
|
|
|
/*AllowExplicit=*/false,
|
|
|
|
/*ForceRValue=*/false);
|
2009-04-18 00:30:52 +08:00
|
|
|
}
|
|
|
|
if (ICS.ConversionKind == ImplicitConversionSequence::UserDefinedConversion &&
|
|
|
|
ICS.UserDefined.After.ReferenceBinding) {
|
|
|
|
assert(ICS.UserDefined.After.DirectBinding &&
|
|
|
|
"TryClassUnification should never generate indirect ref bindings");
|
2009-04-26 19:21:02 +08:00
|
|
|
return Self.CheckReferenceInit(E, Self.Context.getLValueReferenceType(
|
2009-08-28 01:30:43 +08:00
|
|
|
TargetType(ICS)),
|
|
|
|
/*SuppressUserConversions=*/false,
|
|
|
|
/*AllowExplicit=*/false,
|
|
|
|
/*ForceRValue=*/false);
|
2009-04-18 00:30:52 +08:00
|
|
|
}
|
|
|
|
if (Self.PerformImplicitConversion(E, TargetType(ICS), ICS, "converting"))
|
|
|
|
return true;
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2009-04-17 01:51:27 +08:00
|
|
|
/// \brief Check the operands of ?: under C++ semantics.
|
|
|
|
///
|
|
|
|
/// See C++ [expr.cond]. Note that LHS is never null, even for the GNU x ?: y
|
|
|
|
/// extension. In this case, LHS == Cond. (But they're not aliases.)
|
|
|
|
QualType Sema::CXXCheckConditionalOperands(Expr *&Cond, Expr *&LHS, Expr *&RHS,
|
|
|
|
SourceLocation QuestionLoc) {
|
2009-05-16 15:39:55 +08:00
|
|
|
// FIXME: Handle C99's complex types, vector types, block pointers and Obj-C++
|
|
|
|
// interface pointers.
|
2009-04-17 01:51:27 +08:00
|
|
|
|
|
|
|
// C++0x 5.16p1
|
|
|
|
// The first expression is contextually converted to bool.
|
|
|
|
if (!Cond->isTypeDependent()) {
|
|
|
|
if (CheckCXXBooleanCondition(Cond))
|
|
|
|
return QualType();
|
|
|
|
}
|
|
|
|
|
|
|
|
// Either of the arguments dependent?
|
|
|
|
if (LHS->isTypeDependent() || RHS->isTypeDependent())
|
|
|
|
return Context.DependentTy;
|
|
|
|
|
|
|
|
// C++0x 5.16p2
|
|
|
|
// If either the second or the third operand has type (cv) void, ...
|
|
|
|
QualType LTy = LHS->getType();
|
|
|
|
QualType RTy = RHS->getType();
|
|
|
|
bool LVoid = LTy->isVoidType();
|
|
|
|
bool RVoid = RTy->isVoidType();
|
|
|
|
if (LVoid || RVoid) {
|
|
|
|
// ... then the [l2r] conversions are performed on the second and third
|
|
|
|
// operands ...
|
|
|
|
DefaultFunctionArrayConversion(LHS);
|
|
|
|
DefaultFunctionArrayConversion(RHS);
|
|
|
|
LTy = LHS->getType();
|
|
|
|
RTy = RHS->getType();
|
|
|
|
|
|
|
|
// ... and one of the following shall hold:
|
|
|
|
// -- The second or the third operand (but not both) is a throw-
|
|
|
|
// expression; the result is of the type of the other and is an rvalue.
|
|
|
|
bool LThrow = isa<CXXThrowExpr>(LHS);
|
|
|
|
bool RThrow = isa<CXXThrowExpr>(RHS);
|
|
|
|
if (LThrow && !RThrow)
|
|
|
|
return RTy;
|
|
|
|
if (RThrow && !LThrow)
|
|
|
|
return LTy;
|
|
|
|
|
|
|
|
// -- Both the second and third operands have type void; the result is of
|
|
|
|
// type void and is an rvalue.
|
|
|
|
if (LVoid && RVoid)
|
|
|
|
return Context.VoidTy;
|
|
|
|
|
|
|
|
// Neither holds, error.
|
|
|
|
Diag(QuestionLoc, diag::err_conditional_void_nonvoid)
|
|
|
|
<< (LVoid ? RTy : LTy) << (LVoid ? 0 : 1)
|
|
|
|
<< LHS->getSourceRange() << RHS->getSourceRange();
|
|
|
|
return QualType();
|
|
|
|
}
|
|
|
|
|
|
|
|
// Neither is void.
|
|
|
|
|
|
|
|
// C++0x 5.16p3
|
|
|
|
// Otherwise, if the second and third operand have different types, and
|
|
|
|
// either has (cv) class type, and attempt is made to convert each of those
|
|
|
|
// operands to the other.
|
|
|
|
if (Context.getCanonicalType(LTy) != Context.getCanonicalType(RTy) &&
|
|
|
|
(LTy->isRecordType() || RTy->isRecordType())) {
|
|
|
|
ImplicitConversionSequence ICSLeftToRight, ICSRightToLeft;
|
|
|
|
// These return true if a single direction is already ambiguous.
|
|
|
|
if (TryClassUnification(*this, LHS, RHS, QuestionLoc, ICSLeftToRight))
|
|
|
|
return QualType();
|
|
|
|
if (TryClassUnification(*this, RHS, LHS, QuestionLoc, ICSRightToLeft))
|
|
|
|
return QualType();
|
|
|
|
|
|
|
|
bool HaveL2R = ICSLeftToRight.ConversionKind !=
|
|
|
|
ImplicitConversionSequence::BadConversion;
|
|
|
|
bool HaveR2L = ICSRightToLeft.ConversionKind !=
|
|
|
|
ImplicitConversionSequence::BadConversion;
|
|
|
|
// If both can be converted, [...] the program is ill-formed.
|
|
|
|
if (HaveL2R && HaveR2L) {
|
|
|
|
Diag(QuestionLoc, diag::err_conditional_ambiguous)
|
|
|
|
<< LTy << RTy << LHS->getSourceRange() << RHS->getSourceRange();
|
|
|
|
return QualType();
|
|
|
|
}
|
|
|
|
|
|
|
|
// If exactly one conversion is possible, that conversion is applied to
|
|
|
|
// the chosen operand and the converted operands are used in place of the
|
|
|
|
// original operands for the remainder of this section.
|
|
|
|
if (HaveL2R) {
|
2009-04-18 00:30:52 +08:00
|
|
|
if (ConvertForConditional(*this, LHS, ICSLeftToRight))
|
2009-04-17 01:51:27 +08:00
|
|
|
return QualType();
|
|
|
|
LTy = LHS->getType();
|
|
|
|
} else if (HaveR2L) {
|
2009-04-18 00:30:52 +08:00
|
|
|
if (ConvertForConditional(*this, RHS, ICSRightToLeft))
|
2009-04-17 01:51:27 +08:00
|
|
|
return QualType();
|
|
|
|
RTy = RHS->getType();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// C++0x 5.16p4
|
|
|
|
// If the second and third operands are lvalues and have the same type,
|
|
|
|
// the result is of that type [...]
|
|
|
|
bool Same = Context.getCanonicalType(LTy) == Context.getCanonicalType(RTy);
|
|
|
|
if (Same && LHS->isLvalue(Context) == Expr::LV_Valid &&
|
|
|
|
RHS->isLvalue(Context) == Expr::LV_Valid)
|
|
|
|
return LTy;
|
|
|
|
|
|
|
|
// C++0x 5.16p5
|
|
|
|
// Otherwise, the result is an rvalue. If the second and third operands
|
|
|
|
// do not have the same type, and either has (cv) class type, ...
|
|
|
|
if (!Same && (LTy->isRecordType() || RTy->isRecordType())) {
|
|
|
|
// ... overload resolution is used to determine the conversions (if any)
|
|
|
|
// to be applied to the operands. If the overload resolution fails, the
|
|
|
|
// program is ill-formed.
|
|
|
|
if (FindConditionalOverload(*this, LHS, RHS, QuestionLoc))
|
|
|
|
return QualType();
|
|
|
|
}
|
|
|
|
|
|
|
|
// C++0x 5.16p6
|
|
|
|
// LValue-to-rvalue, array-to-pointer, and function-to-pointer standard
|
|
|
|
// conversions are performed on the second and third operands.
|
|
|
|
DefaultFunctionArrayConversion(LHS);
|
|
|
|
DefaultFunctionArrayConversion(RHS);
|
|
|
|
LTy = LHS->getType();
|
|
|
|
RTy = RHS->getType();
|
|
|
|
|
|
|
|
// After those conversions, one of the following shall hold:
|
|
|
|
// -- The second and third operands have the same type; the result
|
|
|
|
// is of that type.
|
|
|
|
if (Context.getCanonicalType(LTy) == Context.getCanonicalType(RTy))
|
|
|
|
return LTy;
|
|
|
|
|
|
|
|
// -- The second and third operands have arithmetic or enumeration type;
|
|
|
|
// the usual arithmetic conversions are performed to bring them to a
|
|
|
|
// common type, and the result is of that type.
|
|
|
|
if (LTy->isArithmeticType() && RTy->isArithmeticType()) {
|
|
|
|
UsualArithmeticConversions(LHS, RHS);
|
|
|
|
return LHS->getType();
|
|
|
|
}
|
|
|
|
|
|
|
|
// -- The second and third operands have pointer type, or one has pointer
|
|
|
|
// type and the other is a null pointer constant; pointer conversions
|
|
|
|
// and qualification conversions are performed to bring them to their
|
|
|
|
// composite pointer type. The result is of the composite pointer type.
|
2009-04-20 03:26:31 +08:00
|
|
|
QualType Composite = FindCompositePointerType(LHS, RHS);
|
|
|
|
if (!Composite.isNull())
|
|
|
|
return Composite;
|
2009-04-17 01:51:27 +08:00
|
|
|
|
2009-04-20 05:15:26 +08:00
|
|
|
// Fourth bullet is same for pointers-to-member. However, the possible
|
|
|
|
// conversions are far more limited: we have null-to-pointer, upcast of
|
|
|
|
// containing class, and second-level cv-ness.
|
|
|
|
// cv-ness is not a union, but must match one of the two operands. (Which,
|
|
|
|
// frankly, is stupid.)
|
2009-07-30 05:53:49 +08:00
|
|
|
const MemberPointerType *LMemPtr = LTy->getAs<MemberPointerType>();
|
|
|
|
const MemberPointerType *RMemPtr = RTy->getAs<MemberPointerType>();
|
2009-04-20 05:15:26 +08:00
|
|
|
if (LMemPtr && RHS->isNullPointerConstant(Context)) {
|
|
|
|
ImpCastExprToType(RHS, LTy);
|
|
|
|
return LTy;
|
|
|
|
}
|
|
|
|
if (RMemPtr && LHS->isNullPointerConstant(Context)) {
|
|
|
|
ImpCastExprToType(LHS, RTy);
|
|
|
|
return RTy;
|
|
|
|
}
|
|
|
|
if (LMemPtr && RMemPtr) {
|
|
|
|
QualType LPointee = LMemPtr->getPointeeType();
|
|
|
|
QualType RPointee = RMemPtr->getPointeeType();
|
|
|
|
// First, we check that the unqualified pointee type is the same. If it's
|
|
|
|
// not, there's no conversion that will unify the two pointers.
|
|
|
|
if (Context.getCanonicalType(LPointee).getUnqualifiedType() ==
|
|
|
|
Context.getCanonicalType(RPointee).getUnqualifiedType()) {
|
|
|
|
// Second, we take the greater of the two cv qualifications. If neither
|
|
|
|
// is greater than the other, the conversion is not possible.
|
|
|
|
unsigned Q = LPointee.getCVRQualifiers() | RPointee.getCVRQualifiers();
|
|
|
|
if (Q == LPointee.getCVRQualifiers() || Q == RPointee.getCVRQualifiers()){
|
|
|
|
// Third, we check if either of the container classes is derived from
|
|
|
|
// the other.
|
|
|
|
QualType LContainer(LMemPtr->getClass(), 0);
|
|
|
|
QualType RContainer(RMemPtr->getClass(), 0);
|
|
|
|
QualType MoreDerived;
|
|
|
|
if (Context.getCanonicalType(LContainer) ==
|
|
|
|
Context.getCanonicalType(RContainer))
|
|
|
|
MoreDerived = LContainer;
|
|
|
|
else if (IsDerivedFrom(LContainer, RContainer))
|
|
|
|
MoreDerived = LContainer;
|
|
|
|
else if (IsDerivedFrom(RContainer, LContainer))
|
|
|
|
MoreDerived = RContainer;
|
|
|
|
|
|
|
|
if (!MoreDerived.isNull()) {
|
|
|
|
// The type 'Q Pointee (MoreDerived::*)' is the common type.
|
|
|
|
// We don't use ImpCastExprToType here because this could still fail
|
|
|
|
// for ambiguous or inaccessible conversions.
|
|
|
|
QualType Common = Context.getMemberPointerType(
|
|
|
|
LPointee.getQualifiedType(Q), MoreDerived.getTypePtr());
|
|
|
|
if (PerformImplicitConversion(LHS, Common, "converting"))
|
|
|
|
return QualType();
|
|
|
|
if (PerformImplicitConversion(RHS, Common, "converting"))
|
|
|
|
return QualType();
|
|
|
|
return Common;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2009-04-17 01:51:27 +08:00
|
|
|
Diag(QuestionLoc, diag::err_typecheck_cond_incompatible_operands)
|
|
|
|
<< LHS->getType() << RHS->getType()
|
|
|
|
<< LHS->getSourceRange() << RHS->getSourceRange();
|
|
|
|
return QualType();
|
|
|
|
}
|
2009-04-20 03:26:31 +08:00
|
|
|
|
|
|
|
/// \brief Find a merged pointer type and convert the two expressions to it.
|
|
|
|
///
|
2009-08-25 01:42:35 +08:00
|
|
|
/// This finds the composite pointer type (or member pointer type) for @p E1
|
|
|
|
/// and @p E2 according to C++0x 5.9p2. It converts both expressions to this
|
|
|
|
/// type and returns it.
|
2009-04-20 03:26:31 +08:00
|
|
|
/// It does not emit diagnostics.
|
|
|
|
QualType Sema::FindCompositePointerType(Expr *&E1, Expr *&E2) {
|
|
|
|
assert(getLangOptions().CPlusPlus && "This function assumes C++");
|
|
|
|
QualType T1 = E1->getType(), T2 = E2->getType();
|
2009-08-25 01:42:35 +08:00
|
|
|
|
|
|
|
if (!T1->isPointerType() && !T1->isMemberPointerType() &&
|
|
|
|
!T2->isPointerType() && !T2->isMemberPointerType())
|
|
|
|
return QualType();
|
2009-04-20 03:26:31 +08:00
|
|
|
|
2009-08-25 01:42:35 +08:00
|
|
|
// FIXME: Do we need to work on the canonical types?
|
|
|
|
|
2009-04-20 03:26:31 +08:00
|
|
|
// C++0x 5.9p2
|
|
|
|
// Pointer conversions and qualification conversions are performed on
|
|
|
|
// pointer operands to bring them to their composite pointer type. If
|
|
|
|
// one operand is a null pointer constant, the composite pointer type is
|
|
|
|
// the type of the other operand.
|
|
|
|
if (E1->isNullPointerConstant(Context)) {
|
|
|
|
ImpCastExprToType(E1, T2);
|
|
|
|
return T2;
|
|
|
|
}
|
|
|
|
if (E2->isNullPointerConstant(Context)) {
|
|
|
|
ImpCastExprToType(E2, T1);
|
|
|
|
return T1;
|
|
|
|
}
|
2009-08-25 01:42:35 +08:00
|
|
|
|
|
|
|
// Now both have to be pointers or member pointers.
|
|
|
|
if (!T1->isPointerType() && !T1->isMemberPointerType() &&
|
|
|
|
!T2->isPointerType() && !T2->isMemberPointerType())
|
2009-04-20 03:26:31 +08:00
|
|
|
return QualType();
|
|
|
|
|
|
|
|
// Otherwise, of one of the operands has type "pointer to cv1 void," then
|
|
|
|
// the other has type "pointer to cv2 T" and the composite pointer type is
|
|
|
|
// "pointer to cv12 void," where cv12 is the union of cv1 and cv2.
|
|
|
|
// Otherwise, the composite pointer type is a pointer type similar to the
|
|
|
|
// type of one of the operands, with a cv-qualification signature that is
|
|
|
|
// the union of the cv-qualification signatures of the operand types.
|
|
|
|
// In practice, the first part here is redundant; it's subsumed by the second.
|
|
|
|
// What we do here is, we build the two possible composite types, and try the
|
|
|
|
// conversions in both directions. If only one works, or if the two composite
|
|
|
|
// types are the same, we have succeeded.
|
|
|
|
llvm::SmallVector<unsigned, 4> QualifierUnion;
|
2009-08-25 01:42:35 +08:00
|
|
|
llvm::SmallVector<std::pair<const Type *, const Type *>, 4> MemberOfClass;
|
2009-04-20 03:26:31 +08:00
|
|
|
QualType Composite1 = T1, Composite2 = T2;
|
2009-08-25 01:42:35 +08:00
|
|
|
do {
|
|
|
|
const PointerType *Ptr1, *Ptr2;
|
|
|
|
if ((Ptr1 = Composite1->getAs<PointerType>()) &&
|
|
|
|
(Ptr2 = Composite2->getAs<PointerType>())) {
|
|
|
|
Composite1 = Ptr1->getPointeeType();
|
|
|
|
Composite2 = Ptr2->getPointeeType();
|
|
|
|
QualifierUnion.push_back(
|
|
|
|
Composite1.getCVRQualifiers() | Composite2.getCVRQualifiers());
|
|
|
|
MemberOfClass.push_back(std::make_pair((const Type *)0, (const Type *)0));
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
|
|
|
|
const MemberPointerType *MemPtr1, *MemPtr2;
|
|
|
|
if ((MemPtr1 = Composite1->getAs<MemberPointerType>()) &&
|
|
|
|
(MemPtr2 = Composite2->getAs<MemberPointerType>())) {
|
|
|
|
Composite1 = MemPtr1->getPointeeType();
|
|
|
|
Composite2 = MemPtr2->getPointeeType();
|
|
|
|
QualifierUnion.push_back(
|
|
|
|
Composite1.getCVRQualifiers() | Composite2.getCVRQualifiers());
|
|
|
|
MemberOfClass.push_back(std::make_pair(MemPtr1->getClass(),
|
|
|
|
MemPtr2->getClass()));
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
|
|
|
|
// FIXME: block pointer types?
|
|
|
|
|
|
|
|
// Cannot unwrap any more types.
|
|
|
|
break;
|
|
|
|
} while (true);
|
|
|
|
|
|
|
|
// Rewrap the composites as pointers or member pointers with the union CVRs.
|
|
|
|
llvm::SmallVector<std::pair<const Type *, const Type *>, 4>::iterator MOC
|
|
|
|
= MemberOfClass.begin();
|
|
|
|
for (llvm::SmallVector<unsigned, 4>::iterator
|
|
|
|
I = QualifierUnion.begin(),
|
|
|
|
E = QualifierUnion.end();
|
|
|
|
I != E; (void)++I, ++MOC) {
|
|
|
|
if (MOC->first && MOC->second) {
|
|
|
|
// Rebuild member pointer type
|
|
|
|
Composite1 = Context.getMemberPointerType(Composite1.getQualifiedType(*I),
|
|
|
|
MOC->first);
|
|
|
|
Composite2 = Context.getMemberPointerType(Composite2.getQualifiedType(*I),
|
|
|
|
MOC->second);
|
|
|
|
} else {
|
|
|
|
// Rebuild pointer type
|
|
|
|
Composite1 = Context.getPointerType(Composite1.getQualifiedType(*I));
|
|
|
|
Composite2 = Context.getPointerType(Composite2.getQualifiedType(*I));
|
|
|
|
}
|
2009-04-20 03:26:31 +08:00
|
|
|
}
|
|
|
|
|
2009-08-28 01:24:15 +08:00
|
|
|
ImplicitConversionSequence E1ToC1 =
|
|
|
|
TryImplicitConversion(E1, Composite1,
|
|
|
|
/*SuppressUserConversions=*/false,
|
|
|
|
/*AllowExplicit=*/false,
|
2009-08-28 23:33:32 +08:00
|
|
|
/*ForceRValue=*/false,
|
|
|
|
/*InOverloadResolution=*/false);
|
2009-08-28 01:24:15 +08:00
|
|
|
ImplicitConversionSequence E2ToC1 =
|
|
|
|
TryImplicitConversion(E2, Composite1,
|
|
|
|
/*SuppressUserConversions=*/false,
|
|
|
|
/*AllowExplicit=*/false,
|
2009-08-28 23:33:32 +08:00
|
|
|
/*ForceRValue=*/false,
|
|
|
|
/*InOverloadResolution=*/false);
|
2009-08-28 01:24:15 +08:00
|
|
|
|
2009-04-20 03:26:31 +08:00
|
|
|
ImplicitConversionSequence E1ToC2, E2ToC2;
|
|
|
|
E1ToC2.ConversionKind = ImplicitConversionSequence::BadConversion;
|
|
|
|
E2ToC2.ConversionKind = ImplicitConversionSequence::BadConversion;
|
|
|
|
if (Context.getCanonicalType(Composite1) !=
|
|
|
|
Context.getCanonicalType(Composite2)) {
|
2009-08-28 01:24:15 +08:00
|
|
|
E1ToC2 = TryImplicitConversion(E1, Composite2,
|
|
|
|
/*SuppressUserConversions=*/false,
|
|
|
|
/*AllowExplicit=*/false,
|
2009-08-28 23:33:32 +08:00
|
|
|
/*ForceRValue=*/false,
|
|
|
|
/*InOverloadResolution=*/false);
|
2009-08-28 01:24:15 +08:00
|
|
|
E2ToC2 = TryImplicitConversion(E2, Composite2,
|
|
|
|
/*SuppressUserConversions=*/false,
|
|
|
|
/*AllowExplicit=*/false,
|
2009-08-28 23:33:32 +08:00
|
|
|
/*ForceRValue=*/false,
|
|
|
|
/*InOverloadResolution=*/false);
|
2009-04-20 03:26:31 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
bool ToC1Viable = E1ToC1.ConversionKind !=
|
|
|
|
ImplicitConversionSequence::BadConversion
|
|
|
|
&& E2ToC1.ConversionKind !=
|
|
|
|
ImplicitConversionSequence::BadConversion;
|
|
|
|
bool ToC2Viable = E1ToC2.ConversionKind !=
|
|
|
|
ImplicitConversionSequence::BadConversion
|
|
|
|
&& E2ToC2.ConversionKind !=
|
|
|
|
ImplicitConversionSequence::BadConversion;
|
|
|
|
if (ToC1Viable && !ToC2Viable) {
|
|
|
|
if (!PerformImplicitConversion(E1, Composite1, E1ToC1, "converting") &&
|
|
|
|
!PerformImplicitConversion(E2, Composite1, E2ToC1, "converting"))
|
|
|
|
return Composite1;
|
|
|
|
}
|
|
|
|
if (ToC2Viable && !ToC1Viable) {
|
|
|
|
if (!PerformImplicitConversion(E1, Composite2, E1ToC2, "converting") &&
|
|
|
|
!PerformImplicitConversion(E2, Composite2, E2ToC2, "converting"))
|
|
|
|
return Composite2;
|
|
|
|
}
|
|
|
|
return QualType();
|
|
|
|
}
|
2009-05-18 02:41:29 +08:00
|
|
|
|
2009-05-31 04:36:53 +08:00
|
|
|
Sema::OwningExprResult Sema::MaybeBindToTemporary(Expr *E) {
|
2009-08-16 07:41:35 +08:00
|
|
|
if (!Context.getLangOptions().CPlusPlus)
|
|
|
|
return Owned(E);
|
|
|
|
|
2009-07-30 05:53:49 +08:00
|
|
|
const RecordType *RT = E->getType()->getAs<RecordType>();
|
2009-05-31 04:36:53 +08:00
|
|
|
if (!RT)
|
|
|
|
return Owned(E);
|
|
|
|
|
|
|
|
CXXRecordDecl *RD = cast<CXXRecordDecl>(RT->getDecl());
|
|
|
|
if (RD->hasTrivialDestructor())
|
|
|
|
return Owned(E);
|
|
|
|
|
|
|
|
CXXTemporary *Temp = CXXTemporary::Create(Context,
|
|
|
|
RD->getDestructor(Context));
|
2009-05-31 05:21:49 +08:00
|
|
|
ExprTemporaries.push_back(Temp);
|
2009-08-04 03:13:25 +08:00
|
|
|
if (CXXDestructorDecl *Destructor =
|
|
|
|
const_cast<CXXDestructorDecl*>(RD->getDestructor(Context)))
|
|
|
|
MarkDeclarationReferenced(E->getExprLoc(), Destructor);
|
2009-05-31 04:36:53 +08:00
|
|
|
// FIXME: Add the temporary to the temporaries vector.
|
|
|
|
return Owned(CXXBindTemporaryExpr::Create(Context, Temp, E));
|
|
|
|
}
|
|
|
|
|
2009-06-05 23:38:08 +08:00
|
|
|
Expr *Sema::MaybeCreateCXXExprWithTemporaries(Expr *SubExpr,
|
2009-06-16 11:37:31 +08:00
|
|
|
bool ShouldDestroyTemps) {
|
2009-06-05 23:38:08 +08:00
|
|
|
assert(SubExpr && "sub expression can't be null!");
|
|
|
|
|
|
|
|
if (ExprTemporaries.empty())
|
|
|
|
return SubExpr;
|
|
|
|
|
|
|
|
Expr *E = CXXExprWithTemporaries::Create(Context, SubExpr,
|
|
|
|
&ExprTemporaries[0],
|
|
|
|
ExprTemporaries.size(),
|
2009-06-16 11:37:31 +08:00
|
|
|
ShouldDestroyTemps);
|
2009-06-05 23:38:08 +08:00
|
|
|
ExprTemporaries.clear();
|
|
|
|
|
|
|
|
return E;
|
|
|
|
}
|
|
|
|
|
2009-08-26 07:46:41 +08:00
|
|
|
Sema::OwningExprResult
|
2009-08-27 01:36:19 +08:00
|
|
|
Sema::ActOnDestructorReferenceExpr(Scope *S, ExprArg Base,
|
2009-08-26 07:46:41 +08:00
|
|
|
SourceLocation OpLoc,
|
|
|
|
tok::TokenKind OpKind,
|
|
|
|
SourceLocation ClassNameLoc,
|
|
|
|
IdentifierInfo *ClassName,
|
|
|
|
const CXXScopeSpec *SS) {
|
|
|
|
if (SS && SS->isInvalid())
|
|
|
|
return ExprError();
|
2009-08-27 03:22:42 +08:00
|
|
|
|
|
|
|
Expr *BaseExpr = (Expr *)Base.get();
|
2009-08-26 07:46:41 +08:00
|
|
|
|
2009-08-27 03:22:42 +08:00
|
|
|
if (BaseExpr->isTypeDependent() ||
|
|
|
|
(SS && isDependentScopeSpecifier(*SS))) {
|
|
|
|
// FIXME: Return an unresolved ref expr.
|
|
|
|
return ExprError();
|
|
|
|
}
|
|
|
|
|
|
|
|
TypeTy *BaseTy = getTypeName(*ClassName, ClassNameLoc, S, SS);
|
|
|
|
if (!BaseTy) {
|
|
|
|
Diag(ClassNameLoc, diag::err_ident_in_pseudo_dtor_not_a_type)
|
|
|
|
<< ClassName;
|
|
|
|
return ExprError();
|
|
|
|
}
|
2009-08-26 07:46:41 +08:00
|
|
|
|
2009-08-27 03:22:42 +08:00
|
|
|
QualType BaseType = GetTypeFromParser(BaseTy);
|
|
|
|
if (!BaseType->isRecordType()) {
|
|
|
|
Diag(ClassNameLoc, diag::err_type_in_pseudo_dtor_not_a_class_type)
|
|
|
|
<< BaseType;
|
|
|
|
return ExprError();
|
|
|
|
}
|
2009-08-26 07:46:41 +08:00
|
|
|
|
2009-08-27 03:22:42 +08:00
|
|
|
CanQualType CanBaseType = Context.getCanonicalType(BaseType);
|
|
|
|
DeclarationName DtorName =
|
|
|
|
Context.DeclarationNames.getCXXDestructorName(CanBaseType);
|
|
|
|
|
|
|
|
return BuildMemberReferenceExpr(S, move(Base), OpLoc, OpKind, ClassNameLoc,
|
|
|
|
DtorName, DeclPtrTy(), SS);
|
2009-08-26 07:46:41 +08:00
|
|
|
}
|
|
|
|
|
2009-09-01 03:52:13 +08:00
|
|
|
Sema::OwningExprResult
|
|
|
|
Sema::ActOnOverloadedOperatorReferenceExpr(Scope *S, ExprArg Base,
|
|
|
|
SourceLocation OpLoc,
|
|
|
|
tok::TokenKind OpKind,
|
|
|
|
SourceLocation ClassNameLoc,
|
|
|
|
OverloadedOperatorKind OverOpKind,
|
|
|
|
const CXXScopeSpec *SS) {
|
|
|
|
if (SS && SS->isInvalid())
|
|
|
|
return ExprError();
|
|
|
|
|
|
|
|
DeclarationName Name =
|
|
|
|
Context.DeclarationNames.getCXXOperatorName(OverOpKind);
|
|
|
|
|
|
|
|
return BuildMemberReferenceExpr(S, move(Base), OpLoc, OpKind, ClassNameLoc,
|
|
|
|
Name, DeclPtrTy(), SS);
|
|
|
|
}
|
|
|
|
|
|
|
|
Sema::OwningExprResult
|
|
|
|
Sema::ActOnConversionOperatorReferenceExpr(Scope *S, ExprArg Base,
|
|
|
|
SourceLocation OpLoc,
|
|
|
|
tok::TokenKind OpKind,
|
|
|
|
SourceLocation ClassNameLoc,
|
|
|
|
TypeTy *Ty,
|
|
|
|
const CXXScopeSpec *SS) {
|
|
|
|
if (SS && SS->isInvalid())
|
|
|
|
return ExprError();
|
|
|
|
|
|
|
|
//FIXME: Preserve type source info.
|
|
|
|
QualType ConvType = GetTypeFromParser(Ty);
|
|
|
|
CanQualType ConvTypeCanon = Context.getCanonicalType(ConvType);
|
|
|
|
DeclarationName ConvName =
|
|
|
|
Context.DeclarationNames.getCXXConversionFunctionName(ConvTypeCanon);
|
|
|
|
|
|
|
|
return BuildMemberReferenceExpr(S, move(Base), OpLoc, OpKind, ClassNameLoc,
|
|
|
|
ConvName, DeclPtrTy(), SS);
|
|
|
|
}
|
|
|
|
|
2009-05-18 02:41:29 +08:00
|
|
|
Sema::OwningExprResult Sema::ActOnFinishFullExpr(ExprArg Arg) {
|
|
|
|
Expr *FullExpr = Arg.takeAs<Expr>();
|
2009-06-05 23:38:08 +08:00
|
|
|
if (FullExpr)
|
2009-06-16 11:37:31 +08:00
|
|
|
FullExpr = MaybeCreateCXXExprWithTemporaries(FullExpr,
|
|
|
|
/*ShouldDestroyTemps=*/true);
|
2009-05-18 02:41:29 +08:00
|
|
|
|
2009-08-26 07:46:41 +08:00
|
|
|
|
2009-05-18 02:41:29 +08:00
|
|
|
return Owned(FullExpr);
|
|
|
|
}
|