summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.c-torture/execute/compare-3.c
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/testsuite/gcc.c-torture/execute/compare-3.c')
-rw-r--r--gcc/testsuite/gcc.c-torture/execute/compare-3.c86
1 files changed, 86 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.c-torture/execute/compare-3.c b/gcc/testsuite/gcc.c-torture/execute/compare-3.c
new file mode 100644
index 000000000..6549c904b
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/execute/compare-3.c
@@ -0,0 +1,86 @@
+/* Copyright (C) 2002 Free Software Foundation.
+
+ Test for composite comparison always true/false optimization.
+
+ Written by Roger Sayle, 7th June 2002. */
+
+extern void link_error0 ();
+extern void link_error1 ();
+
+void
+test1 (int x, int y)
+{
+ if ((x==y) && (x!=y))
+ link_error0();
+}
+
+void
+test2 (int x, int y)
+{
+ if ((x<y) && (x>y))
+ link_error0();
+}
+
+void
+test3 (int x, int y)
+{
+ if ((x<y) && (y<x))
+ link_error0();
+}
+
+void
+test4 (int x, int y)
+{
+ if ((x==y) || (x!=y))
+ {
+ }
+ else
+ link_error1 ();
+}
+
+void
+test5 (int x, int y)
+{
+ if ((x>=y) || (x<y))
+ {
+ }
+ else
+ link_error1 ();
+}
+
+void
+test6 (int x, int y)
+{
+ if ((x<=y) || (y<x))
+ {
+ }
+ else
+ link_error1 ();
+}
+
+void
+all_tests (int x, int y)
+{
+ test1 (x, y);
+ test2 (x, y);
+ test3 (x, y);
+ test4 (x, y);
+ test5 (x, y);
+ test6 (x, y);
+}
+
+int
+main ()
+{
+ all_tests (0, 0);
+ all_tests (1, 2);
+ all_tests (4, 3);
+
+ return 0;
+}
+
+#ifndef __OPTIMIZE__
+void link_error0() {}
+void link_error1() {}
+#endif /* ! __OPTIMIZE__ */
+