c11-keywords.1.res.oracle

[kernel] Parsing c11-keywords.c (with preprocessing)
[kernel] c11-keywords.c:18: Failure: 
  _Alignof is currently unsupported by Frama-C.
[kernel] User Error: stopping on file "c11-keywords.c" that has errors. Add '-kernel-msg-key pp'
  for preprocessing command.
[kernel] Frama-C aborted: invalid user input.