From 27a9b72bf1e4fe9f1d3ee9a5db1b9d614b0ee01c Mon Sep 17 00:00:00 2001 From: Eli Friedman Date: Sat, 19 Dec 2009 00:20:10 +0000 Subject: [PATCH] Fix for PR5524: make reference binding in default argument work correctly. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@91733 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/CodeGen/CGExpr.cpp | 5 ++++- test/CodeGenCXX/reference-bind-default-argument.cpp | 6 ++++++ 2 files changed, 10 insertions(+), 1 deletion(-) create mode 100644 test/CodeGenCXX/reference-bind-default-argument.cpp diff --git a/lib/CodeGen/CGExpr.cpp b/lib/CodeGen/CGExpr.cpp index 6773d0bbe8..64fbfbcb56 100644 --- a/lib/CodeGen/CGExpr.cpp +++ b/lib/CodeGen/CGExpr.cpp @@ -97,7 +97,10 @@ RValue CodeGenFunction::EmitReferenceBindingToExpr(const Expr* E, bool IsInitializer) { bool ShouldDestroyTemporaries = false; unsigned OldNumLiveTemporaries = 0; - + + if (const CXXDefaultArgExpr *DAE = dyn_cast(E)) + E = DAE->getExpr(); + if (const CXXExprWithTemporaries *TE = dyn_cast(E)) { ShouldDestroyTemporaries = true; diff --git a/test/CodeGenCXX/reference-bind-default-argument.cpp b/test/CodeGenCXX/reference-bind-default-argument.cpp new file mode 100644 index 0000000000..acce962b19 --- /dev/null +++ b/test/CodeGenCXX/reference-bind-default-argument.cpp @@ -0,0 +1,6 @@ +// RUN: %clang_cc1 %s -emit-llvm-only -verify + +struct A {}; +struct B : A {}; +void a(const A& x = B()); +void b() { a(); } -- 2.50.1