anonymous_comp_init.res.oracle

[kernel] Parsing tests/syntax/anonymous_comp_init.i (no preprocessing)
[kernel] tests/syntax/anonymous_comp_init.i:62: Warning: 
  Too many initializers for structure
/* Generated by Frama-C */
struct __anonstruct_2 {
   int f2 ;
};
struct __anonstruct_s1_1 {
   int f1 ;
   struct __anonstruct_2 __anonCompField1 ;
   int f3 ;
};
typedef struct __anonstruct_s1_1 s1;
struct __anonstruct_5 {
   unsigned int f1 : 1 ;
   unsigned int f2 : 1 ;
   unsigned int f3 : 1 ;
   unsigned int  : 10 ;
   unsigned int f5 : 1 ;
   unsigned int  : 6 ;
};
union __anonunion_4 {
   struct __anonstruct_5 __anonCompField2 ;
   unsigned int i ;
};
struct __anonstruct_s2_3 {
   union __anonunion_4 __anonCompField3 ;
   unsigned int j ;
};
typedef struct __anonstruct_s2_3 s2;
union __anonunion_7 {
   int a ;
   long b ;
};
struct __anonstruct_s3_6 {
   union __anonunion_7 __anonCompField4 ;
};
typedef struct __anonstruct_s3_6 s3;
s1 g1 = {.f1 = 1, .__anonCompField1 = {.f2 = 0}, .f3 = 3};
s2 g2 =
  {.__anonCompField3 = {.__anonCompField2 = {.f1 = (unsigned int)1,
                                             .f2 = (unsigned int)1,
                                             .f3 = (unsigned int)0,
                                             .f5 = (unsigned int)1}},
   .j = (unsigned int)0};
s2 g3 =
  {.__anonCompField3 = {.__anonCompField2 = {.f1 = (unsigned int)3,
                                             .f2 = (unsigned int)4,
                                             .f3 = (unsigned int)1,
                                             .f5 = (unsigned int)2}},
   .j = 0U};
s2 g4 =
  {.__anonCompField3 = {.__anonCompField2 = {.f1 = (unsigned int)0,
                                             .f2 = 0U,
                                             .f3 = 0U,
                                             .f5 = 0U}},
   .j = 0U};
s2 g5 =
  {.__anonCompField3 = {.__anonCompField2 = {.f1 = (unsigned int)1,
                                             .f2 = (unsigned int)2,
                                             .f3 = (unsigned int)3,
                                             .f5 = (unsigned int)4}},
   .j = (unsigned int)5};
s2 g6 =
  {.__anonCompField3 = {.__anonCompField2 = {.f1 = (unsigned int)1,
                                             .f2 = (unsigned int)2,
                                             .f3 = (unsigned int)3,
                                             .f5 = (unsigned int)4}},
   .j = (unsigned int)5};
s2 g7 =
  {.__anonCompField3 = {.__anonCompField2 = {.f1 = (unsigned int)1,
                                             .f2 = (unsigned int)2,
                                             .f3 = (unsigned int)3,
                                             .f5 = (unsigned int)4}},
   .j = 0U};
s3 g8 = {.__anonCompField4 = {.a = 0}};
int main(void)
{
  int __retres;
  __retres = (int)g2.__anonCompField3.__anonCompField2.f5;
  return __retres;
}