empty_initializer.res.oracle

[kernel] Parsing tests/syntax/empty_initializer.i (no preprocessing)
/* Generated by Frama-C */
struct __S {
   int i ;
};
typedef struct __S STR;
STR A[3] = {{.i = 0}, {.i = 0}, {.i = 0}};
STR D[3] = {{.i = 0}, {.i = 1}, {.i = 0}};
int E[2][3] = {{}, {}};
int f(void)
{
  int __retres;
  STR B[3] = {{.i = 0}, {.i = 0}, {.i = 0}};
  STR C[3] = {{.i = 0}, {.i = 3}, {.i = 0}};
  int F[3][4] = {{}, {23, 45}, {}};
  __retres = B[1].i;
  return __retres;
}