1 // RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-output=text -verify %s
2 // RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-output=plist-multi-file -analyzer-config path-diagnostics-alternate=false %s -o %t.plist
3 // RUN: FileCheck --input-file=%t.plist %s
4
5 struct S {
6 int *x;
7 int y;
8 };
9
10 int *foo();
11
test(struct S syz,int * pp)12 void test(struct S syz, int *pp) {
13 int m = 0;
14 syz.x = foo(); // expected-note{{Value assigned to 'syz.x'}}
15
16 struct S *ps = &syz;
17 if (ps->x)
18 //expected-note@-1{{Taking false branch}}
19 //expected-note@-2{{Assuming pointer value is null}}
20
21 m++;
22
23 m += *syz.x; // expected-warning{{Dereference of null pointer (loaded from field 'x')}}
24 // expected-note@-1{{Dereference of null pointer (loaded from field 'x')}}
25 }
26
testTrackConstraintBRVisitorIsTrackingTurnedOn(struct S syz,int * pp)27 void testTrackConstraintBRVisitorIsTrackingTurnedOn(struct S syz, int *pp) {
28 int m = 0;
29 syz.x = foo(); // expected-note{{Value assigned to 'syz.x'}}
30
31 struct S *ps = &syz;
32 if (ps->x)
33 //expected-note@-1{{Taking false branch}}
34 //expected-note@-2{{Assuming pointer value is null}}
35
36 m++;
37 int *p = syz.x; //expected-note {{'p' initialized to a null pointer value}}
38 m = *p; // expected-warning {{Dereference of null pointer (loaded from variable 'p')}}
39 // expected-note@-1 {{Dereference of null pointer (loaded from variable 'p')}}
40 }
41
42 // CHECK: <key>diagnostics</key>
43 // CHECK-NEXT: <array>
44 // CHECK-NEXT: <dict>
45 // CHECK-NEXT: <key>path</key>
46 // CHECK-NEXT: <array>
47 // CHECK-NEXT: <dict>
48 // CHECK-NEXT: <key>kind</key><string>control</string>
49 // CHECK-NEXT: <key>edges</key>
50 // CHECK-NEXT: <array>
51 // CHECK-NEXT: <dict>
52 // CHECK-NEXT: <key>start</key>
53 // CHECK-NEXT: <array>
54 // CHECK-NEXT: <dict>
55 // CHECK-NEXT: <key>line</key><integer>13</integer>
56 // CHECK-NEXT: <key>col</key><integer>3</integer>
57 // CHECK-NEXT: <key>file</key><integer>0</integer>
58 // CHECK-NEXT: </dict>
59 // CHECK-NEXT: <dict>
60 // CHECK-NEXT: <key>line</key><integer>13</integer>
61 // CHECK-NEXT: <key>col</key><integer>5</integer>
62 // CHECK-NEXT: <key>file</key><integer>0</integer>
63 // CHECK-NEXT: </dict>
64 // CHECK-NEXT: </array>
65 // CHECK-NEXT: <key>end</key>
66 // CHECK-NEXT: <array>
67 // CHECK-NEXT: <dict>
68 // CHECK-NEXT: <key>line</key><integer>14</integer>
69 // CHECK-NEXT: <key>col</key><integer>3</integer>
70 // CHECK-NEXT: <key>file</key><integer>0</integer>
71 // CHECK-NEXT: </dict>
72 // CHECK-NEXT: <dict>
73 // CHECK-NEXT: <key>line</key><integer>14</integer>
74 // CHECK-NEXT: <key>col</key><integer>5</integer>
75 // CHECK-NEXT: <key>file</key><integer>0</integer>
76 // CHECK-NEXT: </dict>
77 // CHECK-NEXT: </array>
78 // CHECK-NEXT: </dict>
79 // CHECK-NEXT: </array>
80 // CHECK-NEXT: </dict>
81 // CHECK-NEXT: <dict>
82 // CHECK-NEXT: <key>kind</key><string>event</string>
83 // CHECK-NEXT: <key>location</key>
84 // CHECK-NEXT: <dict>
85 // CHECK-NEXT: <key>line</key><integer>14</integer>
86 // CHECK-NEXT: <key>col</key><integer>3</integer>
87 // CHECK-NEXT: <key>file</key><integer>0</integer>
88 // CHECK-NEXT: </dict>
89 // CHECK-NEXT: <key>ranges</key>
90 // CHECK-NEXT: <array>
91 // CHECK-NEXT: <array>
92 // CHECK-NEXT: <dict>
93 // CHECK-NEXT: <key>line</key><integer>14</integer>
94 // CHECK-NEXT: <key>col</key><integer>3</integer>
95 // CHECK-NEXT: <key>file</key><integer>0</integer>
96 // CHECK-NEXT: </dict>
97 // CHECK-NEXT: <dict>
98 // CHECK-NEXT: <key>line</key><integer>14</integer>
99 // CHECK-NEXT: <key>col</key><integer>15</integer>
100 // CHECK-NEXT: <key>file</key><integer>0</integer>
101 // CHECK-NEXT: </dict>
102 // CHECK-NEXT: </array>
103 // CHECK-NEXT: </array>
104 // CHECK-NEXT: <key>depth</key><integer>0</integer>
105 // CHECK-NEXT: <key>extended_message</key>
106 // CHECK-NEXT: <string>Value assigned to 'syz.x'</string>
107 // CHECK-NEXT: <key>message</key>
108 // CHECK-NEXT: <string>Value assigned to 'syz.x'</string>
109 // CHECK-NEXT: </dict>
110 // CHECK-NEXT: <dict>
111 // CHECK-NEXT: <key>kind</key><string>control</string>
112 // CHECK-NEXT: <key>edges</key>
113 // CHECK-NEXT: <array>
114 // CHECK-NEXT: <dict>
115 // CHECK-NEXT: <key>start</key>
116 // CHECK-NEXT: <array>
117 // CHECK-NEXT: <dict>
118 // CHECK-NEXT: <key>line</key><integer>14</integer>
119 // CHECK-NEXT: <key>col</key><integer>3</integer>
120 // CHECK-NEXT: <key>file</key><integer>0</integer>
121 // CHECK-NEXT: </dict>
122 // CHECK-NEXT: <dict>
123 // CHECK-NEXT: <key>line</key><integer>14</integer>
124 // CHECK-NEXT: <key>col</key><integer>5</integer>
125 // CHECK-NEXT: <key>file</key><integer>0</integer>
126 // CHECK-NEXT: </dict>
127 // CHECK-NEXT: </array>
128 // CHECK-NEXT: <key>end</key>
129 // CHECK-NEXT: <array>
130 // CHECK-NEXT: <dict>
131 // CHECK-NEXT: <key>line</key><integer>17</integer>
132 // CHECK-NEXT: <key>col</key><integer>3</integer>
133 // CHECK-NEXT: <key>file</key><integer>0</integer>
134 // CHECK-NEXT: </dict>
135 // CHECK-NEXT: <dict>
136 // CHECK-NEXT: <key>line</key><integer>17</integer>
137 // CHECK-NEXT: <key>col</key><integer>4</integer>
138 // CHECK-NEXT: <key>file</key><integer>0</integer>
139 // CHECK-NEXT: </dict>
140 // CHECK-NEXT: </array>
141 // CHECK-NEXT: </dict>
142 // CHECK-NEXT: </array>
143 // CHECK-NEXT: </dict>
144 // CHECK-NEXT: <dict>
145 // CHECK-NEXT: <key>kind</key><string>control</string>
146 // CHECK-NEXT: <key>edges</key>
147 // CHECK-NEXT: <array>
148 // CHECK-NEXT: <dict>
149 // CHECK-NEXT: <key>start</key>
150 // CHECK-NEXT: <array>
151 // CHECK-NEXT: <dict>
152 // CHECK-NEXT: <key>line</key><integer>17</integer>
153 // CHECK-NEXT: <key>col</key><integer>3</integer>
154 // CHECK-NEXT: <key>file</key><integer>0</integer>
155 // CHECK-NEXT: </dict>
156 // CHECK-NEXT: <dict>
157 // CHECK-NEXT: <key>line</key><integer>17</integer>
158 // CHECK-NEXT: <key>col</key><integer>4</integer>
159 // CHECK-NEXT: <key>file</key><integer>0</integer>
160 // CHECK-NEXT: </dict>
161 // CHECK-NEXT: </array>
162 // CHECK-NEXT: <key>end</key>
163 // CHECK-NEXT: <array>
164 // CHECK-NEXT: <dict>
165 // CHECK-NEXT: <key>line</key><integer>17</integer>
166 // CHECK-NEXT: <key>col</key><integer>7</integer>
167 // CHECK-NEXT: <key>file</key><integer>0</integer>
168 // CHECK-NEXT: </dict>
169 // CHECK-NEXT: <dict>
170 // CHECK-NEXT: <key>line</key><integer>17</integer>
171 // CHECK-NEXT: <key>col</key><integer>8</integer>
172 // CHECK-NEXT: <key>file</key><integer>0</integer>
173 // CHECK-NEXT: </dict>
174 // CHECK-NEXT: </array>
175 // CHECK-NEXT: </dict>
176 // CHECK-NEXT: </array>
177 // CHECK-NEXT: </dict>
178 // CHECK-NEXT: <dict>
179 // CHECK-NEXT: <key>kind</key><string>event</string>
180 // CHECK-NEXT: <key>location</key>
181 // CHECK-NEXT: <dict>
182 // CHECK-NEXT: <key>line</key><integer>17</integer>
183 // CHECK-NEXT: <key>col</key><integer>7</integer>
184 // CHECK-NEXT: <key>file</key><integer>0</integer>
185 // CHECK-NEXT: </dict>
186 // CHECK-NEXT: <key>ranges</key>
187 // CHECK-NEXT: <array>
188 // CHECK-NEXT: <array>
189 // CHECK-NEXT: <dict>
190 // CHECK-NEXT: <key>line</key><integer>17</integer>
191 // CHECK-NEXT: <key>col</key><integer>7</integer>
192 // CHECK-NEXT: <key>file</key><integer>0</integer>
193 // CHECK-NEXT: </dict>
194 // CHECK-NEXT: <dict>
195 // CHECK-NEXT: <key>line</key><integer>17</integer>
196 // CHECK-NEXT: <key>col</key><integer>11</integer>
197 // CHECK-NEXT: <key>file</key><integer>0</integer>
198 // CHECK-NEXT: </dict>
199 // CHECK-NEXT: </array>
200 // CHECK-NEXT: </array>
201 // CHECK-NEXT: <key>depth</key><integer>0</integer>
202 // CHECK-NEXT: <key>extended_message</key>
203 // CHECK-NEXT: <string>Assuming pointer value is null</string>
204 // CHECK-NEXT: <key>message</key>
205 // CHECK-NEXT: <string>Assuming pointer value is null</string>
206 // CHECK-NEXT: </dict>
207 // CHECK-NEXT: <dict>
208 // CHECK-NEXT: <key>kind</key><string>control</string>
209 // CHECK-NEXT: <key>edges</key>
210 // CHECK-NEXT: <array>
211 // CHECK-NEXT: <dict>
212 // CHECK-NEXT: <key>start</key>
213 // CHECK-NEXT: <array>
214 // CHECK-NEXT: <dict>
215 // CHECK-NEXT: <key>line</key><integer>17</integer>
216 // CHECK-NEXT: <key>col</key><integer>7</integer>
217 // CHECK-NEXT: <key>file</key><integer>0</integer>
218 // CHECK-NEXT: </dict>
219 // CHECK-NEXT: <dict>
220 // CHECK-NEXT: <key>line</key><integer>17</integer>
221 // CHECK-NEXT: <key>col</key><integer>8</integer>
222 // CHECK-NEXT: <key>file</key><integer>0</integer>
223 // CHECK-NEXT: </dict>
224 // CHECK-NEXT: </array>
225 // CHECK-NEXT: <key>end</key>
226 // CHECK-NEXT: <array>
227 // CHECK-NEXT: <dict>
228 // CHECK-NEXT: <key>line</key><integer>23</integer>
229 // CHECK-NEXT: <key>col</key><integer>3</integer>
230 // CHECK-NEXT: <key>file</key><integer>0</integer>
231 // CHECK-NEXT: </dict>
232 // CHECK-NEXT: <dict>
233 // CHECK-NEXT: <key>line</key><integer>23</integer>
234 // CHECK-NEXT: <key>col</key><integer>3</integer>
235 // CHECK-NEXT: <key>file</key><integer>0</integer>
236 // CHECK-NEXT: </dict>
237 // CHECK-NEXT: </array>
238 // CHECK-NEXT: </dict>
239 // CHECK-NEXT: </array>
240 // CHECK-NEXT: </dict>
241 // CHECK-NEXT: <dict>
242 // CHECK-NEXT: <key>kind</key><string>control</string>
243 // CHECK-NEXT: <key>edges</key>
244 // CHECK-NEXT: <array>
245 // CHECK-NEXT: <dict>
246 // CHECK-NEXT: <key>start</key>
247 // CHECK-NEXT: <array>
248 // CHECK-NEXT: <dict>
249 // CHECK-NEXT: <key>line</key><integer>23</integer>
250 // CHECK-NEXT: <key>col</key><integer>3</integer>
251 // CHECK-NEXT: <key>file</key><integer>0</integer>
252 // CHECK-NEXT: </dict>
253 // CHECK-NEXT: <dict>
254 // CHECK-NEXT: <key>line</key><integer>23</integer>
255 // CHECK-NEXT: <key>col</key><integer>3</integer>
256 // CHECK-NEXT: <key>file</key><integer>0</integer>
257 // CHECK-NEXT: </dict>
258 // CHECK-NEXT: </array>
259 // CHECK-NEXT: <key>end</key>
260 // CHECK-NEXT: <array>
261 // CHECK-NEXT: <dict>
262 // CHECK-NEXT: <key>line</key><integer>23</integer>
263 // CHECK-NEXT: <key>col</key><integer>8</integer>
264 // CHECK-NEXT: <key>file</key><integer>0</integer>
265 // CHECK-NEXT: </dict>
266 // CHECK-NEXT: <dict>
267 // CHECK-NEXT: <key>line</key><integer>23</integer>
268 // CHECK-NEXT: <key>col</key><integer>8</integer>
269 // CHECK-NEXT: <key>file</key><integer>0</integer>
270 // CHECK-NEXT: </dict>
271 // CHECK-NEXT: </array>
272 // CHECK-NEXT: </dict>
273 // CHECK-NEXT: </array>
274 // CHECK-NEXT: </dict>
275 // CHECK-NEXT: <dict>
276 // CHECK-NEXT: <key>kind</key><string>event</string>
277 // CHECK-NEXT: <key>location</key>
278 // CHECK-NEXT: <dict>
279 // CHECK-NEXT: <key>line</key><integer>23</integer>
280 // CHECK-NEXT: <key>col</key><integer>8</integer>
281 // CHECK-NEXT: <key>file</key><integer>0</integer>
282 // CHECK-NEXT: </dict>
283 // CHECK-NEXT: <key>ranges</key>
284 // CHECK-NEXT: <array>
285 // CHECK-NEXT: <array>
286 // CHECK-NEXT: <dict>
287 // CHECK-NEXT: <key>line</key><integer>23</integer>
288 // CHECK-NEXT: <key>col</key><integer>13</integer>
289 // CHECK-NEXT: <key>file</key><integer>0</integer>
290 // CHECK-NEXT: </dict>
291 // CHECK-NEXT: <dict>
292 // CHECK-NEXT: <key>line</key><integer>23</integer>
293 // CHECK-NEXT: <key>col</key><integer>13</integer>
294 // CHECK-NEXT: <key>file</key><integer>0</integer>
295 // CHECK-NEXT: </dict>
296 // CHECK-NEXT: </array>
297 // CHECK-NEXT: </array>
298 // CHECK-NEXT: <key>depth</key><integer>0</integer>
299 // CHECK-NEXT: <key>extended_message</key>
300 // CHECK-NEXT: <string>Dereference of null pointer (loaded from field 'x')</string>
301 // CHECK-NEXT: <key>message</key>
302 // CHECK-NEXT: <string>Dereference of null pointer (loaded from field 'x')</string>
303 // CHECK-NEXT: </dict>
304 // CHECK-NEXT: </array>
305 // CHECK-NEXT: <key>description</key><string>Dereference of null pointer (loaded from field 'x')</string>
306 // CHECK-NEXT: <key>category</key><string>Logic error</string>
307 // CHECK-NEXT: <key>type</key><string>Dereference of null pointer</string>
308 // CHECK-NEXT: <key>check_name</key><string>core.NullDereference</string>
309 // CHECK-NEXT: <!-- This hash is experimental and going to change! -->
310 // CHECK-NEXT: <key>issue_hash_content_of_line_in_context</key><string>5cafa075eb4d5b0bf1f228608a3ec87e</string>
311 // CHECK-NEXT: <key>issue_context_kind</key><string>function</string>
312 // CHECK-NEXT: <key>issue_context</key><string>test</string>
313 // CHECK-NEXT: <key>issue_hash_function_offset</key><string>11</string>
314 // CHECK-NEXT: <key>location</key>
315 // CHECK-NEXT: <dict>
316 // CHECK-NEXT: <key>line</key><integer>23</integer>
317 // CHECK-NEXT: <key>col</key><integer>8</integer>
318 // CHECK-NEXT: <key>file</key><integer>0</integer>
319 // CHECK-NEXT: </dict>
320 // CHECK-NEXT: </dict>
321 // CHECK-NEXT: <dict>
322 // CHECK-NEXT: <key>path</key>
323 // CHECK-NEXT: <array>
324 // CHECK-NEXT: <dict>
325 // CHECK-NEXT: <key>kind</key><string>control</string>
326 // CHECK-NEXT: <key>edges</key>
327 // CHECK-NEXT: <array>
328 // CHECK-NEXT: <dict>
329 // CHECK-NEXT: <key>start</key>
330 // CHECK-NEXT: <array>
331 // CHECK-NEXT: <dict>
332 // CHECK-NEXT: <key>line</key><integer>28</integer>
333 // CHECK-NEXT: <key>col</key><integer>3</integer>
334 // CHECK-NEXT: <key>file</key><integer>0</integer>
335 // CHECK-NEXT: </dict>
336 // CHECK-NEXT: <dict>
337 // CHECK-NEXT: <key>line</key><integer>28</integer>
338 // CHECK-NEXT: <key>col</key><integer>5</integer>
339 // CHECK-NEXT: <key>file</key><integer>0</integer>
340 // CHECK-NEXT: </dict>
341 // CHECK-NEXT: </array>
342 // CHECK-NEXT: <key>end</key>
343 // CHECK-NEXT: <array>
344 // CHECK-NEXT: <dict>
345 // CHECK-NEXT: <key>line</key><integer>29</integer>
346 // CHECK-NEXT: <key>col</key><integer>3</integer>
347 // CHECK-NEXT: <key>file</key><integer>0</integer>
348 // CHECK-NEXT: </dict>
349 // CHECK-NEXT: <dict>
350 // CHECK-NEXT: <key>line</key><integer>29</integer>
351 // CHECK-NEXT: <key>col</key><integer>5</integer>
352 // CHECK-NEXT: <key>file</key><integer>0</integer>
353 // CHECK-NEXT: </dict>
354 // CHECK-NEXT: </array>
355 // CHECK-NEXT: </dict>
356 // CHECK-NEXT: </array>
357 // CHECK-NEXT: </dict>
358 // CHECK-NEXT: <dict>
359 // CHECK-NEXT: <key>kind</key><string>event</string>
360 // CHECK-NEXT: <key>location</key>
361 // CHECK-NEXT: <dict>
362 // CHECK-NEXT: <key>line</key><integer>29</integer>
363 // CHECK-NEXT: <key>col</key><integer>3</integer>
364 // CHECK-NEXT: <key>file</key><integer>0</integer>
365 // CHECK-NEXT: </dict>
366 // CHECK-NEXT: <key>ranges</key>
367 // CHECK-NEXT: <array>
368 // CHECK-NEXT: <array>
369 // CHECK-NEXT: <dict>
370 // CHECK-NEXT: <key>line</key><integer>29</integer>
371 // CHECK-NEXT: <key>col</key><integer>3</integer>
372 // CHECK-NEXT: <key>file</key><integer>0</integer>
373 // CHECK-NEXT: </dict>
374 // CHECK-NEXT: <dict>
375 // CHECK-NEXT: <key>line</key><integer>29</integer>
376 // CHECK-NEXT: <key>col</key><integer>15</integer>
377 // CHECK-NEXT: <key>file</key><integer>0</integer>
378 // CHECK-NEXT: </dict>
379 // CHECK-NEXT: </array>
380 // CHECK-NEXT: </array>
381 // CHECK-NEXT: <key>depth</key><integer>0</integer>
382 // CHECK-NEXT: <key>extended_message</key>
383 // CHECK-NEXT: <string>Value assigned to 'syz.x'</string>
384 // CHECK-NEXT: <key>message</key>
385 // CHECK-NEXT: <string>Value assigned to 'syz.x'</string>
386 // CHECK-NEXT: </dict>
387 // CHECK-NEXT: <dict>
388 // CHECK-NEXT: <key>kind</key><string>control</string>
389 // CHECK-NEXT: <key>edges</key>
390 // CHECK-NEXT: <array>
391 // CHECK-NEXT: <dict>
392 // CHECK-NEXT: <key>start</key>
393 // CHECK-NEXT: <array>
394 // CHECK-NEXT: <dict>
395 // CHECK-NEXT: <key>line</key><integer>29</integer>
396 // CHECK-NEXT: <key>col</key><integer>3</integer>
397 // CHECK-NEXT: <key>file</key><integer>0</integer>
398 // CHECK-NEXT: </dict>
399 // CHECK-NEXT: <dict>
400 // CHECK-NEXT: <key>line</key><integer>29</integer>
401 // CHECK-NEXT: <key>col</key><integer>5</integer>
402 // CHECK-NEXT: <key>file</key><integer>0</integer>
403 // CHECK-NEXT: </dict>
404 // CHECK-NEXT: </array>
405 // CHECK-NEXT: <key>end</key>
406 // CHECK-NEXT: <array>
407 // CHECK-NEXT: <dict>
408 // CHECK-NEXT: <key>line</key><integer>32</integer>
409 // CHECK-NEXT: <key>col</key><integer>3</integer>
410 // CHECK-NEXT: <key>file</key><integer>0</integer>
411 // CHECK-NEXT: </dict>
412 // CHECK-NEXT: <dict>
413 // CHECK-NEXT: <key>line</key><integer>32</integer>
414 // CHECK-NEXT: <key>col</key><integer>4</integer>
415 // CHECK-NEXT: <key>file</key><integer>0</integer>
416 // CHECK-NEXT: </dict>
417 // CHECK-NEXT: </array>
418 // CHECK-NEXT: </dict>
419 // CHECK-NEXT: </array>
420 // CHECK-NEXT: </dict>
421 // CHECK-NEXT: <dict>
422 // CHECK-NEXT: <key>kind</key><string>control</string>
423 // CHECK-NEXT: <key>edges</key>
424 // CHECK-NEXT: <array>
425 // CHECK-NEXT: <dict>
426 // CHECK-NEXT: <key>start</key>
427 // CHECK-NEXT: <array>
428 // CHECK-NEXT: <dict>
429 // CHECK-NEXT: <key>line</key><integer>32</integer>
430 // CHECK-NEXT: <key>col</key><integer>3</integer>
431 // CHECK-NEXT: <key>file</key><integer>0</integer>
432 // CHECK-NEXT: </dict>
433 // CHECK-NEXT: <dict>
434 // CHECK-NEXT: <key>line</key><integer>32</integer>
435 // CHECK-NEXT: <key>col</key><integer>4</integer>
436 // CHECK-NEXT: <key>file</key><integer>0</integer>
437 // CHECK-NEXT: </dict>
438 // CHECK-NEXT: </array>
439 // CHECK-NEXT: <key>end</key>
440 // CHECK-NEXT: <array>
441 // CHECK-NEXT: <dict>
442 // CHECK-NEXT: <key>line</key><integer>32</integer>
443 // CHECK-NEXT: <key>col</key><integer>7</integer>
444 // CHECK-NEXT: <key>file</key><integer>0</integer>
445 // CHECK-NEXT: </dict>
446 // CHECK-NEXT: <dict>
447 // CHECK-NEXT: <key>line</key><integer>32</integer>
448 // CHECK-NEXT: <key>col</key><integer>8</integer>
449 // CHECK-NEXT: <key>file</key><integer>0</integer>
450 // CHECK-NEXT: </dict>
451 // CHECK-NEXT: </array>
452 // CHECK-NEXT: </dict>
453 // CHECK-NEXT: </array>
454 // CHECK-NEXT: </dict>
455 // CHECK-NEXT: <dict>
456 // CHECK-NEXT: <key>kind</key><string>event</string>
457 // CHECK-NEXT: <key>location</key>
458 // CHECK-NEXT: <dict>
459 // CHECK-NEXT: <key>line</key><integer>32</integer>
460 // CHECK-NEXT: <key>col</key><integer>7</integer>
461 // CHECK-NEXT: <key>file</key><integer>0</integer>
462 // CHECK-NEXT: </dict>
463 // CHECK-NEXT: <key>ranges</key>
464 // CHECK-NEXT: <array>
465 // CHECK-NEXT: <array>
466 // CHECK-NEXT: <dict>
467 // CHECK-NEXT: <key>line</key><integer>32</integer>
468 // CHECK-NEXT: <key>col</key><integer>7</integer>
469 // CHECK-NEXT: <key>file</key><integer>0</integer>
470 // CHECK-NEXT: </dict>
471 // CHECK-NEXT: <dict>
472 // CHECK-NEXT: <key>line</key><integer>32</integer>
473 // CHECK-NEXT: <key>col</key><integer>11</integer>
474 // CHECK-NEXT: <key>file</key><integer>0</integer>
475 // CHECK-NEXT: </dict>
476 // CHECK-NEXT: </array>
477 // CHECK-NEXT: </array>
478 // CHECK-NEXT: <key>depth</key><integer>0</integer>
479 // CHECK-NEXT: <key>extended_message</key>
480 // CHECK-NEXT: <string>Assuming pointer value is null</string>
481 // CHECK-NEXT: <key>message</key>
482 // CHECK-NEXT: <string>Assuming pointer value is null</string>
483 // CHECK-NEXT: </dict>
484 // CHECK-NEXT: <dict>
485 // CHECK-NEXT: <key>kind</key><string>control</string>
486 // CHECK-NEXT: <key>edges</key>
487 // CHECK-NEXT: <array>
488 // CHECK-NEXT: <dict>
489 // CHECK-NEXT: <key>start</key>
490 // CHECK-NEXT: <array>
491 // CHECK-NEXT: <dict>
492 // CHECK-NEXT: <key>line</key><integer>32</integer>
493 // CHECK-NEXT: <key>col</key><integer>7</integer>
494 // CHECK-NEXT: <key>file</key><integer>0</integer>
495 // CHECK-NEXT: </dict>
496 // CHECK-NEXT: <dict>
497 // CHECK-NEXT: <key>line</key><integer>32</integer>
498 // CHECK-NEXT: <key>col</key><integer>8</integer>
499 // CHECK-NEXT: <key>file</key><integer>0</integer>
500 // CHECK-NEXT: </dict>
501 // CHECK-NEXT: </array>
502 // CHECK-NEXT: <key>end</key>
503 // CHECK-NEXT: <array>
504 // CHECK-NEXT: <dict>
505 // CHECK-NEXT: <key>line</key><integer>37</integer>
506 // CHECK-NEXT: <key>col</key><integer>3</integer>
507 // CHECK-NEXT: <key>file</key><integer>0</integer>
508 // CHECK-NEXT: </dict>
509 // CHECK-NEXT: <dict>
510 // CHECK-NEXT: <key>line</key><integer>37</integer>
511 // CHECK-NEXT: <key>col</key><integer>5</integer>
512 // CHECK-NEXT: <key>file</key><integer>0</integer>
513 // CHECK-NEXT: </dict>
514 // CHECK-NEXT: </array>
515 // CHECK-NEXT: </dict>
516 // CHECK-NEXT: </array>
517 // CHECK-NEXT: </dict>
518 // CHECK-NEXT: <dict>
519 // CHECK-NEXT: <key>kind</key><string>event</string>
520 // CHECK-NEXT: <key>location</key>
521 // CHECK-NEXT: <dict>
522 // CHECK-NEXT: <key>line</key><integer>37</integer>
523 // CHECK-NEXT: <key>col</key><integer>3</integer>
524 // CHECK-NEXT: <key>file</key><integer>0</integer>
525 // CHECK-NEXT: </dict>
526 // CHECK-NEXT: <key>ranges</key>
527 // CHECK-NEXT: <array>
528 // CHECK-NEXT: <array>
529 // CHECK-NEXT: <dict>
530 // CHECK-NEXT: <key>line</key><integer>37</integer>
531 // CHECK-NEXT: <key>col</key><integer>3</integer>
532 // CHECK-NEXT: <key>file</key><integer>0</integer>
533 // CHECK-NEXT: </dict>
534 // CHECK-NEXT: <dict>
535 // CHECK-NEXT: <key>line</key><integer>37</integer>
536 // CHECK-NEXT: <key>col</key><integer>8</integer>
537 // CHECK-NEXT: <key>file</key><integer>0</integer>
538 // CHECK-NEXT: </dict>
539 // CHECK-NEXT: </array>
540 // CHECK-NEXT: </array>
541 // CHECK-NEXT: <key>depth</key><integer>0</integer>
542 // CHECK-NEXT: <key>extended_message</key>
543 // CHECK-NEXT: <string>'p' initialized to a null pointer value</string>
544 // CHECK-NEXT: <key>message</key>
545 // CHECK-NEXT: <string>'p' initialized to a null pointer value</string>
546 // CHECK-NEXT: </dict>
547 // CHECK-NEXT: <dict>
548 // CHECK-NEXT: <key>kind</key><string>control</string>
549 // CHECK-NEXT: <key>edges</key>
550 // CHECK-NEXT: <array>
551 // CHECK-NEXT: <dict>
552 // CHECK-NEXT: <key>start</key>
553 // CHECK-NEXT: <array>
554 // CHECK-NEXT: <dict>
555 // CHECK-NEXT: <key>line</key><integer>37</integer>
556 // CHECK-NEXT: <key>col</key><integer>3</integer>
557 // CHECK-NEXT: <key>file</key><integer>0</integer>
558 // CHECK-NEXT: </dict>
559 // CHECK-NEXT: <dict>
560 // CHECK-NEXT: <key>line</key><integer>37</integer>
561 // CHECK-NEXT: <key>col</key><integer>5</integer>
562 // CHECK-NEXT: <key>file</key><integer>0</integer>
563 // CHECK-NEXT: </dict>
564 // CHECK-NEXT: </array>
565 // CHECK-NEXT: <key>end</key>
566 // CHECK-NEXT: <array>
567 // CHECK-NEXT: <dict>
568 // CHECK-NEXT: <key>line</key><integer>38</integer>
569 // CHECK-NEXT: <key>col</key><integer>3</integer>
570 // CHECK-NEXT: <key>file</key><integer>0</integer>
571 // CHECK-NEXT: </dict>
572 // CHECK-NEXT: <dict>
573 // CHECK-NEXT: <key>line</key><integer>38</integer>
574 // CHECK-NEXT: <key>col</key><integer>3</integer>
575 // CHECK-NEXT: <key>file</key><integer>0</integer>
576 // CHECK-NEXT: </dict>
577 // CHECK-NEXT: </array>
578 // CHECK-NEXT: </dict>
579 // CHECK-NEXT: </array>
580 // CHECK-NEXT: </dict>
581 // CHECK-NEXT: <dict>
582 // CHECK-NEXT: <key>kind</key><string>control</string>
583 // CHECK-NEXT: <key>edges</key>
584 // CHECK-NEXT: <array>
585 // CHECK-NEXT: <dict>
586 // CHECK-NEXT: <key>start</key>
587 // CHECK-NEXT: <array>
588 // CHECK-NEXT: <dict>
589 // CHECK-NEXT: <key>line</key><integer>38</integer>
590 // CHECK-NEXT: <key>col</key><integer>3</integer>
591 // CHECK-NEXT: <key>file</key><integer>0</integer>
592 // CHECK-NEXT: </dict>
593 // CHECK-NEXT: <dict>
594 // CHECK-NEXT: <key>line</key><integer>38</integer>
595 // CHECK-NEXT: <key>col</key><integer>3</integer>
596 // CHECK-NEXT: <key>file</key><integer>0</integer>
597 // CHECK-NEXT: </dict>
598 // CHECK-NEXT: </array>
599 // CHECK-NEXT: <key>end</key>
600 // CHECK-NEXT: <array>
601 // CHECK-NEXT: <dict>
602 // CHECK-NEXT: <key>line</key><integer>38</integer>
603 // CHECK-NEXT: <key>col</key><integer>7</integer>
604 // CHECK-NEXT: <key>file</key><integer>0</integer>
605 // CHECK-NEXT: </dict>
606 // CHECK-NEXT: <dict>
607 // CHECK-NEXT: <key>line</key><integer>38</integer>
608 // CHECK-NEXT: <key>col</key><integer>7</integer>
609 // CHECK-NEXT: <key>file</key><integer>0</integer>
610 // CHECK-NEXT: </dict>
611 // CHECK-NEXT: </array>
612 // CHECK-NEXT: </dict>
613 // CHECK-NEXT: </array>
614 // CHECK-NEXT: </dict>
615 // CHECK-NEXT: <dict>
616 // CHECK-NEXT: <key>kind</key><string>event</string>
617 // CHECK-NEXT: <key>location</key>
618 // CHECK-NEXT: <dict>
619 // CHECK-NEXT: <key>line</key><integer>38</integer>
620 // CHECK-NEXT: <key>col</key><integer>7</integer>
621 // CHECK-NEXT: <key>file</key><integer>0</integer>
622 // CHECK-NEXT: </dict>
623 // CHECK-NEXT: <key>ranges</key>
624 // CHECK-NEXT: <array>
625 // CHECK-NEXT: <array>
626 // CHECK-NEXT: <dict>
627 // CHECK-NEXT: <key>line</key><integer>38</integer>
628 // CHECK-NEXT: <key>col</key><integer>8</integer>
629 // CHECK-NEXT: <key>file</key><integer>0</integer>
630 // CHECK-NEXT: </dict>
631 // CHECK-NEXT: <dict>
632 // CHECK-NEXT: <key>line</key><integer>38</integer>
633 // CHECK-NEXT: <key>col</key><integer>8</integer>
634 // CHECK-NEXT: <key>file</key><integer>0</integer>
635 // CHECK-NEXT: </dict>
636 // CHECK-NEXT: </array>
637 // CHECK-NEXT: </array>
638 // CHECK-NEXT: <key>depth</key><integer>0</integer>
639 // CHECK-NEXT: <key>extended_message</key>
640 // CHECK-NEXT: <string>Dereference of null pointer (loaded from variable 'p')</string>
641 // CHECK-NEXT: <key>message</key>
642 // CHECK-NEXT: <string>Dereference of null pointer (loaded from variable 'p')</string>
643 // CHECK-NEXT: </dict>
644 // CHECK-NEXT: </array>
645 // CHECK-NEXT: <key>description</key><string>Dereference of null pointer (loaded from variable 'p')</string>
646 // CHECK-NEXT: <key>category</key><string>Logic error</string>
647 // CHECK-NEXT: <key>type</key><string>Dereference of null pointer</string>
648 // CHECK-NEXT: <key>check_name</key><string>core.NullDereference</string>
649 // CHECK-NEXT: <!-- This hash is experimental and going to change! -->
650 // CHECK-NEXT: <key>issue_hash_content_of_line_in_context</key><string>a213f858dacf7993492e6b32080aaa64</string>
651 // CHECK-NEXT: <key>issue_context_kind</key><string>function</string>
652 // CHECK-NEXT: <key>issue_context</key><string>testTrackConstraintBRVisitorIsTrackingTurnedOn</string>
653 // CHECK-NEXT: <key>issue_hash_function_offset</key><string>11</string>
654 // CHECK-NEXT: <key>location</key>
655 // CHECK-NEXT: <dict>
656 // CHECK-NEXT: <key>line</key><integer>38</integer>
657 // CHECK-NEXT: <key>col</key><integer>7</integer>
658 // CHECK-NEXT: <key>file</key><integer>0</integer>
659 // CHECK-NEXT: </dict>
660 // CHECK-NEXT: </dict>
661 // CHECK-NEXT: </array>
662