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