1 /* PR tree-optimization/90662 - strlen of a string in a vla plus offset
2 not folded
3 Verify that strlen of pointers to wide character arrays (emulated
4 by int16_t) are computed correctly (whether folded or not).
5 { dg-do run }
6 { dg-options "-O2 -Wall -Wno-incompatible-pointer-types" } */
7
8 #include "strlenopt.h"
9
10 typedef __INT16_TYPE__ int16_t;
11
12 #define A(expr) \
13 ((expr) \
14 ? (void)0 \
15 : (__builtin_printf ("assertion failed on line %i: %s\n", \
16 __LINE__, #expr), \
17 __builtin_abort ()))
18
19 typedef int16_t A5[5];
20
21 A5 a5[5];
22 A5* p[5] = { &a5[4], &a5[3], &a5[2], &a5[1], &a5[0] };
23
24 __attribute__ ((noclone, noinline, noipa))
25 void deref_deref (void)
26 {
27 strcpy (**p, "12345");
28 A (strlen (**p) == 5);
29 }
30
31 __attribute__ ((noclone, noinline, noipa))
32 void deref_idx_0 (void)
33 {
34 strcpy (*p[0], "");
35 A (strlen (*p[0]) == 0);
36 }
37
38 __attribute__ ((noclone, noinline, noipa))
39 void deref_idx_1 (void)
40 {
41 strcpy (*p[1], "12");
42 A (strlen (*p[1]) == 2);
43 A (strlen (&(*p[1])[1]) == 0);
44
45 A (strlen ((char*)*p[1] + 1) == 1);
46 A (strlen ((char*)*p[1] + 2) == 0);
47 A (strlen ((char*)*p[1] + 3) == 0);
48
49 A (strlen ((char*)&(*p[1])[1] + 1) == 0);
50
51 A (strlen (*p[0]) == 0);
52 }
53
54 __attribute__ ((noclone, noinline, noipa))
55 void deref_idx_2 (void)
56 {
57 strcpy (*p[2], "1234");
58 A (strlen (*p[2]) == 4);
59 A (strlen (&(*p[2])[1]) == 2);
60 A (strlen (&(*p[2])[2]) == 0);
61
62 A (strlen ((char*)*p[2] + 1) == 3);
63 A (strlen ((char*)*p[2] + 2) == 2);
64 A (strlen ((char*)*p[2] + 3) == 1);
65 A (strlen ((char*)*p[2] + 4) == 0);
66 A (strlen ((char*)*p[2] + 5) == 0);
67
68 A (strlen ((char*)&(*p[2])[1] + 1) == 1);
69 A (strlen ((char*)&(*p[2])[1] + 2) == 0);
70
71 A (strlen (*p[1]) == 2);
72 A (strlen (*p[0]) == 0);
73 }
74
75 __attribute__ ((noclone, noinline, noipa))
76 void deref_idx_3 (void)
77 {
78 strcpy (*p[3], "123456");
79 A (strlen (*p[3]) == 6);
80 A (strlen (&(*p[3])[1]) == 4);
81 A (strlen (&(*p[3])[2]) == 2);
82 A (strlen (&(*p[3])[3]) == 0);
83
84 A (strlen ((char*)*p[3] + 1) == 5);
85 A (strlen ((char*)*p[3] + 2) == 4);
86 A (strlen ((char*)*p[3] + 3) == 3);
87 A (strlen ((char*)*p[3] + 4) == 2);
88 A (strlen ((char*)*p[3] + 5) == 1);
89 A (strlen ((char*)*p[3] + 6) == 0);
90
91 A (strlen (*p[2]) == 4);
92 A (strlen (*p[1]) == 2);
93 A (strlen (*p[0]) == 0);
94 }
95
96 __attribute__ ((noclone, noinline, noipa))
97 void deref_idx_4 (void)
98 {
99 strcpy (*p[4], "12345678");
100 A (strlen (*p[4]) == 8);
101 A (strlen (&(*p[4])[1]) == 6);
102 A (strlen (&(*p[4])[2]) == 4);
103 A (strlen (&(*p[4])[3]) == 2);
104 A (strlen (&(*p[4])[4]) == 0);
105
106 A (strlen (*p[3]) == 6);
107 A (strlen (*p[2]) == 4);
108 A (strlen (*p[1]) == 2);
109 A (strlen (*p[0]) == 0);
110 }
111
112 __attribute__ ((noclone, noinline, noipa))
113 void deref_idx_4_x (void)
114 {
115 strcpy (*p[4], "");
116 A (strlen (*p[4]) == 0);
117 A (strlen (*p[3]) == 6);
118 A (strlen (*p[2]) == 4);
119 A (strlen (*p[1]) == 2);
120 A (strlen (*p[0]) == 0);
121 }
122
123 __attribute__ ((noclone, noinline, noipa))
124 void deref_idx_3_x (void)
125 {
126 strcpy (&(*p[3])[0], "1");
127 A (strlen (*p[4]) == 0);
128 A (strlen (*p[3]) == 1);
129 A (strlen (*p[2]) == 4);
130 A (strlen (*p[1]) == 2);
131 A (strlen (*p[0]) == 0);
132 }
133
134 __attribute__ ((noclone, noinline, noipa))
135 void deref_idx_2_x (void)
136 {
137 strcpy (*p[2], "12");
138 A (strlen (*p[4]) == 0);
139 A (strlen (*p[3]) == 1);
140 A (strlen (*p[2]) == 2);
141 A (strlen (*p[1]) == 2);
142 A (strlen (*p[0]) == 0);
143 }
144
145 __attribute__ ((noclone, noinline, noipa))
146 void deref_idx_1_x (void)
147 {
148 strcpy (*p[1], "123");
149 A (strlen (*p[4]) == 0);
150 A (strlen (*p[3]) == 1);
151 A (strlen (*p[2]) == 2);
152 A (strlen (*p[1]) == 3);
153 A (strlen (*p[0]) == 0);
154 }
155
156 __attribute__ ((noclone, noinline, noipa))
157 void deref_idx_0_x (void)
158 {
159 strcpy (*p[0], "1234");
160 A (strlen (*p[4]) == 0);
161 A (strlen (*p[3]) == 1);
162 A (strlen (*p[2]) == 2);
163 A (strlen (*p[1]) == 3);
164 A (strlen (*p[0]) == 4);
165 }
166
167 int main (void)
168 {
169 deref_deref ();
170
171 deref_idx_0 ();
172 deref_idx_1 ();
173 deref_idx_2 ();
174 deref_idx_3 ();
175 deref_idx_4 ();
176
177 deref_idx_4_x ();
178 deref_idx_3_x ();
179 deref_idx_2_x ();
180 deref_idx_1_x ();
181 deref_idx_0_x ();
182 }