From 2559523f1694f7e9ac9fe7750d38a62657f23808 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Fri, 2 Jun 2023 11:24:03 +0200
Subject: [PATCH] [tests] new test to check clang's warning has been silenced
---
tests/syntax/clang_redef_warning.c | 8 ++++++++
tests/syntax/oracle/clang_redef_warning.res.oracle | 8 ++++++++
2 files changed, 16 insertions(+)
create mode 100644 tests/syntax/clang_redef_warning.c
create mode 100644 tests/syntax/oracle/clang_redef_warning.res.oracle
diff --git a/tests/syntax/clang_redef_warning.c b/tests/syntax/clang_redef_warning.c
new file mode 100644
index 00000000000..3fab7838c0a
--- /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 00000000000..76e9cbd1a4f
--- /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;
+}
+
+
--
GitLab