check non-interference of __anonCompField1 with anonymous field

tests/syntax/oracle/rename.res.oracle

 [kernel] Parsing tests/syntax/rename.i (no preprocessing)
+[kernel] tests/syntax/rename.i:48: Warning: 
+  unnamed fields are a C11 extension (use -c11 to avoid this warning)
 /* Generated by Frama-C */
 struct not_anon {
    int __anonCompField1 ;
 };
+struct __anonstruct_1 {
+   int inner_i ;
+};
+struct anon {
+   struct __anonstruct_1 __anonCompField1 ;
+};
 int f(void)
 {
   int x = 0;
@@ -66,4 +74,5 @@ void f4(int *j_0_1)
 }
 
 struct not_anon s = {.__anonCompField1 = 0};
+struct anon a = {.__anonCompField1 = {.inner_i = 0}};
 

tests/syntax/rename.i

@@ -44,3 +44,9 @@ struct not_anon {
 };
 
 struct not_anon s = {.__anonCompField1 = 0};
+
+struct anon {
+  struct { int inner_i; };
+};
+
+struct anon a = { .inner_i = 0 };