diff options
| author | Anders Carlsson <andersca@mac.com> | 2009-11-13 17:04:35 +0000 |
|---|---|---|
| committer | Anders Carlsson <andersca@mac.com> | 2009-11-13 17:04:35 +0000 |
| commit | 4b3cbeaea60a1a2d1adc73738123c24549b7ce2c (patch) | |
| tree | 228f6878aa8ed8f14970a7318ca3de7a6dd48fd2 | |
| parent | e675049aa302bf07472ae6e76ff66e6f5427eff9 (diff) | |
Don't bind arguments to temporaries if the argument has a reference type.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@88662 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | lib/Sema/SemaExpr.cpp | 3 | ||||
| -rw-r--r-- | test/CodeGenCXX/temporaries.cpp | 14 |
2 files changed, 16 insertions, 1 deletions
diff --git a/lib/Sema/SemaExpr.cpp b/lib/Sema/SemaExpr.cpp index 3663f0923d..f20b37d90c 100644 --- a/lib/Sema/SemaExpr.cpp +++ b/lib/Sema/SemaExpr.cpp @@ -2653,7 +2653,8 @@ Sema::ConvertArgumentsForCall(CallExpr *Call, Expr *Fn, if (PerformCopyInitialization(Arg, ProtoArgType, "passing")) return true; - Arg = MaybeBindToTemporary(Arg).takeAs<Expr>(); + if (!ProtoArgType->isReferenceType()) + Arg = MaybeBindToTemporary(Arg).takeAs<Expr>(); } else { ParmVarDecl *Param = FDecl->getParamDecl(i); diff --git a/test/CodeGenCXX/temporaries.cpp b/test/CodeGenCXX/temporaries.cpp index 4f65e462d4..e55027460f 100644 --- a/test/CodeGenCXX/temporaries.cpp +++ b/test/CodeGenCXX/temporaries.cpp @@ -188,3 +188,17 @@ void f9(H h) { // CHECK: call void @_ZN1HD1Ev f9(h); } + +void f10(const H&); + +void f11(H h) { + // CHECK: call void @_ZN1HC1Ev + // CHECK: call void @_Z3f10RK1H + // CHECK: call void @_ZN1HD1Ev + f10(H()); + + // CHECK: call void @_Z3f10RK1H + // CHECK-NOT: call void @_ZN1HD1Ev + // CHECK: ret void + f10(h); +}
\ No newline at end of file |