[cfe-commits] r82664 - in /cfe/trunk: lib/Sema/SemaDeclCXX.cpp test/CodeGenCXX/decl-ref-init.cpp

[Fariborz Jahanian]

Author: fjahanian
Date: Wed Sep 23 17:34:00 2009
New Revision: 82664

URL: http://llvm.org/viewvc/llvm-project?rev=82664&view=rev
Log:
patch to ir-gen conversion function call used in
initializing a reference class.


Added:
    cfe/trunk/test/CodeGenCXX/decl-ref-init.cpp
Modified:
    cfe/trunk/lib/Sema/SemaDeclCXX.cpp

Modified: cfe/trunk/lib/Sema/SemaDeclCXX.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Sema/SemaDeclCXX.cpp?rev=82664&r1=82663&r2=82664&view=diff

==============================================================================
--- cfe/trunk/lib/Sema/SemaDeclCXX.cpp (original)
+++ cfe/trunk/lib/Sema/SemaDeclCXX.cpp Wed Sep 23 17:34:00 2009
@@ -3527,10 +3527,15 @@
                "Expected a direct reference binding!");
         return false;
       } else {
-        // Perform the conversion.
-        // FIXME: Binding to a subobject of the lvalue is going to require more
-        // AST annotation than this.
-        ImpCastExprToType(Init, T1, CastExpr::CK_Unknown, /*isLvalue=*/true);
+        OwningExprResult InitConversion =
+          BuildCXXCastArgument(Init->getLocStart(), QualType(),
+                               CastExpr::CK_UserDefinedConversion,
+                               cast<CXXMethodDecl>(Best->Function), 
+                               Owned(Init));
+        Init = InitConversion.takeAs<Expr>();
+                                    
+        ImpCastExprToType(Init, T1, CastExpr::CK_UserDefinedConversion, 
+                          /*isLvalue=*/true);
       }
       break;
 

Added: cfe/trunk/test/CodeGenCXX/decl-ref-init.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/CodeGenCXX/decl-ref-init.cpp?rev=82664&view=auto

==============================================================================
--- cfe/trunk/test/CodeGenCXX/decl-ref-init.cpp (added)
+++ cfe/trunk/test/CodeGenCXX/decl-ref-init.cpp Wed Sep 23 17:34:00 2009
@@ -0,0 +1,31 @@
+// RUN: clang-cc -triple x86_64-apple-darwin -S %s -o %t-64.s &&
+// RUN: FileCheck -check-prefix LP64 --input-file=%t-64.s %s &&
+// RUN: clang-cc -triple i386-apple-darwin -S %s -o %t-32.s &&
+// RUN: FileCheck -check-prefix LP32 --input-file=%t-32.s %s &&
+// RUN: true
+
+struct A {};
+
+struct B 
+{ 
+  operator A&();
+}; 
+
+
+struct D : public B {
+  operator A();
+};
+
+extern B f(); 
+extern D d(); 
+
+int main() {
+	const A& rca = f();
+	const A& rca2 = d();
+}
+
+// CHECK-LP64: call     __ZN1BcvR1AEv
+// CHECK-LP64: call     __ZN1BcvR1AEv
+
+// CHECK-LP32: call     L__ZN1BcvR1AEv
+// CHECK-LP32: call     L__ZN1BcvR1AEv