[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/spec/merge_different_assigns.i (no preprocessing)
[kernel] Parsing tests/spec/merge_different_assigns_bis.i (no preprocessing)
tests/spec/merge_different_assigns.i:7:[kernel] warning: found two contracts. Merging them
tests/spec/merge_different_assigns.i:8:[kernel] warning: location z is not present in all assigns clauses
tests/spec/merge_different_assigns.i:10:[kernel] warning: incompatible from
                  clauses (tests/spec/merge_different_assigns.i:10:'assigns t \from \nothing;'
                  and tests/spec/merge_different_assigns_bis.i:8:'assigns t \from t;'). Keeping
                  only the first one.
tests/spec/merge_different_assigns_bis.i:10:[kernel] warning: location v is not present in all assigns clauses
/* Generated by Frama-C */
int x;
int z;
int t;
int u;
int v;
int w;
/*@ assigns x, z, u, t, w, v, \result;
    assigns x \from x;
    assigns z \from x;
    assigns t \from \nothing;
    assigns w \from w;
    assigns \result \from y;
 */
extern int f(int y);


