summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.c-torture/execute/20020510-1.c
diff options
context:
space:
mode:
authorupstream source tree <ports@midipix.org>2015-03-15 20:14:05 -0400
committerupstream source tree <ports@midipix.org>2015-03-15 20:14:05 -0400
commit554fd8c5195424bdbcabf5de30fdc183aba391bd (patch)
tree976dc5ab7fddf506dadce60ae936f43f58787092 /gcc/testsuite/gcc.c-torture/execute/20020510-1.c
downloadcbb-gcc-4.6.4-554fd8c5195424bdbcabf5de30fdc183aba391bd.tar.bz2
cbb-gcc-4.6.4-554fd8c5195424bdbcabf5de30fdc183aba391bd.tar.xz
obtained gcc-4.6.4.tar.bz2 from upstream website;upstream
verified gcc-4.6.4.tar.bz2.sig; imported gcc-4.6.4 source tree from verified upstream tarball. downloading a git-generated archive based on the 'upstream' tag should provide you with a source tree that is binary identical to the one extracted from the above tarball. if you have obtained the source via the command 'git clone', however, do note that line-endings of files in your working directory might differ from line-endings of the respective files in the upstream repository.
Diffstat (limited to 'gcc/testsuite/gcc.c-torture/execute/20020510-1.c')
-rw-r--r--gcc/testsuite/gcc.c-torture/execute/20020510-1.c85
1 files changed, 85 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.c-torture/execute/20020510-1.c b/gcc/testsuite/gcc.c-torture/execute/20020510-1.c
new file mode 100644
index 000000000..90fb27755
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/execute/20020510-1.c
@@ -0,0 +1,85 @@
+/* Copyright (C) 2002 Free Software Foundation.
+
+ Test that optimizing ((c>=1) && (c<=127)) into (signed char)c < 0
+ doesn't cause any problems for the compiler and behaves correctly.
+
+ Written by Roger Sayle, 8th May 2002. */
+
+#include <limits.h>
+
+extern void abort (void);
+
+void
+testc (unsigned char c, int ok)
+{
+ if ((c>=1) && (c<=SCHAR_MAX))
+ {
+ if (!ok) abort ();
+ }
+ else
+ if (ok) abort ();
+}
+
+void
+tests (unsigned short s, int ok)
+{
+ if ((s>=1) && (s<=SHRT_MAX))
+ {
+ if (!ok) abort ();
+ }
+ else
+ if (ok) abort ();
+}
+
+void
+testi (unsigned int i, int ok)
+{
+ if ((i>=1) && (i<=INT_MAX))
+ {
+ if (!ok) abort ();
+ }
+ else
+ if (ok) abort ();
+}
+
+void
+testl (unsigned long l, int ok)
+{
+ if ((l>=1) && (l<=LONG_MAX))
+ {
+ if (!ok) abort ();
+ }
+ else
+ if (ok) abort ();
+}
+
+int
+main ()
+{
+ testc (0, 0);
+ testc (1, 1);
+ testc (SCHAR_MAX, 1);
+ testc (SCHAR_MAX+1, 0);
+ testc (UCHAR_MAX, 0);
+
+ tests (0, 0);
+ tests (1, 1);
+ tests (SHRT_MAX, 1);
+ tests (SHRT_MAX+1, 0);
+ tests (USHRT_MAX, 0);
+
+ testi (0, 0);
+ testi (1, 1);
+ testi (INT_MAX, 1);
+ testi (INT_MAX+1U, 0);
+ testi (UINT_MAX, 0);
+
+ testl (0, 0);
+ testl (1, 1);
+ testl (LONG_MAX, 1);
+ testl (LONG_MAX+1UL, 0);
+ testl (ULONG_MAX, 0);
+
+ return 0;
+}
+