const-assignments.0.res.oracle

[kernel] Parsing tests/syntax/const-assignments.c (with preprocessing)
/* Generated by Frama-C */
struct __anonstruct_S_1 {
   int x ;
   int const y ;
};
typedef struct __anonstruct_S_1 S;
int const x = 1;
extern void g(int *p);

void h(int const *x_0)
{
  int *y = (int *)x_0;
  *y = 1;
  g(y);
  return;
}

void build_S(S const *s, int x_0, int y)
{
  s->x = x_0;
  s->y = y;
  return;
}

void mutable_test(S const *s)
{
  s->x = 42;
  (s->x) ++;
  s->x += 2;
  return;
}