aboutsummaryrefslogtreecommitdiffstatshomepage
diff options
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2017-11-12 09:38:25 +0100
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2017-11-12 10:11:48 +0100
commite7a9d67e1834758a9a5f6e3ce9b497cf32a52674 (patch)
treeaedfd3ee246e9cea58fb83c07a220ef53ba0d98a
parent8e7c25a638aaa30d8902289480810c681b5d1a45 (diff)
downloadsparse-dev-e7a9d67e1834758a9a5f6e3ce9b497cf32a52674.tar.gz
dump-ir: add testcase for option parsing corner case
-rw-r--r--validation/option-parsing-00.c5
-rw-r--r--validation/option-parsing-01.c5
2 files changed, 10 insertions, 0 deletions
diff --git a/validation/option-parsing-00.c b/validation/option-parsing-00.c
new file mode 100644
index 00000000..9b85943c
--- /dev/null
+++ b/validation/option-parsing-00.c
@@ -0,0 +1,5 @@
+
+/*
+ * check-name: option parsing 00
+ * check-command sparse -foptimize-xyz $file
+ */
diff --git a/validation/option-parsing-01.c b/validation/option-parsing-01.c
new file mode 100644
index 00000000..e33a2ef0
--- /dev/null
+++ b/validation/option-parsing-01.c
@@ -0,0 +1,5 @@
+
+/*
+ * check-name: option parsing 01
+ * check-command sparse -fno-optimize-xyz $file
+ */