1 // RUN: %clang_cc1 -triple x86_64-apple-darwin10 -analyze -analyzer-checker=core,unix.API,osx.API %s -analyzer-store=region -analyzer-output=plist -analyzer-eagerly-assume -analyzer-config faux-bodies=true -analyzer-config path-diagnostics-alternate=false -fblocks -verify -o %t.plist
2 // RUN: FileCheck --input-file=%t.plist %s
3 // RUN: mkdir -p %t.dir
4 // RUN: %clang_cc1 -analyze -analyzer-checker=core,unix.API,osx.API -analyzer-output=html -analyzer-config faux-bodies=true -fblocks -o %t.dir %s
5 // RUN: rm -fR %t.dir
6 struct _opaque_pthread_once_t {
7 long __sig;
8 char __opaque[8];
9 };
10 typedef struct _opaque_pthread_once_t __darwin_pthread_once_t;
11 typedef __darwin_pthread_once_t pthread_once_t;
12 int pthread_once(pthread_once_t *, void (*)(void));
13 typedef long unsigned int __darwin_size_t;
14 typedef __darwin_size_t size_t;
15 void *calloc(size_t, size_t);
16 void *malloc(size_t);
17 void *realloc(void *, size_t);
18 void *reallocf(void *, size_t);
19 void *alloca(size_t);
20 void *valloc(size_t);
21 typedef union {
22 struct _os_object_s *_os_obj;
23 struct dispatch_object_s *_do;
24 struct dispatch_continuation_s *_dc;
25 struct dispatch_queue_s *_dq;
26 struct dispatch_queue_attr_s *_dqa;
27 struct dispatch_group_s *_dg;
28 struct dispatch_source_s *_ds;
29 struct dispatch_source_attr_s *_dsa;
30 struct dispatch_semaphore_s *_dsema;
31 struct dispatch_data_s *_ddata;
32 struct dispatch_io_s *_dchannel;
33 struct dispatch_operation_s *_doperation;
34 struct dispatch_disk_s *_ddisk;
35 } dispatch_object_t __attribute__((__transparent_union__));
36 typedef void (^dispatch_block_t)(void);
37 typedef long dispatch_once_t;
38 typedef struct dispatch_queue_s *dispatch_queue_t;
39 void dispatch_once(dispatch_once_t *predicate, dispatch_block_t block);
40 void dispatch_sync(dispatch_queue_t queue, dispatch_block_t block);
41
42 #ifndef O_CREAT
43 #define O_CREAT 0x0200
44 #define O_RDONLY 0x0000
45 #endif
46 int open(const char *, int, ...);
47 int close(int fildes);
48
test_open(const char * path)49 void test_open(const char *path) {
50 int fd;
51 fd = open(path, O_RDONLY); // no-warning
52 if (!fd)
53 close(fd);
54
55 fd = open(path, O_CREAT); // expected-warning{{Call to 'open' requires a third argument when the 'O_CREAT' flag is set}}
56 if (!fd)
57 close(fd);
58 }
59
test_dispatch_once()60 void test_dispatch_once() {
61 dispatch_once_t pred = 0;
62 do { if (__builtin_expect(*(&pred), ~0l) != ~0l) dispatch_once((&pred), (^() {})); } while (0); // expected-warning{{Call to 'dispatch_once' uses the local variable 'pred' for the predicate value}}
63 }
test_dispatch_once_neg()64 void test_dispatch_once_neg() {
65 static dispatch_once_t pred = 0;
66 do { if (__builtin_expect(*(&pred), ~0l) != ~0l) dispatch_once((&pred), (^() {})); } while (0); // no-warning
67 }
68
69 void test_pthread_once_aux();
70
test_pthread_once()71 void test_pthread_once() {
72 pthread_once_t pred = {0x30B1BCBA, {0}};
73 pthread_once(&pred, test_pthread_once_aux); // expected-warning{{Call to 'pthread_once' uses the local variable 'pred' for the "control" value}}
74 }
test_pthread_once_neg()75 void test_pthread_once_neg() {
76 static pthread_once_t pred = {0x30B1BCBA, {0}};
77 pthread_once(&pred, test_pthread_once_aux); // no-warning
78 }
79
80 // PR 2899 - warn of zero-sized allocations to malloc().
pr2899()81 void pr2899() {
82 char* foo = malloc(0); // expected-warning{{Call to 'malloc' has an allocation size of 0 bytes}}
83 for (unsigned i = 0; i < 100; i++) {
84 foo[i] = 0;
85 }
86 }
pr2899_nowarn(size_t size)87 void pr2899_nowarn(size_t size) {
88 char* foo = malloc(size); // no-warning
89 for (unsigned i = 0; i < 100; i++) {
90 foo[i] = 0;
91 }
92 }
test_calloc(void)93 void test_calloc(void) {
94 char *foo = calloc(0, 42); // expected-warning{{Call to 'calloc' has an allocation size of 0 bytes}}
95 for (unsigned i = 0; i < 100; i++) {
96 foo[i] = 0;
97 }
98 }
test_calloc2(void)99 void test_calloc2(void) {
100 char *foo = calloc(42, 0); // expected-warning{{Call to 'calloc' has an allocation size of 0 bytes}}
101 for (unsigned i = 0; i < 100; i++) {
102 foo[i] = 0;
103 }
104 }
test_calloc_nowarn(size_t nmemb,size_t size)105 void test_calloc_nowarn(size_t nmemb, size_t size) {
106 char *foo = calloc(nmemb, size); // no-warning
107 for (unsigned i = 0; i < 100; i++) {
108 foo[i] = 0;
109 }
110 }
test_realloc(char * ptr)111 void test_realloc(char *ptr) {
112 char *foo = realloc(ptr, 0); // expected-warning{{Call to 'realloc' has an allocation size of 0 bytes}}
113 for (unsigned i = 0; i < 100; i++) {
114 foo[i] = 0;
115 }
116 }
test_reallocf(char * ptr)117 void test_reallocf(char *ptr) {
118 char *foo = reallocf(ptr, 0); // expected-warning{{Call to 'reallocf' has an allocation size of 0 bytes}}
119 for (unsigned i = 0; i < 100; i++) {
120 foo[i] = 0;
121 }
122 }
test_realloc_nowarn(char * ptr,size_t size)123 void test_realloc_nowarn(char *ptr, size_t size) {
124 char *foo = realloc(ptr, size); // no-warning
125 for (unsigned i = 0; i < 100; i++) {
126 foo[i] = 0;
127 }
128 }
test_reallocf_nowarn(char * ptr,size_t size)129 void test_reallocf_nowarn(char *ptr, size_t size) {
130 char *foo = reallocf(ptr, size); // no-warning
131 for (unsigned i = 0; i < 100; i++) {
132 foo[i] = 0;
133 }
134 }
test_alloca()135 void test_alloca() {
136 char *foo = alloca(0); // expected-warning{{Call to 'alloca' has an allocation size of 0 bytes}}
137 for(unsigned i = 0; i < 100; i++) {
138 foo[i] = 0;
139 }
140 }
test_alloca_nowarn(size_t sz)141 void test_alloca_nowarn(size_t sz) {
142 char *foo = alloca(sz); // no-warning
143 for(unsigned i = 0; i < 100; i++) {
144 foo[i] = 0;
145 }
146 }
test_builtin_alloca()147 void test_builtin_alloca() {
148 char *foo2 = __builtin_alloca(0); // expected-warning{{Call to 'alloca' has an allocation size of 0 bytes}}
149 for(unsigned i = 0; i < 100; i++) {
150 foo2[i] = 0;
151 }
152 }
test_builtin_alloca_nowarn(size_t sz)153 void test_builtin_alloca_nowarn(size_t sz) {
154 char *foo2 = __builtin_alloca(sz); // no-warning
155 for(unsigned i = 0; i < 100; i++) {
156 foo2[i] = 0;
157 }
158 }
test_valloc()159 void test_valloc() {
160 char *foo = valloc(0); // expected-warning{{Call to 'valloc' has an allocation size of 0 bytes}}
161 for(unsigned i = 0; i < 100; i++) {
162 foo[i] = 0;
163 }
164 }
test_valloc_nowarn(size_t sz)165 void test_valloc_nowarn(size_t sz) {
166 char *foo = valloc(sz); // no-warning
167 for(unsigned i = 0; i < 100; i++) {
168 foo[i] = 0;
169 }
170 }
171
172 // Test dispatch_once being a macro that wraps a call to _dispatch_once, which in turn
173 // calls the real dispatch_once.
174
_dispatch_once(dispatch_once_t * predicate,dispatch_block_t block)175 static inline void _dispatch_once(dispatch_once_t *predicate, dispatch_block_t block)
176 {
177 dispatch_once(predicate, block);
178 }
179
180 #define dispatch_once _dispatch_once
181
test_dispatch_once_in_macro()182 void test_dispatch_once_in_macro() {
183 dispatch_once_t pred = 0;
184 dispatch_once(&pred, ^(){}); // expected-warning {{Call to 'dispatch_once' uses the local variable 'pred' for the predicate value}}
185 }
186
187 // Test inlining of dispatch_sync.
test_dispatch_sync(dispatch_queue_t queue,int * q)188 void test_dispatch_sync(dispatch_queue_t queue, int *q) {
189 int *p = 0;
190 dispatch_sync(queue, ^(void){
191 if (q) {
192 *p = 1; // expected-warning {{null pointer}}
193 }
194 });
195 }
196
197 // Test inlining if dispatch_once.
test_inline_dispatch_once()198 void test_inline_dispatch_once() {
199 static dispatch_once_t pred;
200 int *p = 0;
201 dispatch_once(&pred, ^(void) {
202 *p = 1; // expected-warning {{null}}
203 });
204 }
205
206 // CHECK: <key>diagnostics</key>
207 // CHECK-NEXT: <array>
208 // CHECK-NEXT: <dict>
209 // CHECK-NEXT: <key>path</key>
210 // CHECK-NEXT: <array>
211 // CHECK-NEXT: <dict>
212 // CHECK-NEXT: <key>kind</key><string>control</string>
213 // CHECK-NEXT: <key>edges</key>
214 // CHECK-NEXT: <array>
215 // CHECK-NEXT: <dict>
216 // CHECK-NEXT: <key>start</key>
217 // CHECK-NEXT: <array>
218 // CHECK-NEXT: <dict>
219 // CHECK-NEXT: <key>line</key><integer>50</integer>
220 // CHECK-NEXT: <key>col</key><integer>3</integer>
221 // CHECK-NEXT: <key>file</key><integer>0</integer>
222 // CHECK-NEXT: </dict>
223 // CHECK-NEXT: <dict>
224 // CHECK-NEXT: <key>line</key><integer>50</integer>
225 // CHECK-NEXT: <key>col</key><integer>5</integer>
226 // CHECK-NEXT: <key>file</key><integer>0</integer>
227 // CHECK-NEXT: </dict>
228 // CHECK-NEXT: </array>
229 // CHECK-NEXT: <key>end</key>
230 // CHECK-NEXT: <array>
231 // CHECK-NEXT: <dict>
232 // CHECK-NEXT: <key>line</key><integer>52</integer>
233 // CHECK-NEXT: <key>col</key><integer>3</integer>
234 // CHECK-NEXT: <key>file</key><integer>0</integer>
235 // CHECK-NEXT: </dict>
236 // CHECK-NEXT: <dict>
237 // CHECK-NEXT: <key>line</key><integer>52</integer>
238 // CHECK-NEXT: <key>col</key><integer>4</integer>
239 // CHECK-NEXT: <key>file</key><integer>0</integer>
240 // CHECK-NEXT: </dict>
241 // CHECK-NEXT: </array>
242 // CHECK-NEXT: </dict>
243 // CHECK-NEXT: </array>
244 // CHECK-NEXT: </dict>
245 // CHECK-NEXT: <dict>
246 // CHECK-NEXT: <key>kind</key><string>control</string>
247 // CHECK-NEXT: <key>edges</key>
248 // CHECK-NEXT: <array>
249 // CHECK-NEXT: <dict>
250 // CHECK-NEXT: <key>start</key>
251 // CHECK-NEXT: <array>
252 // CHECK-NEXT: <dict>
253 // CHECK-NEXT: <key>line</key><integer>52</integer>
254 // CHECK-NEXT: <key>col</key><integer>3</integer>
255 // CHECK-NEXT: <key>file</key><integer>0</integer>
256 // CHECK-NEXT: </dict>
257 // CHECK-NEXT: <dict>
258 // CHECK-NEXT: <key>line</key><integer>52</integer>
259 // CHECK-NEXT: <key>col</key><integer>4</integer>
260 // CHECK-NEXT: <key>file</key><integer>0</integer>
261 // CHECK-NEXT: </dict>
262 // CHECK-NEXT: </array>
263 // CHECK-NEXT: <key>end</key>
264 // CHECK-NEXT: <array>
265 // CHECK-NEXT: <dict>
266 // CHECK-NEXT: <key>line</key><integer>52</integer>
267 // CHECK-NEXT: <key>col</key><integer>7</integer>
268 // CHECK-NEXT: <key>file</key><integer>0</integer>
269 // CHECK-NEXT: </dict>
270 // CHECK-NEXT: <dict>
271 // CHECK-NEXT: <key>line</key><integer>52</integer>
272 // CHECK-NEXT: <key>col</key><integer>7</integer>
273 // CHECK-NEXT: <key>file</key><integer>0</integer>
274 // CHECK-NEXT: </dict>
275 // CHECK-NEXT: </array>
276 // CHECK-NEXT: </dict>
277 // CHECK-NEXT: </array>
278 // CHECK-NEXT: </dict>
279 // CHECK-NEXT: <dict>
280 // CHECK-NEXT: <key>kind</key><string>event</string>
281 // CHECK-NEXT: <key>location</key>
282 // CHECK-NEXT: <dict>
283 // CHECK-NEXT: <key>line</key><integer>52</integer>
284 // CHECK-NEXT: <key>col</key><integer>7</integer>
285 // CHECK-NEXT: <key>file</key><integer>0</integer>
286 // CHECK-NEXT: </dict>
287 // CHECK-NEXT: <key>ranges</key>
288 // CHECK-NEXT: <array>
289 // CHECK-NEXT: <array>
290 // CHECK-NEXT: <dict>
291 // CHECK-NEXT: <key>line</key><integer>52</integer>
292 // CHECK-NEXT: <key>col</key><integer>7</integer>
293 // CHECK-NEXT: <key>file</key><integer>0</integer>
294 // CHECK-NEXT: </dict>
295 // CHECK-NEXT: <dict>
296 // CHECK-NEXT: <key>line</key><integer>52</integer>
297 // CHECK-NEXT: <key>col</key><integer>9</integer>
298 // CHECK-NEXT: <key>file</key><integer>0</integer>
299 // CHECK-NEXT: </dict>
300 // CHECK-NEXT: </array>
301 // CHECK-NEXT: </array>
302 // CHECK-NEXT: <key>depth</key><integer>0</integer>
303 // CHECK-NEXT: <key>extended_message</key>
304 // CHECK-NEXT: <string>Assuming 'fd' is not equal to 0</string>
305 // CHECK-NEXT: <key>message</key>
306 // CHECK-NEXT: <string>Assuming 'fd' is not equal to 0</string>
307 // CHECK-NEXT: </dict>
308 // CHECK-NEXT: <dict>
309 // CHECK-NEXT: <key>kind</key><string>control</string>
310 // CHECK-NEXT: <key>edges</key>
311 // CHECK-NEXT: <array>
312 // CHECK-NEXT: <dict>
313 // CHECK-NEXT: <key>start</key>
314 // CHECK-NEXT: <array>
315 // CHECK-NEXT: <dict>
316 // CHECK-NEXT: <key>line</key><integer>52</integer>
317 // CHECK-NEXT: <key>col</key><integer>7</integer>
318 // CHECK-NEXT: <key>file</key><integer>0</integer>
319 // CHECK-NEXT: </dict>
320 // CHECK-NEXT: <dict>
321 // CHECK-NEXT: <key>line</key><integer>52</integer>
322 // CHECK-NEXT: <key>col</key><integer>7</integer>
323 // CHECK-NEXT: <key>file</key><integer>0</integer>
324 // CHECK-NEXT: </dict>
325 // CHECK-NEXT: </array>
326 // CHECK-NEXT: <key>end</key>
327 // CHECK-NEXT: <array>
328 // CHECK-NEXT: <dict>
329 // CHECK-NEXT: <key>line</key><integer>55</integer>
330 // CHECK-NEXT: <key>col</key><integer>3</integer>
331 // CHECK-NEXT: <key>file</key><integer>0</integer>
332 // CHECK-NEXT: </dict>
333 // CHECK-NEXT: <dict>
334 // CHECK-NEXT: <key>line</key><integer>55</integer>
335 // CHECK-NEXT: <key>col</key><integer>4</integer>
336 // CHECK-NEXT: <key>file</key><integer>0</integer>
337 // CHECK-NEXT: </dict>
338 // CHECK-NEXT: </array>
339 // CHECK-NEXT: </dict>
340 // CHECK-NEXT: </array>
341 // CHECK-NEXT: </dict>
342 // CHECK-NEXT: <dict>
343 // CHECK-NEXT: <key>kind</key><string>control</string>
344 // CHECK-NEXT: <key>edges</key>
345 // CHECK-NEXT: <array>
346 // CHECK-NEXT: <dict>
347 // CHECK-NEXT: <key>start</key>
348 // CHECK-NEXT: <array>
349 // CHECK-NEXT: <dict>
350 // CHECK-NEXT: <key>line</key><integer>55</integer>
351 // CHECK-NEXT: <key>col</key><integer>3</integer>
352 // CHECK-NEXT: <key>file</key><integer>0</integer>
353 // CHECK-NEXT: </dict>
354 // CHECK-NEXT: <dict>
355 // CHECK-NEXT: <key>line</key><integer>55</integer>
356 // CHECK-NEXT: <key>col</key><integer>4</integer>
357 // CHECK-NEXT: <key>file</key><integer>0</integer>
358 // CHECK-NEXT: </dict>
359 // CHECK-NEXT: </array>
360 // CHECK-NEXT: <key>end</key>
361 // CHECK-NEXT: <array>
362 // CHECK-NEXT: <dict>
363 // CHECK-NEXT: <key>line</key><integer>55</integer>
364 // CHECK-NEXT: <key>col</key><integer>8</integer>
365 // CHECK-NEXT: <key>file</key><integer>0</integer>
366 // CHECK-NEXT: </dict>
367 // CHECK-NEXT: <dict>
368 // CHECK-NEXT: <key>line</key><integer>55</integer>
369 // CHECK-NEXT: <key>col</key><integer>11</integer>
370 // CHECK-NEXT: <key>file</key><integer>0</integer>
371 // CHECK-NEXT: </dict>
372 // CHECK-NEXT: </array>
373 // CHECK-NEXT: </dict>
374 // CHECK-NEXT: </array>
375 // CHECK-NEXT: </dict>
376 // CHECK-NEXT: <dict>
377 // CHECK-NEXT: <key>kind</key><string>event</string>
378 // CHECK-NEXT: <key>location</key>
379 // CHECK-NEXT: <dict>
380 // CHECK-NEXT: <key>line</key><integer>55</integer>
381 // CHECK-NEXT: <key>col</key><integer>8</integer>
382 // CHECK-NEXT: <key>file</key><integer>0</integer>
383 // CHECK-NEXT: </dict>
384 // CHECK-NEXT: <key>ranges</key>
385 // CHECK-NEXT: <array>
386 // CHECK-NEXT: <array>
387 // CHECK-NEXT: <dict>
388 // CHECK-NEXT: <key>line</key><integer>55</integer>
389 // CHECK-NEXT: <key>col</key><integer>19</integer>
390 // CHECK-NEXT: <key>file</key><integer>0</integer>
391 // CHECK-NEXT: </dict>
392 // CHECK-NEXT: <dict>
393 // CHECK-NEXT: <key>line</key><integer>55</integer>
394 // CHECK-NEXT: <key>col</key><integer>25</integer>
395 // CHECK-NEXT: <key>file</key><integer>0</integer>
396 // CHECK-NEXT: </dict>
397 // CHECK-NEXT: </array>
398 // CHECK-NEXT: </array>
399 // CHECK-NEXT: <key>depth</key><integer>0</integer>
400 // CHECK-NEXT: <key>extended_message</key>
401 // CHECK-NEXT: <string>Call to 'open' requires a third argument when the 'O_CREAT' flag is set</string>
402 // CHECK-NEXT: <key>message</key>
403 // CHECK-NEXT: <string>Call to 'open' requires a third argument when the 'O_CREAT' flag is set</string>
404 // CHECK-NEXT: </dict>
405 // CHECK-NEXT: </array>
406 // CHECK-NEXT: <key>description</key><string>Call to 'open' requires a third argument when the 'O_CREAT' flag is set</string>
407 // CHECK-NEXT: <key>category</key><string>Unix API</string>
408 // CHECK-NEXT: <key>type</key><string>Improper use of 'open'</string>
409 // CHECK-NEXT: <key>check_name</key><string>unix.API</string>
410 // CHECK-NEXT: <!-- This hash is experimental and going to change! -->
411 // CHECK-NEXT: <key>issue_hash_content_of_line_in_context</key><string>5ef25c5c47db3dbfb329901d426452e7</string>
412 // CHECK-NEXT: <key>issue_context_kind</key><string>function</string>
413 // CHECK-NEXT: <key>issue_context</key><string>test_open</string>
414 // CHECK-NEXT: <key>issue_hash_function_offset</key><string>6</string>
415 // CHECK-NEXT: <key>location</key>
416 // CHECK-NEXT: <dict>
417 // CHECK-NEXT: <key>line</key><integer>55</integer>
418 // CHECK-NEXT: <key>col</key><integer>8</integer>
419 // CHECK-NEXT: <key>file</key><integer>0</integer>
420 // CHECK-NEXT: </dict>
421 // CHECK-NEXT: </dict>
422 // CHECK-NEXT: <dict>
423 // CHECK-NEXT: <key>path</key>
424 // CHECK-NEXT: <array>
425 // CHECK-NEXT: <dict>
426 // CHECK-NEXT: <key>kind</key><string>control</string>
427 // CHECK-NEXT: <key>edges</key>
428 // CHECK-NEXT: <array>
429 // CHECK-NEXT: <dict>
430 // CHECK-NEXT: <key>start</key>
431 // CHECK-NEXT: <array>
432 // CHECK-NEXT: <dict>
433 // CHECK-NEXT: <key>line</key><integer>61</integer>
434 // CHECK-NEXT: <key>col</key><integer>3</integer>
435 // CHECK-NEXT: <key>file</key><integer>0</integer>
436 // CHECK-NEXT: </dict>
437 // CHECK-NEXT: <dict>
438 // CHECK-NEXT: <key>line</key><integer>61</integer>
439 // CHECK-NEXT: <key>col</key><integer>17</integer>
440 // CHECK-NEXT: <key>file</key><integer>0</integer>
441 // CHECK-NEXT: </dict>
442 // CHECK-NEXT: </array>
443 // CHECK-NEXT: <key>end</key>
444 // CHECK-NEXT: <array>
445 // CHECK-NEXT: <dict>
446 // CHECK-NEXT: <key>line</key><integer>62</integer>
447 // CHECK-NEXT: <key>col</key><integer>3</integer>
448 // CHECK-NEXT: <key>file</key><integer>0</integer>
449 // CHECK-NEXT: </dict>
450 // CHECK-NEXT: <dict>
451 // CHECK-NEXT: <key>line</key><integer>62</integer>
452 // CHECK-NEXT: <key>col</key><integer>4</integer>
453 // CHECK-NEXT: <key>file</key><integer>0</integer>
454 // CHECK-NEXT: </dict>
455 // CHECK-NEXT: </array>
456 // CHECK-NEXT: </dict>
457 // CHECK-NEXT: </array>
458 // CHECK-NEXT: </dict>
459 // CHECK-NEXT: <dict>
460 // CHECK-NEXT: <key>kind</key><string>control</string>
461 // CHECK-NEXT: <key>edges</key>
462 // CHECK-NEXT: <array>
463 // CHECK-NEXT: <dict>
464 // CHECK-NEXT: <key>start</key>
465 // CHECK-NEXT: <array>
466 // CHECK-NEXT: <dict>
467 // CHECK-NEXT: <key>line</key><integer>62</integer>
468 // CHECK-NEXT: <key>col</key><integer>3</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>62</integer>
473 // CHECK-NEXT: <key>col</key><integer>4</integer>
474 // CHECK-NEXT: <key>file</key><integer>0</integer>
475 // CHECK-NEXT: </dict>
476 // CHECK-NEXT: </array>
477 // CHECK-NEXT: <key>end</key>
478 // CHECK-NEXT: <array>
479 // CHECK-NEXT: <dict>
480 // CHECK-NEXT: <key>line</key><integer>62</integer>
481 // CHECK-NEXT: <key>col</key><integer>8</integer>
482 // CHECK-NEXT: <key>file</key><integer>0</integer>
483 // CHECK-NEXT: </dict>
484 // CHECK-NEXT: <dict>
485 // CHECK-NEXT: <key>line</key><integer>62</integer>
486 // CHECK-NEXT: <key>col</key><integer>9</integer>
487 // CHECK-NEXT: <key>file</key><integer>0</integer>
488 // CHECK-NEXT: </dict>
489 // CHECK-NEXT: </array>
490 // CHECK-NEXT: </dict>
491 // CHECK-NEXT: </array>
492 // CHECK-NEXT: </dict>
493 // CHECK-NEXT: <dict>
494 // CHECK-NEXT: <key>kind</key><string>control</string>
495 // CHECK-NEXT: <key>edges</key>
496 // CHECK-NEXT: <array>
497 // CHECK-NEXT: <dict>
498 // CHECK-NEXT: <key>start</key>
499 // CHECK-NEXT: <array>
500 // CHECK-NEXT: <dict>
501 // CHECK-NEXT: <key>line</key><integer>62</integer>
502 // CHECK-NEXT: <key>col</key><integer>8</integer>
503 // CHECK-NEXT: <key>file</key><integer>0</integer>
504 // CHECK-NEXT: </dict>
505 // CHECK-NEXT: <dict>
506 // CHECK-NEXT: <key>line</key><integer>62</integer>
507 // CHECK-NEXT: <key>col</key><integer>9</integer>
508 // CHECK-NEXT: <key>file</key><integer>0</integer>
509 // CHECK-NEXT: </dict>
510 // CHECK-NEXT: </array>
511 // CHECK-NEXT: <key>end</key>
512 // CHECK-NEXT: <array>
513 // CHECK-NEXT: <dict>
514 // CHECK-NEXT: <key>line</key><integer>62</integer>
515 // CHECK-NEXT: <key>col</key><integer>52</integer>
516 // CHECK-NEXT: <key>file</key><integer>0</integer>
517 // CHECK-NEXT: </dict>
518 // CHECK-NEXT: <dict>
519 // CHECK-NEXT: <key>line</key><integer>62</integer>
520 // CHECK-NEXT: <key>col</key><integer>64</integer>
521 // CHECK-NEXT: <key>file</key><integer>0</integer>
522 // CHECK-NEXT: </dict>
523 // CHECK-NEXT: </array>
524 // CHECK-NEXT: </dict>
525 // CHECK-NEXT: </array>
526 // CHECK-NEXT: </dict>
527 // CHECK-NEXT: <dict>
528 // CHECK-NEXT: <key>kind</key><string>event</string>
529 // CHECK-NEXT: <key>location</key>
530 // CHECK-NEXT: <dict>
531 // CHECK-NEXT: <key>line</key><integer>62</integer>
532 // CHECK-NEXT: <key>col</key><integer>52</integer>
533 // CHECK-NEXT: <key>file</key><integer>0</integer>
534 // CHECK-NEXT: </dict>
535 // CHECK-NEXT: <key>ranges</key>
536 // CHECK-NEXT: <array>
537 // CHECK-NEXT: <array>
538 // CHECK-NEXT: <dict>
539 // CHECK-NEXT: <key>line</key><integer>62</integer>
540 // CHECK-NEXT: <key>col</key><integer>66</integer>
541 // CHECK-NEXT: <key>file</key><integer>0</integer>
542 // CHECK-NEXT: </dict>
543 // CHECK-NEXT: <dict>
544 // CHECK-NEXT: <key>line</key><integer>62</integer>
545 // CHECK-NEXT: <key>col</key><integer>72</integer>
546 // CHECK-NEXT: <key>file</key><integer>0</integer>
547 // CHECK-NEXT: </dict>
548 // CHECK-NEXT: </array>
549 // CHECK-NEXT: </array>
550 // CHECK-NEXT: <key>depth</key><integer>0</integer>
551 // CHECK-NEXT: <key>extended_message</key>
552 // CHECK-NEXT: <string>Call to 'dispatch_once' uses the local variable 'pred' for the predicate value. Using such transient memory for the predicate is potentially dangerous. Perhaps you intended to declare the variable as 'static'?</string>
553 // CHECK-NEXT: <key>message</key>
554 // CHECK-NEXT: <string>Call to 'dispatch_once' uses the local variable 'pred' for the predicate value. Using such transient memory for the predicate is potentially dangerous. Perhaps you intended to declare the variable as 'static'?</string>
555 // CHECK-NEXT: </dict>
556 // CHECK-NEXT: </array>
557 // CHECK-NEXT: <key>description</key><string>Call to 'dispatch_once' uses the local variable 'pred' for the predicate value. Using such transient memory for the predicate is potentially dangerous. Perhaps you intended to declare the variable as 'static'?</string>
558 // CHECK-NEXT: <key>category</key><string>API Misuse (Apple)</string>
559 // CHECK-NEXT: <key>type</key><string>Improper use of 'dispatch_once'</string>
560 // CHECK-NEXT: <key>check_name</key><string>osx.API</string>
561 // CHECK-NEXT: <!-- This hash is experimental and going to change! -->
562 // CHECK-NEXT: <key>issue_hash_content_of_line_in_context</key><string>173fbcac3fc64dbaec32768d4cfda250</string>
563 // CHECK-NEXT: <key>issue_context_kind</key><string>function</string>
564 // CHECK-NEXT: <key>issue_context</key><string>test_dispatch_once</string>
565 // CHECK-NEXT: <key>issue_hash_function_offset</key><string>2</string>
566 // CHECK-NEXT: <key>location</key>
567 // CHECK-NEXT: <dict>
568 // CHECK-NEXT: <key>line</key><integer>62</integer>
569 // CHECK-NEXT: <key>col</key><integer>52</integer>
570 // CHECK-NEXT: <key>file</key><integer>0</integer>
571 // CHECK-NEXT: </dict>
572 // CHECK-NEXT: </dict>
573 // CHECK-NEXT: <dict>
574 // CHECK-NEXT: <key>path</key>
575 // CHECK-NEXT: <array>
576 // CHECK-NEXT: <dict>
577 // CHECK-NEXT: <key>kind</key><string>control</string>
578 // CHECK-NEXT: <key>edges</key>
579 // CHECK-NEXT: <array>
580 // CHECK-NEXT: <dict>
581 // CHECK-NEXT: <key>start</key>
582 // CHECK-NEXT: <array>
583 // CHECK-NEXT: <dict>
584 // CHECK-NEXT: <key>line</key><integer>72</integer>
585 // CHECK-NEXT: <key>col</key><integer>3</integer>
586 // CHECK-NEXT: <key>file</key><integer>0</integer>
587 // CHECK-NEXT: </dict>
588 // CHECK-NEXT: <dict>
589 // CHECK-NEXT: <key>line</key><integer>72</integer>
590 // CHECK-NEXT: <key>col</key><integer>16</integer>
591 // CHECK-NEXT: <key>file</key><integer>0</integer>
592 // CHECK-NEXT: </dict>
593 // CHECK-NEXT: </array>
594 // CHECK-NEXT: <key>end</key>
595 // CHECK-NEXT: <array>
596 // CHECK-NEXT: <dict>
597 // CHECK-NEXT: <key>line</key><integer>73</integer>
598 // CHECK-NEXT: <key>col</key><integer>3</integer>
599 // CHECK-NEXT: <key>file</key><integer>0</integer>
600 // CHECK-NEXT: </dict>
601 // CHECK-NEXT: <dict>
602 // CHECK-NEXT: <key>line</key><integer>73</integer>
603 // CHECK-NEXT: <key>col</key><integer>14</integer>
604 // CHECK-NEXT: <key>file</key><integer>0</integer>
605 // CHECK-NEXT: </dict>
606 // CHECK-NEXT: </array>
607 // CHECK-NEXT: </dict>
608 // CHECK-NEXT: </array>
609 // CHECK-NEXT: </dict>
610 // CHECK-NEXT: <dict>
611 // CHECK-NEXT: <key>kind</key><string>event</string>
612 // CHECK-NEXT: <key>location</key>
613 // CHECK-NEXT: <dict>
614 // CHECK-NEXT: <key>line</key><integer>73</integer>
615 // CHECK-NEXT: <key>col</key><integer>3</integer>
616 // CHECK-NEXT: <key>file</key><integer>0</integer>
617 // CHECK-NEXT: </dict>
618 // CHECK-NEXT: <key>ranges</key>
619 // CHECK-NEXT: <array>
620 // CHECK-NEXT: <array>
621 // CHECK-NEXT: <dict>
622 // CHECK-NEXT: <key>line</key><integer>73</integer>
623 // CHECK-NEXT: <key>col</key><integer>16</integer>
624 // CHECK-NEXT: <key>file</key><integer>0</integer>
625 // CHECK-NEXT: </dict>
626 // CHECK-NEXT: <dict>
627 // CHECK-NEXT: <key>line</key><integer>73</integer>
628 // CHECK-NEXT: <key>col</key><integer>20</integer>
629 // CHECK-NEXT: <key>file</key><integer>0</integer>
630 // CHECK-NEXT: </dict>
631 // CHECK-NEXT: </array>
632 // CHECK-NEXT: </array>
633 // CHECK-NEXT: <key>depth</key><integer>0</integer>
634 // CHECK-NEXT: <key>extended_message</key>
635 // CHECK-NEXT: <string>Call to 'pthread_once' uses the local variable 'pred' for the "control" value. Using such transient memory for the control value is potentially dangerous. Perhaps you intended to declare the variable as 'static'?</string>
636 // CHECK-NEXT: <key>message</key>
637 // CHECK-NEXT: <string>Call to 'pthread_once' uses the local variable 'pred' for the "control" value. Using such transient memory for the control value is potentially dangerous. Perhaps you intended to declare the variable as 'static'?</string>
638 // CHECK-NEXT: </dict>
639 // CHECK-NEXT: </array>
640 // CHECK-NEXT: <key>description</key><string>Call to 'pthread_once' uses the local variable 'pred' for the "control" value. Using such transient memory for the control value is potentially dangerous. Perhaps you intended to declare the variable as 'static'?</string>
641 // CHECK-NEXT: <key>category</key><string>Unix API</string>
642 // CHECK-NEXT: <key>type</key><string>Improper use of 'pthread_once'</string>
643 // CHECK-NEXT: <key>check_name</key><string>unix.API</string>
644 // CHECK-NEXT: <!-- This hash is experimental and going to change! -->
645 // CHECK-NEXT: <key>issue_hash_content_of_line_in_context</key><string>1e2f657a65cf8ee3c3ac2227de05ade4</string>
646 // CHECK-NEXT: <key>issue_context_kind</key><string>function</string>
647 // CHECK-NEXT: <key>issue_context</key><string>test_pthread_once</string>
648 // CHECK-NEXT: <key>issue_hash_function_offset</key><string>2</string>
649 // CHECK-NEXT: <key>location</key>
650 // CHECK-NEXT: <dict>
651 // CHECK-NEXT: <key>line</key><integer>73</integer>
652 // CHECK-NEXT: <key>col</key><integer>3</integer>
653 // CHECK-NEXT: <key>file</key><integer>0</integer>
654 // CHECK-NEXT: </dict>
655 // CHECK-NEXT: </dict>
656 // CHECK-NEXT: <dict>
657 // CHECK-NEXT: <key>path</key>
658 // CHECK-NEXT: <array>
659 // CHECK-NEXT: <dict>
660 // CHECK-NEXT: <key>kind</key><string>control</string>
661 // CHECK-NEXT: <key>edges</key>
662 // CHECK-NEXT: <array>
663 // CHECK-NEXT: <dict>
664 // CHECK-NEXT: <key>start</key>
665 // CHECK-NEXT: <array>
666 // CHECK-NEXT: <dict>
667 // CHECK-NEXT: <key>line</key><integer>82</integer>
668 // CHECK-NEXT: <key>col</key><integer>3</integer>
669 // CHECK-NEXT: <key>file</key><integer>0</integer>
670 // CHECK-NEXT: </dict>
671 // CHECK-NEXT: <dict>
672 // CHECK-NEXT: <key>line</key><integer>82</integer>
673 // CHECK-NEXT: <key>col</key><integer>6</integer>
674 // CHECK-NEXT: <key>file</key><integer>0</integer>
675 // CHECK-NEXT: </dict>
676 // CHECK-NEXT: </array>
677 // CHECK-NEXT: <key>end</key>
678 // CHECK-NEXT: <array>
679 // CHECK-NEXT: <dict>
680 // CHECK-NEXT: <key>line</key><integer>82</integer>
681 // CHECK-NEXT: <key>col</key><integer>15</integer>
682 // CHECK-NEXT: <key>file</key><integer>0</integer>
683 // CHECK-NEXT: </dict>
684 // CHECK-NEXT: <dict>
685 // CHECK-NEXT: <key>line</key><integer>82</integer>
686 // CHECK-NEXT: <key>col</key><integer>20</integer>
687 // CHECK-NEXT: <key>file</key><integer>0</integer>
688 // CHECK-NEXT: </dict>
689 // CHECK-NEXT: </array>
690 // CHECK-NEXT: </dict>
691 // CHECK-NEXT: </array>
692 // CHECK-NEXT: </dict>
693 // CHECK-NEXT: <dict>
694 // CHECK-NEXT: <key>kind</key><string>event</string>
695 // CHECK-NEXT: <key>location</key>
696 // CHECK-NEXT: <dict>
697 // CHECK-NEXT: <key>line</key><integer>82</integer>
698 // CHECK-NEXT: <key>col</key><integer>15</integer>
699 // CHECK-NEXT: <key>file</key><integer>0</integer>
700 // CHECK-NEXT: </dict>
701 // CHECK-NEXT: <key>ranges</key>
702 // CHECK-NEXT: <array>
703 // CHECK-NEXT: <array>
704 // CHECK-NEXT: <dict>
705 // CHECK-NEXT: <key>line</key><integer>82</integer>
706 // CHECK-NEXT: <key>col</key><integer>22</integer>
707 // CHECK-NEXT: <key>file</key><integer>0</integer>
708 // CHECK-NEXT: </dict>
709 // CHECK-NEXT: <dict>
710 // CHECK-NEXT: <key>line</key><integer>82</integer>
711 // CHECK-NEXT: <key>col</key><integer>22</integer>
712 // CHECK-NEXT: <key>file</key><integer>0</integer>
713 // CHECK-NEXT: </dict>
714 // CHECK-NEXT: </array>
715 // CHECK-NEXT: </array>
716 // CHECK-NEXT: <key>depth</key><integer>0</integer>
717 // CHECK-NEXT: <key>extended_message</key>
718 // CHECK-NEXT: <string>Call to 'malloc' has an allocation size of 0 bytes</string>
719 // CHECK-NEXT: <key>message</key>
720 // CHECK-NEXT: <string>Call to 'malloc' has an allocation size of 0 bytes</string>
721 // CHECK-NEXT: </dict>
722 // CHECK-NEXT: </array>
723 // CHECK-NEXT: <key>description</key><string>Call to 'malloc' has an allocation size of 0 bytes</string>
724 // CHECK-NEXT: <key>category</key><string>Unix API</string>
725 // CHECK-NEXT: <key>type</key><string>Undefined allocation of 0 bytes (CERT MEM04-C; CWE-131)</string>
726 // CHECK-NEXT: <key>check_name</key><string>unix.API</string>
727 // CHECK-NEXT: <!-- This hash is experimental and going to change! -->
728 // CHECK-NEXT: <key>issue_hash_content_of_line_in_context</key><string>0e841458f0cb7cf161d35f9db5862dcf</string>
729 // CHECK-NEXT: <key>issue_context_kind</key><string>function</string>
730 // CHECK-NEXT: <key>issue_context</key><string>pr2899</string>
731 // CHECK-NEXT: <key>issue_hash_function_offset</key><string>1</string>
732 // CHECK-NEXT: <key>location</key>
733 // CHECK-NEXT: <dict>
734 // CHECK-NEXT: <key>line</key><integer>82</integer>
735 // CHECK-NEXT: <key>col</key><integer>15</integer>
736 // CHECK-NEXT: <key>file</key><integer>0</integer>
737 // CHECK-NEXT: </dict>
738 // CHECK-NEXT: </dict>
739 // CHECK-NEXT: <dict>
740 // CHECK-NEXT: <key>path</key>
741 // CHECK-NEXT: <array>
742 // CHECK-NEXT: <dict>
743 // CHECK-NEXT: <key>kind</key><string>control</string>
744 // CHECK-NEXT: <key>edges</key>
745 // CHECK-NEXT: <array>
746 // CHECK-NEXT: <dict>
747 // CHECK-NEXT: <key>start</key>
748 // CHECK-NEXT: <array>
749 // CHECK-NEXT: <dict>
750 // CHECK-NEXT: <key>line</key><integer>94</integer>
751 // CHECK-NEXT: <key>col</key><integer>3</integer>
752 // CHECK-NEXT: <key>file</key><integer>0</integer>
753 // CHECK-NEXT: </dict>
754 // CHECK-NEXT: <dict>
755 // CHECK-NEXT: <key>line</key><integer>94</integer>
756 // CHECK-NEXT: <key>col</key><integer>6</integer>
757 // CHECK-NEXT: <key>file</key><integer>0</integer>
758 // CHECK-NEXT: </dict>
759 // CHECK-NEXT: </array>
760 // CHECK-NEXT: <key>end</key>
761 // CHECK-NEXT: <array>
762 // CHECK-NEXT: <dict>
763 // CHECK-NEXT: <key>line</key><integer>94</integer>
764 // CHECK-NEXT: <key>col</key><integer>15</integer>
765 // CHECK-NEXT: <key>file</key><integer>0</integer>
766 // CHECK-NEXT: </dict>
767 // CHECK-NEXT: <dict>
768 // CHECK-NEXT: <key>line</key><integer>94</integer>
769 // CHECK-NEXT: <key>col</key><integer>20</integer>
770 // CHECK-NEXT: <key>file</key><integer>0</integer>
771 // CHECK-NEXT: </dict>
772 // CHECK-NEXT: </array>
773 // CHECK-NEXT: </dict>
774 // CHECK-NEXT: </array>
775 // CHECK-NEXT: </dict>
776 // CHECK-NEXT: <dict>
777 // CHECK-NEXT: <key>kind</key><string>event</string>
778 // CHECK-NEXT: <key>location</key>
779 // CHECK-NEXT: <dict>
780 // CHECK-NEXT: <key>line</key><integer>94</integer>
781 // CHECK-NEXT: <key>col</key><integer>15</integer>
782 // CHECK-NEXT: <key>file</key><integer>0</integer>
783 // CHECK-NEXT: </dict>
784 // CHECK-NEXT: <key>ranges</key>
785 // CHECK-NEXT: <array>
786 // CHECK-NEXT: <array>
787 // CHECK-NEXT: <dict>
788 // CHECK-NEXT: <key>line</key><integer>94</integer>
789 // CHECK-NEXT: <key>col</key><integer>22</integer>
790 // CHECK-NEXT: <key>file</key><integer>0</integer>
791 // CHECK-NEXT: </dict>
792 // CHECK-NEXT: <dict>
793 // CHECK-NEXT: <key>line</key><integer>94</integer>
794 // CHECK-NEXT: <key>col</key><integer>22</integer>
795 // CHECK-NEXT: <key>file</key><integer>0</integer>
796 // CHECK-NEXT: </dict>
797 // CHECK-NEXT: </array>
798 // CHECK-NEXT: </array>
799 // CHECK-NEXT: <key>depth</key><integer>0</integer>
800 // CHECK-NEXT: <key>extended_message</key>
801 // CHECK-NEXT: <string>Call to 'calloc' has an allocation size of 0 bytes</string>
802 // CHECK-NEXT: <key>message</key>
803 // CHECK-NEXT: <string>Call to 'calloc' has an allocation size of 0 bytes</string>
804 // CHECK-NEXT: </dict>
805 // CHECK-NEXT: </array>
806 // CHECK-NEXT: <key>description</key><string>Call to 'calloc' has an allocation size of 0 bytes</string>
807 // CHECK-NEXT: <key>category</key><string>Unix API</string>
808 // CHECK-NEXT: <key>type</key><string>Undefined allocation of 0 bytes (CERT MEM04-C; CWE-131)</string>
809 // CHECK-NEXT: <key>check_name</key><string>unix.API</string>
810 // CHECK-NEXT: <!-- This hash is experimental and going to change! -->
811 // CHECK-NEXT: <key>issue_hash_content_of_line_in_context</key><string>a267ff573c7e8b959a3f886677893eb0</string>
812 // CHECK-NEXT: <key>issue_context_kind</key><string>function</string>
813 // CHECK-NEXT: <key>issue_context</key><string>test_calloc</string>
814 // CHECK-NEXT: <key>issue_hash_function_offset</key><string>1</string>
815 // CHECK-NEXT: <key>location</key>
816 // CHECK-NEXT: <dict>
817 // CHECK-NEXT: <key>line</key><integer>94</integer>
818 // CHECK-NEXT: <key>col</key><integer>15</integer>
819 // CHECK-NEXT: <key>file</key><integer>0</integer>
820 // CHECK-NEXT: </dict>
821 // CHECK-NEXT: </dict>
822 // CHECK-NEXT: <dict>
823 // CHECK-NEXT: <key>path</key>
824 // CHECK-NEXT: <array>
825 // CHECK-NEXT: <dict>
826 // CHECK-NEXT: <key>kind</key><string>control</string>
827 // CHECK-NEXT: <key>edges</key>
828 // CHECK-NEXT: <array>
829 // CHECK-NEXT: <dict>
830 // CHECK-NEXT: <key>start</key>
831 // CHECK-NEXT: <array>
832 // CHECK-NEXT: <dict>
833 // CHECK-NEXT: <key>line</key><integer>100</integer>
834 // CHECK-NEXT: <key>col</key><integer>3</integer>
835 // CHECK-NEXT: <key>file</key><integer>0</integer>
836 // CHECK-NEXT: </dict>
837 // CHECK-NEXT: <dict>
838 // CHECK-NEXT: <key>line</key><integer>100</integer>
839 // CHECK-NEXT: <key>col</key><integer>6</integer>
840 // CHECK-NEXT: <key>file</key><integer>0</integer>
841 // CHECK-NEXT: </dict>
842 // CHECK-NEXT: </array>
843 // CHECK-NEXT: <key>end</key>
844 // CHECK-NEXT: <array>
845 // CHECK-NEXT: <dict>
846 // CHECK-NEXT: <key>line</key><integer>100</integer>
847 // CHECK-NEXT: <key>col</key><integer>15</integer>
848 // CHECK-NEXT: <key>file</key><integer>0</integer>
849 // CHECK-NEXT: </dict>
850 // CHECK-NEXT: <dict>
851 // CHECK-NEXT: <key>line</key><integer>100</integer>
852 // CHECK-NEXT: <key>col</key><integer>20</integer>
853 // CHECK-NEXT: <key>file</key><integer>0</integer>
854 // CHECK-NEXT: </dict>
855 // CHECK-NEXT: </array>
856 // CHECK-NEXT: </dict>
857 // CHECK-NEXT: </array>
858 // CHECK-NEXT: </dict>
859 // CHECK-NEXT: <dict>
860 // CHECK-NEXT: <key>kind</key><string>event</string>
861 // CHECK-NEXT: <key>location</key>
862 // CHECK-NEXT: <dict>
863 // CHECK-NEXT: <key>line</key><integer>100</integer>
864 // CHECK-NEXT: <key>col</key><integer>15</integer>
865 // CHECK-NEXT: <key>file</key><integer>0</integer>
866 // CHECK-NEXT: </dict>
867 // CHECK-NEXT: <key>ranges</key>
868 // CHECK-NEXT: <array>
869 // CHECK-NEXT: <array>
870 // CHECK-NEXT: <dict>
871 // CHECK-NEXT: <key>line</key><integer>100</integer>
872 // CHECK-NEXT: <key>col</key><integer>26</integer>
873 // CHECK-NEXT: <key>file</key><integer>0</integer>
874 // CHECK-NEXT: </dict>
875 // CHECK-NEXT: <dict>
876 // CHECK-NEXT: <key>line</key><integer>100</integer>
877 // CHECK-NEXT: <key>col</key><integer>26</integer>
878 // CHECK-NEXT: <key>file</key><integer>0</integer>
879 // CHECK-NEXT: </dict>
880 // CHECK-NEXT: </array>
881 // CHECK-NEXT: </array>
882 // CHECK-NEXT: <key>depth</key><integer>0</integer>
883 // CHECK-NEXT: <key>extended_message</key>
884 // CHECK-NEXT: <string>Call to 'calloc' has an allocation size of 0 bytes</string>
885 // CHECK-NEXT: <key>message</key>
886 // CHECK-NEXT: <string>Call to 'calloc' has an allocation size of 0 bytes</string>
887 // CHECK-NEXT: </dict>
888 // CHECK-NEXT: </array>
889 // CHECK-NEXT: <key>description</key><string>Call to 'calloc' has an allocation size of 0 bytes</string>
890 // CHECK-NEXT: <key>category</key><string>Unix API</string>
891 // CHECK-NEXT: <key>type</key><string>Undefined allocation of 0 bytes (CERT MEM04-C; CWE-131)</string>
892 // CHECK-NEXT: <key>check_name</key><string>unix.API</string>
893 // CHECK-NEXT: <!-- This hash is experimental and going to change! -->
894 // CHECK-NEXT: <key>issue_hash_content_of_line_in_context</key><string>14eb72957baab3c63bac610a10e6f48b</string>
895 // CHECK-NEXT: <key>issue_context_kind</key><string>function</string>
896 // CHECK-NEXT: <key>issue_context</key><string>test_calloc2</string>
897 // CHECK-NEXT: <key>issue_hash_function_offset</key><string>1</string>
898 // CHECK-NEXT: <key>location</key>
899 // CHECK-NEXT: <dict>
900 // CHECK-NEXT: <key>line</key><integer>100</integer>
901 // CHECK-NEXT: <key>col</key><integer>15</integer>
902 // CHECK-NEXT: <key>file</key><integer>0</integer>
903 // CHECK-NEXT: </dict>
904 // CHECK-NEXT: </dict>
905 // CHECK-NEXT: <dict>
906 // CHECK-NEXT: <key>path</key>
907 // CHECK-NEXT: <array>
908 // CHECK-NEXT: <dict>
909 // CHECK-NEXT: <key>kind</key><string>control</string>
910 // CHECK-NEXT: <key>edges</key>
911 // CHECK-NEXT: <array>
912 // CHECK-NEXT: <dict>
913 // CHECK-NEXT: <key>start</key>
914 // CHECK-NEXT: <array>
915 // CHECK-NEXT: <dict>
916 // CHECK-NEXT: <key>line</key><integer>112</integer>
917 // CHECK-NEXT: <key>col</key><integer>3</integer>
918 // CHECK-NEXT: <key>file</key><integer>0</integer>
919 // CHECK-NEXT: </dict>
920 // CHECK-NEXT: <dict>
921 // CHECK-NEXT: <key>line</key><integer>112</integer>
922 // CHECK-NEXT: <key>col</key><integer>6</integer>
923 // CHECK-NEXT: <key>file</key><integer>0</integer>
924 // CHECK-NEXT: </dict>
925 // CHECK-NEXT: </array>
926 // CHECK-NEXT: <key>end</key>
927 // CHECK-NEXT: <array>
928 // CHECK-NEXT: <dict>
929 // CHECK-NEXT: <key>line</key><integer>112</integer>
930 // CHECK-NEXT: <key>col</key><integer>15</integer>
931 // CHECK-NEXT: <key>file</key><integer>0</integer>
932 // CHECK-NEXT: </dict>
933 // CHECK-NEXT: <dict>
934 // CHECK-NEXT: <key>line</key><integer>112</integer>
935 // CHECK-NEXT: <key>col</key><integer>21</integer>
936 // CHECK-NEXT: <key>file</key><integer>0</integer>
937 // CHECK-NEXT: </dict>
938 // CHECK-NEXT: </array>
939 // CHECK-NEXT: </dict>
940 // CHECK-NEXT: </array>
941 // CHECK-NEXT: </dict>
942 // CHECK-NEXT: <dict>
943 // CHECK-NEXT: <key>kind</key><string>event</string>
944 // CHECK-NEXT: <key>location</key>
945 // CHECK-NEXT: <dict>
946 // CHECK-NEXT: <key>line</key><integer>112</integer>
947 // CHECK-NEXT: <key>col</key><integer>15</integer>
948 // CHECK-NEXT: <key>file</key><integer>0</integer>
949 // CHECK-NEXT: </dict>
950 // CHECK-NEXT: <key>ranges</key>
951 // CHECK-NEXT: <array>
952 // CHECK-NEXT: <array>
953 // CHECK-NEXT: <dict>
954 // CHECK-NEXT: <key>line</key><integer>112</integer>
955 // CHECK-NEXT: <key>col</key><integer>28</integer>
956 // CHECK-NEXT: <key>file</key><integer>0</integer>
957 // CHECK-NEXT: </dict>
958 // CHECK-NEXT: <dict>
959 // CHECK-NEXT: <key>line</key><integer>112</integer>
960 // CHECK-NEXT: <key>col</key><integer>28</integer>
961 // CHECK-NEXT: <key>file</key><integer>0</integer>
962 // CHECK-NEXT: </dict>
963 // CHECK-NEXT: </array>
964 // CHECK-NEXT: </array>
965 // CHECK-NEXT: <key>depth</key><integer>0</integer>
966 // CHECK-NEXT: <key>extended_message</key>
967 // CHECK-NEXT: <string>Call to 'realloc' has an allocation size of 0 bytes</string>
968 // CHECK-NEXT: <key>message</key>
969 // CHECK-NEXT: <string>Call to 'realloc' has an allocation size of 0 bytes</string>
970 // CHECK-NEXT: </dict>
971 // CHECK-NEXT: </array>
972 // CHECK-NEXT: <key>description</key><string>Call to 'realloc' has an allocation size of 0 bytes</string>
973 // CHECK-NEXT: <key>category</key><string>Unix API</string>
974 // CHECK-NEXT: <key>type</key><string>Undefined allocation of 0 bytes (CERT MEM04-C; CWE-131)</string>
975 // CHECK-NEXT: <key>check_name</key><string>unix.API</string>
976 // CHECK-NEXT: <!-- This hash is experimental and going to change! -->
977 // CHECK-NEXT: <key>issue_hash_content_of_line_in_context</key><string>7f6f67ebe3d481aed7750005bea7e371</string>
978 // CHECK-NEXT: <key>issue_context_kind</key><string>function</string>
979 // CHECK-NEXT: <key>issue_context</key><string>test_realloc</string>
980 // CHECK-NEXT: <key>issue_hash_function_offset</key><string>1</string>
981 // CHECK-NEXT: <key>location</key>
982 // CHECK-NEXT: <dict>
983 // CHECK-NEXT: <key>line</key><integer>112</integer>
984 // CHECK-NEXT: <key>col</key><integer>15</integer>
985 // CHECK-NEXT: <key>file</key><integer>0</integer>
986 // CHECK-NEXT: </dict>
987 // CHECK-NEXT: </dict>
988 // CHECK-NEXT: <dict>
989 // CHECK-NEXT: <key>path</key>
990 // CHECK-NEXT: <array>
991 // CHECK-NEXT: <dict>
992 // CHECK-NEXT: <key>kind</key><string>control</string>
993 // CHECK-NEXT: <key>edges</key>
994 // CHECK-NEXT: <array>
995 // CHECK-NEXT: <dict>
996 // CHECK-NEXT: <key>start</key>
997 // CHECK-NEXT: <array>
998 // CHECK-NEXT: <dict>
999 // CHECK-NEXT: <key>line</key><integer>118</integer>
1000 // CHECK-NEXT: <key>col</key><integer>3</integer>
1001 // CHECK-NEXT: <key>file</key><integer>0</integer>
1002 // CHECK-NEXT: </dict>
1003 // CHECK-NEXT: <dict>
1004 // CHECK-NEXT: <key>line</key><integer>118</integer>
1005 // CHECK-NEXT: <key>col</key><integer>6</integer>
1006 // CHECK-NEXT: <key>file</key><integer>0</integer>
1007 // CHECK-NEXT: </dict>
1008 // CHECK-NEXT: </array>
1009 // CHECK-NEXT: <key>end</key>
1010 // CHECK-NEXT: <array>
1011 // CHECK-NEXT: <dict>
1012 // CHECK-NEXT: <key>line</key><integer>118</integer>
1013 // CHECK-NEXT: <key>col</key><integer>15</integer>
1014 // CHECK-NEXT: <key>file</key><integer>0</integer>
1015 // CHECK-NEXT: </dict>
1016 // CHECK-NEXT: <dict>
1017 // CHECK-NEXT: <key>line</key><integer>118</integer>
1018 // CHECK-NEXT: <key>col</key><integer>22</integer>
1019 // CHECK-NEXT: <key>file</key><integer>0</integer>
1020 // CHECK-NEXT: </dict>
1021 // CHECK-NEXT: </array>
1022 // CHECK-NEXT: </dict>
1023 // CHECK-NEXT: </array>
1024 // CHECK-NEXT: </dict>
1025 // CHECK-NEXT: <dict>
1026 // CHECK-NEXT: <key>kind</key><string>event</string>
1027 // CHECK-NEXT: <key>location</key>
1028 // CHECK-NEXT: <dict>
1029 // CHECK-NEXT: <key>line</key><integer>118</integer>
1030 // CHECK-NEXT: <key>col</key><integer>15</integer>
1031 // CHECK-NEXT: <key>file</key><integer>0</integer>
1032 // CHECK-NEXT: </dict>
1033 // CHECK-NEXT: <key>ranges</key>
1034 // CHECK-NEXT: <array>
1035 // CHECK-NEXT: <array>
1036 // CHECK-NEXT: <dict>
1037 // CHECK-NEXT: <key>line</key><integer>118</integer>
1038 // CHECK-NEXT: <key>col</key><integer>29</integer>
1039 // CHECK-NEXT: <key>file</key><integer>0</integer>
1040 // CHECK-NEXT: </dict>
1041 // CHECK-NEXT: <dict>
1042 // CHECK-NEXT: <key>line</key><integer>118</integer>
1043 // CHECK-NEXT: <key>col</key><integer>29</integer>
1044 // CHECK-NEXT: <key>file</key><integer>0</integer>
1045 // CHECK-NEXT: </dict>
1046 // CHECK-NEXT: </array>
1047 // CHECK-NEXT: </array>
1048 // CHECK-NEXT: <key>depth</key><integer>0</integer>
1049 // CHECK-NEXT: <key>extended_message</key>
1050 // CHECK-NEXT: <string>Call to 'reallocf' has an allocation size of 0 bytes</string>
1051 // CHECK-NEXT: <key>message</key>
1052 // CHECK-NEXT: <string>Call to 'reallocf' has an allocation size of 0 bytes</string>
1053 // CHECK-NEXT: </dict>
1054 // CHECK-NEXT: </array>
1055 // CHECK-NEXT: <key>description</key><string>Call to 'reallocf' has an allocation size of 0 bytes</string>
1056 // CHECK-NEXT: <key>category</key><string>Unix API</string>
1057 // CHECK-NEXT: <key>type</key><string>Undefined allocation of 0 bytes (CERT MEM04-C; CWE-131)</string>
1058 // CHECK-NEXT: <key>check_name</key><string>unix.API</string>
1059 // CHECK-NEXT: <!-- This hash is experimental and going to change! -->
1060 // CHECK-NEXT: <key>issue_hash_content_of_line_in_context</key><string>4941698efbd81601653dff10ef9c645b</string>
1061 // CHECK-NEXT: <key>issue_context_kind</key><string>function</string>
1062 // CHECK-NEXT: <key>issue_context</key><string>test_reallocf</string>
1063 // CHECK-NEXT: <key>issue_hash_function_offset</key><string>1</string>
1064 // CHECK-NEXT: <key>location</key>
1065 // CHECK-NEXT: <dict>
1066 // CHECK-NEXT: <key>line</key><integer>118</integer>
1067 // CHECK-NEXT: <key>col</key><integer>15</integer>
1068 // CHECK-NEXT: <key>file</key><integer>0</integer>
1069 // CHECK-NEXT: </dict>
1070 // CHECK-NEXT: </dict>
1071 // CHECK-NEXT: <dict>
1072 // CHECK-NEXT: <key>path</key>
1073 // CHECK-NEXT: <array>
1074 // CHECK-NEXT: <dict>
1075 // CHECK-NEXT: <key>kind</key><string>control</string>
1076 // CHECK-NEXT: <key>edges</key>
1077 // CHECK-NEXT: <array>
1078 // CHECK-NEXT: <dict>
1079 // CHECK-NEXT: <key>start</key>
1080 // CHECK-NEXT: <array>
1081 // CHECK-NEXT: <dict>
1082 // CHECK-NEXT: <key>line</key><integer>136</integer>
1083 // CHECK-NEXT: <key>col</key><integer>3</integer>
1084 // CHECK-NEXT: <key>file</key><integer>0</integer>
1085 // CHECK-NEXT: </dict>
1086 // CHECK-NEXT: <dict>
1087 // CHECK-NEXT: <key>line</key><integer>136</integer>
1088 // CHECK-NEXT: <key>col</key><integer>6</integer>
1089 // CHECK-NEXT: <key>file</key><integer>0</integer>
1090 // CHECK-NEXT: </dict>
1091 // CHECK-NEXT: </array>
1092 // CHECK-NEXT: <key>end</key>
1093 // CHECK-NEXT: <array>
1094 // CHECK-NEXT: <dict>
1095 // CHECK-NEXT: <key>line</key><integer>136</integer>
1096 // CHECK-NEXT: <key>col</key><integer>15</integer>
1097 // CHECK-NEXT: <key>file</key><integer>0</integer>
1098 // CHECK-NEXT: </dict>
1099 // CHECK-NEXT: <dict>
1100 // CHECK-NEXT: <key>line</key><integer>136</integer>
1101 // CHECK-NEXT: <key>col</key><integer>20</integer>
1102 // CHECK-NEXT: <key>file</key><integer>0</integer>
1103 // CHECK-NEXT: </dict>
1104 // CHECK-NEXT: </array>
1105 // CHECK-NEXT: </dict>
1106 // CHECK-NEXT: </array>
1107 // CHECK-NEXT: </dict>
1108 // CHECK-NEXT: <dict>
1109 // CHECK-NEXT: <key>kind</key><string>event</string>
1110 // CHECK-NEXT: <key>location</key>
1111 // CHECK-NEXT: <dict>
1112 // CHECK-NEXT: <key>line</key><integer>136</integer>
1113 // CHECK-NEXT: <key>col</key><integer>15</integer>
1114 // CHECK-NEXT: <key>file</key><integer>0</integer>
1115 // CHECK-NEXT: </dict>
1116 // CHECK-NEXT: <key>ranges</key>
1117 // CHECK-NEXT: <array>
1118 // CHECK-NEXT: <array>
1119 // CHECK-NEXT: <dict>
1120 // CHECK-NEXT: <key>line</key><integer>136</integer>
1121 // CHECK-NEXT: <key>col</key><integer>22</integer>
1122 // CHECK-NEXT: <key>file</key><integer>0</integer>
1123 // CHECK-NEXT: </dict>
1124 // CHECK-NEXT: <dict>
1125 // CHECK-NEXT: <key>line</key><integer>136</integer>
1126 // CHECK-NEXT: <key>col</key><integer>22</integer>
1127 // CHECK-NEXT: <key>file</key><integer>0</integer>
1128 // CHECK-NEXT: </dict>
1129 // CHECK-NEXT: </array>
1130 // CHECK-NEXT: </array>
1131 // CHECK-NEXT: <key>depth</key><integer>0</integer>
1132 // CHECK-NEXT: <key>extended_message</key>
1133 // CHECK-NEXT: <string>Call to 'alloca' has an allocation size of 0 bytes</string>
1134 // CHECK-NEXT: <key>message</key>
1135 // CHECK-NEXT: <string>Call to 'alloca' has an allocation size of 0 bytes</string>
1136 // CHECK-NEXT: </dict>
1137 // CHECK-NEXT: </array>
1138 // CHECK-NEXT: <key>description</key><string>Call to 'alloca' has an allocation size of 0 bytes</string>
1139 // CHECK-NEXT: <key>category</key><string>Unix API</string>
1140 // CHECK-NEXT: <key>type</key><string>Undefined allocation of 0 bytes (CERT MEM04-C; CWE-131)</string>
1141 // CHECK-NEXT: <key>check_name</key><string>unix.API</string>
1142 // CHECK-NEXT: <!-- This hash is experimental and going to change! -->
1143 // CHECK-NEXT: <key>issue_hash_content_of_line_in_context</key><string>b7ca3488e81d9d9d4b8dc545258ce97c</string>
1144 // CHECK-NEXT: <key>issue_context_kind</key><string>function</string>
1145 // CHECK-NEXT: <key>issue_context</key><string>test_alloca</string>
1146 // CHECK-NEXT: <key>issue_hash_function_offset</key><string>1</string>
1147 // CHECK-NEXT: <key>location</key>
1148 // CHECK-NEXT: <dict>
1149 // CHECK-NEXT: <key>line</key><integer>136</integer>
1150 // CHECK-NEXT: <key>col</key><integer>15</integer>
1151 // CHECK-NEXT: <key>file</key><integer>0</integer>
1152 // CHECK-NEXT: </dict>
1153 // CHECK-NEXT: </dict>
1154 // CHECK-NEXT: <dict>
1155 // CHECK-NEXT: <key>path</key>
1156 // CHECK-NEXT: <array>
1157 // CHECK-NEXT: <dict>
1158 // CHECK-NEXT: <key>kind</key><string>control</string>
1159 // CHECK-NEXT: <key>edges</key>
1160 // CHECK-NEXT: <array>
1161 // CHECK-NEXT: <dict>
1162 // CHECK-NEXT: <key>start</key>
1163 // CHECK-NEXT: <array>
1164 // CHECK-NEXT: <dict>
1165 // CHECK-NEXT: <key>line</key><integer>148</integer>
1166 // CHECK-NEXT: <key>col</key><integer>3</integer>
1167 // CHECK-NEXT: <key>file</key><integer>0</integer>
1168 // CHECK-NEXT: </dict>
1169 // CHECK-NEXT: <dict>
1170 // CHECK-NEXT: <key>line</key><integer>148</integer>
1171 // CHECK-NEXT: <key>col</key><integer>6</integer>
1172 // CHECK-NEXT: <key>file</key><integer>0</integer>
1173 // CHECK-NEXT: </dict>
1174 // CHECK-NEXT: </array>
1175 // CHECK-NEXT: <key>end</key>
1176 // CHECK-NEXT: <array>
1177 // CHECK-NEXT: <dict>
1178 // CHECK-NEXT: <key>line</key><integer>148</integer>
1179 // CHECK-NEXT: <key>col</key><integer>16</integer>
1180 // CHECK-NEXT: <key>file</key><integer>0</integer>
1181 // CHECK-NEXT: </dict>
1182 // CHECK-NEXT: <dict>
1183 // CHECK-NEXT: <key>line</key><integer>148</integer>
1184 // CHECK-NEXT: <key>col</key><integer>31</integer>
1185 // CHECK-NEXT: <key>file</key><integer>0</integer>
1186 // CHECK-NEXT: </dict>
1187 // CHECK-NEXT: </array>
1188 // CHECK-NEXT: </dict>
1189 // CHECK-NEXT: </array>
1190 // CHECK-NEXT: </dict>
1191 // CHECK-NEXT: <dict>
1192 // CHECK-NEXT: <key>kind</key><string>event</string>
1193 // CHECK-NEXT: <key>location</key>
1194 // CHECK-NEXT: <dict>
1195 // CHECK-NEXT: <key>line</key><integer>148</integer>
1196 // CHECK-NEXT: <key>col</key><integer>16</integer>
1197 // CHECK-NEXT: <key>file</key><integer>0</integer>
1198 // CHECK-NEXT: </dict>
1199 // CHECK-NEXT: <key>ranges</key>
1200 // CHECK-NEXT: <array>
1201 // CHECK-NEXT: <array>
1202 // CHECK-NEXT: <dict>
1203 // CHECK-NEXT: <key>line</key><integer>148</integer>
1204 // CHECK-NEXT: <key>col</key><integer>33</integer>
1205 // CHECK-NEXT: <key>file</key><integer>0</integer>
1206 // CHECK-NEXT: </dict>
1207 // CHECK-NEXT: <dict>
1208 // CHECK-NEXT: <key>line</key><integer>148</integer>
1209 // CHECK-NEXT: <key>col</key><integer>33</integer>
1210 // CHECK-NEXT: <key>file</key><integer>0</integer>
1211 // CHECK-NEXT: </dict>
1212 // CHECK-NEXT: </array>
1213 // CHECK-NEXT: </array>
1214 // CHECK-NEXT: <key>depth</key><integer>0</integer>
1215 // CHECK-NEXT: <key>extended_message</key>
1216 // CHECK-NEXT: <string>Call to 'alloca' has an allocation size of 0 bytes</string>
1217 // CHECK-NEXT: <key>message</key>
1218 // CHECK-NEXT: <string>Call to 'alloca' has an allocation size of 0 bytes</string>
1219 // CHECK-NEXT: </dict>
1220 // CHECK-NEXT: </array>
1221 // CHECK-NEXT: <key>description</key><string>Call to 'alloca' has an allocation size of 0 bytes</string>
1222 // CHECK-NEXT: <key>category</key><string>Unix API</string>
1223 // CHECK-NEXT: <key>type</key><string>Undefined allocation of 0 bytes (CERT MEM04-C; CWE-131)</string>
1224 // CHECK-NEXT: <key>check_name</key><string>unix.API</string>
1225 // CHECK-NEXT: <!-- This hash is experimental and going to change! -->
1226 // CHECK-NEXT: <key>issue_hash_content_of_line_in_context</key><string>1ec52551362b070237f47f6bb6c3847d</string>
1227 // CHECK-NEXT: <key>issue_context_kind</key><string>function</string>
1228 // CHECK-NEXT: <key>issue_context</key><string>test_builtin_alloca</string>
1229 // CHECK-NEXT: <key>issue_hash_function_offset</key><string>1</string>
1230 // CHECK-NEXT: <key>location</key>
1231 // CHECK-NEXT: <dict>
1232 // CHECK-NEXT: <key>line</key><integer>148</integer>
1233 // CHECK-NEXT: <key>col</key><integer>16</integer>
1234 // CHECK-NEXT: <key>file</key><integer>0</integer>
1235 // CHECK-NEXT: </dict>
1236 // CHECK-NEXT: </dict>
1237 // CHECK-NEXT: <dict>
1238 // CHECK-NEXT: <key>path</key>
1239 // CHECK-NEXT: <array>
1240 // CHECK-NEXT: <dict>
1241 // CHECK-NEXT: <key>kind</key><string>control</string>
1242 // CHECK-NEXT: <key>edges</key>
1243 // CHECK-NEXT: <array>
1244 // CHECK-NEXT: <dict>
1245 // CHECK-NEXT: <key>start</key>
1246 // CHECK-NEXT: <array>
1247 // CHECK-NEXT: <dict>
1248 // CHECK-NEXT: <key>line</key><integer>160</integer>
1249 // CHECK-NEXT: <key>col</key><integer>3</integer>
1250 // CHECK-NEXT: <key>file</key><integer>0</integer>
1251 // CHECK-NEXT: </dict>
1252 // CHECK-NEXT: <dict>
1253 // CHECK-NEXT: <key>line</key><integer>160</integer>
1254 // CHECK-NEXT: <key>col</key><integer>6</integer>
1255 // CHECK-NEXT: <key>file</key><integer>0</integer>
1256 // CHECK-NEXT: </dict>
1257 // CHECK-NEXT: </array>
1258 // CHECK-NEXT: <key>end</key>
1259 // CHECK-NEXT: <array>
1260 // CHECK-NEXT: <dict>
1261 // CHECK-NEXT: <key>line</key><integer>160</integer>
1262 // CHECK-NEXT: <key>col</key><integer>15</integer>
1263 // CHECK-NEXT: <key>file</key><integer>0</integer>
1264 // CHECK-NEXT: </dict>
1265 // CHECK-NEXT: <dict>
1266 // CHECK-NEXT: <key>line</key><integer>160</integer>
1267 // CHECK-NEXT: <key>col</key><integer>20</integer>
1268 // CHECK-NEXT: <key>file</key><integer>0</integer>
1269 // CHECK-NEXT: </dict>
1270 // CHECK-NEXT: </array>
1271 // CHECK-NEXT: </dict>
1272 // CHECK-NEXT: </array>
1273 // CHECK-NEXT: </dict>
1274 // CHECK-NEXT: <dict>
1275 // CHECK-NEXT: <key>kind</key><string>event</string>
1276 // CHECK-NEXT: <key>location</key>
1277 // CHECK-NEXT: <dict>
1278 // CHECK-NEXT: <key>line</key><integer>160</integer>
1279 // CHECK-NEXT: <key>col</key><integer>15</integer>
1280 // CHECK-NEXT: <key>file</key><integer>0</integer>
1281 // CHECK-NEXT: </dict>
1282 // CHECK-NEXT: <key>ranges</key>
1283 // CHECK-NEXT: <array>
1284 // CHECK-NEXT: <array>
1285 // CHECK-NEXT: <dict>
1286 // CHECK-NEXT: <key>line</key><integer>160</integer>
1287 // CHECK-NEXT: <key>col</key><integer>22</integer>
1288 // CHECK-NEXT: <key>file</key><integer>0</integer>
1289 // CHECK-NEXT: </dict>
1290 // CHECK-NEXT: <dict>
1291 // CHECK-NEXT: <key>line</key><integer>160</integer>
1292 // CHECK-NEXT: <key>col</key><integer>22</integer>
1293 // CHECK-NEXT: <key>file</key><integer>0</integer>
1294 // CHECK-NEXT: </dict>
1295 // CHECK-NEXT: </array>
1296 // CHECK-NEXT: </array>
1297 // CHECK-NEXT: <key>depth</key><integer>0</integer>
1298 // CHECK-NEXT: <key>extended_message</key>
1299 // CHECK-NEXT: <string>Call to 'valloc' has an allocation size of 0 bytes</string>
1300 // CHECK-NEXT: <key>message</key>
1301 // CHECK-NEXT: <string>Call to 'valloc' has an allocation size of 0 bytes</string>
1302 // CHECK-NEXT: </dict>
1303 // CHECK-NEXT: </array>
1304 // CHECK-NEXT: <key>description</key><string>Call to 'valloc' has an allocation size of 0 bytes</string>
1305 // CHECK-NEXT: <key>category</key><string>Unix API</string>
1306 // CHECK-NEXT: <key>type</key><string>Undefined allocation of 0 bytes (CERT MEM04-C; CWE-131)</string>
1307 // CHECK-NEXT: <key>check_name</key><string>unix.API</string>
1308 // CHECK-NEXT: <!-- This hash is experimental and going to change! -->
1309 // CHECK-NEXT: <key>issue_hash_content_of_line_in_context</key><string>675741e04c8d0071d280324e23f41d35</string>
1310 // CHECK-NEXT: <key>issue_context_kind</key><string>function</string>
1311 // CHECK-NEXT: <key>issue_context</key><string>test_valloc</string>
1312 // CHECK-NEXT: <key>issue_hash_function_offset</key><string>1</string>
1313 // CHECK-NEXT: <key>location</key>
1314 // CHECK-NEXT: <dict>
1315 // CHECK-NEXT: <key>line</key><integer>160</integer>
1316 // CHECK-NEXT: <key>col</key><integer>15</integer>
1317 // CHECK-NEXT: <key>file</key><integer>0</integer>
1318 // CHECK-NEXT: </dict>
1319 // CHECK-NEXT: </dict>
1320 // CHECK-NEXT: <dict>
1321 // CHECK-NEXT: <key>path</key>
1322 // CHECK-NEXT: <array>
1323 // CHECK-NEXT: <dict>
1324 // CHECK-NEXT: <key>kind</key><string>control</string>
1325 // CHECK-NEXT: <key>edges</key>
1326 // CHECK-NEXT: <array>
1327 // CHECK-NEXT: <dict>
1328 // CHECK-NEXT: <key>start</key>
1329 // CHECK-NEXT: <array>
1330 // CHECK-NEXT: <dict>
1331 // CHECK-NEXT: <key>line</key><integer>183</integer>
1332 // CHECK-NEXT: <key>col</key><integer>3</integer>
1333 // CHECK-NEXT: <key>file</key><integer>0</integer>
1334 // CHECK-NEXT: </dict>
1335 // CHECK-NEXT: <dict>
1336 // CHECK-NEXT: <key>line</key><integer>183</integer>
1337 // CHECK-NEXT: <key>col</key><integer>17</integer>
1338 // CHECK-NEXT: <key>file</key><integer>0</integer>
1339 // CHECK-NEXT: </dict>
1340 // CHECK-NEXT: </array>
1341 // CHECK-NEXT: <key>end</key>
1342 // CHECK-NEXT: <array>
1343 // CHECK-NEXT: <dict>
1344 // CHECK-NEXT: <key>line</key><integer>184</integer>
1345 // CHECK-NEXT: <key>col</key><integer>3</integer>
1346 // CHECK-NEXT: <key>file</key><integer>0</integer>
1347 // CHECK-NEXT: </dict>
1348 // CHECK-NEXT: <dict>
1349 // CHECK-NEXT: <key>line</key><integer>184</integer>
1350 // CHECK-NEXT: <key>col</key><integer>15</integer>
1351 // CHECK-NEXT: <key>file</key><integer>0</integer>
1352 // CHECK-NEXT: </dict>
1353 // CHECK-NEXT: </array>
1354 // CHECK-NEXT: </dict>
1355 // CHECK-NEXT: </array>
1356 // CHECK-NEXT: </dict>
1357 // CHECK-NEXT: <dict>
1358 // CHECK-NEXT: <key>kind</key><string>event</string>
1359 // CHECK-NEXT: <key>location</key>
1360 // CHECK-NEXT: <dict>
1361 // CHECK-NEXT: <key>line</key><integer>184</integer>
1362 // CHECK-NEXT: <key>col</key><integer>3</integer>
1363 // CHECK-NEXT: <key>file</key><integer>0</integer>
1364 // CHECK-NEXT: </dict>
1365 // CHECK-NEXT: <key>ranges</key>
1366 // CHECK-NEXT: <array>
1367 // CHECK-NEXT: <array>
1368 // CHECK-NEXT: <dict>
1369 // CHECK-NEXT: <key>line</key><integer>184</integer>
1370 // CHECK-NEXT: <key>col</key><integer>17</integer>
1371 // CHECK-NEXT: <key>file</key><integer>0</integer>
1372 // CHECK-NEXT: </dict>
1373 // CHECK-NEXT: <dict>
1374 // CHECK-NEXT: <key>line</key><integer>184</integer>
1375 // CHECK-NEXT: <key>col</key><integer>21</integer>
1376 // CHECK-NEXT: <key>file</key><integer>0</integer>
1377 // CHECK-NEXT: </dict>
1378 // CHECK-NEXT: </array>
1379 // CHECK-NEXT: </array>
1380 // CHECK-NEXT: <key>depth</key><integer>0</integer>
1381 // CHECK-NEXT: <key>extended_message</key>
1382 // CHECK-NEXT: <string>Call to 'dispatch_once' uses the local variable 'pred' for the predicate value. Using such transient memory for the predicate is potentially dangerous. Perhaps you intended to declare the variable as 'static'?</string>
1383 // CHECK-NEXT: <key>message</key>
1384 // CHECK-NEXT: <string>Call to 'dispatch_once' uses the local variable 'pred' for the predicate value. Using such transient memory for the predicate is potentially dangerous. Perhaps you intended to declare the variable as 'static'?</string>
1385 // CHECK-NEXT: </dict>
1386 // CHECK-NEXT: </array>
1387 // CHECK-NEXT: <key>description</key><string>Call to 'dispatch_once' uses the local variable 'pred' for the predicate value. Using such transient memory for the predicate is potentially dangerous. Perhaps you intended to declare the variable as 'static'?</string>
1388 // CHECK-NEXT: <key>category</key><string>API Misuse (Apple)</string>
1389 // CHECK-NEXT: <key>type</key><string>Improper use of 'dispatch_once'</string>
1390 // CHECK-NEXT: <key>check_name</key><string>osx.API</string>
1391 // CHECK-NEXT: <!-- This hash is experimental and going to change! -->
1392 // CHECK-NEXT: <key>issue_hash_content_of_line_in_context</key><string>8ded1f2025c1e4a4bcd5302dc97006d9</string>
1393 // CHECK-NEXT: <key>issue_context_kind</key><string>function</string>
1394 // CHECK-NEXT: <key>issue_context</key><string>test_dispatch_once_in_macro</string>
1395 // CHECK-NEXT: <key>issue_hash_function_offset</key><string>2</string>
1396 // CHECK-NEXT: <key>location</key>
1397 // CHECK-NEXT: <dict>
1398 // CHECK-NEXT: <key>line</key><integer>184</integer>
1399 // CHECK-NEXT: <key>col</key><integer>3</integer>
1400 // CHECK-NEXT: <key>file</key><integer>0</integer>
1401 // CHECK-NEXT: </dict>
1402 // CHECK-NEXT: </dict>
1403 // CHECK-NEXT: <dict>
1404 // CHECK-NEXT: <key>path</key>
1405 // CHECK-NEXT: <array>
1406 // CHECK-NEXT: <dict>
1407 // CHECK-NEXT: <key>kind</key><string>event</string>
1408 // CHECK-NEXT: <key>location</key>
1409 // CHECK-NEXT: <dict>
1410 // CHECK-NEXT: <key>line</key><integer>189</integer>
1411 // CHECK-NEXT: <key>col</key><integer>3</integer>
1412 // CHECK-NEXT: <key>file</key><integer>0</integer>
1413 // CHECK-NEXT: </dict>
1414 // CHECK-NEXT: <key>ranges</key>
1415 // CHECK-NEXT: <array>
1416 // CHECK-NEXT: <array>
1417 // CHECK-NEXT: <dict>
1418 // CHECK-NEXT: <key>line</key><integer>189</integer>
1419 // CHECK-NEXT: <key>col</key><integer>3</integer>
1420 // CHECK-NEXT: <key>file</key><integer>0</integer>
1421 // CHECK-NEXT: </dict>
1422 // CHECK-NEXT: <dict>
1423 // CHECK-NEXT: <key>line</key><integer>189</integer>
1424 // CHECK-NEXT: <key>col</key><integer>8</integer>
1425 // CHECK-NEXT: <key>file</key><integer>0</integer>
1426 // CHECK-NEXT: </dict>
1427 // CHECK-NEXT: </array>
1428 // CHECK-NEXT: </array>
1429 // CHECK-NEXT: <key>depth</key><integer>0</integer>
1430 // CHECK-NEXT: <key>extended_message</key>
1431 // CHECK-NEXT: <string>'p' initialized to a null pointer value</string>
1432 // CHECK-NEXT: <key>message</key>
1433 // CHECK-NEXT: <string>'p' initialized to a null pointer value</string>
1434 // CHECK-NEXT: </dict>
1435 // CHECK-NEXT: <dict>
1436 // CHECK-NEXT: <key>kind</key><string>control</string>
1437 // CHECK-NEXT: <key>edges</key>
1438 // CHECK-NEXT: <array>
1439 // CHECK-NEXT: <dict>
1440 // CHECK-NEXT: <key>start</key>
1441 // CHECK-NEXT: <array>
1442 // CHECK-NEXT: <dict>
1443 // CHECK-NEXT: <key>line</key><integer>189</integer>
1444 // CHECK-NEXT: <key>col</key><integer>3</integer>
1445 // CHECK-NEXT: <key>file</key><integer>0</integer>
1446 // CHECK-NEXT: </dict>
1447 // CHECK-NEXT: <dict>
1448 // CHECK-NEXT: <key>line</key><integer>189</integer>
1449 // CHECK-NEXT: <key>col</key><integer>5</integer>
1450 // CHECK-NEXT: <key>file</key><integer>0</integer>
1451 // CHECK-NEXT: </dict>
1452 // CHECK-NEXT: </array>
1453 // CHECK-NEXT: <key>end</key>
1454 // CHECK-NEXT: <array>
1455 // CHECK-NEXT: <dict>
1456 // CHECK-NEXT: <key>line</key><integer>190</integer>
1457 // CHECK-NEXT: <key>col</key><integer>3</integer>
1458 // CHECK-NEXT: <key>file</key><integer>0</integer>
1459 // CHECK-NEXT: </dict>
1460 // CHECK-NEXT: <dict>
1461 // CHECK-NEXT: <key>line</key><integer>190</integer>
1462 // CHECK-NEXT: <key>col</key><integer>15</integer>
1463 // CHECK-NEXT: <key>file</key><integer>0</integer>
1464 // CHECK-NEXT: </dict>
1465 // CHECK-NEXT: </array>
1466 // CHECK-NEXT: </dict>
1467 // CHECK-NEXT: </array>
1468 // CHECK-NEXT: </dict>
1469 // CHECK-NEXT: <dict>
1470 // CHECK-NEXT: <key>kind</key><string>control</string>
1471 // CHECK-NEXT: <key>edges</key>
1472 // CHECK-NEXT: <array>
1473 // CHECK-NEXT: <dict>
1474 // CHECK-NEXT: <key>start</key>
1475 // CHECK-NEXT: <array>
1476 // CHECK-NEXT: <dict>
1477 // CHECK-NEXT: <key>line</key><integer>190</integer>
1478 // CHECK-NEXT: <key>col</key><integer>3</integer>
1479 // CHECK-NEXT: <key>file</key><integer>0</integer>
1480 // CHECK-NEXT: </dict>
1481 // CHECK-NEXT: <dict>
1482 // CHECK-NEXT: <key>line</key><integer>190</integer>
1483 // CHECK-NEXT: <key>col</key><integer>15</integer>
1484 // CHECK-NEXT: <key>file</key><integer>0</integer>
1485 // CHECK-NEXT: </dict>
1486 // CHECK-NEXT: </array>
1487 // CHECK-NEXT: <key>end</key>
1488 // CHECK-NEXT: <array>
1489 // CHECK-NEXT: <dict>
1490 // CHECK-NEXT: <key>line</key><integer>190</integer>
1491 // CHECK-NEXT: <key>col</key><integer>24</integer>
1492 // CHECK-NEXT: <key>file</key><integer>0</integer>
1493 // CHECK-NEXT: </dict>
1494 // CHECK-NEXT: <dict>
1495 // CHECK-NEXT: <key>line</key><integer>190</integer>
1496 // CHECK-NEXT: <key>col</key><integer>24</integer>
1497 // CHECK-NEXT: <key>file</key><integer>0</integer>
1498 // CHECK-NEXT: </dict>
1499 // CHECK-NEXT: </array>
1500 // CHECK-NEXT: </dict>
1501 // CHECK-NEXT: </array>
1502 // CHECK-NEXT: </dict>
1503 // CHECK-NEXT: <dict>
1504 // CHECK-NEXT: <key>kind</key><string>event</string>
1505 // CHECK-NEXT: <key>location</key>
1506 // CHECK-NEXT: <dict>
1507 // CHECK-NEXT: <key>line</key><integer>190</integer>
1508 // CHECK-NEXT: <key>col</key><integer>24</integer>
1509 // CHECK-NEXT: <key>file</key><integer>0</integer>
1510 // CHECK-NEXT: </dict>
1511 // CHECK-NEXT: <key>ranges</key>
1512 // CHECK-NEXT: <array>
1513 // CHECK-NEXT: <array>
1514 // CHECK-NEXT: <dict>
1515 // CHECK-NEXT: <key>line</key><integer>190</integer>
1516 // CHECK-NEXT: <key>col</key><integer>24</integer>
1517 // CHECK-NEXT: <key>file</key><integer>0</integer>
1518 // CHECK-NEXT: </dict>
1519 // CHECK-NEXT: <dict>
1520 // CHECK-NEXT: <key>line</key><integer>194</integer>
1521 // CHECK-NEXT: <key>col</key><integer>3</integer>
1522 // CHECK-NEXT: <key>file</key><integer>0</integer>
1523 // CHECK-NEXT: </dict>
1524 // CHECK-NEXT: </array>
1525 // CHECK-NEXT: </array>
1526 // CHECK-NEXT: <key>depth</key><integer>0</integer>
1527 // CHECK-NEXT: <key>extended_message</key>
1528 // CHECK-NEXT: <string>'p' captured by block as a null pointer value</string>
1529 // CHECK-NEXT: <key>message</key>
1530 // CHECK-NEXT: <string>'p' captured by block as a null pointer value</string>
1531 // CHECK-NEXT: </dict>
1532 // CHECK-NEXT: <dict>
1533 // CHECK-NEXT: <key>kind</key><string>event</string>
1534 // CHECK-NEXT: <key>location</key>
1535 // CHECK-NEXT: <dict>
1536 // CHECK-NEXT: <key>line</key><integer>190</integer>
1537 // CHECK-NEXT: <key>col</key><integer>3</integer>
1538 // CHECK-NEXT: <key>file</key><integer>0</integer>
1539 // CHECK-NEXT: </dict>
1540 // CHECK-NEXT: <key>ranges</key>
1541 // CHECK-NEXT: <array>
1542 // CHECK-NEXT: <array>
1543 // CHECK-NEXT: <dict>
1544 // CHECK-NEXT: <key>line</key><integer>190</integer>
1545 // CHECK-NEXT: <key>col</key><integer>3</integer>
1546 // CHECK-NEXT: <key>file</key><integer>0</integer>
1547 // CHECK-NEXT: </dict>
1548 // CHECK-NEXT: <dict>
1549 // CHECK-NEXT: <key>line</key><integer>194</integer>
1550 // CHECK-NEXT: <key>col</key><integer>4</integer>
1551 // CHECK-NEXT: <key>file</key><integer>0</integer>
1552 // CHECK-NEXT: </dict>
1553 // CHECK-NEXT: </array>
1554 // CHECK-NEXT: </array>
1555 // CHECK-NEXT: <key>depth</key><integer>0</integer>
1556 // CHECK-NEXT: <key>extended_message</key>
1557 // CHECK-NEXT: <string>Calling 'dispatch_sync'</string>
1558 // CHECK-NEXT: <key>message</key>
1559 // CHECK-NEXT: <string>Calling 'dispatch_sync'</string>
1560 // CHECK-NEXT: </dict>
1561 // CHECK-NEXT: <dict>
1562 // CHECK-NEXT: <key>kind</key><string>event</string>
1563 // CHECK-NEXT: <key>location</key>
1564 // CHECK-NEXT: <dict>
1565 // CHECK-NEXT: <key>line</key><integer>190</integer>
1566 // CHECK-NEXT: <key>col</key><integer>3</integer>
1567 // CHECK-NEXT: <key>file</key><integer>0</integer>
1568 // CHECK-NEXT: </dict>
1569 // CHECK-NEXT: <key>ranges</key>
1570 // CHECK-NEXT: <array>
1571 // CHECK-NEXT: <array>
1572 // CHECK-NEXT: <dict>
1573 // CHECK-NEXT: <key>line</key><integer>190</integer>
1574 // CHECK-NEXT: <key>col</key><integer>3</integer>
1575 // CHECK-NEXT: <key>file</key><integer>0</integer>
1576 // CHECK-NEXT: </dict>
1577 // CHECK-NEXT: <dict>
1578 // CHECK-NEXT: <key>line</key><integer>194</integer>
1579 // CHECK-NEXT: <key>col</key><integer>4</integer>
1580 // CHECK-NEXT: <key>file</key><integer>0</integer>
1581 // CHECK-NEXT: </dict>
1582 // CHECK-NEXT: </array>
1583 // CHECK-NEXT: </array>
1584 // CHECK-NEXT: <key>depth</key><integer>1</integer>
1585 // CHECK-NEXT: <key>extended_message</key>
1586 // CHECK-NEXT: <string>Calling anonymous block</string>
1587 // CHECK-NEXT: <key>message</key>
1588 // CHECK-NEXT: <string>Calling anonymous block</string>
1589 // CHECK-NEXT: </dict>
1590 // CHECK-NEXT: <dict>
1591 // CHECK-NEXT: <key>kind</key><string>event</string>
1592 // CHECK-NEXT: <key>location</key>
1593 // CHECK-NEXT: <dict>
1594 // CHECK-NEXT: <key>line</key><integer>190</integer>
1595 // CHECK-NEXT: <key>col</key><integer>24</integer>
1596 // CHECK-NEXT: <key>file</key><integer>0</integer>
1597 // CHECK-NEXT: </dict>
1598 // CHECK-NEXT: <key>depth</key><integer>2</integer>
1599 // CHECK-NEXT: <key>extended_message</key>
1600 // CHECK-NEXT: <string>Entered call from 'dispatch_sync'</string>
1601 // CHECK-NEXT: <key>message</key>
1602 // CHECK-NEXT: <string>Entered call from 'dispatch_sync'</string>
1603 // CHECK-NEXT: </dict>
1604 // CHECK-NEXT: <dict>
1605 // CHECK-NEXT: <key>kind</key><string>control</string>
1606 // CHECK-NEXT: <key>edges</key>
1607 // CHECK-NEXT: <array>
1608 // CHECK-NEXT: <dict>
1609 // CHECK-NEXT: <key>start</key>
1610 // CHECK-NEXT: <array>
1611 // CHECK-NEXT: <dict>
1612 // CHECK-NEXT: <key>line</key><integer>190</integer>
1613 // CHECK-NEXT: <key>col</key><integer>24</integer>
1614 // CHECK-NEXT: <key>file</key><integer>0</integer>
1615 // CHECK-NEXT: </dict>
1616 // CHECK-NEXT: <dict>
1617 // CHECK-NEXT: <key>line</key><integer>190</integer>
1618 // CHECK-NEXT: <key>col</key><integer>24</integer>
1619 // CHECK-NEXT: <key>file</key><integer>0</integer>
1620 // CHECK-NEXT: </dict>
1621 // CHECK-NEXT: </array>
1622 // CHECK-NEXT: <key>end</key>
1623 // CHECK-NEXT: <array>
1624 // CHECK-NEXT: <dict>
1625 // CHECK-NEXT: <key>line</key><integer>191</integer>
1626 // CHECK-NEXT: <key>col</key><integer>4</integer>
1627 // CHECK-NEXT: <key>file</key><integer>0</integer>
1628 // CHECK-NEXT: </dict>
1629 // CHECK-NEXT: <dict>
1630 // CHECK-NEXT: <key>line</key><integer>191</integer>
1631 // CHECK-NEXT: <key>col</key><integer>5</integer>
1632 // CHECK-NEXT: <key>file</key><integer>0</integer>
1633 // CHECK-NEXT: </dict>
1634 // CHECK-NEXT: </array>
1635 // CHECK-NEXT: </dict>
1636 // CHECK-NEXT: </array>
1637 // CHECK-NEXT: </dict>
1638 // CHECK-NEXT: <dict>
1639 // CHECK-NEXT: <key>kind</key><string>control</string>
1640 // CHECK-NEXT: <key>edges</key>
1641 // CHECK-NEXT: <array>
1642 // CHECK-NEXT: <dict>
1643 // CHECK-NEXT: <key>start</key>
1644 // CHECK-NEXT: <array>
1645 // CHECK-NEXT: <dict>
1646 // CHECK-NEXT: <key>line</key><integer>191</integer>
1647 // CHECK-NEXT: <key>col</key><integer>4</integer>
1648 // CHECK-NEXT: <key>file</key><integer>0</integer>
1649 // CHECK-NEXT: </dict>
1650 // CHECK-NEXT: <dict>
1651 // CHECK-NEXT: <key>line</key><integer>191</integer>
1652 // CHECK-NEXT: <key>col</key><integer>5</integer>
1653 // CHECK-NEXT: <key>file</key><integer>0</integer>
1654 // CHECK-NEXT: </dict>
1655 // CHECK-NEXT: </array>
1656 // CHECK-NEXT: <key>end</key>
1657 // CHECK-NEXT: <array>
1658 // CHECK-NEXT: <dict>
1659 // CHECK-NEXT: <key>line</key><integer>191</integer>
1660 // CHECK-NEXT: <key>col</key><integer>8</integer>
1661 // CHECK-NEXT: <key>file</key><integer>0</integer>
1662 // CHECK-NEXT: </dict>
1663 // CHECK-NEXT: <dict>
1664 // CHECK-NEXT: <key>line</key><integer>191</integer>
1665 // CHECK-NEXT: <key>col</key><integer>8</integer>
1666 // CHECK-NEXT: <key>file</key><integer>0</integer>
1667 // CHECK-NEXT: </dict>
1668 // CHECK-NEXT: </array>
1669 // CHECK-NEXT: </dict>
1670 // CHECK-NEXT: </array>
1671 // CHECK-NEXT: </dict>
1672 // CHECK-NEXT: <dict>
1673 // CHECK-NEXT: <key>kind</key><string>event</string>
1674 // CHECK-NEXT: <key>location</key>
1675 // CHECK-NEXT: <dict>
1676 // CHECK-NEXT: <key>line</key><integer>191</integer>
1677 // CHECK-NEXT: <key>col</key><integer>8</integer>
1678 // CHECK-NEXT: <key>file</key><integer>0</integer>
1679 // CHECK-NEXT: </dict>
1680 // CHECK-NEXT: <key>ranges</key>
1681 // CHECK-NEXT: <array>
1682 // CHECK-NEXT: <array>
1683 // CHECK-NEXT: <dict>
1684 // CHECK-NEXT: <key>line</key><integer>191</integer>
1685 // CHECK-NEXT: <key>col</key><integer>8</integer>
1686 // CHECK-NEXT: <key>file</key><integer>0</integer>
1687 // CHECK-NEXT: </dict>
1688 // CHECK-NEXT: <dict>
1689 // CHECK-NEXT: <key>line</key><integer>191</integer>
1690 // CHECK-NEXT: <key>col</key><integer>8</integer>
1691 // CHECK-NEXT: <key>file</key><integer>0</integer>
1692 // CHECK-NEXT: </dict>
1693 // CHECK-NEXT: </array>
1694 // CHECK-NEXT: </array>
1695 // CHECK-NEXT: <key>depth</key><integer>2</integer>
1696 // CHECK-NEXT: <key>extended_message</key>
1697 // CHECK-NEXT: <string>Assuming 'q' is non-null</string>
1698 // CHECK-NEXT: <key>message</key>
1699 // CHECK-NEXT: <string>Assuming 'q' is non-null</string>
1700 // CHECK-NEXT: </dict>
1701 // CHECK-NEXT: <dict>
1702 // CHECK-NEXT: <key>kind</key><string>control</string>
1703 // CHECK-NEXT: <key>edges</key>
1704 // CHECK-NEXT: <array>
1705 // CHECK-NEXT: <dict>
1706 // CHECK-NEXT: <key>start</key>
1707 // CHECK-NEXT: <array>
1708 // CHECK-NEXT: <dict>
1709 // CHECK-NEXT: <key>line</key><integer>191</integer>
1710 // CHECK-NEXT: <key>col</key><integer>8</integer>
1711 // CHECK-NEXT: <key>file</key><integer>0</integer>
1712 // CHECK-NEXT: </dict>
1713 // CHECK-NEXT: <dict>
1714 // CHECK-NEXT: <key>line</key><integer>191</integer>
1715 // CHECK-NEXT: <key>col</key><integer>8</integer>
1716 // CHECK-NEXT: <key>file</key><integer>0</integer>
1717 // CHECK-NEXT: </dict>
1718 // CHECK-NEXT: </array>
1719 // CHECK-NEXT: <key>end</key>
1720 // CHECK-NEXT: <array>
1721 // CHECK-NEXT: <dict>
1722 // CHECK-NEXT: <key>line</key><integer>192</integer>
1723 // CHECK-NEXT: <key>col</key><integer>3</integer>
1724 // CHECK-NEXT: <key>file</key><integer>0</integer>
1725 // CHECK-NEXT: </dict>
1726 // CHECK-NEXT: <dict>
1727 // CHECK-NEXT: <key>line</key><integer>192</integer>
1728 // CHECK-NEXT: <key>col</key><integer>3</integer>
1729 // CHECK-NEXT: <key>file</key><integer>0</integer>
1730 // CHECK-NEXT: </dict>
1731 // CHECK-NEXT: </array>
1732 // CHECK-NEXT: </dict>
1733 // CHECK-NEXT: </array>
1734 // CHECK-NEXT: </dict>
1735 // CHECK-NEXT: <dict>
1736 // CHECK-NEXT: <key>kind</key><string>control</string>
1737 // CHECK-NEXT: <key>edges</key>
1738 // CHECK-NEXT: <array>
1739 // CHECK-NEXT: <dict>
1740 // CHECK-NEXT: <key>start</key>
1741 // CHECK-NEXT: <array>
1742 // CHECK-NEXT: <dict>
1743 // CHECK-NEXT: <key>line</key><integer>192</integer>
1744 // CHECK-NEXT: <key>col</key><integer>3</integer>
1745 // CHECK-NEXT: <key>file</key><integer>0</integer>
1746 // CHECK-NEXT: </dict>
1747 // CHECK-NEXT: <dict>
1748 // CHECK-NEXT: <key>line</key><integer>192</integer>
1749 // CHECK-NEXT: <key>col</key><integer>3</integer>
1750 // CHECK-NEXT: <key>file</key><integer>0</integer>
1751 // CHECK-NEXT: </dict>
1752 // CHECK-NEXT: </array>
1753 // CHECK-NEXT: <key>end</key>
1754 // CHECK-NEXT: <array>
1755 // CHECK-NEXT: <dict>
1756 // CHECK-NEXT: <key>line</key><integer>192</integer>
1757 // CHECK-NEXT: <key>col</key><integer>6</integer>
1758 // CHECK-NEXT: <key>file</key><integer>0</integer>
1759 // CHECK-NEXT: </dict>
1760 // CHECK-NEXT: <dict>
1761 // CHECK-NEXT: <key>line</key><integer>192</integer>
1762 // CHECK-NEXT: <key>col</key><integer>6</integer>
1763 // CHECK-NEXT: <key>file</key><integer>0</integer>
1764 // CHECK-NEXT: </dict>
1765 // CHECK-NEXT: </array>
1766 // CHECK-NEXT: </dict>
1767 // CHECK-NEXT: </array>
1768 // CHECK-NEXT: </dict>
1769 // CHECK-NEXT: <dict>
1770 // CHECK-NEXT: <key>kind</key><string>event</string>
1771 // CHECK-NEXT: <key>location</key>
1772 // CHECK-NEXT: <dict>
1773 // CHECK-NEXT: <key>line</key><integer>192</integer>
1774 // CHECK-NEXT: <key>col</key><integer>6</integer>
1775 // CHECK-NEXT: <key>file</key><integer>0</integer>
1776 // CHECK-NEXT: </dict>
1777 // CHECK-NEXT: <key>ranges</key>
1778 // CHECK-NEXT: <array>
1779 // CHECK-NEXT: <array>
1780 // CHECK-NEXT: <dict>
1781 // CHECK-NEXT: <key>line</key><integer>192</integer>
1782 // CHECK-NEXT: <key>col</key><integer>4</integer>
1783 // CHECK-NEXT: <key>file</key><integer>0</integer>
1784 // CHECK-NEXT: </dict>
1785 // CHECK-NEXT: <dict>
1786 // CHECK-NEXT: <key>line</key><integer>192</integer>
1787 // CHECK-NEXT: <key>col</key><integer>4</integer>
1788 // CHECK-NEXT: <key>file</key><integer>0</integer>
1789 // CHECK-NEXT: </dict>
1790 // CHECK-NEXT: </array>
1791 // CHECK-NEXT: </array>
1792 // CHECK-NEXT: <key>depth</key><integer>2</integer>
1793 // CHECK-NEXT: <key>extended_message</key>
1794 // CHECK-NEXT: <string>Dereference of null pointer (loaded from variable 'p')</string>
1795 // CHECK-NEXT: <key>message</key>
1796 // CHECK-NEXT: <string>Dereference of null pointer (loaded from variable 'p')</string>
1797 // CHECK-NEXT: </dict>
1798 // CHECK-NEXT: </array>
1799 // CHECK-NEXT: <key>description</key><string>Dereference of null pointer (loaded from variable 'p')</string>
1800 // CHECK-NEXT: <key>category</key><string>Logic error</string>
1801 // CHECK-NEXT: <key>type</key><string>Dereference of null pointer</string>
1802 // CHECK-NEXT: <key>check_name</key><string>core.NullDereference</string>
1803 // CHECK-NEXT: <!-- This hash is experimental and going to change! -->
1804 // CHECK-NEXT: <key>issue_hash_content_of_line_in_context</key><string>5d3f4c433004c7a6d4a06aa30cc3ea85</string>
1805 // CHECK-NEXT: <key>location</key>
1806 // CHECK-NEXT: <dict>
1807 // CHECK-NEXT: <key>line</key><integer>192</integer>
1808 // CHECK-NEXT: <key>col</key><integer>6</integer>
1809 // CHECK-NEXT: <key>file</key><integer>0</integer>
1810 // CHECK-NEXT: </dict>
1811 // CHECK-NEXT: </dict>
1812 // CHECK-NEXT: <dict>
1813 // CHECK-NEXT: <key>path</key>
1814 // CHECK-NEXT: <array>
1815 // CHECK-NEXT: <dict>
1816 // CHECK-NEXT: <key>kind</key><string>control</string>
1817 // CHECK-NEXT: <key>edges</key>
1818 // CHECK-NEXT: <array>
1819 // CHECK-NEXT: <dict>
1820 // CHECK-NEXT: <key>start</key>
1821 // CHECK-NEXT: <array>
1822 // CHECK-NEXT: <dict>
1823 // CHECK-NEXT: <key>line</key><integer>199</integer>
1824 // CHECK-NEXT: <key>col</key><integer>3</integer>
1825 // CHECK-NEXT: <key>file</key><integer>0</integer>
1826 // CHECK-NEXT: </dict>
1827 // CHECK-NEXT: <dict>
1828 // CHECK-NEXT: <key>line</key><integer>199</integer>
1829 // CHECK-NEXT: <key>col</key><integer>8</integer>
1830 // CHECK-NEXT: <key>file</key><integer>0</integer>
1831 // CHECK-NEXT: </dict>
1832 // CHECK-NEXT: </array>
1833 // CHECK-NEXT: <key>end</key>
1834 // CHECK-NEXT: <array>
1835 // CHECK-NEXT: <dict>
1836 // CHECK-NEXT: <key>line</key><integer>200</integer>
1837 // CHECK-NEXT: <key>col</key><integer>3</integer>
1838 // CHECK-NEXT: <key>file</key><integer>0</integer>
1839 // CHECK-NEXT: </dict>
1840 // CHECK-NEXT: <dict>
1841 // CHECK-NEXT: <key>line</key><integer>200</integer>
1842 // CHECK-NEXT: <key>col</key><integer>5</integer>
1843 // CHECK-NEXT: <key>file</key><integer>0</integer>
1844 // CHECK-NEXT: </dict>
1845 // CHECK-NEXT: </array>
1846 // CHECK-NEXT: </dict>
1847 // CHECK-NEXT: </array>
1848 // CHECK-NEXT: </dict>
1849 // CHECK-NEXT: <dict>
1850 // CHECK-NEXT: <key>kind</key><string>event</string>
1851 // CHECK-NEXT: <key>location</key>
1852 // CHECK-NEXT: <dict>
1853 // CHECK-NEXT: <key>line</key><integer>200</integer>
1854 // CHECK-NEXT: <key>col</key><integer>3</integer>
1855 // CHECK-NEXT: <key>file</key><integer>0</integer>
1856 // CHECK-NEXT: </dict>
1857 // CHECK-NEXT: <key>ranges</key>
1858 // CHECK-NEXT: <array>
1859 // CHECK-NEXT: <array>
1860 // CHECK-NEXT: <dict>
1861 // CHECK-NEXT: <key>line</key><integer>200</integer>
1862 // CHECK-NEXT: <key>col</key><integer>3</integer>
1863 // CHECK-NEXT: <key>file</key><integer>0</integer>
1864 // CHECK-NEXT: </dict>
1865 // CHECK-NEXT: <dict>
1866 // CHECK-NEXT: <key>line</key><integer>200</integer>
1867 // CHECK-NEXT: <key>col</key><integer>8</integer>
1868 // CHECK-NEXT: <key>file</key><integer>0</integer>
1869 // CHECK-NEXT: </dict>
1870 // CHECK-NEXT: </array>
1871 // CHECK-NEXT: </array>
1872 // CHECK-NEXT: <key>depth</key><integer>0</integer>
1873 // CHECK-NEXT: <key>extended_message</key>
1874 // CHECK-NEXT: <string>'p' initialized to a null pointer value</string>
1875 // CHECK-NEXT: <key>message</key>
1876 // CHECK-NEXT: <string>'p' initialized to a null pointer value</string>
1877 // CHECK-NEXT: </dict>
1878 // CHECK-NEXT: <dict>
1879 // CHECK-NEXT: <key>kind</key><string>control</string>
1880 // CHECK-NEXT: <key>edges</key>
1881 // CHECK-NEXT: <array>
1882 // CHECK-NEXT: <dict>
1883 // CHECK-NEXT: <key>start</key>
1884 // CHECK-NEXT: <array>
1885 // CHECK-NEXT: <dict>
1886 // CHECK-NEXT: <key>line</key><integer>200</integer>
1887 // CHECK-NEXT: <key>col</key><integer>3</integer>
1888 // CHECK-NEXT: <key>file</key><integer>0</integer>
1889 // CHECK-NEXT: </dict>
1890 // CHECK-NEXT: <dict>
1891 // CHECK-NEXT: <key>line</key><integer>200</integer>
1892 // CHECK-NEXT: <key>col</key><integer>5</integer>
1893 // CHECK-NEXT: <key>file</key><integer>0</integer>
1894 // CHECK-NEXT: </dict>
1895 // CHECK-NEXT: </array>
1896 // CHECK-NEXT: <key>end</key>
1897 // CHECK-NEXT: <array>
1898 // CHECK-NEXT: <dict>
1899 // CHECK-NEXT: <key>line</key><integer>201</integer>
1900 // CHECK-NEXT: <key>col</key><integer>24</integer>
1901 // CHECK-NEXT: <key>file</key><integer>0</integer>
1902 // CHECK-NEXT: </dict>
1903 // CHECK-NEXT: <dict>
1904 // CHECK-NEXT: <key>line</key><integer>201</integer>
1905 // CHECK-NEXT: <key>col</key><integer>24</integer>
1906 // CHECK-NEXT: <key>file</key><integer>0</integer>
1907 // CHECK-NEXT: </dict>
1908 // CHECK-NEXT: </array>
1909 // CHECK-NEXT: </dict>
1910 // CHECK-NEXT: </array>
1911 // CHECK-NEXT: </dict>
1912 // CHECK-NEXT: <dict>
1913 // CHECK-NEXT: <key>kind</key><string>event</string>
1914 // CHECK-NEXT: <key>location</key>
1915 // CHECK-NEXT: <dict>
1916 // CHECK-NEXT: <key>line</key><integer>201</integer>
1917 // CHECK-NEXT: <key>col</key><integer>24</integer>
1918 // CHECK-NEXT: <key>file</key><integer>0</integer>
1919 // CHECK-NEXT: </dict>
1920 // CHECK-NEXT: <key>ranges</key>
1921 // CHECK-NEXT: <array>
1922 // CHECK-NEXT: <array>
1923 // CHECK-NEXT: <dict>
1924 // CHECK-NEXT: <key>line</key><integer>201</integer>
1925 // CHECK-NEXT: <key>col</key><integer>24</integer>
1926 // CHECK-NEXT: <key>file</key><integer>0</integer>
1927 // CHECK-NEXT: </dict>
1928 // CHECK-NEXT: <dict>
1929 // CHECK-NEXT: <key>line</key><integer>203</integer>
1930 // CHECK-NEXT: <key>col</key><integer>3</integer>
1931 // CHECK-NEXT: <key>file</key><integer>0</integer>
1932 // CHECK-NEXT: </dict>
1933 // CHECK-NEXT: </array>
1934 // CHECK-NEXT: </array>
1935 // CHECK-NEXT: <key>depth</key><integer>0</integer>
1936 // CHECK-NEXT: <key>extended_message</key>
1937 // CHECK-NEXT: <string>'p' captured by block as a null pointer value</string>
1938 // CHECK-NEXT: <key>message</key>
1939 // CHECK-NEXT: <string>'p' captured by block as a null pointer value</string>
1940 // CHECK-NEXT: </dict>
1941 // CHECK-NEXT: <dict>
1942 // CHECK-NEXT: <key>kind</key><string>event</string>
1943 // CHECK-NEXT: <key>location</key>
1944 // CHECK-NEXT: <dict>
1945 // CHECK-NEXT: <key>line</key><integer>201</integer>
1946 // CHECK-NEXT: <key>col</key><integer>3</integer>
1947 // CHECK-NEXT: <key>file</key><integer>0</integer>
1948 // CHECK-NEXT: </dict>
1949 // CHECK-NEXT: <key>ranges</key>
1950 // CHECK-NEXT: <array>
1951 // CHECK-NEXT: <array>
1952 // CHECK-NEXT: <dict>
1953 // CHECK-NEXT: <key>line</key><integer>201</integer>
1954 // CHECK-NEXT: <key>col</key><integer>3</integer>
1955 // CHECK-NEXT: <key>file</key><integer>0</integer>
1956 // CHECK-NEXT: </dict>
1957 // CHECK-NEXT: <dict>
1958 // CHECK-NEXT: <key>line</key><integer>203</integer>
1959 // CHECK-NEXT: <key>col</key><integer>4</integer>
1960 // CHECK-NEXT: <key>file</key><integer>0</integer>
1961 // CHECK-NEXT: </dict>
1962 // CHECK-NEXT: </array>
1963 // CHECK-NEXT: </array>
1964 // CHECK-NEXT: <key>depth</key><integer>0</integer>
1965 // CHECK-NEXT: <key>extended_message</key>
1966 // CHECK-NEXT: <string>Calling '_dispatch_once'</string>
1967 // CHECK-NEXT: <key>message</key>
1968 // CHECK-NEXT: <string>Calling '_dispatch_once'</string>
1969 // CHECK-NEXT: </dict>
1970 // CHECK-NEXT: <dict>
1971 // CHECK-NEXT: <key>kind</key><string>event</string>
1972 // CHECK-NEXT: <key>location</key>
1973 // CHECK-NEXT: <dict>
1974 // CHECK-NEXT: <key>line</key><integer>175</integer>
1975 // CHECK-NEXT: <key>col</key><integer>1</integer>
1976 // CHECK-NEXT: <key>file</key><integer>0</integer>
1977 // CHECK-NEXT: </dict>
1978 // CHECK-NEXT: <key>depth</key><integer>1</integer>
1979 // CHECK-NEXT: <key>extended_message</key>
1980 // CHECK-NEXT: <string>Entered call from 'test_inline_dispatch_once'</string>
1981 // CHECK-NEXT: <key>message</key>
1982 // CHECK-NEXT: <string>Entered call from 'test_inline_dispatch_once'</string>
1983 // CHECK-NEXT: </dict>
1984 // CHECK-NEXT: <dict>
1985 // CHECK-NEXT: <key>kind</key><string>control</string>
1986 // CHECK-NEXT: <key>edges</key>
1987 // CHECK-NEXT: <array>
1988 // CHECK-NEXT: <dict>
1989 // CHECK-NEXT: <key>start</key>
1990 // CHECK-NEXT: <array>
1991 // CHECK-NEXT: <dict>
1992 // CHECK-NEXT: <key>line</key><integer>175</integer>
1993 // CHECK-NEXT: <key>col</key><integer>1</integer>
1994 // CHECK-NEXT: <key>file</key><integer>0</integer>
1995 // CHECK-NEXT: </dict>
1996 // CHECK-NEXT: <dict>
1997 // CHECK-NEXT: <key>line</key><integer>175</integer>
1998 // CHECK-NEXT: <key>col</key><integer>6</integer>
1999 // CHECK-NEXT: <key>file</key><integer>0</integer>
2000 // CHECK-NEXT: </dict>
2001 // CHECK-NEXT: </array>
2002 // CHECK-NEXT: <key>end</key>
2003 // CHECK-NEXT: <array>
2004 // CHECK-NEXT: <dict>
2005 // CHECK-NEXT: <key>line</key><integer>177</integer>
2006 // CHECK-NEXT: <key>col</key><integer>3</integer>
2007 // CHECK-NEXT: <key>file</key><integer>0</integer>
2008 // CHECK-NEXT: </dict>
2009 // CHECK-NEXT: <dict>
2010 // CHECK-NEXT: <key>line</key><integer>177</integer>
2011 // CHECK-NEXT: <key>col</key><integer>15</integer>
2012 // CHECK-NEXT: <key>file</key><integer>0</integer>
2013 // CHECK-NEXT: </dict>
2014 // CHECK-NEXT: </array>
2015 // CHECK-NEXT: </dict>
2016 // CHECK-NEXT: </array>
2017 // CHECK-NEXT: </dict>
2018 // CHECK-NEXT: <dict>
2019 // CHECK-NEXT: <key>kind</key><string>event</string>
2020 // CHECK-NEXT: <key>location</key>
2021 // CHECK-NEXT: <dict>
2022 // CHECK-NEXT: <key>line</key><integer>177</integer>
2023 // CHECK-NEXT: <key>col</key><integer>3</integer>
2024 // CHECK-NEXT: <key>file</key><integer>0</integer>
2025 // CHECK-NEXT: </dict>
2026 // CHECK-NEXT: <key>ranges</key>
2027 // CHECK-NEXT: <array>
2028 // CHECK-NEXT: <array>
2029 // CHECK-NEXT: <dict>
2030 // CHECK-NEXT: <key>line</key><integer>177</integer>
2031 // CHECK-NEXT: <key>col</key><integer>3</integer>
2032 // CHECK-NEXT: <key>file</key><integer>0</integer>
2033 // CHECK-NEXT: </dict>
2034 // CHECK-NEXT: <dict>
2035 // CHECK-NEXT: <key>line</key><integer>177</integer>
2036 // CHECK-NEXT: <key>col</key><integer>33</integer>
2037 // CHECK-NEXT: <key>file</key><integer>0</integer>
2038 // CHECK-NEXT: </dict>
2039 // CHECK-NEXT: </array>
2040 // CHECK-NEXT: </array>
2041 // CHECK-NEXT: <key>depth</key><integer>1</integer>
2042 // CHECK-NEXT: <key>extended_message</key>
2043 // CHECK-NEXT: <string>Calling 'dispatch_once'</string>
2044 // CHECK-NEXT: <key>message</key>
2045 // CHECK-NEXT: <string>Calling 'dispatch_once'</string>
2046 // CHECK-NEXT: </dict>
2047 // CHECK-NEXT: <dict>
2048 // CHECK-NEXT: <key>kind</key><string>event</string>
2049 // CHECK-NEXT: <key>location</key>
2050 // CHECK-NEXT: <dict>
2051 // CHECK-NEXT: <key>line</key><integer>177</integer>
2052 // CHECK-NEXT: <key>col</key><integer>3</integer>
2053 // CHECK-NEXT: <key>file</key><integer>0</integer>
2054 // CHECK-NEXT: </dict>
2055 // CHECK-NEXT: <key>ranges</key>
2056 // CHECK-NEXT: <array>
2057 // CHECK-NEXT: <array>
2058 // CHECK-NEXT: <dict>
2059 // CHECK-NEXT: <key>line</key><integer>177</integer>
2060 // CHECK-NEXT: <key>col</key><integer>3</integer>
2061 // CHECK-NEXT: <key>file</key><integer>0</integer>
2062 // CHECK-NEXT: </dict>
2063 // CHECK-NEXT: <dict>
2064 // CHECK-NEXT: <key>line</key><integer>177</integer>
2065 // CHECK-NEXT: <key>col</key><integer>33</integer>
2066 // CHECK-NEXT: <key>file</key><integer>0</integer>
2067 // CHECK-NEXT: </dict>
2068 // CHECK-NEXT: </array>
2069 // CHECK-NEXT: </array>
2070 // CHECK-NEXT: <key>depth</key><integer>2</integer>
2071 // CHECK-NEXT: <key>extended_message</key>
2072 // CHECK-NEXT: <string>Calling anonymous block</string>
2073 // CHECK-NEXT: <key>message</key>
2074 // CHECK-NEXT: <string>Calling anonymous block</string>
2075 // CHECK-NEXT: </dict>
2076 // CHECK-NEXT: <dict>
2077 // CHECK-NEXT: <key>kind</key><string>event</string>
2078 // CHECK-NEXT: <key>location</key>
2079 // CHECK-NEXT: <dict>
2080 // CHECK-NEXT: <key>line</key><integer>201</integer>
2081 // CHECK-NEXT: <key>col</key><integer>24</integer>
2082 // CHECK-NEXT: <key>file</key><integer>0</integer>
2083 // CHECK-NEXT: </dict>
2084 // CHECK-NEXT: <key>depth</key><integer>3</integer>
2085 // CHECK-NEXT: <key>extended_message</key>
2086 // CHECK-NEXT: <string>Entered call from 'dispatch_once'</string>
2087 // CHECK-NEXT: <key>message</key>
2088 // CHECK-NEXT: <string>Entered call from 'dispatch_once'</string>
2089 // CHECK-NEXT: </dict>
2090 // CHECK-NEXT: <dict>
2091 // CHECK-NEXT: <key>kind</key><string>control</string>
2092 // CHECK-NEXT: <key>edges</key>
2093 // CHECK-NEXT: <array>
2094 // CHECK-NEXT: <dict>
2095 // CHECK-NEXT: <key>start</key>
2096 // CHECK-NEXT: <array>
2097 // CHECK-NEXT: <dict>
2098 // CHECK-NEXT: <key>line</key><integer>201</integer>
2099 // CHECK-NEXT: <key>col</key><integer>24</integer>
2100 // CHECK-NEXT: <key>file</key><integer>0</integer>
2101 // CHECK-NEXT: </dict>
2102 // CHECK-NEXT: <dict>
2103 // CHECK-NEXT: <key>line</key><integer>201</integer>
2104 // CHECK-NEXT: <key>col</key><integer>24</integer>
2105 // CHECK-NEXT: <key>file</key><integer>0</integer>
2106 // CHECK-NEXT: </dict>
2107 // CHECK-NEXT: </array>
2108 // CHECK-NEXT: <key>end</key>
2109 // CHECK-NEXT: <array>
2110 // CHECK-NEXT: <dict>
2111 // CHECK-NEXT: <key>line</key><integer>202</integer>
2112 // CHECK-NEXT: <key>col</key><integer>4</integer>
2113 // CHECK-NEXT: <key>file</key><integer>0</integer>
2114 // CHECK-NEXT: </dict>
2115 // CHECK-NEXT: <dict>
2116 // CHECK-NEXT: <key>line</key><integer>202</integer>
2117 // CHECK-NEXT: <key>col</key><integer>4</integer>
2118 // CHECK-NEXT: <key>file</key><integer>0</integer>
2119 // CHECK-NEXT: </dict>
2120 // CHECK-NEXT: </array>
2121 // CHECK-NEXT: </dict>
2122 // CHECK-NEXT: </array>
2123 // CHECK-NEXT: </dict>
2124 // CHECK-NEXT: <dict>
2125 // CHECK-NEXT: <key>kind</key><string>control</string>
2126 // CHECK-NEXT: <key>edges</key>
2127 // CHECK-NEXT: <array>
2128 // CHECK-NEXT: <dict>
2129 // CHECK-NEXT: <key>start</key>
2130 // CHECK-NEXT: <array>
2131 // CHECK-NEXT: <dict>
2132 // CHECK-NEXT: <key>line</key><integer>202</integer>
2133 // CHECK-NEXT: <key>col</key><integer>4</integer>
2134 // CHECK-NEXT: <key>file</key><integer>0</integer>
2135 // CHECK-NEXT: </dict>
2136 // CHECK-NEXT: <dict>
2137 // CHECK-NEXT: <key>line</key><integer>202</integer>
2138 // CHECK-NEXT: <key>col</key><integer>4</integer>
2139 // CHECK-NEXT: <key>file</key><integer>0</integer>
2140 // CHECK-NEXT: </dict>
2141 // CHECK-NEXT: </array>
2142 // CHECK-NEXT: <key>end</key>
2143 // CHECK-NEXT: <array>
2144 // CHECK-NEXT: <dict>
2145 // CHECK-NEXT: <key>line</key><integer>202</integer>
2146 // CHECK-NEXT: <key>col</key><integer>7</integer>
2147 // CHECK-NEXT: <key>file</key><integer>0</integer>
2148 // CHECK-NEXT: </dict>
2149 // CHECK-NEXT: <dict>
2150 // CHECK-NEXT: <key>line</key><integer>202</integer>
2151 // CHECK-NEXT: <key>col</key><integer>7</integer>
2152 // CHECK-NEXT: <key>file</key><integer>0</integer>
2153 // CHECK-NEXT: </dict>
2154 // CHECK-NEXT: </array>
2155 // CHECK-NEXT: </dict>
2156 // CHECK-NEXT: </array>
2157 // CHECK-NEXT: </dict>
2158 // CHECK-NEXT: <dict>
2159 // CHECK-NEXT: <key>kind</key><string>event</string>
2160 // CHECK-NEXT: <key>location</key>
2161 // CHECK-NEXT: <dict>
2162 // CHECK-NEXT: <key>line</key><integer>202</integer>
2163 // CHECK-NEXT: <key>col</key><integer>7</integer>
2164 // CHECK-NEXT: <key>file</key><integer>0</integer>
2165 // CHECK-NEXT: </dict>
2166 // CHECK-NEXT: <key>ranges</key>
2167 // CHECK-NEXT: <array>
2168 // CHECK-NEXT: <array>
2169 // CHECK-NEXT: <dict>
2170 // CHECK-NEXT: <key>line</key><integer>202</integer>
2171 // CHECK-NEXT: <key>col</key><integer>5</integer>
2172 // CHECK-NEXT: <key>file</key><integer>0</integer>
2173 // CHECK-NEXT: </dict>
2174 // CHECK-NEXT: <dict>
2175 // CHECK-NEXT: <key>line</key><integer>202</integer>
2176 // CHECK-NEXT: <key>col</key><integer>5</integer>
2177 // CHECK-NEXT: <key>file</key><integer>0</integer>
2178 // CHECK-NEXT: </dict>
2179 // CHECK-NEXT: </array>
2180 // CHECK-NEXT: </array>
2181 // CHECK-NEXT: <key>depth</key><integer>3</integer>
2182 // CHECK-NEXT: <key>extended_message</key>
2183 // CHECK-NEXT: <string>Dereference of null pointer (loaded from variable 'p')</string>
2184 // CHECK-NEXT: <key>message</key>
2185 // CHECK-NEXT: <string>Dereference of null pointer (loaded from variable 'p')</string>
2186 // CHECK-NEXT: </dict>
2187 // CHECK-NEXT: </array>
2188 // CHECK-NEXT: <key>description</key><string>Dereference of null pointer (loaded from variable 'p')</string>
2189 // CHECK-NEXT: <key>category</key><string>Logic error</string>
2190 // CHECK-NEXT: <key>type</key><string>Dereference of null pointer</string>
2191 // CHECK-NEXT: <key>check_name</key><string>core.NullDereference</string>
2192 // CHECK-NEXT: <!-- This hash is experimental and going to change! -->
2193 // CHECK-NEXT: <key>issue_hash_content_of_line_in_context</key><string>265c4fd608dafee211bfa93d21c28866</string>
2194 // CHECK-NEXT: <key>location</key>
2195 // CHECK-NEXT: <dict>
2196 // CHECK-NEXT: <key>line</key><integer>202</integer>
2197 // CHECK-NEXT: <key>col</key><integer>7</integer>
2198 // CHECK-NEXT: <key>file</key><integer>0</integer>
2199 // CHECK-NEXT: </dict>
2200 // CHECK-NEXT: </dict>
2201 // CHECK-NEXT: </array>
2202