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.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#include "Sema.h"
|
|
|
|
#include "clang/AST/ExprCXX.h"
|
2007-08-25 22:02:58 +08:00
|
|
|
#include "clang/AST/ASTContext.h"
|
2008-09-10 10:17:11 +08:00
|
|
|
#include "clang/Parse/DeclSpec.h"
|
2008-10-07 07:16:35 +08:00
|
|
|
#include "clang/Lex/Preprocessor.h"
|
2008-08-11 11:27:53 +08:00
|
|
|
#include "clang/Basic/Diagnostic.h"
|
2008-12-04 04:26:15 +08:00
|
|
|
#include "clang/Basic/TargetInfo.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.
|
2008-11-20 03:09:45 +08:00
|
|
|
Sema::ExprResult
|
|
|
|
Sema::ActOnCXXConversionFunctionExpr(Scope *S, SourceLocation OperatorLoc,
|
|
|
|
TypeTy *Ty, bool HasTrailingLParen,
|
|
|
|
const CXXScopeSpec &SS) {
|
2008-11-18 04:34:05 +08:00
|
|
|
QualType ConvType = QualType::getFromOpaquePtr(Ty);
|
|
|
|
QualType ConvTypeCanon = Context.getCanonicalType(ConvType);
|
|
|
|
DeclarationName ConvName
|
|
|
|
= Context.DeclarationNames.getCXXConversionFunctionName(ConvTypeCanon);
|
2008-11-18 23:03:34 +08:00
|
|
|
return ActOnDeclarationNameExpr(S, OperatorLoc, ConvName, HasTrailingLParen,
|
2008-11-20 03:09:45 +08:00
|
|
|
&SS);
|
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.
|
2008-11-20 03:09:45 +08:00
|
|
|
Sema::ExprResult
|
|
|
|
Sema::ActOnCXXOperatorFunctionIdExpr(Scope *S, SourceLocation OperatorLoc,
|
|
|
|
OverloadedOperatorKind Op,
|
|
|
|
bool HasTrailingLParen,
|
|
|
|
const CXXScopeSpec &SS) {
|
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);
|
2008-11-20 03:09:45 +08:00
|
|
|
return ActOnDeclarationNameExpr(S, OperatorLoc, Name, HasTrailingLParen, &SS);
|
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 ).
|
|
|
|
Action::ExprResult
|
|
|
|
Sema::ActOnCXXTypeid(SourceLocation OpLoc, SourceLocation LParenLoc,
|
|
|
|
bool isType, void *TyOrExpr, SourceLocation RParenLoc) {
|
|
|
|
const NamespaceDecl *StdNs = GetStdNamespace();
|
2008-11-20 13:51:55 +08:00
|
|
|
if (!StdNs)
|
|
|
|
return Diag(OpLoc, diag::err_need_header_before_typeid);
|
|
|
|
|
|
|
|
IdentifierInfo *TypeInfoII = &PP.getIdentifierTable().get("type_info");
|
|
|
|
Decl *TypeInfoDecl = LookupDecl(TypeInfoII,
|
2008-11-11 19:37:55 +08:00
|
|
|
Decl::IDNS_Tag | Decl::IDNS_Ordinary,
|
|
|
|
0, StdNs, /*createBuiltins=*/false);
|
|
|
|
RecordDecl *TypeInfoRecordDecl = dyn_cast_or_null<RecordDecl>(TypeInfoDecl);
|
2008-11-20 13:51:55 +08:00
|
|
|
if (!TypeInfoRecordDecl)
|
|
|
|
return Diag(OpLoc, diag::err_need_header_before_typeid);
|
2008-11-11 19:37:55 +08:00
|
|
|
|
|
|
|
QualType TypeInfoType = Context.getTypeDeclType(TypeInfoRecordDecl);
|
|
|
|
|
|
|
|
return new CXXTypeidExpr(isType, TyOrExpr, TypeInfoType.withConst(),
|
|
|
|
SourceRange(OpLoc, RParenLoc));
|
|
|
|
}
|
|
|
|
|
2007-09-16 22:56:35 +08:00
|
|
|
/// ActOnCXXBoolLiteral - Parse {true,false} literals.
|
2007-02-13 09:51:42 +08:00
|
|
|
Action::ExprResult
|
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!");
|
2007-08-25 22:02:58 +08:00
|
|
|
return new CXXBoolLiteralExpr(Kind == tok::kw_true, Context.BoolTy, OpLoc);
|
2007-02-13 09:51:42 +08:00
|
|
|
}
|
2008-02-26 08:51:44 +08:00
|
|
|
|
|
|
|
/// ActOnCXXThrow - Parse throw expressions.
|
|
|
|
Action::ExprResult
|
|
|
|
Sema::ActOnCXXThrow(SourceLocation OpLoc, ExprTy *E) {
|
|
|
|
return new CXXThrowExpr((Expr*)E, Context.VoidTy, OpLoc);
|
|
|
|
}
|
2008-07-01 18:37:29 +08:00
|
|
|
|
|
|
|
Action::ExprResult Sema::ActOnCXXThis(SourceLocation ThisLoc) {
|
|
|
|
/// 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.
|
|
|
|
|
|
|
|
if (!isa<FunctionDecl>(CurContext)) {
|
|
|
|
Diag(ThisLoc, diag::err_invalid_this_use);
|
|
|
|
return ExprResult(true);
|
|
|
|
}
|
|
|
|
|
|
|
|
if (CXXMethodDecl *MD = dyn_cast<CXXMethodDecl>(CurContext))
|
|
|
|
if (MD->isInstance())
|
2008-11-04 22:32:21 +08:00
|
|
|
return new CXXThisExpr(ThisLoc, MD->getThisType(Context));
|
2008-07-01 18:37:29 +08:00
|
|
|
|
|
|
|
return Diag(ThisLoc, diag::err_invalid_this_use);
|
|
|
|
}
|
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()").
|
|
|
|
Action::ExprResult
|
|
|
|
Sema::ActOnCXXTypeConstructExpr(SourceRange TypeRange, TypeTy *TypeRep,
|
|
|
|
SourceLocation LParenLoc,
|
|
|
|
ExprTy **ExprTys, unsigned NumExprs,
|
|
|
|
SourceLocation *CommaLocs,
|
|
|
|
SourceLocation RParenLoc) {
|
|
|
|
assert(TypeRep && "Missing type!");
|
|
|
|
QualType Ty = QualType::getFromOpaquePtr(TypeRep);
|
|
|
|
Expr **Exprs = (Expr**)ExprTys;
|
|
|
|
SourceLocation TyBeginLoc = TypeRange.getBegin();
|
|
|
|
SourceRange FullRange = SourceRange(TyBeginLoc, RParenLoc);
|
|
|
|
|
|
|
|
if (const RecordType *RT = Ty->getAsRecordType()) {
|
|
|
|
// C++ 5.2.3p1:
|
|
|
|
// If the simple-type-specifier specifies a class type, the class type shall
|
|
|
|
// be complete.
|
|
|
|
//
|
|
|
|
if (!RT->getDecl()->isDefinition())
|
2008-11-20 14:06:08 +08:00
|
|
|
return Diag(TyBeginLoc, diag::err_invalid_incomplete_type_use)
|
2008-11-24 14:25:27 +08:00
|
|
|
<< Ty << FullRange;
|
2008-08-22 23:38:55 +08:00
|
|
|
|
2008-10-07 07:16:35 +08:00
|
|
|
unsigned DiagID = PP.getDiagnostics().getCustomDiagID(Diagnostic::Error,
|
|
|
|
"class constructors are not supported yet");
|
|
|
|
return Diag(TyBeginLoc, DiagID);
|
2008-08-22 23:38:55 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
// C++ 5.2.3p1:
|
|
|
|
// 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) {
|
|
|
|
if (CheckCastTypes(TypeRange, Ty, Exprs[0]))
|
|
|
|
return true;
|
2008-10-28 03:41:14 +08:00
|
|
|
return new CXXFunctionalCastExpr(Ty.getNonReferenceType(), Ty, TyBeginLoc,
|
|
|
|
Exprs[0], RParenLoc);
|
2008-08-22 23:38:55 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
// C++ 5.2.3p1:
|
|
|
|
// If the expression list specifies more than a single value, the type shall
|
|
|
|
// be a class with a suitably declared constructor.
|
|
|
|
//
|
|
|
|
if (NumExprs > 1)
|
2008-11-19 13:27:50 +08:00
|
|
|
return 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");
|
|
|
|
|
|
|
|
// C++ 5.2.3p2:
|
|
|
|
// 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.
|
|
|
|
//
|
|
|
|
if (Ty->isArrayType())
|
2008-11-19 13:27:50 +08:00
|
|
|
return Diag(TyBeginLoc, diag::err_value_init_for_array_type) << FullRange;
|
2008-12-06 07:32:09 +08:00
|
|
|
if (!Ty->isDependentType() && Ty->isIncompleteType() && !Ty->isVoidType())
|
2008-11-19 13:27:50 +08:00
|
|
|
return Diag(TyBeginLoc, diag::err_invalid_incomplete_type_use)
|
2008-12-06 07:32:09 +08:00
|
|
|
<< Ty << FullRange;
|
2008-08-22 23:38:55 +08:00
|
|
|
|
|
|
|
return new CXXZeroInitValueExpr(Ty, TyBeginLoc, RParenLoc);
|
|
|
|
}
|
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.
|
|
|
|
Action::ExprResult
|
|
|
|
Sema::ActOnCXXNew(SourceLocation StartLoc, bool UseGlobal,
|
|
|
|
SourceLocation PlacementLParen,
|
|
|
|
ExprTy **PlacementArgs, unsigned NumPlaceArgs,
|
|
|
|
SourceLocation PlacementRParen, bool ParenTypeId,
|
2008-12-02 22:43:59 +08:00
|
|
|
Declarator &D, SourceLocation ConstructorLParen,
|
2008-11-22 03:14:01 +08:00
|
|
|
ExprTy **ConstructorArgs, unsigned NumConsArgs,
|
|
|
|
SourceLocation ConstructorRParen)
|
|
|
|
{
|
2008-12-02 22:43:59 +08:00
|
|
|
// FIXME: Throughout this function, we have rather bad location information.
|
|
|
|
// Implementing Declarator::getSourceRange() would go a long way toward
|
|
|
|
// fixing that.
|
|
|
|
|
|
|
|
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)
|
|
|
|
return Diag(Chunk.Loc, diag::err_static_illegal_in_new);
|
|
|
|
if (!Chunk.Arr.NumElts)
|
|
|
|
return Diag(Chunk.Loc, diag::err_array_new_needs_size);
|
|
|
|
ArraySize = static_cast<Expr*>(Chunk.Arr.NumElts);
|
|
|
|
Skip = 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
QualType AllocType = GetTypeForDeclarator(D, /*Scope=*/0, Skip);
|
|
|
|
if (D.getInvalidType())
|
|
|
|
return true;
|
|
|
|
|
|
|
|
if (CheckAllocatedType(AllocType, D))
|
2008-11-22 03:14:01 +08:00
|
|
|
return true;
|
|
|
|
|
2008-12-02 22:43:59 +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."
|
2008-12-02 22:43:59 +08:00
|
|
|
if (ArraySize) {
|
|
|
|
QualType SizeType = ArraySize->getType();
|
|
|
|
if (!SizeType->isIntegralType() && !SizeType->isEnumeralType())
|
|
|
|
return Diag(ArraySize->getSourceRange().getBegin(),
|
|
|
|
diag::err_array_size_not_integral)
|
|
|
|
<< SizeType << ArraySize->getSourceRange();
|
|
|
|
// 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.
|
|
|
|
llvm::APSInt Value;
|
|
|
|
if (ArraySize->isIntegerConstantExpr(Value, Context, 0, false)) {
|
|
|
|
if (Value < llvm::APSInt(
|
|
|
|
llvm::APInt::getNullValue(Value.getBitWidth()), false))
|
|
|
|
return Diag(ArraySize->getSourceRange().getBegin(),
|
|
|
|
diag::err_typecheck_negative_array_size)
|
|
|
|
<< ArraySize->getSourceRange();
|
|
|
|
}
|
|
|
|
}
|
2008-11-22 03:14:01 +08:00
|
|
|
|
|
|
|
FunctionDecl *OperatorNew = 0;
|
|
|
|
FunctionDecl *OperatorDelete = 0;
|
|
|
|
Expr **PlaceArgs = (Expr**)PlacementArgs;
|
2008-12-04 04:26:15 +08:00
|
|
|
if (FindAllocationFunctions(StartLoc, UseGlobal, AllocType, ArraySize,
|
|
|
|
PlaceArgs, NumPlaceArgs, OperatorNew,
|
|
|
|
OperatorDelete))
|
|
|
|
return true;
|
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;
|
|
|
|
Expr **ConsArgs = (Expr**)ConstructorArgs;
|
2008-12-02 22:43:59 +08:00
|
|
|
if (const RecordType *RT = AllocType->getAsRecordType()) {
|
2008-11-22 03:14:01 +08:00
|
|
|
// FIXME: This is incorrect for when there is an empty initializer and
|
|
|
|
// no user-defined constructor. Must zero-initialize, not default-construct.
|
|
|
|
Constructor = PerformInitializationByConstructor(
|
2008-12-02 22:43:59 +08:00
|
|
|
AllocType, ConsArgs, NumConsArgs,
|
|
|
|
D.getDeclSpec().getSourceRange().getBegin(),
|
|
|
|
SourceRange(D.getDeclSpec().getSourceRange().getBegin(),
|
|
|
|
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)
|
|
|
|
return true;
|
|
|
|
} else {
|
|
|
|
if (!Init) {
|
|
|
|
// FIXME: Check that no subpart is const.
|
2008-12-02 22:43:59 +08:00
|
|
|
if (AllocType.isConstQualified()) {
|
2008-11-22 03:14:01 +08:00
|
|
|
Diag(StartLoc, diag::err_new_uninitialized_const)
|
2008-12-02 22:43:59 +08:00
|
|
|
<< D.getSourceRange();
|
2008-11-22 03:14:01 +08:00
|
|
|
return true;
|
|
|
|
}
|
|
|
|
} else if (NumConsArgs == 0) {
|
|
|
|
// Object is value-initialized. Do nothing.
|
|
|
|
} else if (NumConsArgs == 1) {
|
|
|
|
// Object is direct-initialized.
|
2008-11-24 13:29:24 +08:00
|
|
|
// FIXME: WHAT DeclarationName do we pass in here?
|
2008-12-02 22:43:59 +08:00
|
|
|
if (CheckInitializerTypes(ConsArgs[0], AllocType, StartLoc,
|
|
|
|
DeclarationName() /*AllocType.getAsString()*/))
|
2008-11-22 03:14:01 +08:00
|
|
|
return true;
|
|
|
|
} else {
|
|
|
|
Diag(StartLoc, diag::err_builtin_direct_init_more_than_one_arg)
|
|
|
|
<< SourceRange(ConstructorLParen, ConstructorRParen);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// FIXME: Also check that the destructor is accessible. (C++ 5.3.4p16)
|
|
|
|
|
|
|
|
return new CXXNewExpr(UseGlobal, OperatorNew, PlaceArgs, NumPlaceArgs,
|
2008-12-02 22:43:59 +08:00
|
|
|
ParenTypeId, ArraySize, Constructor, Init,
|
2008-11-22 03:14:01 +08:00
|
|
|
ConsArgs, NumConsArgs, OperatorDelete, ResultType,
|
2008-12-02 22:43:59 +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.
|
2008-12-02 22:43:59 +08:00
|
|
|
bool Sema::CheckAllocatedType(QualType AllocType, const Declarator &D)
|
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.
|
|
|
|
// FIXME: We don't have abstract types yet.
|
|
|
|
// FIXME: Under C++ semantics, an incomplete object type is still an object
|
|
|
|
// type. This code assumes the C semantics, where it's not.
|
|
|
|
if (!AllocType->isObjectType()) {
|
2008-12-02 22:43:59 +08:00
|
|
|
unsigned type; // For the select in the message.
|
2008-11-22 03:14:01 +08:00
|
|
|
if (AllocType->isFunctionType()) {
|
2008-12-02 22:43:59 +08:00
|
|
|
type = 0;
|
2008-11-22 03:14:01 +08:00
|
|
|
} else if(AllocType->isIncompleteType()) {
|
2008-12-02 22:43:59 +08:00
|
|
|
type = 1;
|
2008-11-22 03:14:01 +08:00
|
|
|
} else {
|
2008-12-02 22:43:59 +08:00
|
|
|
assert(AllocType->isReferenceType() && "What else could it be?");
|
|
|
|
type = 2;
|
2008-11-22 03:14:01 +08:00
|
|
|
}
|
2008-12-02 22:43:59 +08:00
|
|
|
SourceRange TyR = D.getDeclSpec().getSourceRange();
|
|
|
|
// FIXME: This is very much a guess and won't work for, e.g., pointers.
|
|
|
|
if (D.getNumTypeObjects() > 0)
|
|
|
|
TyR.setEnd(D.getTypeObject(0).Loc);
|
|
|
|
Diag(TyR.getBegin(), diag::err_bad_new_type)
|
|
|
|
<< AllocType.getAsString() << type << TyR;
|
2008-11-22 03:14:01 +08:00
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
2008-12-02 22:43:59 +08:00
|
|
|
// Every dimension shall be of constant size.
|
|
|
|
unsigned i = 1;
|
2008-11-22 03:14:01 +08:00
|
|
|
while (const ArrayType *Array = Context.getAsArrayType(AllocType)) {
|
|
|
|
if (!Array->isConstantArrayType()) {
|
2008-12-02 22:43:59 +08:00
|
|
|
Diag(D.getTypeObject(i).Loc, diag::err_new_array_nonconst)
|
|
|
|
<< static_cast<Expr*>(D.getTypeObject(i).Arr.NumElts)->getSourceRange();
|
2008-11-22 03:14:01 +08:00
|
|
|
return true;
|
|
|
|
}
|
|
|
|
AllocType = Array->getElementType();
|
2008-12-02 22:43:59 +08:00
|
|
|
++i;
|
2008-11-22 03:14:01 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
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.
|
|
|
|
bool Sema::FindAllocationFunctions(SourceLocation StartLoc, bool UseGlobal,
|
|
|
|
QualType AllocType, bool IsArray,
|
|
|
|
Expr **PlaceArgs, unsigned NumPlaceArgs,
|
|
|
|
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?
|
|
|
|
AllocArgs[0] = new IntegerLiteral(llvm::APInt::getNullValue(
|
|
|
|
Context.Target.getPointerWidth(0)),
|
|
|
|
Context.getSizeType(),
|
|
|
|
SourceLocation());
|
|
|
|
std::copy(PlaceArgs, PlaceArgs + NumPlaceArgs, AllocArgs.begin() + 1);
|
|
|
|
|
|
|
|
DeclarationName NewName = Context.DeclarationNames.getCXXOperatorName(
|
|
|
|
IsArray ? OO_Array_New : OO_New);
|
|
|
|
if (AllocType->isRecordType() && !UseGlobal) {
|
2008-12-05 06:20:51 +08:00
|
|
|
CXXRecordDecl *Record = cast<CXXRecordType>(AllocType->getAsRecordType())
|
|
|
|
->getDecl();
|
|
|
|
// FIXME: We fail to find inherited overloads.
|
|
|
|
if (FindAllocationOverload(StartLoc, NewName, &AllocArgs[0],
|
|
|
|
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();
|
|
|
|
if (FindAllocationOverload(StartLoc, NewName, &AllocArgs[0],
|
|
|
|
AllocArgs.size(), TUDecl, /*AllowMissing=*/false,
|
|
|
|
OperatorNew))
|
|
|
|
return true;
|
|
|
|
}
|
2008-12-04 04:26:15 +08:00
|
|
|
|
2008-12-05 06:20:51 +08:00
|
|
|
// FIXME: This is leaked on error. But so much is currently in Sema that it's
|
|
|
|
// easier to clean it in one go.
|
|
|
|
AllocArgs[0]->Destroy(Context);
|
|
|
|
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.
|
|
|
|
bool Sema::FindAllocationOverload(SourceLocation StartLoc, DeclarationName Name,
|
|
|
|
Expr** Args, unsigned NumArgs,
|
|
|
|
DeclContext *Ctx, bool AllowMissing,
|
|
|
|
FunctionDecl *&Operator)
|
|
|
|
{
|
2008-12-23 08:26:44 +08:00
|
|
|
DeclContext::lookup_iterator Alloc, AllocEnd;
|
|
|
|
llvm::tie(Alloc, AllocEnd) = Ctx->lookup(Context, Name);
|
|
|
|
if (Alloc == AllocEnd) {
|
2008-12-05 06:20:51 +08:00
|
|
|
if (AllowMissing)
|
|
|
|
return false;
|
|
|
|
// FIXME: Bad location information.
|
|
|
|
return Diag(StartLoc, diag::err_ovl_no_viable_function_in_call)
|
|
|
|
<< Name << 0;
|
|
|
|
}
|
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;
|
|
|
|
switch(BestViableFunction(Candidates, Best)) {
|
|
|
|
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.
|
|
|
|
if (PerformCopyInitialization(Args[i-1],
|
|
|
|
FnDecl->getParamDecl(i)->getType(),
|
|
|
|
"passing"))
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
Operator = FnDecl;
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
case OR_No_Viable_Function:
|
|
|
|
if (AllowMissing)
|
|
|
|
return false;
|
|
|
|
// FIXME: Bad location information.
|
|
|
|
Diag(StartLoc, diag::err_ovl_no_viable_function_in_call)
|
|
|
|
<< Name << (unsigned)Candidates.size();
|
|
|
|
PrintOverloadCandidates(Candidates, /*OnlyViable=*/false);
|
|
|
|
return true;
|
|
|
|
|
|
|
|
case OR_Ambiguous:
|
|
|
|
// FIXME: Bad location information.
|
|
|
|
Diag(StartLoc, diag::err_ovl_ambiguous_call)
|
|
|
|
<< Name;
|
|
|
|
PrintOverloadCandidates(Candidates, /*OnlyViable=*/true);
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
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.
|
|
|
|
IdentifierResolver::iterator I = IdResolver.begin(Name, GlobalCtx,
|
|
|
|
/*CheckParent=*/false);
|
|
|
|
|
|
|
|
if (I != IdResolver.end()) {
|
|
|
|
NamedDecl *Decl = *I;
|
|
|
|
if (FunctionDecl *Fn = dyn_cast<FunctionDecl>(Decl)) {
|
|
|
|
// The return type fits. This is checked when the function is declared.
|
|
|
|
if (Fn->getNumParams() == 1 &&
|
|
|
|
Context.getCanonicalType(Fn->getParamDecl(0)->getType()) == Argument)
|
|
|
|
return;
|
|
|
|
} else if(OverloadedFunctionDecl *Ovl =
|
|
|
|
dyn_cast<OverloadedFunctionDecl>(Decl)) {
|
|
|
|
for (OverloadedFunctionDecl::function_iterator F = Ovl->function_begin(),
|
|
|
|
FEnd = Ovl->function_end();
|
|
|
|
F != FEnd; ++F) {
|
|
|
|
if ((*F)->getNumParams() == 1 &&
|
|
|
|
Context.getCanonicalType((*F)->getParamDecl(0)->getType())
|
|
|
|
== Argument)
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
QualType FnType = Context.getFunctionType(Return, &Argument, 1, false, 0);
|
|
|
|
FunctionDecl *Alloc =
|
|
|
|
FunctionDecl::Create(Context, GlobalCtx, SourceLocation(), Name,
|
|
|
|
FnType, FunctionDecl::None, false, 0,
|
|
|
|
SourceLocation());
|
|
|
|
Alloc->setImplicit();
|
|
|
|
ParmVarDecl *Param = ParmVarDecl::Create(Context, Alloc, SourceLocation(),
|
|
|
|
0, Argument, VarDecl::None, 0, 0);
|
|
|
|
Alloc->setParams(&Param, 1);
|
|
|
|
|
2008-12-23 08:26:44 +08:00
|
|
|
((DeclContext *)TUScope->getEntity())->addDecl(Context, 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
|
|
|
|
Action::ExprResult
|
|
|
|
Sema::ActOnCXXDelete(SourceLocation StartLoc, bool UseGlobal,
|
|
|
|
bool ArrayForm, ExprTy *Operand)
|
|
|
|
{
|
|
|
|
// 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.
|
|
|
|
|
|
|
|
Expr *Ex = (Expr *)Operand;
|
|
|
|
QualType Type = Ex->getType();
|
|
|
|
|
|
|
|
if (Type->isRecordType()) {
|
|
|
|
// FIXME: Find that one conversion function and amend the type.
|
|
|
|
}
|
|
|
|
|
|
|
|
if (!Type->isPointerType()) {
|
2008-11-24 14:25:27 +08:00
|
|
|
Diag(StartLoc, diag::err_delete_operand) << Type << Ex->getSourceRange();
|
2008-11-22 03:14:01 +08:00
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
QualType Pointee = Type->getAsPointerType()->getPointeeType();
|
|
|
|
if (Pointee->isIncompleteType() && !Pointee->isVoidType())
|
|
|
|
Diag(StartLoc, diag::warn_delete_incomplete)
|
2008-11-24 14:25:27 +08:00
|
|
|
<< Pointee << Ex->getSourceRange();
|
2008-11-22 03:14:01 +08:00
|
|
|
else if (!Pointee->isObjectType()) {
|
|
|
|
Diag(StartLoc, diag::err_delete_operand)
|
2008-11-24 14:25:27 +08:00
|
|
|
<< Type << Ex->getSourceRange();
|
2008-11-22 03:14:01 +08:00
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
// FIXME: Look up the correct operator delete overload and pass a pointer
|
|
|
|
// along.
|
|
|
|
// FIXME: Check access and ambiguity of operator delete and destructor.
|
|
|
|
|
|
|
|
return new CXXDeleteExpr(Context.VoidTy, UseGlobal, ArrayForm, 0, Ex,
|
|
|
|
StartLoc);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
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()) {...}"
|
|
|
|
Action::ExprResult
|
|
|
|
Sema::ActOnCXXConditionDeclarationExpr(Scope *S, SourceLocation StartLoc,
|
|
|
|
Declarator &D,
|
|
|
|
SourceLocation EqualLoc,
|
|
|
|
ExprTy *AssignExprVal) {
|
|
|
|
assert(AssignExprVal && "Null assignment expression");
|
|
|
|
|
|
|
|
// 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.");
|
|
|
|
|
|
|
|
QualType Ty = GetTypeForDeclarator(D, S);
|
|
|
|
|
|
|
|
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.
|
2008-11-19 13:27:50 +08:00
|
|
|
return 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);
|
2008-09-10 10:17:11 +08:00
|
|
|
} else if (const RecordType *RT = Ty->getAsRecordType()) {
|
|
|
|
RecordDecl *RD = RT->getDecl();
|
|
|
|
// The type-specifier-seq shall not declare a new class...
|
|
|
|
if (RD->isDefinition() && (RD->getIdentifier() == 0 || S->isDeclScope(RD)))
|
|
|
|
Diag(RD->getLocation(), diag::err_type_defined_in_condition);
|
|
|
|
} else if (const EnumType *ET = Ty->getAsEnumType()) {
|
|
|
|
EnumDecl *ED = ET->getDecl();
|
|
|
|
// ...or enumeration.
|
|
|
|
if (ED->isDefinition() && (ED->getIdentifier() == 0 || S->isDeclScope(ED)))
|
|
|
|
Diag(ED->getLocation(), diag::err_type_defined_in_condition);
|
|
|
|
}
|
|
|
|
|
|
|
|
DeclTy *Dcl = ActOnDeclarator(S, D, 0);
|
|
|
|
if (!Dcl)
|
|
|
|
return true;
|
2008-12-14 00:23:55 +08:00
|
|
|
AddInitializerToDecl(Dcl, ExprArg(*this, AssignExprVal));
|
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.
|
|
|
|
if (VarDecl *VD = dyn_cast<VarDecl>((Decl *)Dcl))
|
|
|
|
VD->setDeclaredInCondition(true);
|
|
|
|
|
2008-09-10 10:17:11 +08:00
|
|
|
return new CXXConditionDeclExpr(StartLoc, EqualLoc,
|
|
|
|
cast<VarDecl>(static_cast<Decl *>(Dcl)));
|
|
|
|
}
|
|
|
|
|
|
|
|
/// 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.
|
|
|
|
//
|
|
|
|
QualType Ty = CondExpr->getType(); // Save the type.
|
|
|
|
AssignConvertType
|
|
|
|
ConvTy = CheckSingleAssignmentConstraints(Context.BoolTy, CondExpr);
|
|
|
|
if (ConvTy == Incompatible)
|
2008-11-20 14:06:08 +08:00
|
|
|
return Diag(CondExpr->getLocStart(), diag::err_typecheck_bool_condition)
|
2008-11-24 14:25:27 +08:00
|
|
|
<< Ty << CondExpr->getSourceRange();
|
2008-09-10 10:17:11 +08:00
|
|
|
return false;
|
|
|
|
}
|
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))
|
|
|
|
if (const PointerType *ToPtrType = ToType->getAsPointerType())
|
|
|
|
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
|
|
|
|
/// performing, used in the error message.
|
2008-10-24 12:54:22 +08:00
|
|
|
bool
|
2008-12-20 01:40:08 +08:00
|
|
|
Sema::PerformImplicitConversion(Expr *&From, QualType ToType,
|
|
|
|
const char *Flavor)
|
2008-10-24 12:54:22 +08:00
|
|
|
{
|
2008-10-29 08:13:59 +08:00
|
|
|
ImplicitConversionSequence ICS = TryImplicitConversion(From, ToType);
|
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:
|
|
|
|
// FIXME: This is, of course, wrong. We'll need to actually call
|
|
|
|
// the constructor or conversion operator, and then cope with the
|
|
|
|
// standard conversions.
|
|
|
|
ImpCastExprToType(From, ToType);
|
2008-11-01 00:23:19 +08:00
|
|
|
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,
|
|
|
|
const char *Flavor)
|
2008-10-24 12:54:22 +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.
|
|
|
|
QualType FromType = From->getType();
|
|
|
|
|
2008-11-04 03:09:14 +08:00
|
|
|
if (SCS.CopyConstructor) {
|
|
|
|
// FIXME: Create a temporary object by calling the copy
|
|
|
|
// constructor.
|
|
|
|
ImpCastExprToType(From, ToType);
|
|
|
|
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:
|
2008-11-11 04:40:00 +08:00
|
|
|
if (FromType->isOverloadType()) {
|
|
|
|
FunctionDecl *Fn = ResolveAddressOfOverloadedFunction(From, ToType, true);
|
|
|
|
if (!Fn)
|
|
|
|
return true;
|
|
|
|
|
|
|
|
FixOverloadedFunctionReference(From, Fn);
|
|
|
|
FromType = From->getType();
|
|
|
|
} else {
|
|
|
|
FromType = Context.getArrayDecayedType(FromType);
|
|
|
|
}
|
2008-10-24 12:54:22 +08:00
|
|
|
ImpCastExprToType(From, FromType);
|
|
|
|
break;
|
|
|
|
|
|
|
|
case ICK_Function_To_Pointer:
|
|
|
|
FromType = Context.getPointerType(FromType);
|
|
|
|
ImpCastExprToType(From, FromType);
|
|
|
|
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:
|
|
|
|
case ICK_Integral_Conversion:
|
|
|
|
case ICK_Floating_Conversion:
|
|
|
|
case ICK_Floating_Integral:
|
|
|
|
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;
|
|
|
|
|
|
|
|
case ICK_Pointer_Member:
|
|
|
|
// FIXME: Implement pointer-to-member conversions.
|
|
|
|
assert(false && "Pointer-to-member conversions are unsupported");
|
|
|
|
break;
|
|
|
|
|
|
|
|
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:
|
|
|
|
ImpCastExprToType(From, ToType);
|
|
|
|
break;
|
|
|
|
|
|
|
|
default:
|
|
|
|
assert(false && "Improper second standard conversion");
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|