[kernel] Parsing wrong_statement_expression.c (with preprocessing)
[kernel] wrong_statement_expression.c:19: User Error: 
  void value not ignored as it ought to be
  17    #ifdef MISSING_COMPUTATION
  18    int main(int x){
  19      x = x + ({;});
                  ^^^^^
  20    }
  21    #endif
[kernel] Frama-C aborted: invalid user input.