conflict.res.oracle

[kernel] Parsing conflict.c (with preprocessing)
/* Generated by Frama-C */
struct stru {
   int const c ;
};
struct stru2 {
   int f ;
};
int const a[1] = {0};
int b = a[0];
struct stru const d = {.c = 0};
int e = d.c;
struct stru2 const g = {.f = 0};
int h = g.f;