aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/cse-arg01.c
diff options
Diffstat (limited to 'validation/optim/cse-arg01.c')
-rw-r--r--validation/optim/cse-arg01.c9
1 files changed, 9 insertions, 0 deletions
diff --git a/validation/optim/cse-arg01.c b/validation/optim/cse-arg01.c
new file mode 100644
index 00000000..3e3e141a
--- /dev/null
+++ b/validation/optim/cse-arg01.c
@@ -0,0 +1,9 @@
+int foo(int a, int b) { return (a < b) == (b > a); }
+
+/*
+ * check-name: cse-arg01
+ * check-command: test-linearize -Wno-decl $file
+ *
+ * check-output-ignore
+ * check-output-returns: 1
+ */