Skip to content
Snippets Groups Projects
Normal view Permalink
clang_redef_warning.res.oracle 116 B
Newer Older
Virgile Prevosto's avatar
[tests] new test to check clang's warning has been silenced
Virgile Prevosto committed
1 2 3 4 5 6 7 8 
[kernel] Parsing clang_redef_warning.c (with preprocessing)
/* Generated by Frama-C */
void f(void)
{
  return;
}