binary_op.0.res.oracle

[kernel] Parsing binary_op.c (with preprocessing)
[kernel] binary_op.c:11: User Error: 
  & operator on non-integer type(s) int and int (*)(void)
  9     
  10    #ifdef BITWISE
  11    int v(void) { return 0 & v; }
                             ^^^^^
  12    #endif
  13
[kernel] Frama-C aborted: invalid user input.