blob: 440be1d5f5ad67f19f71a1552db30c16573864b8 [file] [log] [blame]
Anna Zaksd42e8282012-03-21 19:44:57 +00001// RUN: %clang_cc1 -analyze -analyzer-checker=unix.Malloc -analyzer-output=plist -o %t %s
Ted Kremenek1e809b42012-03-09 01:13:14 +00002// RUN: FileCheck --input-file %t %s
Anna Zaks95308d32012-02-16 03:41:01 +00003
4typedef __typeof(sizeof(int)) size_t;
5void *malloc(size_t);
Anna Zaks9eb7bc82012-02-16 22:26:07 +00006void free(void *);
7void *realloc(void *ptr, size_t size);
Anna Zaks95308d32012-02-16 03:41:01 +00008
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
Anna Zaks9eb7bc82012-02-16 22:26:07 +000023void 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
Ted Kremenek1e809b42012-03-09 01:13:14 +000034void *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
Anna Zaks1ff57d52012-03-15 21:13:02 +000047// Test what happens when the same call frees and allocated memory.
Anna Zakscba4f292012-03-16 23:24:20 +000048// Also tests the stack hint for parameters, when they are passed directly or via pointer.
Anna Zaks1ff57d52012-03-15 21:13:02 +000049void 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
Anna Zakscba4f292012-03-16 23:24:20 +000064// 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
Anna Zaksfc2e1532012-03-21 19:45:08 +000088// 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}
Anna Zaksa7f457a2012-03-16 23:44:28 +000099
Anna Zaks7e53bd62012-04-20 21:59:08 +0000100// 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}
Ted Kremenek5a10f082012-04-04 18:11:35 +0000108
Anna Zaks7e53bd62012-04-20 21:59:08 +0000109static 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>5</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>5</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>control</string>
4071//CHECK: <key>edges</key>
4072//CHECK: <array>
4073//CHECK: <dict>
4074//CHECK: <key>start</key>
4075//CHECK: <array>
4076//CHECK: <dict>
4077//CHECK: <key>line</key><integer>142</integer>
4078//CHECK: <key>col</key><integer>5</integer>
4079//CHECK: <key>file</key><integer>0</integer>
4080//CHECK: </dict>
4081//CHECK: <dict>
4082//CHECK: <key>line</key><integer>142</integer>
4083//CHECK: <key>col</key><integer>5</integer>
4084//CHECK: <key>file</key><integer>0</integer>
4085//CHECK: </dict>
4086//CHECK: </array>
4087//CHECK: <key>end</key>
4088//CHECK: <array>
4089//CHECK: <dict>
4090//CHECK: <key>line</key><integer>142</integer>
4091//CHECK: <key>col</key><integer>12</integer>
4092//CHECK: <key>file</key><integer>0</integer>
4093//CHECK: </dict>
4094//CHECK: <dict>
4095//CHECK: <key>line</key><integer>142</integer>
4096//CHECK: <key>col</key><integer>29</integer>
4097//CHECK: <key>file</key><integer>0</integer>
4098//CHECK: </dict>
4099//CHECK: </array>
4100//CHECK: </dict>
4101//CHECK: </array>
4102//CHECK: </dict>
4103//CHECK: <dict>
4104//CHECK: <key>kind</key><string>event</string>
4105//CHECK: <key>location</key>
4106//CHECK: <dict>
4107//CHECK: <key>line</key><integer>142</integer>
4108//CHECK: <key>col</key><integer>12</integer>
4109//CHECK: <key>file</key><integer>0</integer>
4110//CHECK: </dict>
4111//CHECK: <key>ranges</key>
4112//CHECK: <array>
4113//CHECK: <array>
4114//CHECK: <dict>
4115//CHECK: <key>line</key><integer>142</integer>
4116//CHECK: <key>col</key><integer>12</integer>
4117//CHECK: <key>file</key><integer>0</integer>
4118//CHECK: </dict>
4119//CHECK: <dict>
4120//CHECK: <key>line</key><integer>142</integer>
4121//CHECK: <key>col</key><integer>29</integer>
4122//CHECK: <key>file</key><integer>0</integer>
4123//CHECK: </dict>
4124//CHECK: </array>
4125//CHECK: </array>
4126//CHECK: <key>depth</key><integer>1</integer>
4127//CHECK: <key>extended_message</key>
4128//CHECK: <string>Memory is never released; potential leak of memory pointed to by &apos;x&apos;</string>
4129//CHECK: <key>message</key>
4130//CHECK: <string>Memory is never released; potential leak of memory pointed to by &apos;x&apos;</string>
4131//CHECK: </dict>
4132//CHECK: </array>
4133//CHECK: <key>description</key><string>Memory is never released; potential leak of memory pointed to by &apos;x&apos;</string>
4134//CHECK: <key>category</key><string>Memory Error</string>
4135//CHECK: <key>type</key><string>Memory leak</string>
4136//CHECK: <key>issue_context_kind</key><string>function</string>
4137//CHECK: <key>issue_context</key><string>function_with_leak5</string>
4138//CHECK: <key>location</key>
4139//CHECK: <dict>
4140//CHECK: <key>line</key><integer>142</integer>
4141//CHECK: <key>col</key><integer>12</integer>
4142//CHECK: <key>file</key><integer>0</integer>
4143//CHECK: </dict>
4144//CHECK: </dict>
4145//CHECK: <dict>
4146//CHECK: <key>path</key>
4147//CHECK: <array>
4148//CHECK: <dict>
4149//CHECK: <key>kind</key><string>event</string>
4150//CHECK: <key>location</key>
4151//CHECK: <dict>
4152//CHECK: <key>line</key><integer>156</integer>
4153//CHECK: <key>col</key><integer>5</integer>
4154//CHECK: <key>file</key><integer>0</integer>
4155//CHECK: </dict>
4156//CHECK: <key>ranges</key>
4157//CHECK: <array>
4158//CHECK: <array>
4159//CHECK: <dict>
4160//CHECK: <key>line</key><integer>156</integer>
4161//CHECK: <key>col</key><integer>5</integer>
4162//CHECK: <key>file</key><integer>0</integer>
4163//CHECK: </dict>
4164//CHECK: <dict>
4165//CHECK: <key>line</key><integer>156</integer>
4166//CHECK: <key>col</key><integer>25</integer>
4167//CHECK: <key>file</key><integer>0</integer>
4168//CHECK: </dict>
4169//CHECK: </array>
4170//CHECK: </array>
4171//CHECK: <key>depth</key><integer>0</integer>
4172//CHECK: <key>extended_message</key>
4173//CHECK: <string>Calling &apos;function_with_leak6&apos;</string>
4174//CHECK: <key>message</key>
4175//CHECK: <string>Calling &apos;function_with_leak6&apos;</string>
4176//CHECK: </dict>
4177//CHECK: <dict>
4178//CHECK: <key>kind</key><string>event</string>
4179//CHECK: <key>location</key>
4180//CHECK: <dict>
4181//CHECK: <key>line</key><integer>151</integer>
4182//CHECK: <key>col</key><integer>1</integer>
4183//CHECK: <key>file</key><integer>0</integer>
4184//CHECK: </dict>
4185//CHECK: <key>depth</key><integer>1</integer>
4186//CHECK: <key>extended_message</key>
4187//CHECK: <string>Entered call from &apos;use_function_with_leak6&apos;</string>
4188//CHECK: <key>message</key>
4189//CHECK: <string>Entered call from &apos;use_function_with_leak6&apos;</string>
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>151</integer>
4200//CHECK: <key>col</key><integer>1</integer>
4201//CHECK: <key>file</key><integer>0</integer>
4202//CHECK: </dict>
4203//CHECK: <dict>
4204//CHECK: <key>line</key><integer>151</integer>
4205//CHECK: <key>col</key><integer>1</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>5</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>5</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>control</string>
4227//CHECK: <key>edges</key>
4228//CHECK: <array>
4229//CHECK: <dict>
4230//CHECK: <key>start</key>
4231//CHECK: <array>
4232//CHECK: <dict>
4233//CHECK: <key>line</key><integer>152</integer>
4234//CHECK: <key>col</key><integer>5</integer>
4235//CHECK: <key>file</key><integer>0</integer>
4236//CHECK: </dict>
4237//CHECK: <dict>
4238//CHECK: <key>line</key><integer>152</integer>
4239//CHECK: <key>col</key><integer>5</integer>
4240//CHECK: <key>file</key><integer>0</integer>
4241//CHECK: </dict>
4242//CHECK: </array>
4243//CHECK: <key>end</key>
4244//CHECK: <array>
4245//CHECK: <dict>
4246//CHECK: <key>line</key><integer>152</integer>
4247//CHECK: <key>col</key><integer>22</integer>
4248//CHECK: <key>file</key><integer>0</integer>
4249//CHECK: </dict>
4250//CHECK: <dict>
4251//CHECK: <key>line</key><integer>152</integer>
4252//CHECK: <key>col</key><integer>31</integer>
4253//CHECK: <key>file</key><integer>0</integer>
4254//CHECK: </dict>
4255//CHECK: </array>
4256//CHECK: </dict>
4257//CHECK: </array>
4258//CHECK: </dict>
4259//CHECK: <dict>
4260//CHECK: <key>kind</key><string>event</string>
4261//CHECK: <key>location</key>
4262//CHECK: <dict>
4263//CHECK: <key>line</key><integer>152</integer>
4264//CHECK: <key>col</key><integer>22</integer>
4265//CHECK: <key>file</key><integer>0</integer>
4266//CHECK: </dict>
4267//CHECK: <key>ranges</key>
4268//CHECK: <array>
4269//CHECK: <array>
4270//CHECK: <dict>
4271//CHECK: <key>line</key><integer>152</integer>
4272//CHECK: <key>col</key><integer>22</integer>
4273//CHECK: <key>file</key><integer>0</integer>
4274//CHECK: </dict>
4275//CHECK: <dict>
4276//CHECK: <key>line</key><integer>152</integer>
4277//CHECK: <key>col</key><integer>31</integer>
4278//CHECK: <key>file</key><integer>0</integer>
4279//CHECK: </dict>
4280//CHECK: </array>
4281//CHECK: </array>
4282//CHECK: <key>depth</key><integer>1</integer>
4283//CHECK: <key>extended_message</key>
4284//CHECK: <string>Memory is allocated</string>
4285//CHECK: <key>message</key>
4286//CHECK: <string>Memory is allocated</string>
4287//CHECK: </dict>
4288//CHECK: <dict>
4289//CHECK: <key>kind</key><string>control</string>
4290//CHECK: <key>edges</key>
4291//CHECK: <array>
4292//CHECK: <dict>
4293//CHECK: <key>start</key>
4294//CHECK: <array>
4295//CHECK: <dict>
4296//CHECK: <key>line</key><integer>152</integer>
4297//CHECK: <key>col</key><integer>22</integer>
4298//CHECK: <key>file</key><integer>0</integer>
4299//CHECK: </dict>
4300//CHECK: <dict>
4301//CHECK: <key>line</key><integer>152</integer>
4302//CHECK: <key>col</key><integer>31</integer>
4303//CHECK: <key>file</key><integer>0</integer>
4304//CHECK: </dict>
4305//CHECK: </array>
4306//CHECK: <key>end</key>
4307//CHECK: <array>
4308//CHECK: <dict>
4309//CHECK: <key>line</key><integer>153</integer>
4310//CHECK: <key>col</key><integer>5</integer>
4311//CHECK: <key>file</key><integer>0</integer>
4312//CHECK: </dict>
4313//CHECK: <dict>
4314//CHECK: <key>line</key><integer>153</integer>
4315//CHECK: <key>col</key><integer>23</integer>
4316//CHECK: <key>file</key><integer>0</integer>
4317//CHECK: </dict>
4318//CHECK: </array>
4319//CHECK: </dict>
4320//CHECK: </array>
4321//CHECK: </dict>
4322//CHECK: <dict>
4323//CHECK: <key>kind</key><string>event</string>
4324//CHECK: <key>location</key>
4325//CHECK: <dict>
4326//CHECK: <key>line</key><integer>153</integer>
4327//CHECK: <key>col</key><integer>5</integer>
4328//CHECK: <key>file</key><integer>0</integer>
4329//CHECK: </dict>
4330//CHECK: <key>ranges</key>
4331//CHECK: <array>
4332//CHECK: <array>
4333//CHECK: <dict>
4334//CHECK: <key>line</key><integer>153</integer>
4335//CHECK: <key>col</key><integer>5</integer>
4336//CHECK: <key>file</key><integer>0</integer>
4337//CHECK: </dict>
4338//CHECK: <dict>
4339//CHECK: <key>line</key><integer>153</integer>
4340//CHECK: <key>col</key><integer>23</integer>
4341//CHECK: <key>file</key><integer>0</integer>
4342//CHECK: </dict>
4343//CHECK: </array>
4344//CHECK: </array>
4345//CHECK: <key>depth</key><integer>1</integer>
4346//CHECK: <key>extended_message</key>
4347//CHECK: <string>Memory is never released; potential leak of memory pointed to by &apos;x&apos;</string>
4348//CHECK: <key>message</key>
4349//CHECK: <string>Memory is never released; potential leak of memory pointed to by &apos;x&apos;</string>
4350//CHECK: </dict>
4351//CHECK: </array>
4352//CHECK: <key>description</key><string>Memory is never released; potential leak of memory pointed to by &apos;x&apos;</string>
4353//CHECK: <key>category</key><string>Memory Error</string>
4354//CHECK: <key>type</key><string>Memory leak</string>
4355//CHECK: <key>issue_context_kind</key><string>function</string>
4356//CHECK: <key>issue_context</key><string>function_with_leak6</string>
4357//CHECK: <key>location</key>
4358//CHECK: <dict>
4359//CHECK: <key>line</key><integer>153</integer>
4360//CHECK: <key>col</key><integer>5</integer>
4361//CHECK: <key>file</key><integer>0</integer>
4362//CHECK: </dict>
4363//CHECK: </dict>
4364//CHECK: <dict>
4365//CHECK: <key>path</key>
4366//CHECK: <array>
4367//CHECK: <dict>
4368//CHECK: <key>kind</key><string>event</string>
4369//CHECK: <key>location</key>
4370//CHECK: <dict>
4371//CHECK: <key>line</key><integer>168</integer>
4372//CHECK: <key>col</key><integer>5</integer>
4373//CHECK: <key>file</key><integer>0</integer>
4374//CHECK: </dict>
4375//CHECK: <key>ranges</key>
4376//CHECK: <array>
4377//CHECK: <array>
4378//CHECK: <dict>
4379//CHECK: <key>line</key><integer>168</integer>
4380//CHECK: <key>col</key><integer>5</integer>
4381//CHECK: <key>file</key><integer>0</integer>
4382//CHECK: </dict>
4383//CHECK: <dict>
4384//CHECK: <key>line</key><integer>168</integer>
4385//CHECK: <key>col</key><integer>25</integer>
4386//CHECK: <key>file</key><integer>0</integer>
4387//CHECK: </dict>
4388//CHECK: </array>
4389//CHECK: </array>
4390//CHECK: <key>depth</key><integer>0</integer>
4391//CHECK: <key>extended_message</key>
4392//CHECK: <string>Calling &apos;function_with_leak7&apos;</string>
4393//CHECK: <key>message</key>
4394//CHECK: <string>Calling &apos;function_with_leak7&apos;</string>
4395//CHECK: </dict>
4396//CHECK: <dict>
4397//CHECK: <key>kind</key><string>event</string>
4398//CHECK: <key>location</key>
4399//CHECK: <dict>
4400//CHECK: <key>line</key><integer>164</integer>
4401//CHECK: <key>col</key><integer>1</integer>
4402//CHECK: <key>file</key><integer>0</integer>
4403//CHECK: </dict>
4404//CHECK: <key>depth</key><integer>1</integer>
4405//CHECK: <key>extended_message</key>
4406//CHECK: <string>Entered call from &apos;use_function_with_leak7&apos;</string>
4407//CHECK: <key>message</key>
4408//CHECK: <string>Entered call from &apos;use_function_with_leak7&apos;</string>
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>164</integer>
4419//CHECK: <key>col</key><integer>1</integer>
4420//CHECK: <key>file</key><integer>0</integer>
4421//CHECK: </dict>
4422//CHECK: <dict>
4423//CHECK: <key>line</key><integer>164</integer>
4424//CHECK: <key>col</key><integer>1</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>5</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>5</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>control</string>
4446//CHECK: <key>edges</key>
4447//CHECK: <array>
4448//CHECK: <dict>
4449//CHECK: <key>start</key>
4450//CHECK: <array>
4451//CHECK: <dict>
4452//CHECK: <key>line</key><integer>165</integer>
4453//CHECK: <key>col</key><integer>5</integer>
4454//CHECK: <key>file</key><integer>0</integer>
4455//CHECK: </dict>
4456//CHECK: <dict>
4457//CHECK: <key>line</key><integer>165</integer>
4458//CHECK: <key>col</key><integer>5</integer>
4459//CHECK: <key>file</key><integer>0</integer>
4460//CHECK: </dict>
4461//CHECK: </array>
4462//CHECK: <key>end</key>
4463//CHECK: <array>
4464//CHECK: <dict>
4465//CHECK: <key>line</key><integer>165</integer>
4466//CHECK: <key>col</key><integer>19</integer>
4467//CHECK: <key>file</key><integer>0</integer>
4468//CHECK: </dict>
4469//CHECK: <dict>
4470//CHECK: <key>line</key><integer>165</integer>
4471//CHECK: <key>col</key><integer>28</integer>
4472//CHECK: <key>file</key><integer>0</integer>
4473//CHECK: </dict>
4474//CHECK: </array>
4475//CHECK: </dict>
4476//CHECK: </array>
4477//CHECK: </dict>
4478//CHECK: <dict>
4479//CHECK: <key>kind</key><string>event</string>
4480//CHECK: <key>location</key>
4481//CHECK: <dict>
4482//CHECK: <key>line</key><integer>165</integer>
4483//CHECK: <key>col</key><integer>19</integer>
4484//CHECK: <key>file</key><integer>0</integer>
4485//CHECK: </dict>
4486//CHECK: <key>ranges</key>
4487//CHECK: <array>
4488//CHECK: <array>
4489//CHECK: <dict>
4490//CHECK: <key>line</key><integer>165</integer>
4491//CHECK: <key>col</key><integer>19</integer>
4492//CHECK: <key>file</key><integer>0</integer>
4493//CHECK: </dict>
4494//CHECK: <dict>
4495//CHECK: <key>line</key><integer>165</integer>
4496//CHECK: <key>col</key><integer>28</integer>
4497//CHECK: <key>file</key><integer>0</integer>
4498//CHECK: </dict>
4499//CHECK: </array>
4500//CHECK: </array>
4501//CHECK: <key>depth</key><integer>1</integer>
4502//CHECK: <key>extended_message</key>
4503//CHECK: <string>Memory is allocated</string>
4504//CHECK: <key>message</key>
4505//CHECK: <string>Memory is allocated</string>
4506//CHECK: </dict>
4507//CHECK: <dict>
4508//CHECK: <key>kind</key><string>event</string>
4509//CHECK: <key>location</key>
4510//CHECK: <dict>
4511//CHECK: <key>line</key><integer>168</integer>
4512//CHECK: <key>col</key><integer>5</integer>
4513//CHECK: <key>file</key><integer>0</integer>
4514//CHECK: </dict>
4515//CHECK: <key>ranges</key>
4516//CHECK: <array>
4517//CHECK: <array>
4518//CHECK: <dict>
4519//CHECK: <key>line</key><integer>168</integer>
4520//CHECK: <key>col</key><integer>5</integer>
4521//CHECK: <key>file</key><integer>0</integer>
4522//CHECK: </dict>
4523//CHECK: <dict>
4524//CHECK: <key>line</key><integer>168</integer>
4525//CHECK: <key>col</key><integer>25</integer>
4526//CHECK: <key>file</key><integer>0</integer>
4527//CHECK: </dict>
4528//CHECK: </array>
4529//CHECK: </array>
4530//CHECK: <key>depth</key><integer>1</integer>
4531//CHECK: <key>extended_message</key>
4532//CHECK: <string>Returned allocated memory</string>
4533//CHECK: <key>message</key>
4534//CHECK: <string>Returned allocated memory</string>
4535//CHECK: </dict>
4536//CHECK: <dict>
4537//CHECK: <key>kind</key><string>control</string>
4538//CHECK: <key>edges</key>
4539//CHECK: <array>
4540//CHECK: <dict>
4541//CHECK: <key>start</key>
4542//CHECK: <array>
4543//CHECK: <dict>
4544//CHECK: <key>line</key><integer>168</integer>
4545//CHECK: <key>col</key><integer>5</integer>
4546//CHECK: <key>file</key><integer>0</integer>
4547//CHECK: </dict>
4548//CHECK: <dict>
4549//CHECK: <key>line</key><integer>168</integer>
4550//CHECK: <key>col</key><integer>25</integer>
4551//CHECK: <key>file</key><integer>0</integer>
4552//CHECK: </dict>
4553//CHECK: </array>
4554//CHECK: <key>end</key>
4555//CHECK: <array>
4556//CHECK: <dict>
4557//CHECK: <key>line</key><integer>169</integer>
4558//CHECK: <key>col</key><integer>1</integer>
4559//CHECK: <key>file</key><integer>0</integer>
4560//CHECK: </dict>
4561//CHECK: <dict>
4562//CHECK: <key>line</key><integer>169</integer>
4563//CHECK: <key>col</key><integer>1</integer>
4564//CHECK: <key>file</key><integer>0</integer>
4565//CHECK: </dict>
4566//CHECK: </array>
4567//CHECK: </dict>
4568//CHECK: </array>
4569//CHECK: </dict>
4570//CHECK: <dict>
4571//CHECK: <key>kind</key><string>event</string>
4572//CHECK: <key>location</key>
4573//CHECK: <dict>
4574//CHECK: <key>line</key><integer>169</integer>
4575//CHECK: <key>col</key><integer>1</integer>
4576//CHECK: <key>file</key><integer>0</integer>
4577//CHECK: </dict>
4578//CHECK: <key>depth</key><integer>0</integer>
4579//CHECK: <key>extended_message</key>
4580//CHECK: <string>Memory is never released; potential leak</string>
4581//CHECK: <key>message</key>
4582//CHECK: <string>Memory is never released; potential leak</string>
4583//CHECK: </dict>
4584//CHECK: </array>
4585//CHECK: <key>description</key><string>Memory is never released; potential leak</string>
4586//CHECK: <key>category</key><string>Memory Error</string>
4587//CHECK: <key>type</key><string>Memory leak</string>
4588//CHECK: <key>issue_context_kind</key><string>function</string>
4589//CHECK: <key>issue_context</key><string>use_function_with_leak7</string>
4590//CHECK: <key>location</key>
4591//CHECK: <dict>
4592//CHECK: <key>line</key><integer>169</integer>
4593//CHECK: <key>col</key><integer>1</integer>
4594//CHECK: <key>file</key><integer>0</integer>
4595//CHECK: </dict>
4596//CHECK: </dict>
4597//CHECK: </array>
4598//CHECK: </dict>
4599//CHECK: </plist>