diff --git a/tests/syntax/clang_redef_warning.c b/tests/syntax/clang_redef_warning.c new file mode 100644 index 0000000000000000000000000000000000000000..3fab7838c0ac0978340365e4bfeac9706b20a766 --- /dev/null +++ b/tests/syntax/clang_redef_warning.c @@ -0,0 +1,8 @@ +/* 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) { } diff --git a/tests/syntax/oracle/clang_redef_warning.res.oracle b/tests/syntax/oracle/clang_redef_warning.res.oracle new file mode 100644 index 0000000000000000000000000000000000000000..76e9cbd1a4f3c9d3ecd334881744803c8c4676f1 --- /dev/null +++ b/tests/syntax/oracle/clang_redef_warning.res.oracle @@ -0,0 +1,8 @@ +[kernel] Parsing clang_redef_warning.c (with preprocessing) +/* Generated by Frama-C */ +void f(void) +{ + return; +} + +