fix anonymous struct member initialization

The C front-end needs to ignore the unnamed bit-field during struct
initialization; issue #3709.

Author: Daniel Kroening

regression/cbmc/Struct_Initialization1/test.desc

@@ -1,4 +1,4 @@
-KNOWNBUG
+CORE
 main.c
 
 ^EXIT=0$

src/ansi-c/c_typecheck_initializer.cpp

@@ -663,10 +663,15 @@ void c_typecheck_baset::increment_designator(designatort &designator)
       assert(components.size()==entry.size);
 
       // we skip over any padding or code
-      while(entry.index<entry.size &&
+      // we also skip over anonymous members
+      while(entry.index < entry.size &&
             (components[entry.index].get_is_padding() ||
-             components[entry.index].type().id()==ID_code))
+             (components[entry.index].get_anonymous() &&
+              components[entry.index].type().id() != ID_struct_tag) ||
+             components[entry.index].type().id() == ID_code))
+      {
         entry.index++;
+      }
 
       if(entry.index<entry.size)
         entry.subtype=components[entry.index].type();