diff options
| -rw-r--r-- | lib/Sema/SemaExpr.cpp | 1 | ||||
| -rw-r--r-- | test/CodeGen/transparent-union.c | 22 |
2 files changed, 23 insertions, 0 deletions
diff --git a/lib/Sema/SemaExpr.cpp b/lib/Sema/SemaExpr.cpp index 83319a8087..c65db7e835 100644 --- a/lib/Sema/SemaExpr.cpp +++ b/lib/Sema/SemaExpr.cpp @@ -4954,6 +4954,7 @@ Sema::CheckTransparentUnionArgumentConstraints(QualType ArgType, Expr *&rExpr) { if (CheckAssignmentConstraints(it->getType(), rExpr->getType()) == Compatible) { + ImpCastExprToType(rExpr, it->getType(), CK_Unknown); InitField = *it; break; } diff --git a/test/CodeGen/transparent-union.c b/test/CodeGen/transparent-union.c new file mode 100644 index 0000000000..9f1cdda18d --- /dev/null +++ b/test/CodeGen/transparent-union.c @@ -0,0 +1,22 @@ +// RUN: %clang_cc1 -triple i386-unknown-unknown -emit-llvm -o %t %s +// RUN: FileCheck < %t %s +// +// FIXME: Note that we don't currently get the ABI right here. f0() should be +// f0(i8*). + +typedef union { + void *f0; +} transp_t0 __attribute__((transparent_union)); + +void f0(transp_t0 obj); + +// CHECK: define void @f1_0(i32* %a0) +// CHECK: call void @f0(%union.anon* byval %{{.*}}) +// CHECK: } +void f1_0(int *a0) { + f0(a0); +} + +void f1_1(int *a0) { + f0((transp_t0) { a0 }); +} |