From: Fariborz Jahanian <fjahanian@apple.com>
Date: Sat, 29 Aug 2009 20:33:32 +0000 (+0000)
Subject: Patch to ir-gen user-defined conversions used in expressions
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=383d29853331e4f6c0c720a1df9cab31f6ab3dba;p=clang

Patch to ir-gen user-defined conversions used in expressions
[12.3.2-p3]



git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@80436 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/lib/CodeGen/CodeGenFunction.cpp b/lib/CodeGen/CodeGenFunction.cpp
index 68ab6dfc58..e3511edd2b 100644
--- a/lib/CodeGen/CodeGenFunction.cpp
+++ b/lib/CodeGen/CodeGenFunction.cpp
@@ -324,6 +324,17 @@ void CodeGenFunction::EmitBranchOnBoolExpr(const Expr *Cond,
                                            llvm::BasicBlock *FalseBlock) {
   if (const ParenExpr *PE = dyn_cast<ParenExpr>(Cond))
     return EmitBranchOnBoolExpr(PE->getSubExpr(), TrueBlock, FalseBlock);
+  if (const CastExpr *E = dyn_cast<CastExpr>(Cond))
+    if (E->getCastKind() == CastExpr::CK_UserDefinedConversion) {
+      if (const CXXFunctionalCastExpr *CXXFExpr = 
+            dyn_cast<CXXFunctionalCastExpr>(E)) {
+          EmitCXXFunctionalCastExpr(CXXFExpr);
+        return;
+      }
+      else if (isa<CStyleCastExpr>(E))
+        return EmitBranchOnBoolExpr(E->getSubExpr(), TrueBlock, FalseBlock);
+      assert(false && "EmitBranchOnBoolExpr - Expected CStyleCastExpr");
+    }
   
   if (const BinaryOperator *CondBOp = dyn_cast<BinaryOperator>(Cond)) {
     // Handle X && Y in a condition.
diff --git a/test/CodeGenCXX/conversion-function.cpp b/test/CodeGenCXX/conversion-function.cpp
index f3c0e33bf1..e7820bb44f 100644
--- a/test/CodeGenCXX/conversion-function.cpp
+++ b/test/CodeGenCXX/conversion-function.cpp
@@ -39,6 +39,22 @@ class Y { // ...
 
 Y y;
 
+int count=0;
+class O { // ...
+public: 
+	operator int(){ return ++iO; }
+        O() : iO(count++) {}
+	int iO;
+};
+
+void g(O a, O b)
+{
+        int i = (a) ? 1+a : 0; 
+        int j = (a&&b) ? a+b : i; 
+        if (a) { }
+	printf("i = %d j = %d a.iO = %d b.iO = %d\n", i, j, a.iO, b.iO);
+}
+
 int main() {
     int c = X(Z(y)); // OK: y.operator Z().operator X().operator int()
     printf("c = %d\n", c);
@@ -58,6 +74,8 @@ int main() {
 
     int e = (int)((X)((Z)y));
     printf("e = %d\n", e);
+    O o1, o2;
+    g(o1, o2);
 }
 // CHECK-LP64: .globl  __ZN1ScviEv
 // CHECK-LP64-NEXT: __ZN1ScviEv: