summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.c-torture/execute/pr47337.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/pr47337.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/pr47337.c')
-rw-r--r--gcc/testsuite/gcc.c-torture/execute/pr47337.c86
1 files changed, 86 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.c-torture/execute/pr47337.c b/gcc/testsuite/gcc.c-torture/execute/pr47337.c
new file mode 100644
index 000000000..ea88484a2
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/execute/pr47337.c
@@ -0,0 +1,86 @@
+/* PR rtl-optimization/47337 */
+
+static unsigned int a[256], b = 0;
+static char c = 0;
+static int d = 0, *f = &d;
+static long long e = 0;
+
+static short
+foo (long long x, long long y)
+{
+ return x / y;
+}
+
+static char
+bar (char x, char y)
+{
+ return x - y;
+}
+
+static int
+baz (int x, int y)
+{
+ *f = (y != (short) (y * 3));
+ for (c = 0; c < 2; c++)
+ {
+ lab:
+ if (d)
+ {
+ if (e)
+ e = 1;
+ else
+ return x;
+ }
+ else
+ {
+ d = 1;
+ goto lab;
+ }
+ f = &d;
+ }
+ return x;
+}
+
+static void
+fnx (unsigned long long x, int y)
+{
+ if (!y)
+ {
+ b = a[b & 1];
+ b = a[b & 1];
+ b = a[(b ^ (x & 1)) & 1];
+ b = a[(b ^ (x & 1)) & 1];
+ }
+}
+
+char *volatile w = "2";
+
+int
+main ()
+{
+ int h = 0;
+ unsigned int k = 0;
+ int l[8];
+ int i, j;
+
+ if (__builtin_strcmp (w, "1") == 0)
+ h = 1;
+
+ for (i = 0; i < 256; i++)
+ {
+ for (j = 8; j > 0; j--)
+ k = 1;
+ a[i] = k;
+ }
+ for (i = 0; i < 8; i++)
+ l[i] = 0;
+
+ d = bar (c, c);
+ d = baz (c, 1 | foo (l[0], 10));
+ fnx (d, h);
+ fnx (e, h);
+
+ if (d != 0)
+ __builtin_abort ();
+ return 0;
+}