1 /* PR ????? - No warning on attempts to access free object
2 Verify that attempting to reallocate unallocated objects referenced
3 either directly or through pointers is diagnosed.
4 { dg-do compile }
5 { dg-options "-O2 -Wall -Wfree-nonheap-object" }
6 { dg-require-effective-target alloca } */
7
8 typedef __SIZE_TYPE__ size_t;
9
10 extern void free (void*);
11 extern void* alloca (size_t);
12 extern void* realloc (void*, size_t);
13
14 void sink (void*, ...);
15
16 extern void* eparr[];
17 extern char *eptr;
18
19 extern size_t n;
20
21
22 void nowarn_realloc (void *p, size_t n)
23 {
24 char *q = realloc (p, n);
25 sink (q);
26
27 q = realloc (0, n);
28 sink (q);
29
30 q = realloc (q, n * 2);
31 sink (q);
32 }
33
34 /* Verify that calling realloc on a pointer to an unknown object minus
35 some nonzero offset isn't diagnosed, but a pointer plus a positive
36 offset is (a positive offset cannot point at the beginning). */
37
38 void test_realloc_offset (char *p1, char *p2, char *p3, size_t n, int i)
39 {
40 char *q;
41 q = realloc (p1 - 1, n);
42 sink (q);
43
44 q = realloc (p2 + 1, n); // { dg-warning "'realloc' called on pointer 'p2' with nonzero offset 1" }
45 sink (q);
46
47 q = realloc (p3 + i, n);
48 sink (q);
49 }
50
51 void warn_realloc_extern_arr (void)
52 {
53 extern char ecarr[]; // { gg-message "declared here" }
54 char *p = ecarr;
55 char *q = realloc (p, n); // { dg-warning "'realloc' called on unallocated object 'ecarr'" }
56 sink (q);
57 }
58
59 void warn_realloc_extern_arr_offset (int i)
60 {
61 extern char ecarr[];
62 char *p = ecarr + i;
63 char *q = realloc (p, n); // { dg-warning "\\\[-Wfree-nonheap-object" }
64 sink (q);
65 }
66
67
68 void warn_realloc_string (int i)
69 {
70 char *p, *q;
71 {
72 p = "123";
73 sink (p);
74 q = realloc (p, n); // { dg-warning "\\\[-Wfree-nonheap-object" }
75 sink (q);
76 }
77 {
78 p = "234" + 1;
79 sink (p);
80 q = realloc (p, n); // { dg-warning "\\\[-Wfree-nonheap-object" }
81 sink (q);
82 }
83 {
84 p = "123" + i;
85 sink (p);
86 q = realloc (p, n); // { dg-warning "\\\[-Wfree-nonheap-object" }
87 sink (q);
88 }
89 }
90
91
92 void warn_realloc_alloca (int n, int i)
93 {
94 char *p, *q;
95 {
96 p = alloca (n);
97 sink (p);
98 q = realloc (p, n); // { dg-warning "\\\[-Wfree-nonheap-object" }
99 sink (q);
100 }
101 {
102 p = (char*)alloca (n + 1);
103 sink (p);
104 q = realloc (p, n); // { dg-warning "\\\[-Wfree-nonheap-object" }
105 sink (q);
106 }
107 {
108 p = (char*)alloca (n + 2) + i;
109 sink (p);
110 q = realloc (p, n); // { dg-warning "\\\[-Wfree-nonheap-object" }
111 sink (q);
112 }
113 }
114
115
116 void warn_realloc_local_arr (int i)
117 {
118 char *q;
119 {
120 char a[4];
121 sink (a);
122 q = realloc (a, n); // { dg-warning "\\\[-Wfree-nonheap-object" }
123 sink (q);
124 }
125
126 {
127 char b[5];
128 sink (b);
129 q = realloc (b + 1, n); // { dg-warning "\\\[-Wfree-nonheap-object" }
130 sink (q);
131 }
132
133 {
134 char c[6];
135 sink (c);
136 q = realloc (&c[2], n); // { dg-warning "\\\[-Wfree-nonheap-object" }
137 sink (q);
138 }
139
140 {
141 char d[7];
142 sink (d);
143 q = realloc (&d[i], n); // { dg-warning "\\\[-Wfree-nonheap-object" }
144 sink (q);
145 }
146 }
147
148 void warn_realloc_vla (int n1, int n2, int i)
149 {
150 char *q;
151 {
152 char vla[n1];
153 sink (vla);
154 q = realloc (vla, n2); // { dg-warning "\\\[-Wfree-nonheap-object" }
155 sink (q);
156 }
157
158 {
159 char vlb[n1 + 1];
160 sink (vlb);
161 q = realloc (vlb + 1, n2);// { dg-warning "\\\[-Wfree-nonheap-object" }
162 sink (q);
163 }
164
165 {
166 char vlc[n1 + 2];
167 sink (vlc);
168 q = realloc (&vlc[2], n2);// { dg-warning "\\\[-Wfree-nonheap-object" }
169 sink (q);
170 }
171
172 {
173 char vld[7];
174 sink (vld);
175 q = realloc (&vld[i], n2);// { dg-warning "\\\[-Wfree-nonheap-object" }
176 sink (q);
177 }
178 }
179
180 void nowarn_realloc_extern_ptrarr (void)
181 {
182 char *q = realloc (*eparr, n);
183 sink (q);
184 }
185
186 void nowarn_realloc_extern_ptrarr_offset (int i)
187 {
188 char *p = eparr[i];
189 char *q = realloc (p, n);
190 sink (q);
191 }
192
193
194 void warn_realloc_extern_ptrarr (void)
195 {
196 char *q = realloc (eparr, n); // { dg-warning "\\\[-Wfree-nonheap-object" }
197 sink (q);
198 }
199
200 void warn_realloc_extern_ptrarr_offset (int i)
201 {
202 void *p = eparr + i;
203 void *q = realloc (p, n); // { dg-warning "\\\[-Wfree-nonheap-object" }
204 sink (q);
205 }
206
207
208 void nowarn_realloc_extern_ptr (void)
209 {
210 char *q = realloc (eptr, n);
211 sink (q);
212 }
213
214 void nowarn_realloc_extern_ptr_offset (int i)
215 {
216 char *p = eptr + i;
217 char *q = realloc (p, n);
218 sink (q);
219 }
220
221
222 void warn_realloc_extern_ptr_pos_offset (int i)
223 {
224 if (i <= 0)
225 i = 1;
226
227 char *p = eptr + i;
228 char *q = realloc (p, n); // { dg-warning "\\\[-Wfree-nonheap-object" }
229 sink (q);
230 }
231
232
233 void nowarn_realloc_parm_offset (char *p, int i)
234 {
235 char *q = p + i;
236 q = realloc (q, n);
237 sink (q);
238 }
239
240 void nowarn_realloc_parm_neg_offset (char *p, int i)
241 {
242 if (i >= 0)
243 i = -1;
244
245 char *q = p + i;
246 q = realloc (q, n);
247 sink (q);
248 }
249
250 void warn_realloc_parm_pos_offset (char *p, int i)
251 {
252 if (i <= 0)
253 i = 1;
254
255 char *q = p + i;
256 q = realloc (q, n); // { dg-warning "\\\[-Wfree-nonheap-object" }
257 sink (q);
258 }
259
260 void nowarn_realloc_deref_parm_pos_offset (void **p, int i)
261 {
262 if (i <= 0)
263 i = 1;
264
265 // The offset is from p, not *p.
266 void *q = *(p + i);
267 q = realloc (q, n);
268 sink (q);
269 }
270
271 void warn_realloc_deref_parm_pos_offset (void **p, int i)
272 {
273 if (i <= 0)
274 i = 1;
275
276 // Unlike in the function above the offset is from *p.
277 void *q = *p + i;
278 q = realloc (q, n); // { dg-warning "\\\[-Wfree-nonheap-object" }
279 sink (q);
280 }