Skip to content
Snippets Groups Projects
Commit 2559523f authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[tests] new test to check clang's warning has been silenced

parent 5437eadb
No related branches found
No related tags found
No related merge requests found
/* run.config
ENABLED_IF: %{bin-available:clang}
OPT: -cpp-command="clang -C -E -I." -cpp-frama-c-compliant -print
*/
#include <stddef.h>
void f(void) { }
[kernel] Parsing clang_redef_warning.c (with preprocessing)
/* Generated by Frama-C */
void f(void)
{
return;
}
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment