Call MaybeBindToTemporary for overloaded binary and unary operators.

llvm-svn: 79173
This commit is contained in:
Anders Carlsson 2009-08-16 04:11:06 +00:00
parent 1c83debc36
commit e80ccac2cb
3 changed files with 25 additions and 7 deletions

View File

@ -588,6 +588,9 @@ bool Expr::isUnusedResultAWarning(SourceLocation &Loc, SourceRange &R1,
// effects (e.g. a placement new with an uninitialized POD).
case CXXDeleteExprClass:
return false;
case CXXBindTemporaryExprClass:
return cast<CXXBindTemporaryExpr>(this)
->getSubExpr()->isUnusedResultAWarning(Loc, R1, R2);
case CXXExprWithTemporariesClass:
return cast<CXXExprWithTemporaries>(this)
->getSubExpr()->isUnusedResultAWarning(Loc, R1, R2);

View File

@ -4041,9 +4041,10 @@ Sema::OwningExprResult Sema::CreateOverloadedUnaryOp(SourceLocation OpLoc,
UsualUnaryConversions(FnExpr);
input.release();
return Owned(new (Context) CXXOperatorCallExpr(Context, Op, FnExpr,
&Input, 1, ResultTy,
OpLoc));
Expr *CE = new (Context) CXXOperatorCallExpr(Context, Op, FnExpr,
&Input, 1, ResultTy, OpLoc);
return MaybeBindToTemporary(CE);
} else {
// We matched a built-in operator. Convert the arguments, then
// break out so that we will build the appropriate built-in
@ -4196,9 +4197,9 @@ Sema::CreateOverloadedBinOp(SourceLocation OpLoc,
OpLoc);
UsualUnaryConversions(FnExpr);
return Owned(new (Context) CXXOperatorCallExpr(Context, Op, FnExpr,
Args, 2, ResultTy,
OpLoc));
Expr *CE = new (Context) CXXOperatorCallExpr(Context, Op, FnExpr,
Args, 2, ResultTy, OpLoc);
return MaybeBindToTemporary(CE);
} else {
// We matched a built-in operator. Convert the arguments, then
// break out so that we will build the appropriate built-in

View File

@ -49,9 +49,23 @@ struct D {
};
// RUN: grep "call void @_ZN1DC1Ev" %t | count 1 &&
// RUN: grep "call void @_ZN1DD1Ev" %t | count 2
// RUN: grep "call void @_ZN1DD1Ev" %t | count 2 &&
void f4() {
D()();
}
// Overloaded operators
struct E {
E();
~E();
E operator+(const E&);
E operator!();
};
// RUN: grep "call void @_ZN1EC1Ev" %t | count 3 &&
// RUN: grep "call void @_ZN1ED1Ev" %t | count 5
void f5() {
E() + E();
!E();
}