cert_msc_38.1.res.oracle

[kernel] Parsing tests/syntax/cert_msc_38.c (with preprocessing)
[kernel:CERT:MSC:38] tests/syntax/cert_msc_38.c:33: Warning: 
  Attempt to declare errno as external identifier outside of the stdlib. It is supposed to be a macro name and cannot be declared. See CERT C coding rule MSC38-C
[kernel] Warning: warning CERT:MSC:38 treated as deferred error. See above messages for more information.
[kernel] Frama-C aborted: invalid user input.