• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 // RUN: %clang_cc1 -analyze -analyzer-checker=unix.Malloc -analyzer-output=plist -o %t %s
2 // RUN: FileCheck --input-file %t %s
3 
4 typedef __typeof(sizeof(int)) size_t;
5 void *malloc(size_t);
6 void free(void *);
7 void *realloc(void *ptr, size_t size);
8 
diagnosticTest(int in)9 void diagnosticTest(int in) {
10     if (in > 5) {
11         int *p = malloc(12);
12         (*p)++;
13     }
14     in++; // expected-warning {{leak}}
15 }
16 
myArrayAllocation()17 void myArrayAllocation() {
18     int **A;
19     A = malloc(2*sizeof(int*));
20     A[0] = 0;// expected-warning {{leak}}
21 }
22 
reallocDiagnostics()23 void reallocDiagnostics() {
24     char * buf = malloc(100);
25     char * tmp;
26     tmp = (char*)realloc(buf, 0x1000000);
27     if (!tmp) {
28         return;// expected-warning {{leak}}
29     }
30     buf = tmp;
31     free(buf);
32 }
33 
wrapper()34 void *wrapper() {
35   void *x = malloc(100);
36   // This is intentionally done to test diagnostic emission.
37   if (x)
38     return x;
39   return 0;
40 }
41 
test_wrapper()42 void test_wrapper() {
43   void *buf = wrapper();
44   (void) buf;
45 }
46 
47 // Test what happens when the same call frees and allocated memory.
48 // Also tests the stack hint for parameters, when they are passed directly or via pointer.
my_free(void * x)49 void my_free(void *x) {
50     free(x);
51 }
my_malloc_and_free(void ** x)52 void my_malloc_and_free(void **x) {
53     *x = malloc(100);
54     if (*x)
55       my_free(*x);
56     return;
57 }
test_double_action_call()58 void *test_double_action_call() {
59     void *buf;
60     my_malloc_and_free(&buf);
61     return buf;
62 }
63 
64 // Test stack hint for 'reallocation failed'.
my_realloc(char * buf)65 char *my_realloc(char *buf) {
66     char *tmp;
67     tmp = (char*)realloc(buf, 0x1000000);
68     if (!tmp) {
69         return tmp;
70     }
71     return tmp;
72 }
reallocIntra()73 void reallocIntra() {
74     char *buf = (char *)malloc(100);
75     buf = my_realloc(buf);
76     free(buf);
77 }
78 
79 // Test stack hint when returning a result.
malloc_wrapper_ret()80 static char *malloc_wrapper_ret() {
81     return (char*)malloc(12);
82 }
use_ret()83 void use_ret() {
84     char *v;
85     v = malloc_wrapper_ret();
86 }
87 
88 // Test that we refer to the last symbol used in the leak diagnostic.
LeakedSymbol(int in)89 void LeakedSymbol(int in) {
90     int *m = 0;
91     int *p;
92     p = (int*)malloc(12);
93     (*p)++;
94     m = p;
95     p = 0;
96     (*m)++;
97     in++;
98 }
99 
100 // CHECK: <?xml version="1.0" encoding="UTF-8"?>
101 // CHECK: <plist version="1.0">
102 // CHECK: <dict>
103 // CHECK:  <key>files</key>
104 // CHECK:  <array>
105 // CHECK:  </array>
106 // CHECK:  <key>diagnostics</key>
107 // CHECK:  <array>
108 // CHECK:   <dict>
109 // CHECK:    <key>path</key>
110 // CHECK:    <array>
111 // CHECK:     <dict>
112 // CHECK:      <key>kind</key><string>control</string>
113 // CHECK:      <key>edges</key>
114 // CHECK:       <array>
115 // CHECK:        <dict>
116 // CHECK:         <key>start</key>
117 // CHECK:          <array>
118 // CHECK:           <dict>
119 // CHECK:            <key>line</key><integer>10</integer>
120 // CHECK:            <key>col</key><integer>5</integer>
121 // CHECK:            <key>file</key><integer>0</integer>
122 // CHECK:           </dict>
123 // CHECK:           <dict>
124 // CHECK:            <key>line</key><integer>10</integer>
125 // CHECK:            <key>col</key><integer>5</integer>
126 // CHECK:            <key>file</key><integer>0</integer>
127 // CHECK:           </dict>
128 // CHECK:          </array>
129 // CHECK:         <key>end</key>
130 // CHECK:          <array>
131 // CHECK:           <dict>
132 // CHECK:            <key>line</key><integer>10</integer>
133 // CHECK:            <key>col</key><integer>9</integer>
134 // CHECK:            <key>file</key><integer>0</integer>
135 // CHECK:           </dict>
136 // CHECK:           <dict>
137 // CHECK:            <key>line</key><integer>10</integer>
138 // CHECK:            <key>col</key><integer>9</integer>
139 // CHECK:            <key>file</key><integer>0</integer>
140 // CHECK:           </dict>
141 // CHECK:          </array>
142 // CHECK:        </dict>
143 // CHECK:       </array>
144 // CHECK:     </dict>
145 // CHECK:     <dict>
146 // CHECK:      <key>kind</key><string>control</string>
147 // CHECK:      <key>edges</key>
148 // CHECK:       <array>
149 // CHECK:        <dict>
150 // CHECK:         <key>start</key>
151 // CHECK:          <array>
152 // CHECK:           <dict>
153 // CHECK:            <key>line</key><integer>10</integer>
154 // CHECK:            <key>col</key><integer>9</integer>
155 // CHECK:            <key>file</key><integer>0</integer>
156 // CHECK:           </dict>
157 // CHECK:           <dict>
158 // CHECK:            <key>line</key><integer>10</integer>
159 // CHECK:            <key>col</key><integer>9</integer>
160 // CHECK:            <key>file</key><integer>0</integer>
161 // CHECK:           </dict>
162 // CHECK:          </array>
163 // CHECK:         <key>end</key>
164 // CHECK:          <array>
165 // CHECK:           <dict>
166 // CHECK:            <key>line</key><integer>11</integer>
167 // CHECK:            <key>col</key><integer>9</integer>
168 // CHECK:            <key>file</key><integer>0</integer>
169 // CHECK:           </dict>
170 // CHECK:           <dict>
171 // CHECK:            <key>line</key><integer>11</integer>
172 // CHECK:            <key>col</key><integer>9</integer>
173 // CHECK:            <key>file</key><integer>0</integer>
174 // CHECK:           </dict>
175 // CHECK:          </array>
176 // CHECK:        </dict>
177 // CHECK:       </array>
178 // CHECK:     </dict>
179 // CHECK:     <dict>
180 // CHECK:      <key>kind</key><string>control</string>
181 // CHECK:      <key>edges</key>
182 // CHECK:       <array>
183 // CHECK:        <dict>
184 // CHECK:         <key>start</key>
185 // CHECK:          <array>
186 // CHECK:           <dict>
187 // CHECK:            <key>line</key><integer>11</integer>
188 // CHECK:            <key>col</key><integer>9</integer>
189 // CHECK:            <key>file</key><integer>0</integer>
190 // CHECK:           </dict>
191 // CHECK:           <dict>
192 // CHECK:            <key>line</key><integer>11</integer>
193 // CHECK:            <key>col</key><integer>9</integer>
194 // CHECK:            <key>file</key><integer>0</integer>
195 // CHECK:           </dict>
196 // CHECK:          </array>
197 // CHECK:         <key>end</key>
198 // CHECK:          <array>
199 // CHECK:           <dict>
200 // CHECK:            <key>line</key><integer>11</integer>
201 // CHECK:            <key>col</key><integer>18</integer>
202 // CHECK:            <key>file</key><integer>0</integer>
203 // CHECK:           </dict>
204 // CHECK:           <dict>
205 // CHECK:            <key>line</key><integer>11</integer>
206 // CHECK:            <key>col</key><integer>27</integer>
207 // CHECK:            <key>file</key><integer>0</integer>
208 // CHECK:           </dict>
209 // CHECK:          </array>
210 // CHECK:        </dict>
211 // CHECK:       </array>
212 // CHECK:     </dict>
213 // CHECK:     <dict>
214 // CHECK:      <key>kind</key><string>event</string>
215 // CHECK:      <key>location</key>
216 // CHECK:      <dict>
217 // CHECK:       <key>line</key><integer>11</integer>
218 // CHECK:       <key>col</key><integer>18</integer>
219 // CHECK:       <key>file</key><integer>0</integer>
220 // CHECK:      </dict>
221 // CHECK:      <key>ranges</key>
222 // CHECK:      <array>
223 // CHECK:        <array>
224 // CHECK:         <dict>
225 // CHECK:          <key>line</key><integer>11</integer>
226 // CHECK:          <key>col</key><integer>18</integer>
227 // CHECK:          <key>file</key><integer>0</integer>
228 // CHECK:         </dict>
229 // CHECK:         <dict>
230 // CHECK:          <key>line</key><integer>11</integer>
231 // CHECK:          <key>col</key><integer>27</integer>
232 // CHECK:          <key>file</key><integer>0</integer>
233 // CHECK:         </dict>
234 // CHECK:        </array>
235 // CHECK:      </array>
236 // CHECK:      <key>depth</key><integer>0</integer>
237 // CHECK:      <key>extended_message</key>
238 // CHECK:      <string>Memory is allocated</string>
239 // CHECK:      <key>message</key>
240 // CHECK: <string>Memory is allocated</string>
241 // CHECK:     </dict>
242 // CHECK:     <dict>
243 // CHECK:      <key>kind</key><string>control</string>
244 // CHECK:      <key>edges</key>
245 // CHECK:       <array>
246 // CHECK:        <dict>
247 // CHECK:         <key>start</key>
248 // CHECK:          <array>
249 // CHECK:           <dict>
250 // CHECK:            <key>line</key><integer>11</integer>
251 // CHECK:            <key>col</key><integer>18</integer>
252 // CHECK:            <key>file</key><integer>0</integer>
253 // CHECK:           </dict>
254 // CHECK:           <dict>
255 // CHECK:            <key>line</key><integer>11</integer>
256 // CHECK:            <key>col</key><integer>27</integer>
257 // CHECK:            <key>file</key><integer>0</integer>
258 // CHECK:           </dict>
259 // CHECK:          </array>
260 // CHECK:         <key>end</key>
261 // CHECK:          <array>
262 // CHECK:           <dict>
263 // CHECK:            <key>line</key><integer>14</integer>
264 // CHECK:            <key>col</key><integer>5</integer>
265 // CHECK:            <key>file</key><integer>0</integer>
266 // CHECK:           </dict>
267 // CHECK:           <dict>
268 // CHECK:            <key>line</key><integer>14</integer>
269 // CHECK:            <key>col</key><integer>6</integer>
270 // CHECK:            <key>file</key><integer>0</integer>
271 // CHECK:           </dict>
272 // CHECK:          </array>
273 // CHECK:        </dict>
274 // CHECK:       </array>
275 // CHECK:     </dict>
276 // CHECK:     <dict>
277 // CHECK:      <key>kind</key><string>event</string>
278 // CHECK:      <key>location</key>
279 // CHECK:      <dict>
280 // CHECK:       <key>line</key><integer>14</integer>
281 // CHECK:       <key>col</key><integer>5</integer>
282 // CHECK:       <key>file</key><integer>0</integer>
283 // CHECK:      </dict>
284 // CHECK:      <key>ranges</key>
285 // CHECK:      <array>
286 // CHECK:        <array>
287 // CHECK:         <dict>
288 // CHECK:          <key>line</key><integer>14</integer>
289 // CHECK:          <key>col</key><integer>5</integer>
290 // CHECK:          <key>file</key><integer>0</integer>
291 // CHECK:         </dict>
292 // CHECK:         <dict>
293 // CHECK:          <key>line</key><integer>14</integer>
294 // CHECK:          <key>col</key><integer>6</integer>
295 // CHECK:          <key>file</key><integer>0</integer>
296 // CHECK:         </dict>
297 // CHECK:        </array>
298 // CHECK:      </array>
299 // CHECK:      <key>depth</key><integer>0</integer>
300 // CHECK:      <key>extended_message</key>
301 // CHECK:      <string>Memory is never released; potential leak of memory pointed to by &apos;p&apos;</string>
302 // CHECK:      <key>message</key>
303 // CHECK: <string>Memory is never released; potential leak of memory pointed to by &apos;p&apos;</string>
304 // CHECK:     </dict>
305 // CHECK:    </array>
306 // CHECK:    <key>description</key><string>Memory is never released; potential leak of memory pointed to by &apos;p&apos;</string>
307 // CHECK:    <key>category</key><string>Memory Error</string>
308 // CHECK:    <key>type</key><string>Memory leak</string>
309 // CHECK:   <key>issue_context_kind</key><string>function</string>
310 // CHECK:   <key>issue_context</key><string>diagnosticTest</string>
311 // CHECK:   <key>location</key>
312 // CHECK:   <dict>
313 // CHECK:    <key>line</key><integer>14</integer>
314 // CHECK:    <key>col</key><integer>5</integer>
315 // CHECK:    <key>file</key><integer>0</integer>
316 // CHECK:   </dict>
317 // CHECK:   </dict>
318 // CHECK:   <dict>
319 // CHECK:    <key>path</key>
320 // CHECK:    <array>
321 // CHECK:     <dict>
322 // CHECK:      <key>kind</key><string>control</string>
323 // CHECK:      <key>edges</key>
324 // CHECK:       <array>
325 // CHECK:        <dict>
326 // CHECK:         <key>start</key>
327 // CHECK:          <array>
328 // CHECK:           <dict>
329 // CHECK:            <key>line</key><integer>18</integer>
330 // CHECK:            <key>col</key><integer>5</integer>
331 // CHECK:            <key>file</key><integer>0</integer>
332 // CHECK:           </dict>
333 // CHECK:           <dict>
334 // CHECK:            <key>line</key><integer>18</integer>
335 // CHECK:            <key>col</key><integer>5</integer>
336 // CHECK:            <key>file</key><integer>0</integer>
337 // CHECK:           </dict>
338 // CHECK:          </array>
339 // CHECK:         <key>end</key>
340 // CHECK:          <array>
341 // CHECK:           <dict>
342 // CHECK:            <key>line</key><integer>19</integer>
343 // CHECK:            <key>col</key><integer>5</integer>
344 // CHECK:            <key>file</key><integer>0</integer>
345 // CHECK:           </dict>
346 // CHECK:           <dict>
347 // CHECK:            <key>line</key><integer>19</integer>
348 // CHECK:            <key>col</key><integer>5</integer>
349 // CHECK:            <key>file</key><integer>0</integer>
350 // CHECK:           </dict>
351 // CHECK:          </array>
352 // CHECK:        </dict>
353 // CHECK:       </array>
354 // CHECK:     </dict>
355 // CHECK:     <dict>
356 // CHECK:      <key>kind</key><string>control</string>
357 // CHECK:      <key>edges</key>
358 // CHECK:       <array>
359 // CHECK:        <dict>
360 // CHECK:         <key>start</key>
361 // CHECK:          <array>
362 // CHECK:           <dict>
363 // CHECK:            <key>line</key><integer>19</integer>
364 // CHECK:            <key>col</key><integer>5</integer>
365 // CHECK:            <key>file</key><integer>0</integer>
366 // CHECK:           </dict>
367 // CHECK:           <dict>
368 // CHECK:            <key>line</key><integer>19</integer>
369 // CHECK:            <key>col</key><integer>5</integer>
370 // CHECK:            <key>file</key><integer>0</integer>
371 // CHECK:           </dict>
372 // CHECK:          </array>
373 // CHECK:         <key>end</key>
374 // CHECK:          <array>
375 // CHECK:           <dict>
376 // CHECK:            <key>line</key><integer>19</integer>
377 // CHECK:            <key>col</key><integer>9</integer>
378 // CHECK:            <key>file</key><integer>0</integer>
379 // CHECK:           </dict>
380 // CHECK:           <dict>
381 // CHECK:            <key>line</key><integer>19</integer>
382 // CHECK:            <key>col</key><integer>30</integer>
383 // CHECK:            <key>file</key><integer>0</integer>
384 // CHECK:           </dict>
385 // CHECK:          </array>
386 // CHECK:        </dict>
387 // CHECK:       </array>
388 // CHECK:     </dict>
389 // CHECK:     <dict>
390 // CHECK:      <key>kind</key><string>event</string>
391 // CHECK:      <key>location</key>
392 // CHECK:      <dict>
393 // CHECK:       <key>line</key><integer>19</integer>
394 // CHECK:       <key>col</key><integer>9</integer>
395 // CHECK:       <key>file</key><integer>0</integer>
396 // CHECK:      </dict>
397 // CHECK:      <key>ranges</key>
398 // CHECK:      <array>
399 // CHECK:        <array>
400 // CHECK:         <dict>
401 // CHECK:          <key>line</key><integer>19</integer>
402 // CHECK:          <key>col</key><integer>9</integer>
403 // CHECK:          <key>file</key><integer>0</integer>
404 // CHECK:         </dict>
405 // CHECK:         <dict>
406 // CHECK:          <key>line</key><integer>19</integer>
407 // CHECK:          <key>col</key><integer>30</integer>
408 // CHECK:          <key>file</key><integer>0</integer>
409 // CHECK:         </dict>
410 // CHECK:        </array>
411 // CHECK:      </array>
412 // CHECK:      <key>depth</key><integer>0</integer>
413 // CHECK:      <key>extended_message</key>
414 // CHECK:      <string>Memory is allocated</string>
415 // CHECK:      <key>message</key>
416 // CHECK: <string>Memory is allocated</string>
417 // CHECK:     </dict>
418 // CHECK:     <dict>
419 // CHECK:      <key>kind</key><string>control</string>
420 // CHECK:      <key>edges</key>
421 // CHECK:       <array>
422 // CHECK:        <dict>
423 // CHECK:         <key>start</key>
424 // CHECK:          <array>
425 // CHECK:           <dict>
426 // CHECK:            <key>line</key><integer>19</integer>
427 // CHECK:            <key>col</key><integer>9</integer>
428 // CHECK:            <key>file</key><integer>0</integer>
429 // CHECK:           </dict>
430 // CHECK:           <dict>
431 // CHECK:            <key>line</key><integer>19</integer>
432 // CHECK:            <key>col</key><integer>30</integer>
433 // CHECK:            <key>file</key><integer>0</integer>
434 // CHECK:           </dict>
435 // CHECK:          </array>
436 // CHECK:         <key>end</key>
437 // CHECK:          <array>
438 // CHECK:           <dict>
439 // CHECK:            <key>line</key><integer>21</integer>
440 // CHECK:            <key>col</key><integer>1</integer>
441 // CHECK:            <key>file</key><integer>0</integer>
442 // CHECK:           </dict>
443 // CHECK:           <dict>
444 // CHECK:            <key>line</key><integer>21</integer>
445 // CHECK:            <key>col</key><integer>1</integer>
446 // CHECK:            <key>file</key><integer>0</integer>
447 // CHECK:           </dict>
448 // CHECK:          </array>
449 // CHECK:        </dict>
450 // CHECK:       </array>
451 // CHECK:     </dict>
452 // CHECK:     <dict>
453 // CHECK:      <key>kind</key><string>event</string>
454 // CHECK:      <key>location</key>
455 // CHECK:      <dict>
456 // CHECK:       <key>line</key><integer>21</integer>
457 // CHECK:       <key>col</key><integer>1</integer>
458 // CHECK:       <key>file</key><integer>0</integer>
459 // CHECK:      </dict>
460 // CHECK:      <key>depth</key><integer>0</integer>
461 // CHECK:      <key>extended_message</key>
462 // CHECK:      <string>Memory is never released; potential leak of memory pointed to by &apos;A&apos;</string>
463 // CHECK:      <key>message</key>
464 // CHECK: <string>Memory is never released; potential leak of memory pointed to by &apos;A&apos;</string>
465 // CHECK:     </dict>
466 // CHECK:    </array>
467 // CHECK:    <key>description</key><string>Memory is never released; potential leak of memory pointed to by &apos;A&apos;</string>
468 // CHECK:    <key>category</key><string>Memory Error</string>
469 // CHECK:    <key>type</key><string>Memory leak</string>
470 // CHECK:   <key>issue_context_kind</key><string>function</string>
471 // CHECK:   <key>issue_context</key><string>myArrayAllocation</string>
472 // CHECK:   <key>location</key>
473 // CHECK:   <dict>
474 // CHECK:    <key>line</key><integer>21</integer>
475 // CHECK:    <key>col</key><integer>1</integer>
476 // CHECK:    <key>file</key><integer>0</integer>
477 // CHECK:   </dict>
478 // CHECK:   </dict>
479 // CHECK:   <dict>
480 // CHECK:    <key>path</key>
481 // CHECK:    <array>
482 // CHECK:     <dict>
483 // CHECK:      <key>kind</key><string>control</string>
484 // CHECK:      <key>edges</key>
485 // CHECK:       <array>
486 // CHECK:        <dict>
487 // CHECK:         <key>start</key>
488 // CHECK:          <array>
489 // CHECK:           <dict>
490 // CHECK:            <key>line</key><integer>24</integer>
491 // CHECK:            <key>col</key><integer>5</integer>
492 // CHECK:            <key>file</key><integer>0</integer>
493 // CHECK:           </dict>
494 // CHECK:           <dict>
495 // CHECK:            <key>line</key><integer>24</integer>
496 // CHECK:            <key>col</key><integer>5</integer>
497 // CHECK:            <key>file</key><integer>0</integer>
498 // CHECK:           </dict>
499 // CHECK:          </array>
500 // CHECK:         <key>end</key>
501 // CHECK:          <array>
502 // CHECK:           <dict>
503 // CHECK:            <key>line</key><integer>24</integer>
504 // CHECK:            <key>col</key><integer>18</integer>
505 // CHECK:            <key>file</key><integer>0</integer>
506 // CHECK:           </dict>
507 // CHECK:           <dict>
508 // CHECK:            <key>line</key><integer>24</integer>
509 // CHECK:            <key>col</key><integer>28</integer>
510 // CHECK:            <key>file</key><integer>0</integer>
511 // CHECK:           </dict>
512 // CHECK:          </array>
513 // CHECK:        </dict>
514 // CHECK:       </array>
515 // CHECK:     </dict>
516 // CHECK:     <dict>
517 // CHECK:      <key>kind</key><string>event</string>
518 // CHECK:      <key>location</key>
519 // CHECK:      <dict>
520 // CHECK:       <key>line</key><integer>24</integer>
521 // CHECK:       <key>col</key><integer>18</integer>
522 // CHECK:       <key>file</key><integer>0</integer>
523 // CHECK:      </dict>
524 // CHECK:      <key>ranges</key>
525 // CHECK:      <array>
526 // CHECK:        <array>
527 // CHECK:         <dict>
528 // CHECK:          <key>line</key><integer>24</integer>
529 // CHECK:          <key>col</key><integer>18</integer>
530 // CHECK:          <key>file</key><integer>0</integer>
531 // CHECK:         </dict>
532 // CHECK:         <dict>
533 // CHECK:          <key>line</key><integer>24</integer>
534 // CHECK:          <key>col</key><integer>28</integer>
535 // CHECK:          <key>file</key><integer>0</integer>
536 // CHECK:         </dict>
537 // CHECK:        </array>
538 // CHECK:      </array>
539 // CHECK:      <key>depth</key><integer>0</integer>
540 // CHECK:      <key>extended_message</key>
541 // CHECK:      <string>Memory is allocated</string>
542 // CHECK:      <key>message</key>
543 // CHECK: <string>Memory is allocated</string>
544 // CHECK:     </dict>
545 // CHECK:     <dict>
546 // CHECK:      <key>kind</key><string>control</string>
547 // CHECK:      <key>edges</key>
548 // CHECK:       <array>
549 // CHECK:        <dict>
550 // CHECK:         <key>start</key>
551 // CHECK:          <array>
552 // CHECK:           <dict>
553 // CHECK:            <key>line</key><integer>24</integer>
554 // CHECK:            <key>col</key><integer>18</integer>
555 // CHECK:            <key>file</key><integer>0</integer>
556 // CHECK:           </dict>
557 // CHECK:           <dict>
558 // CHECK:            <key>line</key><integer>24</integer>
559 // CHECK:            <key>col</key><integer>28</integer>
560 // CHECK:            <key>file</key><integer>0</integer>
561 // CHECK:           </dict>
562 // CHECK:          </array>
563 // CHECK:         <key>end</key>
564 // CHECK:          <array>
565 // CHECK:           <dict>
566 // CHECK:            <key>line</key><integer>26</integer>
567 // CHECK:            <key>col</key><integer>5</integer>
568 // CHECK:            <key>file</key><integer>0</integer>
569 // CHECK:           </dict>
570 // CHECK:           <dict>
571 // CHECK:            <key>line</key><integer>26</integer>
572 // CHECK:            <key>col</key><integer>5</integer>
573 // CHECK:            <key>file</key><integer>0</integer>
574 // CHECK:           </dict>
575 // CHECK:          </array>
576 // CHECK:        </dict>
577 // CHECK:       </array>
578 // CHECK:     </dict>
579 // CHECK:     <dict>
580 // CHECK:      <key>kind</key><string>control</string>
581 // CHECK:      <key>edges</key>
582 // CHECK:       <array>
583 // CHECK:        <dict>
584 // CHECK:         <key>start</key>
585 // CHECK:          <array>
586 // CHECK:           <dict>
587 // CHECK:            <key>line</key><integer>26</integer>
588 // CHECK:            <key>col</key><integer>5</integer>
589 // CHECK:            <key>file</key><integer>0</integer>
590 // CHECK:           </dict>
591 // CHECK:           <dict>
592 // CHECK:            <key>line</key><integer>26</integer>
593 // CHECK:            <key>col</key><integer>5</integer>
594 // CHECK:            <key>file</key><integer>0</integer>
595 // CHECK:           </dict>
596 // CHECK:          </array>
597 // CHECK:         <key>end</key>
598 // CHECK:          <array>
599 // CHECK:           <dict>
600 // CHECK:            <key>line</key><integer>26</integer>
601 // CHECK:            <key>col</key><integer>18</integer>
602 // CHECK:            <key>file</key><integer>0</integer>
603 // CHECK:           </dict>
604 // CHECK:           <dict>
605 // CHECK:            <key>line</key><integer>26</integer>
606 // CHECK:            <key>col</key><integer>40</integer>
607 // CHECK:            <key>file</key><integer>0</integer>
608 // CHECK:           </dict>
609 // CHECK:          </array>
610 // CHECK:        </dict>
611 // CHECK:       </array>
612 // CHECK:     </dict>
613 // CHECK:     <dict>
614 // CHECK:      <key>kind</key><string>event</string>
615 // CHECK:      <key>location</key>
616 // CHECK:      <dict>
617 // CHECK:       <key>line</key><integer>26</integer>
618 // CHECK:       <key>col</key><integer>18</integer>
619 // CHECK:       <key>file</key><integer>0</integer>
620 // CHECK:      </dict>
621 // CHECK:      <key>ranges</key>
622 // CHECK:      <array>
623 // CHECK:        <array>
624 // CHECK:         <dict>
625 // CHECK:          <key>line</key><integer>26</integer>
626 // CHECK:          <key>col</key><integer>18</integer>
627 // CHECK:          <key>file</key><integer>0</integer>
628 // CHECK:         </dict>
629 // CHECK:         <dict>
630 // CHECK:          <key>line</key><integer>26</integer>
631 // CHECK:          <key>col</key><integer>40</integer>
632 // CHECK:          <key>file</key><integer>0</integer>
633 // CHECK:         </dict>
634 // CHECK:        </array>
635 // CHECK:      </array>
636 // CHECK:      <key>depth</key><integer>0</integer>
637 // CHECK:      <key>extended_message</key>
638 // CHECK:      <string>Attempt to reallocate memory</string>
639 // CHECK:      <key>message</key>
640 // CHECK: <string>Attempt to reallocate memory</string>
641 // CHECK:     </dict>
642 // CHECK:     <dict>
643 // CHECK:      <key>kind</key><string>control</string>
644 // CHECK:      <key>edges</key>
645 // CHECK:       <array>
646 // CHECK:        <dict>
647 // CHECK:         <key>start</key>
648 // CHECK:          <array>
649 // CHECK:           <dict>
650 // CHECK:            <key>line</key><integer>26</integer>
651 // CHECK:            <key>col</key><integer>18</integer>
652 // CHECK:            <key>file</key><integer>0</integer>
653 // CHECK:           </dict>
654 // CHECK:           <dict>
655 // CHECK:            <key>line</key><integer>26</integer>
656 // CHECK:            <key>col</key><integer>40</integer>
657 // CHECK:            <key>file</key><integer>0</integer>
658 // CHECK:           </dict>
659 // CHECK:          </array>
660 // CHECK:         <key>end</key>
661 // CHECK:          <array>
662 // CHECK:           <dict>
663 // CHECK:            <key>line</key><integer>27</integer>
664 // CHECK:            <key>col</key><integer>5</integer>
665 // CHECK:            <key>file</key><integer>0</integer>
666 // CHECK:           </dict>
667 // CHECK:           <dict>
668 // CHECK:            <key>line</key><integer>27</integer>
669 // CHECK:            <key>col</key><integer>5</integer>
670 // CHECK:            <key>file</key><integer>0</integer>
671 // CHECK:           </dict>
672 // CHECK:          </array>
673 // CHECK:        </dict>
674 // CHECK:       </array>
675 // CHECK:     </dict>
676 // CHECK:     <dict>
677 // CHECK:      <key>kind</key><string>control</string>
678 // CHECK:      <key>edges</key>
679 // CHECK:       <array>
680 // CHECK:        <dict>
681 // CHECK:         <key>start</key>
682 // CHECK:          <array>
683 // CHECK:           <dict>
684 // CHECK:            <key>line</key><integer>27</integer>
685 // CHECK:            <key>col</key><integer>5</integer>
686 // CHECK:            <key>file</key><integer>0</integer>
687 // CHECK:           </dict>
688 // CHECK:           <dict>
689 // CHECK:            <key>line</key><integer>27</integer>
690 // CHECK:            <key>col</key><integer>5</integer>
691 // CHECK:            <key>file</key><integer>0</integer>
692 // CHECK:           </dict>
693 // CHECK:          </array>
694 // CHECK:         <key>end</key>
695 // CHECK:          <array>
696 // CHECK:           <dict>
697 // CHECK:            <key>line</key><integer>27</integer>
698 // CHECK:            <key>col</key><integer>9</integer>
699 // CHECK:            <key>file</key><integer>0</integer>
700 // CHECK:           </dict>
701 // CHECK:           <dict>
702 // CHECK:            <key>line</key><integer>27</integer>
703 // CHECK:            <key>col</key><integer>12</integer>
704 // CHECK:            <key>file</key><integer>0</integer>
705 // CHECK:           </dict>
706 // CHECK:          </array>
707 // CHECK:        </dict>
708 // CHECK:       </array>
709 // CHECK:     </dict>
710 // CHECK:     <dict>
711 // CHECK:      <key>kind</key><string>event</string>
712 // CHECK:      <key>location</key>
713 // CHECK:      <dict>
714 // CHECK:       <key>line</key><integer>27</integer>
715 // CHECK:       <key>col</key><integer>9</integer>
716 // CHECK:       <key>file</key><integer>0</integer>
717 // CHECK:      </dict>
718 // CHECK:      <key>ranges</key>
719 // CHECK:      <array>
720 // CHECK:        <array>
721 // CHECK:         <dict>
722 // CHECK:          <key>line</key><integer>27</integer>
723 // CHECK:          <key>col</key><integer>9</integer>
724 // CHECK:          <key>file</key><integer>0</integer>
725 // CHECK:         </dict>
726 // CHECK:         <dict>
727 // CHECK:          <key>line</key><integer>27</integer>
728 // CHECK:          <key>col</key><integer>12</integer>
729 // CHECK:          <key>file</key><integer>0</integer>
730 // CHECK:         </dict>
731 // CHECK:        </array>
732 // CHECK:      </array>
733 // CHECK:      <key>depth</key><integer>0</integer>
734 // CHECK:      <key>extended_message</key>
735 // CHECK:      <string>Assuming &apos;tmp&apos; is null</string>
736 // CHECK:      <key>message</key>
737 // CHECK: <string>Assuming &apos;tmp&apos; is null</string>
738 // CHECK:     </dict>
739 // CHECK:     <dict>
740 // CHECK:      <key>kind</key><string>control</string>
741 // CHECK:      <key>edges</key>
742 // CHECK:       <array>
743 // CHECK:        <dict>
744 // CHECK:         <key>start</key>
745 // CHECK:          <array>
746 // CHECK:           <dict>
747 // CHECK:            <key>line</key><integer>27</integer>
748 // CHECK:            <key>col</key><integer>9</integer>
749 // CHECK:            <key>file</key><integer>0</integer>
750 // CHECK:           </dict>
751 // CHECK:           <dict>
752 // CHECK:            <key>line</key><integer>27</integer>
753 // CHECK:            <key>col</key><integer>12</integer>
754 // CHECK:            <key>file</key><integer>0</integer>
755 // CHECK:           </dict>
756 // CHECK:          </array>
757 // CHECK:         <key>end</key>
758 // CHECK:          <array>
759 // CHECK:           <dict>
760 // CHECK:            <key>line</key><integer>27</integer>
761 // CHECK:            <key>col</key><integer>5</integer>
762 // CHECK:            <key>file</key><integer>0</integer>
763 // CHECK:           </dict>
764 // CHECK:           <dict>
765 // CHECK:            <key>line</key><integer>27</integer>
766 // CHECK:            <key>col</key><integer>6</integer>
767 // CHECK:            <key>file</key><integer>0</integer>
768 // CHECK:           </dict>
769 // CHECK:          </array>
770 // CHECK:        </dict>
771 // CHECK:       </array>
772 // CHECK:     </dict>
773 // CHECK:     <dict>
774 // CHECK:      <key>kind</key><string>event</string>
775 // CHECK:      <key>location</key>
776 // CHECK:      <dict>
777 // CHECK:       <key>line</key><integer>27</integer>
778 // CHECK:       <key>col</key><integer>5</integer>
779 // CHECK:       <key>file</key><integer>0</integer>
780 // CHECK:      </dict>
781 // CHECK:      <key>ranges</key>
782 // CHECK:      <array>
783 // CHECK:        <array>
784 // CHECK:         <dict>
785 // CHECK:          <key>line</key><integer>27</integer>
786 // CHECK:          <key>col</key><integer>5</integer>
787 // CHECK:          <key>file</key><integer>0</integer>
788 // CHECK:         </dict>
789 // CHECK:         <dict>
790 // CHECK:          <key>line</key><integer>27</integer>
791 // CHECK:          <key>col</key><integer>6</integer>
792 // CHECK:          <key>file</key><integer>0</integer>
793 // CHECK:         </dict>
794 // CHECK:        </array>
795 // CHECK:      </array>
796 // CHECK:      <key>depth</key><integer>0</integer>
797 // CHECK:      <key>extended_message</key>
798 // CHECK:      <string>Reallocation failed</string>
799 // CHECK:      <key>message</key>
800 // CHECK: <string>Reallocation failed</string>
801 // CHECK:     </dict>
802 // CHECK:     <dict>
803 // CHECK:      <key>kind</key><string>control</string>
804 // CHECK:      <key>edges</key>
805 // CHECK:       <array>
806 // CHECK:        <dict>
807 // CHECK:         <key>start</key>
808 // CHECK:          <array>
809 // CHECK:           <dict>
810 // CHECK:            <key>line</key><integer>27</integer>
811 // CHECK:            <key>col</key><integer>5</integer>
812 // CHECK:            <key>file</key><integer>0</integer>
813 // CHECK:           </dict>
814 // CHECK:           <dict>
815 // CHECK:            <key>line</key><integer>27</integer>
816 // CHECK:            <key>col</key><integer>6</integer>
817 // CHECK:            <key>file</key><integer>0</integer>
818 // CHECK:           </dict>
819 // CHECK:          </array>
820 // CHECK:         <key>end</key>
821 // CHECK:          <array>
822 // CHECK:           <dict>
823 // CHECK:            <key>line</key><integer>28</integer>
824 // CHECK:            <key>col</key><integer>9</integer>
825 // CHECK:            <key>file</key><integer>0</integer>
826 // CHECK:           </dict>
827 // CHECK:           <dict>
828 // CHECK:            <key>line</key><integer>28</integer>
829 // CHECK:            <key>col</key><integer>14</integer>
830 // CHECK:            <key>file</key><integer>0</integer>
831 // CHECK:           </dict>
832 // CHECK:          </array>
833 // CHECK:        </dict>
834 // CHECK:       </array>
835 // CHECK:     </dict>
836 // CHECK:     <dict>
837 // CHECK:      <key>kind</key><string>event</string>
838 // CHECK:      <key>location</key>
839 // CHECK:      <dict>
840 // CHECK:       <key>line</key><integer>28</integer>
841 // CHECK:       <key>col</key><integer>9</integer>
842 // CHECK:       <key>file</key><integer>0</integer>
843 // CHECK:      </dict>
844 // CHECK:      <key>ranges</key>
845 // CHECK:      <array>
846 // CHECK:        <array>
847 // CHECK:         <dict>
848 // CHECK:          <key>line</key><integer>28</integer>
849 // CHECK:          <key>col</key><integer>9</integer>
850 // CHECK:          <key>file</key><integer>0</integer>
851 // CHECK:         </dict>
852 // CHECK:         <dict>
853 // CHECK:          <key>line</key><integer>28</integer>
854 // CHECK:          <key>col</key><integer>14</integer>
855 // CHECK:          <key>file</key><integer>0</integer>
856 // CHECK:         </dict>
857 // CHECK:        </array>
858 // CHECK:      </array>
859 // CHECK:      <key>depth</key><integer>0</integer>
860 // CHECK:      <key>extended_message</key>
861 // CHECK:      <string>Memory is never released; potential leak of memory pointed to by &apos;buf&apos;</string>
862 // CHECK:      <key>message</key>
863 // CHECK: <string>Memory is never released; potential leak of memory pointed to by &apos;buf&apos;</string>
864 // CHECK:     </dict>
865 // CHECK:    </array>
866 // CHECK:    <key>description</key><string>Memory is never released; potential leak of memory pointed to by &apos;buf&apos;</string>
867 // CHECK:    <key>category</key><string>Memory Error</string>
868 // CHECK:    <key>type</key><string>Memory leak</string>
869 // CHECK:   <key>issue_context_kind</key><string>function</string>
870 // CHECK:   <key>issue_context</key><string>reallocDiagnostics</string>
871 // CHECK:   <key>location</key>
872 // CHECK:   <dict>
873 // CHECK:    <key>line</key><integer>28</integer>
874 // CHECK:    <key>col</key><integer>9</integer>
875 // CHECK:    <key>file</key><integer>0</integer>
876 // CHECK:   </dict>
877 // CHECK:   </dict>
878 // CHECK:   <dict>
879 // CHECK:    <key>path</key>
880 // CHECK:    <array>
881 // CHECK:     <dict>
882 // CHECK:      <key>kind</key><string>control</string>
883 // CHECK:      <key>edges</key>
884 // CHECK:       <array>
885 // CHECK:        <dict>
886 // CHECK:         <key>start</key>
887 // CHECK:          <array>
888 // CHECK:           <dict>
889 // CHECK:            <key>line</key><integer>43</integer>
890 // CHECK:            <key>col</key><integer>3</integer>
891 // CHECK:            <key>file</key><integer>0</integer>
892 // CHECK:           </dict>
893 // CHECK:           <dict>
894 // CHECK:            <key>line</key><integer>43</integer>
895 // CHECK:            <key>col</key><integer>3</integer>
896 // CHECK:            <key>file</key><integer>0</integer>
897 // CHECK:           </dict>
898 // CHECK:          </array>
899 // CHECK:         <key>end</key>
900 // CHECK:          <array>
901 // CHECK:           <dict>
902 // CHECK:            <key>line</key><integer>43</integer>
903 // CHECK:            <key>col</key><integer>15</integer>
904 // CHECK:            <key>file</key><integer>0</integer>
905 // CHECK:           </dict>
906 // CHECK:           <dict>
907 // CHECK:            <key>line</key><integer>43</integer>
908 // CHECK:            <key>col</key><integer>15</integer>
909 // CHECK:            <key>file</key><integer>0</integer>
910 // CHECK:           </dict>
911 // CHECK:          </array>
912 // CHECK:        </dict>
913 // CHECK:       </array>
914 // CHECK:     </dict>
915 // CHECK:     <dict>
916 // CHECK:      <key>kind</key><string>event</string>
917 // CHECK:      <key>location</key>
918 // CHECK:      <dict>
919 // CHECK:       <key>line</key><integer>43</integer>
920 // CHECK:       <key>col</key><integer>15</integer>
921 // CHECK:       <key>file</key><integer>0</integer>
922 // CHECK:      </dict>
923 // CHECK:      <key>ranges</key>
924 // CHECK:      <array>
925 // CHECK:        <array>
926 // CHECK:         <dict>
927 // CHECK:          <key>line</key><integer>43</integer>
928 // CHECK:          <key>col</key><integer>15</integer>
929 // CHECK:          <key>file</key><integer>0</integer>
930 // CHECK:         </dict>
931 // CHECK:         <dict>
932 // CHECK:          <key>line</key><integer>43</integer>
933 // CHECK:          <key>col</key><integer>23</integer>
934 // CHECK:          <key>file</key><integer>0</integer>
935 // CHECK:         </dict>
936 // CHECK:        </array>
937 // CHECK:      </array>
938 // CHECK:      <key>depth</key><integer>0</integer>
939 // CHECK:      <key>extended_message</key>
940 // CHECK:      <string>Calling &apos;wrapper&apos;</string>
941 // CHECK:      <key>message</key>
942 // CHECK: <string>Calling &apos;wrapper&apos;</string>
943 // CHECK:     </dict>
944 // CHECK:     <dict>
945 // CHECK:      <key>kind</key><string>event</string>
946 // CHECK:      <key>location</key>
947 // CHECK:      <dict>
948 // CHECK:       <key>line</key><integer>34</integer>
949 // CHECK:       <key>col</key><integer>1</integer>
950 // CHECK:       <key>file</key><integer>0</integer>
951 // CHECK:      </dict>
952 // CHECK:      <key>depth</key><integer>1</integer>
953 // CHECK:      <key>extended_message</key>
954 // CHECK:      <string>Entered call from &apos;test_wrapper&apos;</string>
955 // CHECK:      <key>message</key>
956 // CHECK: <string>Entered call from &apos;test_wrapper&apos;</string>
957 // CHECK:     </dict>
958 // CHECK:     <dict>
959 // CHECK:      <key>kind</key><string>control</string>
960 // CHECK:      <key>edges</key>
961 // CHECK:       <array>
962 // CHECK:        <dict>
963 // CHECK:         <key>start</key>
964 // CHECK:          <array>
965 // CHECK:           <dict>
966 // CHECK:            <key>line</key><integer>34</integer>
967 // CHECK:            <key>col</key><integer>1</integer>
968 // CHECK:            <key>file</key><integer>0</integer>
969 // CHECK:           </dict>
970 // CHECK:           <dict>
971 // CHECK:            <key>line</key><integer>34</integer>
972 // CHECK:            <key>col</key><integer>1</integer>
973 // CHECK:            <key>file</key><integer>0</integer>
974 // CHECK:           </dict>
975 // CHECK:          </array>
976 // CHECK:         <key>end</key>
977 // CHECK:          <array>
978 // CHECK:           <dict>
979 // CHECK:            <key>line</key><integer>35</integer>
980 // CHECK:            <key>col</key><integer>3</integer>
981 // CHECK:            <key>file</key><integer>0</integer>
982 // CHECK:           </dict>
983 // CHECK:           <dict>
984 // CHECK:            <key>line</key><integer>35</integer>
985 // CHECK:            <key>col</key><integer>3</integer>
986 // CHECK:            <key>file</key><integer>0</integer>
987 // CHECK:           </dict>
988 // CHECK:          </array>
989 // CHECK:        </dict>
990 // CHECK:       </array>
991 // CHECK:     </dict>
992 // CHECK:     <dict>
993 // CHECK:      <key>kind</key><string>control</string>
994 // CHECK:      <key>edges</key>
995 // CHECK:       <array>
996 // CHECK:        <dict>
997 // CHECK:         <key>start</key>
998 // CHECK:          <array>
999 // CHECK:           <dict>
1000 // CHECK:            <key>line</key><integer>35</integer>
1001 // CHECK:            <key>col</key><integer>3</integer>
1002 // CHECK:            <key>file</key><integer>0</integer>
1003 // CHECK:           </dict>
1004 // CHECK:           <dict>
1005 // CHECK:            <key>line</key><integer>35</integer>
1006 // CHECK:            <key>col</key><integer>3</integer>
1007 // CHECK:            <key>file</key><integer>0</integer>
1008 // CHECK:           </dict>
1009 // CHECK:          </array>
1010 // CHECK:         <key>end</key>
1011 // CHECK:          <array>
1012 // CHECK:           <dict>
1013 // CHECK:            <key>line</key><integer>35</integer>
1014 // CHECK:            <key>col</key><integer>13</integer>
1015 // CHECK:            <key>file</key><integer>0</integer>
1016 // CHECK:           </dict>
1017 // CHECK:           <dict>
1018 // CHECK:            <key>line</key><integer>35</integer>
1019 // CHECK:            <key>col</key><integer>23</integer>
1020 // CHECK:            <key>file</key><integer>0</integer>
1021 // CHECK:           </dict>
1022 // CHECK:          </array>
1023 // CHECK:        </dict>
1024 // CHECK:       </array>
1025 // CHECK:     </dict>
1026 // CHECK:     <dict>
1027 // CHECK:      <key>kind</key><string>event</string>
1028 // CHECK:      <key>location</key>
1029 // CHECK:      <dict>
1030 // CHECK:       <key>line</key><integer>35</integer>
1031 // CHECK:       <key>col</key><integer>13</integer>
1032 // CHECK:       <key>file</key><integer>0</integer>
1033 // CHECK:      </dict>
1034 // CHECK:      <key>ranges</key>
1035 // CHECK:      <array>
1036 // CHECK:        <array>
1037 // CHECK:         <dict>
1038 // CHECK:          <key>line</key><integer>35</integer>
1039 // CHECK:          <key>col</key><integer>13</integer>
1040 // CHECK:          <key>file</key><integer>0</integer>
1041 // CHECK:         </dict>
1042 // CHECK:         <dict>
1043 // CHECK:          <key>line</key><integer>35</integer>
1044 // CHECK:          <key>col</key><integer>23</integer>
1045 // CHECK:          <key>file</key><integer>0</integer>
1046 // CHECK:         </dict>
1047 // CHECK:        </array>
1048 // CHECK:      </array>
1049 // CHECK:      <key>depth</key><integer>1</integer>
1050 // CHECK:      <key>extended_message</key>
1051 // CHECK:      <string>Memory is allocated</string>
1052 // CHECK:      <key>message</key>
1053 // CHECK: <string>Memory is allocated</string>
1054 // CHECK:     </dict>
1055 // CHECK:     <dict>
1056 // CHECK:      <key>kind</key><string>control</string>
1057 // CHECK:      <key>edges</key>
1058 // CHECK:       <array>
1059 // CHECK:        <dict>
1060 // CHECK:         <key>start</key>
1061 // CHECK:          <array>
1062 // CHECK:           <dict>
1063 // CHECK:            <key>line</key><integer>35</integer>
1064 // CHECK:            <key>col</key><integer>13</integer>
1065 // CHECK:            <key>file</key><integer>0</integer>
1066 // CHECK:           </dict>
1067 // CHECK:           <dict>
1068 // CHECK:            <key>line</key><integer>35</integer>
1069 // CHECK:            <key>col</key><integer>23</integer>
1070 // CHECK:            <key>file</key><integer>0</integer>
1071 // CHECK:           </dict>
1072 // CHECK:          </array>
1073 // CHECK:         <key>end</key>
1074 // CHECK:          <array>
1075 // CHECK:           <dict>
1076 // CHECK:            <key>line</key><integer>37</integer>
1077 // CHECK:            <key>col</key><integer>3</integer>
1078 // CHECK:            <key>file</key><integer>0</integer>
1079 // CHECK:           </dict>
1080 // CHECK:           <dict>
1081 // CHECK:            <key>line</key><integer>37</integer>
1082 // CHECK:            <key>col</key><integer>3</integer>
1083 // CHECK:            <key>file</key><integer>0</integer>
1084 // CHECK:           </dict>
1085 // CHECK:          </array>
1086 // CHECK:        </dict>
1087 // CHECK:       </array>
1088 // CHECK:     </dict>
1089 // CHECK:     <dict>
1090 // CHECK:      <key>kind</key><string>control</string>
1091 // CHECK:      <key>edges</key>
1092 // CHECK:       <array>
1093 // CHECK:        <dict>
1094 // CHECK:         <key>start</key>
1095 // CHECK:          <array>
1096 // CHECK:           <dict>
1097 // CHECK:            <key>line</key><integer>37</integer>
1098 // CHECK:            <key>col</key><integer>3</integer>
1099 // CHECK:            <key>file</key><integer>0</integer>
1100 // CHECK:           </dict>
1101 // CHECK:           <dict>
1102 // CHECK:            <key>line</key><integer>37</integer>
1103 // CHECK:            <key>col</key><integer>3</integer>
1104 // CHECK:            <key>file</key><integer>0</integer>
1105 // CHECK:           </dict>
1106 // CHECK:          </array>
1107 // CHECK:         <key>end</key>
1108 // CHECK:          <array>
1109 // CHECK:           <dict>
1110 // CHECK:            <key>line</key><integer>37</integer>
1111 // CHECK:            <key>col</key><integer>7</integer>
1112 // CHECK:            <key>file</key><integer>0</integer>
1113 // CHECK:           </dict>
1114 // CHECK:           <dict>
1115 // CHECK:            <key>line</key><integer>37</integer>
1116 // CHECK:            <key>col</key><integer>7</integer>
1117 // CHECK:            <key>file</key><integer>0</integer>
1118 // CHECK:           </dict>
1119 // CHECK:          </array>
1120 // CHECK:        </dict>
1121 // CHECK:       </array>
1122 // CHECK:     </dict>
1123 // CHECK:     <dict>
1124 // CHECK:      <key>kind</key><string>event</string>
1125 // CHECK:      <key>location</key>
1126 // CHECK:      <dict>
1127 // CHECK:       <key>line</key><integer>37</integer>
1128 // CHECK:       <key>col</key><integer>7</integer>
1129 // CHECK:       <key>file</key><integer>0</integer>
1130 // CHECK:      </dict>
1131 // CHECK:      <key>ranges</key>
1132 // CHECK:      <array>
1133 // CHECK:        <array>
1134 // CHECK:         <dict>
1135 // CHECK:          <key>line</key><integer>37</integer>
1136 // CHECK:          <key>col</key><integer>7</integer>
1137 // CHECK:          <key>file</key><integer>0</integer>
1138 // CHECK:         </dict>
1139 // CHECK:         <dict>
1140 // CHECK:          <key>line</key><integer>37</integer>
1141 // CHECK:          <key>col</key><integer>7</integer>
1142 // CHECK:          <key>file</key><integer>0</integer>
1143 // CHECK:         </dict>
1144 // CHECK:        </array>
1145 // CHECK:      </array>
1146 // CHECK:      <key>depth</key><integer>1</integer>
1147 // CHECK:      <key>extended_message</key>
1148 // CHECK:      <string>Assuming &apos;x&apos; is non-null</string>
1149 // CHECK:      <key>message</key>
1150 // CHECK: <string>Assuming &apos;x&apos; is non-null</string>
1151 // CHECK:     </dict>
1152 // CHECK:     <dict>
1153 // CHECK:      <key>kind</key><string>control</string>
1154 // CHECK:      <key>edges</key>
1155 // CHECK:       <array>
1156 // CHECK:        <dict>
1157 // CHECK:         <key>start</key>
1158 // CHECK:          <array>
1159 // CHECK:           <dict>
1160 // CHECK:            <key>line</key><integer>37</integer>
1161 // CHECK:            <key>col</key><integer>7</integer>
1162 // CHECK:            <key>file</key><integer>0</integer>
1163 // CHECK:           </dict>
1164 // CHECK:           <dict>
1165 // CHECK:            <key>line</key><integer>37</integer>
1166 // CHECK:            <key>col</key><integer>7</integer>
1167 // CHECK:            <key>file</key><integer>0</integer>
1168 // CHECK:           </dict>
1169 // CHECK:          </array>
1170 // CHECK:         <key>end</key>
1171 // CHECK:          <array>
1172 // CHECK:           <dict>
1173 // CHECK:            <key>line</key><integer>38</integer>
1174 // CHECK:            <key>col</key><integer>5</integer>
1175 // CHECK:            <key>file</key><integer>0</integer>
1176 // CHECK:           </dict>
1177 // CHECK:           <dict>
1178 // CHECK:            <key>line</key><integer>38</integer>
1179 // CHECK:            <key>col</key><integer>5</integer>
1180 // CHECK:            <key>file</key><integer>0</integer>
1181 // CHECK:           </dict>
1182 // CHECK:          </array>
1183 // CHECK:        </dict>
1184 // CHECK:       </array>
1185 // CHECK:     </dict>
1186 // CHECK:     <dict>
1187 // CHECK:      <key>kind</key><string>event</string>
1188 // CHECK:      <key>location</key>
1189 // CHECK:      <dict>
1190 // CHECK:       <key>line</key><integer>43</integer>
1191 // CHECK:       <key>col</key><integer>15</integer>
1192 // CHECK:       <key>file</key><integer>0</integer>
1193 // CHECK:      </dict>
1194 // CHECK:      <key>ranges</key>
1195 // CHECK:      <array>
1196 // CHECK:        <array>
1197 // CHECK:         <dict>
1198 // CHECK:          <key>line</key><integer>43</integer>
1199 // CHECK:          <key>col</key><integer>15</integer>
1200 // CHECK:          <key>file</key><integer>0</integer>
1201 // CHECK:         </dict>
1202 // CHECK:         <dict>
1203 // CHECK:          <key>line</key><integer>43</integer>
1204 // CHECK:          <key>col</key><integer>23</integer>
1205 // CHECK:          <key>file</key><integer>0</integer>
1206 // CHECK:         </dict>
1207 // CHECK:        </array>
1208 // CHECK:      </array>
1209 // CHECK:      <key>depth</key><integer>1</integer>
1210 // CHECK:      <key>extended_message</key>
1211 // CHECK:      <string>Returned allocated memory</string>
1212 // CHECK:      <key>message</key>
1213 // CHECK: <string>Returned allocated memory</string>
1214 // CHECK:     </dict>
1215 // CHECK:     <dict>
1216 // CHECK:      <key>kind</key><string>control</string>
1217 // CHECK:      <key>edges</key>
1218 // CHECK:       <array>
1219 // CHECK:        <dict>
1220 // CHECK:         <key>start</key>
1221 // CHECK:          <array>
1222 // CHECK:           <dict>
1223 // CHECK:            <key>line</key><integer>43</integer>
1224 // CHECK:            <key>col</key><integer>15</integer>
1225 // CHECK:            <key>file</key><integer>0</integer>
1226 // CHECK:           </dict>
1227 // CHECK:           <dict>
1228 // CHECK:            <key>line</key><integer>43</integer>
1229 // CHECK:            <key>col</key><integer>23</integer>
1230 // CHECK:            <key>file</key><integer>0</integer>
1231 // CHECK:           </dict>
1232 // CHECK:          </array>
1233 // CHECK:         <key>end</key>
1234 // CHECK:          <array>
1235 // CHECK:           <dict>
1236 // CHECK:            <key>line</key><integer>45</integer>
1237 // CHECK:            <key>col</key><integer>1</integer>
1238 // CHECK:            <key>file</key><integer>0</integer>
1239 // CHECK:           </dict>
1240 // CHECK:           <dict>
1241 // CHECK:            <key>line</key><integer>45</integer>
1242 // CHECK:            <key>col</key><integer>1</integer>
1243 // CHECK:            <key>file</key><integer>0</integer>
1244 // CHECK:           </dict>
1245 // CHECK:          </array>
1246 // CHECK:        </dict>
1247 // CHECK:       </array>
1248 // CHECK:     </dict>
1249 // CHECK:     <dict>
1250 // CHECK:      <key>kind</key><string>event</string>
1251 // CHECK:      <key>location</key>
1252 // CHECK:      <dict>
1253 // CHECK:       <key>line</key><integer>45</integer>
1254 // CHECK:       <key>col</key><integer>1</integer>
1255 // CHECK:       <key>file</key><integer>0</integer>
1256 // CHECK:      </dict>
1257 // CHECK:      <key>depth</key><integer>0</integer>
1258 // CHECK:      <key>extended_message</key>
1259 // CHECK:      <string>Memory is never released; potential leak of memory pointed to by &apos;buf&apos;</string>
1260 // CHECK:      <key>message</key>
1261 // CHECK: <string>Memory is never released; potential leak of memory pointed to by &apos;buf&apos;</string>
1262 // CHECK:     </dict>
1263 // CHECK:    </array>
1264 // CHECK:    <key>description</key><string>Memory is never released; potential leak of memory pointed to by &apos;buf&apos;</string>
1265 // CHECK:    <key>category</key><string>Memory Error</string>
1266 // CHECK:    <key>type</key><string>Memory leak</string>
1267 // CHECK:   <key>issue_context_kind</key><string>function</string>
1268 // CHECK:   <key>issue_context</key><string>test_wrapper</string>
1269 // CHECK:   <key>location</key>
1270 // CHECK:   <dict>
1271 // CHECK:    <key>line</key><integer>45</integer>
1272 // CHECK:    <key>col</key><integer>1</integer>
1273 // CHECK:    <key>file</key><integer>0</integer>
1274 // CHECK:   </dict>
1275 // CHECK:   </dict>
1276 // CHECK:   <dict>
1277 // CHECK:    <key>path</key>
1278 // CHECK:    <array>
1279 // CHECK:     <dict>
1280 // CHECK:      <key>kind</key><string>control</string>
1281 // CHECK:      <key>edges</key>
1282 // CHECK:       <array>
1283 // CHECK:        <dict>
1284 // CHECK:         <key>start</key>
1285 // CHECK:          <array>
1286 // CHECK:           <dict>
1287 // CHECK:            <key>line</key><integer>59</integer>
1288 // CHECK:            <key>col</key><integer>5</integer>
1289 // CHECK:            <key>file</key><integer>0</integer>
1290 // CHECK:           </dict>
1291 // CHECK:           <dict>
1292 // CHECK:            <key>line</key><integer>59</integer>
1293 // CHECK:            <key>col</key><integer>5</integer>
1294 // CHECK:            <key>file</key><integer>0</integer>
1295 // CHECK:           </dict>
1296 // CHECK:          </array>
1297 // CHECK:         <key>end</key>
1298 // CHECK:          <array>
1299 // CHECK:           <dict>
1300 // CHECK:            <key>line</key><integer>60</integer>
1301 // CHECK:            <key>col</key><integer>5</integer>
1302 // CHECK:            <key>file</key><integer>0</integer>
1303 // CHECK:           </dict>
1304 // CHECK:           <dict>
1305 // CHECK:            <key>line</key><integer>60</integer>
1306 // CHECK:            <key>col</key><integer>5</integer>
1307 // CHECK:            <key>file</key><integer>0</integer>
1308 // CHECK:           </dict>
1309 // CHECK:          </array>
1310 // CHECK:        </dict>
1311 // CHECK:       </array>
1312 // CHECK:     </dict>
1313 // CHECK:     <dict>
1314 // CHECK:      <key>kind</key><string>event</string>
1315 // CHECK:      <key>location</key>
1316 // CHECK:      <dict>
1317 // CHECK:       <key>line</key><integer>60</integer>
1318 // CHECK:       <key>col</key><integer>5</integer>
1319 // CHECK:       <key>file</key><integer>0</integer>
1320 // CHECK:      </dict>
1321 // CHECK:      <key>ranges</key>
1322 // CHECK:      <array>
1323 // CHECK:        <array>
1324 // CHECK:         <dict>
1325 // CHECK:          <key>line</key><integer>60</integer>
1326 // CHECK:          <key>col</key><integer>5</integer>
1327 // CHECK:          <key>file</key><integer>0</integer>
1328 // CHECK:         </dict>
1329 // CHECK:         <dict>
1330 // CHECK:          <key>line</key><integer>60</integer>
1331 // CHECK:          <key>col</key><integer>28</integer>
1332 // CHECK:          <key>file</key><integer>0</integer>
1333 // CHECK:         </dict>
1334 // CHECK:        </array>
1335 // CHECK:      </array>
1336 // CHECK:      <key>depth</key><integer>0</integer>
1337 // CHECK:      <key>extended_message</key>
1338 // CHECK:      <string>Calling &apos;my_malloc_and_free&apos;</string>
1339 // CHECK:      <key>message</key>
1340 // CHECK: <string>Calling &apos;my_malloc_and_free&apos;</string>
1341 // CHECK:     </dict>
1342 // CHECK:     <dict>
1343 // CHECK:      <key>kind</key><string>event</string>
1344 // CHECK:      <key>location</key>
1345 // CHECK:      <dict>
1346 // CHECK:       <key>line</key><integer>52</integer>
1347 // CHECK:       <key>col</key><integer>1</integer>
1348 // CHECK:       <key>file</key><integer>0</integer>
1349 // CHECK:      </dict>
1350 // CHECK:      <key>depth</key><integer>1</integer>
1351 // CHECK:      <key>extended_message</key>
1352 // CHECK:      <string>Entered call from &apos;test_double_action_call&apos;</string>
1353 // CHECK:      <key>message</key>
1354 // CHECK: <string>Entered call from &apos;test_double_action_call&apos;</string>
1355 // CHECK:     </dict>
1356 // CHECK:     <dict>
1357 // CHECK:      <key>kind</key><string>control</string>
1358 // CHECK:      <key>edges</key>
1359 // CHECK:       <array>
1360 // CHECK:        <dict>
1361 // CHECK:         <key>start</key>
1362 // CHECK:          <array>
1363 // CHECK:           <dict>
1364 // CHECK:            <key>line</key><integer>52</integer>
1365 // CHECK:            <key>col</key><integer>1</integer>
1366 // CHECK:            <key>file</key><integer>0</integer>
1367 // CHECK:           </dict>
1368 // CHECK:           <dict>
1369 // CHECK:            <key>line</key><integer>52</integer>
1370 // CHECK:            <key>col</key><integer>1</integer>
1371 // CHECK:            <key>file</key><integer>0</integer>
1372 // CHECK:           </dict>
1373 // CHECK:          </array>
1374 // CHECK:         <key>end</key>
1375 // CHECK:          <array>
1376 // CHECK:           <dict>
1377 // CHECK:            <key>line</key><integer>53</integer>
1378 // CHECK:            <key>col</key><integer>5</integer>
1379 // CHECK:            <key>file</key><integer>0</integer>
1380 // CHECK:           </dict>
1381 // CHECK:           <dict>
1382 // CHECK:            <key>line</key><integer>53</integer>
1383 // CHECK:            <key>col</key><integer>5</integer>
1384 // CHECK:            <key>file</key><integer>0</integer>
1385 // CHECK:           </dict>
1386 // CHECK:          </array>
1387 // CHECK:        </dict>
1388 // CHECK:       </array>
1389 // CHECK:     </dict>
1390 // CHECK:     <dict>
1391 // CHECK:      <key>kind</key><string>control</string>
1392 // CHECK:      <key>edges</key>
1393 // CHECK:       <array>
1394 // CHECK:        <dict>
1395 // CHECK:         <key>start</key>
1396 // CHECK:          <array>
1397 // CHECK:           <dict>
1398 // CHECK:            <key>line</key><integer>53</integer>
1399 // CHECK:            <key>col</key><integer>5</integer>
1400 // CHECK:            <key>file</key><integer>0</integer>
1401 // CHECK:           </dict>
1402 // CHECK:           <dict>
1403 // CHECK:            <key>line</key><integer>53</integer>
1404 // CHECK:            <key>col</key><integer>5</integer>
1405 // CHECK:            <key>file</key><integer>0</integer>
1406 // CHECK:           </dict>
1407 // CHECK:          </array>
1408 // CHECK:         <key>end</key>
1409 // CHECK:          <array>
1410 // CHECK:           <dict>
1411 // CHECK:            <key>line</key><integer>53</integer>
1412 // CHECK:            <key>col</key><integer>10</integer>
1413 // CHECK:            <key>file</key><integer>0</integer>
1414 // CHECK:           </dict>
1415 // CHECK:           <dict>
1416 // CHECK:            <key>line</key><integer>53</integer>
1417 // CHECK:            <key>col</key><integer>20</integer>
1418 // CHECK:            <key>file</key><integer>0</integer>
1419 // CHECK:           </dict>
1420 // CHECK:          </array>
1421 // CHECK:        </dict>
1422 // CHECK:       </array>
1423 // CHECK:     </dict>
1424 // CHECK:     <dict>
1425 // CHECK:      <key>kind</key><string>event</string>
1426 // CHECK:      <key>location</key>
1427 // CHECK:      <dict>
1428 // CHECK:       <key>line</key><integer>53</integer>
1429 // CHECK:       <key>col</key><integer>10</integer>
1430 // CHECK:       <key>file</key><integer>0</integer>
1431 // CHECK:      </dict>
1432 // CHECK:      <key>ranges</key>
1433 // CHECK:      <array>
1434 // CHECK:        <array>
1435 // CHECK:         <dict>
1436 // CHECK:          <key>line</key><integer>53</integer>
1437 // CHECK:          <key>col</key><integer>10</integer>
1438 // CHECK:          <key>file</key><integer>0</integer>
1439 // CHECK:         </dict>
1440 // CHECK:         <dict>
1441 // CHECK:          <key>line</key><integer>53</integer>
1442 // CHECK:          <key>col</key><integer>20</integer>
1443 // CHECK:          <key>file</key><integer>0</integer>
1444 // CHECK:         </dict>
1445 // CHECK:        </array>
1446 // CHECK:      </array>
1447 // CHECK:      <key>depth</key><integer>1</integer>
1448 // CHECK:      <key>extended_message</key>
1449 // CHECK:      <string>Memory is allocated</string>
1450 // CHECK:      <key>message</key>
1451 // CHECK: <string>Memory is allocated</string>
1452 // CHECK:     </dict>
1453 // CHECK:     <dict>
1454 // CHECK:      <key>kind</key><string>control</string>
1455 // CHECK:      <key>edges</key>
1456 // CHECK:       <array>
1457 // CHECK:        <dict>
1458 // CHECK:         <key>start</key>
1459 // CHECK:          <array>
1460 // CHECK:           <dict>
1461 // CHECK:            <key>line</key><integer>53</integer>
1462 // CHECK:            <key>col</key><integer>10</integer>
1463 // CHECK:            <key>file</key><integer>0</integer>
1464 // CHECK:           </dict>
1465 // CHECK:           <dict>
1466 // CHECK:            <key>line</key><integer>53</integer>
1467 // CHECK:            <key>col</key><integer>20</integer>
1468 // CHECK:            <key>file</key><integer>0</integer>
1469 // CHECK:           </dict>
1470 // CHECK:          </array>
1471 // CHECK:         <key>end</key>
1472 // CHECK:          <array>
1473 // CHECK:           <dict>
1474 // CHECK:            <key>line</key><integer>54</integer>
1475 // CHECK:            <key>col</key><integer>5</integer>
1476 // CHECK:            <key>file</key><integer>0</integer>
1477 // CHECK:           </dict>
1478 // CHECK:           <dict>
1479 // CHECK:            <key>line</key><integer>54</integer>
1480 // CHECK:            <key>col</key><integer>5</integer>
1481 // CHECK:            <key>file</key><integer>0</integer>
1482 // CHECK:           </dict>
1483 // CHECK:          </array>
1484 // CHECK:        </dict>
1485 // CHECK:       </array>
1486 // CHECK:     </dict>
1487 // CHECK:     <dict>
1488 // CHECK:      <key>kind</key><string>control</string>
1489 // CHECK:      <key>edges</key>
1490 // CHECK:       <array>
1491 // CHECK:        <dict>
1492 // CHECK:         <key>start</key>
1493 // CHECK:          <array>
1494 // CHECK:           <dict>
1495 // CHECK:            <key>line</key><integer>54</integer>
1496 // CHECK:            <key>col</key><integer>5</integer>
1497 // CHECK:            <key>file</key><integer>0</integer>
1498 // CHECK:           </dict>
1499 // CHECK:           <dict>
1500 // CHECK:            <key>line</key><integer>54</integer>
1501 // CHECK:            <key>col</key><integer>5</integer>
1502 // CHECK:            <key>file</key><integer>0</integer>
1503 // CHECK:           </dict>
1504 // CHECK:          </array>
1505 // CHECK:         <key>end</key>
1506 // CHECK:          <array>
1507 // CHECK:           <dict>
1508 // CHECK:            <key>line</key><integer>55</integer>
1509 // CHECK:            <key>col</key><integer>7</integer>
1510 // CHECK:            <key>file</key><integer>0</integer>
1511 // CHECK:           </dict>
1512 // CHECK:           <dict>
1513 // CHECK:            <key>line</key><integer>55</integer>
1514 // CHECK:            <key>col</key><integer>7</integer>
1515 // CHECK:            <key>file</key><integer>0</integer>
1516 // CHECK:           </dict>
1517 // CHECK:          </array>
1518 // CHECK:        </dict>
1519 // CHECK:       </array>
1520 // CHECK:     </dict>
1521 // CHECK:     <dict>
1522 // CHECK:      <key>kind</key><string>event</string>
1523 // CHECK:      <key>location</key>
1524 // CHECK:      <dict>
1525 // CHECK:       <key>line</key><integer>55</integer>
1526 // CHECK:       <key>col</key><integer>7</integer>
1527 // CHECK:       <key>file</key><integer>0</integer>
1528 // CHECK:      </dict>
1529 // CHECK:      <key>ranges</key>
1530 // CHECK:      <array>
1531 // CHECK:        <array>
1532 // CHECK:         <dict>
1533 // CHECK:          <key>line</key><integer>55</integer>
1534 // CHECK:          <key>col</key><integer>7</integer>
1535 // CHECK:          <key>file</key><integer>0</integer>
1536 // CHECK:         </dict>
1537 // CHECK:         <dict>
1538 // CHECK:          <key>line</key><integer>55</integer>
1539 // CHECK:          <key>col</key><integer>17</integer>
1540 // CHECK:          <key>file</key><integer>0</integer>
1541 // CHECK:         </dict>
1542 // CHECK:        </array>
1543 // CHECK:      </array>
1544 // CHECK:      <key>depth</key><integer>1</integer>
1545 // CHECK:      <key>extended_message</key>
1546 // CHECK:      <string>Calling &apos;my_free&apos;</string>
1547 // CHECK:      <key>message</key>
1548 // CHECK: <string>Calling &apos;my_free&apos;</string>
1549 // CHECK:     </dict>
1550 // CHECK:     <dict>
1551 // CHECK:      <key>kind</key><string>event</string>
1552 // CHECK:      <key>location</key>
1553 // CHECK:      <dict>
1554 // CHECK:       <key>line</key><integer>49</integer>
1555 // CHECK:       <key>col</key><integer>1</integer>
1556 // CHECK:       <key>file</key><integer>0</integer>
1557 // CHECK:      </dict>
1558 // CHECK:      <key>depth</key><integer>2</integer>
1559 // CHECK:      <key>extended_message</key>
1560 // CHECK:      <string>Entered call from &apos;my_malloc_and_free&apos;</string>
1561 // CHECK:      <key>message</key>
1562 // CHECK: <string>Entered call from &apos;my_malloc_and_free&apos;</string>
1563 // CHECK:     </dict>
1564 // CHECK:     <dict>
1565 // CHECK:      <key>kind</key><string>control</string>
1566 // CHECK:      <key>edges</key>
1567 // CHECK:       <array>
1568 // CHECK:        <dict>
1569 // CHECK:         <key>start</key>
1570 // CHECK:          <array>
1571 // CHECK:           <dict>
1572 // CHECK:            <key>line</key><integer>49</integer>
1573 // CHECK:            <key>col</key><integer>1</integer>
1574 // CHECK:            <key>file</key><integer>0</integer>
1575 // CHECK:           </dict>
1576 // CHECK:           <dict>
1577 // CHECK:            <key>line</key><integer>49</integer>
1578 // CHECK:            <key>col</key><integer>1</integer>
1579 // CHECK:            <key>file</key><integer>0</integer>
1580 // CHECK:           </dict>
1581 // CHECK:          </array>
1582 // CHECK:         <key>end</key>
1583 // CHECK:          <array>
1584 // CHECK:           <dict>
1585 // CHECK:            <key>line</key><integer>50</integer>
1586 // CHECK:            <key>col</key><integer>5</integer>
1587 // CHECK:            <key>file</key><integer>0</integer>
1588 // CHECK:           </dict>
1589 // CHECK:           <dict>
1590 // CHECK:            <key>line</key><integer>50</integer>
1591 // CHECK:            <key>col</key><integer>11</integer>
1592 // CHECK:            <key>file</key><integer>0</integer>
1593 // CHECK:           </dict>
1594 // CHECK:          </array>
1595 // CHECK:        </dict>
1596 // CHECK:       </array>
1597 // CHECK:     </dict>
1598 // CHECK:     <dict>
1599 // CHECK:      <key>kind</key><string>event</string>
1600 // CHECK:      <key>location</key>
1601 // CHECK:      <dict>
1602 // CHECK:       <key>line</key><integer>50</integer>
1603 // CHECK:       <key>col</key><integer>5</integer>
1604 // CHECK:       <key>file</key><integer>0</integer>
1605 // CHECK:      </dict>
1606 // CHECK:      <key>ranges</key>
1607 // CHECK:      <array>
1608 // CHECK:        <array>
1609 // CHECK:         <dict>
1610 // CHECK:          <key>line</key><integer>50</integer>
1611 // CHECK:          <key>col</key><integer>5</integer>
1612 // CHECK:          <key>file</key><integer>0</integer>
1613 // CHECK:         </dict>
1614 // CHECK:         <dict>
1615 // CHECK:          <key>line</key><integer>50</integer>
1616 // CHECK:          <key>col</key><integer>11</integer>
1617 // CHECK:          <key>file</key><integer>0</integer>
1618 // CHECK:         </dict>
1619 // CHECK:        </array>
1620 // CHECK:      </array>
1621 // CHECK:      <key>depth</key><integer>2</integer>
1622 // CHECK:      <key>extended_message</key>
1623 // CHECK:      <string>Memory is released</string>
1624 // CHECK:      <key>message</key>
1625 // CHECK: <string>Memory is released</string>
1626 // CHECK:     </dict>
1627 // CHECK:     <dict>
1628 // CHECK:      <key>kind</key><string>event</string>
1629 // CHECK:      <key>location</key>
1630 // CHECK:      <dict>
1631 // CHECK:       <key>line</key><integer>55</integer>
1632 // CHECK:       <key>col</key><integer>7</integer>
1633 // CHECK:       <key>file</key><integer>0</integer>
1634 // CHECK:      </dict>
1635 // CHECK:      <key>ranges</key>
1636 // CHECK:      <array>
1637 // CHECK:        <array>
1638 // CHECK:         <dict>
1639 // CHECK:          <key>line</key><integer>55</integer>
1640 // CHECK:          <key>col</key><integer>7</integer>
1641 // CHECK:          <key>file</key><integer>0</integer>
1642 // CHECK:         </dict>
1643 // CHECK:         <dict>
1644 // CHECK:          <key>line</key><integer>55</integer>
1645 // CHECK:          <key>col</key><integer>17</integer>
1646 // CHECK:          <key>file</key><integer>0</integer>
1647 // CHECK:         </dict>
1648 // CHECK:        </array>
1649 // CHECK:      </array>
1650 // CHECK:      <key>depth</key><integer>2</integer>
1651 // CHECK:      <key>extended_message</key>
1652 // CHECK:      <string>Returned released memory via 1st parameter</string>
1653 // CHECK:      <key>message</key>
1654 // CHECK: <string>Returned released memory via 1st parameter</string>
1655 // CHECK:     </dict>
1656 // CHECK:     <dict>
1657 // CHECK:      <key>kind</key><string>control</string>
1658 // CHECK:      <key>edges</key>
1659 // CHECK:       <array>
1660 // CHECK:        <dict>
1661 // CHECK:         <key>start</key>
1662 // CHECK:          <array>
1663 // CHECK:           <dict>
1664 // CHECK:            <key>line</key><integer>55</integer>
1665 // CHECK:            <key>col</key><integer>7</integer>
1666 // CHECK:            <key>file</key><integer>0</integer>
1667 // CHECK:           </dict>
1668 // CHECK:           <dict>
1669 // CHECK:            <key>line</key><integer>55</integer>
1670 // CHECK:            <key>col</key><integer>17</integer>
1671 // CHECK:            <key>file</key><integer>0</integer>
1672 // CHECK:           </dict>
1673 // CHECK:          </array>
1674 // CHECK:         <key>end</key>
1675 // CHECK:          <array>
1676 // CHECK:           <dict>
1677 // CHECK:            <key>line</key><integer>56</integer>
1678 // CHECK:            <key>col</key><integer>5</integer>
1679 // CHECK:            <key>file</key><integer>0</integer>
1680 // CHECK:           </dict>
1681 // CHECK:           <dict>
1682 // CHECK:            <key>line</key><integer>56</integer>
1683 // CHECK:            <key>col</key><integer>5</integer>
1684 // CHECK:            <key>file</key><integer>0</integer>
1685 // CHECK:           </dict>
1686 // CHECK:          </array>
1687 // CHECK:        </dict>
1688 // CHECK:       </array>
1689 // CHECK:     </dict>
1690 // CHECK:     <dict>
1691 // CHECK:      <key>kind</key><string>event</string>
1692 // CHECK:      <key>location</key>
1693 // CHECK:      <dict>
1694 // CHECK:       <key>line</key><integer>60</integer>
1695 // CHECK:       <key>col</key><integer>5</integer>
1696 // CHECK:       <key>file</key><integer>0</integer>
1697 // CHECK:      </dict>
1698 // CHECK:      <key>ranges</key>
1699 // CHECK:      <array>
1700 // CHECK:        <array>
1701 // CHECK:         <dict>
1702 // CHECK:          <key>line</key><integer>60</integer>
1703 // CHECK:          <key>col</key><integer>5</integer>
1704 // CHECK:          <key>file</key><integer>0</integer>
1705 // CHECK:         </dict>
1706 // CHECK:         <dict>
1707 // CHECK:          <key>line</key><integer>60</integer>
1708 // CHECK:          <key>col</key><integer>28</integer>
1709 // CHECK:          <key>file</key><integer>0</integer>
1710 // CHECK:         </dict>
1711 // CHECK:        </array>
1712 // CHECK:      </array>
1713 // CHECK:      <key>depth</key><integer>1</integer>
1714 // CHECK:      <key>extended_message</key>
1715 // CHECK:      <string>Returned released memory via 1st parameter</string>
1716 // CHECK:      <key>message</key>
1717 // CHECK: <string>Returned released memory via 1st parameter</string>
1718 // CHECK:     </dict>
1719 // CHECK:     <dict>
1720 // CHECK:      <key>kind</key><string>control</string>
1721 // CHECK:      <key>edges</key>
1722 // CHECK:       <array>
1723 // CHECK:        <dict>
1724 // CHECK:         <key>start</key>
1725 // CHECK:          <array>
1726 // CHECK:           <dict>
1727 // CHECK:            <key>line</key><integer>60</integer>
1728 // CHECK:            <key>col</key><integer>5</integer>
1729 // CHECK:            <key>file</key><integer>0</integer>
1730 // CHECK:           </dict>
1731 // CHECK:           <dict>
1732 // CHECK:            <key>line</key><integer>60</integer>
1733 // CHECK:            <key>col</key><integer>28</integer>
1734 // CHECK:            <key>file</key><integer>0</integer>
1735 // CHECK:           </dict>
1736 // CHECK:          </array>
1737 // CHECK:         <key>end</key>
1738 // CHECK:          <array>
1739 // CHECK:           <dict>
1740 // CHECK:            <key>line</key><integer>61</integer>
1741 // CHECK:            <key>col</key><integer>5</integer>
1742 // CHECK:            <key>file</key><integer>0</integer>
1743 // CHECK:           </dict>
1744 // CHECK:           <dict>
1745 // CHECK:            <key>line</key><integer>61</integer>
1746 // CHECK:            <key>col</key><integer>14</integer>
1747 // CHECK:            <key>file</key><integer>0</integer>
1748 // CHECK:           </dict>
1749 // CHECK:          </array>
1750 // CHECK:        </dict>
1751 // CHECK:       </array>
1752 // CHECK:     </dict>
1753 // CHECK:     <dict>
1754 // CHECK:      <key>kind</key><string>event</string>
1755 // CHECK:      <key>location</key>
1756 // CHECK:      <dict>
1757 // CHECK:       <key>line</key><integer>61</integer>
1758 // CHECK:       <key>col</key><integer>5</integer>
1759 // CHECK:       <key>file</key><integer>0</integer>
1760 // CHECK:      </dict>
1761 // CHECK:      <key>ranges</key>
1762 // CHECK:      <array>
1763 // CHECK:        <array>
1764 // CHECK:         <dict>
1765 // CHECK:          <key>line</key><integer>61</integer>
1766 // CHECK:          <key>col</key><integer>12</integer>
1767 // CHECK:          <key>file</key><integer>0</integer>
1768 // CHECK:         </dict>
1769 // CHECK:         <dict>
1770 // CHECK:          <key>line</key><integer>61</integer>
1771 // CHECK:          <key>col</key><integer>14</integer>
1772 // CHECK:          <key>file</key><integer>0</integer>
1773 // CHECK:         </dict>
1774 // CHECK:        </array>
1775 // CHECK:      </array>
1776 // CHECK:      <key>depth</key><integer>0</integer>
1777 // CHECK:      <key>extended_message</key>
1778 // CHECK:      <string>Use of memory after it is freed</string>
1779 // CHECK:      <key>message</key>
1780 // CHECK: <string>Use of memory after it is freed</string>
1781 // CHECK:     </dict>
1782 // CHECK:    </array>
1783 // CHECK:    <key>description</key><string>Use of memory after it is freed</string>
1784 // CHECK:    <key>category</key><string>Memory Error</string>
1785 // CHECK:    <key>type</key><string>Use-after-free</string>
1786 // CHECK:   <key>issue_context_kind</key><string>function</string>
1787 // CHECK:   <key>issue_context</key><string>test_double_action_call</string>
1788 // CHECK:   <key>location</key>
1789 // CHECK:   <dict>
1790 // CHECK:    <key>line</key><integer>61</integer>
1791 // CHECK:    <key>col</key><integer>5</integer>
1792 // CHECK:    <key>file</key><integer>0</integer>
1793 // CHECK:   </dict>
1794 // CHECK:   </dict>
1795 // CHECK:   <dict>
1796 // CHECK:    <key>path</key>
1797 // CHECK:    <array>
1798 // CHECK:     <dict>
1799 // CHECK:      <key>kind</key><string>control</string>
1800 // CHECK:      <key>edges</key>
1801 // CHECK:       <array>
1802 // CHECK:        <dict>
1803 // CHECK:         <key>start</key>
1804 // CHECK:          <array>
1805 // CHECK:           <dict>
1806 // CHECK:            <key>line</key><integer>74</integer>
1807 // CHECK:            <key>col</key><integer>5</integer>
1808 // CHECK:            <key>file</key><integer>0</integer>
1809 // CHECK:           </dict>
1810 // CHECK:           <dict>
1811 // CHECK:            <key>line</key><integer>74</integer>
1812 // CHECK:            <key>col</key><integer>5</integer>
1813 // CHECK:            <key>file</key><integer>0</integer>
1814 // CHECK:           </dict>
1815 // CHECK:          </array>
1816 // CHECK:         <key>end</key>
1817 // CHECK:          <array>
1818 // CHECK:           <dict>
1819 // CHECK:            <key>line</key><integer>74</integer>
1820 // CHECK:            <key>col</key><integer>25</integer>
1821 // CHECK:            <key>file</key><integer>0</integer>
1822 // CHECK:           </dict>
1823 // CHECK:           <dict>
1824 // CHECK:            <key>line</key><integer>74</integer>
1825 // CHECK:            <key>col</key><integer>35</integer>
1826 // CHECK:            <key>file</key><integer>0</integer>
1827 // CHECK:           </dict>
1828 // CHECK:          </array>
1829 // CHECK:        </dict>
1830 // CHECK:       </array>
1831 // CHECK:     </dict>
1832 // CHECK:     <dict>
1833 // CHECK:      <key>kind</key><string>event</string>
1834 // CHECK:      <key>location</key>
1835 // CHECK:      <dict>
1836 // CHECK:       <key>line</key><integer>74</integer>
1837 // CHECK:       <key>col</key><integer>25</integer>
1838 // CHECK:       <key>file</key><integer>0</integer>
1839 // CHECK:      </dict>
1840 // CHECK:      <key>ranges</key>
1841 // CHECK:      <array>
1842 // CHECK:        <array>
1843 // CHECK:         <dict>
1844 // CHECK:          <key>line</key><integer>74</integer>
1845 // CHECK:          <key>col</key><integer>25</integer>
1846 // CHECK:          <key>file</key><integer>0</integer>
1847 // CHECK:         </dict>
1848 // CHECK:         <dict>
1849 // CHECK:          <key>line</key><integer>74</integer>
1850 // CHECK:          <key>col</key><integer>35</integer>
1851 // CHECK:          <key>file</key><integer>0</integer>
1852 // CHECK:         </dict>
1853 // CHECK:        </array>
1854 // CHECK:      </array>
1855 // CHECK:      <key>depth</key><integer>0</integer>
1856 // CHECK:      <key>extended_message</key>
1857 // CHECK:      <string>Memory is allocated</string>
1858 // CHECK:      <key>message</key>
1859 // CHECK: <string>Memory is allocated</string>
1860 // CHECK:     </dict>
1861 // CHECK:     <dict>
1862 // CHECK:      <key>kind</key><string>control</string>
1863 // CHECK:      <key>edges</key>
1864 // CHECK:       <array>
1865 // CHECK:        <dict>
1866 // CHECK:         <key>start</key>
1867 // CHECK:          <array>
1868 // CHECK:           <dict>
1869 // CHECK:            <key>line</key><integer>74</integer>
1870 // CHECK:            <key>col</key><integer>25</integer>
1871 // CHECK:            <key>file</key><integer>0</integer>
1872 // CHECK:           </dict>
1873 // CHECK:           <dict>
1874 // CHECK:            <key>line</key><integer>74</integer>
1875 // CHECK:            <key>col</key><integer>35</integer>
1876 // CHECK:            <key>file</key><integer>0</integer>
1877 // CHECK:           </dict>
1878 // CHECK:          </array>
1879 // CHECK:         <key>end</key>
1880 // CHECK:          <array>
1881 // CHECK:           <dict>
1882 // CHECK:            <key>line</key><integer>75</integer>
1883 // CHECK:            <key>col</key><integer>11</integer>
1884 // CHECK:            <key>file</key><integer>0</integer>
1885 // CHECK:           </dict>
1886 // CHECK:           <dict>
1887 // CHECK:            <key>line</key><integer>75</integer>
1888 // CHECK:            <key>col</key><integer>11</integer>
1889 // CHECK:            <key>file</key><integer>0</integer>
1890 // CHECK:           </dict>
1891 // CHECK:          </array>
1892 // CHECK:        </dict>
1893 // CHECK:       </array>
1894 // CHECK:     </dict>
1895 // CHECK:     <dict>
1896 // CHECK:      <key>kind</key><string>event</string>
1897 // CHECK:      <key>location</key>
1898 // CHECK:      <dict>
1899 // CHECK:       <key>line</key><integer>75</integer>
1900 // CHECK:       <key>col</key><integer>11</integer>
1901 // CHECK:       <key>file</key><integer>0</integer>
1902 // CHECK:      </dict>
1903 // CHECK:      <key>ranges</key>
1904 // CHECK:      <array>
1905 // CHECK:        <array>
1906 // CHECK:         <dict>
1907 // CHECK:          <key>line</key><integer>75</integer>
1908 // CHECK:          <key>col</key><integer>11</integer>
1909 // CHECK:          <key>file</key><integer>0</integer>
1910 // CHECK:         </dict>
1911 // CHECK:         <dict>
1912 // CHECK:          <key>line</key><integer>75</integer>
1913 // CHECK:          <key>col</key><integer>25</integer>
1914 // CHECK:          <key>file</key><integer>0</integer>
1915 // CHECK:         </dict>
1916 // CHECK:        </array>
1917 // CHECK:      </array>
1918 // CHECK:      <key>depth</key><integer>0</integer>
1919 // CHECK:      <key>extended_message</key>
1920 // CHECK:      <string>Calling &apos;my_realloc&apos;</string>
1921 // CHECK:      <key>message</key>
1922 // CHECK: <string>Calling &apos;my_realloc&apos;</string>
1923 // CHECK:     </dict>
1924 // CHECK:     <dict>
1925 // CHECK:      <key>kind</key><string>event</string>
1926 // CHECK:      <key>location</key>
1927 // CHECK:      <dict>
1928 // CHECK:       <key>line</key><integer>65</integer>
1929 // CHECK:       <key>col</key><integer>1</integer>
1930 // CHECK:       <key>file</key><integer>0</integer>
1931 // CHECK:      </dict>
1932 // CHECK:      <key>depth</key><integer>1</integer>
1933 // CHECK:      <key>extended_message</key>
1934 // CHECK:      <string>Entered call from &apos;reallocIntra&apos;</string>
1935 // CHECK:      <key>message</key>
1936 // CHECK: <string>Entered call from &apos;reallocIntra&apos;</string>
1937 // CHECK:     </dict>
1938 // CHECK:     <dict>
1939 // CHECK:      <key>kind</key><string>control</string>
1940 // CHECK:      <key>edges</key>
1941 // CHECK:       <array>
1942 // CHECK:        <dict>
1943 // CHECK:         <key>start</key>
1944 // CHECK:          <array>
1945 // CHECK:           <dict>
1946 // CHECK:            <key>line</key><integer>65</integer>
1947 // CHECK:            <key>col</key><integer>1</integer>
1948 // CHECK:            <key>file</key><integer>0</integer>
1949 // CHECK:           </dict>
1950 // CHECK:           <dict>
1951 // CHECK:            <key>line</key><integer>65</integer>
1952 // CHECK:            <key>col</key><integer>1</integer>
1953 // CHECK:            <key>file</key><integer>0</integer>
1954 // CHECK:           </dict>
1955 // CHECK:          </array>
1956 // CHECK:         <key>end</key>
1957 // CHECK:          <array>
1958 // CHECK:           <dict>
1959 // CHECK:            <key>line</key><integer>66</integer>
1960 // CHECK:            <key>col</key><integer>5</integer>
1961 // CHECK:            <key>file</key><integer>0</integer>
1962 // CHECK:           </dict>
1963 // CHECK:           <dict>
1964 // CHECK:            <key>line</key><integer>66</integer>
1965 // CHECK:            <key>col</key><integer>5</integer>
1966 // CHECK:            <key>file</key><integer>0</integer>
1967 // CHECK:           </dict>
1968 // CHECK:          </array>
1969 // CHECK:        </dict>
1970 // CHECK:       </array>
1971 // CHECK:     </dict>
1972 // CHECK:     <dict>
1973 // CHECK:      <key>kind</key><string>control</string>
1974 // CHECK:      <key>edges</key>
1975 // CHECK:       <array>
1976 // CHECK:        <dict>
1977 // CHECK:         <key>start</key>
1978 // CHECK:          <array>
1979 // CHECK:           <dict>
1980 // CHECK:            <key>line</key><integer>66</integer>
1981 // CHECK:            <key>col</key><integer>5</integer>
1982 // CHECK:            <key>file</key><integer>0</integer>
1983 // CHECK:           </dict>
1984 // CHECK:           <dict>
1985 // CHECK:            <key>line</key><integer>66</integer>
1986 // CHECK:            <key>col</key><integer>5</integer>
1987 // CHECK:            <key>file</key><integer>0</integer>
1988 // CHECK:           </dict>
1989 // CHECK:          </array>
1990 // CHECK:         <key>end</key>
1991 // CHECK:          <array>
1992 // CHECK:           <dict>
1993 // CHECK:            <key>line</key><integer>67</integer>
1994 // CHECK:            <key>col</key><integer>5</integer>
1995 // CHECK:            <key>file</key><integer>0</integer>
1996 // CHECK:           </dict>
1997 // CHECK:           <dict>
1998 // CHECK:            <key>line</key><integer>67</integer>
1999 // CHECK:            <key>col</key><integer>5</integer>
2000 // CHECK:            <key>file</key><integer>0</integer>
2001 // CHECK:           </dict>
2002 // CHECK:          </array>
2003 // CHECK:        </dict>
2004 // CHECK:       </array>
2005 // CHECK:     </dict>
2006 // CHECK:     <dict>
2007 // CHECK:      <key>kind</key><string>control</string>
2008 // CHECK:      <key>edges</key>
2009 // CHECK:       <array>
2010 // CHECK:        <dict>
2011 // CHECK:         <key>start</key>
2012 // CHECK:          <array>
2013 // CHECK:           <dict>
2014 // CHECK:            <key>line</key><integer>67</integer>
2015 // CHECK:            <key>col</key><integer>5</integer>
2016 // CHECK:            <key>file</key><integer>0</integer>
2017 // CHECK:           </dict>
2018 // CHECK:           <dict>
2019 // CHECK:            <key>line</key><integer>67</integer>
2020 // CHECK:            <key>col</key><integer>5</integer>
2021 // CHECK:            <key>file</key><integer>0</integer>
2022 // CHECK:           </dict>
2023 // CHECK:          </array>
2024 // CHECK:         <key>end</key>
2025 // CHECK:          <array>
2026 // CHECK:           <dict>
2027 // CHECK:            <key>line</key><integer>67</integer>
2028 // CHECK:            <key>col</key><integer>18</integer>
2029 // CHECK:            <key>file</key><integer>0</integer>
2030 // CHECK:           </dict>
2031 // CHECK:           <dict>
2032 // CHECK:            <key>line</key><integer>67</integer>
2033 // CHECK:            <key>col</key><integer>40</integer>
2034 // CHECK:            <key>file</key><integer>0</integer>
2035 // CHECK:           </dict>
2036 // CHECK:          </array>
2037 // CHECK:        </dict>
2038 // CHECK:       </array>
2039 // CHECK:     </dict>
2040 // CHECK:     <dict>
2041 // CHECK:      <key>kind</key><string>event</string>
2042 // CHECK:      <key>location</key>
2043 // CHECK:      <dict>
2044 // CHECK:       <key>line</key><integer>67</integer>
2045 // CHECK:       <key>col</key><integer>18</integer>
2046 // CHECK:       <key>file</key><integer>0</integer>
2047 // CHECK:      </dict>
2048 // CHECK:      <key>ranges</key>
2049 // CHECK:      <array>
2050 // CHECK:        <array>
2051 // CHECK:         <dict>
2052 // CHECK:          <key>line</key><integer>67</integer>
2053 // CHECK:          <key>col</key><integer>18</integer>
2054 // CHECK:          <key>file</key><integer>0</integer>
2055 // CHECK:         </dict>
2056 // CHECK:         <dict>
2057 // CHECK:          <key>line</key><integer>67</integer>
2058 // CHECK:          <key>col</key><integer>40</integer>
2059 // CHECK:          <key>file</key><integer>0</integer>
2060 // CHECK:         </dict>
2061 // CHECK:        </array>
2062 // CHECK:      </array>
2063 // CHECK:      <key>depth</key><integer>1</integer>
2064 // CHECK:      <key>extended_message</key>
2065 // CHECK:      <string>Attempt to reallocate memory</string>
2066 // CHECK:      <key>message</key>
2067 // CHECK: <string>Attempt to reallocate memory</string>
2068 // CHECK:     </dict>
2069 // CHECK:     <dict>
2070 // CHECK:      <key>kind</key><string>control</string>
2071 // CHECK:      <key>edges</key>
2072 // CHECK:       <array>
2073 // CHECK:        <dict>
2074 // CHECK:         <key>start</key>
2075 // CHECK:          <array>
2076 // CHECK:           <dict>
2077 // CHECK:            <key>line</key><integer>67</integer>
2078 // CHECK:            <key>col</key><integer>18</integer>
2079 // CHECK:            <key>file</key><integer>0</integer>
2080 // CHECK:           </dict>
2081 // CHECK:           <dict>
2082 // CHECK:            <key>line</key><integer>67</integer>
2083 // CHECK:            <key>col</key><integer>40</integer>
2084 // CHECK:            <key>file</key><integer>0</integer>
2085 // CHECK:           </dict>
2086 // CHECK:          </array>
2087 // CHECK:         <key>end</key>
2088 // CHECK:          <array>
2089 // CHECK:           <dict>
2090 // CHECK:            <key>line</key><integer>68</integer>
2091 // CHECK:            <key>col</key><integer>5</integer>
2092 // CHECK:            <key>file</key><integer>0</integer>
2093 // CHECK:           </dict>
2094 // CHECK:           <dict>
2095 // CHECK:            <key>line</key><integer>68</integer>
2096 // CHECK:            <key>col</key><integer>5</integer>
2097 // CHECK:            <key>file</key><integer>0</integer>
2098 // CHECK:           </dict>
2099 // CHECK:          </array>
2100 // CHECK:        </dict>
2101 // CHECK:       </array>
2102 // CHECK:     </dict>
2103 // CHECK:     <dict>
2104 // CHECK:      <key>kind</key><string>control</string>
2105 // CHECK:      <key>edges</key>
2106 // CHECK:       <array>
2107 // CHECK:        <dict>
2108 // CHECK:         <key>start</key>
2109 // CHECK:          <array>
2110 // CHECK:           <dict>
2111 // CHECK:            <key>line</key><integer>68</integer>
2112 // CHECK:            <key>col</key><integer>5</integer>
2113 // CHECK:            <key>file</key><integer>0</integer>
2114 // CHECK:           </dict>
2115 // CHECK:           <dict>
2116 // CHECK:            <key>line</key><integer>68</integer>
2117 // CHECK:            <key>col</key><integer>5</integer>
2118 // CHECK:            <key>file</key><integer>0</integer>
2119 // CHECK:           </dict>
2120 // CHECK:          </array>
2121 // CHECK:         <key>end</key>
2122 // CHECK:          <array>
2123 // CHECK:           <dict>
2124 // CHECK:            <key>line</key><integer>68</integer>
2125 // CHECK:            <key>col</key><integer>9</integer>
2126 // CHECK:            <key>file</key><integer>0</integer>
2127 // CHECK:           </dict>
2128 // CHECK:           <dict>
2129 // CHECK:            <key>line</key><integer>68</integer>
2130 // CHECK:            <key>col</key><integer>12</integer>
2131 // CHECK:            <key>file</key><integer>0</integer>
2132 // CHECK:           </dict>
2133 // CHECK:          </array>
2134 // CHECK:        </dict>
2135 // CHECK:       </array>
2136 // CHECK:     </dict>
2137 // CHECK:     <dict>
2138 // CHECK:      <key>kind</key><string>event</string>
2139 // CHECK:      <key>location</key>
2140 // CHECK:      <dict>
2141 // CHECK:       <key>line</key><integer>68</integer>
2142 // CHECK:       <key>col</key><integer>9</integer>
2143 // CHECK:       <key>file</key><integer>0</integer>
2144 // CHECK:      </dict>
2145 // CHECK:      <key>ranges</key>
2146 // CHECK:      <array>
2147 // CHECK:        <array>
2148 // CHECK:         <dict>
2149 // CHECK:          <key>line</key><integer>68</integer>
2150 // CHECK:          <key>col</key><integer>9</integer>
2151 // CHECK:          <key>file</key><integer>0</integer>
2152 // CHECK:         </dict>
2153 // CHECK:         <dict>
2154 // CHECK:          <key>line</key><integer>68</integer>
2155 // CHECK:          <key>col</key><integer>12</integer>
2156 // CHECK:          <key>file</key><integer>0</integer>
2157 // CHECK:         </dict>
2158 // CHECK:        </array>
2159 // CHECK:      </array>
2160 // CHECK:      <key>depth</key><integer>1</integer>
2161 // CHECK:      <key>extended_message</key>
2162 // CHECK:      <string>Assuming &apos;tmp&apos; is null</string>
2163 // CHECK:      <key>message</key>
2164 // CHECK: <string>Assuming &apos;tmp&apos; is null</string>
2165 // CHECK:     </dict>
2166 // CHECK:     <dict>
2167 // CHECK:      <key>kind</key><string>control</string>
2168 // CHECK:      <key>edges</key>
2169 // CHECK:       <array>
2170 // CHECK:        <dict>
2171 // CHECK:         <key>start</key>
2172 // CHECK:          <array>
2173 // CHECK:           <dict>
2174 // CHECK:            <key>line</key><integer>68</integer>
2175 // CHECK:            <key>col</key><integer>9</integer>
2176 // CHECK:            <key>file</key><integer>0</integer>
2177 // CHECK:           </dict>
2178 // CHECK:           <dict>
2179 // CHECK:            <key>line</key><integer>68</integer>
2180 // CHECK:            <key>col</key><integer>12</integer>
2181 // CHECK:            <key>file</key><integer>0</integer>
2182 // CHECK:           </dict>
2183 // CHECK:          </array>
2184 // CHECK:         <key>end</key>
2185 // CHECK:          <array>
2186 // CHECK:           <dict>
2187 // CHECK:            <key>line</key><integer>68</integer>
2188 // CHECK:            <key>col</key><integer>5</integer>
2189 // CHECK:            <key>file</key><integer>0</integer>
2190 // CHECK:           </dict>
2191 // CHECK:           <dict>
2192 // CHECK:            <key>line</key><integer>68</integer>
2193 // CHECK:            <key>col</key><integer>6</integer>
2194 // CHECK:            <key>file</key><integer>0</integer>
2195 // CHECK:           </dict>
2196 // CHECK:          </array>
2197 // CHECK:        </dict>
2198 // CHECK:       </array>
2199 // CHECK:     </dict>
2200 // CHECK:     <dict>
2201 // CHECK:      <key>kind</key><string>event</string>
2202 // CHECK:      <key>location</key>
2203 // CHECK:      <dict>
2204 // CHECK:       <key>line</key><integer>68</integer>
2205 // CHECK:       <key>col</key><integer>5</integer>
2206 // CHECK:       <key>file</key><integer>0</integer>
2207 // CHECK:      </dict>
2208 // CHECK:      <key>ranges</key>
2209 // CHECK:      <array>
2210 // CHECK:        <array>
2211 // CHECK:         <dict>
2212 // CHECK:          <key>line</key><integer>68</integer>
2213 // CHECK:          <key>col</key><integer>5</integer>
2214 // CHECK:          <key>file</key><integer>0</integer>
2215 // CHECK:         </dict>
2216 // CHECK:         <dict>
2217 // CHECK:          <key>line</key><integer>68</integer>
2218 // CHECK:          <key>col</key><integer>6</integer>
2219 // CHECK:          <key>file</key><integer>0</integer>
2220 // CHECK:         </dict>
2221 // CHECK:        </array>
2222 // CHECK:      </array>
2223 // CHECK:      <key>depth</key><integer>1</integer>
2224 // CHECK:      <key>extended_message</key>
2225 // CHECK:      <string>Reallocation failed</string>
2226 // CHECK:      <key>message</key>
2227 // CHECK: <string>Reallocation failed</string>
2228 // CHECK:     </dict>
2229 // CHECK:     <dict>
2230 // CHECK:      <key>kind</key><string>control</string>
2231 // CHECK:      <key>edges</key>
2232 // CHECK:       <array>
2233 // CHECK:        <dict>
2234 // CHECK:         <key>start</key>
2235 // CHECK:          <array>
2236 // CHECK:           <dict>
2237 // CHECK:            <key>line</key><integer>68</integer>
2238 // CHECK:            <key>col</key><integer>5</integer>
2239 // CHECK:            <key>file</key><integer>0</integer>
2240 // CHECK:           </dict>
2241 // CHECK:           <dict>
2242 // CHECK:            <key>line</key><integer>68</integer>
2243 // CHECK:            <key>col</key><integer>6</integer>
2244 // CHECK:            <key>file</key><integer>0</integer>
2245 // CHECK:           </dict>
2246 // CHECK:          </array>
2247 // CHECK:         <key>end</key>
2248 // CHECK:          <array>
2249 // CHECK:           <dict>
2250 // CHECK:            <key>line</key><integer>69</integer>
2251 // CHECK:            <key>col</key><integer>9</integer>
2252 // CHECK:            <key>file</key><integer>0</integer>
2253 // CHECK:           </dict>
2254 // CHECK:           <dict>
2255 // CHECK:            <key>line</key><integer>69</integer>
2256 // CHECK:            <key>col</key><integer>9</integer>
2257 // CHECK:            <key>file</key><integer>0</integer>
2258 // CHECK:           </dict>
2259 // CHECK:          </array>
2260 // CHECK:        </dict>
2261 // CHECK:       </array>
2262 // CHECK:     </dict>
2263 // CHECK:     <dict>
2264 // CHECK:      <key>kind</key><string>event</string>
2265 // CHECK:      <key>location</key>
2266 // CHECK:      <dict>
2267 // CHECK:       <key>line</key><integer>75</integer>
2268 // CHECK:       <key>col</key><integer>11</integer>
2269 // CHECK:       <key>file</key><integer>0</integer>
2270 // CHECK:      </dict>
2271 // CHECK:      <key>ranges</key>
2272 // CHECK:      <array>
2273 // CHECK:        <array>
2274 // CHECK:         <dict>
2275 // CHECK:          <key>line</key><integer>75</integer>
2276 // CHECK:          <key>col</key><integer>11</integer>
2277 // CHECK:          <key>file</key><integer>0</integer>
2278 // CHECK:         </dict>
2279 // CHECK:         <dict>
2280 // CHECK:          <key>line</key><integer>75</integer>
2281 // CHECK:          <key>col</key><integer>25</integer>
2282 // CHECK:          <key>file</key><integer>0</integer>
2283 // CHECK:         </dict>
2284 // CHECK:        </array>
2285 // CHECK:      </array>
2286 // CHECK:      <key>depth</key><integer>1</integer>
2287 // CHECK:      <key>extended_message</key>
2288 // CHECK:      <string>Reallocation of 1st parameter failed</string>
2289 // CHECK:      <key>message</key>
2290 // CHECK: <string>Reallocation of 1st parameter failed</string>
2291 // CHECK:     </dict>
2292 // CHECK:     <dict>
2293 // CHECK:      <key>kind</key><string>control</string>
2294 // CHECK:      <key>edges</key>
2295 // CHECK:       <array>
2296 // CHECK:        <dict>
2297 // CHECK:         <key>start</key>
2298 // CHECK:          <array>
2299 // CHECK:           <dict>
2300 // CHECK:            <key>line</key><integer>75</integer>
2301 // CHECK:            <key>col</key><integer>11</integer>
2302 // CHECK:            <key>file</key><integer>0</integer>
2303 // CHECK:           </dict>
2304 // CHECK:           <dict>
2305 // CHECK:            <key>line</key><integer>75</integer>
2306 // CHECK:            <key>col</key><integer>25</integer>
2307 // CHECK:            <key>file</key><integer>0</integer>
2308 // CHECK:           </dict>
2309 // CHECK:          </array>
2310 // CHECK:         <key>end</key>
2311 // CHECK:          <array>
2312 // CHECK:           <dict>
2313 // CHECK:            <key>line</key><integer>76</integer>
2314 // CHECK:            <key>col</key><integer>5</integer>
2315 // CHECK:            <key>file</key><integer>0</integer>
2316 // CHECK:           </dict>
2317 // CHECK:           <dict>
2318 // CHECK:            <key>line</key><integer>76</integer>
2319 // CHECK:            <key>col</key><integer>13</integer>
2320 // CHECK:            <key>file</key><integer>0</integer>
2321 // CHECK:           </dict>
2322 // CHECK:          </array>
2323 // CHECK:        </dict>
2324 // CHECK:       </array>
2325 // CHECK:     </dict>
2326 // CHECK:     <dict>
2327 // CHECK:      <key>kind</key><string>event</string>
2328 // CHECK:      <key>location</key>
2329 // CHECK:      <dict>
2330 // CHECK:       <key>line</key><integer>76</integer>
2331 // CHECK:       <key>col</key><integer>5</integer>
2332 // CHECK:       <key>file</key><integer>0</integer>
2333 // CHECK:      </dict>
2334 // CHECK:      <key>ranges</key>
2335 // CHECK:      <array>
2336 // CHECK:        <array>
2337 // CHECK:         <dict>
2338 // CHECK:          <key>line</key><integer>76</integer>
2339 // CHECK:          <key>col</key><integer>5</integer>
2340 // CHECK:          <key>file</key><integer>0</integer>
2341 // CHECK:         </dict>
2342 // CHECK:         <dict>
2343 // CHECK:          <key>line</key><integer>76</integer>
2344 // CHECK:          <key>col</key><integer>13</integer>
2345 // CHECK:          <key>file</key><integer>0</integer>
2346 // CHECK:         </dict>
2347 // CHECK:        </array>
2348 // CHECK:      </array>
2349 // CHECK:      <key>depth</key><integer>0</integer>
2350 // CHECK:      <key>extended_message</key>
2351 // CHECK:      <string>Memory is never released; potential leak of memory pointed to by &apos;buf&apos;</string>
2352 // CHECK:      <key>message</key>
2353 // CHECK: <string>Memory is never released; potential leak of memory pointed to by &apos;buf&apos;</string>
2354 // CHECK:     </dict>
2355 // CHECK:    </array>
2356 // CHECK:    <key>description</key><string>Memory is never released; potential leak of memory pointed to by &apos;buf&apos;</string>
2357 // CHECK:    <key>category</key><string>Memory Error</string>
2358 // CHECK:    <key>type</key><string>Memory leak</string>
2359 // CHECK:   <key>issue_context_kind</key><string>function</string>
2360 // CHECK:   <key>issue_context</key><string>reallocIntra</string>
2361 // CHECK:   <key>location</key>
2362 // CHECK:   <dict>
2363 // CHECK:    <key>line</key><integer>76</integer>
2364 // CHECK:    <key>col</key><integer>5</integer>
2365 // CHECK:    <key>file</key><integer>0</integer>
2366 // CHECK:   </dict>
2367 // CHECK:   </dict>
2368 // CHECK:   <dict>
2369 // CHECK:    <key>path</key>
2370 // CHECK:    <array>
2371 // CHECK:     <dict>
2372 // CHECK:      <key>kind</key><string>control</string>
2373 // CHECK:      <key>edges</key>
2374 // CHECK:       <array>
2375 // CHECK:        <dict>
2376 // CHECK:         <key>start</key>
2377 // CHECK:          <array>
2378 // CHECK:           <dict>
2379 // CHECK:            <key>line</key><integer>84</integer>
2380 // CHECK:            <key>col</key><integer>5</integer>
2381 // CHECK:            <key>file</key><integer>0</integer>
2382 // CHECK:           </dict>
2383 // CHECK:           <dict>
2384 // CHECK:            <key>line</key><integer>84</integer>
2385 // CHECK:            <key>col</key><integer>5</integer>
2386 // CHECK:            <key>file</key><integer>0</integer>
2387 // CHECK:           </dict>
2388 // CHECK:          </array>
2389 // CHECK:         <key>end</key>
2390 // CHECK:          <array>
2391 // CHECK:           <dict>
2392 // CHECK:            <key>line</key><integer>85</integer>
2393 // CHECK:            <key>col</key><integer>9</integer>
2394 // CHECK:            <key>file</key><integer>0</integer>
2395 // CHECK:           </dict>
2396 // CHECK:           <dict>
2397 // CHECK:            <key>line</key><integer>85</integer>
2398 // CHECK:            <key>col</key><integer>9</integer>
2399 // CHECK:            <key>file</key><integer>0</integer>
2400 // CHECK:           </dict>
2401 // CHECK:          </array>
2402 // CHECK:        </dict>
2403 // CHECK:       </array>
2404 // CHECK:     </dict>
2405 // CHECK:     <dict>
2406 // CHECK:      <key>kind</key><string>event</string>
2407 // CHECK:      <key>location</key>
2408 // CHECK:      <dict>
2409 // CHECK:       <key>line</key><integer>85</integer>
2410 // CHECK:       <key>col</key><integer>9</integer>
2411 // CHECK:       <key>file</key><integer>0</integer>
2412 // CHECK:      </dict>
2413 // CHECK:      <key>ranges</key>
2414 // CHECK:      <array>
2415 // CHECK:        <array>
2416 // CHECK:         <dict>
2417 // CHECK:          <key>line</key><integer>85</integer>
2418 // CHECK:          <key>col</key><integer>9</integer>
2419 // CHECK:          <key>file</key><integer>0</integer>
2420 // CHECK:         </dict>
2421 // CHECK:         <dict>
2422 // CHECK:          <key>line</key><integer>85</integer>
2423 // CHECK:          <key>col</key><integer>28</integer>
2424 // CHECK:          <key>file</key><integer>0</integer>
2425 // CHECK:         </dict>
2426 // CHECK:        </array>
2427 // CHECK:      </array>
2428 // CHECK:      <key>depth</key><integer>0</integer>
2429 // CHECK:      <key>extended_message</key>
2430 // CHECK:      <string>Calling &apos;malloc_wrapper_ret&apos;</string>
2431 // CHECK:      <key>message</key>
2432 // CHECK: <string>Calling &apos;malloc_wrapper_ret&apos;</string>
2433 // CHECK:     </dict>
2434 // CHECK:     <dict>
2435 // CHECK:      <key>kind</key><string>event</string>
2436 // CHECK:      <key>location</key>
2437 // CHECK:      <dict>
2438 // CHECK:       <key>line</key><integer>80</integer>
2439 // CHECK:       <key>col</key><integer>1</integer>
2440 // CHECK:       <key>file</key><integer>0</integer>
2441 // CHECK:      </dict>
2442 // CHECK:      <key>depth</key><integer>1</integer>
2443 // CHECK:      <key>extended_message</key>
2444 // CHECK:      <string>Entered call from &apos;use_ret&apos;</string>
2445 // CHECK:      <key>message</key>
2446 // CHECK: <string>Entered call from &apos;use_ret&apos;</string>
2447 // CHECK:     </dict>
2448 // CHECK:     <dict>
2449 // CHECK:      <key>kind</key><string>control</string>
2450 // CHECK:      <key>edges</key>
2451 // CHECK:       <array>
2452 // CHECK:        <dict>
2453 // CHECK:         <key>start</key>
2454 // CHECK:          <array>
2455 // CHECK:           <dict>
2456 // CHECK:            <key>line</key><integer>80</integer>
2457 // CHECK:            <key>col</key><integer>1</integer>
2458 // CHECK:            <key>file</key><integer>0</integer>
2459 // CHECK:           </dict>
2460 // CHECK:           <dict>
2461 // CHECK:            <key>line</key><integer>80</integer>
2462 // CHECK:            <key>col</key><integer>1</integer>
2463 // CHECK:            <key>file</key><integer>0</integer>
2464 // CHECK:           </dict>
2465 // CHECK:          </array>
2466 // CHECK:         <key>end</key>
2467 // CHECK:          <array>
2468 // CHECK:           <dict>
2469 // CHECK:            <key>line</key><integer>81</integer>
2470 // CHECK:            <key>col</key><integer>5</integer>
2471 // CHECK:            <key>file</key><integer>0</integer>
2472 // CHECK:           </dict>
2473 // CHECK:           <dict>
2474 // CHECK:            <key>line</key><integer>81</integer>
2475 // CHECK:            <key>col</key><integer>5</integer>
2476 // CHECK:            <key>file</key><integer>0</integer>
2477 // CHECK:           </dict>
2478 // CHECK:          </array>
2479 // CHECK:        </dict>
2480 // CHECK:       </array>
2481 // CHECK:     </dict>
2482 // CHECK:     <dict>
2483 // CHECK:      <key>kind</key><string>control</string>
2484 // CHECK:      <key>edges</key>
2485 // CHECK:       <array>
2486 // CHECK:        <dict>
2487 // CHECK:         <key>start</key>
2488 // CHECK:          <array>
2489 // CHECK:           <dict>
2490 // CHECK:            <key>line</key><integer>81</integer>
2491 // CHECK:            <key>col</key><integer>5</integer>
2492 // CHECK:            <key>file</key><integer>0</integer>
2493 // CHECK:           </dict>
2494 // CHECK:           <dict>
2495 // CHECK:            <key>line</key><integer>81</integer>
2496 // CHECK:            <key>col</key><integer>5</integer>
2497 // CHECK:            <key>file</key><integer>0</integer>
2498 // CHECK:           </dict>
2499 // CHECK:          </array>
2500 // CHECK:         <key>end</key>
2501 // CHECK:          <array>
2502 // CHECK:           <dict>
2503 // CHECK:            <key>line</key><integer>81</integer>
2504 // CHECK:            <key>col</key><integer>19</integer>
2505 // CHECK:            <key>file</key><integer>0</integer>
2506 // CHECK:           </dict>
2507 // CHECK:           <dict>
2508 // CHECK:            <key>line</key><integer>81</integer>
2509 // CHECK:            <key>col</key><integer>28</integer>
2510 // CHECK:            <key>file</key><integer>0</integer>
2511 // CHECK:           </dict>
2512 // CHECK:          </array>
2513 // CHECK:        </dict>
2514 // CHECK:       </array>
2515 // CHECK:     </dict>
2516 // CHECK:     <dict>
2517 // CHECK:      <key>kind</key><string>event</string>
2518 // CHECK:      <key>location</key>
2519 // CHECK:      <dict>
2520 // CHECK:       <key>line</key><integer>81</integer>
2521 // CHECK:       <key>col</key><integer>19</integer>
2522 // CHECK:       <key>file</key><integer>0</integer>
2523 // CHECK:      </dict>
2524 // CHECK:      <key>ranges</key>
2525 // CHECK:      <array>
2526 // CHECK:        <array>
2527 // CHECK:         <dict>
2528 // CHECK:          <key>line</key><integer>81</integer>
2529 // CHECK:          <key>col</key><integer>19</integer>
2530 // CHECK:          <key>file</key><integer>0</integer>
2531 // CHECK:         </dict>
2532 // CHECK:         <dict>
2533 // CHECK:          <key>line</key><integer>81</integer>
2534 // CHECK:          <key>col</key><integer>28</integer>
2535 // CHECK:          <key>file</key><integer>0</integer>
2536 // CHECK:         </dict>
2537 // CHECK:        </array>
2538 // CHECK:      </array>
2539 // CHECK:      <key>depth</key><integer>1</integer>
2540 // CHECK:      <key>extended_message</key>
2541 // CHECK:      <string>Memory is allocated</string>
2542 // CHECK:      <key>message</key>
2543 // CHECK: <string>Memory is allocated</string>
2544 // CHECK:     </dict>
2545 // CHECK:     <dict>
2546 // CHECK:      <key>kind</key><string>event</string>
2547 // CHECK:      <key>location</key>
2548 // CHECK:      <dict>
2549 // CHECK:       <key>line</key><integer>85</integer>
2550 // CHECK:       <key>col</key><integer>9</integer>
2551 // CHECK:       <key>file</key><integer>0</integer>
2552 // CHECK:      </dict>
2553 // CHECK:      <key>ranges</key>
2554 // CHECK:      <array>
2555 // CHECK:        <array>
2556 // CHECK:         <dict>
2557 // CHECK:          <key>line</key><integer>85</integer>
2558 // CHECK:          <key>col</key><integer>9</integer>
2559 // CHECK:          <key>file</key><integer>0</integer>
2560 // CHECK:         </dict>
2561 // CHECK:         <dict>
2562 // CHECK:          <key>line</key><integer>85</integer>
2563 // CHECK:          <key>col</key><integer>28</integer>
2564 // CHECK:          <key>file</key><integer>0</integer>
2565 // CHECK:         </dict>
2566 // CHECK:        </array>
2567 // CHECK:      </array>
2568 // CHECK:      <key>depth</key><integer>1</integer>
2569 // CHECK:      <key>extended_message</key>
2570 // CHECK:      <string>Returned allocated memory</string>
2571 // CHECK:      <key>message</key>
2572 // CHECK: <string>Returned allocated memory</string>
2573 // CHECK:     </dict>
2574 // CHECK:     <dict>
2575 // CHECK:      <key>kind</key><string>control</string>
2576 // CHECK:      <key>edges</key>
2577 // CHECK:       <array>
2578 // CHECK:        <dict>
2579 // CHECK:         <key>start</key>
2580 // CHECK:          <array>
2581 // CHECK:           <dict>
2582 // CHECK:            <key>line</key><integer>85</integer>
2583 // CHECK:            <key>col</key><integer>9</integer>
2584 // CHECK:            <key>file</key><integer>0</integer>
2585 // CHECK:           </dict>
2586 // CHECK:           <dict>
2587 // CHECK:            <key>line</key><integer>85</integer>
2588 // CHECK:            <key>col</key><integer>28</integer>
2589 // CHECK:            <key>file</key><integer>0</integer>
2590 // CHECK:           </dict>
2591 // CHECK:          </array>
2592 // CHECK:         <key>end</key>
2593 // CHECK:          <array>
2594 // CHECK:           <dict>
2595 // CHECK:            <key>line</key><integer>86</integer>
2596 // CHECK:            <key>col</key><integer>1</integer>
2597 // CHECK:            <key>file</key><integer>0</integer>
2598 // CHECK:           </dict>
2599 // CHECK:           <dict>
2600 // CHECK:            <key>line</key><integer>86</integer>
2601 // CHECK:            <key>col</key><integer>1</integer>
2602 // CHECK:            <key>file</key><integer>0</integer>
2603 // CHECK:           </dict>
2604 // CHECK:          </array>
2605 // CHECK:        </dict>
2606 // CHECK:       </array>
2607 // CHECK:     </dict>
2608 // CHECK:     <dict>
2609 // CHECK:      <key>kind</key><string>event</string>
2610 // CHECK:      <key>location</key>
2611 // CHECK:      <dict>
2612 // CHECK:       <key>line</key><integer>86</integer>
2613 // CHECK:       <key>col</key><integer>1</integer>
2614 // CHECK:       <key>file</key><integer>0</integer>
2615 // CHECK:      </dict>
2616 // CHECK:      <key>depth</key><integer>0</integer>
2617 // CHECK:      <key>extended_message</key>
2618 // CHECK:      <string>Memory is never released; potential leak of memory pointed to by &apos;v&apos;</string>
2619 // CHECK:      <key>message</key>
2620 // CHECK: <string>Memory is never released; potential leak of memory pointed to by &apos;v&apos;</string>
2621 // CHECK:     </dict>
2622 // CHECK:    </array>
2623 // CHECK:    <key>description</key><string>Memory is never released; potential leak of memory pointed to by &apos;v&apos;</string>
2624 // CHECK:    <key>category</key><string>Memory Error</string>
2625 // CHECK:    <key>type</key><string>Memory leak</string>
2626 // CHECK:   <key>issue_context_kind</key><string>function</string>
2627 // CHECK:   <key>issue_context</key><string>use_ret</string>
2628 // CHECK:   <key>location</key>
2629 // CHECK:   <dict>
2630 // CHECK:    <key>line</key><integer>86</integer>
2631 // CHECK:    <key>col</key><integer>1</integer>
2632 // CHECK:    <key>file</key><integer>0</integer>
2633 // CHECK:   </dict>
2634 // CHECK:   </dict>
2635 // CHECK:   <dict>
2636 // CHECK:    <key>path</key>
2637 // CHECK:    <array>
2638 // CHECK:     <dict>
2639 // CHECK:      <key>kind</key><string>control</string>
2640 // CHECK:      <key>edges</key>
2641 // CHECK:       <array>
2642 // CHECK:        <dict>
2643 // CHECK:         <key>start</key>
2644 // CHECK:          <array>
2645 // CHECK:           <dict>
2646 // CHECK:            <key>line</key><integer>90</integer>
2647 // CHECK:            <key>col</key><integer>5</integer>
2648 // CHECK:            <key>file</key><integer>0</integer>
2649 // CHECK:           </dict>
2650 // CHECK:           <dict>
2651 // CHECK:            <key>line</key><integer>90</integer>
2652 // CHECK:            <key>col</key><integer>5</integer>
2653 // CHECK:            <key>file</key><integer>0</integer>
2654 // CHECK:           </dict>
2655 // CHECK:          </array>
2656 // CHECK:         <key>end</key>
2657 // CHECK:          <array>
2658 // CHECK:           <dict>
2659 // CHECK:            <key>line</key><integer>92</integer>
2660 // CHECK:            <key>col</key><integer>5</integer>
2661 // CHECK:            <key>file</key><integer>0</integer>
2662 // CHECK:           </dict>
2663 // CHECK:           <dict>
2664 // CHECK:            <key>line</key><integer>92</integer>
2665 // CHECK:            <key>col</key><integer>5</integer>
2666 // CHECK:            <key>file</key><integer>0</integer>
2667 // CHECK:           </dict>
2668 // CHECK:          </array>
2669 // CHECK:        </dict>
2670 // CHECK:       </array>
2671 // CHECK:     </dict>
2672 // CHECK:     <dict>
2673 // CHECK:      <key>kind</key><string>control</string>
2674 // CHECK:      <key>edges</key>
2675 // CHECK:       <array>
2676 // CHECK:        <dict>
2677 // CHECK:         <key>start</key>
2678 // CHECK:          <array>
2679 // CHECK:           <dict>
2680 // CHECK:            <key>line</key><integer>92</integer>
2681 // CHECK:            <key>col</key><integer>5</integer>
2682 // CHECK:            <key>file</key><integer>0</integer>
2683 // CHECK:           </dict>
2684 // CHECK:           <dict>
2685 // CHECK:            <key>line</key><integer>92</integer>
2686 // CHECK:            <key>col</key><integer>5</integer>
2687 // CHECK:            <key>file</key><integer>0</integer>
2688 // CHECK:           </dict>
2689 // CHECK:          </array>
2690 // CHECK:         <key>end</key>
2691 // CHECK:          <array>
2692 // CHECK:           <dict>
2693 // CHECK:            <key>line</key><integer>92</integer>
2694 // CHECK:            <key>col</key><integer>15</integer>
2695 // CHECK:            <key>file</key><integer>0</integer>
2696 // CHECK:           </dict>
2697 // CHECK:           <dict>
2698 // CHECK:            <key>line</key><integer>92</integer>
2699 // CHECK:            <key>col</key><integer>24</integer>
2700 // CHECK:            <key>file</key><integer>0</integer>
2701 // CHECK:           </dict>
2702 // CHECK:          </array>
2703 // CHECK:        </dict>
2704 // CHECK:       </array>
2705 // CHECK:     </dict>
2706 // CHECK:     <dict>
2707 // CHECK:      <key>kind</key><string>event</string>
2708 // CHECK:      <key>location</key>
2709 // CHECK:      <dict>
2710 // CHECK:       <key>line</key><integer>92</integer>
2711 // CHECK:       <key>col</key><integer>15</integer>
2712 // CHECK:       <key>file</key><integer>0</integer>
2713 // CHECK:      </dict>
2714 // CHECK:      <key>ranges</key>
2715 // CHECK:      <array>
2716 // CHECK:        <array>
2717 // CHECK:         <dict>
2718 // CHECK:          <key>line</key><integer>92</integer>
2719 // CHECK:          <key>col</key><integer>15</integer>
2720 // CHECK:          <key>file</key><integer>0</integer>
2721 // CHECK:         </dict>
2722 // CHECK:         <dict>
2723 // CHECK:          <key>line</key><integer>92</integer>
2724 // CHECK:          <key>col</key><integer>24</integer>
2725 // CHECK:          <key>file</key><integer>0</integer>
2726 // CHECK:         </dict>
2727 // CHECK:        </array>
2728 // CHECK:      </array>
2729 // CHECK:      <key>depth</key><integer>0</integer>
2730 // CHECK:      <key>extended_message</key>
2731 // CHECK:      <string>Memory is allocated</string>
2732 // CHECK:      <key>message</key>
2733 // CHECK: <string>Memory is allocated</string>
2734 // CHECK:     </dict>
2735 // CHECK:     <dict>
2736 // CHECK:      <key>kind</key><string>control</string>
2737 // CHECK:      <key>edges</key>
2738 // CHECK:       <array>
2739 // CHECK:        <dict>
2740 // CHECK:         <key>start</key>
2741 // CHECK:          <array>
2742 // CHECK:           <dict>
2743 // CHECK:            <key>line</key><integer>92</integer>
2744 // CHECK:            <key>col</key><integer>15</integer>
2745 // CHECK:            <key>file</key><integer>0</integer>
2746 // CHECK:           </dict>
2747 // CHECK:           <dict>
2748 // CHECK:            <key>line</key><integer>92</integer>
2749 // CHECK:            <key>col</key><integer>24</integer>
2750 // CHECK:            <key>file</key><integer>0</integer>
2751 // CHECK:           </dict>
2752 // CHECK:          </array>
2753 // CHECK:         <key>end</key>
2754 // CHECK:          <array>
2755 // CHECK:           <dict>
2756 // CHECK:            <key>line</key><integer>97</integer>
2757 // CHECK:            <key>col</key><integer>5</integer>
2758 // CHECK:            <key>file</key><integer>0</integer>
2759 // CHECK:           </dict>
2760 // CHECK:           <dict>
2761 // CHECK:            <key>line</key><integer>97</integer>
2762 // CHECK:            <key>col</key><integer>8</integer>
2763 // CHECK:            <key>file</key><integer>0</integer>
2764 // CHECK:           </dict>
2765 // CHECK:          </array>
2766 // CHECK:        </dict>
2767 // CHECK:       </array>
2768 // CHECK:     </dict>
2769 // CHECK:     <dict>
2770 // CHECK:      <key>kind</key><string>event</string>
2771 // CHECK:      <key>location</key>
2772 // CHECK:      <dict>
2773 // CHECK:       <key>line</key><integer>97</integer>
2774 // CHECK:       <key>col</key><integer>5</integer>
2775 // CHECK:       <key>file</key><integer>0</integer>
2776 // CHECK:      </dict>
2777 // CHECK:      <key>ranges</key>
2778 // CHECK:      <array>
2779 // CHECK:        <array>
2780 // CHECK:         <dict>
2781 // CHECK:          <key>line</key><integer>97</integer>
2782 // CHECK:          <key>col</key><integer>5</integer>
2783 // CHECK:          <key>file</key><integer>0</integer>
2784 // CHECK:         </dict>
2785 // CHECK:         <dict>
2786 // CHECK:          <key>line</key><integer>97</integer>
2787 // CHECK:          <key>col</key><integer>8</integer>
2788 // CHECK:          <key>file</key><integer>0</integer>
2789 // CHECK:         </dict>
2790 // CHECK:        </array>
2791 // CHECK:      </array>
2792 // CHECK:      <key>depth</key><integer>0</integer>
2793 // CHECK:      <key>extended_message</key>
2794 // CHECK:      <string>Memory is never released; potential leak of memory pointed to by &apos;m&apos;</string>
2795 // CHECK:      <key>message</key>
2796 // CHECK: <string>Memory is never released; potential leak of memory pointed to by &apos;m&apos;</string>
2797 // CHECK:     </dict>
2798 // CHECK:    </array>
2799 // CHECK:    <key>description</key><string>Memory is never released; potential leak of memory pointed to by &apos;m&apos;</string>
2800 // CHECK:    <key>category</key><string>Memory Error</string>
2801 // CHECK:    <key>type</key><string>Memory leak</string>
2802 // CHECK:   <key>issue_context_kind</key><string>function</string>
2803 // CHECK:   <key>issue_context</key><string>LeakedSymbol</string>
2804 // CHECK:   <key>location</key>
2805 // CHECK:   <dict>
2806 // CHECK:    <key>line</key><integer>97</integer>
2807 // CHECK:    <key>col</key><integer>5</integer>
2808 // CHECK:    <key>file</key><integer>0</integer>
2809 // CHECK:   </dict>
2810 // CHECK:   </dict>
2811 // CHECK:  </array>
2812 // CHECK: </dict>
2813 // CHECK: </plist>
2814 
2815