Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
  • stable/zinc
  • 2699-wp-region-plugin-division-by-0-with-empty-region-node
  • stable/copper
  • stable/nickel
  • stable/cobalt
  • stable/iron
  • stable/manganese
  • stable/chromium
  • stable/vanadium
  • stable/titanium-backport
  • stable/titanium
  • stable/scandium
  • 30.0 protected
  • 30.0-beta protected
  • MIEL-2024-10 protected
  • 29.0 protected
  • 29.0-beta protected
  • 28.1 protected
  • 28.0 protected
  • MIEL-2023-10 protected
  • 28.0-beta protected
  • 27.1 protected
  • 27.0 protected
  • 27.0-beta protected
  • 26.1 protected
  • 26.0 protected
  • 26.0-beta protected
  • 25.0-r1 protected
  • pre-dune protected
  • 25.0 protected
  • 25.0-beta protected
  • 2022-03-23 protected
33 results
Blame Permalink
cert_msc_38.4.res.oracle 498 B 
[kernel] Parsing tests/syntax/cert_msc_38.c (with preprocessing)
[kernel:CERT:MSC:38] tests/syntax/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] tests/syntax/cert_msc_38.c:47: User Error: 
  Cannot resolve variable va_copy
[kernel] User Error: stopping on file "tests/syntax/cert_msc_38.c" that has errors. Add
  '-kernel-msg-key pp' for preprocessing command.
[kernel] Frama-C aborted: invalid user input.