Mercurial > hg > CbC > CbC_gcc

annotate gcc/testsuite/gcc.c-torture/execute/strlen-3.c @ 131:84e7813d76e9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
131
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
1 /* PR tree-optimization/86532 - Wrong code due to a wrong strlen folding
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
2 starting with r262522
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
3 Exercise strlen() with a multi-dimensional array of strings with
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
4 embedded nuls. */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
5
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
6 extern __SIZE_TYPE__ strlen (const char*);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
7
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
8 static const char a[2][3][9] = {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
9 { "1", "1\0002" },
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
10 { "12\0003", "123\0004" }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
11 };
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
12
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
13 volatile int v0 = 0;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
14 volatile int v1 = 1;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
15 volatile int v2 = 2;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
16 volatile int v3 = 3;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
17 volatile int v4 = 4;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
18 volatile int v5 = 5;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
19 volatile int v6 = 6;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
20 volatile int v7 = 7;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
21
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
22 #define A(expr) \
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
23 ((expr) ? (void)0 : (__builtin_printf ("assertion on line %i: %s\n", \
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
24 __LINE__, #expr), \
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
25 __builtin_abort ()))
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
26
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
27 void test_array_ref (void)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
28 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
29 int i0 = 0;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
30 int i1 = i0 + 1;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
31 int i2 = i1 + 1;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
32 int i3 = i2 + 1;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
33 int i4 = i3 + 1;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
34 int i5 = i4 + 1;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
35 int i6 = i5 + 1;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
36 int i7 = i6 + 1;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
37
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
38 A (strlen (a[0][0]) == 1);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
39 A (strlen (a[0][1]) == 1);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
40
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
41 A (strlen (a[1][0]) == 2);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
42 A (strlen (a[1][1]) == 3);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
43
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
44 A (strlen (&a[0][0][0]) == 1);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
45 A (strlen (&a[0][1][0]) == 1);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
46
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
47 A (strlen (&a[1][0][0]) == 2);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
48 A (strlen (&a[1][1][0]) == 3);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
49
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
50 A (strlen (&a[0][0][0] + 1) == 0);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
51 A (strlen (&a[0][1][0] + 1) == 0);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
52 A (strlen (&a[0][1][0] + 2) == 1);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
53 A (strlen (&a[0][1][0] + 3) == 0);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
54 A (strlen (&a[0][1][0] + 7) == 0);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
55
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
56 A (strlen (&a[1][0][0] + 1) == 1);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
57 A (strlen (&a[1][1][0] + 1) == 2);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
58 A (strlen (&a[1][1][0] + 2) == 1);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
59 A (strlen (&a[1][1][0] + 7) == 0);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
60
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
61
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
62 A (strlen (a[i0][i0]) == 1);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
63 A (strlen (a[i0][i1]) == 1);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
64
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
65 A (strlen (a[i1][i0]) == 2);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
66 A (strlen (a[i1][i1]) == 3);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
67
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
68 A (strlen (&a[i0][i0][i0]) == 1);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
69 A (strlen (&a[i0][i1][i0]) == 1);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
70 A (strlen (&a[i0][i1][i1]) == 0);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
71 A (strlen (&a[i0][i1][i2]) == 1);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
72 A (strlen (&a[i0][i1][i3]) == 0);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
73 A (strlen (&a[i0][i1][i3]) == 0);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
74
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
75 A (strlen (&a[i1][i0][i0]) == 2);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
76 A (strlen (&a[i1][i1][i0]) == 3);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
77 A (strlen (&a[i1][i1][i1]) == 2);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
78 A (strlen (&a[i1][i1][i2]) == 1);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
79 A (strlen (&a[i1][i1][i3]) == 0);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
80 A (strlen (&a[i1][i1][i4]) == 1);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
81 A (strlen (&a[i1][i1][i5]) == 0);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
82 A (strlen (&a[i1][i1][i6]) == 0);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
83 A (strlen (&a[i1][i1][i7]) == 0);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
84
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
85 A (strlen (&a[i0][i0][i0] + i1) == 0);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
86 A (strlen (&a[i0][i1][i0] + i1) == 0);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
87 A (strlen (&a[i0][i1][i0] + i7) == 0);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
88
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
89 A (strlen (&a[i1][i0][i0] + i1) == 1);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
90 A (strlen (&a[i1][i1][i0] + i1) == 2);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
91 A (strlen (&a[i1][i1][i0] + i2) == 1);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
92 A (strlen (&a[i1][i1][i0] + i3) == 0);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
93 A (strlen (&a[i1][i1][i0] + i4) == 1);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
94 A (strlen (&a[i1][i1][i0] + i5) == 0);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
95 A (strlen (&a[i1][i1][i0] + i6) == 0);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
96 A (strlen (&a[i1][i1][i0] + i7) == 0);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
97
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
98
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
99 A (strlen (a[i0][i0]) == 1);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
100 A (strlen (a[i0][i1]) == 1);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
101
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
102 A (strlen (a[i1][i0]) == 2);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
103 A (strlen (a[i1][i1]) == 3);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
104
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
105 A (strlen (&a[i0][i0][i0]) == 1);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
106 A (strlen (&a[i0][i1][i0]) == 1);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
107
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
108 A (strlen (&a[i1][i0][i0]) == 2);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
109 A (strlen (&a[i1][i1][i0]) == 3);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
110
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
111 A (strlen (&a[i0][i0][i0] + v1) == 0);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
112 A (strlen (&a[i0][i0][i0] + v2) == 0);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
113 A (strlen (&a[i0][i0][i0] + v7) == 0);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
114
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
115 A (strlen (&a[i0][i1][i0] + v1) == 0);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
116 A (strlen (&a[i0][i1][i0] + v2) == 1);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
117 A (strlen (&a[i0][i1][i0] + v3) == 0);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
118
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
119 A (strlen (&a[i1][i0][i0] + v1) == 1);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
120 A (strlen (&a[i1][i1][i0] + v1) == 2);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
121 A (strlen (&a[i1][i1][i0] + v2) == 1);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
122 A (strlen (&a[i1][i1][i0] + v3) == 0);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
123 A (strlen (&a[i1][i1][i0] + v4) == 1);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
124 A (strlen (&a[i1][i1][i0] + v5) == 0);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
125 A (strlen (&a[i1][i1][i0] + v6) == 0);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
126 A (strlen (&a[i1][i1][i0] + v7) == 0);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
127 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
128
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
129 int main (void)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
130 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
131 test_array_ref ();
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
132 }