]> granicus.if.org Git - clang/commitdiff
Fix for PR5524: make reference binding in default argument work correctly.
authorEli Friedman <eli.friedman@gmail.com>
Sat, 19 Dec 2009 00:20:10 +0000 (00:20 +0000)
committerEli Friedman <eli.friedman@gmail.com>
Sat, 19 Dec 2009 00:20:10 +0000 (00:20 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@91733 91177308-0d34-0410-b5e6-96231b3b80d8

lib/CodeGen/CGExpr.cpp
test/CodeGenCXX/reference-bind-default-argument.cpp [new file with mode: 0644]

index 6773d0bbe827ef73e5a619f61166c296830f646b..64fbfbcb56ca674ed09a8dfac700ece2f8068640 100644 (file)
@@ -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 (file)
index 0000000..acce962
--- /dev/null
@@ -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(); }