From: Abramo Bagnara Date: Thu, 7 Oct 2010 21:20:44 +0000 (+0000) Subject: Fixed cast to union with anonymous bitfields. X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=8c4bfe52e528d6c9810cfb0c59859bca9ddc41f0;p=clang Fixed cast to union with anonymous bitfields. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@115979 91177308-0d34-0410-b5e6-96231b3b80d8 --- diff --git a/lib/Sema/SemaExpr.cpp b/lib/Sema/SemaExpr.cpp index 9a3cb442a7..fec8cb9166 100644 --- a/lib/Sema/SemaExpr.cpp +++ b/lib/Sema/SemaExpr.cpp @@ -3986,7 +3986,8 @@ bool Sema::CheckCastTypes(SourceRange TyR, QualType castType, Expr *&castExpr, for (Field = RD->field_begin(), FieldEnd = RD->field_end(); Field != FieldEnd; ++Field) { if (Context.hasSameUnqualifiedType(Field->getType(), - castExpr->getType())) { + castExpr->getType()) && + !Field->isUnnamedBitfield()) { Diag(TyR.getBegin(), diag::ext_typecheck_cast_to_union) << castExpr->getSourceRange(); break; diff --git a/test/Sema/cast-to-union.c b/test/Sema/cast-to-union.c index 6f275e8b50..c32964dfc0 100644 --- a/test/Sema/cast-to-union.c +++ b/test/Sema/cast-to-union.c @@ -1,11 +1,12 @@ // RUN: %clang_cc1 -fsyntax-only -verify -pedantic %s -union u { int i; }; +union u { int i; unsigned : 3; }; void f(union u); void test(int x) { f((union u)x); // expected-warning {{C99 forbids casts to union type}} f((union u)&x); // expected-error {{cast to union type from type 'int *' not present in union}} + f((union u)2U); // expected-error {{cast to union type from type 'unsigned int' not present in union}} } union u w = (union u)2; // expected-warning {{C99 forbids casts to union type}}