cert_msc_38.4.res.oracle

[kernel] Parsing cert_msc_38.c (with preprocessing)
[kernel:CERT:MSC:38] cert_msc_38.c:47: Warning: 
  va_copy is a standard macro. Its definition cannot be suppressed, see CERT C coding rules MSC38-C
[kernel] cert_msc_38.c:47: User Error: 
  Cannot resolve variable va_copy
  45    
  46    #ifdef TEST_VACOPY
  47    void (*test2)() = &(va_copy);
                            ^^^^^^^
  48    #endif
  49
[kernel] Frama-C aborted: invalid user input.