1 // RUN: %clang_cc1 -analyze -analyzer-checker=cplusplus.NewDelete,unix.Malloc -analyzer-output=text -verify %s
2 // RUN: %clang_cc1 -analyze -analyzer-checker=cplusplus.NewDelete,unix.Malloc -analyzer-output=plist -analyzer-config path-diagnostics-alternate=false %s -o %t.plist
3 // RUN: FileCheck --input-file=%t.plist %s
4
test()5 void test() {
6 int *p = new int;
7 // expected-note@-1 {{Memory is allocated}}
8 if (p)
9 // expected-note@-1 {{Assuming 'p' is non-null}}
10 // expected-note@-2 {{Taking true branch}}
11 delete p;
12 // expected-note@-1 {{Memory is released}}
13
14 delete p; // expected-warning {{Attempt to free released memory}}
15 // expected-note@-1 {{Attempt to free released memory}}
16 }
17
18 struct Odd {
killOdd19 void kill() {
20 delete this; // expected-note {{Memory is released}}
21 }
22 };
23
test(Odd * odd)24 void test(Odd *odd) {
25 odd->kill(); // expected-note{{Calling 'Odd::kill'}}
26 // expected-note@-1 {{Returning; memory was released}}
27 delete odd; // expected-warning {{Attempt to free released memory}}
28 // expected-note@-1 {{Attempt to free released memory}}
29 }
30
31 // CHECK: <key>diagnostics</key>
32 // CHECK-NEXT: <array>
33 // CHECK-NEXT: <dict>
34 // CHECK-NEXT: <key>path</key>
35 // CHECK-NEXT: <array>
36 // CHECK-NEXT: <dict>
37 // CHECK-NEXT: <key>kind</key><string>control</string>
38 // CHECK-NEXT: <key>edges</key>
39 // CHECK-NEXT: <array>
40 // CHECK-NEXT: <dict>
41 // CHECK-NEXT: <key>start</key>
42 // CHECK-NEXT: <array>
43 // CHECK-NEXT: <dict>
44 // CHECK-NEXT: <key>line</key><integer>6</integer>
45 // CHECK-NEXT: <key>col</key><integer>3</integer>
46 // CHECK-NEXT: <key>file</key><integer>0</integer>
47 // CHECK-NEXT: </dict>
48 // CHECK-NEXT: <dict>
49 // CHECK-NEXT: <key>line</key><integer>6</integer>
50 // CHECK-NEXT: <key>col</key><integer>5</integer>
51 // CHECK-NEXT: <key>file</key><integer>0</integer>
52 // CHECK-NEXT: </dict>
53 // CHECK-NEXT: </array>
54 // CHECK-NEXT: <key>end</key>
55 // CHECK-NEXT: <array>
56 // CHECK-NEXT: <dict>
57 // CHECK-NEXT: <key>line</key><integer>6</integer>
58 // CHECK-NEXT: <key>col</key><integer>12</integer>
59 // CHECK-NEXT: <key>file</key><integer>0</integer>
60 // CHECK-NEXT: </dict>
61 // CHECK-NEXT: <dict>
62 // CHECK-NEXT: <key>line</key><integer>6</integer>
63 // CHECK-NEXT: <key>col</key><integer>14</integer>
64 // CHECK-NEXT: <key>file</key><integer>0</integer>
65 // CHECK-NEXT: </dict>
66 // CHECK-NEXT: </array>
67 // CHECK-NEXT: </dict>
68 // CHECK-NEXT: </array>
69 // CHECK-NEXT: </dict>
70 // CHECK-NEXT: <dict>
71 // CHECK-NEXT: <key>kind</key><string>event</string>
72 // CHECK-NEXT: <key>location</key>
73 // CHECK-NEXT: <dict>
74 // CHECK-NEXT: <key>line</key><integer>6</integer>
75 // CHECK-NEXT: <key>col</key><integer>12</integer>
76 // CHECK-NEXT: <key>file</key><integer>0</integer>
77 // CHECK-NEXT: </dict>
78 // CHECK-NEXT: <key>ranges</key>
79 // CHECK-NEXT: <array>
80 // CHECK-NEXT: <array>
81 // CHECK-NEXT: <dict>
82 // CHECK-NEXT: <key>line</key><integer>6</integer>
83 // CHECK-NEXT: <key>col</key><integer>12</integer>
84 // CHECK-NEXT: <key>file</key><integer>0</integer>
85 // CHECK-NEXT: </dict>
86 // CHECK-NEXT: <dict>
87 // CHECK-NEXT: <key>line</key><integer>6</integer>
88 // CHECK-NEXT: <key>col</key><integer>18</integer>
89 // CHECK-NEXT: <key>file</key><integer>0</integer>
90 // CHECK-NEXT: </dict>
91 // CHECK-NEXT: </array>
92 // CHECK-NEXT: </array>
93 // CHECK-NEXT: <key>depth</key><integer>0</integer>
94 // CHECK-NEXT: <key>extended_message</key>
95 // CHECK-NEXT: <string>Memory is allocated</string>
96 // CHECK-NEXT: <key>message</key>
97 // CHECK-NEXT: <string>Memory is allocated</string>
98 // CHECK-NEXT: </dict>
99 // CHECK-NEXT: <dict>
100 // CHECK-NEXT: <key>kind</key><string>control</string>
101 // CHECK-NEXT: <key>edges</key>
102 // CHECK-NEXT: <array>
103 // CHECK-NEXT: <dict>
104 // CHECK-NEXT: <key>start</key>
105 // CHECK-NEXT: <array>
106 // CHECK-NEXT: <dict>
107 // CHECK-NEXT: <key>line</key><integer>6</integer>
108 // CHECK-NEXT: <key>col</key><integer>12</integer>
109 // CHECK-NEXT: <key>file</key><integer>0</integer>
110 // CHECK-NEXT: </dict>
111 // CHECK-NEXT: <dict>
112 // CHECK-NEXT: <key>line</key><integer>6</integer>
113 // CHECK-NEXT: <key>col</key><integer>14</integer>
114 // CHECK-NEXT: <key>file</key><integer>0</integer>
115 // CHECK-NEXT: </dict>
116 // CHECK-NEXT: </array>
117 // CHECK-NEXT: <key>end</key>
118 // CHECK-NEXT: <array>
119 // CHECK-NEXT: <dict>
120 // CHECK-NEXT: <key>line</key><integer>8</integer>
121 // CHECK-NEXT: <key>col</key><integer>3</integer>
122 // CHECK-NEXT: <key>file</key><integer>0</integer>
123 // CHECK-NEXT: </dict>
124 // CHECK-NEXT: <dict>
125 // CHECK-NEXT: <key>line</key><integer>8</integer>
126 // CHECK-NEXT: <key>col</key><integer>4</integer>
127 // CHECK-NEXT: <key>file</key><integer>0</integer>
128 // CHECK-NEXT: </dict>
129 // CHECK-NEXT: </array>
130 // CHECK-NEXT: </dict>
131 // CHECK-NEXT: </array>
132 // CHECK-NEXT: </dict>
133 // CHECK-NEXT: <dict>
134 // CHECK-NEXT: <key>kind</key><string>control</string>
135 // CHECK-NEXT: <key>edges</key>
136 // CHECK-NEXT: <array>
137 // CHECK-NEXT: <dict>
138 // CHECK-NEXT: <key>start</key>
139 // CHECK-NEXT: <array>
140 // CHECK-NEXT: <dict>
141 // CHECK-NEXT: <key>line</key><integer>8</integer>
142 // CHECK-NEXT: <key>col</key><integer>3</integer>
143 // CHECK-NEXT: <key>file</key><integer>0</integer>
144 // CHECK-NEXT: </dict>
145 // CHECK-NEXT: <dict>
146 // CHECK-NEXT: <key>line</key><integer>8</integer>
147 // CHECK-NEXT: <key>col</key><integer>4</integer>
148 // CHECK-NEXT: <key>file</key><integer>0</integer>
149 // CHECK-NEXT: </dict>
150 // CHECK-NEXT: </array>
151 // CHECK-NEXT: <key>end</key>
152 // CHECK-NEXT: <array>
153 // CHECK-NEXT: <dict>
154 // CHECK-NEXT: <key>line</key><integer>8</integer>
155 // CHECK-NEXT: <key>col</key><integer>7</integer>
156 // CHECK-NEXT: <key>file</key><integer>0</integer>
157 // CHECK-NEXT: </dict>
158 // CHECK-NEXT: <dict>
159 // CHECK-NEXT: <key>line</key><integer>8</integer>
160 // CHECK-NEXT: <key>col</key><integer>7</integer>
161 // CHECK-NEXT: <key>file</key><integer>0</integer>
162 // CHECK-NEXT: </dict>
163 // CHECK-NEXT: </array>
164 // CHECK-NEXT: </dict>
165 // CHECK-NEXT: </array>
166 // CHECK-NEXT: </dict>
167 // CHECK-NEXT: <dict>
168 // CHECK-NEXT: <key>kind</key><string>event</string>
169 // CHECK-NEXT: <key>location</key>
170 // CHECK-NEXT: <dict>
171 // CHECK-NEXT: <key>line</key><integer>8</integer>
172 // CHECK-NEXT: <key>col</key><integer>7</integer>
173 // CHECK-NEXT: <key>file</key><integer>0</integer>
174 // CHECK-NEXT: </dict>
175 // CHECK-NEXT: <key>ranges</key>
176 // CHECK-NEXT: <array>
177 // CHECK-NEXT: <array>
178 // CHECK-NEXT: <dict>
179 // CHECK-NEXT: <key>line</key><integer>8</integer>
180 // CHECK-NEXT: <key>col</key><integer>7</integer>
181 // CHECK-NEXT: <key>file</key><integer>0</integer>
182 // CHECK-NEXT: </dict>
183 // CHECK-NEXT: <dict>
184 // CHECK-NEXT: <key>line</key><integer>8</integer>
185 // CHECK-NEXT: <key>col</key><integer>7</integer>
186 // CHECK-NEXT: <key>file</key><integer>0</integer>
187 // CHECK-NEXT: </dict>
188 // CHECK-NEXT: </array>
189 // CHECK-NEXT: </array>
190 // CHECK-NEXT: <key>depth</key><integer>0</integer>
191 // CHECK-NEXT: <key>extended_message</key>
192 // CHECK-NEXT: <string>Assuming 'p' is non-null</string>
193 // CHECK-NEXT: <key>message</key>
194 // CHECK-NEXT: <string>Assuming 'p' is non-null</string>
195 // CHECK-NEXT: </dict>
196 // CHECK-NEXT: <dict>
197 // CHECK-NEXT: <key>kind</key><string>control</string>
198 // CHECK-NEXT: <key>edges</key>
199 // CHECK-NEXT: <array>
200 // CHECK-NEXT: <dict>
201 // CHECK-NEXT: <key>start</key>
202 // CHECK-NEXT: <array>
203 // CHECK-NEXT: <dict>
204 // CHECK-NEXT: <key>line</key><integer>8</integer>
205 // CHECK-NEXT: <key>col</key><integer>7</integer>
206 // CHECK-NEXT: <key>file</key><integer>0</integer>
207 // CHECK-NEXT: </dict>
208 // CHECK-NEXT: <dict>
209 // CHECK-NEXT: <key>line</key><integer>8</integer>
210 // CHECK-NEXT: <key>col</key><integer>7</integer>
211 // CHECK-NEXT: <key>file</key><integer>0</integer>
212 // CHECK-NEXT: </dict>
213 // CHECK-NEXT: </array>
214 // CHECK-NEXT: <key>end</key>
215 // CHECK-NEXT: <array>
216 // CHECK-NEXT: <dict>
217 // CHECK-NEXT: <key>line</key><integer>11</integer>
218 // CHECK-NEXT: <key>col</key><integer>5</integer>
219 // CHECK-NEXT: <key>file</key><integer>0</integer>
220 // CHECK-NEXT: </dict>
221 // CHECK-NEXT: <dict>
222 // CHECK-NEXT: <key>line</key><integer>11</integer>
223 // CHECK-NEXT: <key>col</key><integer>10</integer>
224 // CHECK-NEXT: <key>file</key><integer>0</integer>
225 // CHECK-NEXT: </dict>
226 // CHECK-NEXT: </array>
227 // CHECK-NEXT: </dict>
228 // CHECK-NEXT: </array>
229 // CHECK-NEXT: </dict>
230 // CHECK-NEXT: <dict>
231 // CHECK-NEXT: <key>kind</key><string>event</string>
232 // CHECK-NEXT: <key>location</key>
233 // CHECK-NEXT: <dict>
234 // CHECK-NEXT: <key>line</key><integer>11</integer>
235 // CHECK-NEXT: <key>col</key><integer>5</integer>
236 // CHECK-NEXT: <key>file</key><integer>0</integer>
237 // CHECK-NEXT: </dict>
238 // CHECK-NEXT: <key>ranges</key>
239 // CHECK-NEXT: <array>
240 // CHECK-NEXT: <array>
241 // CHECK-NEXT: <dict>
242 // CHECK-NEXT: <key>line</key><integer>11</integer>
243 // CHECK-NEXT: <key>col</key><integer>5</integer>
244 // CHECK-NEXT: <key>file</key><integer>0</integer>
245 // CHECK-NEXT: </dict>
246 // CHECK-NEXT: <dict>
247 // CHECK-NEXT: <key>line</key><integer>11</integer>
248 // CHECK-NEXT: <key>col</key><integer>12</integer>
249 // CHECK-NEXT: <key>file</key><integer>0</integer>
250 // CHECK-NEXT: </dict>
251 // CHECK-NEXT: </array>
252 // CHECK-NEXT: </array>
253 // CHECK-NEXT: <key>depth</key><integer>0</integer>
254 // CHECK-NEXT: <key>extended_message</key>
255 // CHECK-NEXT: <string>Memory is released</string>
256 // CHECK-NEXT: <key>message</key>
257 // CHECK-NEXT: <string>Memory is released</string>
258 // CHECK-NEXT: </dict>
259 // CHECK-NEXT: <dict>
260 // CHECK-NEXT: <key>kind</key><string>control</string>
261 // CHECK-NEXT: <key>edges</key>
262 // CHECK-NEXT: <array>
263 // CHECK-NEXT: <dict>
264 // CHECK-NEXT: <key>start</key>
265 // CHECK-NEXT: <array>
266 // CHECK-NEXT: <dict>
267 // CHECK-NEXT: <key>line</key><integer>11</integer>
268 // CHECK-NEXT: <key>col</key><integer>5</integer>
269 // CHECK-NEXT: <key>file</key><integer>0</integer>
270 // CHECK-NEXT: </dict>
271 // CHECK-NEXT: <dict>
272 // CHECK-NEXT: <key>line</key><integer>11</integer>
273 // CHECK-NEXT: <key>col</key><integer>10</integer>
274 // CHECK-NEXT: <key>file</key><integer>0</integer>
275 // CHECK-NEXT: </dict>
276 // CHECK-NEXT: </array>
277 // CHECK-NEXT: <key>end</key>
278 // CHECK-NEXT: <array>
279 // CHECK-NEXT: <dict>
280 // CHECK-NEXT: <key>line</key><integer>14</integer>
281 // CHECK-NEXT: <key>col</key><integer>3</integer>
282 // CHECK-NEXT: <key>file</key><integer>0</integer>
283 // CHECK-NEXT: </dict>
284 // CHECK-NEXT: <dict>
285 // CHECK-NEXT: <key>line</key><integer>14</integer>
286 // CHECK-NEXT: <key>col</key><integer>8</integer>
287 // CHECK-NEXT: <key>file</key><integer>0</integer>
288 // CHECK-NEXT: </dict>
289 // CHECK-NEXT: </array>
290 // CHECK-NEXT: </dict>
291 // CHECK-NEXT: </array>
292 // CHECK-NEXT: </dict>
293 // CHECK-NEXT: <dict>
294 // CHECK-NEXT: <key>kind</key><string>event</string>
295 // CHECK-NEXT: <key>location</key>
296 // CHECK-NEXT: <dict>
297 // CHECK-NEXT: <key>line</key><integer>14</integer>
298 // CHECK-NEXT: <key>col</key><integer>3</integer>
299 // CHECK-NEXT: <key>file</key><integer>0</integer>
300 // CHECK-NEXT: </dict>
301 // CHECK-NEXT: <key>ranges</key>
302 // CHECK-NEXT: <array>
303 // CHECK-NEXT: <array>
304 // CHECK-NEXT: <dict>
305 // CHECK-NEXT: <key>line</key><integer>14</integer>
306 // CHECK-NEXT: <key>col</key><integer>3</integer>
307 // CHECK-NEXT: <key>file</key><integer>0</integer>
308 // CHECK-NEXT: </dict>
309 // CHECK-NEXT: <dict>
310 // CHECK-NEXT: <key>line</key><integer>14</integer>
311 // CHECK-NEXT: <key>col</key><integer>10</integer>
312 // CHECK-NEXT: <key>file</key><integer>0</integer>
313 // CHECK-NEXT: </dict>
314 // CHECK-NEXT: </array>
315 // CHECK-NEXT: </array>
316 // CHECK-NEXT: <key>depth</key><integer>0</integer>
317 // CHECK-NEXT: <key>extended_message</key>
318 // CHECK-NEXT: <string>Attempt to free released memory</string>
319 // CHECK-NEXT: <key>message</key>
320 // CHECK-NEXT: <string>Attempt to free released memory</string>
321 // CHECK-NEXT: </dict>
322 // CHECK-NEXT: </array>
323 // CHECK-NEXT: <key>description</key><string>Attempt to free released memory</string>
324 // CHECK-NEXT: <key>category</key><string>Memory Error</string>
325 // CHECK-NEXT: <key>type</key><string>Double free</string>
326 // CHECK-NEXT: <key>issue_context_kind</key><string>function</string>
327 // CHECK-NEXT: <key>issue_context</key><string>test</string>
328 // CHECK-NEXT: <key>issue_hash</key><string>9</string>
329 // CHECK-NEXT: <key>location</key>
330 // CHECK-NEXT: <dict>
331 // CHECK-NEXT: <key>line</key><integer>14</integer>
332 // CHECK-NEXT: <key>col</key><integer>3</integer>
333 // CHECK-NEXT: <key>file</key><integer>0</integer>
334 // CHECK-NEXT: </dict>
335 // CHECK-NEXT: </dict>
336 // CHECK-NEXT: <dict>
337 // CHECK-NEXT: <key>path</key>
338 // CHECK-NEXT: <array>
339 // CHECK-NEXT: <dict>
340 // CHECK-NEXT: <key>kind</key><string>event</string>
341 // CHECK-NEXT: <key>location</key>
342 // CHECK-NEXT: <dict>
343 // CHECK-NEXT: <key>line</key><integer>25</integer>
344 // CHECK-NEXT: <key>col</key><integer>2</integer>
345 // CHECK-NEXT: <key>file</key><integer>0</integer>
346 // CHECK-NEXT: </dict>
347 // CHECK-NEXT: <key>ranges</key>
348 // CHECK-NEXT: <array>
349 // CHECK-NEXT: <array>
350 // CHECK-NEXT: <dict>
351 // CHECK-NEXT: <key>line</key><integer>25</integer>
352 // CHECK-NEXT: <key>col</key><integer>2</integer>
353 // CHECK-NEXT: <key>file</key><integer>0</integer>
354 // CHECK-NEXT: </dict>
355 // CHECK-NEXT: <dict>
356 // CHECK-NEXT: <key>line</key><integer>25</integer>
357 // CHECK-NEXT: <key>col</key><integer>12</integer>
358 // CHECK-NEXT: <key>file</key><integer>0</integer>
359 // CHECK-NEXT: </dict>
360 // CHECK-NEXT: </array>
361 // CHECK-NEXT: </array>
362 // CHECK-NEXT: <key>depth</key><integer>0</integer>
363 // CHECK-NEXT: <key>extended_message</key>
364 // CHECK-NEXT: <string>Calling 'Odd::kill'</string>
365 // CHECK-NEXT: <key>message</key>
366 // CHECK-NEXT: <string>Calling 'Odd::kill'</string>
367 // CHECK-NEXT: </dict>
368 // CHECK-NEXT: <dict>
369 // CHECK-NEXT: <key>kind</key><string>event</string>
370 // CHECK-NEXT: <key>location</key>
371 // CHECK-NEXT: <dict>
372 // CHECK-NEXT: <key>line</key><integer>19</integer>
373 // CHECK-NEXT: <key>col</key><integer>2</integer>
374 // CHECK-NEXT: <key>file</key><integer>0</integer>
375 // CHECK-NEXT: </dict>
376 // CHECK-NEXT: <key>depth</key><integer>1</integer>
377 // CHECK-NEXT: <key>extended_message</key>
378 // CHECK-NEXT: <string>Entered call from 'test'</string>
379 // CHECK-NEXT: <key>message</key>
380 // CHECK-NEXT: <string>Entered call from 'test'</string>
381 // CHECK-NEXT: </dict>
382 // CHECK-NEXT: <dict>
383 // CHECK-NEXT: <key>kind</key><string>control</string>
384 // CHECK-NEXT: <key>edges</key>
385 // CHECK-NEXT: <array>
386 // CHECK-NEXT: <dict>
387 // CHECK-NEXT: <key>start</key>
388 // CHECK-NEXT: <array>
389 // CHECK-NEXT: <dict>
390 // CHECK-NEXT: <key>line</key><integer>19</integer>
391 // CHECK-NEXT: <key>col</key><integer>2</integer>
392 // CHECK-NEXT: <key>file</key><integer>0</integer>
393 // CHECK-NEXT: </dict>
394 // CHECK-NEXT: <dict>
395 // CHECK-NEXT: <key>line</key><integer>19</integer>
396 // CHECK-NEXT: <key>col</key><integer>5</integer>
397 // CHECK-NEXT: <key>file</key><integer>0</integer>
398 // CHECK-NEXT: </dict>
399 // CHECK-NEXT: </array>
400 // CHECK-NEXT: <key>end</key>
401 // CHECK-NEXT: <array>
402 // CHECK-NEXT: <dict>
403 // CHECK-NEXT: <key>line</key><integer>20</integer>
404 // CHECK-NEXT: <key>col</key><integer>3</integer>
405 // CHECK-NEXT: <key>file</key><integer>0</integer>
406 // CHECK-NEXT: </dict>
407 // CHECK-NEXT: <dict>
408 // CHECK-NEXT: <key>line</key><integer>20</integer>
409 // CHECK-NEXT: <key>col</key><integer>8</integer>
410 // CHECK-NEXT: <key>file</key><integer>0</integer>
411 // CHECK-NEXT: </dict>
412 // CHECK-NEXT: </array>
413 // CHECK-NEXT: </dict>
414 // CHECK-NEXT: </array>
415 // CHECK-NEXT: </dict>
416 // CHECK-NEXT: <dict>
417 // CHECK-NEXT: <key>kind</key><string>event</string>
418 // CHECK-NEXT: <key>location</key>
419 // CHECK-NEXT: <dict>
420 // CHECK-NEXT: <key>line</key><integer>20</integer>
421 // CHECK-NEXT: <key>col</key><integer>3</integer>
422 // CHECK-NEXT: <key>file</key><integer>0</integer>
423 // CHECK-NEXT: </dict>
424 // CHECK-NEXT: <key>ranges</key>
425 // CHECK-NEXT: <array>
426 // CHECK-NEXT: <array>
427 // CHECK-NEXT: <dict>
428 // CHECK-NEXT: <key>line</key><integer>20</integer>
429 // CHECK-NEXT: <key>col</key><integer>3</integer>
430 // CHECK-NEXT: <key>file</key><integer>0</integer>
431 // CHECK-NEXT: </dict>
432 // CHECK-NEXT: <dict>
433 // CHECK-NEXT: <key>line</key><integer>20</integer>
434 // CHECK-NEXT: <key>col</key><integer>13</integer>
435 // CHECK-NEXT: <key>file</key><integer>0</integer>
436 // CHECK-NEXT: </dict>
437 // CHECK-NEXT: </array>
438 // CHECK-NEXT: </array>
439 // CHECK-NEXT: <key>depth</key><integer>1</integer>
440 // CHECK-NEXT: <key>extended_message</key>
441 // CHECK-NEXT: <string>Memory is released</string>
442 // CHECK-NEXT: <key>message</key>
443 // CHECK-NEXT: <string>Memory is released</string>
444 // CHECK-NEXT: </dict>
445 // CHECK-NEXT: <dict>
446 // CHECK-NEXT: <key>kind</key><string>event</string>
447 // CHECK-NEXT: <key>location</key>
448 // CHECK-NEXT: <dict>
449 // CHECK-NEXT: <key>line</key><integer>25</integer>
450 // CHECK-NEXT: <key>col</key><integer>2</integer>
451 // CHECK-NEXT: <key>file</key><integer>0</integer>
452 // CHECK-NEXT: </dict>
453 // CHECK-NEXT: <key>ranges</key>
454 // CHECK-NEXT: <array>
455 // CHECK-NEXT: <array>
456 // CHECK-NEXT: <dict>
457 // CHECK-NEXT: <key>line</key><integer>25</integer>
458 // CHECK-NEXT: <key>col</key><integer>2</integer>
459 // CHECK-NEXT: <key>file</key><integer>0</integer>
460 // CHECK-NEXT: </dict>
461 // CHECK-NEXT: <dict>
462 // CHECK-NEXT: <key>line</key><integer>25</integer>
463 // CHECK-NEXT: <key>col</key><integer>12</integer>
464 // CHECK-NEXT: <key>file</key><integer>0</integer>
465 // CHECK-NEXT: </dict>
466 // CHECK-NEXT: </array>
467 // CHECK-NEXT: </array>
468 // CHECK-NEXT: <key>depth</key><integer>0</integer>
469 // CHECK-NEXT: <key>extended_message</key>
470 // CHECK-NEXT: <string>Returning; memory was released</string>
471 // CHECK-NEXT: <key>message</key>
472 // CHECK-NEXT: <string>Returning; memory was released</string>
473 // CHECK-NEXT: </dict>
474 // CHECK-NEXT: <dict>
475 // CHECK-NEXT: <key>kind</key><string>control</string>
476 // CHECK-NEXT: <key>edges</key>
477 // CHECK-NEXT: <array>
478 // CHECK-NEXT: <dict>
479 // CHECK-NEXT: <key>start</key>
480 // CHECK-NEXT: <array>
481 // CHECK-NEXT: <dict>
482 // CHECK-NEXT: <key>line</key><integer>25</integer>
483 // CHECK-NEXT: <key>col</key><integer>2</integer>
484 // CHECK-NEXT: <key>file</key><integer>0</integer>
485 // CHECK-NEXT: </dict>
486 // CHECK-NEXT: <dict>
487 // CHECK-NEXT: <key>line</key><integer>25</integer>
488 // CHECK-NEXT: <key>col</key><integer>4</integer>
489 // CHECK-NEXT: <key>file</key><integer>0</integer>
490 // CHECK-NEXT: </dict>
491 // CHECK-NEXT: </array>
492 // CHECK-NEXT: <key>end</key>
493 // CHECK-NEXT: <array>
494 // CHECK-NEXT: <dict>
495 // CHECK-NEXT: <key>line</key><integer>27</integer>
496 // CHECK-NEXT: <key>col</key><integer>2</integer>
497 // CHECK-NEXT: <key>file</key><integer>0</integer>
498 // CHECK-NEXT: </dict>
499 // CHECK-NEXT: <dict>
500 // CHECK-NEXT: <key>line</key><integer>27</integer>
501 // CHECK-NEXT: <key>col</key><integer>7</integer>
502 // CHECK-NEXT: <key>file</key><integer>0</integer>
503 // CHECK-NEXT: </dict>
504 // CHECK-NEXT: </array>
505 // CHECK-NEXT: </dict>
506 // CHECK-NEXT: </array>
507 // CHECK-NEXT: </dict>
508 // CHECK-NEXT: <dict>
509 // CHECK-NEXT: <key>kind</key><string>event</string>
510 // CHECK-NEXT: <key>location</key>
511 // CHECK-NEXT: <dict>
512 // CHECK-NEXT: <key>line</key><integer>27</integer>
513 // CHECK-NEXT: <key>col</key><integer>2</integer>
514 // CHECK-NEXT: <key>file</key><integer>0</integer>
515 // CHECK-NEXT: </dict>
516 // CHECK-NEXT: <key>ranges</key>
517 // CHECK-NEXT: <array>
518 // CHECK-NEXT: <array>
519 // CHECK-NEXT: <dict>
520 // CHECK-NEXT: <key>line</key><integer>27</integer>
521 // CHECK-NEXT: <key>col</key><integer>2</integer>
522 // CHECK-NEXT: <key>file</key><integer>0</integer>
523 // CHECK-NEXT: </dict>
524 // CHECK-NEXT: <dict>
525 // CHECK-NEXT: <key>line</key><integer>27</integer>
526 // CHECK-NEXT: <key>col</key><integer>11</integer>
527 // CHECK-NEXT: <key>file</key><integer>0</integer>
528 // CHECK-NEXT: </dict>
529 // CHECK-NEXT: </array>
530 // CHECK-NEXT: </array>
531 // CHECK-NEXT: <key>depth</key><integer>0</integer>
532 // CHECK-NEXT: <key>extended_message</key>
533 // CHECK-NEXT: <string>Attempt to free released memory</string>
534 // CHECK-NEXT: <key>message</key>
535 // CHECK-NEXT: <string>Attempt to free released memory</string>
536 // CHECK-NEXT: </dict>
537 // CHECK-NEXT: </array>
538 // CHECK-NEXT: <key>description</key><string>Attempt to free released memory</string>
539 // CHECK-NEXT: <key>category</key><string>Memory Error</string>
540 // CHECK-NEXT: <key>type</key><string>Double free</string>
541 // CHECK-NEXT: <key>issue_context_kind</key><string>function</string>
542 // CHECK-NEXT: <key>issue_context</key><string>test</string>
543 // CHECK-NEXT: <key>issue_hash</key><string>3</string>
544 // CHECK-NEXT: <key>location</key>
545 // CHECK-NEXT: <dict>
546 // CHECK-NEXT: <key>line</key><integer>27</integer>
547 // CHECK-NEXT: <key>col</key><integer>2</integer>
548 // CHECK-NEXT: <key>file</key><integer>0</integer>
549 // CHECK-NEXT: </dict>
550 // CHECK-NEXT: </dict>
551 // CHECK-NEXT: </array>
552