From 65f0edec4b67b30d058bee3a16ac8cfdbb8eabd6 Mon Sep 17 00:00:00 2001
From: Joseph Myers <jsm@polyomino.org.uk>
Date: Sat, 29 Nov 2003 20:09:48 +0000
Subject: [PATCH] re PR c/10333 (typeof (bitfield) is accepted but doesn't
 work)

	PR c/10333
	* c-parse.in (typespec_reserved_nonattr): Reject typeof on
	bit-fields.

testsuite:
	* gcc.dg/bitfld-7.c: New test.

From-SVN: r74036
---
 gcc/ChangeLog                   | 6 ++++++
 gcc/c-parse.in                  | 6 +++++-
 gcc/testsuite/ChangeLog         | 5 +++++
 gcc/testsuite/gcc.dg/bitfld-7.c | 8 ++++++++
 4 files changed, 24 insertions(+), 1 deletion(-)
 create mode 100644 gcc/testsuite/gcc.dg/bitfld-7.c

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 2fc72f917d01..3174814e16f1 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2003-11-29  Joseph S. Myers  <jsm@polyomino.org.uk>
+
+	PR c/10333
+	* c-parse.in (typespec_reserved_nonattr): Reject typeof on
+	bit-fields.
+
 2003-11-29  Richard Sandiford  <rsandifo@redhat.com>
 
 	* stmt.c (expand_asm_operands): Check whether force_const_mem
diff --git a/gcc/c-parse.in b/gcc/c-parse.in
index d58b1ef6bbe2..9a18d3407372 100644
--- a/gcc/c-parse.in
+++ b/gcc/c-parse.in
@@ -1375,7 +1375,11 @@ typespec_nonreserved_nonattr:
                 { $$ = get_object_reference ($1); }
 @@end_ifobjc
 	| typeof '(' expr ')'
-		{ skip_evaluation--; $$ = TREE_TYPE ($3); }
+		{ skip_evaluation--;
+		  if (TREE_CODE ($3) == COMPONENT_REF
+		      && DECL_C_BIT_FIELD (TREE_OPERAND ($3, 1)))
+		    error ("`typeof' applied to a bit-field");
+		  $$ = TREE_TYPE ($3); }
 	| typeof '(' typename ')'
 		{ skip_evaluation--; $$ = groktypename ($3); }
 	;
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 6ef9814b5aef..8a5b62a552f5 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2003-11-29  Joseph S. Myers  <jsm@polyomino.org.uk>
+
+	PR c/10333
+	* gcc.dg/bitfld-7.c: New test.
+
 2003-11-29  Richard Sandiford  <rsandifo@redhat.com>
 
 	* gcc.dg/tls/asm-1.C: New test.
diff --git a/gcc/testsuite/gcc.dg/bitfld-7.c b/gcc/testsuite/gcc.dg/bitfld-7.c
new file mode 100644
index 000000000000..70004ffd8cba
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/bitfld-7.c
@@ -0,0 +1,8 @@
+/* Test for rejection of typeof on bit-fields.  PR c/10333.  */
+/* Origin: Joseph Myers <jsm@polyomino.org.uk> */
+/* { dg-do compile } */
+/* { dg-options "" } */
+
+struct { int a:1; } x;
+
+typeof (x.a) z; /* { dg-error "applied to a bit-field" "typeof" } */