xref: /aosp_15_r20/external/clang/test/Analysis/inlining/eager-reclamation-path-notes.c (revision 67e74705e28f6214e480b399dd47ea732279e315) 
1*67e74705SXin Li // RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-output=text -analyzer-config graph-trim-interval=5 -verify %s
2*67e74705SXin Li // RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-output=plist-multi-file -analyzer-config graph-trim-interval=5 -analyzer-config path-diagnostics-alternate=false %s -o %t.plist
3*67e74705SXin Li // RUN: FileCheck --input-file=%t.plist %s
4*67e74705SXin Li 
use(int * ptr,int val)5*67e74705SXin Li void use(int *ptr, int val) {
6*67e74705SXin Li   *ptr = val; // expected-warning {{Dereference of null pointer (loaded from variable 'ptr')}}
7*67e74705SXin Li   // expected-note@-1 {{Dereference of null pointer (loaded from variable 'ptr')}}
8*67e74705SXin Li }
9*67e74705SXin Li 
compute()10*67e74705SXin Li int compute() {
11*67e74705SXin Li   // Do something that will take enough processing to trigger trimming.
12*67e74705SXin Li   // FIXME: This is actually really sensitive. If the interval timing is just
13*67e74705SXin Li   // wrong, the node for the actual dereference may also be collected, and all
14*67e74705SXin Li   // the path notes will disappear. <rdar://problem/12511814>
15*67e74705SXin Li   return 2 + 3 + 4 + 5 + 6;
16*67e74705SXin Li }
17*67e74705SXin Li 
testSimple()18*67e74705SXin Li void testSimple() {
19*67e74705SXin Li   int *p = 0;
20*67e74705SXin Li   // expected-note@-1 {{'p' initialized to a null pointer value}}
21*67e74705SXin Li   use(p, compute());
22*67e74705SXin Li   // expected-note@-1 {{Passing null pointer value via 1st parameter 'ptr'}}
23*67e74705SXin Li   // expected-note@-2 {{Calling 'use'}}
24*67e74705SXin Li }
25*67e74705SXin Li 
26*67e74705SXin Li 
use2(int * ptr,int val)27*67e74705SXin Li void use2(int *ptr, int val) {
28*67e74705SXin Li   *ptr = val; // expected-warning {{Dereference of null pointer (loaded from variable 'ptr')}}
29*67e74705SXin Li   // expected-note@-1 {{Dereference of null pointer (loaded from variable 'ptr')}}
30*67e74705SXin Li }
31*67e74705SXin Li 
passThrough(int * p)32*67e74705SXin Li void passThrough(int *p) {
33*67e74705SXin Li   use2(p, compute());
34*67e74705SXin Li   // expected-note@-1 {{Passing null pointer value via 1st parameter 'ptr'}}
35*67e74705SXin Li   // expected-note@-2 {{Calling 'use2'}}
36*67e74705SXin Li }
37*67e74705SXin Li 
testChainedCalls()38*67e74705SXin Li void testChainedCalls() {
39*67e74705SXin Li   int *ptr = 0;
40*67e74705SXin Li   // expected-note@-1 {{'ptr' initialized to a null pointer value}}
41*67e74705SXin Li   passThrough(ptr);
42*67e74705SXin Li   // expected-note@-1 {{Passing null pointer value via 1st parameter 'p'}}
43*67e74705SXin Li   // expected-note@-2 {{Calling 'passThrough'}}
44*67e74705SXin Li }
45*67e74705SXin Li 
46*67e74705SXin Li // CHECK:  <key>diagnostics</key>
47*67e74705SXin Li // CHECK-NEXT:  <array>
48*67e74705SXin Li // CHECK-NEXT:   <dict>
49*67e74705SXin Li // CHECK-NEXT:    <key>path</key>
50*67e74705SXin Li // CHECK-NEXT:    <array>
51*67e74705SXin Li // CHECK-NEXT:     <dict>
52*67e74705SXin Li // CHECK-NEXT:      <key>kind</key><string>event</string>
53*67e74705SXin Li // CHECK-NEXT:      <key>location</key>
54*67e74705SXin Li // CHECK-NEXT:      <dict>
55*67e74705SXin Li // CHECK-NEXT:       <key>line</key><integer>19</integer>
56*67e74705SXin Li // CHECK-NEXT:       <key>col</key><integer>3</integer>
57*67e74705SXin Li // CHECK-NEXT:       <key>file</key><integer>0</integer>
58*67e74705SXin Li // CHECK-NEXT:      </dict>
59*67e74705SXin Li // CHECK-NEXT:      <key>ranges</key>
60*67e74705SXin Li // CHECK-NEXT:      <array>
61*67e74705SXin Li // CHECK-NEXT:        <array>
62*67e74705SXin Li // CHECK-NEXT:         <dict>
63*67e74705SXin Li // CHECK-NEXT:          <key>line</key><integer>19</integer>
64*67e74705SXin Li // CHECK-NEXT:          <key>col</key><integer>3</integer>
65*67e74705SXin Li // CHECK-NEXT:          <key>file</key><integer>0</integer>
66*67e74705SXin Li // CHECK-NEXT:         </dict>
67*67e74705SXin Li // CHECK-NEXT:         <dict>
68*67e74705SXin Li // CHECK-NEXT:          <key>line</key><integer>19</integer>
69*67e74705SXin Li // CHECK-NEXT:          <key>col</key><integer>8</integer>
70*67e74705SXin Li // CHECK-NEXT:          <key>file</key><integer>0</integer>
71*67e74705SXin Li // CHECK-NEXT:         </dict>
72*67e74705SXin Li // CHECK-NEXT:        </array>
73*67e74705SXin Li // CHECK-NEXT:      </array>
74*67e74705SXin Li // CHECK-NEXT:      <key>depth</key><integer>0</integer>
75*67e74705SXin Li // CHECK-NEXT:      <key>extended_message</key>
76*67e74705SXin Li // CHECK-NEXT:      <string>&apos;p&apos; initialized to a null pointer value</string>
77*67e74705SXin Li // CHECK-NEXT:      <key>message</key>
78*67e74705SXin Li // CHECK-NEXT:      <string>&apos;p&apos; initialized to a null pointer value</string>
79*67e74705SXin Li // CHECK-NEXT:     </dict>
80*67e74705SXin Li // CHECK-NEXT:     <dict>
81*67e74705SXin Li // CHECK-NEXT:      <key>kind</key><string>control</string>
82*67e74705SXin Li // CHECK-NEXT:      <key>edges</key>
83*67e74705SXin Li // CHECK-NEXT:       <array>
84*67e74705SXin Li // CHECK-NEXT:        <dict>
85*67e74705SXin Li // CHECK-NEXT:         <key>start</key>
86*67e74705SXin Li // CHECK-NEXT:          <array>
87*67e74705SXin Li // CHECK-NEXT:           <dict>
88*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>19</integer>
89*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>3</integer>
90*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
91*67e74705SXin Li // CHECK-NEXT:           </dict>
92*67e74705SXin Li // CHECK-NEXT:           <dict>
93*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>19</integer>
94*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>5</integer>
95*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
96*67e74705SXin Li // CHECK-NEXT:           </dict>
97*67e74705SXin Li // CHECK-NEXT:          </array>
98*67e74705SXin Li // CHECK-NEXT:         <key>end</key>
99*67e74705SXin Li // CHECK-NEXT:          <array>
100*67e74705SXin Li // CHECK-NEXT:           <dict>
101*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>21</integer>
102*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>10</integer>
103*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
104*67e74705SXin Li // CHECK-NEXT:           </dict>
105*67e74705SXin Li // CHECK-NEXT:           <dict>
106*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>21</integer>
107*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>16</integer>
108*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
109*67e74705SXin Li // CHECK-NEXT:           </dict>
110*67e74705SXin Li // CHECK-NEXT:          </array>
111*67e74705SXin Li // CHECK-NEXT:        </dict>
112*67e74705SXin Li // CHECK-NEXT:       </array>
113*67e74705SXin Li // CHECK-NEXT:     </dict>
114*67e74705SXin Li // CHECK-NEXT:     <dict>
115*67e74705SXin Li // CHECK-NEXT:      <key>kind</key><string>control</string>
116*67e74705SXin Li // CHECK-NEXT:      <key>edges</key>
117*67e74705SXin Li // CHECK-NEXT:       <array>
118*67e74705SXin Li // CHECK-NEXT:        <dict>
119*67e74705SXin Li // CHECK-NEXT:         <key>start</key>
120*67e74705SXin Li // CHECK-NEXT:          <array>
121*67e74705SXin Li // CHECK-NEXT:           <dict>
122*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>21</integer>
123*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>10</integer>
124*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
125*67e74705SXin Li // CHECK-NEXT:           </dict>
126*67e74705SXin Li // CHECK-NEXT:           <dict>
127*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>21</integer>
128*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>16</integer>
129*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
130*67e74705SXin Li // CHECK-NEXT:           </dict>
131*67e74705SXin Li // CHECK-NEXT:          </array>
132*67e74705SXin Li // CHECK-NEXT:         <key>end</key>
133*67e74705SXin Li // CHECK-NEXT:          <array>
134*67e74705SXin Li // CHECK-NEXT:           <dict>
135*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>21</integer>
136*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>7</integer>
137*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
138*67e74705SXin Li // CHECK-NEXT:           </dict>
139*67e74705SXin Li // CHECK-NEXT:           <dict>
140*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>21</integer>
141*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>7</integer>
142*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
143*67e74705SXin Li // CHECK-NEXT:           </dict>
144*67e74705SXin Li // CHECK-NEXT:          </array>
145*67e74705SXin Li // CHECK-NEXT:        </dict>
146*67e74705SXin Li // CHECK-NEXT:       </array>
147*67e74705SXin Li // CHECK-NEXT:     </dict>
148*67e74705SXin Li // CHECK-NEXT:     <dict>
149*67e74705SXin Li // CHECK-NEXT:      <key>kind</key><string>event</string>
150*67e74705SXin Li // CHECK-NEXT:      <key>location</key>
151*67e74705SXin Li // CHECK-NEXT:      <dict>
152*67e74705SXin Li // CHECK-NEXT:       <key>line</key><integer>21</integer>
153*67e74705SXin Li // CHECK-NEXT:       <key>col</key><integer>7</integer>
154*67e74705SXin Li // CHECK-NEXT:       <key>file</key><integer>0</integer>
155*67e74705SXin Li // CHECK-NEXT:      </dict>
156*67e74705SXin Li // CHECK-NEXT:      <key>ranges</key>
157*67e74705SXin Li // CHECK-NEXT:      <array>
158*67e74705SXin Li // CHECK-NEXT:        <array>
159*67e74705SXin Li // CHECK-NEXT:         <dict>
160*67e74705SXin Li // CHECK-NEXT:          <key>line</key><integer>21</integer>
161*67e74705SXin Li // CHECK-NEXT:          <key>col</key><integer>7</integer>
162*67e74705SXin Li // CHECK-NEXT:          <key>file</key><integer>0</integer>
163*67e74705SXin Li // CHECK-NEXT:         </dict>
164*67e74705SXin Li // CHECK-NEXT:         <dict>
165*67e74705SXin Li // CHECK-NEXT:          <key>line</key><integer>21</integer>
166*67e74705SXin Li // CHECK-NEXT:          <key>col</key><integer>7</integer>
167*67e74705SXin Li // CHECK-NEXT:          <key>file</key><integer>0</integer>
168*67e74705SXin Li // CHECK-NEXT:         </dict>
169*67e74705SXin Li // CHECK-NEXT:        </array>
170*67e74705SXin Li // CHECK-NEXT:      </array>
171*67e74705SXin Li // CHECK-NEXT:      <key>depth</key><integer>0</integer>
172*67e74705SXin Li // CHECK-NEXT:      <key>extended_message</key>
173*67e74705SXin Li // CHECK-NEXT:      <string>Passing null pointer value via 1st parameter &apos;ptr&apos;</string>
174*67e74705SXin Li // CHECK-NEXT:      <key>message</key>
175*67e74705SXin Li // CHECK-NEXT:      <string>Passing null pointer value via 1st parameter &apos;ptr&apos;</string>
176*67e74705SXin Li // CHECK-NEXT:     </dict>
177*67e74705SXin Li // CHECK-NEXT:     <dict>
178*67e74705SXin Li // CHECK-NEXT:      <key>kind</key><string>event</string>
179*67e74705SXin Li // CHECK-NEXT:      <key>location</key>
180*67e74705SXin Li // CHECK-NEXT:      <dict>
181*67e74705SXin Li // CHECK-NEXT:       <key>line</key><integer>21</integer>
182*67e74705SXin Li // CHECK-NEXT:       <key>col</key><integer>3</integer>
183*67e74705SXin Li // CHECK-NEXT:       <key>file</key><integer>0</integer>
184*67e74705SXin Li // CHECK-NEXT:      </dict>
185*67e74705SXin Li // CHECK-NEXT:      <key>ranges</key>
186*67e74705SXin Li // CHECK-NEXT:      <array>
187*67e74705SXin Li // CHECK-NEXT:        <array>
188*67e74705SXin Li // CHECK-NEXT:         <dict>
189*67e74705SXin Li // CHECK-NEXT:          <key>line</key><integer>21</integer>
190*67e74705SXin Li // CHECK-NEXT:          <key>col</key><integer>3</integer>
191*67e74705SXin Li // CHECK-NEXT:          <key>file</key><integer>0</integer>
192*67e74705SXin Li // CHECK-NEXT:         </dict>
193*67e74705SXin Li // CHECK-NEXT:         <dict>
194*67e74705SXin Li // CHECK-NEXT:          <key>line</key><integer>21</integer>
195*67e74705SXin Li // CHECK-NEXT:          <key>col</key><integer>19</integer>
196*67e74705SXin Li // CHECK-NEXT:          <key>file</key><integer>0</integer>
197*67e74705SXin Li // CHECK-NEXT:         </dict>
198*67e74705SXin Li // CHECK-NEXT:        </array>
199*67e74705SXin Li // CHECK-NEXT:      </array>
200*67e74705SXin Li // CHECK-NEXT:      <key>depth</key><integer>0</integer>
201*67e74705SXin Li // CHECK-NEXT:      <key>extended_message</key>
202*67e74705SXin Li // CHECK-NEXT:      <string>Calling &apos;use&apos;</string>
203*67e74705SXin Li // CHECK-NEXT:      <key>message</key>
204*67e74705SXin Li // CHECK-NEXT:      <string>Calling &apos;use&apos;</string>
205*67e74705SXin Li // CHECK-NEXT:     </dict>
206*67e74705SXin Li // CHECK-NEXT:     <dict>
207*67e74705SXin Li // CHECK-NEXT:      <key>kind</key><string>event</string>
208*67e74705SXin Li // CHECK-NEXT:      <key>location</key>
209*67e74705SXin Li // CHECK-NEXT:      <dict>
210*67e74705SXin Li // CHECK-NEXT:       <key>line</key><integer>5</integer>
211*67e74705SXin Li // CHECK-NEXT:       <key>col</key><integer>1</integer>
212*67e74705SXin Li // CHECK-NEXT:       <key>file</key><integer>0</integer>
213*67e74705SXin Li // CHECK-NEXT:      </dict>
214*67e74705SXin Li // CHECK-NEXT:      <key>depth</key><integer>1</integer>
215*67e74705SXin Li // CHECK-NEXT:      <key>extended_message</key>
216*67e74705SXin Li // CHECK-NEXT:      <string>Entered call from &apos;testSimple&apos;</string>
217*67e74705SXin Li // CHECK-NEXT:      <key>message</key>
218*67e74705SXin Li // CHECK-NEXT:      <string>Entered call from &apos;testSimple&apos;</string>
219*67e74705SXin Li // CHECK-NEXT:     </dict>
220*67e74705SXin Li // CHECK-NEXT:     <dict>
221*67e74705SXin Li // CHECK-NEXT:      <key>kind</key><string>control</string>
222*67e74705SXin Li // CHECK-NEXT:      <key>edges</key>
223*67e74705SXin Li // CHECK-NEXT:       <array>
224*67e74705SXin Li // CHECK-NEXT:        <dict>
225*67e74705SXin Li // CHECK-NEXT:         <key>start</key>
226*67e74705SXin Li // CHECK-NEXT:          <array>
227*67e74705SXin Li // CHECK-NEXT:           <dict>
228*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>5</integer>
229*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>1</integer>
230*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
231*67e74705SXin Li // CHECK-NEXT:           </dict>
232*67e74705SXin Li // CHECK-NEXT:           <dict>
233*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>5</integer>
234*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>4</integer>
235*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
236*67e74705SXin Li // CHECK-NEXT:           </dict>
237*67e74705SXin Li // CHECK-NEXT:          </array>
238*67e74705SXin Li // CHECK-NEXT:         <key>end</key>
239*67e74705SXin Li // CHECK-NEXT:          <array>
240*67e74705SXin Li // CHECK-NEXT:           <dict>
241*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>6</integer>
242*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>3</integer>
243*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
244*67e74705SXin Li // CHECK-NEXT:           </dict>
245*67e74705SXin Li // CHECK-NEXT:           <dict>
246*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>6</integer>
247*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>3</integer>
248*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
249*67e74705SXin Li // CHECK-NEXT:           </dict>
250*67e74705SXin Li // CHECK-NEXT:          </array>
251*67e74705SXin Li // CHECK-NEXT:        </dict>
252*67e74705SXin Li // CHECK-NEXT:       </array>
253*67e74705SXin Li // CHECK-NEXT:     </dict>
254*67e74705SXin Li // CHECK-NEXT:     <dict>
255*67e74705SXin Li // CHECK-NEXT:      <key>kind</key><string>control</string>
256*67e74705SXin Li // CHECK-NEXT:      <key>edges</key>
257*67e74705SXin Li // CHECK-NEXT:       <array>
258*67e74705SXin Li // CHECK-NEXT:        <dict>
259*67e74705SXin Li // CHECK-NEXT:         <key>start</key>
260*67e74705SXin Li // CHECK-NEXT:          <array>
261*67e74705SXin Li // CHECK-NEXT:           <dict>
262*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>6</integer>
263*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>3</integer>
264*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
265*67e74705SXin Li // CHECK-NEXT:           </dict>
266*67e74705SXin Li // CHECK-NEXT:           <dict>
267*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>6</integer>
268*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>3</integer>
269*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
270*67e74705SXin Li // CHECK-NEXT:           </dict>
271*67e74705SXin Li // CHECK-NEXT:          </array>
272*67e74705SXin Li // CHECK-NEXT:         <key>end</key>
273*67e74705SXin Li // CHECK-NEXT:          <array>
274*67e74705SXin Li // CHECK-NEXT:           <dict>
275*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>6</integer>
276*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>8</integer>
277*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
278*67e74705SXin Li // CHECK-NEXT:           </dict>
279*67e74705SXin Li // CHECK-NEXT:           <dict>
280*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>6</integer>
281*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>8</integer>
282*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
283*67e74705SXin Li // CHECK-NEXT:           </dict>
284*67e74705SXin Li // CHECK-NEXT:          </array>
285*67e74705SXin Li // CHECK-NEXT:        </dict>
286*67e74705SXin Li // CHECK-NEXT:       </array>
287*67e74705SXin Li // CHECK-NEXT:     </dict>
288*67e74705SXin Li // CHECK-NEXT:     <dict>
289*67e74705SXin Li // CHECK-NEXT:      <key>kind</key><string>event</string>
290*67e74705SXin Li // CHECK-NEXT:      <key>location</key>
291*67e74705SXin Li // CHECK-NEXT:      <dict>
292*67e74705SXin Li // CHECK-NEXT:       <key>line</key><integer>6</integer>
293*67e74705SXin Li // CHECK-NEXT:       <key>col</key><integer>8</integer>
294*67e74705SXin Li // CHECK-NEXT:       <key>file</key><integer>0</integer>
295*67e74705SXin Li // CHECK-NEXT:      </dict>
296*67e74705SXin Li // CHECK-NEXT:      <key>ranges</key>
297*67e74705SXin Li // CHECK-NEXT:      <array>
298*67e74705SXin Li // CHECK-NEXT:        <array>
299*67e74705SXin Li // CHECK-NEXT:         <dict>
300*67e74705SXin Li // CHECK-NEXT:          <key>line</key><integer>6</integer>
301*67e74705SXin Li // CHECK-NEXT:          <key>col</key><integer>4</integer>
302*67e74705SXin Li // CHECK-NEXT:          <key>file</key><integer>0</integer>
303*67e74705SXin Li // CHECK-NEXT:         </dict>
304*67e74705SXin Li // CHECK-NEXT:         <dict>
305*67e74705SXin Li // CHECK-NEXT:          <key>line</key><integer>6</integer>
306*67e74705SXin Li // CHECK-NEXT:          <key>col</key><integer>6</integer>
307*67e74705SXin Li // CHECK-NEXT:          <key>file</key><integer>0</integer>
308*67e74705SXin Li // CHECK-NEXT:         </dict>
309*67e74705SXin Li // CHECK-NEXT:        </array>
310*67e74705SXin Li // CHECK-NEXT:      </array>
311*67e74705SXin Li // CHECK-NEXT:      <key>depth</key><integer>1</integer>
312*67e74705SXin Li // CHECK-NEXT:      <key>extended_message</key>
313*67e74705SXin Li // CHECK-NEXT:      <string>Dereference of null pointer (loaded from variable &apos;ptr&apos;)</string>
314*67e74705SXin Li // CHECK-NEXT:      <key>message</key>
315*67e74705SXin Li // CHECK-NEXT:      <string>Dereference of null pointer (loaded from variable &apos;ptr&apos;)</string>
316*67e74705SXin Li // CHECK-NEXT:     </dict>
317*67e74705SXin Li // CHECK-NEXT:    </array>
318*67e74705SXin Li // CHECK-NEXT:    <key>description</key><string>Dereference of null pointer (loaded from variable &apos;ptr&apos;)</string>
319*67e74705SXin Li // CHECK-NEXT:    <key>category</key><string>Logic error</string>
320*67e74705SXin Li // CHECK-NEXT:    <key>type</key><string>Dereference of null pointer</string>
321*67e74705SXin Li // CHECK-NEXT:    <key>check_name</key><string>core.NullDereference</string>
322*67e74705SXin Li // CHECK-NEXT:    <!-- This hash is experimental and going to change! -->
323*67e74705SXin Li // CHECK-NEXT:    <key>issue_hash_content_of_line_in_context</key><string>5c273b7f0421359833fde3f06e8a5c07</string>
324*67e74705SXin Li // CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
325*67e74705SXin Li // CHECK-NEXT:   <key>issue_context</key><string>use</string>
326*67e74705SXin Li // CHECK-NEXT:   <key>issue_hash_function_offset</key><string>1</string>
327*67e74705SXin Li // CHECK-NEXT:   <key>location</key>
328*67e74705SXin Li // CHECK-NEXT:   <dict>
329*67e74705SXin Li // CHECK-NEXT:    <key>line</key><integer>6</integer>
330*67e74705SXin Li // CHECK-NEXT:    <key>col</key><integer>8</integer>
331*67e74705SXin Li // CHECK-NEXT:    <key>file</key><integer>0</integer>
332*67e74705SXin Li // CHECK-NEXT:   </dict>
333*67e74705SXin Li // CHECK-NEXT:   </dict>
334*67e74705SXin Li // CHECK-NEXT:   <dict>
335*67e74705SXin Li // CHECK-NEXT:    <key>path</key>
336*67e74705SXin Li // CHECK-NEXT:    <array>
337*67e74705SXin Li // CHECK-NEXT:     <dict>
338*67e74705SXin Li // CHECK-NEXT:      <key>kind</key><string>event</string>
339*67e74705SXin Li // CHECK-NEXT:      <key>location</key>
340*67e74705SXin Li // CHECK-NEXT:      <dict>
341*67e74705SXin Li // CHECK-NEXT:       <key>line</key><integer>39</integer>
342*67e74705SXin Li // CHECK-NEXT:       <key>col</key><integer>3</integer>
343*67e74705SXin Li // CHECK-NEXT:       <key>file</key><integer>0</integer>
344*67e74705SXin Li // CHECK-NEXT:      </dict>
345*67e74705SXin Li // CHECK-NEXT:      <key>ranges</key>
346*67e74705SXin Li // CHECK-NEXT:      <array>
347*67e74705SXin Li // CHECK-NEXT:        <array>
348*67e74705SXin Li // CHECK-NEXT:         <dict>
349*67e74705SXin Li // CHECK-NEXT:          <key>line</key><integer>39</integer>
350*67e74705SXin Li // CHECK-NEXT:          <key>col</key><integer>3</integer>
351*67e74705SXin Li // CHECK-NEXT:          <key>file</key><integer>0</integer>
352*67e74705SXin Li // CHECK-NEXT:         </dict>
353*67e74705SXin Li // CHECK-NEXT:         <dict>
354*67e74705SXin Li // CHECK-NEXT:          <key>line</key><integer>39</integer>
355*67e74705SXin Li // CHECK-NEXT:          <key>col</key><integer>10</integer>
356*67e74705SXin Li // CHECK-NEXT:          <key>file</key><integer>0</integer>
357*67e74705SXin Li // CHECK-NEXT:         </dict>
358*67e74705SXin Li // CHECK-NEXT:        </array>
359*67e74705SXin Li // CHECK-NEXT:      </array>
360*67e74705SXin Li // CHECK-NEXT:      <key>depth</key><integer>0</integer>
361*67e74705SXin Li // CHECK-NEXT:      <key>extended_message</key>
362*67e74705SXin Li // CHECK-NEXT:      <string>&apos;ptr&apos; initialized to a null pointer value</string>
363*67e74705SXin Li // CHECK-NEXT:      <key>message</key>
364*67e74705SXin Li // CHECK-NEXT:      <string>&apos;ptr&apos; initialized to a null pointer value</string>
365*67e74705SXin Li // CHECK-NEXT:     </dict>
366*67e74705SXin Li // CHECK-NEXT:     <dict>
367*67e74705SXin Li // CHECK-NEXT:      <key>kind</key><string>control</string>
368*67e74705SXin Li // CHECK-NEXT:      <key>edges</key>
369*67e74705SXin Li // CHECK-NEXT:       <array>
370*67e74705SXin Li // CHECK-NEXT:        <dict>
371*67e74705SXin Li // CHECK-NEXT:         <key>start</key>
372*67e74705SXin Li // CHECK-NEXT:          <array>
373*67e74705SXin Li // CHECK-NEXT:           <dict>
374*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>39</integer>
375*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>3</integer>
376*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
377*67e74705SXin Li // CHECK-NEXT:           </dict>
378*67e74705SXin Li // CHECK-NEXT:           <dict>
379*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>39</integer>
380*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>5</integer>
381*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
382*67e74705SXin Li // CHECK-NEXT:           </dict>
383*67e74705SXin Li // CHECK-NEXT:          </array>
384*67e74705SXin Li // CHECK-NEXT:         <key>end</key>
385*67e74705SXin Li // CHECK-NEXT:          <array>
386*67e74705SXin Li // CHECK-NEXT:           <dict>
387*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>41</integer>
388*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>3</integer>
389*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
390*67e74705SXin Li // CHECK-NEXT:           </dict>
391*67e74705SXin Li // CHECK-NEXT:           <dict>
392*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>41</integer>
393*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>13</integer>
394*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
395*67e74705SXin Li // CHECK-NEXT:           </dict>
396*67e74705SXin Li // CHECK-NEXT:          </array>
397*67e74705SXin Li // CHECK-NEXT:        </dict>
398*67e74705SXin Li // CHECK-NEXT:       </array>
399*67e74705SXin Li // CHECK-NEXT:     </dict>
400*67e74705SXin Li // CHECK-NEXT:     <dict>
401*67e74705SXin Li // CHECK-NEXT:      <key>kind</key><string>control</string>
402*67e74705SXin Li // CHECK-NEXT:      <key>edges</key>
403*67e74705SXin Li // CHECK-NEXT:       <array>
404*67e74705SXin Li // CHECK-NEXT:        <dict>
405*67e74705SXin Li // CHECK-NEXT:         <key>start</key>
406*67e74705SXin Li // CHECK-NEXT:          <array>
407*67e74705SXin Li // CHECK-NEXT:           <dict>
408*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>41</integer>
409*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>3</integer>
410*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
411*67e74705SXin Li // CHECK-NEXT:           </dict>
412*67e74705SXin Li // CHECK-NEXT:           <dict>
413*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>41</integer>
414*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>13</integer>
415*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
416*67e74705SXin Li // CHECK-NEXT:           </dict>
417*67e74705SXin Li // CHECK-NEXT:          </array>
418*67e74705SXin Li // CHECK-NEXT:         <key>end</key>
419*67e74705SXin Li // CHECK-NEXT:          <array>
420*67e74705SXin Li // CHECK-NEXT:           <dict>
421*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>41</integer>
422*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>15</integer>
423*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
424*67e74705SXin Li // CHECK-NEXT:           </dict>
425*67e74705SXin Li // CHECK-NEXT:           <dict>
426*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>41</integer>
427*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>17</integer>
428*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
429*67e74705SXin Li // CHECK-NEXT:           </dict>
430*67e74705SXin Li // CHECK-NEXT:          </array>
431*67e74705SXin Li // CHECK-NEXT:        </dict>
432*67e74705SXin Li // CHECK-NEXT:       </array>
433*67e74705SXin Li // CHECK-NEXT:     </dict>
434*67e74705SXin Li // CHECK-NEXT:     <dict>
435*67e74705SXin Li // CHECK-NEXT:      <key>kind</key><string>event</string>
436*67e74705SXin Li // CHECK-NEXT:      <key>location</key>
437*67e74705SXin Li // CHECK-NEXT:      <dict>
438*67e74705SXin Li // CHECK-NEXT:       <key>line</key><integer>41</integer>
439*67e74705SXin Li // CHECK-NEXT:       <key>col</key><integer>15</integer>
440*67e74705SXin Li // CHECK-NEXT:       <key>file</key><integer>0</integer>
441*67e74705SXin Li // CHECK-NEXT:      </dict>
442*67e74705SXin Li // CHECK-NEXT:      <key>ranges</key>
443*67e74705SXin Li // CHECK-NEXT:      <array>
444*67e74705SXin Li // CHECK-NEXT:        <array>
445*67e74705SXin Li // CHECK-NEXT:         <dict>
446*67e74705SXin Li // CHECK-NEXT:          <key>line</key><integer>41</integer>
447*67e74705SXin Li // CHECK-NEXT:          <key>col</key><integer>15</integer>
448*67e74705SXin Li // CHECK-NEXT:          <key>file</key><integer>0</integer>
449*67e74705SXin Li // CHECK-NEXT:         </dict>
450*67e74705SXin Li // CHECK-NEXT:         <dict>
451*67e74705SXin Li // CHECK-NEXT:          <key>line</key><integer>41</integer>
452*67e74705SXin Li // CHECK-NEXT:          <key>col</key><integer>17</integer>
453*67e74705SXin Li // CHECK-NEXT:          <key>file</key><integer>0</integer>
454*67e74705SXin Li // CHECK-NEXT:         </dict>
455*67e74705SXin Li // CHECK-NEXT:        </array>
456*67e74705SXin Li // CHECK-NEXT:      </array>
457*67e74705SXin Li // CHECK-NEXT:      <key>depth</key><integer>0</integer>
458*67e74705SXin Li // CHECK-NEXT:      <key>extended_message</key>
459*67e74705SXin Li // CHECK-NEXT:      <string>Passing null pointer value via 1st parameter &apos;p&apos;</string>
460*67e74705SXin Li // CHECK-NEXT:      <key>message</key>
461*67e74705SXin Li // CHECK-NEXT:      <string>Passing null pointer value via 1st parameter &apos;p&apos;</string>
462*67e74705SXin Li // CHECK-NEXT:     </dict>
463*67e74705SXin Li // CHECK-NEXT:     <dict>
464*67e74705SXin Li // CHECK-NEXT:      <key>kind</key><string>event</string>
465*67e74705SXin Li // CHECK-NEXT:      <key>location</key>
466*67e74705SXin Li // CHECK-NEXT:      <dict>
467*67e74705SXin Li // CHECK-NEXT:       <key>line</key><integer>41</integer>
468*67e74705SXin Li // CHECK-NEXT:       <key>col</key><integer>3</integer>
469*67e74705SXin Li // CHECK-NEXT:       <key>file</key><integer>0</integer>
470*67e74705SXin Li // CHECK-NEXT:      </dict>
471*67e74705SXin Li // CHECK-NEXT:      <key>ranges</key>
472*67e74705SXin Li // CHECK-NEXT:      <array>
473*67e74705SXin Li // CHECK-NEXT:        <array>
474*67e74705SXin Li // CHECK-NEXT:         <dict>
475*67e74705SXin Li // CHECK-NEXT:          <key>line</key><integer>41</integer>
476*67e74705SXin Li // CHECK-NEXT:          <key>col</key><integer>3</integer>
477*67e74705SXin Li // CHECK-NEXT:          <key>file</key><integer>0</integer>
478*67e74705SXin Li // CHECK-NEXT:         </dict>
479*67e74705SXin Li // CHECK-NEXT:         <dict>
480*67e74705SXin Li // CHECK-NEXT:          <key>line</key><integer>41</integer>
481*67e74705SXin Li // CHECK-NEXT:          <key>col</key><integer>18</integer>
482*67e74705SXin Li // CHECK-NEXT:          <key>file</key><integer>0</integer>
483*67e74705SXin Li // CHECK-NEXT:         </dict>
484*67e74705SXin Li // CHECK-NEXT:        </array>
485*67e74705SXin Li // CHECK-NEXT:      </array>
486*67e74705SXin Li // CHECK-NEXT:      <key>depth</key><integer>0</integer>
487*67e74705SXin Li // CHECK-NEXT:      <key>extended_message</key>
488*67e74705SXin Li // CHECK-NEXT:      <string>Calling &apos;passThrough&apos;</string>
489*67e74705SXin Li // CHECK-NEXT:      <key>message</key>
490*67e74705SXin Li // CHECK-NEXT:      <string>Calling &apos;passThrough&apos;</string>
491*67e74705SXin Li // CHECK-NEXT:     </dict>
492*67e74705SXin Li // CHECK-NEXT:     <dict>
493*67e74705SXin Li // CHECK-NEXT:      <key>kind</key><string>event</string>
494*67e74705SXin Li // CHECK-NEXT:      <key>location</key>
495*67e74705SXin Li // CHECK-NEXT:      <dict>
496*67e74705SXin Li // CHECK-NEXT:       <key>line</key><integer>32</integer>
497*67e74705SXin Li // CHECK-NEXT:       <key>col</key><integer>1</integer>
498*67e74705SXin Li // CHECK-NEXT:       <key>file</key><integer>0</integer>
499*67e74705SXin Li // CHECK-NEXT:      </dict>
500*67e74705SXin Li // CHECK-NEXT:      <key>depth</key><integer>1</integer>
501*67e74705SXin Li // CHECK-NEXT:      <key>extended_message</key>
502*67e74705SXin Li // CHECK-NEXT:      <string>Entered call from &apos;testChainedCalls&apos;</string>
503*67e74705SXin Li // CHECK-NEXT:      <key>message</key>
504*67e74705SXin Li // CHECK-NEXT:      <string>Entered call from &apos;testChainedCalls&apos;</string>
505*67e74705SXin Li // CHECK-NEXT:     </dict>
506*67e74705SXin Li // CHECK-NEXT:     <dict>
507*67e74705SXin Li // CHECK-NEXT:      <key>kind</key><string>control</string>
508*67e74705SXin Li // CHECK-NEXT:      <key>edges</key>
509*67e74705SXin Li // CHECK-NEXT:       <array>
510*67e74705SXin Li // CHECK-NEXT:        <dict>
511*67e74705SXin Li // CHECK-NEXT:         <key>start</key>
512*67e74705SXin Li // CHECK-NEXT:          <array>
513*67e74705SXin Li // CHECK-NEXT:           <dict>
514*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>32</integer>
515*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>1</integer>
516*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
517*67e74705SXin Li // CHECK-NEXT:           </dict>
518*67e74705SXin Li // CHECK-NEXT:           <dict>
519*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>32</integer>
520*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>4</integer>
521*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
522*67e74705SXin Li // CHECK-NEXT:           </dict>
523*67e74705SXin Li // CHECK-NEXT:          </array>
524*67e74705SXin Li // CHECK-NEXT:         <key>end</key>
525*67e74705SXin Li // CHECK-NEXT:          <array>
526*67e74705SXin Li // CHECK-NEXT:           <dict>
527*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>33</integer>
528*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>3</integer>
529*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
530*67e74705SXin Li // CHECK-NEXT:           </dict>
531*67e74705SXin Li // CHECK-NEXT:           <dict>
532*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>33</integer>
533*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>6</integer>
534*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
535*67e74705SXin Li // CHECK-NEXT:           </dict>
536*67e74705SXin Li // CHECK-NEXT:          </array>
537*67e74705SXin Li // CHECK-NEXT:        </dict>
538*67e74705SXin Li // CHECK-NEXT:       </array>
539*67e74705SXin Li // CHECK-NEXT:     </dict>
540*67e74705SXin Li // CHECK-NEXT:     <dict>
541*67e74705SXin Li // CHECK-NEXT:      <key>kind</key><string>control</string>
542*67e74705SXin Li // CHECK-NEXT:      <key>edges</key>
543*67e74705SXin Li // CHECK-NEXT:       <array>
544*67e74705SXin Li // CHECK-NEXT:        <dict>
545*67e74705SXin Li // CHECK-NEXT:         <key>start</key>
546*67e74705SXin Li // CHECK-NEXT:          <array>
547*67e74705SXin Li // CHECK-NEXT:           <dict>
548*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>33</integer>
549*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>3</integer>
550*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
551*67e74705SXin Li // CHECK-NEXT:           </dict>
552*67e74705SXin Li // CHECK-NEXT:           <dict>
553*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>33</integer>
554*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>6</integer>
555*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
556*67e74705SXin Li // CHECK-NEXT:           </dict>
557*67e74705SXin Li // CHECK-NEXT:          </array>
558*67e74705SXin Li // CHECK-NEXT:         <key>end</key>
559*67e74705SXin Li // CHECK-NEXT:          <array>
560*67e74705SXin Li // CHECK-NEXT:           <dict>
561*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>33</integer>
562*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>11</integer>
563*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
564*67e74705SXin Li // CHECK-NEXT:           </dict>
565*67e74705SXin Li // CHECK-NEXT:           <dict>
566*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>33</integer>
567*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>17</integer>
568*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
569*67e74705SXin Li // CHECK-NEXT:           </dict>
570*67e74705SXin Li // CHECK-NEXT:          </array>
571*67e74705SXin Li // CHECK-NEXT:        </dict>
572*67e74705SXin Li // CHECK-NEXT:       </array>
573*67e74705SXin Li // CHECK-NEXT:     </dict>
574*67e74705SXin Li // CHECK-NEXT:     <dict>
575*67e74705SXin Li // CHECK-NEXT:      <key>kind</key><string>control</string>
576*67e74705SXin Li // CHECK-NEXT:      <key>edges</key>
577*67e74705SXin Li // CHECK-NEXT:       <array>
578*67e74705SXin Li // CHECK-NEXT:        <dict>
579*67e74705SXin Li // CHECK-NEXT:         <key>start</key>
580*67e74705SXin Li // CHECK-NEXT:          <array>
581*67e74705SXin Li // CHECK-NEXT:           <dict>
582*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>33</integer>
583*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>11</integer>
584*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
585*67e74705SXin Li // CHECK-NEXT:           </dict>
586*67e74705SXin Li // CHECK-NEXT:           <dict>
587*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>33</integer>
588*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>17</integer>
589*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
590*67e74705SXin Li // CHECK-NEXT:           </dict>
591*67e74705SXin Li // CHECK-NEXT:          </array>
592*67e74705SXin Li // CHECK-NEXT:         <key>end</key>
593*67e74705SXin Li // CHECK-NEXT:          <array>
594*67e74705SXin Li // CHECK-NEXT:           <dict>
595*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>33</integer>
596*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>8</integer>
597*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
598*67e74705SXin Li // CHECK-NEXT:           </dict>
599*67e74705SXin Li // CHECK-NEXT:           <dict>
600*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>33</integer>
601*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>8</integer>
602*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
603*67e74705SXin Li // CHECK-NEXT:           </dict>
604*67e74705SXin Li // CHECK-NEXT:          </array>
605*67e74705SXin Li // CHECK-NEXT:        </dict>
606*67e74705SXin Li // CHECK-NEXT:       </array>
607*67e74705SXin Li // CHECK-NEXT:     </dict>
608*67e74705SXin Li // CHECK-NEXT:     <dict>
609*67e74705SXin Li // CHECK-NEXT:      <key>kind</key><string>event</string>
610*67e74705SXin Li // CHECK-NEXT:      <key>location</key>
611*67e74705SXin Li // CHECK-NEXT:      <dict>
612*67e74705SXin Li // CHECK-NEXT:       <key>line</key><integer>33</integer>
613*67e74705SXin Li // CHECK-NEXT:       <key>col</key><integer>8</integer>
614*67e74705SXin Li // CHECK-NEXT:       <key>file</key><integer>0</integer>
615*67e74705SXin Li // CHECK-NEXT:      </dict>
616*67e74705SXin Li // CHECK-NEXT:      <key>ranges</key>
617*67e74705SXin Li // CHECK-NEXT:      <array>
618*67e74705SXin Li // CHECK-NEXT:        <array>
619*67e74705SXin Li // CHECK-NEXT:         <dict>
620*67e74705SXin Li // CHECK-NEXT:          <key>line</key><integer>33</integer>
621*67e74705SXin Li // CHECK-NEXT:          <key>col</key><integer>8</integer>
622*67e74705SXin Li // CHECK-NEXT:          <key>file</key><integer>0</integer>
623*67e74705SXin Li // CHECK-NEXT:         </dict>
624*67e74705SXin Li // CHECK-NEXT:         <dict>
625*67e74705SXin Li // CHECK-NEXT:          <key>line</key><integer>33</integer>
626*67e74705SXin Li // CHECK-NEXT:          <key>col</key><integer>8</integer>
627*67e74705SXin Li // CHECK-NEXT:          <key>file</key><integer>0</integer>
628*67e74705SXin Li // CHECK-NEXT:         </dict>
629*67e74705SXin Li // CHECK-NEXT:        </array>
630*67e74705SXin Li // CHECK-NEXT:      </array>
631*67e74705SXin Li // CHECK-NEXT:      <key>depth</key><integer>1</integer>
632*67e74705SXin Li // CHECK-NEXT:      <key>extended_message</key>
633*67e74705SXin Li // CHECK-NEXT:      <string>Passing null pointer value via 1st parameter &apos;ptr&apos;</string>
634*67e74705SXin Li // CHECK-NEXT:      <key>message</key>
635*67e74705SXin Li // CHECK-NEXT:      <string>Passing null pointer value via 1st parameter &apos;ptr&apos;</string>
636*67e74705SXin Li // CHECK-NEXT:     </dict>
637*67e74705SXin Li // CHECK-NEXT:     <dict>
638*67e74705SXin Li // CHECK-NEXT:      <key>kind</key><string>event</string>
639*67e74705SXin Li // CHECK-NEXT:      <key>location</key>
640*67e74705SXin Li // CHECK-NEXT:      <dict>
641*67e74705SXin Li // CHECK-NEXT:       <key>line</key><integer>33</integer>
642*67e74705SXin Li // CHECK-NEXT:       <key>col</key><integer>3</integer>
643*67e74705SXin Li // CHECK-NEXT:       <key>file</key><integer>0</integer>
644*67e74705SXin Li // CHECK-NEXT:      </dict>
645*67e74705SXin Li // CHECK-NEXT:      <key>ranges</key>
646*67e74705SXin Li // CHECK-NEXT:      <array>
647*67e74705SXin Li // CHECK-NEXT:        <array>
648*67e74705SXin Li // CHECK-NEXT:         <dict>
649*67e74705SXin Li // CHECK-NEXT:          <key>line</key><integer>33</integer>
650*67e74705SXin Li // CHECK-NEXT:          <key>col</key><integer>3</integer>
651*67e74705SXin Li // CHECK-NEXT:          <key>file</key><integer>0</integer>
652*67e74705SXin Li // CHECK-NEXT:         </dict>
653*67e74705SXin Li // CHECK-NEXT:         <dict>
654*67e74705SXin Li // CHECK-NEXT:          <key>line</key><integer>33</integer>
655*67e74705SXin Li // CHECK-NEXT:          <key>col</key><integer>20</integer>
656*67e74705SXin Li // CHECK-NEXT:          <key>file</key><integer>0</integer>
657*67e74705SXin Li // CHECK-NEXT:         </dict>
658*67e74705SXin Li // CHECK-NEXT:        </array>
659*67e74705SXin Li // CHECK-NEXT:      </array>
660*67e74705SXin Li // CHECK-NEXT:      <key>depth</key><integer>1</integer>
661*67e74705SXin Li // CHECK-NEXT:      <key>extended_message</key>
662*67e74705SXin Li // CHECK-NEXT:      <string>Calling &apos;use2&apos;</string>
663*67e74705SXin Li // CHECK-NEXT:      <key>message</key>
664*67e74705SXin Li // CHECK-NEXT:      <string>Calling &apos;use2&apos;</string>
665*67e74705SXin Li // CHECK-NEXT:     </dict>
666*67e74705SXin Li // CHECK-NEXT:     <dict>
667*67e74705SXin Li // CHECK-NEXT:      <key>kind</key><string>event</string>
668*67e74705SXin Li // CHECK-NEXT:      <key>location</key>
669*67e74705SXin Li // CHECK-NEXT:      <dict>
670*67e74705SXin Li // CHECK-NEXT:       <key>line</key><integer>27</integer>
671*67e74705SXin Li // CHECK-NEXT:       <key>col</key><integer>1</integer>
672*67e74705SXin Li // CHECK-NEXT:       <key>file</key><integer>0</integer>
673*67e74705SXin Li // CHECK-NEXT:      </dict>
674*67e74705SXin Li // CHECK-NEXT:      <key>depth</key><integer>2</integer>
675*67e74705SXin Li // CHECK-NEXT:      <key>extended_message</key>
676*67e74705SXin Li // CHECK-NEXT:      <string>Entered call from &apos;passThrough&apos;</string>
677*67e74705SXin Li // CHECK-NEXT:      <key>message</key>
678*67e74705SXin Li // CHECK-NEXT:      <string>Entered call from &apos;passThrough&apos;</string>
679*67e74705SXin Li // CHECK-NEXT:     </dict>
680*67e74705SXin Li // CHECK-NEXT:     <dict>
681*67e74705SXin Li // CHECK-NEXT:      <key>kind</key><string>control</string>
682*67e74705SXin Li // CHECK-NEXT:      <key>edges</key>
683*67e74705SXin Li // CHECK-NEXT:       <array>
684*67e74705SXin Li // CHECK-NEXT:        <dict>
685*67e74705SXin Li // CHECK-NEXT:         <key>start</key>
686*67e74705SXin Li // CHECK-NEXT:          <array>
687*67e74705SXin Li // CHECK-NEXT:           <dict>
688*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>27</integer>
689*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>1</integer>
690*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
691*67e74705SXin Li // CHECK-NEXT:           </dict>
692*67e74705SXin Li // CHECK-NEXT:           <dict>
693*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>27</integer>
694*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>4</integer>
695*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
696*67e74705SXin Li // CHECK-NEXT:           </dict>
697*67e74705SXin Li // CHECK-NEXT:          </array>
698*67e74705SXin Li // CHECK-NEXT:         <key>end</key>
699*67e74705SXin Li // CHECK-NEXT:          <array>
700*67e74705SXin Li // CHECK-NEXT:           <dict>
701*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>28</integer>
702*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>3</integer>
703*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
704*67e74705SXin Li // CHECK-NEXT:           </dict>
705*67e74705SXin Li // CHECK-NEXT:           <dict>
706*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>28</integer>
707*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>3</integer>
708*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
709*67e74705SXin Li // CHECK-NEXT:           </dict>
710*67e74705SXin Li // CHECK-NEXT:          </array>
711*67e74705SXin Li // CHECK-NEXT:        </dict>
712*67e74705SXin Li // CHECK-NEXT:       </array>
713*67e74705SXin Li // CHECK-NEXT:     </dict>
714*67e74705SXin Li // CHECK-NEXT:     <dict>
715*67e74705SXin Li // CHECK-NEXT:      <key>kind</key><string>control</string>
716*67e74705SXin Li // CHECK-NEXT:      <key>edges</key>
717*67e74705SXin Li // CHECK-NEXT:       <array>
718*67e74705SXin Li // CHECK-NEXT:        <dict>
719*67e74705SXin Li // CHECK-NEXT:         <key>start</key>
720*67e74705SXin Li // CHECK-NEXT:          <array>
721*67e74705SXin Li // CHECK-NEXT:           <dict>
722*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>28</integer>
723*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>3</integer>
724*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
725*67e74705SXin Li // CHECK-NEXT:           </dict>
726*67e74705SXin Li // CHECK-NEXT:           <dict>
727*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>28</integer>
728*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>3</integer>
729*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
730*67e74705SXin Li // CHECK-NEXT:           </dict>
731*67e74705SXin Li // CHECK-NEXT:          </array>
732*67e74705SXin Li // CHECK-NEXT:         <key>end</key>
733*67e74705SXin Li // CHECK-NEXT:          <array>
734*67e74705SXin Li // CHECK-NEXT:           <dict>
735*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>28</integer>
736*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>8</integer>
737*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
738*67e74705SXin Li // CHECK-NEXT:           </dict>
739*67e74705SXin Li // CHECK-NEXT:           <dict>
740*67e74705SXin Li // CHECK-NEXT:            <key>line</key><integer>28</integer>
741*67e74705SXin Li // CHECK-NEXT:            <key>col</key><integer>8</integer>
742*67e74705SXin Li // CHECK-NEXT:            <key>file</key><integer>0</integer>
743*67e74705SXin Li // CHECK-NEXT:           </dict>
744*67e74705SXin Li // CHECK-NEXT:          </array>
745*67e74705SXin Li // CHECK-NEXT:        </dict>
746*67e74705SXin Li // CHECK-NEXT:       </array>
747*67e74705SXin Li // CHECK-NEXT:     </dict>
748*67e74705SXin Li // CHECK-NEXT:     <dict>
749*67e74705SXin Li // CHECK-NEXT:      <key>kind</key><string>event</string>
750*67e74705SXin Li // CHECK-NEXT:      <key>location</key>
751*67e74705SXin Li // CHECK-NEXT:      <dict>
752*67e74705SXin Li // CHECK-NEXT:       <key>line</key><integer>28</integer>
753*67e74705SXin Li // CHECK-NEXT:       <key>col</key><integer>8</integer>
754*67e74705SXin Li // CHECK-NEXT:       <key>file</key><integer>0</integer>
755*67e74705SXin Li // CHECK-NEXT:      </dict>
756*67e74705SXin Li // CHECK-NEXT:      <key>ranges</key>
757*67e74705SXin Li // CHECK-NEXT:      <array>
758*67e74705SXin Li // CHECK-NEXT:        <array>
759*67e74705SXin Li // CHECK-NEXT:         <dict>
760*67e74705SXin Li // CHECK-NEXT:          <key>line</key><integer>28</integer>
761*67e74705SXin Li // CHECK-NEXT:          <key>col</key><integer>4</integer>
762*67e74705SXin Li // CHECK-NEXT:          <key>file</key><integer>0</integer>
763*67e74705SXin Li // CHECK-NEXT:         </dict>
764*67e74705SXin Li // CHECK-NEXT:         <dict>
765*67e74705SXin Li // CHECK-NEXT:          <key>line</key><integer>28</integer>
766*67e74705SXin Li // CHECK-NEXT:          <key>col</key><integer>6</integer>
767*67e74705SXin Li // CHECK-NEXT:          <key>file</key><integer>0</integer>
768*67e74705SXin Li // CHECK-NEXT:         </dict>
769*67e74705SXin Li // CHECK-NEXT:        </array>
770*67e74705SXin Li // CHECK-NEXT:      </array>
771*67e74705SXin Li // CHECK-NEXT:      <key>depth</key><integer>2</integer>
772*67e74705SXin Li // CHECK-NEXT:      <key>extended_message</key>
773*67e74705SXin Li // CHECK-NEXT:      <string>Dereference of null pointer (loaded from variable &apos;ptr&apos;)</string>
774*67e74705SXin Li // CHECK-NEXT:      <key>message</key>
775*67e74705SXin Li // CHECK-NEXT:      <string>Dereference of null pointer (loaded from variable &apos;ptr&apos;)</string>
776*67e74705SXin Li // CHECK-NEXT:     </dict>
777*67e74705SXin Li // CHECK-NEXT:    </array>
778*67e74705SXin Li // CHECK-NEXT:    <key>description</key><string>Dereference of null pointer (loaded from variable &apos;ptr&apos;)</string>
779*67e74705SXin Li // CHECK-NEXT:    <key>category</key><string>Logic error</string>
780*67e74705SXin Li // CHECK-NEXT:    <key>type</key><string>Dereference of null pointer</string>
781*67e74705SXin Li // CHECK-NEXT:    <key>check_name</key><string>core.NullDereference</string>
782*67e74705SXin Li // CHECK-NEXT:    <!-- This hash is experimental and going to change! -->
783*67e74705SXin Li // CHECK-NEXT:    <key>issue_hash_content_of_line_in_context</key><string>1d1fa98a8e9fbfa90777dac9fc2795a8</string>
784*67e74705SXin Li // CHECK-NEXT:   <key>issue_context_kind</key><string>function</string>
785*67e74705SXin Li // CHECK-NEXT:   <key>issue_context</key><string>use2</string>
786*67e74705SXin Li // CHECK-NEXT:   <key>issue_hash_function_offset</key><string>1</string>
787*67e74705SXin Li // CHECK-NEXT:   <key>location</key>
788*67e74705SXin Li // CHECK-NEXT:   <dict>
789*67e74705SXin Li // CHECK-NEXT:    <key>line</key><integer>28</integer>
790*67e74705SXin Li // CHECK-NEXT:    <key>col</key><integer>8</integer>
791*67e74705SXin Li // CHECK-NEXT:    <key>file</key><integer>0</integer>
792*67e74705SXin Li // CHECK-NEXT:   </dict>
793*67e74705SXin Li // CHECK-NEXT:   </dict>
794*67e74705SXin Li // CHECK-NEXT:  </array>
795