diff options
| -rw-r--r-- | clang/lib/CodeGen/CGExprAgg.cpp | 15 | ||||
| -rw-r--r-- | clang/test/CodeGen/cast-to-union.c | 10 |
2 files changed, 24 insertions, 1 deletions
diff --git a/clang/lib/CodeGen/CGExprAgg.cpp b/clang/lib/CodeGen/CGExprAgg.cpp index 7571149b5a7..5e36751fb76 100644 --- a/clang/lib/CodeGen/CGExprAgg.cpp +++ b/clang/lib/CodeGen/CGExprAgg.cpp @@ -74,6 +74,7 @@ public: // Operators. // case Expr::UnaryOperatorClass: // case Expr::CastExprClass: + void VisitCStyleCastExpr(CStyleCastExpr *E); void VisitImplicitCastExpr(ImplicitCastExpr *E); void VisitCallExpr(const CallExpr *E); void VisitStmtExpr(const StmtExpr *E); @@ -127,6 +128,18 @@ void AggExprEmitter::EmitAggLoadOfLValue(const Expr *E) { // Visitor Methods //===----------------------------------------------------------------------===// +void AggExprEmitter::VisitCStyleCastExpr(CStyleCastExpr *E) { + // GCC union extension + if (E->getType()->isUnionType()) { + RecordDecl *SD = E->getType()->getAsRecordType()->getDecl(); + LValue FieldLoc = CGF.EmitLValueForField(DestPtr, *SD->field_begin(), true, 0); + EmitInitializationToLValue(E->getSubExpr(), FieldLoc); + return; + } + + Visit(E->getSubExpr()); +} + void AggExprEmitter::VisitImplicitCastExpr(ImplicitCastExpr *E) { assert(CGF.getContext().typesAreCompatible( E->getSubExpr()->getType().getUnqualifiedType(), @@ -467,7 +480,7 @@ void AggExprEmitter::VisitInitListExpr(InitListExpr *E) { // Unions only initialize one field. // (things can get weird with designators, but they aren't // supported yet.) - if (E->getType()->isUnionType()) + if (isUnion) break; } } diff --git a/clang/test/CodeGen/cast-to-union.c b/clang/test/CodeGen/cast-to-union.c new file mode 100644 index 00000000000..3f339041eb3 --- /dev/null +++ b/clang/test/CodeGen/cast-to-union.c @@ -0,0 +1,10 @@ +// RUN: clang -emit-llvm < %s | grep "store i32 351, i32*" + +union u { int i; }; + +void foo() { + union u ola = (union u) 351; +} + +// FIXME: not working yet +// union u w = (union u)2; |
