2 files changed, 24 insertions, 0 deletions
diff --git a/validation/preprocessor/ident-pragma.c b/validation/preprocessor/ident-pragma.c
new file mode 100644
index 00000000..81abdd7b
--- /dev/null
+++ b/validation/preprocessor/ident-pragma.c
@@ -0,0 +1,12 @@
+#pragma ident "foo"
+
+/*
+ * check-description: check that '#pragma ident ... " is ignored.
+ * check-name: ident-pragma
+ * check-command: sparse -E $file
+ *
+ * check-output-start
+
+
+ * check-output-end
+ */
diff --git a/validation/preprocessor/ident.c b/validation/preprocessor/ident.c
new file mode 100644
index 00000000..3e7f3ad0
--- /dev/null
+++ b/validation/preprocessor/ident.c
@@ -0,0 +1,12 @@
+#ident "foo"
+
+/*
+ * check-description: check that the non-standard "#ident ..." is ignored.
+ * check-name: ident
+ * check-command: sparse -E $file
+ *
+ * check-output-start
+
+
+ * check-output-end
+ */