[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/spec/range.c (with preprocessing)
/* Generated by Frama-C */
struct foo {
   char bar[4] ;
};
typedef char baz[4];
struct bli {
   baz bli ;
};
/*@ assigns x->bar[0 .. 3];
    assigns x->bar[0 .. 3] \from x->bar[0 .. 3]; */
extern int f(struct foo *x);

/*@ assigns *(x+(0 .. 3));
    assigns *(x+(0 .. 3)) \from y->bli[0 .. 3]; */
extern int g(char * /*[4]*/ x, struct bli *y);


