C front-end: zero-width bit-fields must not have a declarator

regression/ansi-c/bitfields2/main.c

@@ -0,0 +1,39 @@
+#include <limits.h>
+
+#define CONCAT(a, b) a##b
+#define CONCAT2(a, b) CONCAT(a, b)
+
+#define STATIC_ASSERT(condition)                                               \
+  int CONCAT2(some_array, __LINE__)[(condition) ? 1 : -1]
+
+#if CHAR_BIT == 8
+struct bits
+{
+  char a : 4;
+  char b : 4;
+  char c : 4;
+  char d : 4;
+  char : 0; // this is ok: no declarator
+  int i;
+};
+
+STATIC_ASSERT(sizeof(struct bits) == 2 * sizeof(int));
+
+#  pragma pack(1)
+struct packed_bits
+{
+  char a : 4;
+  char b : 4;
+  char c : 4;
+  char d : 4;
+  char x : 0; // this is not permitted
+  int i;
+};
+#  pragma pack()
+
+STATIC_ASSERT(sizeof(struct packed_bits) == sizeof(int) + 2);
+#endif
+
+int main()
+{
+}

regression/ansi-c/bitfields2/test.desc

@@ -0,0 +1,9 @@
+CORE
+main.c
+
+zero-width bit-field with declarator not permitted$
+CONVERSION ERROR
+^EXIT=(64|1)$
+^SIGNAL=0$
+--
+^warning: ignoring

src/ansi-c/c_typecheck_type.cpp

@@ -964,6 +964,16 @@ void c_typecheck_baset::typecheck_compound_body(
           throw 0;
         }
 
+        if(
+          new_component.type().id() == ID_c_bit_field &&
+          to_c_bit_field_type(new_component.type()).get_width() == 0 &&
+          !new_component.get_name().empty())
+        {
+          throw invalid_source_file_exceptiont{
+            "zero-width bit-field with declarator not permitted",
+            source_location};
+        }
+
         components.push_back(new_component);
       }
     }