|
145
|
1 /* PR tree-optimization/92226 - live nul char store to array eliminated
|
|
|
2 { dg-do run }
|
|
|
3 { dg-options "-O2 -Wall" } */
|
|
|
4
|
|
|
5 #include "strlenopt.h"
|
|
|
6
|
|
|
7 #define NOIPA __attribute__ ((noipa))
|
|
|
8
|
|
|
9 unsigned nfails;
|
|
|
10
|
|
|
11 char a[8];
|
|
|
12
|
|
|
13 void test (int line, const char *func, size_t expect)
|
|
|
14 {
|
|
|
15 size_t len = strlen (a);
|
|
|
16 if (len == expect)
|
|
|
17 return;
|
|
|
18
|
|
|
19 ++nfails;
|
|
|
20
|
|
|
21 __builtin_printf ("assertion failed in %s on line %i: "
|
|
|
22 "strlen (\"%s\") == %zu, got %zu\n",
|
|
|
23 func, line, a, expect, len);
|
|
|
24 }
|
|
|
25
|
|
|
26 NOIPA const char* str (size_t n)
|
|
|
27 {
|
|
|
28 return "9876543210" + 10 - n;
|
|
|
29 }
|
|
|
30
|
|
|
31 #define T(name, CMPEXP, LEN, IDX, EXPECT) \
|
|
|
32 NOIPA static void name (void) \
|
|
|
33 { \
|
|
|
34 const char *s = str (LEN); \
|
|
|
35 if (strlen (s) CMPEXP) \
|
|
|
36 { \
|
|
|
37 strcpy (a, s); \
|
|
|
38 a[IDX] = 0; \
|
|
|
39 test (__LINE__, #name, EXPECT); \
|
|
|
40 } \
|
|
|
41 } typedef void dummy_type
|
|
|
42
|
|
|
43
|
|
|
44 T (len_eq_1_store_nul_0, == 1, 1, 0, 0);
|
|
|
45 T (len_eq_1_store_nul_1, == 1, 1, 1, 1);
|
|
|
46 T (len_eq_1_store_nul_2, == 1, 1, 2, 1);
|
|
|
47 T (len_eq_1_store_nul_3, == 1, 1, 3, 1);
|
|
|
48 T (len_eq_1_store_nul_4, == 1, 1, 4, 1);
|
|
|
49
|
|
|
50 T (len_eq_2_store_nul_0, == 2, 2, 0, 0);
|
|
|
51 T (len_eq_2_store_nul_1, == 2, 2, 1, 1);
|
|
|
52 T (len_eq_2_store_nul_2, == 2, 2, 2, 2);
|
|
|
53 T (len_eq_2_store_nul_3, == 2, 2, 3, 2);
|
|
|
54 T (len_eq_2_store_nul_4, == 2, 2, 4, 2);
|
|
|
55
|
|
|
56 T (len_eq_3_store_nul_0, == 3, 3, 0, 0);
|
|
|
57 T (len_eq_3_store_nul_1, == 3, 3, 1, 1);
|
|
|
58 T (len_eq_3_store_nul_2, == 3, 3, 2, 2);
|
|
|
59 T (len_eq_3_store_nul_3, == 3, 3, 3, 3);
|
|
|
60 T (len_eq_3_store_nul_4, == 3, 3, 4, 3);
|
|
|
61
|
|
|
62
|
|
|
63 T (len_gt_1_store_nul_0, > 2, 2, 0, 0);
|
|
|
64 T (len_gt_1_store_nul_1, > 2, 2, 1, 1);
|
|
|
65 T (len_gt_1_store_nul_2, > 2, 2, 2, 2);
|
|
|
66 T (len_gt_1_store_nul_3, > 2, 2, 3, 2);
|
|
|
67 T (len_gt_1_store_nul_4, > 2, 2, 4, 2);
|
|
|
68
|
|
|
69 T (len_gt_2_store_nul_0, > 2, 3, 0, 0);
|
|
|
70 T (len_gt_2_store_nul_1, > 2, 3, 1, 1);
|
|
|
71 T (len_gt_2_store_nul_2, > 2, 3, 2, 2);
|
|
|
72 T (len_gt_2_store_nul_3, > 2, 3, 3, 3);
|
|
|
73 T (len_gt_2_store_nul_4, > 2, 3, 4, 3);
|
|
|
74
|
|
|
75 T (len_gt_3_store_nul_0, > 2, 4, 0, 0);
|
|
|
76 T (len_gt_3_store_nul_1, > 2, 4, 1, 1);
|
|
|
77 T (len_gt_3_store_nul_2, > 2, 4, 2, 2);
|
|
|
78 T (len_gt_3_store_nul_3, > 2, 4, 3, 3);
|
|
|
79 T (len_gt_3_store_nul_4, > 2, 4, 4, 4);
|
|
|
80
|
|
|
81
|
|
|
82 T (len_1_lt_4_store_nul_0, < 4, 1, 0, 0);
|
|
|
83 T (len_1_lt_4_store_nul_1, < 4, 1, 1, 1);
|
|
|
84 T (len_1_lt_4_store_nul_2, < 4, 1, 2, 1);
|
|
|
85 T (len_1_lt_4_store_nul_3, < 4, 1, 3, 1);
|
|
|
86 T (len_1_lt_4_store_nul_4, < 4, 1, 4, 1);
|
|
|
87 T (len_1_lt_4_store_nul_5, < 4, 1, 5, 1);
|
|
|
88 T (len_1_lt_4_store_nul_6, < 4, 1, 6, 1);
|
|
|
89 T (len_1_lt_4_store_nul_7, < 4, 1, 7, 1);
|
|
|
90
|
|
|
91 T (len_2_lt_4_store_nul_0, < 4, 2, 0, 0);
|
|
|
92 T (len_2_lt_4_store_nul_1, < 4, 2, 1, 1);
|
|
|
93 T (len_2_lt_4_store_nul_2, < 4, 2, 2, 2);
|
|
|
94 T (len_2_lt_4_store_nul_3, < 4, 2, 3, 2);
|
|
|
95 T (len_2_lt_4_store_nul_4, < 4, 2, 4, 2);
|
|
|
96 T (len_2_lt_4_store_nul_5, < 4, 2, 5, 2);
|
|
|
97 T (len_2_lt_4_store_nul_6, < 4, 2, 6, 2);
|
|
|
98 T (len_2_lt_4_store_nul_7, < 4, 2, 7, 2);
|
|
|
99
|
|
|
100 T (len_3_lt_4_store_nul_0, < 4, 3, 0, 0);
|
|
|
101 T (len_3_lt_4_store_nul_1, < 4, 3, 1, 1);
|
|
|
102 T (len_3_lt_4_store_nul_2, < 4, 3, 2, 2);
|
|
|
103 T (len_3_lt_4_store_nul_3, < 4, 3, 3, 3);
|
|
|
104 T (len_3_lt_4_store_nul_4, < 4, 3, 4, 3);
|
|
|
105 T (len_3_lt_4_store_nul_5, < 4, 3, 5, 3);
|
|
|
106 T (len_3_lt_4_store_nul_6, < 4, 3, 6, 3);
|
|
|
107 T (len_3_lt_4_store_nul_7, < 4, 3, 7, 3);
|
|
|
108
|
|
|
109 T (len_7_lt_8_store_nul_0, < 8, 7, 0, 0);
|
|
|
110 T (len_7_lt_8_store_nul_1, < 8, 7, 1, 1);
|
|
|
111 T (len_7_lt_8_store_nul_2, < 8, 7, 2, 2);
|
|
|
112 T (len_7_lt_8_store_nul_3, < 8, 7, 3, 3);
|
|
|
113 T (len_7_lt_8_store_nul_4, < 8, 7, 4, 4);
|
|
|
114 T (len_7_lt_8_store_nul_5, < 8, 7, 5, 5);
|
|
|
115 T (len_7_lt_8_store_nul_6, < 8, 7, 6, 6);
|
|
|
116 T (len_7_lt_8_store_nul_7, < 8, 7, 7, 7);
|
|
|
117
|
|
|
118
|
|
|
119 int main (void)
|
|
|
120 {
|
|
|
121 len_eq_1_store_nul_0 ();
|
|
|
122 len_eq_1_store_nul_1 ();
|
|
|
123 len_eq_1_store_nul_2 ();
|
|
|
124 len_eq_1_store_nul_3 ();
|
|
|
125 len_eq_1_store_nul_4 ();
|
|
|
126
|
|
|
127 len_eq_2_store_nul_0 ();
|
|
|
128 len_eq_2_store_nul_1 ();
|
|
|
129 len_eq_2_store_nul_2 ();
|
|
|
130 len_eq_2_store_nul_3 ();
|
|
|
131 len_eq_2_store_nul_4 ();
|
|
|
132
|
|
|
133 len_eq_3_store_nul_0 ();
|
|
|
134 len_eq_3_store_nul_1 ();
|
|
|
135 len_eq_3_store_nul_2 ();
|
|
|
136 len_eq_3_store_nul_3 ();
|
|
|
137 len_eq_3_store_nul_4 ();
|
|
|
138
|
|
|
139
|
|
|
140 len_gt_1_store_nul_0 ();
|
|
|
141 len_gt_1_store_nul_1 ();
|
|
|
142 len_gt_1_store_nul_2 ();
|
|
|
143 len_gt_1_store_nul_3 ();
|
|
|
144 len_gt_1_store_nul_4 ();
|
|
|
145
|
|
|
146 len_gt_2_store_nul_0 ();
|
|
|
147 len_gt_2_store_nul_1 ();
|
|
|
148 len_gt_2_store_nul_2 ();
|
|
|
149 len_gt_2_store_nul_3 ();
|
|
|
150 len_gt_2_store_nul_4 ();
|
|
|
151
|
|
|
152 len_gt_3_store_nul_0 ();
|
|
|
153 len_gt_3_store_nul_1 ();
|
|
|
154 len_gt_3_store_nul_2 ();
|
|
|
155 len_gt_3_store_nul_3 ();
|
|
|
156 len_gt_3_store_nul_4 ();
|
|
|
157
|
|
|
158 len_1_lt_4_store_nul_0 ();
|
|
|
159 len_1_lt_4_store_nul_1 ();
|
|
|
160 len_1_lt_4_store_nul_2 ();
|
|
|
161 len_1_lt_4_store_nul_3 ();
|
|
|
162 len_1_lt_4_store_nul_4 ();
|
|
|
163 len_1_lt_4_store_nul_5 ();
|
|
|
164 len_1_lt_4_store_nul_6 ();
|
|
|
165 len_1_lt_4_store_nul_7 ();
|
|
|
166
|
|
|
167 len_2_lt_4_store_nul_0 ();
|
|
|
168 len_2_lt_4_store_nul_1 ();
|
|
|
169 len_2_lt_4_store_nul_2 ();
|
|
|
170 len_2_lt_4_store_nul_3 ();
|
|
|
171 len_2_lt_4_store_nul_4 ();
|
|
|
172 len_2_lt_4_store_nul_5 ();
|
|
|
173 len_2_lt_4_store_nul_6 ();
|
|
|
174 len_2_lt_4_store_nul_7 ();
|
|
|
175
|
|
|
176 len_3_lt_4_store_nul_0 ();
|
|
|
177 len_3_lt_4_store_nul_1 ();
|
|
|
178 len_3_lt_4_store_nul_2 ();
|
|
|
179 len_3_lt_4_store_nul_3 ();
|
|
|
180 len_3_lt_4_store_nul_4 ();
|
|
|
181 len_3_lt_4_store_nul_5 ();
|
|
|
182 len_3_lt_4_store_nul_6 ();
|
|
|
183 len_3_lt_4_store_nul_7 ();
|
|
|
184
|
|
|
185 len_7_lt_8_store_nul_0 ();
|
|
|
186 len_7_lt_8_store_nul_1 ();
|
|
|
187 len_7_lt_8_store_nul_2 ();
|
|
|
188 len_7_lt_8_store_nul_3 ();
|
|
|
189 len_7_lt_8_store_nul_4 ();
|
|
|
190 len_7_lt_8_store_nul_5 ();
|
|
|
191 len_7_lt_8_store_nul_6 ();
|
|
|
192 len_7_lt_8_store_nul_7 ();
|
|
|
193
|
|
|
194 if (nfails)
|
|
|
195 abort ();
|
|
|
196 }
|
