Merge pull request #3712 from diffblue/struct-initialization-unnamed-bit-field

extended test for case of unnamed bit-fields (#3709)

Author: tautschnig

regression/cbmc/Struct_Initialization1/main.c

@@ -1,5 +1,8 @@
+#include <assert.h>
+
 struct tag1 {
   int f;
+  int : 32; // unnamed bit-field, ignored during initialization
   int g;
   int *p;
   int a[2];

regression/cbmc/Struct_Initialization1/test.desc

@@ -1,8 +1,11 @@
-CORE
+KNOWNBUG
 main.c
 
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$
 --
 ^warning: ignoring
+--
+The C front-end needs to ignore the unnamed bit-field during struct
+initialization; issue #3709.