yann@1
|
1 |
--- /dev/null Sat Dec 14 13:56:51 2002
|
yann@1
|
2 |
+++ gcc-3.3.1/gcc/testsuite/gcc.dg/pr10392-1.c Sun Sep 14 14:28:24 2003
|
yann@1
|
3 |
@@ -0,0 +1,62 @@
|
yann@1
|
4 |
+/* PR optimization/10392
|
yann@1
|
5 |
+ * Reporter: marcus@mc.pp.se
|
yann@1
|
6 |
+ * Summary: [3.3/3.4 regression] [SH] optimizer generates faulty array indexing
|
yann@1
|
7 |
+ * Description:
|
yann@1
|
8 |
+ * The address calculation of an index operation on an array on the stack
|
yann@1
|
9 |
+ * can _under some conditions_ get messed up completely
|
yann@1
|
10 |
+ *
|
yann@1
|
11 |
+ * Testcase tweaked by dank@kegel.com
|
yann@1
|
12 |
+ * Problem only happens with -O2 -m4, so it should only happen on sh4,
|
yann@1
|
13 |
+ * but what the heck, let's test other architectures, too.
|
yann@1
|
14 |
+ * Not marked as xfail since it's a regression.
|
yann@1
|
15 |
+*/
|
yann@1
|
16 |
+/* { dg-do run } */
|
yann@1
|
17 |
+/* { dg-options "-O2" } */
|
yann@1
|
18 |
+/* { dg-options "-O2 -m4" { target sh4-*-* } } */
|
yann@1
|
19 |
+const char *dont_optimize_function_away;
|
yann@1
|
20 |
+
|
yann@1
|
21 |
+const char *use(const char *str)
|
yann@1
|
22 |
+{
|
yann@1
|
23 |
+ dont_optimize_function_away = str;
|
yann@1
|
24 |
+ if (str[0] != 'v')
|
yann@1
|
25 |
+ abort();
|
yann@1
|
26 |
+ if (str[1] < '1' || str[1] > '6')
|
yann@1
|
27 |
+ abort();
|
yann@1
|
28 |
+ if (str[2])
|
yann@1
|
29 |
+ abort();
|
yann@1
|
30 |
+ return str[2] ? "notused" : "v6";
|
yann@1
|
31 |
+}
|
yann@1
|
32 |
+
|
yann@1
|
33 |
+const char *func(char *a, char *b)
|
yann@1
|
34 |
+{
|
yann@1
|
35 |
+ char buf[128];
|
yann@1
|
36 |
+ unsigned char i;
|
yann@1
|
37 |
+ const char *result;
|
yann@1
|
38 |
+
|
yann@1
|
39 |
+ char *item[] = {
|
yann@1
|
40 |
+ "v1",
|
yann@1
|
41 |
+ "v2",
|
yann@1
|
42 |
+ };
|
yann@1
|
43 |
+
|
yann@1
|
44 |
+ buf[0] = 'v';
|
yann@1
|
45 |
+ buf[1] = '3';
|
yann@1
|
46 |
+ buf[2] = 0;
|
yann@1
|
47 |
+
|
yann@1
|
48 |
+ for (i = 0; i < 2; i++) {
|
yann@1
|
49 |
+ /* bug is: following line passes wild pointer to use() on sh4 -O2 */
|
yann@1
|
50 |
+ result = use(item[i]);
|
yann@1
|
51 |
+
|
yann@1
|
52 |
+ use(buf);
|
yann@1
|
53 |
+ use(a);
|
yann@1
|
54 |
+ use(b);
|
yann@1
|
55 |
+ result = use(result);
|
yann@1
|
56 |
+ }
|
yann@1
|
57 |
+ return result;
|
yann@1
|
58 |
+}
|
yann@1
|
59 |
+
|
yann@1
|
60 |
+int main()
|
yann@1
|
61 |
+{
|
yann@1
|
62 |
+ func("v4", "v5");
|
yann@1
|
63 |
+ return 0;
|
yann@1
|
64 |
+}
|
yann@1
|
65 |
+
|