generic.8.res.oracle

[kernel] Parsing generic.c (with preprocessing)
[kernel] generic.c:63: 
  syntax error:
  Location: line 63, column 27, before or at token: int
  61    #endif
  62    #ifdef FUNCTION_TYPE
  63      int a = _Generic(1, void(int): 1);
                                   ^
  64    #endif
  65    #ifdef INCOMPATIBLE_QUALIFIED_TYPE
[kernel] Frama-C aborted: invalid user input.