cert_msc_38.6.res.oracle 446 B
[kernel] Parsing cert_msc_38.c (with preprocessing)
[kernel:CERT:MSC:38] cert_msc_38.c:55: Warning:
va_end is a standard macro. Its definition cannot be suppressed, see CERT C coding rules MSC38-C
[kernel] cert_msc_38.c:55: User Error:
Cannot resolve variable va_end
53
54 #ifdef TEST_VAEND
55 void (*test4)() = &(va_end);
^^^^^^
56 #endif
57
[kernel] Frama-C aborted: invalid user input.