malloc-plist.c revision 11abcecc8c919673237cf37384290a1ef1943976
1// RUN: %clang_cc1 -analyze -analyzer-checker=unix.Malloc -analyzer-output=plist -o %t %s
2// RUN: FileCheck --input-file %t %s
3
4typedef __typeof(sizeof(int)) size_t;
5void *malloc(size_t);
6void free(void *);
7void *realloc(void *ptr, size_t size);
8
9void diagnosticTest(int in) {
10    if (in > 5) {
11        int *p = malloc(12);
12        (*p)++;
13    }
14    in++; // expected-warning {{leak}}
15}
16
17void myArrayAllocation() {
18    int **A;
19    A = malloc(2*sizeof(int*));
20    A[0] = 0;// expected-warning {{leak}}
21}
22
23void 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
34void *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
42void 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.
49void my_free(void *x) {
50    free(x);
51}
52void my_malloc_and_free(void **x) {
53    *x = malloc(100);
54    if (*x)
55      my_free(*x);
56    return;
57}
58void *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'.
65char *my_realloc(char *buf) {
66    char *tmp;
67    tmp = (char*)realloc(buf, 0x1000000);
68    if (!tmp) {
69        return tmp;
70    }
71    return tmp;
72}
73void 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.
80static char *malloc_wrapper_ret() {
81    return (char*)malloc(12);
82}
83void 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.
89void 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// Tests that exercise running remove dead bindings at Call exit.
101static void function_with_leak1() {
102    char *x = (char*)malloc(12);
103}
104void use_function_with_leak1() {
105    function_with_leak1();
106    int y = 0;
107}
108
109static void function_with_leak2() {
110    char *x = (char*)malloc(12);
111    int m = 0;
112}
113void use_function_with_leak2() {
114    function_with_leak2();
115}
116
117static void function_with_leak3(int y) {
118    char *x = (char*)malloc(12);
119    if (y)
120        y++;
121}
122void use_function_with_leak3(int y) {
123    function_with_leak3(y);
124}
125
126static void function_with_leak4(int y) {
127    char *x = (char*)malloc(12);
128    if (y)
129        y++;
130    else
131        y--;
132}
133void use_function_with_leak4(int y) {
134    function_with_leak4(y);
135}
136
137int anotherFunction5() {
138    return 5;
139}
140static int function_with_leak5() {
141    char *x = (char*)malloc(12);
142    return anotherFunction5();
143}
144void use_function_with_leak5() {
145    function_with_leak5();
146}
147
148void anotherFunction6(int m) {
149    m++;
150}
151static void function_with_leak6() {
152    char *x = (char*)malloc(12);
153    anotherFunction6(3);
154}
155void use_function_with_leak6() {
156    function_with_leak6();
157}
158
159static void empty_function(){
160}
161void use_empty_function() {
162    empty_function();
163}
164static char *function_with_leak7() {
165    return (char*)malloc(12);
166}
167void use_function_with_leak7() {
168    function_with_leak7();
169}
170
171//CHECK:  <dict>
172//CHECK:   <key>files</key>
173//CHECK:   <array>
174//CHECK:   </array>
175//CHECK:   <key>diagnostics</key>
176//CHECK:   <array>
177//CHECK:    <dict>
178//CHECK:     <key>path</key>
179//CHECK:     <array>
180//CHECK:      <dict>
181//CHECK:       <key>kind</key><string>control</string>
182//CHECK:       <key>edges</key>
183//CHECK:        <array>
184//CHECK:         <dict>
185//CHECK:          <key>start</key>
186//CHECK:           <array>
187//CHECK:            <dict>
188//CHECK:             <key>line</key><integer>10</integer>
189//CHECK:             <key>col</key><integer>5</integer>
190//CHECK:             <key>file</key><integer>0</integer>
191//CHECK:            </dict>
192//CHECK:            <dict>
193//CHECK:             <key>line</key><integer>10</integer>
194//CHECK:             <key>col</key><integer>5</integer>
195//CHECK:             <key>file</key><integer>0</integer>
196//CHECK:            </dict>
197//CHECK:           </array>
198//CHECK:          <key>end</key>
199//CHECK:           <array>
200//CHECK:            <dict>
201//CHECK:             <key>line</key><integer>10</integer>
202//CHECK:             <key>col</key><integer>9</integer>
203//CHECK:             <key>file</key><integer>0</integer>
204//CHECK:            </dict>
205//CHECK:            <dict>
206//CHECK:             <key>line</key><integer>10</integer>
207//CHECK:             <key>col</key><integer>9</integer>
208//CHECK:             <key>file</key><integer>0</integer>
209//CHECK:            </dict>
210//CHECK:           </array>
211//CHECK:         </dict>
212//CHECK:        </array>
213//CHECK:      </dict>
214//CHECK:      <dict>
215//CHECK:       <key>kind</key><string>control</string>
216//CHECK:       <key>edges</key>
217//CHECK:        <array>
218//CHECK:         <dict>
219//CHECK:          <key>start</key>
220//CHECK:           <array>
221//CHECK:            <dict>
222//CHECK:             <key>line</key><integer>10</integer>
223//CHECK:             <key>col</key><integer>9</integer>
224//CHECK:             <key>file</key><integer>0</integer>
225//CHECK:            </dict>
226//CHECK:            <dict>
227//CHECK:             <key>line</key><integer>10</integer>
228//CHECK:             <key>col</key><integer>9</integer>
229//CHECK:             <key>file</key><integer>0</integer>
230//CHECK:            </dict>
231//CHECK:           </array>
232//CHECK:          <key>end</key>
233//CHECK:           <array>
234//CHECK:            <dict>
235//CHECK:             <key>line</key><integer>11</integer>
236//CHECK:             <key>col</key><integer>9</integer>
237//CHECK:             <key>file</key><integer>0</integer>
238//CHECK:            </dict>
239//CHECK:            <dict>
240//CHECK:             <key>line</key><integer>11</integer>
241//CHECK:             <key>col</key><integer>9</integer>
242//CHECK:             <key>file</key><integer>0</integer>
243//CHECK:            </dict>
244//CHECK:           </array>
245//CHECK:         </dict>
246//CHECK:        </array>
247//CHECK:      </dict>
248//CHECK:      <dict>
249//CHECK:       <key>kind</key><string>control</string>
250//CHECK:       <key>edges</key>
251//CHECK:        <array>
252//CHECK:         <dict>
253//CHECK:          <key>start</key>
254//CHECK:           <array>
255//CHECK:            <dict>
256//CHECK:             <key>line</key><integer>11</integer>
257//CHECK:             <key>col</key><integer>9</integer>
258//CHECK:             <key>file</key><integer>0</integer>
259//CHECK:            </dict>
260//CHECK:            <dict>
261//CHECK:             <key>line</key><integer>11</integer>
262//CHECK:             <key>col</key><integer>9</integer>
263//CHECK:             <key>file</key><integer>0</integer>
264//CHECK:            </dict>
265//CHECK:           </array>
266//CHECK:          <key>end</key>
267//CHECK:           <array>
268//CHECK:            <dict>
269//CHECK:             <key>line</key><integer>11</integer>
270//CHECK:             <key>col</key><integer>18</integer>
271//CHECK:             <key>file</key><integer>0</integer>
272//CHECK:            </dict>
273//CHECK:            <dict>
274//CHECK:             <key>line</key><integer>11</integer>
275//CHECK:             <key>col</key><integer>27</integer>
276//CHECK:             <key>file</key><integer>0</integer>
277//CHECK:            </dict>
278//CHECK:           </array>
279//CHECK:         </dict>
280//CHECK:        </array>
281//CHECK:      </dict>
282//CHECK:      <dict>
283//CHECK:       <key>kind</key><string>event</string>
284//CHECK:       <key>location</key>
285//CHECK:       <dict>
286//CHECK:        <key>line</key><integer>11</integer>
287//CHECK:        <key>col</key><integer>18</integer>
288//CHECK:        <key>file</key><integer>0</integer>
289//CHECK:       </dict>
290//CHECK:       <key>ranges</key>
291//CHECK:       <array>
292//CHECK:         <array>
293//CHECK:          <dict>
294//CHECK:           <key>line</key><integer>11</integer>
295//CHECK:           <key>col</key><integer>18</integer>
296//CHECK:           <key>file</key><integer>0</integer>
297//CHECK:          </dict>
298//CHECK:          <dict>
299//CHECK:           <key>line</key><integer>11</integer>
300//CHECK:           <key>col</key><integer>27</integer>
301//CHECK:           <key>file</key><integer>0</integer>
302//CHECK:          </dict>
303//CHECK:         </array>
304//CHECK:       </array>
305//CHECK:       <key>depth</key><integer>0</integer>
306//CHECK:       <key>extended_message</key>
307//CHECK:       <string>Memory is allocated</string>
308//CHECK:       <key>message</key>
309//CHECK:  <string>Memory is allocated</string>
310//CHECK:      </dict>
311//CHECK:      <dict>
312//CHECK:       <key>kind</key><string>control</string>
313//CHECK:       <key>edges</key>
314//CHECK:        <array>
315//CHECK:         <dict>
316//CHECK:          <key>start</key>
317//CHECK:           <array>
318//CHECK:            <dict>
319//CHECK:             <key>line</key><integer>11</integer>
320//CHECK:             <key>col</key><integer>18</integer>
321//CHECK:             <key>file</key><integer>0</integer>
322//CHECK:            </dict>
323//CHECK:            <dict>
324//CHECK:             <key>line</key><integer>11</integer>
325//CHECK:             <key>col</key><integer>27</integer>
326//CHECK:             <key>file</key><integer>0</integer>
327//CHECK:            </dict>
328//CHECK:           </array>
329//CHECK:          <key>end</key>
330//CHECK:           <array>
331//CHECK:            <dict>
332//CHECK:             <key>line</key><integer>14</integer>
333//CHECK:             <key>col</key><integer>5</integer>
334//CHECK:             <key>file</key><integer>0</integer>
335//CHECK:            </dict>
336//CHECK:            <dict>
337//CHECK:             <key>line</key><integer>14</integer>
338//CHECK:             <key>col</key><integer>6</integer>
339//CHECK:             <key>file</key><integer>0</integer>
340//CHECK:            </dict>
341//CHECK:           </array>
342//CHECK:         </dict>
343//CHECK:        </array>
344//CHECK:      </dict>
345//CHECK:      <dict>
346//CHECK:       <key>kind</key><string>event</string>
347//CHECK:       <key>location</key>
348//CHECK:       <dict>
349//CHECK:        <key>line</key><integer>14</integer>
350//CHECK:        <key>col</key><integer>5</integer>
351//CHECK:        <key>file</key><integer>0</integer>
352//CHECK:       </dict>
353//CHECK:       <key>ranges</key>
354//CHECK:       <array>
355//CHECK:         <array>
356//CHECK:          <dict>
357//CHECK:           <key>line</key><integer>14</integer>
358//CHECK:           <key>col</key><integer>5</integer>
359//CHECK:           <key>file</key><integer>0</integer>
360//CHECK:          </dict>
361//CHECK:          <dict>
362//CHECK:           <key>line</key><integer>14</integer>
363//CHECK:           <key>col</key><integer>6</integer>
364//CHECK:           <key>file</key><integer>0</integer>
365//CHECK:          </dict>
366//CHECK:         </array>
367//CHECK:       </array>
368//CHECK:       <key>depth</key><integer>0</integer>
369//CHECK:       <key>extended_message</key>
370//CHECK:       <string>Memory is never released; potential leak of memory pointed to by &apos;p&apos;</string>
371//CHECK:       <key>message</key>
372//CHECK:  <string>Memory is never released; potential leak of memory pointed to by &apos;p&apos;</string>
373//CHECK:      </dict>
374//CHECK:     </array>
375//CHECK:     <key>description</key><string>Memory is never released; potential leak of memory pointed to by &apos;p&apos;</string>
376//CHECK:     <key>category</key><string>Memory Error</string>
377//CHECK:     <key>type</key><string>Memory leak</string>
378//CHECK:    <key>issue_context_kind</key><string>function</string>
379//CHECK:    <key>issue_context</key><string>diagnosticTest</string>
380//CHECK:    <key>location</key>
381//CHECK:    <dict>
382//CHECK:     <key>line</key><integer>14</integer>
383//CHECK:     <key>col</key><integer>5</integer>
384//CHECK:     <key>file</key><integer>0</integer>
385//CHECK:    </dict>
386//CHECK:    </dict>
387//CHECK:    <dict>
388//CHECK:     <key>path</key>
389//CHECK:     <array>
390//CHECK:      <dict>
391//CHECK:       <key>kind</key><string>control</string>
392//CHECK:       <key>edges</key>
393//CHECK:        <array>
394//CHECK:         <dict>
395//CHECK:          <key>start</key>
396//CHECK:           <array>
397//CHECK:            <dict>
398//CHECK:             <key>line</key><integer>18</integer>
399//CHECK:             <key>col</key><integer>5</integer>
400//CHECK:             <key>file</key><integer>0</integer>
401//CHECK:            </dict>
402//CHECK:            <dict>
403//CHECK:             <key>line</key><integer>18</integer>
404//CHECK:             <key>col</key><integer>5</integer>
405//CHECK:             <key>file</key><integer>0</integer>
406//CHECK:            </dict>
407//CHECK:           </array>
408//CHECK:          <key>end</key>
409//CHECK:           <array>
410//CHECK:            <dict>
411//CHECK:             <key>line</key><integer>19</integer>
412//CHECK:             <key>col</key><integer>5</integer>
413//CHECK:             <key>file</key><integer>0</integer>
414//CHECK:            </dict>
415//CHECK:            <dict>
416//CHECK:             <key>line</key><integer>19</integer>
417//CHECK:             <key>col</key><integer>5</integer>
418//CHECK:             <key>file</key><integer>0</integer>
419//CHECK:            </dict>
420//CHECK:           </array>
421//CHECK:         </dict>
422//CHECK:        </array>
423//CHECK:      </dict>
424//CHECK:      <dict>
425//CHECK:       <key>kind</key><string>control</string>
426//CHECK:       <key>edges</key>
427//CHECK:        <array>
428//CHECK:         <dict>
429//CHECK:          <key>start</key>
430//CHECK:           <array>
431//CHECK:            <dict>
432//CHECK:             <key>line</key><integer>19</integer>
433//CHECK:             <key>col</key><integer>5</integer>
434//CHECK:             <key>file</key><integer>0</integer>
435//CHECK:            </dict>
436//CHECK:            <dict>
437//CHECK:             <key>line</key><integer>19</integer>
438//CHECK:             <key>col</key><integer>5</integer>
439//CHECK:             <key>file</key><integer>0</integer>
440//CHECK:            </dict>
441//CHECK:           </array>
442//CHECK:          <key>end</key>
443//CHECK:           <array>
444//CHECK:            <dict>
445//CHECK:             <key>line</key><integer>19</integer>
446//CHECK:             <key>col</key><integer>9</integer>
447//CHECK:             <key>file</key><integer>0</integer>
448//CHECK:            </dict>
449//CHECK:            <dict>
450//CHECK:             <key>line</key><integer>19</integer>
451//CHECK:             <key>col</key><integer>30</integer>
452//CHECK:             <key>file</key><integer>0</integer>
453//CHECK:            </dict>
454//CHECK:           </array>
455//CHECK:         </dict>
456//CHECK:        </array>
457//CHECK:      </dict>
458//CHECK:      <dict>
459//CHECK:       <key>kind</key><string>event</string>
460//CHECK:       <key>location</key>
461//CHECK:       <dict>
462//CHECK:        <key>line</key><integer>19</integer>
463//CHECK:        <key>col</key><integer>9</integer>
464//CHECK:        <key>file</key><integer>0</integer>
465//CHECK:       </dict>
466//CHECK:       <key>ranges</key>
467//CHECK:       <array>
468//CHECK:         <array>
469//CHECK:          <dict>
470//CHECK:           <key>line</key><integer>19</integer>
471//CHECK:           <key>col</key><integer>9</integer>
472//CHECK:           <key>file</key><integer>0</integer>
473//CHECK:          </dict>
474//CHECK:          <dict>
475//CHECK:           <key>line</key><integer>19</integer>
476//CHECK:           <key>col</key><integer>30</integer>
477//CHECK:           <key>file</key><integer>0</integer>
478//CHECK:          </dict>
479//CHECK:         </array>
480//CHECK:       </array>
481//CHECK:       <key>depth</key><integer>0</integer>
482//CHECK:       <key>extended_message</key>
483//CHECK:       <string>Memory is allocated</string>
484//CHECK:       <key>message</key>
485//CHECK:  <string>Memory is allocated</string>
486//CHECK:      </dict>
487//CHECK:      <dict>
488//CHECK:       <key>kind</key><string>control</string>
489//CHECK:       <key>edges</key>
490//CHECK:        <array>
491//CHECK:         <dict>
492//CHECK:          <key>start</key>
493//CHECK:           <array>
494//CHECK:            <dict>
495//CHECK:             <key>line</key><integer>19</integer>
496//CHECK:             <key>col</key><integer>9</integer>
497//CHECK:             <key>file</key><integer>0</integer>
498//CHECK:            </dict>
499//CHECK:            <dict>
500//CHECK:             <key>line</key><integer>19</integer>
501//CHECK:             <key>col</key><integer>30</integer>
502//CHECK:             <key>file</key><integer>0</integer>
503//CHECK:            </dict>
504//CHECK:           </array>
505//CHECK:          <key>end</key>
506//CHECK:           <array>
507//CHECK:            <dict>
508//CHECK:             <key>line</key><integer>21</integer>
509//CHECK:             <key>col</key><integer>1</integer>
510//CHECK:             <key>file</key><integer>0</integer>
511//CHECK:            </dict>
512//CHECK:            <dict>
513//CHECK:             <key>line</key><integer>21</integer>
514//CHECK:             <key>col</key><integer>1</integer>
515//CHECK:             <key>file</key><integer>0</integer>
516//CHECK:            </dict>
517//CHECK:           </array>
518//CHECK:         </dict>
519//CHECK:        </array>
520//CHECK:      </dict>
521//CHECK:      <dict>
522//CHECK:       <key>kind</key><string>event</string>
523//CHECK:       <key>location</key>
524//CHECK:       <dict>
525//CHECK:        <key>line</key><integer>21</integer>
526//CHECK:        <key>col</key><integer>1</integer>
527//CHECK:        <key>file</key><integer>0</integer>
528//CHECK:       </dict>
529//CHECK:       <key>depth</key><integer>0</integer>
530//CHECK:       <key>extended_message</key>
531//CHECK:       <string>Memory is never released; potential leak of memory pointed to by &apos;A&apos;</string>
532//CHECK:       <key>message</key>
533//CHECK:  <string>Memory is never released; potential leak of memory pointed to by &apos;A&apos;</string>
534//CHECK:      </dict>
535//CHECK:     </array>
536//CHECK:     <key>description</key><string>Memory is never released; potential leak of memory pointed to by &apos;A&apos;</string>
537//CHECK:     <key>category</key><string>Memory Error</string>
538//CHECK:     <key>type</key><string>Memory leak</string>
539//CHECK:    <key>issue_context_kind</key><string>function</string>
540//CHECK:    <key>issue_context</key><string>myArrayAllocation</string>
541//CHECK:    <key>location</key>
542//CHECK:    <dict>
543//CHECK:     <key>line</key><integer>21</integer>
544//CHECK:     <key>col</key><integer>1</integer>
545//CHECK:     <key>file</key><integer>0</integer>
546//CHECK:    </dict>
547//CHECK:    </dict>
548//CHECK:    <dict>
549//CHECK:     <key>path</key>
550//CHECK:     <array>
551//CHECK:      <dict>
552//CHECK:       <key>kind</key><string>control</string>
553//CHECK:       <key>edges</key>
554//CHECK:        <array>
555//CHECK:         <dict>
556//CHECK:          <key>start</key>
557//CHECK:           <array>
558//CHECK:            <dict>
559//CHECK:             <key>line</key><integer>24</integer>
560//CHECK:             <key>col</key><integer>5</integer>
561//CHECK:             <key>file</key><integer>0</integer>
562//CHECK:            </dict>
563//CHECK:            <dict>
564//CHECK:             <key>line</key><integer>24</integer>
565//CHECK:             <key>col</key><integer>5</integer>
566//CHECK:             <key>file</key><integer>0</integer>
567//CHECK:            </dict>
568//CHECK:           </array>
569//CHECK:          <key>end</key>
570//CHECK:           <array>
571//CHECK:            <dict>
572//CHECK:             <key>line</key><integer>24</integer>
573//CHECK:             <key>col</key><integer>18</integer>
574//CHECK:             <key>file</key><integer>0</integer>
575//CHECK:            </dict>
576//CHECK:            <dict>
577//CHECK:             <key>line</key><integer>24</integer>
578//CHECK:             <key>col</key><integer>28</integer>
579//CHECK:             <key>file</key><integer>0</integer>
580//CHECK:            </dict>
581//CHECK:           </array>
582//CHECK:         </dict>
583//CHECK:        </array>
584//CHECK:      </dict>
585//CHECK:      <dict>
586//CHECK:       <key>kind</key><string>event</string>
587//CHECK:       <key>location</key>
588//CHECK:       <dict>
589//CHECK:        <key>line</key><integer>24</integer>
590//CHECK:        <key>col</key><integer>18</integer>
591//CHECK:        <key>file</key><integer>0</integer>
592//CHECK:       </dict>
593//CHECK:       <key>ranges</key>
594//CHECK:       <array>
595//CHECK:         <array>
596//CHECK:          <dict>
597//CHECK:           <key>line</key><integer>24</integer>
598//CHECK:           <key>col</key><integer>18</integer>
599//CHECK:           <key>file</key><integer>0</integer>
600//CHECK:          </dict>
601//CHECK:          <dict>
602//CHECK:           <key>line</key><integer>24</integer>
603//CHECK:           <key>col</key><integer>28</integer>
604//CHECK:           <key>file</key><integer>0</integer>
605//CHECK:          </dict>
606//CHECK:         </array>
607//CHECK:       </array>
608//CHECK:       <key>depth</key><integer>0</integer>
609//CHECK:       <key>extended_message</key>
610//CHECK:       <string>Memory is allocated</string>
611//CHECK:       <key>message</key>
612//CHECK:  <string>Memory is allocated</string>
613//CHECK:      </dict>
614//CHECK:      <dict>
615//CHECK:       <key>kind</key><string>control</string>
616//CHECK:       <key>edges</key>
617//CHECK:        <array>
618//CHECK:         <dict>
619//CHECK:          <key>start</key>
620//CHECK:           <array>
621//CHECK:            <dict>
622//CHECK:             <key>line</key><integer>24</integer>
623//CHECK:             <key>col</key><integer>18</integer>
624//CHECK:             <key>file</key><integer>0</integer>
625//CHECK:            </dict>
626//CHECK:            <dict>
627//CHECK:             <key>line</key><integer>24</integer>
628//CHECK:             <key>col</key><integer>28</integer>
629//CHECK:             <key>file</key><integer>0</integer>
630//CHECK:            </dict>
631//CHECK:           </array>
632//CHECK:          <key>end</key>
633//CHECK:           <array>
634//CHECK:            <dict>
635//CHECK:             <key>line</key><integer>26</integer>
636//CHECK:             <key>col</key><integer>5</integer>
637//CHECK:             <key>file</key><integer>0</integer>
638//CHECK:            </dict>
639//CHECK:            <dict>
640//CHECK:             <key>line</key><integer>26</integer>
641//CHECK:             <key>col</key><integer>5</integer>
642//CHECK:             <key>file</key><integer>0</integer>
643//CHECK:            </dict>
644//CHECK:           </array>
645//CHECK:         </dict>
646//CHECK:        </array>
647//CHECK:      </dict>
648//CHECK:      <dict>
649//CHECK:       <key>kind</key><string>control</string>
650//CHECK:       <key>edges</key>
651//CHECK:        <array>
652//CHECK:         <dict>
653//CHECK:          <key>start</key>
654//CHECK:           <array>
655//CHECK:            <dict>
656//CHECK:             <key>line</key><integer>26</integer>
657//CHECK:             <key>col</key><integer>5</integer>
658//CHECK:             <key>file</key><integer>0</integer>
659//CHECK:            </dict>
660//CHECK:            <dict>
661//CHECK:             <key>line</key><integer>26</integer>
662//CHECK:             <key>col</key><integer>5</integer>
663//CHECK:             <key>file</key><integer>0</integer>
664//CHECK:            </dict>
665//CHECK:           </array>
666//CHECK:          <key>end</key>
667//CHECK:           <array>
668//CHECK:            <dict>
669//CHECK:             <key>line</key><integer>26</integer>
670//CHECK:             <key>col</key><integer>18</integer>
671//CHECK:             <key>file</key><integer>0</integer>
672//CHECK:            </dict>
673//CHECK:            <dict>
674//CHECK:             <key>line</key><integer>26</integer>
675//CHECK:             <key>col</key><integer>40</integer>
676//CHECK:             <key>file</key><integer>0</integer>
677//CHECK:            </dict>
678//CHECK:           </array>
679//CHECK:         </dict>
680//CHECK:        </array>
681//CHECK:      </dict>
682//CHECK:      <dict>
683//CHECK:       <key>kind</key><string>event</string>
684//CHECK:       <key>location</key>
685//CHECK:       <dict>
686//CHECK:        <key>line</key><integer>26</integer>
687//CHECK:        <key>col</key><integer>18</integer>
688//CHECK:        <key>file</key><integer>0</integer>
689//CHECK:       </dict>
690//CHECK:       <key>ranges</key>
691//CHECK:       <array>
692//CHECK:         <array>
693//CHECK:          <dict>
694//CHECK:           <key>line</key><integer>26</integer>
695//CHECK:           <key>col</key><integer>18</integer>
696//CHECK:           <key>file</key><integer>0</integer>
697//CHECK:          </dict>
698//CHECK:          <dict>
699//CHECK:           <key>line</key><integer>26</integer>
700//CHECK:           <key>col</key><integer>40</integer>
701//CHECK:           <key>file</key><integer>0</integer>
702//CHECK:          </dict>
703//CHECK:         </array>
704//CHECK:       </array>
705//CHECK:       <key>depth</key><integer>0</integer>
706//CHECK:       <key>extended_message</key>
707//CHECK:       <string>Attempt to reallocate memory</string>
708//CHECK:       <key>message</key>
709//CHECK:  <string>Attempt to reallocate memory</string>
710//CHECK:      </dict>
711//CHECK:      <dict>
712//CHECK:       <key>kind</key><string>control</string>
713//CHECK:       <key>edges</key>
714//CHECK:        <array>
715//CHECK:         <dict>
716//CHECK:          <key>start</key>
717//CHECK:           <array>
718//CHECK:            <dict>
719//CHECK:             <key>line</key><integer>26</integer>
720//CHECK:             <key>col</key><integer>18</integer>
721//CHECK:             <key>file</key><integer>0</integer>
722//CHECK:            </dict>
723//CHECK:            <dict>
724//CHECK:             <key>line</key><integer>26</integer>
725//CHECK:             <key>col</key><integer>40</integer>
726//CHECK:             <key>file</key><integer>0</integer>
727//CHECK:            </dict>
728//CHECK:           </array>
729//CHECK:          <key>end</key>
730//CHECK:           <array>
731//CHECK:            <dict>
732//CHECK:             <key>line</key><integer>27</integer>
733//CHECK:             <key>col</key><integer>5</integer>
734//CHECK:             <key>file</key><integer>0</integer>
735//CHECK:            </dict>
736//CHECK:            <dict>
737//CHECK:             <key>line</key><integer>27</integer>
738//CHECK:             <key>col</key><integer>5</integer>
739//CHECK:             <key>file</key><integer>0</integer>
740//CHECK:            </dict>
741//CHECK:           </array>
742//CHECK:         </dict>
743//CHECK:        </array>
744//CHECK:      </dict>
745//CHECK:      <dict>
746//CHECK:       <key>kind</key><string>control</string>
747//CHECK:       <key>edges</key>
748//CHECK:        <array>
749//CHECK:         <dict>
750//CHECK:          <key>start</key>
751//CHECK:           <array>
752//CHECK:            <dict>
753//CHECK:             <key>line</key><integer>27</integer>
754//CHECK:             <key>col</key><integer>5</integer>
755//CHECK:             <key>file</key><integer>0</integer>
756//CHECK:            </dict>
757//CHECK:            <dict>
758//CHECK:             <key>line</key><integer>27</integer>
759//CHECK:             <key>col</key><integer>5</integer>
760//CHECK:             <key>file</key><integer>0</integer>
761//CHECK:            </dict>
762//CHECK:           </array>
763//CHECK:          <key>end</key>
764//CHECK:           <array>
765//CHECK:            <dict>
766//CHECK:             <key>line</key><integer>27</integer>
767//CHECK:             <key>col</key><integer>9</integer>
768//CHECK:             <key>file</key><integer>0</integer>
769//CHECK:            </dict>
770//CHECK:            <dict>
771//CHECK:             <key>line</key><integer>27</integer>
772//CHECK:             <key>col</key><integer>12</integer>
773//CHECK:             <key>file</key><integer>0</integer>
774//CHECK:            </dict>
775//CHECK:           </array>
776//CHECK:         </dict>
777//CHECK:        </array>
778//CHECK:      </dict>
779//CHECK:      <dict>
780//CHECK:       <key>kind</key><string>event</string>
781//CHECK:       <key>location</key>
782//CHECK:       <dict>
783//CHECK:        <key>line</key><integer>27</integer>
784//CHECK:        <key>col</key><integer>9</integer>
785//CHECK:        <key>file</key><integer>0</integer>
786//CHECK:       </dict>
787//CHECK:       <key>ranges</key>
788//CHECK:       <array>
789//CHECK:         <array>
790//CHECK:          <dict>
791//CHECK:           <key>line</key><integer>27</integer>
792//CHECK:           <key>col</key><integer>9</integer>
793//CHECK:           <key>file</key><integer>0</integer>
794//CHECK:          </dict>
795//CHECK:          <dict>
796//CHECK:           <key>line</key><integer>27</integer>
797//CHECK:           <key>col</key><integer>12</integer>
798//CHECK:           <key>file</key><integer>0</integer>
799//CHECK:          </dict>
800//CHECK:         </array>
801//CHECK:       </array>
802//CHECK:       <key>depth</key><integer>0</integer>
803//CHECK:       <key>extended_message</key>
804//CHECK:       <string>Assuming &apos;tmp&apos; is null</string>
805//CHECK:       <key>message</key>
806//CHECK:  <string>Assuming &apos;tmp&apos; is null</string>
807//CHECK:      </dict>
808//CHECK:      <dict>
809//CHECK:       <key>kind</key><string>control</string>
810//CHECK:       <key>edges</key>
811//CHECK:        <array>
812//CHECK:         <dict>
813//CHECK:          <key>start</key>
814//CHECK:           <array>
815//CHECK:            <dict>
816//CHECK:             <key>line</key><integer>27</integer>
817//CHECK:             <key>col</key><integer>9</integer>
818//CHECK:             <key>file</key><integer>0</integer>
819//CHECK:            </dict>
820//CHECK:            <dict>
821//CHECK:             <key>line</key><integer>27</integer>
822//CHECK:             <key>col</key><integer>12</integer>
823//CHECK:             <key>file</key><integer>0</integer>
824//CHECK:            </dict>
825//CHECK:           </array>
826//CHECK:          <key>end</key>
827//CHECK:           <array>
828//CHECK:            <dict>
829//CHECK:             <key>line</key><integer>27</integer>
830//CHECK:             <key>col</key><integer>5</integer>
831//CHECK:             <key>file</key><integer>0</integer>
832//CHECK:            </dict>
833//CHECK:            <dict>
834//CHECK:             <key>line</key><integer>27</integer>
835//CHECK:             <key>col</key><integer>6</integer>
836//CHECK:             <key>file</key><integer>0</integer>
837//CHECK:            </dict>
838//CHECK:           </array>
839//CHECK:         </dict>
840//CHECK:        </array>
841//CHECK:      </dict>
842//CHECK:      <dict>
843//CHECK:       <key>kind</key><string>event</string>
844//CHECK:       <key>location</key>
845//CHECK:       <dict>
846//CHECK:        <key>line</key><integer>27</integer>
847//CHECK:        <key>col</key><integer>5</integer>
848//CHECK:        <key>file</key><integer>0</integer>
849//CHECK:       </dict>
850//CHECK:       <key>ranges</key>
851//CHECK:       <array>
852//CHECK:         <array>
853//CHECK:          <dict>
854//CHECK:           <key>line</key><integer>27</integer>
855//CHECK:           <key>col</key><integer>5</integer>
856//CHECK:           <key>file</key><integer>0</integer>
857//CHECK:          </dict>
858//CHECK:          <dict>
859//CHECK:           <key>line</key><integer>27</integer>
860//CHECK:           <key>col</key><integer>6</integer>
861//CHECK:           <key>file</key><integer>0</integer>
862//CHECK:          </dict>
863//CHECK:         </array>
864//CHECK:       </array>
865//CHECK:       <key>depth</key><integer>0</integer>
866//CHECK:       <key>extended_message</key>
867//CHECK:       <string>Reallocation failed</string>
868//CHECK:       <key>message</key>
869//CHECK:  <string>Reallocation failed</string>
870//CHECK:      </dict>
871//CHECK:      <dict>
872//CHECK:       <key>kind</key><string>control</string>
873//CHECK:       <key>edges</key>
874//CHECK:        <array>
875//CHECK:         <dict>
876//CHECK:          <key>start</key>
877//CHECK:           <array>
878//CHECK:            <dict>
879//CHECK:             <key>line</key><integer>27</integer>
880//CHECK:             <key>col</key><integer>5</integer>
881//CHECK:             <key>file</key><integer>0</integer>
882//CHECK:            </dict>
883//CHECK:            <dict>
884//CHECK:             <key>line</key><integer>27</integer>
885//CHECK:             <key>col</key><integer>6</integer>
886//CHECK:             <key>file</key><integer>0</integer>
887//CHECK:            </dict>
888//CHECK:           </array>
889//CHECK:          <key>end</key>
890//CHECK:           <array>
891//CHECK:            <dict>
892//CHECK:             <key>line</key><integer>28</integer>
893//CHECK:             <key>col</key><integer>9</integer>
894//CHECK:             <key>file</key><integer>0</integer>
895//CHECK:            </dict>
896//CHECK:            <dict>
897//CHECK:             <key>line</key><integer>28</integer>
898//CHECK:             <key>col</key><integer>14</integer>
899//CHECK:             <key>file</key><integer>0</integer>
900//CHECK:            </dict>
901//CHECK:           </array>
902//CHECK:         </dict>
903//CHECK:        </array>
904//CHECK:      </dict>
905//CHECK:      <dict>
906//CHECK:       <key>kind</key><string>event</string>
907//CHECK:       <key>location</key>
908//CHECK:       <dict>
909//CHECK:        <key>line</key><integer>28</integer>
910//CHECK:        <key>col</key><integer>9</integer>
911//CHECK:        <key>file</key><integer>0</integer>
912//CHECK:       </dict>
913//CHECK:       <key>ranges</key>
914//CHECK:       <array>
915//CHECK:         <array>
916//CHECK:          <dict>
917//CHECK:           <key>line</key><integer>28</integer>
918//CHECK:           <key>col</key><integer>9</integer>
919//CHECK:           <key>file</key><integer>0</integer>
920//CHECK:          </dict>
921//CHECK:          <dict>
922//CHECK:           <key>line</key><integer>28</integer>
923//CHECK:           <key>col</key><integer>14</integer>
924//CHECK:           <key>file</key><integer>0</integer>
925//CHECK:          </dict>
926//CHECK:         </array>
927//CHECK:       </array>
928//CHECK:       <key>depth</key><integer>0</integer>
929//CHECK:       <key>extended_message</key>
930//CHECK:       <string>Memory is never released; potential leak of memory pointed to by &apos;buf&apos;</string>
931//CHECK:       <key>message</key>
932//CHECK:  <string>Memory is never released; potential leak of memory pointed to by &apos;buf&apos;</string>
933//CHECK:      </dict>
934//CHECK:     </array>
935//CHECK:     <key>description</key><string>Memory is never released; potential leak of memory pointed to by &apos;buf&apos;</string>
936//CHECK:     <key>category</key><string>Memory Error</string>
937//CHECK:     <key>type</key><string>Memory leak</string>
938//CHECK:    <key>issue_context_kind</key><string>function</string>
939//CHECK:    <key>issue_context</key><string>reallocDiagnostics</string>
940//CHECK:    <key>location</key>
941//CHECK:    <dict>
942//CHECK:     <key>line</key><integer>28</integer>
943//CHECK:     <key>col</key><integer>9</integer>
944//CHECK:     <key>file</key><integer>0</integer>
945//CHECK:    </dict>
946//CHECK:    </dict>
947//CHECK:    <dict>
948//CHECK:     <key>path</key>
949//CHECK:     <array>
950//CHECK:      <dict>
951//CHECK:       <key>kind</key><string>control</string>
952//CHECK:       <key>edges</key>
953//CHECK:        <array>
954//CHECK:         <dict>
955//CHECK:          <key>start</key>
956//CHECK:           <array>
957//CHECK:            <dict>
958//CHECK:             <key>line</key><integer>43</integer>
959//CHECK:             <key>col</key><integer>3</integer>
960//CHECK:             <key>file</key><integer>0</integer>
961//CHECK:            </dict>
962//CHECK:            <dict>
963//CHECK:             <key>line</key><integer>43</integer>
964//CHECK:             <key>col</key><integer>3</integer>
965//CHECK:             <key>file</key><integer>0</integer>
966//CHECK:            </dict>
967//CHECK:           </array>
968//CHECK:          <key>end</key>
969//CHECK:           <array>
970//CHECK:            <dict>
971//CHECK:             <key>line</key><integer>43</integer>
972//CHECK:             <key>col</key><integer>15</integer>
973//CHECK:             <key>file</key><integer>0</integer>
974//CHECK:            </dict>
975//CHECK:            <dict>
976//CHECK:             <key>line</key><integer>43</integer>
977//CHECK:             <key>col</key><integer>15</integer>
978//CHECK:             <key>file</key><integer>0</integer>
979//CHECK:            </dict>
980//CHECK:           </array>
981//CHECK:         </dict>
982//CHECK:        </array>
983//CHECK:      </dict>
984//CHECK:      <dict>
985//CHECK:       <key>kind</key><string>event</string>
986//CHECK:       <key>location</key>
987//CHECK:       <dict>
988//CHECK:        <key>line</key><integer>43</integer>
989//CHECK:        <key>col</key><integer>15</integer>
990//CHECK:        <key>file</key><integer>0</integer>
991//CHECK:       </dict>
992//CHECK:       <key>ranges</key>
993//CHECK:       <array>
994//CHECK:         <array>
995//CHECK:          <dict>
996//CHECK:           <key>line</key><integer>43</integer>
997//CHECK:           <key>col</key><integer>15</integer>
998//CHECK:           <key>file</key><integer>0</integer>
999//CHECK:          </dict>
1000//CHECK:          <dict>
1001//CHECK:           <key>line</key><integer>43</integer>
1002//CHECK:           <key>col</key><integer>23</integer>
1003//CHECK:           <key>file</key><integer>0</integer>
1004//CHECK:          </dict>
1005//CHECK:         </array>
1006//CHECK:       </array>
1007//CHECK:       <key>depth</key><integer>0</integer>
1008//CHECK:       <key>extended_message</key>
1009//CHECK:       <string>Calling &apos;wrapper&apos;</string>
1010//CHECK:       <key>message</key>
1011//CHECK:  <string>Calling &apos;wrapper&apos;</string>
1012//CHECK:      </dict>
1013//CHECK:      <dict>
1014//CHECK:       <key>kind</key><string>event</string>
1015//CHECK:       <key>location</key>
1016//CHECK:       <dict>
1017//CHECK:        <key>line</key><integer>34</integer>
1018//CHECK:        <key>col</key><integer>1</integer>
1019//CHECK:        <key>file</key><integer>0</integer>
1020//CHECK:       </dict>
1021//CHECK:       <key>depth</key><integer>1</integer>
1022//CHECK:       <key>extended_message</key>
1023//CHECK:       <string>Entered call from &apos;test_wrapper&apos;</string>
1024//CHECK:       <key>message</key>
1025//CHECK:  <string>Entered call from &apos;test_wrapper&apos;</string>
1026//CHECK:      </dict>
1027//CHECK:      <dict>
1028//CHECK:       <key>kind</key><string>control</string>
1029//CHECK:       <key>edges</key>
1030//CHECK:        <array>
1031//CHECK:         <dict>
1032//CHECK:          <key>start</key>
1033//CHECK:           <array>
1034//CHECK:            <dict>
1035//CHECK:             <key>line</key><integer>34</integer>
1036//CHECK:             <key>col</key><integer>1</integer>
1037//CHECK:             <key>file</key><integer>0</integer>
1038//CHECK:            </dict>
1039//CHECK:            <dict>
1040//CHECK:             <key>line</key><integer>34</integer>
1041//CHECK:             <key>col</key><integer>1</integer>
1042//CHECK:             <key>file</key><integer>0</integer>
1043//CHECK:            </dict>
1044//CHECK:           </array>
1045//CHECK:          <key>end</key>
1046//CHECK:           <array>
1047//CHECK:            <dict>
1048//CHECK:             <key>line</key><integer>35</integer>
1049//CHECK:             <key>col</key><integer>3</integer>
1050//CHECK:             <key>file</key><integer>0</integer>
1051//CHECK:            </dict>
1052//CHECK:            <dict>
1053//CHECK:             <key>line</key><integer>35</integer>
1054//CHECK:             <key>col</key><integer>3</integer>
1055//CHECK:             <key>file</key><integer>0</integer>
1056//CHECK:            </dict>
1057//CHECK:           </array>
1058//CHECK:         </dict>
1059//CHECK:        </array>
1060//CHECK:      </dict>
1061//CHECK:      <dict>
1062//CHECK:       <key>kind</key><string>control</string>
1063//CHECK:       <key>edges</key>
1064//CHECK:        <array>
1065//CHECK:         <dict>
1066//CHECK:          <key>start</key>
1067//CHECK:           <array>
1068//CHECK:            <dict>
1069//CHECK:             <key>line</key><integer>35</integer>
1070//CHECK:             <key>col</key><integer>3</integer>
1071//CHECK:             <key>file</key><integer>0</integer>
1072//CHECK:            </dict>
1073//CHECK:            <dict>
1074//CHECK:             <key>line</key><integer>35</integer>
1075//CHECK:             <key>col</key><integer>3</integer>
1076//CHECK:             <key>file</key><integer>0</integer>
1077//CHECK:            </dict>
1078//CHECK:           </array>
1079//CHECK:          <key>end</key>
1080//CHECK:           <array>
1081//CHECK:            <dict>
1082//CHECK:             <key>line</key><integer>35</integer>
1083//CHECK:             <key>col</key><integer>13</integer>
1084//CHECK:             <key>file</key><integer>0</integer>
1085//CHECK:            </dict>
1086//CHECK:            <dict>
1087//CHECK:             <key>line</key><integer>35</integer>
1088//CHECK:             <key>col</key><integer>23</integer>
1089//CHECK:             <key>file</key><integer>0</integer>
1090//CHECK:            </dict>
1091//CHECK:           </array>
1092//CHECK:         </dict>
1093//CHECK:        </array>
1094//CHECK:      </dict>
1095//CHECK:      <dict>
1096//CHECK:       <key>kind</key><string>event</string>
1097//CHECK:       <key>location</key>
1098//CHECK:       <dict>
1099//CHECK:        <key>line</key><integer>35</integer>
1100//CHECK:        <key>col</key><integer>13</integer>
1101//CHECK:        <key>file</key><integer>0</integer>
1102//CHECK:       </dict>
1103//CHECK:       <key>ranges</key>
1104//CHECK:       <array>
1105//CHECK:         <array>
1106//CHECK:          <dict>
1107//CHECK:           <key>line</key><integer>35</integer>
1108//CHECK:           <key>col</key><integer>13</integer>
1109//CHECK:           <key>file</key><integer>0</integer>
1110//CHECK:          </dict>
1111//CHECK:          <dict>
1112//CHECK:           <key>line</key><integer>35</integer>
1113//CHECK:           <key>col</key><integer>23</integer>
1114//CHECK:           <key>file</key><integer>0</integer>
1115//CHECK:          </dict>
1116//CHECK:         </array>
1117//CHECK:       </array>
1118//CHECK:       <key>depth</key><integer>1</integer>
1119//CHECK:       <key>extended_message</key>
1120//CHECK:       <string>Memory is allocated</string>
1121//CHECK:       <key>message</key>
1122//CHECK:  <string>Memory is allocated</string>
1123//CHECK:      </dict>
1124//CHECK:      <dict>
1125//CHECK:       <key>kind</key><string>control</string>
1126//CHECK:       <key>edges</key>
1127//CHECK:        <array>
1128//CHECK:         <dict>
1129//CHECK:          <key>start</key>
1130//CHECK:           <array>
1131//CHECK:            <dict>
1132//CHECK:             <key>line</key><integer>35</integer>
1133//CHECK:             <key>col</key><integer>13</integer>
1134//CHECK:             <key>file</key><integer>0</integer>
1135//CHECK:            </dict>
1136//CHECK:            <dict>
1137//CHECK:             <key>line</key><integer>35</integer>
1138//CHECK:             <key>col</key><integer>23</integer>
1139//CHECK:             <key>file</key><integer>0</integer>
1140//CHECK:            </dict>
1141//CHECK:           </array>
1142//CHECK:          <key>end</key>
1143//CHECK:           <array>
1144//CHECK:            <dict>
1145//CHECK:             <key>line</key><integer>37</integer>
1146//CHECK:             <key>col</key><integer>3</integer>
1147//CHECK:             <key>file</key><integer>0</integer>
1148//CHECK:            </dict>
1149//CHECK:            <dict>
1150//CHECK:             <key>line</key><integer>37</integer>
1151//CHECK:             <key>col</key><integer>3</integer>
1152//CHECK:             <key>file</key><integer>0</integer>
1153//CHECK:            </dict>
1154//CHECK:           </array>
1155//CHECK:         </dict>
1156//CHECK:        </array>
1157//CHECK:      </dict>
1158//CHECK:      <dict>
1159//CHECK:       <key>kind</key><string>control</string>
1160//CHECK:       <key>edges</key>
1161//CHECK:        <array>
1162//CHECK:         <dict>
1163//CHECK:          <key>start</key>
1164//CHECK:           <array>
1165//CHECK:            <dict>
1166//CHECK:             <key>line</key><integer>37</integer>
1167//CHECK:             <key>col</key><integer>3</integer>
1168//CHECK:             <key>file</key><integer>0</integer>
1169//CHECK:            </dict>
1170//CHECK:            <dict>
1171//CHECK:             <key>line</key><integer>37</integer>
1172//CHECK:             <key>col</key><integer>3</integer>
1173//CHECK:             <key>file</key><integer>0</integer>
1174//CHECK:            </dict>
1175//CHECK:           </array>
1176//CHECK:          <key>end</key>
1177//CHECK:           <array>
1178//CHECK:            <dict>
1179//CHECK:             <key>line</key><integer>37</integer>
1180//CHECK:             <key>col</key><integer>7</integer>
1181//CHECK:             <key>file</key><integer>0</integer>
1182//CHECK:            </dict>
1183//CHECK:            <dict>
1184//CHECK:             <key>line</key><integer>37</integer>
1185//CHECK:             <key>col</key><integer>7</integer>
1186//CHECK:             <key>file</key><integer>0</integer>
1187//CHECK:            </dict>
1188//CHECK:           </array>
1189//CHECK:         </dict>
1190//CHECK:        </array>
1191//CHECK:      </dict>
1192//CHECK:      <dict>
1193//CHECK:       <key>kind</key><string>event</string>
1194//CHECK:       <key>location</key>
1195//CHECK:       <dict>
1196//CHECK:        <key>line</key><integer>37</integer>
1197//CHECK:        <key>col</key><integer>7</integer>
1198//CHECK:        <key>file</key><integer>0</integer>
1199//CHECK:       </dict>
1200//CHECK:       <key>ranges</key>
1201//CHECK:       <array>
1202//CHECK:         <array>
1203//CHECK:          <dict>
1204//CHECK:           <key>line</key><integer>37</integer>
1205//CHECK:           <key>col</key><integer>7</integer>
1206//CHECK:           <key>file</key><integer>0</integer>
1207//CHECK:          </dict>
1208//CHECK:          <dict>
1209//CHECK:           <key>line</key><integer>37</integer>
1210//CHECK:           <key>col</key><integer>7</integer>
1211//CHECK:           <key>file</key><integer>0</integer>
1212//CHECK:          </dict>
1213//CHECK:         </array>
1214//CHECK:       </array>
1215//CHECK:       <key>depth</key><integer>1</integer>
1216//CHECK:       <key>extended_message</key>
1217//CHECK:       <string>Assuming &apos;x&apos; is non-null</string>
1218//CHECK:       <key>message</key>
1219//CHECK:  <string>Assuming &apos;x&apos; is non-null</string>
1220//CHECK:      </dict>
1221//CHECK:      <dict>
1222//CHECK:       <key>kind</key><string>control</string>
1223//CHECK:       <key>edges</key>
1224//CHECK:        <array>
1225//CHECK:         <dict>
1226//CHECK:          <key>start</key>
1227//CHECK:           <array>
1228//CHECK:            <dict>
1229//CHECK:             <key>line</key><integer>37</integer>
1230//CHECK:             <key>col</key><integer>7</integer>
1231//CHECK:             <key>file</key><integer>0</integer>
1232//CHECK:            </dict>
1233//CHECK:            <dict>
1234//CHECK:             <key>line</key><integer>37</integer>
1235//CHECK:             <key>col</key><integer>7</integer>
1236//CHECK:             <key>file</key><integer>0</integer>
1237//CHECK:            </dict>
1238//CHECK:           </array>
1239//CHECK:          <key>end</key>
1240//CHECK:           <array>
1241//CHECK:            <dict>
1242//CHECK:             <key>line</key><integer>38</integer>
1243//CHECK:             <key>col</key><integer>5</integer>
1244//CHECK:             <key>file</key><integer>0</integer>
1245//CHECK:            </dict>
1246//CHECK:            <dict>
1247//CHECK:             <key>line</key><integer>38</integer>
1248//CHECK:             <key>col</key><integer>5</integer>
1249//CHECK:             <key>file</key><integer>0</integer>
1250//CHECK:            </dict>
1251//CHECK:           </array>
1252//CHECK:         </dict>
1253//CHECK:        </array>
1254//CHECK:      </dict>
1255//CHECK:      <dict>
1256//CHECK:       <key>kind</key><string>event</string>
1257//CHECK:       <key>location</key>
1258//CHECK:       <dict>
1259//CHECK:        <key>line</key><integer>43</integer>
1260//CHECK:        <key>col</key><integer>15</integer>
1261//CHECK:        <key>file</key><integer>0</integer>
1262//CHECK:       </dict>
1263//CHECK:       <key>ranges</key>
1264//CHECK:       <array>
1265//CHECK:         <array>
1266//CHECK:          <dict>
1267//CHECK:           <key>line</key><integer>43</integer>
1268//CHECK:           <key>col</key><integer>15</integer>
1269//CHECK:           <key>file</key><integer>0</integer>
1270//CHECK:          </dict>
1271//CHECK:          <dict>
1272//CHECK:           <key>line</key><integer>43</integer>
1273//CHECK:           <key>col</key><integer>23</integer>
1274//CHECK:           <key>file</key><integer>0</integer>
1275//CHECK:          </dict>
1276//CHECK:         </array>
1277//CHECK:       </array>
1278//CHECK:       <key>depth</key><integer>1</integer>
1279//CHECK:       <key>extended_message</key>
1280//CHECK:       <string>Returned allocated memory</string>
1281//CHECK:       <key>message</key>
1282//CHECK:  <string>Returned allocated memory</string>
1283//CHECK:      </dict>
1284//CHECK:      <dict>
1285//CHECK:       <key>kind</key><string>control</string>
1286//CHECK:       <key>edges</key>
1287//CHECK:        <array>
1288//CHECK:         <dict>
1289//CHECK:          <key>start</key>
1290//CHECK:           <array>
1291//CHECK:            <dict>
1292//CHECK:             <key>line</key><integer>43</integer>
1293//CHECK:             <key>col</key><integer>15</integer>
1294//CHECK:             <key>file</key><integer>0</integer>
1295//CHECK:            </dict>
1296//CHECK:            <dict>
1297//CHECK:             <key>line</key><integer>43</integer>
1298//CHECK:             <key>col</key><integer>23</integer>
1299//CHECK:             <key>file</key><integer>0</integer>
1300//CHECK:            </dict>
1301//CHECK:           </array>
1302//CHECK:          <key>end</key>
1303//CHECK:           <array>
1304//CHECK:            <dict>
1305//CHECK:             <key>line</key><integer>45</integer>
1306//CHECK:             <key>col</key><integer>1</integer>
1307//CHECK:             <key>file</key><integer>0</integer>
1308//CHECK:            </dict>
1309//CHECK:            <dict>
1310//CHECK:             <key>line</key><integer>45</integer>
1311//CHECK:             <key>col</key><integer>1</integer>
1312//CHECK:             <key>file</key><integer>0</integer>
1313//CHECK:            </dict>
1314//CHECK:           </array>
1315//CHECK:         </dict>
1316//CHECK:        </array>
1317//CHECK:      </dict>
1318//CHECK:      <dict>
1319//CHECK:       <key>kind</key><string>event</string>
1320//CHECK:       <key>location</key>
1321//CHECK:       <dict>
1322//CHECK:        <key>line</key><integer>45</integer>
1323//CHECK:        <key>col</key><integer>1</integer>
1324//CHECK:        <key>file</key><integer>0</integer>
1325//CHECK:       </dict>
1326//CHECK:       <key>depth</key><integer>0</integer>
1327//CHECK:       <key>extended_message</key>
1328//CHECK:       <string>Memory is never released; potential leak of memory pointed to by &apos;buf&apos;</string>
1329//CHECK:       <key>message</key>
1330//CHECK:  <string>Memory is never released; potential leak of memory pointed to by &apos;buf&apos;</string>
1331//CHECK:      </dict>
1332//CHECK:     </array>
1333//CHECK:     <key>description</key><string>Memory is never released; potential leak of memory pointed to by &apos;buf&apos;</string>
1334//CHECK:     <key>category</key><string>Memory Error</string>
1335//CHECK:     <key>type</key><string>Memory leak</string>
1336//CHECK:    <key>issue_context_kind</key><string>function</string>
1337//CHECK:    <key>issue_context</key><string>test_wrapper</string>
1338//CHECK:    <key>location</key>
1339//CHECK:    <dict>
1340//CHECK:     <key>line</key><integer>45</integer>
1341//CHECK:     <key>col</key><integer>1</integer>
1342//CHECK:     <key>file</key><integer>0</integer>
1343//CHECK:    </dict>
1344//CHECK:    </dict>
1345//CHECK:    <dict>
1346//CHECK:     <key>path</key>
1347//CHECK:     <array>
1348//CHECK:      <dict>
1349//CHECK:       <key>kind</key><string>control</string>
1350//CHECK:       <key>edges</key>
1351//CHECK:        <array>
1352//CHECK:         <dict>
1353//CHECK:          <key>start</key>
1354//CHECK:           <array>
1355//CHECK:            <dict>
1356//CHECK:             <key>line</key><integer>59</integer>
1357//CHECK:             <key>col</key><integer>5</integer>
1358//CHECK:             <key>file</key><integer>0</integer>
1359//CHECK:            </dict>
1360//CHECK:            <dict>
1361//CHECK:             <key>line</key><integer>59</integer>
1362//CHECK:             <key>col</key><integer>5</integer>
1363//CHECK:             <key>file</key><integer>0</integer>
1364//CHECK:            </dict>
1365//CHECK:           </array>
1366//CHECK:          <key>end</key>
1367//CHECK:           <array>
1368//CHECK:            <dict>
1369//CHECK:             <key>line</key><integer>60</integer>
1370//CHECK:             <key>col</key><integer>5</integer>
1371//CHECK:             <key>file</key><integer>0</integer>
1372//CHECK:            </dict>
1373//CHECK:            <dict>
1374//CHECK:             <key>line</key><integer>60</integer>
1375//CHECK:             <key>col</key><integer>5</integer>
1376//CHECK:             <key>file</key><integer>0</integer>
1377//CHECK:            </dict>
1378//CHECK:           </array>
1379//CHECK:         </dict>
1380//CHECK:        </array>
1381//CHECK:      </dict>
1382//CHECK:      <dict>
1383//CHECK:       <key>kind</key><string>event</string>
1384//CHECK:       <key>location</key>
1385//CHECK:       <dict>
1386//CHECK:        <key>line</key><integer>60</integer>
1387//CHECK:        <key>col</key><integer>5</integer>
1388//CHECK:        <key>file</key><integer>0</integer>
1389//CHECK:       </dict>
1390//CHECK:       <key>ranges</key>
1391//CHECK:       <array>
1392//CHECK:         <array>
1393//CHECK:          <dict>
1394//CHECK:           <key>line</key><integer>60</integer>
1395//CHECK:           <key>col</key><integer>5</integer>
1396//CHECK:           <key>file</key><integer>0</integer>
1397//CHECK:          </dict>
1398//CHECK:          <dict>
1399//CHECK:           <key>line</key><integer>60</integer>
1400//CHECK:           <key>col</key><integer>28</integer>
1401//CHECK:           <key>file</key><integer>0</integer>
1402//CHECK:          </dict>
1403//CHECK:         </array>
1404//CHECK:       </array>
1405//CHECK:       <key>depth</key><integer>0</integer>
1406//CHECK:       <key>extended_message</key>
1407//CHECK:       <string>Calling &apos;my_malloc_and_free&apos;</string>
1408//CHECK:       <key>message</key>
1409//CHECK:  <string>Calling &apos;my_malloc_and_free&apos;</string>
1410//CHECK:      </dict>
1411//CHECK:      <dict>
1412//CHECK:       <key>kind</key><string>event</string>
1413//CHECK:       <key>location</key>
1414//CHECK:       <dict>
1415//CHECK:        <key>line</key><integer>52</integer>
1416//CHECK:        <key>col</key><integer>1</integer>
1417//CHECK:        <key>file</key><integer>0</integer>
1418//CHECK:       </dict>
1419//CHECK:       <key>depth</key><integer>1</integer>
1420//CHECK:       <key>extended_message</key>
1421//CHECK:       <string>Entered call from &apos;test_double_action_call&apos;</string>
1422//CHECK:       <key>message</key>
1423//CHECK:  <string>Entered call from &apos;test_double_action_call&apos;</string>
1424//CHECK:      </dict>
1425//CHECK:      <dict>
1426//CHECK:       <key>kind</key><string>control</string>
1427//CHECK:       <key>edges</key>
1428//CHECK:        <array>
1429//CHECK:         <dict>
1430//CHECK:          <key>start</key>
1431//CHECK:           <array>
1432//CHECK:            <dict>
1433//CHECK:             <key>line</key><integer>52</integer>
1434//CHECK:             <key>col</key><integer>1</integer>
1435//CHECK:             <key>file</key><integer>0</integer>
1436//CHECK:            </dict>
1437//CHECK:            <dict>
1438//CHECK:             <key>line</key><integer>52</integer>
1439//CHECK:             <key>col</key><integer>1</integer>
1440//CHECK:             <key>file</key><integer>0</integer>
1441//CHECK:            </dict>
1442//CHECK:           </array>
1443//CHECK:          <key>end</key>
1444//CHECK:           <array>
1445//CHECK:            <dict>
1446//CHECK:             <key>line</key><integer>53</integer>
1447//CHECK:             <key>col</key><integer>5</integer>
1448//CHECK:             <key>file</key><integer>0</integer>
1449//CHECK:            </dict>
1450//CHECK:            <dict>
1451//CHECK:             <key>line</key><integer>53</integer>
1452//CHECK:             <key>col</key><integer>5</integer>
1453//CHECK:             <key>file</key><integer>0</integer>
1454//CHECK:            </dict>
1455//CHECK:           </array>
1456//CHECK:         </dict>
1457//CHECK:        </array>
1458//CHECK:      </dict>
1459//CHECK:      <dict>
1460//CHECK:       <key>kind</key><string>control</string>
1461//CHECK:       <key>edges</key>
1462//CHECK:        <array>
1463//CHECK:         <dict>
1464//CHECK:          <key>start</key>
1465//CHECK:           <array>
1466//CHECK:            <dict>
1467//CHECK:             <key>line</key><integer>53</integer>
1468//CHECK:             <key>col</key><integer>5</integer>
1469//CHECK:             <key>file</key><integer>0</integer>
1470//CHECK:            </dict>
1471//CHECK:            <dict>
1472//CHECK:             <key>line</key><integer>53</integer>
1473//CHECK:             <key>col</key><integer>5</integer>
1474//CHECK:             <key>file</key><integer>0</integer>
1475//CHECK:            </dict>
1476//CHECK:           </array>
1477//CHECK:          <key>end</key>
1478//CHECK:           <array>
1479//CHECK:            <dict>
1480//CHECK:             <key>line</key><integer>53</integer>
1481//CHECK:             <key>col</key><integer>10</integer>
1482//CHECK:             <key>file</key><integer>0</integer>
1483//CHECK:            </dict>
1484//CHECK:            <dict>
1485//CHECK:             <key>line</key><integer>53</integer>
1486//CHECK:             <key>col</key><integer>20</integer>
1487//CHECK:             <key>file</key><integer>0</integer>
1488//CHECK:            </dict>
1489//CHECK:           </array>
1490//CHECK:         </dict>
1491//CHECK:        </array>
1492//CHECK:      </dict>
1493//CHECK:      <dict>
1494//CHECK:       <key>kind</key><string>event</string>
1495//CHECK:       <key>location</key>
1496//CHECK:       <dict>
1497//CHECK:        <key>line</key><integer>53</integer>
1498//CHECK:        <key>col</key><integer>10</integer>
1499//CHECK:        <key>file</key><integer>0</integer>
1500//CHECK:       </dict>
1501//CHECK:       <key>ranges</key>
1502//CHECK:       <array>
1503//CHECK:         <array>
1504//CHECK:          <dict>
1505//CHECK:           <key>line</key><integer>53</integer>
1506//CHECK:           <key>col</key><integer>10</integer>
1507//CHECK:           <key>file</key><integer>0</integer>
1508//CHECK:          </dict>
1509//CHECK:          <dict>
1510//CHECK:           <key>line</key><integer>53</integer>
1511//CHECK:           <key>col</key><integer>20</integer>
1512//CHECK:           <key>file</key><integer>0</integer>
1513//CHECK:          </dict>
1514//CHECK:         </array>
1515//CHECK:       </array>
1516//CHECK:       <key>depth</key><integer>1</integer>
1517//CHECK:       <key>extended_message</key>
1518//CHECK:       <string>Memory is allocated</string>
1519//CHECK:       <key>message</key>
1520//CHECK:  <string>Memory is allocated</string>
1521//CHECK:      </dict>
1522//CHECK:      <dict>
1523//CHECK:       <key>kind</key><string>control</string>
1524//CHECK:       <key>edges</key>
1525//CHECK:        <array>
1526//CHECK:         <dict>
1527//CHECK:          <key>start</key>
1528//CHECK:           <array>
1529//CHECK:            <dict>
1530//CHECK:             <key>line</key><integer>53</integer>
1531//CHECK:             <key>col</key><integer>10</integer>
1532//CHECK:             <key>file</key><integer>0</integer>
1533//CHECK:            </dict>
1534//CHECK:            <dict>
1535//CHECK:             <key>line</key><integer>53</integer>
1536//CHECK:             <key>col</key><integer>20</integer>
1537//CHECK:             <key>file</key><integer>0</integer>
1538//CHECK:            </dict>
1539//CHECK:           </array>
1540//CHECK:          <key>end</key>
1541//CHECK:           <array>
1542//CHECK:            <dict>
1543//CHECK:             <key>line</key><integer>54</integer>
1544//CHECK:             <key>col</key><integer>5</integer>
1545//CHECK:             <key>file</key><integer>0</integer>
1546//CHECK:            </dict>
1547//CHECK:            <dict>
1548//CHECK:             <key>line</key><integer>54</integer>
1549//CHECK:             <key>col</key><integer>5</integer>
1550//CHECK:             <key>file</key><integer>0</integer>
1551//CHECK:            </dict>
1552//CHECK:           </array>
1553//CHECK:         </dict>
1554//CHECK:        </array>
1555//CHECK:      </dict>
1556//CHECK:      <dict>
1557//CHECK:       <key>kind</key><string>control</string>
1558//CHECK:       <key>edges</key>
1559//CHECK:        <array>
1560//CHECK:         <dict>
1561//CHECK:          <key>start</key>
1562//CHECK:           <array>
1563//CHECK:            <dict>
1564//CHECK:             <key>line</key><integer>54</integer>
1565//CHECK:             <key>col</key><integer>5</integer>
1566//CHECK:             <key>file</key><integer>0</integer>
1567//CHECK:            </dict>
1568//CHECK:            <dict>
1569//CHECK:             <key>line</key><integer>54</integer>
1570//CHECK:             <key>col</key><integer>5</integer>
1571//CHECK:             <key>file</key><integer>0</integer>
1572//CHECK:            </dict>
1573//CHECK:           </array>
1574//CHECK:          <key>end</key>
1575//CHECK:           <array>
1576//CHECK:            <dict>
1577//CHECK:             <key>line</key><integer>55</integer>
1578//CHECK:             <key>col</key><integer>7</integer>
1579//CHECK:             <key>file</key><integer>0</integer>
1580//CHECK:            </dict>
1581//CHECK:            <dict>
1582//CHECK:             <key>line</key><integer>55</integer>
1583//CHECK:             <key>col</key><integer>7</integer>
1584//CHECK:             <key>file</key><integer>0</integer>
1585//CHECK:            </dict>
1586//CHECK:           </array>
1587//CHECK:         </dict>
1588//CHECK:        </array>
1589//CHECK:      </dict>
1590//CHECK:      <dict>
1591//CHECK:       <key>kind</key><string>event</string>
1592//CHECK:       <key>location</key>
1593//CHECK:       <dict>
1594//CHECK:        <key>line</key><integer>55</integer>
1595//CHECK:        <key>col</key><integer>7</integer>
1596//CHECK:        <key>file</key><integer>0</integer>
1597//CHECK:       </dict>
1598//CHECK:       <key>ranges</key>
1599//CHECK:       <array>
1600//CHECK:         <array>
1601//CHECK:          <dict>
1602//CHECK:           <key>line</key><integer>55</integer>
1603//CHECK:           <key>col</key><integer>7</integer>
1604//CHECK:           <key>file</key><integer>0</integer>
1605//CHECK:          </dict>
1606//CHECK:          <dict>
1607//CHECK:           <key>line</key><integer>55</integer>
1608//CHECK:           <key>col</key><integer>17</integer>
1609//CHECK:           <key>file</key><integer>0</integer>
1610//CHECK:          </dict>
1611//CHECK:         </array>
1612//CHECK:       </array>
1613//CHECK:       <key>depth</key><integer>1</integer>
1614//CHECK:       <key>extended_message</key>
1615//CHECK:       <string>Calling &apos;my_free&apos;</string>
1616//CHECK:       <key>message</key>
1617//CHECK:  <string>Calling &apos;my_free&apos;</string>
1618//CHECK:      </dict>
1619//CHECK:      <dict>
1620//CHECK:       <key>kind</key><string>event</string>
1621//CHECK:       <key>location</key>
1622//CHECK:       <dict>
1623//CHECK:        <key>line</key><integer>49</integer>
1624//CHECK:        <key>col</key><integer>1</integer>
1625//CHECK:        <key>file</key><integer>0</integer>
1626//CHECK:       </dict>
1627//CHECK:       <key>depth</key><integer>2</integer>
1628//CHECK:       <key>extended_message</key>
1629//CHECK:       <string>Entered call from &apos;my_malloc_and_free&apos;</string>
1630//CHECK:       <key>message</key>
1631//CHECK:  <string>Entered call from &apos;my_malloc_and_free&apos;</string>
1632//CHECK:      </dict>
1633//CHECK:      <dict>
1634//CHECK:       <key>kind</key><string>control</string>
1635//CHECK:       <key>edges</key>
1636//CHECK:        <array>
1637//CHECK:         <dict>
1638//CHECK:          <key>start</key>
1639//CHECK:           <array>
1640//CHECK:            <dict>
1641//CHECK:             <key>line</key><integer>49</integer>
1642//CHECK:             <key>col</key><integer>1</integer>
1643//CHECK:             <key>file</key><integer>0</integer>
1644//CHECK:            </dict>
1645//CHECK:            <dict>
1646//CHECK:             <key>line</key><integer>49</integer>
1647//CHECK:             <key>col</key><integer>1</integer>
1648//CHECK:             <key>file</key><integer>0</integer>
1649//CHECK:            </dict>
1650//CHECK:           </array>
1651//CHECK:          <key>end</key>
1652//CHECK:           <array>
1653//CHECK:            <dict>
1654//CHECK:             <key>line</key><integer>50</integer>
1655//CHECK:             <key>col</key><integer>5</integer>
1656//CHECK:             <key>file</key><integer>0</integer>
1657//CHECK:            </dict>
1658//CHECK:            <dict>
1659//CHECK:             <key>line</key><integer>50</integer>
1660//CHECK:             <key>col</key><integer>11</integer>
1661//CHECK:             <key>file</key><integer>0</integer>
1662//CHECK:            </dict>
1663//CHECK:           </array>
1664//CHECK:         </dict>
1665//CHECK:        </array>
1666//CHECK:      </dict>
1667//CHECK:      <dict>
1668//CHECK:       <key>kind</key><string>event</string>
1669//CHECK:       <key>location</key>
1670//CHECK:       <dict>
1671//CHECK:        <key>line</key><integer>50</integer>
1672//CHECK:        <key>col</key><integer>5</integer>
1673//CHECK:        <key>file</key><integer>0</integer>
1674//CHECK:       </dict>
1675//CHECK:       <key>ranges</key>
1676//CHECK:       <array>
1677//CHECK:         <array>
1678//CHECK:          <dict>
1679//CHECK:           <key>line</key><integer>50</integer>
1680//CHECK:           <key>col</key><integer>5</integer>
1681//CHECK:           <key>file</key><integer>0</integer>
1682//CHECK:          </dict>
1683//CHECK:          <dict>
1684//CHECK:           <key>line</key><integer>50</integer>
1685//CHECK:           <key>col</key><integer>11</integer>
1686//CHECK:           <key>file</key><integer>0</integer>
1687//CHECK:          </dict>
1688//CHECK:         </array>
1689//CHECK:       </array>
1690//CHECK:       <key>depth</key><integer>2</integer>
1691//CHECK:       <key>extended_message</key>
1692//CHECK:       <string>Memory is released</string>
1693//CHECK:       <key>message</key>
1694//CHECK:  <string>Memory is released</string>
1695//CHECK:      </dict>
1696//CHECK:      <dict>
1697//CHECK:       <key>kind</key><string>event</string>
1698//CHECK:       <key>location</key>
1699//CHECK:       <dict>
1700//CHECK:        <key>line</key><integer>55</integer>
1701//CHECK:        <key>col</key><integer>7</integer>
1702//CHECK:        <key>file</key><integer>0</integer>
1703//CHECK:       </dict>
1704//CHECK:       <key>ranges</key>
1705//CHECK:       <array>
1706//CHECK:         <array>
1707//CHECK:          <dict>
1708//CHECK:           <key>line</key><integer>55</integer>
1709//CHECK:           <key>col</key><integer>7</integer>
1710//CHECK:           <key>file</key><integer>0</integer>
1711//CHECK:          </dict>
1712//CHECK:          <dict>
1713//CHECK:           <key>line</key><integer>55</integer>
1714//CHECK:           <key>col</key><integer>17</integer>
1715//CHECK:           <key>file</key><integer>0</integer>
1716//CHECK:          </dict>
1717//CHECK:         </array>
1718//CHECK:       </array>
1719//CHECK:       <key>depth</key><integer>2</integer>
1720//CHECK:       <key>extended_message</key>
1721//CHECK:       <string>Returned released memory via 1st parameter</string>
1722//CHECK:       <key>message</key>
1723//CHECK:  <string>Returned released memory via 1st parameter</string>
1724//CHECK:      </dict>
1725//CHECK:      <dict>
1726//CHECK:       <key>kind</key><string>control</string>
1727//CHECK:       <key>edges</key>
1728//CHECK:        <array>
1729//CHECK:         <dict>
1730//CHECK:          <key>start</key>
1731//CHECK:           <array>
1732//CHECK:            <dict>
1733//CHECK:             <key>line</key><integer>55</integer>
1734//CHECK:             <key>col</key><integer>7</integer>
1735//CHECK:             <key>file</key><integer>0</integer>
1736//CHECK:            </dict>
1737//CHECK:            <dict>
1738//CHECK:             <key>line</key><integer>55</integer>
1739//CHECK:             <key>col</key><integer>17</integer>
1740//CHECK:             <key>file</key><integer>0</integer>
1741//CHECK:            </dict>
1742//CHECK:           </array>
1743//CHECK:          <key>end</key>
1744//CHECK:           <array>
1745//CHECK:            <dict>
1746//CHECK:             <key>line</key><integer>56</integer>
1747//CHECK:             <key>col</key><integer>5</integer>
1748//CHECK:             <key>file</key><integer>0</integer>
1749//CHECK:            </dict>
1750//CHECK:            <dict>
1751//CHECK:             <key>line</key><integer>56</integer>
1752//CHECK:             <key>col</key><integer>5</integer>
1753//CHECK:             <key>file</key><integer>0</integer>
1754//CHECK:            </dict>
1755//CHECK:           </array>
1756//CHECK:         </dict>
1757//CHECK:        </array>
1758//CHECK:      </dict>
1759//CHECK:      <dict>
1760//CHECK:       <key>kind</key><string>event</string>
1761//CHECK:       <key>location</key>
1762//CHECK:       <dict>
1763//CHECK:        <key>line</key><integer>60</integer>
1764//CHECK:        <key>col</key><integer>5</integer>
1765//CHECK:        <key>file</key><integer>0</integer>
1766//CHECK:       </dict>
1767//CHECK:       <key>ranges</key>
1768//CHECK:       <array>
1769//CHECK:         <array>
1770//CHECK:          <dict>
1771//CHECK:           <key>line</key><integer>60</integer>
1772//CHECK:           <key>col</key><integer>5</integer>
1773//CHECK:           <key>file</key><integer>0</integer>
1774//CHECK:          </dict>
1775//CHECK:          <dict>
1776//CHECK:           <key>line</key><integer>60</integer>
1777//CHECK:           <key>col</key><integer>28</integer>
1778//CHECK:           <key>file</key><integer>0</integer>
1779//CHECK:          </dict>
1780//CHECK:         </array>
1781//CHECK:       </array>
1782//CHECK:       <key>depth</key><integer>1</integer>
1783//CHECK:       <key>extended_message</key>
1784//CHECK:       <string>Returned released memory via 1st parameter</string>
1785//CHECK:       <key>message</key>
1786//CHECK:  <string>Returned released memory via 1st parameter</string>
1787//CHECK:      </dict>
1788//CHECK:      <dict>
1789//CHECK:       <key>kind</key><string>control</string>
1790//CHECK:       <key>edges</key>
1791//CHECK:        <array>
1792//CHECK:         <dict>
1793//CHECK:          <key>start</key>
1794//CHECK:           <array>
1795//CHECK:            <dict>
1796//CHECK:             <key>line</key><integer>60</integer>
1797//CHECK:             <key>col</key><integer>5</integer>
1798//CHECK:             <key>file</key><integer>0</integer>
1799//CHECK:            </dict>
1800//CHECK:            <dict>
1801//CHECK:             <key>line</key><integer>60</integer>
1802//CHECK:             <key>col</key><integer>28</integer>
1803//CHECK:             <key>file</key><integer>0</integer>
1804//CHECK:            </dict>
1805//CHECK:           </array>
1806//CHECK:          <key>end</key>
1807//CHECK:           <array>
1808//CHECK:            <dict>
1809//CHECK:             <key>line</key><integer>61</integer>
1810//CHECK:             <key>col</key><integer>5</integer>
1811//CHECK:             <key>file</key><integer>0</integer>
1812//CHECK:            </dict>
1813//CHECK:            <dict>
1814//CHECK:             <key>line</key><integer>61</integer>
1815//CHECK:             <key>col</key><integer>14</integer>
1816//CHECK:             <key>file</key><integer>0</integer>
1817//CHECK:            </dict>
1818//CHECK:           </array>
1819//CHECK:         </dict>
1820//CHECK:        </array>
1821//CHECK:      </dict>
1822//CHECK:      <dict>
1823//CHECK:       <key>kind</key><string>event</string>
1824//CHECK:       <key>location</key>
1825//CHECK:       <dict>
1826//CHECK:        <key>line</key><integer>61</integer>
1827//CHECK:        <key>col</key><integer>5</integer>
1828//CHECK:        <key>file</key><integer>0</integer>
1829//CHECK:       </dict>
1830//CHECK:       <key>ranges</key>
1831//CHECK:       <array>
1832//CHECK:         <array>
1833//CHECK:          <dict>
1834//CHECK:           <key>line</key><integer>61</integer>
1835//CHECK:           <key>col</key><integer>12</integer>
1836//CHECK:           <key>file</key><integer>0</integer>
1837//CHECK:          </dict>
1838//CHECK:          <dict>
1839//CHECK:           <key>line</key><integer>61</integer>
1840//CHECK:           <key>col</key><integer>14</integer>
1841//CHECK:           <key>file</key><integer>0</integer>
1842//CHECK:          </dict>
1843//CHECK:         </array>
1844//CHECK:       </array>
1845//CHECK:       <key>depth</key><integer>0</integer>
1846//CHECK:       <key>extended_message</key>
1847//CHECK:       <string>Use of memory after it is freed</string>
1848//CHECK:       <key>message</key>
1849//CHECK:  <string>Use of memory after it is freed</string>
1850//CHECK:      </dict>
1851//CHECK:     </array>
1852//CHECK:     <key>description</key><string>Use of memory after it is freed</string>
1853//CHECK:     <key>category</key><string>Memory Error</string>
1854//CHECK:     <key>type</key><string>Use-after-free</string>
1855//CHECK:    <key>issue_context_kind</key><string>function</string>
1856//CHECK:    <key>issue_context</key><string>test_double_action_call</string>
1857//CHECK:    <key>location</key>
1858//CHECK:    <dict>
1859//CHECK:     <key>line</key><integer>61</integer>
1860//CHECK:     <key>col</key><integer>5</integer>
1861//CHECK:     <key>file</key><integer>0</integer>
1862//CHECK:    </dict>
1863//CHECK:    </dict>
1864//CHECK:    <dict>
1865//CHECK:     <key>path</key>
1866//CHECK:     <array>
1867//CHECK:      <dict>
1868//CHECK:       <key>kind</key><string>control</string>
1869//CHECK:       <key>edges</key>
1870//CHECK:        <array>
1871//CHECK:         <dict>
1872//CHECK:          <key>start</key>
1873//CHECK:           <array>
1874//CHECK:            <dict>
1875//CHECK:             <key>line</key><integer>74</integer>
1876//CHECK:             <key>col</key><integer>5</integer>
1877//CHECK:             <key>file</key><integer>0</integer>
1878//CHECK:            </dict>
1879//CHECK:            <dict>
1880//CHECK:             <key>line</key><integer>74</integer>
1881//CHECK:             <key>col</key><integer>5</integer>
1882//CHECK:             <key>file</key><integer>0</integer>
1883//CHECK:            </dict>
1884//CHECK:           </array>
1885//CHECK:          <key>end</key>
1886//CHECK:           <array>
1887//CHECK:            <dict>
1888//CHECK:             <key>line</key><integer>74</integer>
1889//CHECK:             <key>col</key><integer>25</integer>
1890//CHECK:             <key>file</key><integer>0</integer>
1891//CHECK:            </dict>
1892//CHECK:            <dict>
1893//CHECK:             <key>line</key><integer>74</integer>
1894//CHECK:             <key>col</key><integer>35</integer>
1895//CHECK:             <key>file</key><integer>0</integer>
1896//CHECK:            </dict>
1897//CHECK:           </array>
1898//CHECK:         </dict>
1899//CHECK:        </array>
1900//CHECK:      </dict>
1901//CHECK:      <dict>
1902//CHECK:       <key>kind</key><string>event</string>
1903//CHECK:       <key>location</key>
1904//CHECK:       <dict>
1905//CHECK:        <key>line</key><integer>74</integer>
1906//CHECK:        <key>col</key><integer>25</integer>
1907//CHECK:        <key>file</key><integer>0</integer>
1908//CHECK:       </dict>
1909//CHECK:       <key>ranges</key>
1910//CHECK:       <array>
1911//CHECK:         <array>
1912//CHECK:          <dict>
1913//CHECK:           <key>line</key><integer>74</integer>
1914//CHECK:           <key>col</key><integer>25</integer>
1915//CHECK:           <key>file</key><integer>0</integer>
1916//CHECK:          </dict>
1917//CHECK:          <dict>
1918//CHECK:           <key>line</key><integer>74</integer>
1919//CHECK:           <key>col</key><integer>35</integer>
1920//CHECK:           <key>file</key><integer>0</integer>
1921//CHECK:          </dict>
1922//CHECK:         </array>
1923//CHECK:       </array>
1924//CHECK:       <key>depth</key><integer>0</integer>
1925//CHECK:       <key>extended_message</key>
1926//CHECK:       <string>Memory is allocated</string>
1927//CHECK:       <key>message</key>
1928//CHECK:  <string>Memory is allocated</string>
1929//CHECK:      </dict>
1930//CHECK:      <dict>
1931//CHECK:       <key>kind</key><string>control</string>
1932//CHECK:       <key>edges</key>
1933//CHECK:        <array>
1934//CHECK:         <dict>
1935//CHECK:          <key>start</key>
1936//CHECK:           <array>
1937//CHECK:            <dict>
1938//CHECK:             <key>line</key><integer>74</integer>
1939//CHECK:             <key>col</key><integer>25</integer>
1940//CHECK:             <key>file</key><integer>0</integer>
1941//CHECK:            </dict>
1942//CHECK:            <dict>
1943//CHECK:             <key>line</key><integer>74</integer>
1944//CHECK:             <key>col</key><integer>35</integer>
1945//CHECK:             <key>file</key><integer>0</integer>
1946//CHECK:            </dict>
1947//CHECK:           </array>
1948//CHECK:          <key>end</key>
1949//CHECK:           <array>
1950//CHECK:            <dict>
1951//CHECK:             <key>line</key><integer>75</integer>
1952//CHECK:             <key>col</key><integer>11</integer>
1953//CHECK:             <key>file</key><integer>0</integer>
1954//CHECK:            </dict>
1955//CHECK:            <dict>
1956//CHECK:             <key>line</key><integer>75</integer>
1957//CHECK:             <key>col</key><integer>11</integer>
1958//CHECK:             <key>file</key><integer>0</integer>
1959//CHECK:            </dict>
1960//CHECK:           </array>
1961//CHECK:         </dict>
1962//CHECK:        </array>
1963//CHECK:      </dict>
1964//CHECK:      <dict>
1965//CHECK:       <key>kind</key><string>event</string>
1966//CHECK:       <key>location</key>
1967//CHECK:       <dict>
1968//CHECK:        <key>line</key><integer>75</integer>
1969//CHECK:        <key>col</key><integer>11</integer>
1970//CHECK:        <key>file</key><integer>0</integer>
1971//CHECK:       </dict>
1972//CHECK:       <key>ranges</key>
1973//CHECK:       <array>
1974//CHECK:         <array>
1975//CHECK:          <dict>
1976//CHECK:           <key>line</key><integer>75</integer>
1977//CHECK:           <key>col</key><integer>11</integer>
1978//CHECK:           <key>file</key><integer>0</integer>
1979//CHECK:          </dict>
1980//CHECK:          <dict>
1981//CHECK:           <key>line</key><integer>75</integer>
1982//CHECK:           <key>col</key><integer>25</integer>
1983//CHECK:           <key>file</key><integer>0</integer>
1984//CHECK:          </dict>
1985//CHECK:         </array>
1986//CHECK:       </array>
1987//CHECK:       <key>depth</key><integer>0</integer>
1988//CHECK:       <key>extended_message</key>
1989//CHECK:       <string>Calling &apos;my_realloc&apos;</string>
1990//CHECK:       <key>message</key>
1991//CHECK:  <string>Calling &apos;my_realloc&apos;</string>
1992//CHECK:      </dict>
1993//CHECK:      <dict>
1994//CHECK:       <key>kind</key><string>event</string>
1995//CHECK:       <key>location</key>
1996//CHECK:       <dict>
1997//CHECK:        <key>line</key><integer>65</integer>
1998//CHECK:        <key>col</key><integer>1</integer>
1999//CHECK:        <key>file</key><integer>0</integer>
2000//CHECK:       </dict>
2001//CHECK:       <key>depth</key><integer>1</integer>
2002//CHECK:       <key>extended_message</key>
2003//CHECK:       <string>Entered call from &apos;reallocIntra&apos;</string>
2004//CHECK:       <key>message</key>
2005//CHECK:  <string>Entered call from &apos;reallocIntra&apos;</string>
2006//CHECK:      </dict>
2007//CHECK:      <dict>
2008//CHECK:       <key>kind</key><string>control</string>
2009//CHECK:       <key>edges</key>
2010//CHECK:        <array>
2011//CHECK:         <dict>
2012//CHECK:          <key>start</key>
2013//CHECK:           <array>
2014//CHECK:            <dict>
2015//CHECK:             <key>line</key><integer>65</integer>
2016//CHECK:             <key>col</key><integer>1</integer>
2017//CHECK:             <key>file</key><integer>0</integer>
2018//CHECK:            </dict>
2019//CHECK:            <dict>
2020//CHECK:             <key>line</key><integer>65</integer>
2021//CHECK:             <key>col</key><integer>1</integer>
2022//CHECK:             <key>file</key><integer>0</integer>
2023//CHECK:            </dict>
2024//CHECK:           </array>
2025//CHECK:          <key>end</key>
2026//CHECK:           <array>
2027//CHECK:            <dict>
2028//CHECK:             <key>line</key><integer>66</integer>
2029//CHECK:             <key>col</key><integer>5</integer>
2030//CHECK:             <key>file</key><integer>0</integer>
2031//CHECK:            </dict>
2032//CHECK:            <dict>
2033//CHECK:             <key>line</key><integer>66</integer>
2034//CHECK:             <key>col</key><integer>5</integer>
2035//CHECK:             <key>file</key><integer>0</integer>
2036//CHECK:            </dict>
2037//CHECK:           </array>
2038//CHECK:         </dict>
2039//CHECK:        </array>
2040//CHECK:      </dict>
2041//CHECK:      <dict>
2042//CHECK:       <key>kind</key><string>control</string>
2043//CHECK:       <key>edges</key>
2044//CHECK:        <array>
2045//CHECK:         <dict>
2046//CHECK:          <key>start</key>
2047//CHECK:           <array>
2048//CHECK:            <dict>
2049//CHECK:             <key>line</key><integer>66</integer>
2050//CHECK:             <key>col</key><integer>5</integer>
2051//CHECK:             <key>file</key><integer>0</integer>
2052//CHECK:            </dict>
2053//CHECK:            <dict>
2054//CHECK:             <key>line</key><integer>66</integer>
2055//CHECK:             <key>col</key><integer>5</integer>
2056//CHECK:             <key>file</key><integer>0</integer>
2057//CHECK:            </dict>
2058//CHECK:           </array>
2059//CHECK:          <key>end</key>
2060//CHECK:           <array>
2061//CHECK:            <dict>
2062//CHECK:             <key>line</key><integer>67</integer>
2063//CHECK:             <key>col</key><integer>5</integer>
2064//CHECK:             <key>file</key><integer>0</integer>
2065//CHECK:            </dict>
2066//CHECK:            <dict>
2067//CHECK:             <key>line</key><integer>67</integer>
2068//CHECK:             <key>col</key><integer>5</integer>
2069//CHECK:             <key>file</key><integer>0</integer>
2070//CHECK:            </dict>
2071//CHECK:           </array>
2072//CHECK:         </dict>
2073//CHECK:        </array>
2074//CHECK:      </dict>
2075//CHECK:      <dict>
2076//CHECK:       <key>kind</key><string>control</string>
2077//CHECK:       <key>edges</key>
2078//CHECK:        <array>
2079//CHECK:         <dict>
2080//CHECK:          <key>start</key>
2081//CHECK:           <array>
2082//CHECK:            <dict>
2083//CHECK:             <key>line</key><integer>67</integer>
2084//CHECK:             <key>col</key><integer>5</integer>
2085//CHECK:             <key>file</key><integer>0</integer>
2086//CHECK:            </dict>
2087//CHECK:            <dict>
2088//CHECK:             <key>line</key><integer>67</integer>
2089//CHECK:             <key>col</key><integer>5</integer>
2090//CHECK:             <key>file</key><integer>0</integer>
2091//CHECK:            </dict>
2092//CHECK:           </array>
2093//CHECK:          <key>end</key>
2094//CHECK:           <array>
2095//CHECK:            <dict>
2096//CHECK:             <key>line</key><integer>67</integer>
2097//CHECK:             <key>col</key><integer>18</integer>
2098//CHECK:             <key>file</key><integer>0</integer>
2099//CHECK:            </dict>
2100//CHECK:            <dict>
2101//CHECK:             <key>line</key><integer>67</integer>
2102//CHECK:             <key>col</key><integer>40</integer>
2103//CHECK:             <key>file</key><integer>0</integer>
2104//CHECK:            </dict>
2105//CHECK:           </array>
2106//CHECK:         </dict>
2107//CHECK:        </array>
2108//CHECK:      </dict>
2109//CHECK:      <dict>
2110//CHECK:       <key>kind</key><string>event</string>
2111//CHECK:       <key>location</key>
2112//CHECK:       <dict>
2113//CHECK:        <key>line</key><integer>67</integer>
2114//CHECK:        <key>col</key><integer>18</integer>
2115//CHECK:        <key>file</key><integer>0</integer>
2116//CHECK:       </dict>
2117//CHECK:       <key>ranges</key>
2118//CHECK:       <array>
2119//CHECK:         <array>
2120//CHECK:          <dict>
2121//CHECK:           <key>line</key><integer>67</integer>
2122//CHECK:           <key>col</key><integer>18</integer>
2123//CHECK:           <key>file</key><integer>0</integer>
2124//CHECK:          </dict>
2125//CHECK:          <dict>
2126//CHECK:           <key>line</key><integer>67</integer>
2127//CHECK:           <key>col</key><integer>40</integer>
2128//CHECK:           <key>file</key><integer>0</integer>
2129//CHECK:          </dict>
2130//CHECK:         </array>
2131//CHECK:       </array>
2132//CHECK:       <key>depth</key><integer>1</integer>
2133//CHECK:       <key>extended_message</key>
2134//CHECK:       <string>Attempt to reallocate memory</string>
2135//CHECK:       <key>message</key>
2136//CHECK:  <string>Attempt to reallocate memory</string>
2137//CHECK:      </dict>
2138//CHECK:      <dict>
2139//CHECK:       <key>kind</key><string>control</string>
2140//CHECK:       <key>edges</key>
2141//CHECK:        <array>
2142//CHECK:         <dict>
2143//CHECK:          <key>start</key>
2144//CHECK:           <array>
2145//CHECK:            <dict>
2146//CHECK:             <key>line</key><integer>67</integer>
2147//CHECK:             <key>col</key><integer>18</integer>
2148//CHECK:             <key>file</key><integer>0</integer>
2149//CHECK:            </dict>
2150//CHECK:            <dict>
2151//CHECK:             <key>line</key><integer>67</integer>
2152//CHECK:             <key>col</key><integer>40</integer>
2153//CHECK:             <key>file</key><integer>0</integer>
2154//CHECK:            </dict>
2155//CHECK:           </array>
2156//CHECK:          <key>end</key>
2157//CHECK:           <array>
2158//CHECK:            <dict>
2159//CHECK:             <key>line</key><integer>68</integer>
2160//CHECK:             <key>col</key><integer>5</integer>
2161//CHECK:             <key>file</key><integer>0</integer>
2162//CHECK:            </dict>
2163//CHECK:            <dict>
2164//CHECK:             <key>line</key><integer>68</integer>
2165//CHECK:             <key>col</key><integer>5</integer>
2166//CHECK:             <key>file</key><integer>0</integer>
2167//CHECK:            </dict>
2168//CHECK:           </array>
2169//CHECK:         </dict>
2170//CHECK:        </array>
2171//CHECK:      </dict>
2172//CHECK:      <dict>
2173//CHECK:       <key>kind</key><string>control</string>
2174//CHECK:       <key>edges</key>
2175//CHECK:        <array>
2176//CHECK:         <dict>
2177//CHECK:          <key>start</key>
2178//CHECK:           <array>
2179//CHECK:            <dict>
2180//CHECK:             <key>line</key><integer>68</integer>
2181//CHECK:             <key>col</key><integer>5</integer>
2182//CHECK:             <key>file</key><integer>0</integer>
2183//CHECK:            </dict>
2184//CHECK:            <dict>
2185//CHECK:             <key>line</key><integer>68</integer>
2186//CHECK:             <key>col</key><integer>5</integer>
2187//CHECK:             <key>file</key><integer>0</integer>
2188//CHECK:            </dict>
2189//CHECK:           </array>
2190//CHECK:          <key>end</key>
2191//CHECK:           <array>
2192//CHECK:            <dict>
2193//CHECK:             <key>line</key><integer>68</integer>
2194//CHECK:             <key>col</key><integer>9</integer>
2195//CHECK:             <key>file</key><integer>0</integer>
2196//CHECK:            </dict>
2197//CHECK:            <dict>
2198//CHECK:             <key>line</key><integer>68</integer>
2199//CHECK:             <key>col</key><integer>12</integer>
2200//CHECK:             <key>file</key><integer>0</integer>
2201//CHECK:            </dict>
2202//CHECK:           </array>
2203//CHECK:         </dict>
2204//CHECK:        </array>
2205//CHECK:      </dict>
2206//CHECK:      <dict>
2207//CHECK:       <key>kind</key><string>event</string>
2208//CHECK:       <key>location</key>
2209//CHECK:       <dict>
2210//CHECK:        <key>line</key><integer>68</integer>
2211//CHECK:        <key>col</key><integer>9</integer>
2212//CHECK:        <key>file</key><integer>0</integer>
2213//CHECK:       </dict>
2214//CHECK:       <key>ranges</key>
2215//CHECK:       <array>
2216//CHECK:         <array>
2217//CHECK:          <dict>
2218//CHECK:           <key>line</key><integer>68</integer>
2219//CHECK:           <key>col</key><integer>9</integer>
2220//CHECK:           <key>file</key><integer>0</integer>
2221//CHECK:          </dict>
2222//CHECK:          <dict>
2223//CHECK:           <key>line</key><integer>68</integer>
2224//CHECK:           <key>col</key><integer>12</integer>
2225//CHECK:           <key>file</key><integer>0</integer>
2226//CHECK:          </dict>
2227//CHECK:         </array>
2228//CHECK:       </array>
2229//CHECK:       <key>depth</key><integer>1</integer>
2230//CHECK:       <key>extended_message</key>
2231//CHECK:       <string>Assuming &apos;tmp&apos; is null</string>
2232//CHECK:       <key>message</key>
2233//CHECK:  <string>Assuming &apos;tmp&apos; is null</string>
2234//CHECK:      </dict>
2235//CHECK:      <dict>
2236//CHECK:       <key>kind</key><string>control</string>
2237//CHECK:       <key>edges</key>
2238//CHECK:        <array>
2239//CHECK:         <dict>
2240//CHECK:          <key>start</key>
2241//CHECK:           <array>
2242//CHECK:            <dict>
2243//CHECK:             <key>line</key><integer>68</integer>
2244//CHECK:             <key>col</key><integer>9</integer>
2245//CHECK:             <key>file</key><integer>0</integer>
2246//CHECK:            </dict>
2247//CHECK:            <dict>
2248//CHECK:             <key>line</key><integer>68</integer>
2249//CHECK:             <key>col</key><integer>12</integer>
2250//CHECK:             <key>file</key><integer>0</integer>
2251//CHECK:            </dict>
2252//CHECK:           </array>
2253//CHECK:          <key>end</key>
2254//CHECK:           <array>
2255//CHECK:            <dict>
2256//CHECK:             <key>line</key><integer>68</integer>
2257//CHECK:             <key>col</key><integer>5</integer>
2258//CHECK:             <key>file</key><integer>0</integer>
2259//CHECK:            </dict>
2260//CHECK:            <dict>
2261//CHECK:             <key>line</key><integer>68</integer>
2262//CHECK:             <key>col</key><integer>6</integer>
2263//CHECK:             <key>file</key><integer>0</integer>
2264//CHECK:            </dict>
2265//CHECK:           </array>
2266//CHECK:         </dict>
2267//CHECK:        </array>
2268//CHECK:      </dict>
2269//CHECK:      <dict>
2270//CHECK:       <key>kind</key><string>event</string>
2271//CHECK:       <key>location</key>
2272//CHECK:       <dict>
2273//CHECK:        <key>line</key><integer>68</integer>
2274//CHECK:        <key>col</key><integer>5</integer>
2275//CHECK:        <key>file</key><integer>0</integer>
2276//CHECK:       </dict>
2277//CHECK:       <key>ranges</key>
2278//CHECK:       <array>
2279//CHECK:         <array>
2280//CHECK:          <dict>
2281//CHECK:           <key>line</key><integer>68</integer>
2282//CHECK:           <key>col</key><integer>5</integer>
2283//CHECK:           <key>file</key><integer>0</integer>
2284//CHECK:          </dict>
2285//CHECK:          <dict>
2286//CHECK:           <key>line</key><integer>68</integer>
2287//CHECK:           <key>col</key><integer>6</integer>
2288//CHECK:           <key>file</key><integer>0</integer>
2289//CHECK:          </dict>
2290//CHECK:         </array>
2291//CHECK:       </array>
2292//CHECK:       <key>depth</key><integer>1</integer>
2293//CHECK:       <key>extended_message</key>
2294//CHECK:       <string>Reallocation failed</string>
2295//CHECK:       <key>message</key>
2296//CHECK:  <string>Reallocation failed</string>
2297//CHECK:      </dict>
2298//CHECK:      <dict>
2299//CHECK:       <key>kind</key><string>control</string>
2300//CHECK:       <key>edges</key>
2301//CHECK:        <array>
2302//CHECK:         <dict>
2303//CHECK:          <key>start</key>
2304//CHECK:           <array>
2305//CHECK:            <dict>
2306//CHECK:             <key>line</key><integer>68</integer>
2307//CHECK:             <key>col</key><integer>5</integer>
2308//CHECK:             <key>file</key><integer>0</integer>
2309//CHECK:            </dict>
2310//CHECK:            <dict>
2311//CHECK:             <key>line</key><integer>68</integer>
2312//CHECK:             <key>col</key><integer>6</integer>
2313//CHECK:             <key>file</key><integer>0</integer>
2314//CHECK:            </dict>
2315//CHECK:           </array>
2316//CHECK:          <key>end</key>
2317//CHECK:           <array>
2318//CHECK:            <dict>
2319//CHECK:             <key>line</key><integer>69</integer>
2320//CHECK:             <key>col</key><integer>9</integer>
2321//CHECK:             <key>file</key><integer>0</integer>
2322//CHECK:            </dict>
2323//CHECK:            <dict>
2324//CHECK:             <key>line</key><integer>69</integer>
2325//CHECK:             <key>col</key><integer>9</integer>
2326//CHECK:             <key>file</key><integer>0</integer>
2327//CHECK:            </dict>
2328//CHECK:           </array>
2329//CHECK:         </dict>
2330//CHECK:        </array>
2331//CHECK:      </dict>
2332//CHECK:      <dict>
2333//CHECK:       <key>kind</key><string>event</string>
2334//CHECK:       <key>location</key>
2335//CHECK:       <dict>
2336//CHECK:        <key>line</key><integer>75</integer>
2337//CHECK:        <key>col</key><integer>11</integer>
2338//CHECK:        <key>file</key><integer>0</integer>
2339//CHECK:       </dict>
2340//CHECK:       <key>ranges</key>
2341//CHECK:       <array>
2342//CHECK:         <array>
2343//CHECK:          <dict>
2344//CHECK:           <key>line</key><integer>75</integer>
2345//CHECK:           <key>col</key><integer>11</integer>
2346//CHECK:           <key>file</key><integer>0</integer>
2347//CHECK:          </dict>
2348//CHECK:          <dict>
2349//CHECK:           <key>line</key><integer>75</integer>
2350//CHECK:           <key>col</key><integer>25</integer>
2351//CHECK:           <key>file</key><integer>0</integer>
2352//CHECK:          </dict>
2353//CHECK:         </array>
2354//CHECK:       </array>
2355//CHECK:       <key>depth</key><integer>1</integer>
2356//CHECK:       <key>extended_message</key>
2357//CHECK:       <string>Reallocation of 1st parameter failed</string>
2358//CHECK:       <key>message</key>
2359//CHECK:  <string>Reallocation of 1st parameter failed</string>
2360//CHECK:      </dict>
2361//CHECK:      <dict>
2362//CHECK:       <key>kind</key><string>control</string>
2363//CHECK:       <key>edges</key>
2364//CHECK:        <array>
2365//CHECK:         <dict>
2366//CHECK:          <key>start</key>
2367//CHECK:           <array>
2368//CHECK:            <dict>
2369//CHECK:             <key>line</key><integer>75</integer>
2370//CHECK:             <key>col</key><integer>11</integer>
2371//CHECK:             <key>file</key><integer>0</integer>
2372//CHECK:            </dict>
2373//CHECK:            <dict>
2374//CHECK:             <key>line</key><integer>75</integer>
2375//CHECK:             <key>col</key><integer>25</integer>
2376//CHECK:             <key>file</key><integer>0</integer>
2377//CHECK:            </dict>
2378//CHECK:           </array>
2379//CHECK:          <key>end</key>
2380//CHECK:           <array>
2381//CHECK:            <dict>
2382//CHECK:             <key>line</key><integer>76</integer>
2383//CHECK:             <key>col</key><integer>5</integer>
2384//CHECK:             <key>file</key><integer>0</integer>
2385//CHECK:            </dict>
2386//CHECK:            <dict>
2387//CHECK:             <key>line</key><integer>76</integer>
2388//CHECK:             <key>col</key><integer>13</integer>
2389//CHECK:             <key>file</key><integer>0</integer>
2390//CHECK:            </dict>
2391//CHECK:           </array>
2392//CHECK:         </dict>
2393//CHECK:        </array>
2394//CHECK:      </dict>
2395//CHECK:      <dict>
2396//CHECK:       <key>kind</key><string>event</string>
2397//CHECK:       <key>location</key>
2398//CHECK:       <dict>
2399//CHECK:        <key>line</key><integer>76</integer>
2400//CHECK:        <key>col</key><integer>5</integer>
2401//CHECK:        <key>file</key><integer>0</integer>
2402//CHECK:       </dict>
2403//CHECK:       <key>ranges</key>
2404//CHECK:       <array>
2405//CHECK:         <array>
2406//CHECK:          <dict>
2407//CHECK:           <key>line</key><integer>76</integer>
2408//CHECK:           <key>col</key><integer>5</integer>
2409//CHECK:           <key>file</key><integer>0</integer>
2410//CHECK:          </dict>
2411//CHECK:          <dict>
2412//CHECK:           <key>line</key><integer>76</integer>
2413//CHECK:           <key>col</key><integer>13</integer>
2414//CHECK:           <key>file</key><integer>0</integer>
2415//CHECK:          </dict>
2416//CHECK:         </array>
2417//CHECK:       </array>
2418//CHECK:       <key>depth</key><integer>0</integer>
2419//CHECK:       <key>extended_message</key>
2420//CHECK:       <string>Memory is never released; potential leak of memory pointed to by &apos;buf&apos;</string>
2421//CHECK:       <key>message</key>
2422//CHECK:  <string>Memory is never released; potential leak of memory pointed to by &apos;buf&apos;</string>
2423//CHECK:      </dict>
2424//CHECK:     </array>
2425//CHECK:     <key>description</key><string>Memory is never released; potential leak of memory pointed to by &apos;buf&apos;</string>
2426//CHECK:     <key>category</key><string>Memory Error</string>
2427//CHECK:     <key>type</key><string>Memory leak</string>
2428//CHECK:    <key>issue_context_kind</key><string>function</string>
2429//CHECK:    <key>issue_context</key><string>reallocIntra</string>
2430//CHECK:    <key>location</key>
2431//CHECK:    <dict>
2432//CHECK:     <key>line</key><integer>76</integer>
2433//CHECK:     <key>col</key><integer>5</integer>
2434//CHECK:     <key>file</key><integer>0</integer>
2435//CHECK:    </dict>
2436//CHECK:    </dict>
2437//CHECK:    <dict>
2438//CHECK:     <key>path</key>
2439//CHECK:     <array>
2440//CHECK:      <dict>
2441//CHECK:       <key>kind</key><string>control</string>
2442//CHECK:       <key>edges</key>
2443//CHECK:        <array>
2444//CHECK:         <dict>
2445//CHECK:          <key>start</key>
2446//CHECK:           <array>
2447//CHECK:            <dict>
2448//CHECK:             <key>line</key><integer>84</integer>
2449//CHECK:             <key>col</key><integer>5</integer>
2450//CHECK:             <key>file</key><integer>0</integer>
2451//CHECK:            </dict>
2452//CHECK:            <dict>
2453//CHECK:             <key>line</key><integer>84</integer>
2454//CHECK:             <key>col</key><integer>5</integer>
2455//CHECK:             <key>file</key><integer>0</integer>
2456//CHECK:            </dict>
2457//CHECK:           </array>
2458//CHECK:          <key>end</key>
2459//CHECK:           <array>
2460//CHECK:            <dict>
2461//CHECK:             <key>line</key><integer>85</integer>
2462//CHECK:             <key>col</key><integer>9</integer>
2463//CHECK:             <key>file</key><integer>0</integer>
2464//CHECK:            </dict>
2465//CHECK:            <dict>
2466//CHECK:             <key>line</key><integer>85</integer>
2467//CHECK:             <key>col</key><integer>9</integer>
2468//CHECK:             <key>file</key><integer>0</integer>
2469//CHECK:            </dict>
2470//CHECK:           </array>
2471//CHECK:         </dict>
2472//CHECK:        </array>
2473//CHECK:      </dict>
2474//CHECK:      <dict>
2475//CHECK:       <key>kind</key><string>event</string>
2476//CHECK:       <key>location</key>
2477//CHECK:       <dict>
2478//CHECK:        <key>line</key><integer>85</integer>
2479//CHECK:        <key>col</key><integer>9</integer>
2480//CHECK:        <key>file</key><integer>0</integer>
2481//CHECK:       </dict>
2482//CHECK:       <key>ranges</key>
2483//CHECK:       <array>
2484//CHECK:         <array>
2485//CHECK:          <dict>
2486//CHECK:           <key>line</key><integer>85</integer>
2487//CHECK:           <key>col</key><integer>9</integer>
2488//CHECK:           <key>file</key><integer>0</integer>
2489//CHECK:          </dict>
2490//CHECK:          <dict>
2491//CHECK:           <key>line</key><integer>85</integer>
2492//CHECK:           <key>col</key><integer>28</integer>
2493//CHECK:           <key>file</key><integer>0</integer>
2494//CHECK:          </dict>
2495//CHECK:         </array>
2496//CHECK:       </array>
2497//CHECK:       <key>depth</key><integer>0</integer>
2498//CHECK:       <key>extended_message</key>
2499//CHECK:       <string>Calling &apos;malloc_wrapper_ret&apos;</string>
2500//CHECK:       <key>message</key>
2501//CHECK:  <string>Calling &apos;malloc_wrapper_ret&apos;</string>
2502//CHECK:      </dict>
2503//CHECK:      <dict>
2504//CHECK:       <key>kind</key><string>event</string>
2505//CHECK:       <key>location</key>
2506//CHECK:       <dict>
2507//CHECK:        <key>line</key><integer>80</integer>
2508//CHECK:        <key>col</key><integer>1</integer>
2509//CHECK:        <key>file</key><integer>0</integer>
2510//CHECK:       </dict>
2511//CHECK:       <key>depth</key><integer>1</integer>
2512//CHECK:       <key>extended_message</key>
2513//CHECK:       <string>Entered call from &apos;use_ret&apos;</string>
2514//CHECK:       <key>message</key>
2515//CHECK:  <string>Entered call from &apos;use_ret&apos;</string>
2516//CHECK:      </dict>
2517//CHECK:      <dict>
2518//CHECK:       <key>kind</key><string>control</string>
2519//CHECK:       <key>edges</key>
2520//CHECK:        <array>
2521//CHECK:         <dict>
2522//CHECK:          <key>start</key>
2523//CHECK:           <array>
2524//CHECK:            <dict>
2525//CHECK:             <key>line</key><integer>80</integer>
2526//CHECK:             <key>col</key><integer>1</integer>
2527//CHECK:             <key>file</key><integer>0</integer>
2528//CHECK:            </dict>
2529//CHECK:            <dict>
2530//CHECK:             <key>line</key><integer>80</integer>
2531//CHECK:             <key>col</key><integer>1</integer>
2532//CHECK:             <key>file</key><integer>0</integer>
2533//CHECK:            </dict>
2534//CHECK:           </array>
2535//CHECK:          <key>end</key>
2536//CHECK:           <array>
2537//CHECK:            <dict>
2538//CHECK:             <key>line</key><integer>81</integer>
2539//CHECK:             <key>col</key><integer>5</integer>
2540//CHECK:             <key>file</key><integer>0</integer>
2541//CHECK:            </dict>
2542//CHECK:            <dict>
2543//CHECK:             <key>line</key><integer>81</integer>
2544//CHECK:             <key>col</key><integer>5</integer>
2545//CHECK:             <key>file</key><integer>0</integer>
2546//CHECK:            </dict>
2547//CHECK:           </array>
2548//CHECK:         </dict>
2549//CHECK:        </array>
2550//CHECK:      </dict>
2551//CHECK:      <dict>
2552//CHECK:       <key>kind</key><string>control</string>
2553//CHECK:       <key>edges</key>
2554//CHECK:        <array>
2555//CHECK:         <dict>
2556//CHECK:          <key>start</key>
2557//CHECK:           <array>
2558//CHECK:            <dict>
2559//CHECK:             <key>line</key><integer>81</integer>
2560//CHECK:             <key>col</key><integer>5</integer>
2561//CHECK:             <key>file</key><integer>0</integer>
2562//CHECK:            </dict>
2563//CHECK:            <dict>
2564//CHECK:             <key>line</key><integer>81</integer>
2565//CHECK:             <key>col</key><integer>5</integer>
2566//CHECK:             <key>file</key><integer>0</integer>
2567//CHECK:            </dict>
2568//CHECK:           </array>
2569//CHECK:          <key>end</key>
2570//CHECK:           <array>
2571//CHECK:            <dict>
2572//CHECK:             <key>line</key><integer>81</integer>
2573//CHECK:             <key>col</key><integer>19</integer>
2574//CHECK:             <key>file</key><integer>0</integer>
2575//CHECK:            </dict>
2576//CHECK:            <dict>
2577//CHECK:             <key>line</key><integer>81</integer>
2578//CHECK:             <key>col</key><integer>28</integer>
2579//CHECK:             <key>file</key><integer>0</integer>
2580//CHECK:            </dict>
2581//CHECK:           </array>
2582//CHECK:         </dict>
2583//CHECK:        </array>
2584//CHECK:      </dict>
2585//CHECK:      <dict>
2586//CHECK:       <key>kind</key><string>event</string>
2587//CHECK:       <key>location</key>
2588//CHECK:       <dict>
2589//CHECK:        <key>line</key><integer>81</integer>
2590//CHECK:        <key>col</key><integer>19</integer>
2591//CHECK:        <key>file</key><integer>0</integer>
2592//CHECK:       </dict>
2593//CHECK:       <key>ranges</key>
2594//CHECK:       <array>
2595//CHECK:         <array>
2596//CHECK:          <dict>
2597//CHECK:           <key>line</key><integer>81</integer>
2598//CHECK:           <key>col</key><integer>19</integer>
2599//CHECK:           <key>file</key><integer>0</integer>
2600//CHECK:          </dict>
2601//CHECK:          <dict>
2602//CHECK:           <key>line</key><integer>81</integer>
2603//CHECK:           <key>col</key><integer>28</integer>
2604//CHECK:           <key>file</key><integer>0</integer>
2605//CHECK:          </dict>
2606//CHECK:         </array>
2607//CHECK:       </array>
2608//CHECK:       <key>depth</key><integer>1</integer>
2609//CHECK:       <key>extended_message</key>
2610//CHECK:       <string>Memory is allocated</string>
2611//CHECK:       <key>message</key>
2612//CHECK:  <string>Memory is allocated</string>
2613//CHECK:      </dict>
2614//CHECK:      <dict>
2615//CHECK:       <key>kind</key><string>event</string>
2616//CHECK:       <key>location</key>
2617//CHECK:       <dict>
2618//CHECK:        <key>line</key><integer>85</integer>
2619//CHECK:        <key>col</key><integer>9</integer>
2620//CHECK:        <key>file</key><integer>0</integer>
2621//CHECK:       </dict>
2622//CHECK:       <key>ranges</key>
2623//CHECK:       <array>
2624//CHECK:         <array>
2625//CHECK:          <dict>
2626//CHECK:           <key>line</key><integer>85</integer>
2627//CHECK:           <key>col</key><integer>9</integer>
2628//CHECK:           <key>file</key><integer>0</integer>
2629//CHECK:          </dict>
2630//CHECK:          <dict>
2631//CHECK:           <key>line</key><integer>85</integer>
2632//CHECK:           <key>col</key><integer>28</integer>
2633//CHECK:           <key>file</key><integer>0</integer>
2634//CHECK:          </dict>
2635//CHECK:         </array>
2636//CHECK:       </array>
2637//CHECK:       <key>depth</key><integer>1</integer>
2638//CHECK:       <key>extended_message</key>
2639//CHECK:       <string>Returned allocated memory</string>
2640//CHECK:       <key>message</key>
2641//CHECK:  <string>Returned allocated memory</string>
2642//CHECK:      </dict>
2643//CHECK:      <dict>
2644//CHECK:       <key>kind</key><string>control</string>
2645//CHECK:       <key>edges</key>
2646//CHECK:        <array>
2647//CHECK:         <dict>
2648//CHECK:          <key>start</key>
2649//CHECK:           <array>
2650//CHECK:            <dict>
2651//CHECK:             <key>line</key><integer>85</integer>
2652//CHECK:             <key>col</key><integer>9</integer>
2653//CHECK:             <key>file</key><integer>0</integer>
2654//CHECK:            </dict>
2655//CHECK:            <dict>
2656//CHECK:             <key>line</key><integer>85</integer>
2657//CHECK:             <key>col</key><integer>28</integer>
2658//CHECK:             <key>file</key><integer>0</integer>
2659//CHECK:            </dict>
2660//CHECK:           </array>
2661//CHECK:          <key>end</key>
2662//CHECK:           <array>
2663//CHECK:            <dict>
2664//CHECK:             <key>line</key><integer>86</integer>
2665//CHECK:             <key>col</key><integer>1</integer>
2666//CHECK:             <key>file</key><integer>0</integer>
2667//CHECK:            </dict>
2668//CHECK:            <dict>
2669//CHECK:             <key>line</key><integer>86</integer>
2670//CHECK:             <key>col</key><integer>1</integer>
2671//CHECK:             <key>file</key><integer>0</integer>
2672//CHECK:            </dict>
2673//CHECK:           </array>
2674//CHECK:         </dict>
2675//CHECK:        </array>
2676//CHECK:      </dict>
2677//CHECK:      <dict>
2678//CHECK:       <key>kind</key><string>event</string>
2679//CHECK:       <key>location</key>
2680//CHECK:       <dict>
2681//CHECK:        <key>line</key><integer>86</integer>
2682//CHECK:        <key>col</key><integer>1</integer>
2683//CHECK:        <key>file</key><integer>0</integer>
2684//CHECK:       </dict>
2685//CHECK:       <key>depth</key><integer>0</integer>
2686//CHECK:       <key>extended_message</key>
2687//CHECK:       <string>Memory is never released; potential leak of memory pointed to by &apos;v&apos;</string>
2688//CHECK:       <key>message</key>
2689//CHECK:  <string>Memory is never released; potential leak of memory pointed to by &apos;v&apos;</string>
2690//CHECK:      </dict>
2691//CHECK:     </array>
2692//CHECK:     <key>description</key><string>Memory is never released; potential leak of memory pointed to by &apos;v&apos;</string>
2693//CHECK:     <key>category</key><string>Memory Error</string>
2694//CHECK:     <key>type</key><string>Memory leak</string>
2695//CHECK:    <key>issue_context_kind</key><string>function</string>
2696//CHECK:    <key>issue_context</key><string>use_ret</string>
2697//CHECK:    <key>location</key>
2698//CHECK:    <dict>
2699//CHECK:     <key>line</key><integer>86</integer>
2700//CHECK:     <key>col</key><integer>1</integer>
2701//CHECK:     <key>file</key><integer>0</integer>
2702//CHECK:    </dict>
2703//CHECK:    </dict>
2704//CHECK:    <dict>
2705//CHECK:     <key>path</key>
2706//CHECK:     <array>
2707//CHECK:      <dict>
2708//CHECK:       <key>kind</key><string>control</string>
2709//CHECK:       <key>edges</key>
2710//CHECK:        <array>
2711//CHECK:         <dict>
2712//CHECK:          <key>start</key>
2713//CHECK:           <array>
2714//CHECK:            <dict>
2715//CHECK:             <key>line</key><integer>90</integer>
2716//CHECK:             <key>col</key><integer>5</integer>
2717//CHECK:             <key>file</key><integer>0</integer>
2718//CHECK:            </dict>
2719//CHECK:            <dict>
2720//CHECK:             <key>line</key><integer>90</integer>
2721//CHECK:             <key>col</key><integer>5</integer>
2722//CHECK:             <key>file</key><integer>0</integer>
2723//CHECK:            </dict>
2724//CHECK:           </array>
2725//CHECK:          <key>end</key>
2726//CHECK:           <array>
2727//CHECK:            <dict>
2728//CHECK:             <key>line</key><integer>92</integer>
2729//CHECK:             <key>col</key><integer>5</integer>
2730//CHECK:             <key>file</key><integer>0</integer>
2731//CHECK:            </dict>
2732//CHECK:            <dict>
2733//CHECK:             <key>line</key><integer>92</integer>
2734//CHECK:             <key>col</key><integer>5</integer>
2735//CHECK:             <key>file</key><integer>0</integer>
2736//CHECK:            </dict>
2737//CHECK:           </array>
2738//CHECK:         </dict>
2739//CHECK:        </array>
2740//CHECK:      </dict>
2741//CHECK:      <dict>
2742//CHECK:       <key>kind</key><string>control</string>
2743//CHECK:       <key>edges</key>
2744//CHECK:        <array>
2745//CHECK:         <dict>
2746//CHECK:          <key>start</key>
2747//CHECK:           <array>
2748//CHECK:            <dict>
2749//CHECK:             <key>line</key><integer>92</integer>
2750//CHECK:             <key>col</key><integer>5</integer>
2751//CHECK:             <key>file</key><integer>0</integer>
2752//CHECK:            </dict>
2753//CHECK:            <dict>
2754//CHECK:             <key>line</key><integer>92</integer>
2755//CHECK:             <key>col</key><integer>5</integer>
2756//CHECK:             <key>file</key><integer>0</integer>
2757//CHECK:            </dict>
2758//CHECK:           </array>
2759//CHECK:          <key>end</key>
2760//CHECK:           <array>
2761//CHECK:            <dict>
2762//CHECK:             <key>line</key><integer>92</integer>
2763//CHECK:             <key>col</key><integer>15</integer>
2764//CHECK:             <key>file</key><integer>0</integer>
2765//CHECK:            </dict>
2766//CHECK:            <dict>
2767//CHECK:             <key>line</key><integer>92</integer>
2768//CHECK:             <key>col</key><integer>24</integer>
2769//CHECK:             <key>file</key><integer>0</integer>
2770//CHECK:            </dict>
2771//CHECK:           </array>
2772//CHECK:         </dict>
2773//CHECK:        </array>
2774//CHECK:      </dict>
2775//CHECK:      <dict>
2776//CHECK:       <key>kind</key><string>event</string>
2777//CHECK:       <key>location</key>
2778//CHECK:       <dict>
2779//CHECK:        <key>line</key><integer>92</integer>
2780//CHECK:        <key>col</key><integer>15</integer>
2781//CHECK:        <key>file</key><integer>0</integer>
2782//CHECK:       </dict>
2783//CHECK:       <key>ranges</key>
2784//CHECK:       <array>
2785//CHECK:         <array>
2786//CHECK:          <dict>
2787//CHECK:           <key>line</key><integer>92</integer>
2788//CHECK:           <key>col</key><integer>15</integer>
2789//CHECK:           <key>file</key><integer>0</integer>
2790//CHECK:          </dict>
2791//CHECK:          <dict>
2792//CHECK:           <key>line</key><integer>92</integer>
2793//CHECK:           <key>col</key><integer>24</integer>
2794//CHECK:           <key>file</key><integer>0</integer>
2795//CHECK:          </dict>
2796//CHECK:         </array>
2797//CHECK:       </array>
2798//CHECK:       <key>depth</key><integer>0</integer>
2799//CHECK:       <key>extended_message</key>
2800//CHECK:       <string>Memory is allocated</string>
2801//CHECK:       <key>message</key>
2802//CHECK:  <string>Memory is allocated</string>
2803//CHECK:      </dict>
2804//CHECK:      <dict>
2805//CHECK:       <key>kind</key><string>control</string>
2806//CHECK:       <key>edges</key>
2807//CHECK:        <array>
2808//CHECK:         <dict>
2809//CHECK:          <key>start</key>
2810//CHECK:           <array>
2811//CHECK:            <dict>
2812//CHECK:             <key>line</key><integer>92</integer>
2813//CHECK:             <key>col</key><integer>15</integer>
2814//CHECK:             <key>file</key><integer>0</integer>
2815//CHECK:            </dict>
2816//CHECK:            <dict>
2817//CHECK:             <key>line</key><integer>92</integer>
2818//CHECK:             <key>col</key><integer>24</integer>
2819//CHECK:             <key>file</key><integer>0</integer>
2820//CHECK:            </dict>
2821//CHECK:           </array>
2822//CHECK:          <key>end</key>
2823//CHECK:           <array>
2824//CHECK:            <dict>
2825//CHECK:             <key>line</key><integer>97</integer>
2826//CHECK:             <key>col</key><integer>5</integer>
2827//CHECK:             <key>file</key><integer>0</integer>
2828//CHECK:            </dict>
2829//CHECK:            <dict>
2830//CHECK:             <key>line</key><integer>97</integer>
2831//CHECK:             <key>col</key><integer>8</integer>
2832//CHECK:             <key>file</key><integer>0</integer>
2833//CHECK:            </dict>
2834//CHECK:           </array>
2835//CHECK:         </dict>
2836//CHECK:        </array>
2837//CHECK:      </dict>
2838//CHECK:      <dict>
2839//CHECK:       <key>kind</key><string>event</string>
2840//CHECK:       <key>location</key>
2841//CHECK:       <dict>
2842//CHECK:        <key>line</key><integer>97</integer>
2843//CHECK:        <key>col</key><integer>5</integer>
2844//CHECK:        <key>file</key><integer>0</integer>
2845//CHECK:       </dict>
2846//CHECK:       <key>ranges</key>
2847//CHECK:       <array>
2848//CHECK:         <array>
2849//CHECK:          <dict>
2850//CHECK:           <key>line</key><integer>97</integer>
2851//CHECK:           <key>col</key><integer>5</integer>
2852//CHECK:           <key>file</key><integer>0</integer>
2853//CHECK:          </dict>
2854//CHECK:          <dict>
2855//CHECK:           <key>line</key><integer>97</integer>
2856//CHECK:           <key>col</key><integer>8</integer>
2857//CHECK:           <key>file</key><integer>0</integer>
2858//CHECK:          </dict>
2859//CHECK:         </array>
2860//CHECK:       </array>
2861//CHECK:       <key>depth</key><integer>0</integer>
2862//CHECK:       <key>extended_message</key>
2863//CHECK:       <string>Memory is never released; potential leak of memory pointed to by &apos;m&apos;</string>
2864//CHECK:       <key>message</key>
2865//CHECK:  <string>Memory is never released; potential leak of memory pointed to by &apos;m&apos;</string>
2866//CHECK:      </dict>
2867//CHECK:     </array>
2868//CHECK:     <key>description</key><string>Memory is never released; potential leak of memory pointed to by &apos;m&apos;</string>
2869//CHECK:     <key>category</key><string>Memory Error</string>
2870//CHECK:     <key>type</key><string>Memory leak</string>
2871//CHECK:    <key>issue_context_kind</key><string>function</string>
2872//CHECK:    <key>issue_context</key><string>LeakedSymbol</string>
2873//CHECK:    <key>location</key>
2874//CHECK:    <dict>
2875//CHECK:     <key>line</key><integer>97</integer>
2876//CHECK:     <key>col</key><integer>5</integer>
2877//CHECK:     <key>file</key><integer>0</integer>
2878//CHECK:    </dict>
2879//CHECK:    </dict>
2880//CHECK:    <dict>
2881//CHECK:     <key>path</key>
2882//CHECK:     <array>
2883//CHECK:      <dict>
2884//CHECK:       <key>kind</key><string>event</string>
2885//CHECK:       <key>location</key>
2886//CHECK:       <dict>
2887//CHECK:        <key>line</key><integer>105</integer>
2888//CHECK:        <key>col</key><integer>5</integer>
2889//CHECK:        <key>file</key><integer>0</integer>
2890//CHECK:       </dict>
2891//CHECK:       <key>ranges</key>
2892//CHECK:       <array>
2893//CHECK:         <array>
2894//CHECK:          <dict>
2895//CHECK:           <key>line</key><integer>105</integer>
2896//CHECK:           <key>col</key><integer>5</integer>
2897//CHECK:           <key>file</key><integer>0</integer>
2898//CHECK:          </dict>
2899//CHECK:          <dict>
2900//CHECK:           <key>line</key><integer>105</integer>
2901//CHECK:           <key>col</key><integer>25</integer>
2902//CHECK:           <key>file</key><integer>0</integer>
2903//CHECK:          </dict>
2904//CHECK:         </array>
2905//CHECK:       </array>
2906//CHECK:       <key>depth</key><integer>0</integer>
2907//CHECK:       <key>extended_message</key>
2908//CHECK:       <string>Calling &apos;function_with_leak1&apos;</string>
2909//CHECK:       <key>message</key>
2910//CHECK:  <string>Calling &apos;function_with_leak1&apos;</string>
2911//CHECK:      </dict>
2912//CHECK:      <dict>
2913//CHECK:       <key>kind</key><string>event</string>
2914//CHECK:       <key>location</key>
2915//CHECK:       <dict>
2916//CHECK:        <key>line</key><integer>101</integer>
2917//CHECK:        <key>col</key><integer>1</integer>
2918//CHECK:        <key>file</key><integer>0</integer>
2919//CHECK:       </dict>
2920//CHECK:       <key>depth</key><integer>1</integer>
2921//CHECK:       <key>extended_message</key>
2922//CHECK:       <string>Entered call from &apos;use_function_with_leak1&apos;</string>
2923//CHECK:       <key>message</key>
2924//CHECK:  <string>Entered call from &apos;use_function_with_leak1&apos;</string>
2925//CHECK:      </dict>
2926//CHECK:      <dict>
2927//CHECK:       <key>kind</key><string>control</string>
2928//CHECK:       <key>edges</key>
2929//CHECK:        <array>
2930//CHECK:         <dict>
2931//CHECK:          <key>start</key>
2932//CHECK:           <array>
2933//CHECK:            <dict>
2934//CHECK:             <key>line</key><integer>101</integer>
2935//CHECK:             <key>col</key><integer>1</integer>
2936//CHECK:             <key>file</key><integer>0</integer>
2937//CHECK:            </dict>
2938//CHECK:            <dict>
2939//CHECK:             <key>line</key><integer>101</integer>
2940//CHECK:             <key>col</key><integer>1</integer>
2941//CHECK:             <key>file</key><integer>0</integer>
2942//CHECK:            </dict>
2943//CHECK:           </array>
2944//CHECK:          <key>end</key>
2945//CHECK:           <array>
2946//CHECK:            <dict>
2947//CHECK:             <key>line</key><integer>102</integer>
2948//CHECK:             <key>col</key><integer>5</integer>
2949//CHECK:             <key>file</key><integer>0</integer>
2950//CHECK:            </dict>
2951//CHECK:            <dict>
2952//CHECK:             <key>line</key><integer>102</integer>
2953//CHECK:             <key>col</key><integer>5</integer>
2954//CHECK:             <key>file</key><integer>0</integer>
2955//CHECK:            </dict>
2956//CHECK:           </array>
2957//CHECK:         </dict>
2958//CHECK:        </array>
2959//CHECK:      </dict>
2960//CHECK:      <dict>
2961//CHECK:       <key>kind</key><string>control</string>
2962//CHECK:       <key>edges</key>
2963//CHECK:        <array>
2964//CHECK:         <dict>
2965//CHECK:          <key>start</key>
2966//CHECK:           <array>
2967//CHECK:            <dict>
2968//CHECK:             <key>line</key><integer>102</integer>
2969//CHECK:             <key>col</key><integer>5</integer>
2970//CHECK:             <key>file</key><integer>0</integer>
2971//CHECK:            </dict>
2972//CHECK:            <dict>
2973//CHECK:             <key>line</key><integer>102</integer>
2974//CHECK:             <key>col</key><integer>5</integer>
2975//CHECK:             <key>file</key><integer>0</integer>
2976//CHECK:            </dict>
2977//CHECK:           </array>
2978//CHECK:          <key>end</key>
2979//CHECK:           <array>
2980//CHECK:            <dict>
2981//CHECK:             <key>line</key><integer>102</integer>
2982//CHECK:             <key>col</key><integer>22</integer>
2983//CHECK:             <key>file</key><integer>0</integer>
2984//CHECK:            </dict>
2985//CHECK:            <dict>
2986//CHECK:             <key>line</key><integer>102</integer>
2987//CHECK:             <key>col</key><integer>31</integer>
2988//CHECK:             <key>file</key><integer>0</integer>
2989//CHECK:            </dict>
2990//CHECK:           </array>
2991//CHECK:         </dict>
2992//CHECK:        </array>
2993//CHECK:      </dict>
2994//CHECK:      <dict>
2995//CHECK:       <key>kind</key><string>event</string>
2996//CHECK:       <key>location</key>
2997//CHECK:       <dict>
2998//CHECK:        <key>line</key><integer>102</integer>
2999//CHECK:        <key>col</key><integer>22</integer>
3000//CHECK:        <key>file</key><integer>0</integer>
3001//CHECK:       </dict>
3002//CHECK:       <key>ranges</key>
3003//CHECK:       <array>
3004//CHECK:         <array>
3005//CHECK:          <dict>
3006//CHECK:           <key>line</key><integer>102</integer>
3007//CHECK:           <key>col</key><integer>22</integer>
3008//CHECK:           <key>file</key><integer>0</integer>
3009//CHECK:          </dict>
3010//CHECK:          <dict>
3011//CHECK:           <key>line</key><integer>102</integer>
3012//CHECK:           <key>col</key><integer>31</integer>
3013//CHECK:           <key>file</key><integer>0</integer>
3014//CHECK:          </dict>
3015//CHECK:         </array>
3016//CHECK:       </array>
3017//CHECK:       <key>depth</key><integer>1</integer>
3018//CHECK:       <key>extended_message</key>
3019//CHECK:       <string>Memory is allocated</string>
3020//CHECK:       <key>message</key>
3021//CHECK:  <string>Memory is allocated</string>
3022//CHECK:      </dict>
3023//CHECK:      <dict>
3024//CHECK:       <key>kind</key><string>control</string>
3025//CHECK:       <key>edges</key>
3026//CHECK:        <array>
3027//CHECK:         <dict>
3028//CHECK:          <key>start</key>
3029//CHECK:           <array>
3030//CHECK:            <dict>
3031//CHECK:             <key>line</key><integer>102</integer>
3032//CHECK:             <key>col</key><integer>22</integer>
3033//CHECK:             <key>file</key><integer>0</integer>
3034//CHECK:            </dict>
3035//CHECK:            <dict>
3036//CHECK:             <key>line</key><integer>102</integer>
3037//CHECK:             <key>col</key><integer>31</integer>
3038//CHECK:             <key>file</key><integer>0</integer>
3039//CHECK:            </dict>
3040//CHECK:           </array>
3041//CHECK:          <key>end</key>
3042//CHECK:           <array>
3043//CHECK:            <dict>
3044//CHECK:             <key>line</key><integer>102</integer>
3045//CHECK:             <key>col</key><integer>5</integer>
3046//CHECK:             <key>file</key><integer>0</integer>
3047//CHECK:            </dict>
3048//CHECK:            <dict>
3049//CHECK:             <key>line</key><integer>102</integer>
3050//CHECK:             <key>col</key><integer>11</integer>
3051//CHECK:             <key>file</key><integer>0</integer>
3052//CHECK:            </dict>
3053//CHECK:           </array>
3054//CHECK:         </dict>
3055//CHECK:        </array>
3056//CHECK:      </dict>
3057//CHECK:      <dict>
3058//CHECK:       <key>kind</key><string>event</string>
3059//CHECK:       <key>location</key>
3060//CHECK:       <dict>
3061//CHECK:        <key>line</key><integer>102</integer>
3062//CHECK:        <key>col</key><integer>5</integer>
3063//CHECK:        <key>file</key><integer>0</integer>
3064//CHECK:       </dict>
3065//CHECK:       <key>ranges</key>
3066//CHECK:       <array>
3067//CHECK:         <array>
3068//CHECK:          <dict>
3069//CHECK:           <key>line</key><integer>102</integer>
3070//CHECK:           <key>col</key><integer>5</integer>
3071//CHECK:           <key>file</key><integer>0</integer>
3072//CHECK:          </dict>
3073//CHECK:          <dict>
3074//CHECK:           <key>line</key><integer>102</integer>
3075//CHECK:           <key>col</key><integer>11</integer>
3076//CHECK:           <key>file</key><integer>0</integer>
3077//CHECK:          </dict>
3078//CHECK:         </array>
3079//CHECK:       </array>
3080//CHECK:       <key>depth</key><integer>1</integer>
3081//CHECK:       <key>extended_message</key>
3082//CHECK:       <string>Memory is never released; potential leak of memory pointed to by &apos;x&apos;</string>
3083//CHECK:       <key>message</key>
3084//CHECK:  <string>Memory is never released; potential leak of memory pointed to by &apos;x&apos;</string>
3085//CHECK:      </dict>
3086//CHECK:     </array>
3087//CHECK:     <key>description</key><string>Memory is never released; potential leak of memory pointed to by &apos;x&apos;</string>
3088//CHECK:     <key>category</key><string>Memory Error</string>
3089//CHECK:     <key>type</key><string>Memory leak</string>
3090//CHECK:    <key>issue_context_kind</key><string>function</string>
3091//CHECK:    <key>issue_context</key><string>function_with_leak1</string>
3092//CHECK:    <key>location</key>
3093//CHECK:    <dict>
3094//CHECK:     <key>line</key><integer>102</integer>
3095//CHECK:     <key>col</key><integer>5</integer>
3096//CHECK:     <key>file</key><integer>0</integer>
3097//CHECK:    </dict>
3098//CHECK:    </dict>
3099//CHECK:    <dict>
3100//CHECK:     <key>path</key>
3101//CHECK:     <array>
3102//CHECK:      <dict>
3103//CHECK:       <key>kind</key><string>event</string>
3104//CHECK:       <key>location</key>
3105//CHECK:       <dict>
3106//CHECK:        <key>line</key><integer>114</integer>
3107//CHECK:        <key>col</key><integer>5</integer>
3108//CHECK:        <key>file</key><integer>0</integer>
3109//CHECK:       </dict>
3110//CHECK:       <key>ranges</key>
3111//CHECK:       <array>
3112//CHECK:         <array>
3113//CHECK:          <dict>
3114//CHECK:           <key>line</key><integer>114</integer>
3115//CHECK:           <key>col</key><integer>5</integer>
3116//CHECK:           <key>file</key><integer>0</integer>
3117//CHECK:          </dict>
3118//CHECK:          <dict>
3119//CHECK:           <key>line</key><integer>114</integer>
3120//CHECK:           <key>col</key><integer>25</integer>
3121//CHECK:           <key>file</key><integer>0</integer>
3122//CHECK:          </dict>
3123//CHECK:         </array>
3124//CHECK:       </array>
3125//CHECK:       <key>depth</key><integer>0</integer>
3126//CHECK:       <key>extended_message</key>
3127//CHECK:       <string>Calling &apos;function_with_leak2&apos;</string>
3128//CHECK:       <key>message</key>
3129//CHECK:  <string>Calling &apos;function_with_leak2&apos;</string>
3130//CHECK:      </dict>
3131//CHECK:      <dict>
3132//CHECK:       <key>kind</key><string>event</string>
3133//CHECK:       <key>location</key>
3134//CHECK:       <dict>
3135//CHECK:        <key>line</key><integer>109</integer>
3136//CHECK:        <key>col</key><integer>1</integer>
3137//CHECK:        <key>file</key><integer>0</integer>
3138//CHECK:       </dict>
3139//CHECK:       <key>depth</key><integer>1</integer>
3140//CHECK:       <key>extended_message</key>
3141//CHECK:       <string>Entered call from &apos;use_function_with_leak2&apos;</string>
3142//CHECK:       <key>message</key>
3143//CHECK:  <string>Entered call from &apos;use_function_with_leak2&apos;</string>
3144//CHECK:      </dict>
3145//CHECK:      <dict>
3146//CHECK:       <key>kind</key><string>control</string>
3147//CHECK:       <key>edges</key>
3148//CHECK:        <array>
3149//CHECK:         <dict>
3150//CHECK:          <key>start</key>
3151//CHECK:           <array>
3152//CHECK:            <dict>
3153//CHECK:             <key>line</key><integer>109</integer>
3154//CHECK:             <key>col</key><integer>1</integer>
3155//CHECK:             <key>file</key><integer>0</integer>
3156//CHECK:            </dict>
3157//CHECK:            <dict>
3158//CHECK:             <key>line</key><integer>109</integer>
3159//CHECK:             <key>col</key><integer>1</integer>
3160//CHECK:             <key>file</key><integer>0</integer>
3161//CHECK:            </dict>
3162//CHECK:           </array>
3163//CHECK:          <key>end</key>
3164//CHECK:           <array>
3165//CHECK:            <dict>
3166//CHECK:             <key>line</key><integer>110</integer>
3167//CHECK:             <key>col</key><integer>5</integer>
3168//CHECK:             <key>file</key><integer>0</integer>
3169//CHECK:            </dict>
3170//CHECK:            <dict>
3171//CHECK:             <key>line</key><integer>110</integer>
3172//CHECK:             <key>col</key><integer>5</integer>
3173//CHECK:             <key>file</key><integer>0</integer>
3174//CHECK:            </dict>
3175//CHECK:           </array>
3176//CHECK:         </dict>
3177//CHECK:        </array>
3178//CHECK:      </dict>
3179//CHECK:      <dict>
3180//CHECK:       <key>kind</key><string>control</string>
3181//CHECK:       <key>edges</key>
3182//CHECK:        <array>
3183//CHECK:         <dict>
3184//CHECK:          <key>start</key>
3185//CHECK:           <array>
3186//CHECK:            <dict>
3187//CHECK:             <key>line</key><integer>110</integer>
3188//CHECK:             <key>col</key><integer>5</integer>
3189//CHECK:             <key>file</key><integer>0</integer>
3190//CHECK:            </dict>
3191//CHECK:            <dict>
3192//CHECK:             <key>line</key><integer>110</integer>
3193//CHECK:             <key>col</key><integer>5</integer>
3194//CHECK:             <key>file</key><integer>0</integer>
3195//CHECK:            </dict>
3196//CHECK:           </array>
3197//CHECK:          <key>end</key>
3198//CHECK:           <array>
3199//CHECK:            <dict>
3200//CHECK:             <key>line</key><integer>110</integer>
3201//CHECK:             <key>col</key><integer>22</integer>
3202//CHECK:             <key>file</key><integer>0</integer>
3203//CHECK:            </dict>
3204//CHECK:            <dict>
3205//CHECK:             <key>line</key><integer>110</integer>
3206//CHECK:             <key>col</key><integer>31</integer>
3207//CHECK:             <key>file</key><integer>0</integer>
3208//CHECK:            </dict>
3209//CHECK:           </array>
3210//CHECK:         </dict>
3211//CHECK:        </array>
3212//CHECK:      </dict>
3213//CHECK:      <dict>
3214//CHECK:       <key>kind</key><string>event</string>
3215//CHECK:       <key>location</key>
3216//CHECK:       <dict>
3217//CHECK:        <key>line</key><integer>110</integer>
3218//CHECK:        <key>col</key><integer>22</integer>
3219//CHECK:        <key>file</key><integer>0</integer>
3220//CHECK:       </dict>
3221//CHECK:       <key>ranges</key>
3222//CHECK:       <array>
3223//CHECK:         <array>
3224//CHECK:          <dict>
3225//CHECK:           <key>line</key><integer>110</integer>
3226//CHECK:           <key>col</key><integer>22</integer>
3227//CHECK:           <key>file</key><integer>0</integer>
3228//CHECK:          </dict>
3229//CHECK:          <dict>
3230//CHECK:           <key>line</key><integer>110</integer>
3231//CHECK:           <key>col</key><integer>31</integer>
3232//CHECK:           <key>file</key><integer>0</integer>
3233//CHECK:          </dict>
3234//CHECK:         </array>
3235//CHECK:       </array>
3236//CHECK:       <key>depth</key><integer>1</integer>
3237//CHECK:       <key>extended_message</key>
3238//CHECK:       <string>Memory is allocated</string>
3239//CHECK:       <key>message</key>
3240//CHECK:  <string>Memory is allocated</string>
3241//CHECK:      </dict>
3242//CHECK:      <dict>
3243//CHECK:       <key>kind</key><string>control</string>
3244//CHECK:       <key>edges</key>
3245//CHECK:        <array>
3246//CHECK:         <dict>
3247//CHECK:          <key>start</key>
3248//CHECK:           <array>
3249//CHECK:            <dict>
3250//CHECK:             <key>line</key><integer>110</integer>
3251//CHECK:             <key>col</key><integer>22</integer>
3252//CHECK:             <key>file</key><integer>0</integer>
3253//CHECK:            </dict>
3254//CHECK:            <dict>
3255//CHECK:             <key>line</key><integer>110</integer>
3256//CHECK:             <key>col</key><integer>31</integer>
3257//CHECK:             <key>file</key><integer>0</integer>
3258//CHECK:            </dict>
3259//CHECK:           </array>
3260//CHECK:          <key>end</key>
3261//CHECK:           <array>
3262//CHECK:            <dict>
3263//CHECK:             <key>line</key><integer>111</integer>
3264//CHECK:             <key>col</key><integer>5</integer>
3265//CHECK:             <key>file</key><integer>0</integer>
3266//CHECK:            </dict>
3267//CHECK:            <dict>
3268//CHECK:             <key>line</key><integer>111</integer>
3269//CHECK:             <key>col</key><integer>9</integer>
3270//CHECK:             <key>file</key><integer>0</integer>
3271//CHECK:            </dict>
3272//CHECK:           </array>
3273//CHECK:         </dict>
3274//CHECK:        </array>
3275//CHECK:      </dict>
3276//CHECK:      <dict>
3277//CHECK:       <key>kind</key><string>event</string>
3278//CHECK:       <key>location</key>
3279//CHECK:       <dict>
3280//CHECK:        <key>line</key><integer>111</integer>
3281//CHECK:        <key>col</key><integer>5</integer>
3282//CHECK:        <key>file</key><integer>0</integer>
3283//CHECK:       </dict>
3284//CHECK:       <key>ranges</key>
3285//CHECK:       <array>
3286//CHECK:         <array>
3287//CHECK:          <dict>
3288//CHECK:           <key>line</key><integer>111</integer>
3289//CHECK:           <key>col</key><integer>5</integer>
3290//CHECK:           <key>file</key><integer>0</integer>
3291//CHECK:          </dict>
3292//CHECK:          <dict>
3293//CHECK:           <key>line</key><integer>111</integer>
3294//CHECK:           <key>col</key><integer>9</integer>
3295//CHECK:           <key>file</key><integer>0</integer>
3296//CHECK:          </dict>
3297//CHECK:         </array>
3298//CHECK:       </array>
3299//CHECK:       <key>depth</key><integer>1</integer>
3300//CHECK:       <key>extended_message</key>
3301//CHECK:       <string>Memory is never released; potential leak of memory pointed to by &apos;x&apos;</string>
3302//CHECK:       <key>message</key>
3303//CHECK:  <string>Memory is never released; potential leak of memory pointed to by &apos;x&apos;</string>
3304//CHECK:      </dict>
3305//CHECK:     </array>
3306//CHECK:     <key>description</key><string>Memory is never released; potential leak of memory pointed to by &apos;x&apos;</string>
3307//CHECK:     <key>category</key><string>Memory Error</string>
3308//CHECK:     <key>type</key><string>Memory leak</string>
3309//CHECK:    <key>issue_context_kind</key><string>function</string>
3310//CHECK:    <key>issue_context</key><string>function_with_leak2</string>
3311//CHECK:    <key>location</key>
3312//CHECK:    <dict>
3313//CHECK:     <key>line</key><integer>111</integer>
3314//CHECK:     <key>col</key><integer>5</integer>
3315//CHECK:     <key>file</key><integer>0</integer>
3316//CHECK:    </dict>
3317//CHECK:    </dict>
3318//CHECK:    <dict>
3319//CHECK:     <key>path</key>
3320//CHECK:     <array>
3321//CHECK:      <dict>
3322//CHECK:       <key>kind</key><string>event</string>
3323//CHECK:       <key>location</key>
3324//CHECK:       <dict>
3325//CHECK:        <key>line</key><integer>123</integer>
3326//CHECK:        <key>col</key><integer>5</integer>
3327//CHECK:        <key>file</key><integer>0</integer>
3328//CHECK:       </dict>
3329//CHECK:       <key>ranges</key>
3330//CHECK:       <array>
3331//CHECK:         <array>
3332//CHECK:          <dict>
3333//CHECK:           <key>line</key><integer>123</integer>
3334//CHECK:           <key>col</key><integer>5</integer>
3335//CHECK:           <key>file</key><integer>0</integer>
3336//CHECK:          </dict>
3337//CHECK:          <dict>
3338//CHECK:           <key>line</key><integer>123</integer>
3339//CHECK:           <key>col</key><integer>26</integer>
3340//CHECK:           <key>file</key><integer>0</integer>
3341//CHECK:          </dict>
3342//CHECK:         </array>
3343//CHECK:       </array>
3344//CHECK:       <key>depth</key><integer>0</integer>
3345//CHECK:       <key>extended_message</key>
3346//CHECK:       <string>Calling &apos;function_with_leak3&apos;</string>
3347//CHECK:       <key>message</key>
3348//CHECK:  <string>Calling &apos;function_with_leak3&apos;</string>
3349//CHECK:      </dict>
3350//CHECK:      <dict>
3351//CHECK:       <key>kind</key><string>event</string>
3352//CHECK:       <key>location</key>
3353//CHECK:       <dict>
3354//CHECK:        <key>line</key><integer>117</integer>
3355//CHECK:        <key>col</key><integer>1</integer>
3356//CHECK:        <key>file</key><integer>0</integer>
3357//CHECK:       </dict>
3358//CHECK:       <key>depth</key><integer>1</integer>
3359//CHECK:       <key>extended_message</key>
3360//CHECK:       <string>Entered call from &apos;use_function_with_leak3&apos;</string>
3361//CHECK:       <key>message</key>
3362//CHECK:  <string>Entered call from &apos;use_function_with_leak3&apos;</string>
3363//CHECK:      </dict>
3364//CHECK:      <dict>
3365//CHECK:       <key>kind</key><string>control</string>
3366//CHECK:       <key>edges</key>
3367//CHECK:        <array>
3368//CHECK:         <dict>
3369//CHECK:          <key>start</key>
3370//CHECK:           <array>
3371//CHECK:            <dict>
3372//CHECK:             <key>line</key><integer>117</integer>
3373//CHECK:             <key>col</key><integer>1</integer>
3374//CHECK:             <key>file</key><integer>0</integer>
3375//CHECK:            </dict>
3376//CHECK:            <dict>
3377//CHECK:             <key>line</key><integer>117</integer>
3378//CHECK:             <key>col</key><integer>1</integer>
3379//CHECK:             <key>file</key><integer>0</integer>
3380//CHECK:            </dict>
3381//CHECK:           </array>
3382//CHECK:          <key>end</key>
3383//CHECK:           <array>
3384//CHECK:            <dict>
3385//CHECK:             <key>line</key><integer>118</integer>
3386//CHECK:             <key>col</key><integer>5</integer>
3387//CHECK:             <key>file</key><integer>0</integer>
3388//CHECK:            </dict>
3389//CHECK:            <dict>
3390//CHECK:             <key>line</key><integer>118</integer>
3391//CHECK:             <key>col</key><integer>5</integer>
3392//CHECK:             <key>file</key><integer>0</integer>
3393//CHECK:            </dict>
3394//CHECK:           </array>
3395//CHECK:         </dict>
3396//CHECK:        </array>
3397//CHECK:      </dict>
3398//CHECK:      <dict>
3399//CHECK:       <key>kind</key><string>control</string>
3400//CHECK:       <key>edges</key>
3401//CHECK:        <array>
3402//CHECK:         <dict>
3403//CHECK:          <key>start</key>
3404//CHECK:           <array>
3405//CHECK:            <dict>
3406//CHECK:             <key>line</key><integer>118</integer>
3407//CHECK:             <key>col</key><integer>5</integer>
3408//CHECK:             <key>file</key><integer>0</integer>
3409//CHECK:            </dict>
3410//CHECK:            <dict>
3411//CHECK:             <key>line</key><integer>118</integer>
3412//CHECK:             <key>col</key><integer>5</integer>
3413//CHECK:             <key>file</key><integer>0</integer>
3414//CHECK:            </dict>
3415//CHECK:           </array>
3416//CHECK:          <key>end</key>
3417//CHECK:           <array>
3418//CHECK:            <dict>
3419//CHECK:             <key>line</key><integer>118</integer>
3420//CHECK:             <key>col</key><integer>22</integer>
3421//CHECK:             <key>file</key><integer>0</integer>
3422//CHECK:            </dict>
3423//CHECK:            <dict>
3424//CHECK:             <key>line</key><integer>118</integer>
3425//CHECK:             <key>col</key><integer>31</integer>
3426//CHECK:             <key>file</key><integer>0</integer>
3427//CHECK:            </dict>
3428//CHECK:           </array>
3429//CHECK:         </dict>
3430//CHECK:        </array>
3431//CHECK:      </dict>
3432//CHECK:      <dict>
3433//CHECK:       <key>kind</key><string>event</string>
3434//CHECK:       <key>location</key>
3435//CHECK:       <dict>
3436//CHECK:        <key>line</key><integer>118</integer>
3437//CHECK:        <key>col</key><integer>22</integer>
3438//CHECK:        <key>file</key><integer>0</integer>
3439//CHECK:       </dict>
3440//CHECK:       <key>ranges</key>
3441//CHECK:       <array>
3442//CHECK:         <array>
3443//CHECK:          <dict>
3444//CHECK:           <key>line</key><integer>118</integer>
3445//CHECK:           <key>col</key><integer>22</integer>
3446//CHECK:           <key>file</key><integer>0</integer>
3447//CHECK:          </dict>
3448//CHECK:          <dict>
3449//CHECK:           <key>line</key><integer>118</integer>
3450//CHECK:           <key>col</key><integer>31</integer>
3451//CHECK:           <key>file</key><integer>0</integer>
3452//CHECK:          </dict>
3453//CHECK:         </array>
3454//CHECK:       </array>
3455//CHECK:       <key>depth</key><integer>1</integer>
3456//CHECK:       <key>extended_message</key>
3457//CHECK:       <string>Memory is allocated</string>
3458//CHECK:       <key>message</key>
3459//CHECK:  <string>Memory is allocated</string>
3460//CHECK:      </dict>
3461//CHECK:      <dict>
3462//CHECK:       <key>kind</key><string>control</string>
3463//CHECK:       <key>edges</key>
3464//CHECK:        <array>
3465//CHECK:         <dict>
3466//CHECK:          <key>start</key>
3467//CHECK:           <array>
3468//CHECK:            <dict>
3469//CHECK:             <key>line</key><integer>118</integer>
3470//CHECK:             <key>col</key><integer>22</integer>
3471//CHECK:             <key>file</key><integer>0</integer>
3472//CHECK:            </dict>
3473//CHECK:            <dict>
3474//CHECK:             <key>line</key><integer>118</integer>
3475//CHECK:             <key>col</key><integer>31</integer>
3476//CHECK:             <key>file</key><integer>0</integer>
3477//CHECK:            </dict>
3478//CHECK:           </array>
3479//CHECK:          <key>end</key>
3480//CHECK:           <array>
3481//CHECK:            <dict>
3482//CHECK:             <key>line</key><integer>119</integer>
3483//CHECK:             <key>col</key><integer>5</integer>
3484//CHECK:             <key>file</key><integer>0</integer>
3485//CHECK:            </dict>
3486//CHECK:            <dict>
3487//CHECK:             <key>line</key><integer>119</integer>
3488//CHECK:             <key>col</key><integer>5</integer>
3489//CHECK:             <key>file</key><integer>0</integer>
3490//CHECK:            </dict>
3491//CHECK:           </array>
3492//CHECK:         </dict>
3493//CHECK:        </array>
3494//CHECK:      </dict>
3495//CHECK:      <dict>
3496//CHECK:       <key>kind</key><string>control</string>
3497//CHECK:       <key>edges</key>
3498//CHECK:        <array>
3499//CHECK:         <dict>
3500//CHECK:          <key>start</key>
3501//CHECK:           <array>
3502//CHECK:            <dict>
3503//CHECK:             <key>line</key><integer>119</integer>
3504//CHECK:             <key>col</key><integer>5</integer>
3505//CHECK:             <key>file</key><integer>0</integer>
3506//CHECK:            </dict>
3507//CHECK:            <dict>
3508//CHECK:             <key>line</key><integer>119</integer>
3509//CHECK:             <key>col</key><integer>5</integer>
3510//CHECK:             <key>file</key><integer>0</integer>
3511//CHECK:            </dict>
3512//CHECK:           </array>
3513//CHECK:          <key>end</key>
3514//CHECK:           <array>
3515//CHECK:            <dict>
3516//CHECK:             <key>line</key><integer>119</integer>
3517//CHECK:             <key>col</key><integer>9</integer>
3518//CHECK:             <key>file</key><integer>0</integer>
3519//CHECK:            </dict>
3520//CHECK:            <dict>
3521//CHECK:             <key>line</key><integer>119</integer>
3522//CHECK:             <key>col</key><integer>9</integer>
3523//CHECK:             <key>file</key><integer>0</integer>
3524//CHECK:            </dict>
3525//CHECK:           </array>
3526//CHECK:         </dict>
3527//CHECK:        </array>
3528//CHECK:      </dict>
3529//CHECK:      <dict>
3530//CHECK:       <key>kind</key><string>control</string>
3531//CHECK:       <key>edges</key>
3532//CHECK:        <array>
3533//CHECK:         <dict>
3534//CHECK:          <key>start</key>
3535//CHECK:           <array>
3536//CHECK:            <dict>
3537//CHECK:             <key>line</key><integer>119</integer>
3538//CHECK:             <key>col</key><integer>9</integer>
3539//CHECK:             <key>file</key><integer>0</integer>
3540//CHECK:            </dict>
3541//CHECK:            <dict>
3542//CHECK:             <key>line</key><integer>119</integer>
3543//CHECK:             <key>col</key><integer>9</integer>
3544//CHECK:             <key>file</key><integer>0</integer>
3545//CHECK:            </dict>
3546//CHECK:           </array>
3547//CHECK:          <key>end</key>
3548//CHECK:           <array>
3549//CHECK:            <dict>
3550//CHECK:             <key>line</key><integer>120</integer>
3551//CHECK:             <key>col</key><integer>9</integer>
3552//CHECK:             <key>file</key><integer>0</integer>
3553//CHECK:            </dict>
3554//CHECK:            <dict>
3555//CHECK:             <key>line</key><integer>120</integer>
3556//CHECK:             <key>col</key><integer>9</integer>
3557//CHECK:             <key>file</key><integer>0</integer>
3558//CHECK:            </dict>
3559//CHECK:           </array>
3560//CHECK:         </dict>
3561//CHECK:        </array>
3562//CHECK:      </dict>
3563//CHECK:      <dict>
3564//CHECK:       <key>kind</key><string>event</string>
3565//CHECK:       <key>location</key>
3566//CHECK:       <dict>
3567//CHECK:        <key>line</key><integer>120</integer>
3568//CHECK:        <key>col</key><integer>9</integer>
3569//CHECK:        <key>file</key><integer>0</integer>
3570//CHECK:       </dict>
3571//CHECK:       <key>ranges</key>
3572//CHECK:       <array>
3573//CHECK:         <array>
3574//CHECK:          <dict>
3575//CHECK:           <key>line</key><integer>120</integer>
3576//CHECK:           <key>col</key><integer>9</integer>
3577//CHECK:           <key>file</key><integer>0</integer>
3578//CHECK:          </dict>
3579//CHECK:          <dict>
3580//CHECK:           <key>line</key><integer>120</integer>
3581//CHECK:           <key>col</key><integer>9</integer>
3582//CHECK:           <key>file</key><integer>0</integer>
3583//CHECK:          </dict>
3584//CHECK:         </array>
3585//CHECK:       </array>
3586//CHECK:       <key>depth</key><integer>1</integer>
3587//CHECK:       <key>extended_message</key>
3588//CHECK:       <string>Memory is never released; potential leak of memory pointed to by &apos;x&apos;</string>
3589//CHECK:       <key>message</key>
3590//CHECK:  <string>Memory is never released; potential leak of memory pointed to by &apos;x&apos;</string>
3591//CHECK:      </dict>
3592//CHECK:     </array>
3593//CHECK:     <key>description</key><string>Memory is never released; potential leak of memory pointed to by &apos;x&apos;</string>
3594//CHECK:     <key>category</key><string>Memory Error</string>
3595//CHECK:     <key>type</key><string>Memory leak</string>
3596//CHECK:    <key>issue_context_kind</key><string>function</string>
3597//CHECK:    <key>issue_context</key><string>function_with_leak3</string>
3598//CHECK:    <key>location</key>
3599//CHECK:    <dict>
3600//CHECK:     <key>line</key><integer>120</integer>
3601//CHECK:     <key>col</key><integer>9</integer>
3602//CHECK:     <key>file</key><integer>0</integer>
3603//CHECK:    </dict>
3604//CHECK:    </dict>
3605//CHECK:    <dict>
3606//CHECK:     <key>path</key>
3607//CHECK:     <array>
3608//CHECK:      <dict>
3609//CHECK:       <key>kind</key><string>event</string>
3610//CHECK:       <key>location</key>
3611//CHECK:       <dict>
3612//CHECK:        <key>line</key><integer>134</integer>
3613//CHECK:        <key>col</key><integer>5</integer>
3614//CHECK:        <key>file</key><integer>0</integer>
3615//CHECK:       </dict>
3616//CHECK:       <key>ranges</key>
3617//CHECK:       <array>
3618//CHECK:         <array>
3619//CHECK:          <dict>
3620//CHECK:           <key>line</key><integer>134</integer>
3621//CHECK:           <key>col</key><integer>5</integer>
3622//CHECK:           <key>file</key><integer>0</integer>
3623//CHECK:          </dict>
3624//CHECK:          <dict>
3625//CHECK:           <key>line</key><integer>134</integer>
3626//CHECK:           <key>col</key><integer>26</integer>
3627//CHECK:           <key>file</key><integer>0</integer>
3628//CHECK:          </dict>
3629//CHECK:         </array>
3630//CHECK:       </array>
3631//CHECK:       <key>depth</key><integer>0</integer>
3632//CHECK:       <key>extended_message</key>
3633//CHECK:       <string>Calling &apos;function_with_leak4&apos;</string>
3634//CHECK:       <key>message</key>
3635//CHECK:  <string>Calling &apos;function_with_leak4&apos;</string>
3636//CHECK:      </dict>
3637//CHECK:      <dict>
3638//CHECK:       <key>kind</key><string>event</string>
3639//CHECK:       <key>location</key>
3640//CHECK:       <dict>
3641//CHECK:        <key>line</key><integer>126</integer>
3642//CHECK:        <key>col</key><integer>1</integer>
3643//CHECK:        <key>file</key><integer>0</integer>
3644//CHECK:       </dict>
3645//CHECK:       <key>depth</key><integer>1</integer>
3646//CHECK:       <key>extended_message</key>
3647//CHECK:       <string>Entered call from &apos;use_function_with_leak4&apos;</string>
3648//CHECK:       <key>message</key>
3649//CHECK:  <string>Entered call from &apos;use_function_with_leak4&apos;</string>
3650//CHECK:      </dict>
3651//CHECK:      <dict>
3652//CHECK:       <key>kind</key><string>control</string>
3653//CHECK:       <key>edges</key>
3654//CHECK:        <array>
3655//CHECK:         <dict>
3656//CHECK:          <key>start</key>
3657//CHECK:           <array>
3658//CHECK:            <dict>
3659//CHECK:             <key>line</key><integer>126</integer>
3660//CHECK:             <key>col</key><integer>1</integer>
3661//CHECK:             <key>file</key><integer>0</integer>
3662//CHECK:            </dict>
3663//CHECK:            <dict>
3664//CHECK:             <key>line</key><integer>126</integer>
3665//CHECK:             <key>col</key><integer>1</integer>
3666//CHECK:             <key>file</key><integer>0</integer>
3667//CHECK:            </dict>
3668//CHECK:           </array>
3669//CHECK:          <key>end</key>
3670//CHECK:           <array>
3671//CHECK:            <dict>
3672//CHECK:             <key>line</key><integer>127</integer>
3673//CHECK:             <key>col</key><integer>5</integer>
3674//CHECK:             <key>file</key><integer>0</integer>
3675//CHECK:            </dict>
3676//CHECK:            <dict>
3677//CHECK:             <key>line</key><integer>127</integer>
3678//CHECK:             <key>col</key><integer>5</integer>
3679//CHECK:             <key>file</key><integer>0</integer>
3680//CHECK:            </dict>
3681//CHECK:           </array>
3682//CHECK:         </dict>
3683//CHECK:        </array>
3684//CHECK:      </dict>
3685//CHECK:      <dict>
3686//CHECK:       <key>kind</key><string>control</string>
3687//CHECK:       <key>edges</key>
3688//CHECK:        <array>
3689//CHECK:         <dict>
3690//CHECK:          <key>start</key>
3691//CHECK:           <array>
3692//CHECK:            <dict>
3693//CHECK:             <key>line</key><integer>127</integer>
3694//CHECK:             <key>col</key><integer>5</integer>
3695//CHECK:             <key>file</key><integer>0</integer>
3696//CHECK:            </dict>
3697//CHECK:            <dict>
3698//CHECK:             <key>line</key><integer>127</integer>
3699//CHECK:             <key>col</key><integer>5</integer>
3700//CHECK:             <key>file</key><integer>0</integer>
3701//CHECK:            </dict>
3702//CHECK:           </array>
3703//CHECK:          <key>end</key>
3704//CHECK:           <array>
3705//CHECK:            <dict>
3706//CHECK:             <key>line</key><integer>127</integer>
3707//CHECK:             <key>col</key><integer>22</integer>
3708//CHECK:             <key>file</key><integer>0</integer>
3709//CHECK:            </dict>
3710//CHECK:            <dict>
3711//CHECK:             <key>line</key><integer>127</integer>
3712//CHECK:             <key>col</key><integer>31</integer>
3713//CHECK:             <key>file</key><integer>0</integer>
3714//CHECK:            </dict>
3715//CHECK:           </array>
3716//CHECK:         </dict>
3717//CHECK:        </array>
3718//CHECK:      </dict>
3719//CHECK:      <dict>
3720//CHECK:       <key>kind</key><string>event</string>
3721//CHECK:       <key>location</key>
3722//CHECK:       <dict>
3723//CHECK:        <key>line</key><integer>127</integer>
3724//CHECK:        <key>col</key><integer>22</integer>
3725//CHECK:        <key>file</key><integer>0</integer>
3726//CHECK:       </dict>
3727//CHECK:       <key>ranges</key>
3728//CHECK:       <array>
3729//CHECK:         <array>
3730//CHECK:          <dict>
3731//CHECK:           <key>line</key><integer>127</integer>
3732//CHECK:           <key>col</key><integer>22</integer>
3733//CHECK:           <key>file</key><integer>0</integer>
3734//CHECK:          </dict>
3735//CHECK:          <dict>
3736//CHECK:           <key>line</key><integer>127</integer>
3737//CHECK:           <key>col</key><integer>31</integer>
3738//CHECK:           <key>file</key><integer>0</integer>
3739//CHECK:          </dict>
3740//CHECK:         </array>
3741//CHECK:       </array>
3742//CHECK:       <key>depth</key><integer>1</integer>
3743//CHECK:       <key>extended_message</key>
3744//CHECK:       <string>Memory is allocated</string>
3745//CHECK:       <key>message</key>
3746//CHECK:  <string>Memory is allocated</string>
3747//CHECK:      </dict>
3748//CHECK:      <dict>
3749//CHECK:       <key>kind</key><string>control</string>
3750//CHECK:       <key>edges</key>
3751//CHECK:        <array>
3752//CHECK:         <dict>
3753//CHECK:          <key>start</key>
3754//CHECK:           <array>
3755//CHECK:            <dict>
3756//CHECK:             <key>line</key><integer>127</integer>
3757//CHECK:             <key>col</key><integer>22</integer>
3758//CHECK:             <key>file</key><integer>0</integer>
3759//CHECK:            </dict>
3760//CHECK:            <dict>
3761//CHECK:             <key>line</key><integer>127</integer>
3762//CHECK:             <key>col</key><integer>31</integer>
3763//CHECK:             <key>file</key><integer>0</integer>
3764//CHECK:            </dict>
3765//CHECK:           </array>
3766//CHECK:          <key>end</key>
3767//CHECK:           <array>
3768//CHECK:            <dict>
3769//CHECK:             <key>line</key><integer>128</integer>
3770//CHECK:             <key>col</key><integer>5</integer>
3771//CHECK:             <key>file</key><integer>0</integer>
3772//CHECK:            </dict>
3773//CHECK:            <dict>
3774//CHECK:             <key>line</key><integer>128</integer>
3775//CHECK:             <key>col</key><integer>5</integer>
3776//CHECK:             <key>file</key><integer>0</integer>
3777//CHECK:            </dict>
3778//CHECK:           </array>
3779//CHECK:         </dict>
3780//CHECK:        </array>
3781//CHECK:      </dict>
3782//CHECK:      <dict>
3783//CHECK:       <key>kind</key><string>control</string>
3784//CHECK:       <key>edges</key>
3785//CHECK:        <array>
3786//CHECK:         <dict>
3787//CHECK:          <key>start</key>
3788//CHECK:           <array>
3789//CHECK:            <dict>
3790//CHECK:             <key>line</key><integer>128</integer>
3791//CHECK:             <key>col</key><integer>5</integer>
3792//CHECK:             <key>file</key><integer>0</integer>
3793//CHECK:            </dict>
3794//CHECK:            <dict>
3795//CHECK:             <key>line</key><integer>128</integer>
3796//CHECK:             <key>col</key><integer>5</integer>
3797//CHECK:             <key>file</key><integer>0</integer>
3798//CHECK:            </dict>
3799//CHECK:           </array>
3800//CHECK:          <key>end</key>
3801//CHECK:           <array>
3802//CHECK:            <dict>
3803//CHECK:             <key>line</key><integer>128</integer>
3804//CHECK:             <key>col</key><integer>9</integer>
3805//CHECK:             <key>file</key><integer>0</integer>
3806//CHECK:            </dict>
3807//CHECK:            <dict>
3808//CHECK:             <key>line</key><integer>128</integer>
3809//CHECK:             <key>col</key><integer>9</integer>
3810//CHECK:             <key>file</key><integer>0</integer>
3811//CHECK:            </dict>
3812//CHECK:           </array>
3813//CHECK:         </dict>
3814//CHECK:        </array>
3815//CHECK:      </dict>
3816//CHECK:      <dict>
3817//CHECK:       <key>kind</key><string>control</string>
3818//CHECK:       <key>edges</key>
3819//CHECK:        <array>
3820//CHECK:         <dict>
3821//CHECK:          <key>start</key>
3822//CHECK:           <array>
3823//CHECK:            <dict>
3824//CHECK:             <key>line</key><integer>128</integer>
3825//CHECK:             <key>col</key><integer>9</integer>
3826//CHECK:             <key>file</key><integer>0</integer>
3827//CHECK:            </dict>
3828//CHECK:            <dict>
3829//CHECK:             <key>line</key><integer>128</integer>
3830//CHECK:             <key>col</key><integer>9</integer>
3831//CHECK:             <key>file</key><integer>0</integer>
3832//CHECK:            </dict>
3833//CHECK:           </array>
3834//CHECK:          <key>end</key>
3835//CHECK:           <array>
3836//CHECK:            <dict>
3837//CHECK:             <key>line</key><integer>131</integer>
3838//CHECK:             <key>col</key><integer>9</integer>
3839//CHECK:             <key>file</key><integer>0</integer>
3840//CHECK:            </dict>
3841//CHECK:            <dict>
3842//CHECK:             <key>line</key><integer>131</integer>
3843//CHECK:             <key>col</key><integer>9</integer>
3844//CHECK:             <key>file</key><integer>0</integer>
3845//CHECK:            </dict>
3846//CHECK:           </array>
3847//CHECK:         </dict>
3848//CHECK:        </array>
3849//CHECK:      </dict>
3850//CHECK:      <dict>
3851//CHECK:       <key>kind</key><string>event</string>
3852//CHECK:       <key>location</key>
3853//CHECK:       <dict>
3854//CHECK:        <key>line</key><integer>131</integer>
3855//CHECK:        <key>col</key><integer>9</integer>
3856//CHECK:        <key>file</key><integer>0</integer>
3857//CHECK:       </dict>
3858//CHECK:       <key>ranges</key>
3859//CHECK:       <array>
3860//CHECK:         <array>
3861//CHECK:          <dict>
3862//CHECK:           <key>line</key><integer>131</integer>
3863//CHECK:           <key>col</key><integer>9</integer>
3864//CHECK:           <key>file</key><integer>0</integer>
3865//CHECK:          </dict>
3866//CHECK:          <dict>
3867//CHECK:           <key>line</key><integer>131</integer>
3868//CHECK:           <key>col</key><integer>9</integer>
3869//CHECK:           <key>file</key><integer>0</integer>
3870//CHECK:          </dict>
3871//CHECK:         </array>
3872//CHECK:       </array>
3873//CHECK:       <key>depth</key><integer>1</integer>
3874//CHECK:       <key>extended_message</key>
3875//CHECK:       <string>Memory is never released; potential leak of memory pointed to by &apos;x&apos;</string>
3876//CHECK:       <key>message</key>
3877//CHECK:  <string>Memory is never released; potential leak of memory pointed to by &apos;x&apos;</string>
3878//CHECK:      </dict>
3879//CHECK:     </array>
3880//CHECK:     <key>description</key><string>Memory is never released; potential leak of memory pointed to by &apos;x&apos;</string>
3881//CHECK:     <key>category</key><string>Memory Error</string>
3882//CHECK:     <key>type</key><string>Memory leak</string>
3883//CHECK:    <key>issue_context_kind</key><string>function</string>
3884//CHECK:    <key>issue_context</key><string>function_with_leak4</string>
3885//CHECK:    <key>location</key>
3886//CHECK:    <dict>
3887//CHECK:     <key>line</key><integer>131</integer>
3888//CHECK:     <key>col</key><integer>9</integer>
3889//CHECK:     <key>file</key><integer>0</integer>
3890//CHECK:    </dict>
3891//CHECK:    </dict>
3892//CHECK:    <dict>
3893//CHECK:     <key>path</key>
3894//CHECK:     <array>
3895//CHECK:      <dict>
3896//CHECK:       <key>kind</key><string>event</string>
3897//CHECK:       <key>location</key>
3898//CHECK:       <dict>
3899//CHECK:        <key>line</key><integer>145</integer>
3900//CHECK:        <key>col</key><integer>5</integer>
3901//CHECK:        <key>file</key><integer>0</integer>
3902//CHECK:       </dict>
3903//CHECK:       <key>ranges</key>
3904//CHECK:       <array>
3905//CHECK:         <array>
3906//CHECK:          <dict>
3907//CHECK:           <key>line</key><integer>145</integer>
3908//CHECK:           <key>col</key><integer>5</integer>
3909//CHECK:           <key>file</key><integer>0</integer>
3910//CHECK:          </dict>
3911//CHECK:          <dict>
3912//CHECK:           <key>line</key><integer>145</integer>
3913//CHECK:           <key>col</key><integer>25</integer>
3914//CHECK:           <key>file</key><integer>0</integer>
3915//CHECK:          </dict>
3916//CHECK:         </array>
3917//CHECK:       </array>
3918//CHECK:       <key>depth</key><integer>0</integer>
3919//CHECK:       <key>extended_message</key>
3920//CHECK:       <string>Calling &apos;function_with_leak5&apos;</string>
3921//CHECK:       <key>message</key>
3922//CHECK:  <string>Calling &apos;function_with_leak5&apos;</string>
3923//CHECK:      </dict>
3924//CHECK:      <dict>
3925//CHECK:       <key>kind</key><string>event</string>
3926//CHECK:       <key>location</key>
3927//CHECK:       <dict>
3928//CHECK:        <key>line</key><integer>140</integer>
3929//CHECK:        <key>col</key><integer>1</integer>
3930//CHECK:        <key>file</key><integer>0</integer>
3931//CHECK:       </dict>
3932//CHECK:       <key>depth</key><integer>1</integer>
3933//CHECK:       <key>extended_message</key>
3934//CHECK:       <string>Entered call from &apos;use_function_with_leak5&apos;</string>
3935//CHECK:       <key>message</key>
3936//CHECK:  <string>Entered call from &apos;use_function_with_leak5&apos;</string>
3937//CHECK:      </dict>
3938//CHECK:      <dict>
3939//CHECK:       <key>kind</key><string>control</string>
3940//CHECK:       <key>edges</key>
3941//CHECK:        <array>
3942//CHECK:         <dict>
3943//CHECK:          <key>start</key>
3944//CHECK:           <array>
3945//CHECK:            <dict>
3946//CHECK:             <key>line</key><integer>140</integer>
3947//CHECK:             <key>col</key><integer>1</integer>
3948//CHECK:             <key>file</key><integer>0</integer>
3949//CHECK:            </dict>
3950//CHECK:            <dict>
3951//CHECK:             <key>line</key><integer>140</integer>
3952//CHECK:             <key>col</key><integer>1</integer>
3953//CHECK:             <key>file</key><integer>0</integer>
3954//CHECK:            </dict>
3955//CHECK:           </array>
3956//CHECK:          <key>end</key>
3957//CHECK:           <array>
3958//CHECK:            <dict>
3959//CHECK:             <key>line</key><integer>141</integer>
3960//CHECK:             <key>col</key><integer>5</integer>
3961//CHECK:             <key>file</key><integer>0</integer>
3962//CHECK:            </dict>
3963//CHECK:            <dict>
3964//CHECK:             <key>line</key><integer>141</integer>
3965//CHECK:             <key>col</key><integer>5</integer>
3966//CHECK:             <key>file</key><integer>0</integer>
3967//CHECK:            </dict>
3968//CHECK:           </array>
3969//CHECK:         </dict>
3970//CHECK:        </array>
3971//CHECK:      </dict>
3972//CHECK:      <dict>
3973//CHECK:       <key>kind</key><string>control</string>
3974//CHECK:       <key>edges</key>
3975//CHECK:        <array>
3976//CHECK:         <dict>
3977//CHECK:          <key>start</key>
3978//CHECK:           <array>
3979//CHECK:            <dict>
3980//CHECK:             <key>line</key><integer>141</integer>
3981//CHECK:             <key>col</key><integer>5</integer>
3982//CHECK:             <key>file</key><integer>0</integer>
3983//CHECK:            </dict>
3984//CHECK:            <dict>
3985//CHECK:             <key>line</key><integer>141</integer>
3986//CHECK:             <key>col</key><integer>5</integer>
3987//CHECK:             <key>file</key><integer>0</integer>
3988//CHECK:            </dict>
3989//CHECK:           </array>
3990//CHECK:          <key>end</key>
3991//CHECK:           <array>
3992//CHECK:            <dict>
3993//CHECK:             <key>line</key><integer>141</integer>
3994//CHECK:             <key>col</key><integer>22</integer>
3995//CHECK:             <key>file</key><integer>0</integer>
3996//CHECK:            </dict>
3997//CHECK:            <dict>
3998//CHECK:             <key>line</key><integer>141</integer>
3999//CHECK:             <key>col</key><integer>31</integer>
4000//CHECK:             <key>file</key><integer>0</integer>
4001//CHECK:            </dict>
4002//CHECK:           </array>
4003//CHECK:         </dict>
4004//CHECK:        </array>
4005//CHECK:      </dict>
4006//CHECK:      <dict>
4007//CHECK:       <key>kind</key><string>event</string>
4008//CHECK:       <key>location</key>
4009//CHECK:       <dict>
4010//CHECK:        <key>line</key><integer>141</integer>
4011//CHECK:        <key>col</key><integer>22</integer>
4012//CHECK:        <key>file</key><integer>0</integer>
4013//CHECK:       </dict>
4014//CHECK:       <key>ranges</key>
4015//CHECK:       <array>
4016//CHECK:         <array>
4017//CHECK:          <dict>
4018//CHECK:           <key>line</key><integer>141</integer>
4019//CHECK:           <key>col</key><integer>22</integer>
4020//CHECK:           <key>file</key><integer>0</integer>
4021//CHECK:          </dict>
4022//CHECK:          <dict>
4023//CHECK:           <key>line</key><integer>141</integer>
4024//CHECK:           <key>col</key><integer>31</integer>
4025//CHECK:           <key>file</key><integer>0</integer>
4026//CHECK:          </dict>
4027//CHECK:         </array>
4028//CHECK:       </array>
4029//CHECK:       <key>depth</key><integer>1</integer>
4030//CHECK:       <key>extended_message</key>
4031//CHECK:       <string>Memory is allocated</string>
4032//CHECK:       <key>message</key>
4033//CHECK:  <string>Memory is allocated</string>
4034//CHECK:      </dict>
4035//CHECK:      <dict>
4036//CHECK:       <key>kind</key><string>control</string>
4037//CHECK:       <key>edges</key>
4038//CHECK:        <array>
4039//CHECK:         <dict>
4040//CHECK:          <key>start</key>
4041//CHECK:           <array>
4042//CHECK:            <dict>
4043//CHECK:             <key>line</key><integer>141</integer>
4044//CHECK:             <key>col</key><integer>22</integer>
4045//CHECK:             <key>file</key><integer>0</integer>
4046//CHECK:            </dict>
4047//CHECK:            <dict>
4048//CHECK:             <key>line</key><integer>141</integer>
4049//CHECK:             <key>col</key><integer>31</integer>
4050//CHECK:             <key>file</key><integer>0</integer>
4051//CHECK:            </dict>
4052//CHECK:           </array>
4053//CHECK:          <key>end</key>
4054//CHECK:           <array>
4055//CHECK:            <dict>
4056//CHECK:             <key>line</key><integer>142</integer>
4057//CHECK:             <key>col</key><integer>12</integer>
4058//CHECK:             <key>file</key><integer>0</integer>
4059//CHECK:            </dict>
4060//CHECK:            <dict>
4061//CHECK:             <key>line</key><integer>142</integer>
4062//CHECK:             <key>col</key><integer>29</integer>
4063//CHECK:             <key>file</key><integer>0</integer>
4064//CHECK:            </dict>
4065//CHECK:           </array>
4066//CHECK:         </dict>
4067//CHECK:        </array>
4068//CHECK:      </dict>
4069//CHECK:      <dict>
4070//CHECK:       <key>kind</key><string>event</string>
4071//CHECK:       <key>location</key>
4072//CHECK:       <dict>
4073//CHECK:        <key>line</key><integer>142</integer>
4074//CHECK:        <key>col</key><integer>12</integer>
4075//CHECK:        <key>file</key><integer>0</integer>
4076//CHECK:       </dict>
4077//CHECK:       <key>ranges</key>
4078//CHECK:       <array>
4079//CHECK:         <array>
4080//CHECK:          <dict>
4081//CHECK:           <key>line</key><integer>142</integer>
4082//CHECK:           <key>col</key><integer>12</integer>
4083//CHECK:           <key>file</key><integer>0</integer>
4084//CHECK:          </dict>
4085//CHECK:          <dict>
4086//CHECK:           <key>line</key><integer>142</integer>
4087//CHECK:           <key>col</key><integer>29</integer>
4088//CHECK:           <key>file</key><integer>0</integer>
4089//CHECK:          </dict>
4090//CHECK:         </array>
4091//CHECK:       </array>
4092//CHECK:       <key>depth</key><integer>1</integer>
4093//CHECK:       <key>extended_message</key>
4094//CHECK:       <string>Memory is never released; potential leak of memory pointed to by &apos;x&apos;</string>
4095//CHECK:       <key>message</key>
4096//CHECK:  <string>Memory is never released; potential leak of memory pointed to by &apos;x&apos;</string>
4097//CHECK:      </dict>
4098//CHECK:     </array>
4099//CHECK:     <key>description</key><string>Memory is never released; potential leak of memory pointed to by &apos;x&apos;</string>
4100//CHECK:     <key>category</key><string>Memory Error</string>
4101//CHECK:     <key>type</key><string>Memory leak</string>
4102//CHECK:    <key>issue_context_kind</key><string>function</string>
4103//CHECK:    <key>issue_context</key><string>function_with_leak5</string>
4104//CHECK:    <key>location</key>
4105//CHECK:    <dict>
4106//CHECK:     <key>line</key><integer>142</integer>
4107//CHECK:     <key>col</key><integer>12</integer>
4108//CHECK:     <key>file</key><integer>0</integer>
4109//CHECK:    </dict>
4110//CHECK:    </dict>
4111//CHECK:    <dict>
4112//CHECK:     <key>path</key>
4113//CHECK:     <array>
4114//CHECK:      <dict>
4115//CHECK:       <key>kind</key><string>event</string>
4116//CHECK:       <key>location</key>
4117//CHECK:       <dict>
4118//CHECK:        <key>line</key><integer>156</integer>
4119//CHECK:        <key>col</key><integer>5</integer>
4120//CHECK:        <key>file</key><integer>0</integer>
4121//CHECK:       </dict>
4122//CHECK:       <key>ranges</key>
4123//CHECK:       <array>
4124//CHECK:         <array>
4125//CHECK:          <dict>
4126//CHECK:           <key>line</key><integer>156</integer>
4127//CHECK:           <key>col</key><integer>5</integer>
4128//CHECK:           <key>file</key><integer>0</integer>
4129//CHECK:          </dict>
4130//CHECK:          <dict>
4131//CHECK:           <key>line</key><integer>156</integer>
4132//CHECK:           <key>col</key><integer>25</integer>
4133//CHECK:           <key>file</key><integer>0</integer>
4134//CHECK:          </dict>
4135//CHECK:         </array>
4136//CHECK:       </array>
4137//CHECK:       <key>depth</key><integer>0</integer>
4138//CHECK:       <key>extended_message</key>
4139//CHECK:       <string>Calling &apos;function_with_leak6&apos;</string>
4140//CHECK:       <key>message</key>
4141//CHECK:  <string>Calling &apos;function_with_leak6&apos;</string>
4142//CHECK:      </dict>
4143//CHECK:      <dict>
4144//CHECK:       <key>kind</key><string>event</string>
4145//CHECK:       <key>location</key>
4146//CHECK:       <dict>
4147//CHECK:        <key>line</key><integer>151</integer>
4148//CHECK:        <key>col</key><integer>1</integer>
4149//CHECK:        <key>file</key><integer>0</integer>
4150//CHECK:       </dict>
4151//CHECK:       <key>depth</key><integer>1</integer>
4152//CHECK:       <key>extended_message</key>
4153//CHECK:       <string>Entered call from &apos;use_function_with_leak6&apos;</string>
4154//CHECK:       <key>message</key>
4155//CHECK:  <string>Entered call from &apos;use_function_with_leak6&apos;</string>
4156//CHECK:      </dict>
4157//CHECK:      <dict>
4158//CHECK:       <key>kind</key><string>control</string>
4159//CHECK:       <key>edges</key>
4160//CHECK:        <array>
4161//CHECK:         <dict>
4162//CHECK:          <key>start</key>
4163//CHECK:           <array>
4164//CHECK:            <dict>
4165//CHECK:             <key>line</key><integer>151</integer>
4166//CHECK:             <key>col</key><integer>1</integer>
4167//CHECK:             <key>file</key><integer>0</integer>
4168//CHECK:            </dict>
4169//CHECK:            <dict>
4170//CHECK:             <key>line</key><integer>151</integer>
4171//CHECK:             <key>col</key><integer>1</integer>
4172//CHECK:             <key>file</key><integer>0</integer>
4173//CHECK:            </dict>
4174//CHECK:           </array>
4175//CHECK:          <key>end</key>
4176//CHECK:           <array>
4177//CHECK:            <dict>
4178//CHECK:             <key>line</key><integer>152</integer>
4179//CHECK:             <key>col</key><integer>5</integer>
4180//CHECK:             <key>file</key><integer>0</integer>
4181//CHECK:            </dict>
4182//CHECK:            <dict>
4183//CHECK:             <key>line</key><integer>152</integer>
4184//CHECK:             <key>col</key><integer>5</integer>
4185//CHECK:             <key>file</key><integer>0</integer>
4186//CHECK:            </dict>
4187//CHECK:           </array>
4188//CHECK:         </dict>
4189//CHECK:        </array>
4190//CHECK:      </dict>
4191//CHECK:      <dict>
4192//CHECK:       <key>kind</key><string>control</string>
4193//CHECK:       <key>edges</key>
4194//CHECK:        <array>
4195//CHECK:         <dict>
4196//CHECK:          <key>start</key>
4197//CHECK:           <array>
4198//CHECK:            <dict>
4199//CHECK:             <key>line</key><integer>152</integer>
4200//CHECK:             <key>col</key><integer>5</integer>
4201//CHECK:             <key>file</key><integer>0</integer>
4202//CHECK:            </dict>
4203//CHECK:            <dict>
4204//CHECK:             <key>line</key><integer>152</integer>
4205//CHECK:             <key>col</key><integer>5</integer>
4206//CHECK:             <key>file</key><integer>0</integer>
4207//CHECK:            </dict>
4208//CHECK:           </array>
4209//CHECK:          <key>end</key>
4210//CHECK:           <array>
4211//CHECK:            <dict>
4212//CHECK:             <key>line</key><integer>152</integer>
4213//CHECK:             <key>col</key><integer>22</integer>
4214//CHECK:             <key>file</key><integer>0</integer>
4215//CHECK:            </dict>
4216//CHECK:            <dict>
4217//CHECK:             <key>line</key><integer>152</integer>
4218//CHECK:             <key>col</key><integer>31</integer>
4219//CHECK:             <key>file</key><integer>0</integer>
4220//CHECK:            </dict>
4221//CHECK:           </array>
4222//CHECK:         </dict>
4223//CHECK:        </array>
4224//CHECK:      </dict>
4225//CHECK:      <dict>
4226//CHECK:       <key>kind</key><string>event</string>
4227//CHECK:       <key>location</key>
4228//CHECK:       <dict>
4229//CHECK:        <key>line</key><integer>152</integer>
4230//CHECK:        <key>col</key><integer>22</integer>
4231//CHECK:        <key>file</key><integer>0</integer>
4232//CHECK:       </dict>
4233//CHECK:       <key>ranges</key>
4234//CHECK:       <array>
4235//CHECK:         <array>
4236//CHECK:          <dict>
4237//CHECK:           <key>line</key><integer>152</integer>
4238//CHECK:           <key>col</key><integer>22</integer>
4239//CHECK:           <key>file</key><integer>0</integer>
4240//CHECK:          </dict>
4241//CHECK:          <dict>
4242//CHECK:           <key>line</key><integer>152</integer>
4243//CHECK:           <key>col</key><integer>31</integer>
4244//CHECK:           <key>file</key><integer>0</integer>
4245//CHECK:          </dict>
4246//CHECK:         </array>
4247//CHECK:       </array>
4248//CHECK:       <key>depth</key><integer>1</integer>
4249//CHECK:       <key>extended_message</key>
4250//CHECK:       <string>Memory is allocated</string>
4251//CHECK:       <key>message</key>
4252//CHECK:  <string>Memory is allocated</string>
4253//CHECK:      </dict>
4254//CHECK:      <dict>
4255//CHECK:       <key>kind</key><string>control</string>
4256//CHECK:       <key>edges</key>
4257//CHECK:        <array>
4258//CHECK:         <dict>
4259//CHECK:          <key>start</key>
4260//CHECK:           <array>
4261//CHECK:            <dict>
4262//CHECK:             <key>line</key><integer>152</integer>
4263//CHECK:             <key>col</key><integer>22</integer>
4264//CHECK:             <key>file</key><integer>0</integer>
4265//CHECK:            </dict>
4266//CHECK:            <dict>
4267//CHECK:             <key>line</key><integer>152</integer>
4268//CHECK:             <key>col</key><integer>31</integer>
4269//CHECK:             <key>file</key><integer>0</integer>
4270//CHECK:            </dict>
4271//CHECK:           </array>
4272//CHECK:          <key>end</key>
4273//CHECK:           <array>
4274//CHECK:            <dict>
4275//CHECK:             <key>line</key><integer>153</integer>
4276//CHECK:             <key>col</key><integer>5</integer>
4277//CHECK:             <key>file</key><integer>0</integer>
4278//CHECK:            </dict>
4279//CHECK:            <dict>
4280//CHECK:             <key>line</key><integer>153</integer>
4281//CHECK:             <key>col</key><integer>23</integer>
4282//CHECK:             <key>file</key><integer>0</integer>
4283//CHECK:            </dict>
4284//CHECK:           </array>
4285//CHECK:         </dict>
4286//CHECK:        </array>
4287//CHECK:      </dict>
4288//CHECK:      <dict>
4289//CHECK:       <key>kind</key><string>event</string>
4290//CHECK:       <key>location</key>
4291//CHECK:       <dict>
4292//CHECK:        <key>line</key><integer>153</integer>
4293//CHECK:        <key>col</key><integer>5</integer>
4294//CHECK:        <key>file</key><integer>0</integer>
4295//CHECK:       </dict>
4296//CHECK:       <key>ranges</key>
4297//CHECK:       <array>
4298//CHECK:         <array>
4299//CHECK:          <dict>
4300//CHECK:           <key>line</key><integer>153</integer>
4301//CHECK:           <key>col</key><integer>5</integer>
4302//CHECK:           <key>file</key><integer>0</integer>
4303//CHECK:          </dict>
4304//CHECK:          <dict>
4305//CHECK:           <key>line</key><integer>153</integer>
4306//CHECK:           <key>col</key><integer>23</integer>
4307//CHECK:           <key>file</key><integer>0</integer>
4308//CHECK:          </dict>
4309//CHECK:         </array>
4310//CHECK:       </array>
4311//CHECK:       <key>depth</key><integer>1</integer>
4312//CHECK:       <key>extended_message</key>
4313//CHECK:       <string>Memory is never released; potential leak of memory pointed to by &apos;x&apos;</string>
4314//CHECK:       <key>message</key>
4315//CHECK:  <string>Memory is never released; potential leak of memory pointed to by &apos;x&apos;</string>
4316//CHECK:      </dict>
4317//CHECK:     </array>
4318//CHECK:     <key>description</key><string>Memory is never released; potential leak of memory pointed to by &apos;x&apos;</string>
4319//CHECK:     <key>category</key><string>Memory Error</string>
4320//CHECK:     <key>type</key><string>Memory leak</string>
4321//CHECK:    <key>issue_context_kind</key><string>function</string>
4322//CHECK:    <key>issue_context</key><string>function_with_leak6</string>
4323//CHECK:    <key>location</key>
4324//CHECK:    <dict>
4325//CHECK:     <key>line</key><integer>153</integer>
4326//CHECK:     <key>col</key><integer>5</integer>
4327//CHECK:     <key>file</key><integer>0</integer>
4328//CHECK:    </dict>
4329//CHECK:    </dict>
4330//CHECK:    <dict>
4331//CHECK:     <key>path</key>
4332//CHECK:     <array>
4333//CHECK:      <dict>
4334//CHECK:       <key>kind</key><string>event</string>
4335//CHECK:       <key>location</key>
4336//CHECK:       <dict>
4337//CHECK:        <key>line</key><integer>168</integer>
4338//CHECK:        <key>col</key><integer>5</integer>
4339//CHECK:        <key>file</key><integer>0</integer>
4340//CHECK:       </dict>
4341//CHECK:       <key>ranges</key>
4342//CHECK:       <array>
4343//CHECK:         <array>
4344//CHECK:          <dict>
4345//CHECK:           <key>line</key><integer>168</integer>
4346//CHECK:           <key>col</key><integer>5</integer>
4347//CHECK:           <key>file</key><integer>0</integer>
4348//CHECK:          </dict>
4349//CHECK:          <dict>
4350//CHECK:           <key>line</key><integer>168</integer>
4351//CHECK:           <key>col</key><integer>25</integer>
4352//CHECK:           <key>file</key><integer>0</integer>
4353//CHECK:          </dict>
4354//CHECK:         </array>
4355//CHECK:       </array>
4356//CHECK:       <key>depth</key><integer>0</integer>
4357//CHECK:       <key>extended_message</key>
4358//CHECK:       <string>Calling &apos;function_with_leak7&apos;</string>
4359//CHECK:       <key>message</key>
4360//CHECK:  <string>Calling &apos;function_with_leak7&apos;</string>
4361//CHECK:      </dict>
4362//CHECK:      <dict>
4363//CHECK:       <key>kind</key><string>event</string>
4364//CHECK:       <key>location</key>
4365//CHECK:       <dict>
4366//CHECK:        <key>line</key><integer>164</integer>
4367//CHECK:        <key>col</key><integer>1</integer>
4368//CHECK:        <key>file</key><integer>0</integer>
4369//CHECK:       </dict>
4370//CHECK:       <key>depth</key><integer>1</integer>
4371//CHECK:       <key>extended_message</key>
4372//CHECK:       <string>Entered call from &apos;use_function_with_leak7&apos;</string>
4373//CHECK:       <key>message</key>
4374//CHECK:  <string>Entered call from &apos;use_function_with_leak7&apos;</string>
4375//CHECK:      </dict>
4376//CHECK:      <dict>
4377//CHECK:       <key>kind</key><string>control</string>
4378//CHECK:       <key>edges</key>
4379//CHECK:        <array>
4380//CHECK:         <dict>
4381//CHECK:          <key>start</key>
4382//CHECK:           <array>
4383//CHECK:            <dict>
4384//CHECK:             <key>line</key><integer>164</integer>
4385//CHECK:             <key>col</key><integer>1</integer>
4386//CHECK:             <key>file</key><integer>0</integer>
4387//CHECK:            </dict>
4388//CHECK:            <dict>
4389//CHECK:             <key>line</key><integer>164</integer>
4390//CHECK:             <key>col</key><integer>1</integer>
4391//CHECK:             <key>file</key><integer>0</integer>
4392//CHECK:            </dict>
4393//CHECK:           </array>
4394//CHECK:          <key>end</key>
4395//CHECK:           <array>
4396//CHECK:            <dict>
4397//CHECK:             <key>line</key><integer>165</integer>
4398//CHECK:             <key>col</key><integer>5</integer>
4399//CHECK:             <key>file</key><integer>0</integer>
4400//CHECK:            </dict>
4401//CHECK:            <dict>
4402//CHECK:             <key>line</key><integer>165</integer>
4403//CHECK:             <key>col</key><integer>5</integer>
4404//CHECK:             <key>file</key><integer>0</integer>
4405//CHECK:            </dict>
4406//CHECK:           </array>
4407//CHECK:         </dict>
4408//CHECK:        </array>
4409//CHECK:      </dict>
4410//CHECK:      <dict>
4411//CHECK:       <key>kind</key><string>control</string>
4412//CHECK:       <key>edges</key>
4413//CHECK:        <array>
4414//CHECK:         <dict>
4415//CHECK:          <key>start</key>
4416//CHECK:           <array>
4417//CHECK:            <dict>
4418//CHECK:             <key>line</key><integer>165</integer>
4419//CHECK:             <key>col</key><integer>5</integer>
4420//CHECK:             <key>file</key><integer>0</integer>
4421//CHECK:            </dict>
4422//CHECK:            <dict>
4423//CHECK:             <key>line</key><integer>165</integer>
4424//CHECK:             <key>col</key><integer>5</integer>
4425//CHECK:             <key>file</key><integer>0</integer>
4426//CHECK:            </dict>
4427//CHECK:           </array>
4428//CHECK:          <key>end</key>
4429//CHECK:           <array>
4430//CHECK:            <dict>
4431//CHECK:             <key>line</key><integer>165</integer>
4432//CHECK:             <key>col</key><integer>19</integer>
4433//CHECK:             <key>file</key><integer>0</integer>
4434//CHECK:            </dict>
4435//CHECK:            <dict>
4436//CHECK:             <key>line</key><integer>165</integer>
4437//CHECK:             <key>col</key><integer>28</integer>
4438//CHECK:             <key>file</key><integer>0</integer>
4439//CHECK:            </dict>
4440//CHECK:           </array>
4441//CHECK:         </dict>
4442//CHECK:        </array>
4443//CHECK:      </dict>
4444//CHECK:      <dict>
4445//CHECK:       <key>kind</key><string>event</string>
4446//CHECK:       <key>location</key>
4447//CHECK:       <dict>
4448//CHECK:        <key>line</key><integer>165</integer>
4449//CHECK:        <key>col</key><integer>19</integer>
4450//CHECK:        <key>file</key><integer>0</integer>
4451//CHECK:       </dict>
4452//CHECK:       <key>ranges</key>
4453//CHECK:       <array>
4454//CHECK:         <array>
4455//CHECK:          <dict>
4456//CHECK:           <key>line</key><integer>165</integer>
4457//CHECK:           <key>col</key><integer>19</integer>
4458//CHECK:           <key>file</key><integer>0</integer>
4459//CHECK:          </dict>
4460//CHECK:          <dict>
4461//CHECK:           <key>line</key><integer>165</integer>
4462//CHECK:           <key>col</key><integer>28</integer>
4463//CHECK:           <key>file</key><integer>0</integer>
4464//CHECK:          </dict>
4465//CHECK:         </array>
4466//CHECK:       </array>
4467//CHECK:       <key>depth</key><integer>1</integer>
4468//CHECK:       <key>extended_message</key>
4469//CHECK:       <string>Memory is allocated</string>
4470//CHECK:       <key>message</key>
4471//CHECK:  <string>Memory is allocated</string>
4472//CHECK:      </dict>
4473//CHECK:      <dict>
4474//CHECK:       <key>kind</key><string>event</string>
4475//CHECK:       <key>location</key>
4476//CHECK:       <dict>
4477//CHECK:        <key>line</key><integer>168</integer>
4478//CHECK:        <key>col</key><integer>5</integer>
4479//CHECK:        <key>file</key><integer>0</integer>
4480//CHECK:       </dict>
4481//CHECK:       <key>ranges</key>
4482//CHECK:       <array>
4483//CHECK:         <array>
4484//CHECK:          <dict>
4485//CHECK:           <key>line</key><integer>168</integer>
4486//CHECK:           <key>col</key><integer>5</integer>
4487//CHECK:           <key>file</key><integer>0</integer>
4488//CHECK:          </dict>
4489//CHECK:          <dict>
4490//CHECK:           <key>line</key><integer>168</integer>
4491//CHECK:           <key>col</key><integer>25</integer>
4492//CHECK:           <key>file</key><integer>0</integer>
4493//CHECK:          </dict>
4494//CHECK:         </array>
4495//CHECK:       </array>
4496//CHECK:       <key>depth</key><integer>1</integer>
4497//CHECK:       <key>extended_message</key>
4498//CHECK:       <string>Returned allocated memory</string>
4499//CHECK:       <key>message</key>
4500//CHECK:  <string>Returned allocated memory</string>
4501//CHECK:      </dict>
4502//CHECK:      <dict>
4503//CHECK:       <key>kind</key><string>control</string>
4504//CHECK:       <key>edges</key>
4505//CHECK:        <array>
4506//CHECK:         <dict>
4507//CHECK:          <key>start</key>
4508//CHECK:           <array>
4509//CHECK:            <dict>
4510//CHECK:             <key>line</key><integer>168</integer>
4511//CHECK:             <key>col</key><integer>5</integer>
4512//CHECK:             <key>file</key><integer>0</integer>
4513//CHECK:            </dict>
4514//CHECK:            <dict>
4515//CHECK:             <key>line</key><integer>168</integer>
4516//CHECK:             <key>col</key><integer>25</integer>
4517//CHECK:             <key>file</key><integer>0</integer>
4518//CHECK:            </dict>
4519//CHECK:           </array>
4520//CHECK:          <key>end</key>
4521//CHECK:           <array>
4522//CHECK:            <dict>
4523//CHECK:             <key>line</key><integer>169</integer>
4524//CHECK:             <key>col</key><integer>1</integer>
4525//CHECK:             <key>file</key><integer>0</integer>
4526//CHECK:            </dict>
4527//CHECK:            <dict>
4528//CHECK:             <key>line</key><integer>169</integer>
4529//CHECK:             <key>col</key><integer>1</integer>
4530//CHECK:             <key>file</key><integer>0</integer>
4531//CHECK:            </dict>
4532//CHECK:           </array>
4533//CHECK:         </dict>
4534//CHECK:        </array>
4535//CHECK:      </dict>
4536//CHECK:      <dict>
4537//CHECK:       <key>kind</key><string>event</string>
4538//CHECK:       <key>location</key>
4539//CHECK:       <dict>
4540//CHECK:        <key>line</key><integer>169</integer>
4541//CHECK:        <key>col</key><integer>1</integer>
4542//CHECK:        <key>file</key><integer>0</integer>
4543//CHECK:       </dict>
4544//CHECK:       <key>depth</key><integer>0</integer>
4545//CHECK:       <key>extended_message</key>
4546//CHECK:       <string>Memory is never released; potential leak</string>
4547//CHECK:       <key>message</key>
4548//CHECK:  <string>Memory is never released; potential leak</string>
4549//CHECK:      </dict>
4550//CHECK:     </array>
4551//CHECK:     <key>description</key><string>Memory is never released; potential leak</string>
4552//CHECK:     <key>category</key><string>Memory Error</string>
4553//CHECK:     <key>type</key><string>Memory leak</string>
4554//CHECK:    <key>issue_context_kind</key><string>function</string>
4555//CHECK:    <key>issue_context</key><string>use_function_with_leak7</string>
4556//CHECK:    <key>location</key>
4557//CHECK:    <dict>
4558//CHECK:     <key>line</key><integer>169</integer>
4559//CHECK:     <key>col</key><integer>1</integer>
4560//CHECK:     <key>file</key><integer>0</integer>
4561//CHECK:    </dict>
4562//CHECK:    </dict>
4563//CHECK:   </array>
4564//CHECK:  </dict>
4565//CHECK:  </plist>
4566