inline-plist.c revision 7453a72cd0dcc70f29006ba488b743f078072bc7 
1// RUN: %clang --analyze %s -Xclang -analyzer-ipa=inlining -fblocks -o %t
2// RUN: FileCheck -input-file %t %s
3
4// <rdar://problem/10967815>
5void mmm(int y) {
6  if (y != 0)
7      y++;
8}
9
10int foo(int x, int y) {
11    mmm(y);
12    if (x != 0)
13      x++;
14    return 5/x;
15}
16
17// Test a bug triggering only when inlined.
18void has_bug(int *p) {
19  *p = 0xDEADBEEF;
20}
21
22void test_has_bug() {
23  has_bug(0);
24}
25
26void triggers_bug(int *p) {
27  *p = 0xDEADBEEF;
28}
29
30// This function triggers a bug by calling triggers_bug().  The diagnostics
31// should show when p is assumed to be null.
32void bar(int *p) {
33  if (!!p)
34    return;
35
36  if (p == 0)
37    triggers_bug(p);
38}
39
40// ========================================================================== //
41// Test inlining of blocks.
42// ========================================================================== //
43
44void test_block__capture_null() {
45  int *p = 0;
46  ^(){ *p = 1; }();
47}
48
49void test_block_ret() {
50  int *p = ^(){ int *q = 0; return q; }();
51  *p = 1;
52}
53
54void test_block_blockvar() {
55  __block int *p;
56  ^(){ p = 0; }();
57  *p = 1;
58}
59
60void test_block_arg() {
61  int *p;
62  ^(int **q){ *q = 0; }(&p);
63  *p = 1;
64}
65
66// CHECK: <?xml version="1.0" encoding="UTF-8"?>
67// CHECK: <plist version="1.0">
68// CHECK: <dict>
69// CHECK:  <key>files</key>
70// CHECK:  <array>
71// CHECK:  </array>
72// CHECK:  <key>diagnostics</key>
73// CHECK:  <array>
74// CHECK:   <dict>
75// CHECK:    <key>path</key>
76// CHECK:    <array>
77// CHECK:     <dict>
78// CHECK:      <key>kind</key><string>control</string>
79// CHECK:      <key>edges</key>
80// CHECK:       <array>
81// CHECK:        <dict>
82// CHECK:         <key>start</key>
83// CHECK:          <array>
84// CHECK:           <dict>
85// CHECK:            <key>line</key><integer>11</integer>
86// CHECK:            <key>col</key><integer>5</integer>
87// CHECK:            <key>file</key><integer>0</integer>
88// CHECK:           </dict>
89// CHECK:           <dict>
90// CHECK:            <key>line</key><integer>11</integer>
91// CHECK:            <key>col</key><integer>7</integer>
92// CHECK:            <key>file</key><integer>0</integer>
93// CHECK:           </dict>
94// CHECK:          </array>
95// CHECK:         <key>end</key>
96// CHECK:          <array>
97// CHECK:           <dict>
98// CHECK:            <key>line</key><integer>12</integer>
99// CHECK:            <key>col</key><integer>5</integer>
100// CHECK:            <key>file</key><integer>0</integer>
101// CHECK:           </dict>
102// CHECK:           <dict>
103// CHECK:            <key>line</key><integer>12</integer>
104// CHECK:            <key>col</key><integer>6</integer>
105// CHECK:            <key>file</key><integer>0</integer>
106// CHECK:           </dict>
107// CHECK:          </array>
108// CHECK:        </dict>
109// CHECK:       </array>
110// CHECK:     </dict>
111// CHECK:     <dict>
112// CHECK:      <key>kind</key><string>control</string>
113// CHECK:      <key>edges</key>
114// CHECK:       <array>
115// CHECK:        <dict>
116// CHECK:         <key>start</key>
117// CHECK:          <array>
118// CHECK:           <dict>
119// CHECK:            <key>line</key><integer>12</integer>
120// CHECK:            <key>col</key><integer>5</integer>
121// CHECK:            <key>file</key><integer>0</integer>
122// CHECK:           </dict>
123// CHECK:           <dict>
124// CHECK:            <key>line</key><integer>12</integer>
125// CHECK:            <key>col</key><integer>6</integer>
126// CHECK:            <key>file</key><integer>0</integer>
127// CHECK:           </dict>
128// CHECK:          </array>
129// CHECK:         <key>end</key>
130// CHECK:          <array>
131// CHECK:           <dict>
132// CHECK:            <key>line</key><integer>12</integer>
133// CHECK:            <key>col</key><integer>9</integer>
134// CHECK:            <key>file</key><integer>0</integer>
135// CHECK:           </dict>
136// CHECK:           <dict>
137// CHECK:            <key>line</key><integer>12</integer>
138// CHECK:            <key>col</key><integer>9</integer>
139// CHECK:            <key>file</key><integer>0</integer>
140// CHECK:           </dict>
141// CHECK:          </array>
142// CHECK:        </dict>
143// CHECK:       </array>
144// CHECK:     </dict>
145// CHECK:     <dict>
146// CHECK:      <key>kind</key><string>event</string>
147// CHECK:      <key>location</key>
148// CHECK:      <dict>
149// CHECK:       <key>line</key><integer>12</integer>
150// CHECK:       <key>col</key><integer>9</integer>
151// CHECK:       <key>file</key><integer>0</integer>
152// CHECK:      </dict>
153// CHECK:      <key>ranges</key>
154// CHECK:      <array>
155// CHECK:        <array>
156// CHECK:         <dict>
157// CHECK:          <key>line</key><integer>12</integer>
158// CHECK:          <key>col</key><integer>9</integer>
159// CHECK:          <key>file</key><integer>0</integer>
160// CHECK:         </dict>
161// CHECK:         <dict>
162// CHECK:          <key>line</key><integer>12</integer>
163// CHECK:          <key>col</key><integer>14</integer>
164// CHECK:          <key>file</key><integer>0</integer>
165// CHECK:         </dict>
166// CHECK:        </array>
167// CHECK:      </array>
168// CHECK:      <key>depth</key><integer>0</integer>
169// CHECK:      <key>extended_message</key>
170// CHECK:      <string>Assuming &apos;x&apos; is equal to 0</string>
171// CHECK:      <key>message</key>
172// CHECK: <string>Assuming &apos;x&apos; is equal to 0</string>
173// CHECK:     </dict>
174// CHECK:     <dict>
175// CHECK:      <key>kind</key><string>control</string>
176// CHECK:      <key>edges</key>
177// CHECK:       <array>
178// CHECK:        <dict>
179// CHECK:         <key>start</key>
180// CHECK:          <array>
181// CHECK:           <dict>
182// CHECK:            <key>line</key><integer>12</integer>
183// CHECK:            <key>col</key><integer>9</integer>
184// CHECK:            <key>file</key><integer>0</integer>
185// CHECK:           </dict>
186// CHECK:           <dict>
187// CHECK:            <key>line</key><integer>12</integer>
188// CHECK:            <key>col</key><integer>9</integer>
189// CHECK:            <key>file</key><integer>0</integer>
190// CHECK:           </dict>
191// CHECK:          </array>
192// CHECK:         <key>end</key>
193// CHECK:          <array>
194// CHECK:           <dict>
195// CHECK:            <key>line</key><integer>14</integer>
196// CHECK:            <key>col</key><integer>5</integer>
197// CHECK:            <key>file</key><integer>0</integer>
198// CHECK:           </dict>
199// CHECK:           <dict>
200// CHECK:            <key>line</key><integer>14</integer>
201// CHECK:            <key>col</key><integer>10</integer>
202// CHECK:            <key>file</key><integer>0</integer>
203// CHECK:           </dict>
204// CHECK:          </array>
205// CHECK:        </dict>
206// CHECK:       </array>
207// CHECK:     </dict>
208// CHECK:     <dict>
209// CHECK:      <key>kind</key><string>control</string>
210// CHECK:      <key>edges</key>
211// CHECK:       <array>
212// CHECK:        <dict>
213// CHECK:         <key>start</key>
214// CHECK:          <array>
215// CHECK:           <dict>
216// CHECK:            <key>line</key><integer>14</integer>
217// CHECK:            <key>col</key><integer>5</integer>
218// CHECK:            <key>file</key><integer>0</integer>
219// CHECK:           </dict>
220// CHECK:           <dict>
221// CHECK:            <key>line</key><integer>14</integer>
222// CHECK:            <key>col</key><integer>10</integer>
223// CHECK:            <key>file</key><integer>0</integer>
224// CHECK:           </dict>
225// CHECK:          </array>
226// CHECK:         <key>end</key>
227// CHECK:          <array>
228// CHECK:           <dict>
229// CHECK:            <key>line</key><integer>14</integer>
230// CHECK:            <key>col</key><integer>12</integer>
231// CHECK:            <key>file</key><integer>0</integer>
232// CHECK:           </dict>
233// CHECK:           <dict>
234// CHECK:            <key>line</key><integer>14</integer>
235// CHECK:            <key>col</key><integer>12</integer>
236// CHECK:            <key>file</key><integer>0</integer>
237// CHECK:           </dict>
238// CHECK:          </array>
239// CHECK:        </dict>
240// CHECK:       </array>
241// CHECK:     </dict>
242// CHECK:     <dict>
243// CHECK:      <key>kind</key><string>event</string>
244// CHECK:      <key>location</key>
245// CHECK:      <dict>
246// CHECK:       <key>line</key><integer>14</integer>
247// CHECK:       <key>col</key><integer>12</integer>
248// CHECK:       <key>file</key><integer>0</integer>
249// CHECK:      </dict>
250// CHECK:      <key>ranges</key>
251// CHECK:      <array>
252// CHECK:        <array>
253// CHECK:         <dict>
254// CHECK:          <key>line</key><integer>14</integer>
255// CHECK:          <key>col</key><integer>12</integer>
256// CHECK:          <key>file</key><integer>0</integer>
257// CHECK:         </dict>
258// CHECK:         <dict>
259// CHECK:          <key>line</key><integer>14</integer>
260// CHECK:          <key>col</key><integer>14</integer>
261// CHECK:          <key>file</key><integer>0</integer>
262// CHECK:         </dict>
263// CHECK:        </array>
264// CHECK:      </array>
265// CHECK:      <key>depth</key><integer>0</integer>
266// CHECK:      <key>extended_message</key>
267// CHECK:      <string>Division by zero</string>
268// CHECK:      <key>message</key>
269// CHECK: <string>Division by zero</string>
270// CHECK:     </dict>
271// CHECK:    </array>
272// CHECK:    <key>description</key><string>Division by zero</string>
273// CHECK:    <key>category</key><string>Logic error</string>
274// CHECK:    <key>type</key><string>Division by zero</string>
275// CHECK:   <key>issue_context_kind</key><string>function</string>
276// CHECK:   <key>issue_context</key><string>foo</string>
277// CHECK:   <key>location</key>
278// CHECK:   <dict>
279// CHECK:    <key>line</key><integer>14</integer>
280// CHECK:    <key>col</key><integer>12</integer>
281// CHECK:    <key>file</key><integer>0</integer>
282// CHECK:   </dict>
283// CHECK:   </dict>
284// CHECK:   <dict>
285// CHECK:    <key>path</key>
286// CHECK:    <array>
287// CHECK:     <dict>
288// CHECK:      <key>kind</key><string>event</string>
289// CHECK:      <key>location</key>
290// CHECK:      <dict>
291// CHECK:       <key>line</key><integer>23</integer>
292// CHECK:       <key>col</key><integer>3</integer>
293// CHECK:       <key>file</key><integer>0</integer>
294// CHECK:      </dict>
295// CHECK:      <key>ranges</key>
296// CHECK:      <array>
297// CHECK:        <array>
298// CHECK:         <dict>
299// CHECK:          <key>line</key><integer>23</integer>
300// CHECK:          <key>col</key><integer>3</integer>
301// CHECK:          <key>file</key><integer>0</integer>
302// CHECK:         </dict>
303// CHECK:         <dict>
304// CHECK:          <key>line</key><integer>23</integer>
305// CHECK:          <key>col</key><integer>12</integer>
306// CHECK:          <key>file</key><integer>0</integer>
307// CHECK:         </dict>
308// CHECK:        </array>
309// CHECK:      </array>
310// CHECK:      <key>depth</key><integer>0</integer>
311// CHECK:      <key>extended_message</key>
312// CHECK:      <string>Calling &apos;has_bug&apos;</string>
313// CHECK:      <key>message</key>
314// CHECK: <string>Calling &apos;has_bug&apos;</string>
315// CHECK:     </dict>
316// CHECK:     <dict>
317// CHECK:      <key>kind</key><string>event</string>
318// CHECK:      <key>location</key>
319// CHECK:      <dict>
320// CHECK:       <key>line</key><integer>18</integer>
321// CHECK:       <key>col</key><integer>1</integer>
322// CHECK:       <key>file</key><integer>0</integer>
323// CHECK:      </dict>
324// CHECK:      <key>depth</key><integer>1</integer>
325// CHECK:      <key>extended_message</key>
326// CHECK:      <string>Entered call from &apos;test_has_bug&apos;</string>
327// CHECK:      <key>message</key>
328// CHECK: <string>Entered call from &apos;test_has_bug&apos;</string>
329// CHECK:     </dict>
330// CHECK:     <dict>
331// CHECK:      <key>kind</key><string>control</string>
332// CHECK:      <key>edges</key>
333// CHECK:       <array>
334// CHECK:        <dict>
335// CHECK:         <key>start</key>
336// CHECK:          <array>
337// CHECK:           <dict>
338// CHECK:            <key>line</key><integer>18</integer>
339// CHECK:            <key>col</key><integer>1</integer>
340// CHECK:            <key>file</key><integer>0</integer>
341// CHECK:           </dict>
342// CHECK:           <dict>
343// CHECK:            <key>line</key><integer>18</integer>
344// CHECK:            <key>col</key><integer>4</integer>
345// CHECK:            <key>file</key><integer>0</integer>
346// CHECK:           </dict>
347// CHECK:          </array>
348// CHECK:         <key>end</key>
349// CHECK:          <array>
350// CHECK:           <dict>
351// CHECK:            <key>line</key><integer>19</integer>
352// CHECK:            <key>col</key><integer>3</integer>
353// CHECK:            <key>file</key><integer>0</integer>
354// CHECK:           </dict>
355// CHECK:           <dict>
356// CHECK:            <key>line</key><integer>19</integer>
357// CHECK:            <key>col</key><integer>3</integer>
358// CHECK:            <key>file</key><integer>0</integer>
359// CHECK:           </dict>
360// CHECK:          </array>
361// CHECK:        </dict>
362// CHECK:       </array>
363// CHECK:     </dict>
364// CHECK:     <dict>
365// CHECK:      <key>kind</key><string>event</string>
366// CHECK:      <key>location</key>
367// CHECK:      <dict>
368// CHECK:       <key>line</key><integer>19</integer>
369// CHECK:       <key>col</key><integer>3</integer>
370// CHECK:       <key>file</key><integer>0</integer>
371// CHECK:      </dict>
372// CHECK:      <key>ranges</key>
373// CHECK:      <array>
374// CHECK:        <array>
375// CHECK:         <dict>
376// CHECK:          <key>line</key><integer>19</integer>
377// CHECK:          <key>col</key><integer>4</integer>
378// CHECK:          <key>file</key><integer>0</integer>
379// CHECK:         </dict>
380// CHECK:         <dict>
381// CHECK:          <key>line</key><integer>19</integer>
382// CHECK:          <key>col</key><integer>4</integer>
383// CHECK:          <key>file</key><integer>0</integer>
384// CHECK:         </dict>
385// CHECK:        </array>
386// CHECK:      </array>
387// CHECK:      <key>depth</key><integer>1</integer>
388// CHECK:      <key>extended_message</key>
389// CHECK:      <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
390// CHECK:      <key>message</key>
391// CHECK: <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
392// CHECK:     </dict>
393// CHECK:    </array>
394// CHECK:    <key>description</key><string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
395// CHECK:    <key>category</key><string>Logic error</string>
396// CHECK:    <key>type</key><string>Dereference of null pointer</string>
397// CHECK:   <key>issue_context_kind</key><string>function</string>
398// CHECK:   <key>issue_context</key><string>has_bug</string>
399// CHECK:   <key>location</key>
400// CHECK:   <dict>
401// CHECK:    <key>line</key><integer>19</integer>
402// CHECK:    <key>col</key><integer>3</integer>
403// CHECK:    <key>file</key><integer>0</integer>
404// CHECK:   </dict>
405// CHECK:   </dict>
406// CHECK:   <dict>
407// CHECK:    <key>path</key>
408// CHECK:    <array>
409// CHECK:     <dict>
410// CHECK:      <key>kind</key><string>control</string>
411// CHECK:      <key>edges</key>
412// CHECK:       <array>
413// CHECK:        <dict>
414// CHECK:         <key>start</key>
415// CHECK:          <array>
416// CHECK:           <dict>
417// CHECK:            <key>line</key><integer>33</integer>
418// CHECK:            <key>col</key><integer>3</integer>
419// CHECK:            <key>file</key><integer>0</integer>
420// CHECK:           </dict>
421// CHECK:           <dict>
422// CHECK:            <key>line</key><integer>33</integer>
423// CHECK:            <key>col</key><integer>4</integer>
424// CHECK:            <key>file</key><integer>0</integer>
425// CHECK:           </dict>
426// CHECK:          </array>
427// CHECK:         <key>end</key>
428// CHECK:          <array>
429// CHECK:           <dict>
430// CHECK:            <key>line</key><integer>33</integer>
431// CHECK:            <key>col</key><integer>8</integer>
432// CHECK:            <key>file</key><integer>0</integer>
433// CHECK:           </dict>
434// CHECK:           <dict>
435// CHECK:            <key>line</key><integer>33</integer>
436// CHECK:            <key>col</key><integer>8</integer>
437// CHECK:            <key>file</key><integer>0</integer>
438// CHECK:           </dict>
439// CHECK:          </array>
440// CHECK:        </dict>
441// CHECK:       </array>
442// CHECK:     </dict>
443// CHECK:     <dict>
444// CHECK:      <key>kind</key><string>event</string>
445// CHECK:      <key>location</key>
446// CHECK:      <dict>
447// CHECK:       <key>line</key><integer>33</integer>
448// CHECK:       <key>col</key><integer>8</integer>
449// CHECK:       <key>file</key><integer>0</integer>
450// CHECK:      </dict>
451// CHECK:      <key>ranges</key>
452// CHECK:      <array>
453// CHECK:        <array>
454// CHECK:         <dict>
455// CHECK:          <key>line</key><integer>33</integer>
456// CHECK:          <key>col</key><integer>8</integer>
457// CHECK:          <key>file</key><integer>0</integer>
458// CHECK:         </dict>
459// CHECK:         <dict>
460// CHECK:          <key>line</key><integer>33</integer>
461// CHECK:          <key>col</key><integer>9</integer>
462// CHECK:          <key>file</key><integer>0</integer>
463// CHECK:         </dict>
464// CHECK:        </array>
465// CHECK:      </array>
466// CHECK:      <key>depth</key><integer>0</integer>
467// CHECK:      <key>extended_message</key>
468// CHECK:      <string>Assuming &apos;p&apos; is null</string>
469// CHECK:      <key>message</key>
470// CHECK: <string>Assuming &apos;p&apos; is null</string>
471// CHECK:     </dict>
472// CHECK:     <dict>
473// CHECK:      <key>kind</key><string>control</string>
474// CHECK:      <key>edges</key>
475// CHECK:       <array>
476// CHECK:        <dict>
477// CHECK:         <key>start</key>
478// CHECK:          <array>
479// CHECK:           <dict>
480// CHECK:            <key>line</key><integer>33</integer>
481// CHECK:            <key>col</key><integer>8</integer>
482// CHECK:            <key>file</key><integer>0</integer>
483// CHECK:           </dict>
484// CHECK:           <dict>
485// CHECK:            <key>line</key><integer>33</integer>
486// CHECK:            <key>col</key><integer>8</integer>
487// CHECK:            <key>file</key><integer>0</integer>
488// CHECK:           </dict>
489// CHECK:          </array>
490// CHECK:         <key>end</key>
491// CHECK:          <array>
492// CHECK:           <dict>
493// CHECK:            <key>line</key><integer>36</integer>
494// CHECK:            <key>col</key><integer>3</integer>
495// CHECK:            <key>file</key><integer>0</integer>
496// CHECK:           </dict>
497// CHECK:           <dict>
498// CHECK:            <key>line</key><integer>36</integer>
499// CHECK:            <key>col</key><integer>4</integer>
500// CHECK:            <key>file</key><integer>0</integer>
501// CHECK:           </dict>
502// CHECK:          </array>
503// CHECK:        </dict>
504// CHECK:       </array>
505// CHECK:     </dict>
506// CHECK:     <dict>
507// CHECK:      <key>kind</key><string>control</string>
508// CHECK:      <key>edges</key>
509// CHECK:       <array>
510// CHECK:        <dict>
511// CHECK:         <key>start</key>
512// CHECK:          <array>
513// CHECK:           <dict>
514// CHECK:            <key>line</key><integer>36</integer>
515// CHECK:            <key>col</key><integer>3</integer>
516// CHECK:            <key>file</key><integer>0</integer>
517// CHECK:           </dict>
518// CHECK:           <dict>
519// CHECK:            <key>line</key><integer>36</integer>
520// CHECK:            <key>col</key><integer>4</integer>
521// CHECK:            <key>file</key><integer>0</integer>
522// CHECK:           </dict>
523// CHECK:          </array>
524// CHECK:         <key>end</key>
525// CHECK:          <array>
526// CHECK:           <dict>
527// CHECK:            <key>line</key><integer>37</integer>
528// CHECK:            <key>col</key><integer>5</integer>
529// CHECK:            <key>file</key><integer>0</integer>
530// CHECK:           </dict>
531// CHECK:           <dict>
532// CHECK:            <key>line</key><integer>37</integer>
533// CHECK:            <key>col</key><integer>16</integer>
534// CHECK:            <key>file</key><integer>0</integer>
535// CHECK:           </dict>
536// CHECK:          </array>
537// CHECK:        </dict>
538// CHECK:       </array>
539// CHECK:     </dict>
540// CHECK:     <dict>
541// CHECK:      <key>kind</key><string>event</string>
542// CHECK:      <key>location</key>
543// CHECK:      <dict>
544// CHECK:       <key>line</key><integer>37</integer>
545// CHECK:       <key>col</key><integer>5</integer>
546// CHECK:       <key>file</key><integer>0</integer>
547// CHECK:      </dict>
548// CHECK:      <key>ranges</key>
549// CHECK:      <array>
550// CHECK:        <array>
551// CHECK:         <dict>
552// CHECK:          <key>line</key><integer>37</integer>
553// CHECK:          <key>col</key><integer>5</integer>
554// CHECK:          <key>file</key><integer>0</integer>
555// CHECK:         </dict>
556// CHECK:         <dict>
557// CHECK:          <key>line</key><integer>37</integer>
558// CHECK:          <key>col</key><integer>19</integer>
559// CHECK:          <key>file</key><integer>0</integer>
560// CHECK:         </dict>
561// CHECK:        </array>
562// CHECK:      </array>
563// CHECK:      <key>depth</key><integer>0</integer>
564// CHECK:      <key>extended_message</key>
565// CHECK:      <string>Calling &apos;triggers_bug&apos;</string>
566// CHECK:      <key>message</key>
567// CHECK: <string>Calling &apos;triggers_bug&apos;</string>
568// CHECK:     </dict>
569// CHECK:     <dict>
570// CHECK:      <key>kind</key><string>event</string>
571// CHECK:      <key>location</key>
572// CHECK:      <dict>
573// CHECK:       <key>line</key><integer>26</integer>
574// CHECK:       <key>col</key><integer>1</integer>
575// CHECK:       <key>file</key><integer>0</integer>
576// CHECK:      </dict>
577// CHECK:      <key>depth</key><integer>1</integer>
578// CHECK:      <key>extended_message</key>
579// CHECK:      <string>Entered call from &apos;bar&apos;</string>
580// CHECK:      <key>message</key>
581// CHECK: <string>Entered call from &apos;bar&apos;</string>
582// CHECK:     </dict>
583// CHECK:     <dict>
584// CHECK:      <key>kind</key><string>control</string>
585// CHECK:      <key>edges</key>
586// CHECK:       <array>
587// CHECK:        <dict>
588// CHECK:         <key>start</key>
589// CHECK:          <array>
590// CHECK:           <dict>
591// CHECK:            <key>line</key><integer>26</integer>
592// CHECK:            <key>col</key><integer>1</integer>
593// CHECK:            <key>file</key><integer>0</integer>
594// CHECK:           </dict>
595// CHECK:           <dict>
596// CHECK:            <key>line</key><integer>26</integer>
597// CHECK:            <key>col</key><integer>4</integer>
598// CHECK:            <key>file</key><integer>0</integer>
599// CHECK:           </dict>
600// CHECK:          </array>
601// CHECK:         <key>end</key>
602// CHECK:          <array>
603// CHECK:           <dict>
604// CHECK:            <key>line</key><integer>27</integer>
605// CHECK:            <key>col</key><integer>3</integer>
606// CHECK:            <key>file</key><integer>0</integer>
607// CHECK:           </dict>
608// CHECK:           <dict>
609// CHECK:            <key>line</key><integer>27</integer>
610// CHECK:            <key>col</key><integer>3</integer>
611// CHECK:            <key>file</key><integer>0</integer>
612// CHECK:           </dict>
613// CHECK:          </array>
614// CHECK:        </dict>
615// CHECK:       </array>
616// CHECK:     </dict>
617// CHECK:     <dict>
618// CHECK:      <key>kind</key><string>event</string>
619// CHECK:      <key>location</key>
620// CHECK:      <dict>
621// CHECK:       <key>line</key><integer>27</integer>
622// CHECK:       <key>col</key><integer>3</integer>
623// CHECK:       <key>file</key><integer>0</integer>
624// CHECK:      </dict>
625// CHECK:      <key>ranges</key>
626// CHECK:      <array>
627// CHECK:        <array>
628// CHECK:         <dict>
629// CHECK:          <key>line</key><integer>27</integer>
630// CHECK:          <key>col</key><integer>4</integer>
631// CHECK:          <key>file</key><integer>0</integer>
632// CHECK:         </dict>
633// CHECK:         <dict>
634// CHECK:          <key>line</key><integer>27</integer>
635// CHECK:          <key>col</key><integer>4</integer>
636// CHECK:          <key>file</key><integer>0</integer>
637// CHECK:         </dict>
638// CHECK:        </array>
639// CHECK:      </array>
640// CHECK:      <key>depth</key><integer>1</integer>
641// CHECK:      <key>extended_message</key>
642// CHECK:      <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
643// CHECK:      <key>message</key>
644// CHECK: <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
645// CHECK:     </dict>
646// CHECK:    </array>
647// CHECK:    <key>description</key><string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
648// CHECK:    <key>category</key><string>Logic error</string>
649// CHECK:    <key>type</key><string>Dereference of null pointer</string>
650// CHECK:   <key>issue_context_kind</key><string>function</string>
651// CHECK:   <key>issue_context</key><string>triggers_bug</string>
652// CHECK:   <key>location</key>
653// CHECK:   <dict>
654// CHECK:    <key>line</key><integer>27</integer>
655// CHECK:    <key>col</key><integer>3</integer>
656// CHECK:    <key>file</key><integer>0</integer>
657// CHECK:   </dict>
658// CHECK:   </dict>
659// CHECK:   <dict>
660// CHECK:    <key>path</key>
661// CHECK:    <array>
662// CHECK:     <dict>
663// CHECK:      <key>kind</key><string>event</string>
664// CHECK:      <key>location</key>
665// CHECK:      <dict>
666// CHECK:       <key>line</key><integer>45</integer>
667// CHECK:       <key>col</key><integer>3</integer>
668// CHECK:       <key>file</key><integer>0</integer>
669// CHECK:      </dict>
670// CHECK:      <key>ranges</key>
671// CHECK:      <array>
672// CHECK:        <array>
673// CHECK:         <dict>
674// CHECK:          <key>line</key><integer>45</integer>
675// CHECK:          <key>col</key><integer>3</integer>
676// CHECK:          <key>file</key><integer>0</integer>
677// CHECK:         </dict>
678// CHECK:         <dict>
679// CHECK:          <key>line</key><integer>45</integer>
680// CHECK:          <key>col</key><integer>8</integer>
681// CHECK:          <key>file</key><integer>0</integer>
682// CHECK:         </dict>
683// CHECK:        </array>
684// CHECK:      </array>
685// CHECK:      <key>depth</key><integer>0</integer>
686// CHECK:      <key>extended_message</key>
687// CHECK:      <string>Variable &apos;p&apos; initialized to a null pointer value</string>
688// CHECK:      <key>message</key>
689// CHECK: <string>Variable &apos;p&apos; initialized to a null pointer value</string>
690// CHECK:     </dict>
691// CHECK:     <dict>
692// CHECK:      <key>kind</key><string>control</string>
693// CHECK:      <key>edges</key>
694// CHECK:       <array>
695// CHECK:        <dict>
696// CHECK:         <key>start</key>
697// CHECK:          <array>
698// CHECK:           <dict>
699// CHECK:            <key>line</key><integer>45</integer>
700// CHECK:            <key>col</key><integer>3</integer>
701// CHECK:            <key>file</key><integer>0</integer>
702// CHECK:           </dict>
703// CHECK:           <dict>
704// CHECK:            <key>line</key><integer>45</integer>
705// CHECK:            <key>col</key><integer>5</integer>
706// CHECK:            <key>file</key><integer>0</integer>
707// CHECK:           </dict>
708// CHECK:          </array>
709// CHECK:         <key>end</key>
710// CHECK:          <array>
711// CHECK:           <dict>
712// CHECK:            <key>line</key><integer>46</integer>
713// CHECK:            <key>col</key><integer>3</integer>
714// CHECK:            <key>file</key><integer>0</integer>
715// CHECK:           </dict>
716// CHECK:           <dict>
717// CHECK:            <key>line</key><integer>46</integer>
718// CHECK:            <key>col</key><integer>3</integer>
719// CHECK:            <key>file</key><integer>0</integer>
720// CHECK:           </dict>
721// CHECK:          </array>
722// CHECK:        </dict>
723// CHECK:       </array>
724// CHECK:     </dict>
725// CHECK:     <dict>
726// CHECK:      <key>kind</key><string>event</string>
727// CHECK:      <key>location</key>
728// CHECK:      <dict>
729// CHECK:       <key>line</key><integer>46</integer>
730// CHECK:       <key>col</key><integer>3</integer>
731// CHECK:       <key>file</key><integer>0</integer>
732// CHECK:      </dict>
733// CHECK:      <key>ranges</key>
734// CHECK:      <array>
735// CHECK:        <array>
736// CHECK:         <dict>
737// CHECK:          <key>line</key><integer>46</integer>
738// CHECK:          <key>col</key><integer>3</integer>
739// CHECK:          <key>file</key><integer>0</integer>
740// CHECK:         </dict>
741// CHECK:         <dict>
742// CHECK:          <key>line</key><integer>46</integer>
743// CHECK:          <key>col</key><integer>18</integer>
744// CHECK:          <key>file</key><integer>0</integer>
745// CHECK:         </dict>
746// CHECK:        </array>
747// CHECK:      </array>
748// CHECK:      <key>depth</key><integer>0</integer>
749// CHECK:      <key>extended_message</key>
750// CHECK:      <string>Calling anonymous block</string>
751// CHECK:      <key>message</key>
752// CHECK: <string>Calling anonymous block</string>
753// CHECK:     </dict>
754// CHECK:     <dict>
755// CHECK:      <key>kind</key><string>event</string>
756// CHECK:      <key>location</key>
757// CHECK:      <dict>
758// CHECK:       <key>line</key><integer>46</integer>
759// CHECK:       <key>col</key><integer>3</integer>
760// CHECK:       <key>file</key><integer>0</integer>
761// CHECK:      </dict>
762// CHECK:      <key>depth</key><integer>1</integer>
763// CHECK:      <key>extended_message</key>
764// CHECK:      <string>Entered call from &apos;test_block__capture_null&apos;</string>
765// CHECK:      <key>message</key>
766// CHECK: <string>Entered call from &apos;test_block__capture_null&apos;</string>
767// CHECK:     </dict>
768// CHECK:     <dict>
769// CHECK:      <key>kind</key><string>control</string>
770// CHECK:      <key>edges</key>
771// CHECK:       <array>
772// CHECK:        <dict>
773// CHECK:         <key>start</key>
774// CHECK:          <array>
775// CHECK:           <dict>
776// CHECK:            <key>line</key><integer>46</integer>
777// CHECK:            <key>col</key><integer>3</integer>
778// CHECK:            <key>file</key><integer>0</integer>
779// CHECK:           </dict>
780// CHECK:           <dict>
781// CHECK:            <key>line</key><integer>46</integer>
782// CHECK:            <key>col</key><integer>3</integer>
783// CHECK:            <key>file</key><integer>0</integer>
784// CHECK:           </dict>
785// CHECK:          </array>
786// CHECK:         <key>end</key>
787// CHECK:          <array>
788// CHECK:           <dict>
789// CHECK:            <key>line</key><integer>46</integer>
790// CHECK:            <key>col</key><integer>8</integer>
791// CHECK:            <key>file</key><integer>0</integer>
792// CHECK:           </dict>
793// CHECK:           <dict>
794// CHECK:            <key>line</key><integer>46</integer>
795// CHECK:            <key>col</key><integer>8</integer>
796// CHECK:            <key>file</key><integer>0</integer>
797// CHECK:           </dict>
798// CHECK:          </array>
799// CHECK:        </dict>
800// CHECK:       </array>
801// CHECK:     </dict>
802// CHECK:     <dict>
803// CHECK:      <key>kind</key><string>event</string>
804// CHECK:      <key>location</key>
805// CHECK:      <dict>
806// CHECK:       <key>line</key><integer>46</integer>
807// CHECK:       <key>col</key><integer>8</integer>
808// CHECK:       <key>file</key><integer>0</integer>
809// CHECK:      </dict>
810// CHECK:      <key>ranges</key>
811// CHECK:      <array>
812// CHECK:        <array>
813// CHECK:         <dict>
814// CHECK:          <key>line</key><integer>46</integer>
815// CHECK:          <key>col</key><integer>9</integer>
816// CHECK:          <key>file</key><integer>0</integer>
817// CHECK:         </dict>
818// CHECK:         <dict>
819// CHECK:          <key>line</key><integer>46</integer>
820// CHECK:          <key>col</key><integer>9</integer>
821// CHECK:          <key>file</key><integer>0</integer>
822// CHECK:         </dict>
823// CHECK:        </array>
824// CHECK:      </array>
825// CHECK:      <key>depth</key><integer>1</integer>
826// CHECK:      <key>extended_message</key>
827// CHECK:      <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
828// CHECK:      <key>message</key>
829// CHECK: <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
830// CHECK:     </dict>
831// CHECK:    </array>
832// CHECK:    <key>description</key><string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
833// CHECK:    <key>category</key><string>Logic error</string>
834// CHECK:    <key>type</key><string>Dereference of null pointer</string>
835// CHECK:   <key>location</key>
836// CHECK:   <dict>
837// CHECK:    <key>line</key><integer>46</integer>
838// CHECK:    <key>col</key><integer>8</integer>
839// CHECK:    <key>file</key><integer>0</integer>
840// CHECK:   </dict>
841// CHECK:   </dict>
842// CHECK:   <dict>
843// CHECK:    <key>path</key>
844// CHECK:    <array>
845// CHECK:     <dict>
846// CHECK:      <key>kind</key><string>control</string>
847// CHECK:      <key>edges</key>
848// CHECK:       <array>
849// CHECK:        <dict>
850// CHECK:         <key>start</key>
851// CHECK:          <array>
852// CHECK:           <dict>
853// CHECK:            <key>line</key><integer>50</integer>
854// CHECK:            <key>col</key><integer>3</integer>
855// CHECK:            <key>file</key><integer>0</integer>
856// CHECK:           </dict>
857// CHECK:           <dict>
858// CHECK:            <key>line</key><integer>50</integer>
859// CHECK:            <key>col</key><integer>5</integer>
860// CHECK:            <key>file</key><integer>0</integer>
861// CHECK:           </dict>
862// CHECK:          </array>
863// CHECK:         <key>end</key>
864// CHECK:          <array>
865// CHECK:           <dict>
866// CHECK:            <key>line</key><integer>50</integer>
867// CHECK:            <key>col</key><integer>12</integer>
868// CHECK:            <key>file</key><integer>0</integer>
869// CHECK:           </dict>
870// CHECK:           <dict>
871// CHECK:            <key>line</key><integer>50</integer>
872// CHECK:            <key>col</key><integer>12</integer>
873// CHECK:            <key>file</key><integer>0</integer>
874// CHECK:           </dict>
875// CHECK:          </array>
876// CHECK:        </dict>
877// CHECK:       </array>
878// CHECK:     </dict>
879// CHECK:     <dict>
880// CHECK:      <key>kind</key><string>control</string>
881// CHECK:      <key>edges</key>
882// CHECK:       <array>
883// CHECK:        <dict>
884// CHECK:         <key>start</key>
885// CHECK:          <array>
886// CHECK:           <dict>
887// CHECK:            <key>line</key><integer>50</integer>
888// CHECK:            <key>col</key><integer>12</integer>
889// CHECK:            <key>file</key><integer>0</integer>
890// CHECK:           </dict>
891// CHECK:           <dict>
892// CHECK:            <key>line</key><integer>50</integer>
893// CHECK:            <key>col</key><integer>12</integer>
894// CHECK:            <key>file</key><integer>0</integer>
895// CHECK:           </dict>
896// CHECK:          </array>
897// CHECK:         <key>end</key>
898// CHECK:          <array>
899// CHECK:           <dict>
900// CHECK:            <key>line</key><integer>51</integer>
901// CHECK:            <key>col</key><integer>3</integer>
902// CHECK:            <key>file</key><integer>0</integer>
903// CHECK:           </dict>
904// CHECK:           <dict>
905// CHECK:            <key>line</key><integer>51</integer>
906// CHECK:            <key>col</key><integer>3</integer>
907// CHECK:            <key>file</key><integer>0</integer>
908// CHECK:           </dict>
909// CHECK:          </array>
910// CHECK:        </dict>
911// CHECK:       </array>
912// CHECK:     </dict>
913// CHECK:     <dict>
914// CHECK:      <key>kind</key><string>event</string>
915// CHECK:      <key>location</key>
916// CHECK:      <dict>
917// CHECK:       <key>line</key><integer>51</integer>
918// CHECK:       <key>col</key><integer>3</integer>
919// CHECK:       <key>file</key><integer>0</integer>
920// CHECK:      </dict>
921// CHECK:      <key>ranges</key>
922// CHECK:      <array>
923// CHECK:        <array>
924// CHECK:         <dict>
925// CHECK:          <key>line</key><integer>51</integer>
926// CHECK:          <key>col</key><integer>4</integer>
927// CHECK:          <key>file</key><integer>0</integer>
928// CHECK:         </dict>
929// CHECK:         <dict>
930// CHECK:          <key>line</key><integer>51</integer>
931// CHECK:          <key>col</key><integer>4</integer>
932// CHECK:          <key>file</key><integer>0</integer>
933// CHECK:         </dict>
934// CHECK:        </array>
935// CHECK:      </array>
936// CHECK:      <key>depth</key><integer>0</integer>
937// CHECK:      <key>extended_message</key>
938// CHECK:      <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
939// CHECK:      <key>message</key>
940// CHECK: <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
941// CHECK:     </dict>
942// CHECK:    </array>
943// CHECK:    <key>description</key><string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
944// CHECK:    <key>category</key><string>Logic error</string>
945// CHECK:    <key>type</key><string>Dereference of null pointer</string>
946// CHECK:   <key>issue_context_kind</key><string>function</string>
947// CHECK:   <key>issue_context</key><string>test_block_ret</string>
948// CHECK:   <key>location</key>
949// CHECK:   <dict>
950// CHECK:    <key>line</key><integer>51</integer>
951// CHECK:    <key>col</key><integer>3</integer>
952// CHECK:    <key>file</key><integer>0</integer>
953// CHECK:   </dict>
954// CHECK:   </dict>
955// CHECK:   <dict>
956// CHECK:    <key>path</key>
957// CHECK:    <array>
958// CHECK:     <dict>
959// CHECK:      <key>kind</key><string>control</string>
960// CHECK:      <key>edges</key>
961// CHECK:       <array>
962// CHECK:        <dict>
963// CHECK:         <key>start</key>
964// CHECK:          <array>
965// CHECK:           <dict>
966// CHECK:            <key>line</key><integer>55</integer>
967// CHECK:            <key>col</key><integer>3</integer>
968// CHECK:            <key>file</key><integer>0</integer>
969// CHECK:           </dict>
970// CHECK:           <dict>
971// CHECK:            <key>line</key><integer>55</integer>
972// CHECK:            <key>col</key><integer>9</integer>
973// CHECK:            <key>file</key><integer>0</integer>
974// CHECK:           </dict>
975// CHECK:          </array>
976// CHECK:         <key>end</key>
977// CHECK:          <array>
978// CHECK:           <dict>
979// CHECK:            <key>line</key><integer>56</integer>
980// CHECK:            <key>col</key><integer>3</integer>
981// CHECK:            <key>file</key><integer>0</integer>
982// CHECK:           </dict>
983// CHECK:           <dict>
984// CHECK:            <key>line</key><integer>56</integer>
985// CHECK:            <key>col</key><integer>3</integer>
986// CHECK:            <key>file</key><integer>0</integer>
987// CHECK:           </dict>
988// CHECK:          </array>
989// CHECK:        </dict>
990// CHECK:       </array>
991// CHECK:     </dict>
992// CHECK:     <dict>
993// CHECK:      <key>kind</key><string>control</string>
994// CHECK:      <key>edges</key>
995// CHECK:       <array>
996// CHECK:        <dict>
997// CHECK:         <key>start</key>
998// CHECK:          <array>
999// CHECK:           <dict>
1000// CHECK:            <key>line</key><integer>56</integer>
1001// CHECK:            <key>col</key><integer>3</integer>
1002// CHECK:            <key>file</key><integer>0</integer>
1003// CHECK:           </dict>
1004// CHECK:           <dict>
1005// CHECK:            <key>line</key><integer>56</integer>
1006// CHECK:            <key>col</key><integer>3</integer>
1007// CHECK:            <key>file</key><integer>0</integer>
1008// CHECK:           </dict>
1009// CHECK:          </array>
1010// CHECK:         <key>end</key>
1011// CHECK:          <array>
1012// CHECK:           <dict>
1013// CHECK:            <key>line</key><integer>57</integer>
1014// CHECK:            <key>col</key><integer>3</integer>
1015// CHECK:            <key>file</key><integer>0</integer>
1016// CHECK:           </dict>
1017// CHECK:           <dict>
1018// CHECK:            <key>line</key><integer>57</integer>
1019// CHECK:            <key>col</key><integer>3</integer>
1020// CHECK:            <key>file</key><integer>0</integer>
1021// CHECK:           </dict>
1022// CHECK:          </array>
1023// CHECK:        </dict>
1024// CHECK:       </array>
1025// CHECK:     </dict>
1026// CHECK:     <dict>
1027// CHECK:      <key>kind</key><string>event</string>
1028// CHECK:      <key>location</key>
1029// CHECK:      <dict>
1030// CHECK:       <key>line</key><integer>57</integer>
1031// CHECK:       <key>col</key><integer>3</integer>
1032// CHECK:       <key>file</key><integer>0</integer>
1033// CHECK:      </dict>
1034// CHECK:      <key>ranges</key>
1035// CHECK:      <array>
1036// CHECK:        <array>
1037// CHECK:         <dict>
1038// CHECK:          <key>line</key><integer>57</integer>
1039// CHECK:          <key>col</key><integer>4</integer>
1040// CHECK:          <key>file</key><integer>0</integer>
1041// CHECK:         </dict>
1042// CHECK:         <dict>
1043// CHECK:          <key>line</key><integer>57</integer>
1044// CHECK:          <key>col</key><integer>4</integer>
1045// CHECK:          <key>file</key><integer>0</integer>
1046// CHECK:         </dict>
1047// CHECK:        </array>
1048// CHECK:      </array>
1049// CHECK:      <key>depth</key><integer>0</integer>
1050// CHECK:      <key>extended_message</key>
1051// CHECK:      <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
1052// CHECK:      <key>message</key>
1053// CHECK: <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
1054// CHECK:     </dict>
1055// CHECK:    </array>
1056// CHECK:    <key>description</key><string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
1057// CHECK:    <key>category</key><string>Logic error</string>
1058// CHECK:    <key>type</key><string>Dereference of null pointer</string>
1059// CHECK:   <key>issue_context_kind</key><string>function</string>
1060// CHECK:   <key>issue_context</key><string>test_block_blockvar</string>
1061// CHECK:   <key>location</key>
1062// CHECK:   <dict>
1063// CHECK:    <key>line</key><integer>57</integer>
1064// CHECK:    <key>col</key><integer>3</integer>
1065// CHECK:    <key>file</key><integer>0</integer>
1066// CHECK:   </dict>
1067// CHECK:   </dict>
1068// CHECK:   <dict>
1069// CHECK:    <key>path</key>
1070// CHECK:    <array>
1071// CHECK:     <dict>
1072// CHECK:      <key>kind</key><string>control</string>
1073// CHECK:      <key>edges</key>
1074// CHECK:       <array>
1075// CHECK:        <dict>
1076// CHECK:         <key>start</key>
1077// CHECK:          <array>
1078// CHECK:           <dict>
1079// CHECK:            <key>line</key><integer>61</integer>
1080// CHECK:            <key>col</key><integer>3</integer>
1081// CHECK:            <key>file</key><integer>0</integer>
1082// CHECK:           </dict>
1083// CHECK:           <dict>
1084// CHECK:            <key>line</key><integer>61</integer>
1085// CHECK:            <key>col</key><integer>5</integer>
1086// CHECK:            <key>file</key><integer>0</integer>
1087// CHECK:           </dict>
1088// CHECK:          </array>
1089// CHECK:         <key>end</key>
1090// CHECK:          <array>
1091// CHECK:           <dict>
1092// CHECK:            <key>line</key><integer>62</integer>
1093// CHECK:            <key>col</key><integer>3</integer>
1094// CHECK:            <key>file</key><integer>0</integer>
1095// CHECK:           </dict>
1096// CHECK:           <dict>
1097// CHECK:            <key>line</key><integer>62</integer>
1098// CHECK:            <key>col</key><integer>3</integer>
1099// CHECK:            <key>file</key><integer>0</integer>
1100// CHECK:           </dict>
1101// CHECK:          </array>
1102// CHECK:        </dict>
1103// CHECK:       </array>
1104// CHECK:     </dict>
1105// CHECK:     <dict>
1106// CHECK:      <key>kind</key><string>control</string>
1107// CHECK:      <key>edges</key>
1108// CHECK:       <array>
1109// CHECK:        <dict>
1110// CHECK:         <key>start</key>
1111// CHECK:          <array>
1112// CHECK:           <dict>
1113// CHECK:            <key>line</key><integer>62</integer>
1114// CHECK:            <key>col</key><integer>3</integer>
1115// CHECK:            <key>file</key><integer>0</integer>
1116// CHECK:           </dict>
1117// CHECK:           <dict>
1118// CHECK:            <key>line</key><integer>62</integer>
1119// CHECK:            <key>col</key><integer>3</integer>
1120// CHECK:            <key>file</key><integer>0</integer>
1121// CHECK:           </dict>
1122// CHECK:          </array>
1123// CHECK:         <key>end</key>
1124// CHECK:          <array>
1125// CHECK:           <dict>
1126// CHECK:            <key>line</key><integer>63</integer>
1127// CHECK:            <key>col</key><integer>3</integer>
1128// CHECK:            <key>file</key><integer>0</integer>
1129// CHECK:           </dict>
1130// CHECK:           <dict>
1131// CHECK:            <key>line</key><integer>63</integer>
1132// CHECK:            <key>col</key><integer>3</integer>
1133// CHECK:            <key>file</key><integer>0</integer>
1134// CHECK:           </dict>
1135// CHECK:          </array>
1136// CHECK:        </dict>
1137// CHECK:       </array>
1138// CHECK:     </dict>
1139// CHECK:     <dict>
1140// CHECK:      <key>kind</key><string>event</string>
1141// CHECK:      <key>location</key>
1142// CHECK:      <dict>
1143// CHECK:       <key>line</key><integer>63</integer>
1144// CHECK:       <key>col</key><integer>3</integer>
1145// CHECK:       <key>file</key><integer>0</integer>
1146// CHECK:      </dict>
1147// CHECK:      <key>ranges</key>
1148// CHECK:      <array>
1149// CHECK:        <array>
1150// CHECK:         <dict>
1151// CHECK:          <key>line</key><integer>63</integer>
1152// CHECK:          <key>col</key><integer>4</integer>
1153// CHECK:          <key>file</key><integer>0</integer>
1154// CHECK:         </dict>
1155// CHECK:         <dict>
1156// CHECK:          <key>line</key><integer>63</integer>
1157// CHECK:          <key>col</key><integer>4</integer>
1158// CHECK:          <key>file</key><integer>0</integer>
1159// CHECK:         </dict>
1160// CHECK:        </array>
1161// CHECK:      </array>
1162// CHECK:      <key>depth</key><integer>0</integer>
1163// CHECK:      <key>extended_message</key>
1164// CHECK:      <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
1165// CHECK:      <key>message</key>
1166// CHECK: <string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
1167// CHECK:     </dict>
1168// CHECK:    </array>
1169// CHECK:    <key>description</key><string>Dereference of null pointer (loaded from variable &apos;p&apos;)</string>
1170// CHECK:    <key>category</key><string>Logic error</string>
1171// CHECK:    <key>type</key><string>Dereference of null pointer</string>
1172// CHECK:   <key>issue_context_kind</key><string>function</string>
1173// CHECK:   <key>issue_context</key><string>test_block_arg</string>
1174// CHECK:   <key>location</key>
1175// CHECK:   <dict>
1176// CHECK:    <key>line</key><integer>63</integer>
1177// CHECK:    <key>col</key><integer>3</integer>
1178// CHECK:    <key>file</key><integer>0</integer>
1179// CHECK:   </dict>
1180// CHECK:   </dict>
1181// CHECK:  </array>
1182// CHECK: </dict>
1183// CHECK: </plist>
1184