diff options
author | Eli Friedman <eli.friedman@gmail.com> | 2009-12-19 00:20:10 +0000 |
---|---|---|
committer | Eli Friedman <eli.friedman@gmail.com> | 2009-12-19 00:20:10 +0000 |
commit | 27a9b72bf1e4fe9f1d3ee9a5db1b9d614b0ee01c (patch) | |
tree | 6bd21607afc9f6f7dfb9253c2fa2d20a9bdb91fe | |
parent | e12e77bed10f87bdc7305d0dbd1de89e48f280c1 (diff) |
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
-rw-r--r-- | lib/CodeGen/CGExpr.cpp | 5 | ||||
-rw-r--r-- | test/CodeGenCXX/reference-bind-default-argument.cpp | 6 |
2 files changed, 10 insertions, 1 deletions
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<CXXDefaultArgExpr>(E)) + E = DAE->getExpr(); + if (const CXXExprWithTemporaries *TE = dyn_cast<CXXExprWithTemporaries>(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(); } |