1 // RUN: %clang --analyze %s -fblocks -o %t 2 // RUN: FileCheck -input-file %t %s 3 4 // <rdar://problem/10967815> 5 void mmm(int y) { 6 if (y != 0) 7 y++; 8 } 9 10 int foo(int x, int y) { 11 mmm(y); 12 if (x != 0) 13 x++; 14 return 5/x; 15 } 16 17 // Test a bug triggering only when inlined. 18 void has_bug(int *p) { 19 *p = 0xDEADBEEF; 20 } 21 22 void test_has_bug() { 23 has_bug(0); 24 } 25 26 void triggers_bug(int *p) { 27 *p = 0xDEADBEEF; 28 } 29 30 // This function triggers a bug by calling triggers_bug(). The diagnostics 31 // should show when p is assumed to be null. 32 void bar(int *p) { 33 if (!!p) 34 return; 35 36 if (p == 0) 37 triggers_bug(p); 38 } 39 40 // ========================================================================== // 41 // Test inlining of blocks. 42 // ========================================================================== // 43 44 void test_block__capture_null() { 45 int *p = 0; 46 ^(){ *p = 1; }(); 47 } 48 49 void test_block_ret() { 50 int *p = ^(){ int *q = 0; return q; }(); 51 *p = 1; 52 } 53 54 void test_block_blockvar() { 55 __block int *p; 56 ^(){ p = 0; }(); 57 *p = 1; 58 } 59 60 void test_block_arg() { 61 int *p; 62 ^(int **q){ *q = 0; }(&p); 63 *p = 1; 64 } 65 66 // CHECK: <key>diagnostics</key> 67 // CHECK-NEXT: <array> 68 // CHECK-NEXT: <dict> 69 // CHECK-NEXT: <key>path</key> 70 // CHECK-NEXT: <array> 71 // CHECK-NEXT: <dict> 72 // CHECK-NEXT: <key>kind</key><string>control</string> 73 // CHECK-NEXT: <key>edges</key> 74 // CHECK-NEXT: <array> 75 // CHECK-NEXT: <dict> 76 // CHECK-NEXT: <key>start</key> 77 // CHECK-NEXT: <array> 78 // CHECK-NEXT: <dict> 79 // CHECK-NEXT: <key>line</key><integer>11</integer> 80 // CHECK-NEXT: <key>col</key><integer>5</integer> 81 // CHECK-NEXT: <key>file</key><integer>0</integer> 82 // CHECK-NEXT: </dict> 83 // CHECK-NEXT: <dict> 84 // CHECK-NEXT: <key>line</key><integer>11</integer> 85 // CHECK-NEXT: <key>col</key><integer>7</integer> 86 // CHECK-NEXT: <key>file</key><integer>0</integer> 87 // CHECK-NEXT: </dict> 88 // CHECK-NEXT: </array> 89 // CHECK-NEXT: <key>end</key> 90 // CHECK-NEXT: <array> 91 // CHECK-NEXT: <dict> 92 // CHECK-NEXT: <key>line</key><integer>12</integer> 93 // CHECK-NEXT: <key>col</key><integer>5</integer> 94 // CHECK-NEXT: <key>file</key><integer>0</integer> 95 // CHECK-NEXT: </dict> 96 // CHECK-NEXT: <dict> 97 // CHECK-NEXT: <key>line</key><integer>12</integer> 98 // CHECK-NEXT: <key>col</key><integer>6</integer> 99 // CHECK-NEXT: <key>file</key><integer>0</integer> 100 // CHECK-NEXT: </dict> 101 // CHECK-NEXT: </array> 102 // CHECK-NEXT: </dict> 103 // CHECK-NEXT: </array> 104 // CHECK-NEXT: </dict> 105 // CHECK-NEXT: <dict> 106 // CHECK-NEXT: <key>kind</key><string>control</string> 107 // CHECK-NEXT: <key>edges</key> 108 // CHECK-NEXT: <array> 109 // CHECK-NEXT: <dict> 110 // CHECK-NEXT: <key>start</key> 111 // CHECK-NEXT: <array> 112 // CHECK-NEXT: <dict> 113 // CHECK-NEXT: <key>line</key><integer>12</integer> 114 // CHECK-NEXT: <key>col</key><integer>5</integer> 115 // CHECK-NEXT: <key>file</key><integer>0</integer> 116 // CHECK-NEXT: </dict> 117 // CHECK-NEXT: <dict> 118 // CHECK-NEXT: <key>line</key><integer>12</integer> 119 // CHECK-NEXT: <key>col</key><integer>6</integer> 120 // CHECK-NEXT: <key>file</key><integer>0</integer> 121 // CHECK-NEXT: </dict> 122 // CHECK-NEXT: </array> 123 // CHECK-NEXT: <key>end</key> 124 // CHECK-NEXT: <array> 125 // CHECK-NEXT: <dict> 126 // CHECK-NEXT: <key>line</key><integer>12</integer> 127 // CHECK-NEXT: <key>col</key><integer>9</integer> 128 // CHECK-NEXT: <key>file</key><integer>0</integer> 129 // CHECK-NEXT: </dict> 130 // CHECK-NEXT: <dict> 131 // CHECK-NEXT: <key>line</key><integer>12</integer> 132 // CHECK-NEXT: <key>col</key><integer>9</integer> 133 // CHECK-NEXT: <key>file</key><integer>0</integer> 134 // CHECK-NEXT: </dict> 135 // CHECK-NEXT: </array> 136 // CHECK-NEXT: </dict> 137 // CHECK-NEXT: </array> 138 // CHECK-NEXT: </dict> 139 // CHECK-NEXT: <dict> 140 // CHECK-NEXT: <key>kind</key><string>event</string> 141 // CHECK-NEXT: <key>location</key> 142 // CHECK-NEXT: <dict> 143 // CHECK-NEXT: <key>line</key><integer>12</integer> 144 // CHECK-NEXT: <key>col</key><integer>9</integer> 145 // CHECK-NEXT: <key>file</key><integer>0</integer> 146 // CHECK-NEXT: </dict> 147 // CHECK-NEXT: <key>ranges</key> 148 // CHECK-NEXT: <array> 149 // CHECK-NEXT: <array> 150 // CHECK-NEXT: <dict> 151 // CHECK-NEXT: <key>line</key><integer>12</integer> 152 // CHECK-NEXT: <key>col</key><integer>9</integer> 153 // CHECK-NEXT: <key>file</key><integer>0</integer> 154 // CHECK-NEXT: </dict> 155 // CHECK-NEXT: <dict> 156 // CHECK-NEXT: <key>line</key><integer>12</integer> 157 // CHECK-NEXT: <key>col</key><integer>14</integer> 158 // CHECK-NEXT: <key>file</key><integer>0</integer> 159 // CHECK-NEXT: </dict> 160 // CHECK-NEXT: </array> 161 // CHECK-NEXT: </array> 162 // CHECK-NEXT: <key>depth</key><integer>0</integer> 163 // CHECK-NEXT: <key>extended_message</key> 164 // CHECK-NEXT: <string>Assuming 'x' is equal to 0</string> 165 // CHECK-NEXT: <key>message</key> 166 // CHECK-NEXT: <string>Assuming 'x' is equal to 0</string> 167 // CHECK-NEXT: </dict> 168 // CHECK-NEXT: <dict> 169 // CHECK-NEXT: <key>kind</key><string>control</string> 170 // CHECK-NEXT: <key>edges</key> 171 // CHECK-NEXT: <array> 172 // CHECK-NEXT: <dict> 173 // CHECK-NEXT: <key>start</key> 174 // CHECK-NEXT: <array> 175 // CHECK-NEXT: <dict> 176 // CHECK-NEXT: <key>line</key><integer>12</integer> 177 // CHECK-NEXT: <key>col</key><integer>9</integer> 178 // CHECK-NEXT: <key>file</key><integer>0</integer> 179 // CHECK-NEXT: </dict> 180 // CHECK-NEXT: <dict> 181 // CHECK-NEXT: <key>line</key><integer>12</integer> 182 // CHECK-NEXT: <key>col</key><integer>9</integer> 183 // CHECK-NEXT: <key>file</key><integer>0</integer> 184 // CHECK-NEXT: </dict> 185 // CHECK-NEXT: </array> 186 // CHECK-NEXT: <key>end</key> 187 // CHECK-NEXT: <array> 188 // CHECK-NEXT: <dict> 189 // CHECK-NEXT: <key>line</key><integer>14</integer> 190 // CHECK-NEXT: <key>col</key><integer>5</integer> 191 // CHECK-NEXT: <key>file</key><integer>0</integer> 192 // CHECK-NEXT: </dict> 193 // CHECK-NEXT: <dict> 194 // CHECK-NEXT: <key>line</key><integer>14</integer> 195 // CHECK-NEXT: <key>col</key><integer>10</integer> 196 // CHECK-NEXT: <key>file</key><integer>0</integer> 197 // CHECK-NEXT: </dict> 198 // CHECK-NEXT: </array> 199 // CHECK-NEXT: </dict> 200 // CHECK-NEXT: </array> 201 // CHECK-NEXT: </dict> 202 // CHECK-NEXT: <dict> 203 // CHECK-NEXT: <key>kind</key><string>control</string> 204 // CHECK-NEXT: <key>edges</key> 205 // CHECK-NEXT: <array> 206 // CHECK-NEXT: <dict> 207 // CHECK-NEXT: <key>start</key> 208 // CHECK-NEXT: <array> 209 // CHECK-NEXT: <dict> 210 // CHECK-NEXT: <key>line</key><integer>14</integer> 211 // CHECK-NEXT: <key>col</key><integer>5</integer> 212 // CHECK-NEXT: <key>file</key><integer>0</integer> 213 // CHECK-NEXT: </dict> 214 // CHECK-NEXT: <dict> 215 // CHECK-NEXT: <key>line</key><integer>14</integer> 216 // CHECK-NEXT: <key>col</key><integer>10</integer> 217 // CHECK-NEXT: <key>file</key><integer>0</integer> 218 // CHECK-NEXT: </dict> 219 // CHECK-NEXT: </array> 220 // CHECK-NEXT: <key>end</key> 221 // CHECK-NEXT: <array> 222 // CHECK-NEXT: <dict> 223 // CHECK-NEXT: <key>line</key><integer>14</integer> 224 // CHECK-NEXT: <key>col</key><integer>12</integer> 225 // CHECK-NEXT: <key>file</key><integer>0</integer> 226 // CHECK-NEXT: </dict> 227 // CHECK-NEXT: <dict> 228 // CHECK-NEXT: <key>line</key><integer>14</integer> 229 // CHECK-NEXT: <key>col</key><integer>12</integer> 230 // CHECK-NEXT: <key>file</key><integer>0</integer> 231 // CHECK-NEXT: </dict> 232 // CHECK-NEXT: </array> 233 // CHECK-NEXT: </dict> 234 // CHECK-NEXT: </array> 235 // CHECK-NEXT: </dict> 236 // CHECK-NEXT: <dict> 237 // CHECK-NEXT: <key>kind</key><string>event</string> 238 // CHECK-NEXT: <key>location</key> 239 // CHECK-NEXT: <dict> 240 // CHECK-NEXT: <key>line</key><integer>14</integer> 241 // CHECK-NEXT: <key>col</key><integer>12</integer> 242 // CHECK-NEXT: <key>file</key><integer>0</integer> 243 // CHECK-NEXT: </dict> 244 // CHECK-NEXT: <key>ranges</key> 245 // CHECK-NEXT: <array> 246 // CHECK-NEXT: <array> 247 // CHECK-NEXT: <dict> 248 // CHECK-NEXT: <key>line</key><integer>14</integer> 249 // CHECK-NEXT: <key>col</key><integer>12</integer> 250 // CHECK-NEXT: <key>file</key><integer>0</integer> 251 // CHECK-NEXT: </dict> 252 // CHECK-NEXT: <dict> 253 // CHECK-NEXT: <key>line</key><integer>14</integer> 254 // CHECK-NEXT: <key>col</key><integer>14</integer> 255 // CHECK-NEXT: <key>file</key><integer>0</integer> 256 // CHECK-NEXT: </dict> 257 // CHECK-NEXT: </array> 258 // CHECK-NEXT: </array> 259 // CHECK-NEXT: <key>depth</key><integer>0</integer> 260 // CHECK-NEXT: <key>extended_message</key> 261 // CHECK-NEXT: <string>Division by zero</string> 262 // CHECK-NEXT: <key>message</key> 263 // CHECK-NEXT: <string>Division by zero</string> 264 // CHECK-NEXT: </dict> 265 // CHECK-NEXT: </array> 266 // CHECK-NEXT: <key>description</key><string>Division by zero</string> 267 // CHECK-NEXT: <key>category</key><string>Logic error</string> 268 // CHECK-NEXT: <key>type</key><string>Division by zero</string> 269 // CHECK-NEXT: <key>issue_context_kind</key><string>function</string> 270 // CHECK-NEXT: <key>issue_context</key><string>foo</string> 271 // CHECK-NEXT: <key>issue_hash</key><integer>4</integer> 272 // CHECK-NEXT: <key>location</key> 273 // CHECK-NEXT: <dict> 274 // CHECK-NEXT: <key>line</key><integer>14</integer> 275 // CHECK-NEXT: <key>col</key><integer>12</integer> 276 // CHECK-NEXT: <key>file</key><integer>0</integer> 277 // CHECK-NEXT: </dict> 278 // CHECK-NEXT: </dict> 279 // CHECK-NEXT: <dict> 280 // CHECK-NEXT: <key>path</key> 281 // CHECK-NEXT: <array> 282 // CHECK-NEXT: <dict> 283 // CHECK-NEXT: <key>kind</key><string>event</string> 284 // CHECK-NEXT: <key>location</key> 285 // CHECK-NEXT: <dict> 286 // CHECK-NEXT: <key>line</key><integer>23</integer> 287 // CHECK-NEXT: <key>col</key><integer>3</integer> 288 // CHECK-NEXT: <key>file</key><integer>0</integer> 289 // CHECK-NEXT: </dict> 290 // CHECK-NEXT: <key>ranges</key> 291 // CHECK-NEXT: <array> 292 // CHECK-NEXT: <array> 293 // CHECK-NEXT: <dict> 294 // CHECK-NEXT: <key>line</key><integer>23</integer> 295 // CHECK-NEXT: <key>col</key><integer>3</integer> 296 // CHECK-NEXT: <key>file</key><integer>0</integer> 297 // CHECK-NEXT: </dict> 298 // CHECK-NEXT: <dict> 299 // CHECK-NEXT: <key>line</key><integer>23</integer> 300 // CHECK-NEXT: <key>col</key><integer>12</integer> 301 // CHECK-NEXT: <key>file</key><integer>0</integer> 302 // CHECK-NEXT: </dict> 303 // CHECK-NEXT: </array> 304 // CHECK-NEXT: </array> 305 // CHECK-NEXT: <key>depth</key><integer>0</integer> 306 // CHECK-NEXT: <key>extended_message</key> 307 // CHECK-NEXT: <string>Null pointer value stored to 'p'</string> 308 // CHECK-NEXT: <key>message</key> 309 // CHECK-NEXT: <string>Null pointer value stored to 'p'</string> 310 // CHECK-NEXT: </dict> 311 // CHECK-NEXT: <dict> 312 // CHECK-NEXT: <key>kind</key><string>event</string> 313 // CHECK-NEXT: <key>location</key> 314 // CHECK-NEXT: <dict> 315 // CHECK-NEXT: <key>line</key><integer>23</integer> 316 // CHECK-NEXT: <key>col</key><integer>3</integer> 317 // CHECK-NEXT: <key>file</key><integer>0</integer> 318 // CHECK-NEXT: </dict> 319 // CHECK-NEXT: <key>ranges</key> 320 // CHECK-NEXT: <array> 321 // CHECK-NEXT: <array> 322 // CHECK-NEXT: <dict> 323 // CHECK-NEXT: <key>line</key><integer>23</integer> 324 // CHECK-NEXT: <key>col</key><integer>3</integer> 325 // CHECK-NEXT: <key>file</key><integer>0</integer> 326 // CHECK-NEXT: </dict> 327 // CHECK-NEXT: <dict> 328 // CHECK-NEXT: <key>line</key><integer>23</integer> 329 // CHECK-NEXT: <key>col</key><integer>12</integer> 330 // CHECK-NEXT: <key>file</key><integer>0</integer> 331 // CHECK-NEXT: </dict> 332 // CHECK-NEXT: </array> 333 // CHECK-NEXT: </array> 334 // CHECK-NEXT: <key>depth</key><integer>0</integer> 335 // CHECK-NEXT: <key>extended_message</key> 336 // CHECK-NEXT: <string>Calling 'has_bug'</string> 337 // CHECK-NEXT: <key>message</key> 338 // CHECK-NEXT: <string>Calling 'has_bug'</string> 339 // CHECK-NEXT: </dict> 340 // CHECK-NEXT: <dict> 341 // CHECK-NEXT: <key>kind</key><string>event</string> 342 // CHECK-NEXT: <key>location</key> 343 // CHECK-NEXT: <dict> 344 // CHECK-NEXT: <key>line</key><integer>18</integer> 345 // CHECK-NEXT: <key>col</key><integer>1</integer> 346 // CHECK-NEXT: <key>file</key><integer>0</integer> 347 // CHECK-NEXT: </dict> 348 // CHECK-NEXT: <key>depth</key><integer>1</integer> 349 // CHECK-NEXT: <key>extended_message</key> 350 // CHECK-NEXT: <string>Entered call from 'test_has_bug'</string> 351 // CHECK-NEXT: <key>message</key> 352 // CHECK-NEXT: <string>Entered call from 'test_has_bug'</string> 353 // CHECK-NEXT: </dict> 354 // CHECK-NEXT: <dict> 355 // CHECK-NEXT: <key>kind</key><string>control</string> 356 // CHECK-NEXT: <key>edges</key> 357 // CHECK-NEXT: <array> 358 // CHECK-NEXT: <dict> 359 // CHECK-NEXT: <key>start</key> 360 // CHECK-NEXT: <array> 361 // CHECK-NEXT: <dict> 362 // CHECK-NEXT: <key>line</key><integer>18</integer> 363 // CHECK-NEXT: <key>col</key><integer>1</integer> 364 // CHECK-NEXT: <key>file</key><integer>0</integer> 365 // CHECK-NEXT: </dict> 366 // CHECK-NEXT: <dict> 367 // CHECK-NEXT: <key>line</key><integer>18</integer> 368 // CHECK-NEXT: <key>col</key><integer>4</integer> 369 // CHECK-NEXT: <key>file</key><integer>0</integer> 370 // CHECK-NEXT: </dict> 371 // CHECK-NEXT: </array> 372 // CHECK-NEXT: <key>end</key> 373 // CHECK-NEXT: <array> 374 // CHECK-NEXT: <dict> 375 // CHECK-NEXT: <key>line</key><integer>19</integer> 376 // CHECK-NEXT: <key>col</key><integer>3</integer> 377 // CHECK-NEXT: <key>file</key><integer>0</integer> 378 // CHECK-NEXT: </dict> 379 // CHECK-NEXT: <dict> 380 // CHECK-NEXT: <key>line</key><integer>19</integer> 381 // CHECK-NEXT: <key>col</key><integer>3</integer> 382 // CHECK-NEXT: <key>file</key><integer>0</integer> 383 // CHECK-NEXT: </dict> 384 // CHECK-NEXT: </array> 385 // CHECK-NEXT: </dict> 386 // CHECK-NEXT: </array> 387 // CHECK-NEXT: </dict> 388 // CHECK-NEXT: <dict> 389 // CHECK-NEXT: <key>kind</key><string>event</string> 390 // CHECK-NEXT: <key>location</key> 391 // CHECK-NEXT: <dict> 392 // CHECK-NEXT: <key>line</key><integer>19</integer> 393 // CHECK-NEXT: <key>col</key><integer>3</integer> 394 // CHECK-NEXT: <key>file</key><integer>0</integer> 395 // CHECK-NEXT: </dict> 396 // CHECK-NEXT: <key>ranges</key> 397 // CHECK-NEXT: <array> 398 // CHECK-NEXT: <array> 399 // CHECK-NEXT: <dict> 400 // CHECK-NEXT: <key>line</key><integer>19</integer> 401 // CHECK-NEXT: <key>col</key><integer>4</integer> 402 // CHECK-NEXT: <key>file</key><integer>0</integer> 403 // CHECK-NEXT: </dict> 404 // CHECK-NEXT: <dict> 405 // CHECK-NEXT: <key>line</key><integer>19</integer> 406 // CHECK-NEXT: <key>col</key><integer>4</integer> 407 // CHECK-NEXT: <key>file</key><integer>0</integer> 408 // CHECK-NEXT: </dict> 409 // CHECK-NEXT: </array> 410 // CHECK-NEXT: </array> 411 // CHECK-NEXT: <key>depth</key><integer>1</integer> 412 // CHECK-NEXT: <key>extended_message</key> 413 // CHECK-NEXT: <string>Dereference of null pointer (loaded from variable 'p')</string> 414 // CHECK-NEXT: <key>message</key> 415 // CHECK-NEXT: <string>Dereference of null pointer (loaded from variable 'p')</string> 416 // CHECK-NEXT: </dict> 417 // CHECK-NEXT: </array> 418 // CHECK-NEXT: <key>description</key><string>Dereference of null pointer (loaded from variable 'p')</string> 419 // CHECK-NEXT: <key>category</key><string>Logic error</string> 420 // CHECK-NEXT: <key>type</key><string>Dereference of null pointer</string> 421 // CHECK-NEXT: <key>issue_context_kind</key><string>function</string> 422 // CHECK-NEXT: <key>issue_context</key><string>has_bug</string> 423 // CHECK-NEXT: <key>issue_hash</key><integer>1</integer> 424 // CHECK-NEXT: <key>location</key> 425 // CHECK-NEXT: <dict> 426 // CHECK-NEXT: <key>line</key><integer>19</integer> 427 // CHECK-NEXT: <key>col</key><integer>3</integer> 428 // CHECK-NEXT: <key>file</key><integer>0</integer> 429 // CHECK-NEXT: </dict> 430 // CHECK-NEXT: </dict> 431 // CHECK-NEXT: <dict> 432 // CHECK-NEXT: <key>path</key> 433 // CHECK-NEXT: <array> 434 // CHECK-NEXT: <dict> 435 // CHECK-NEXT: <key>kind</key><string>control</string> 436 // CHECK-NEXT: <key>edges</key> 437 // CHECK-NEXT: <array> 438 // CHECK-NEXT: <dict> 439 // CHECK-NEXT: <key>start</key> 440 // CHECK-NEXT: <array> 441 // CHECK-NEXT: <dict> 442 // CHECK-NEXT: <key>line</key><integer>33</integer> 443 // CHECK-NEXT: <key>col</key><integer>3</integer> 444 // CHECK-NEXT: <key>file</key><integer>0</integer> 445 // CHECK-NEXT: </dict> 446 // CHECK-NEXT: <dict> 447 // CHECK-NEXT: <key>line</key><integer>33</integer> 448 // CHECK-NEXT: <key>col</key><integer>4</integer> 449 // CHECK-NEXT: <key>file</key><integer>0</integer> 450 // CHECK-NEXT: </dict> 451 // CHECK-NEXT: </array> 452 // CHECK-NEXT: <key>end</key> 453 // CHECK-NEXT: <array> 454 // CHECK-NEXT: <dict> 455 // CHECK-NEXT: <key>line</key><integer>33</integer> 456 // CHECK-NEXT: <key>col</key><integer>8</integer> 457 // CHECK-NEXT: <key>file</key><integer>0</integer> 458 // CHECK-NEXT: </dict> 459 // CHECK-NEXT: <dict> 460 // CHECK-NEXT: <key>line</key><integer>33</integer> 461 // CHECK-NEXT: <key>col</key><integer>8</integer> 462 // CHECK-NEXT: <key>file</key><integer>0</integer> 463 // CHECK-NEXT: </dict> 464 // CHECK-NEXT: </array> 465 // CHECK-NEXT: </dict> 466 // CHECK-NEXT: </array> 467 // CHECK-NEXT: </dict> 468 // CHECK-NEXT: <dict> 469 // CHECK-NEXT: <key>kind</key><string>event</string> 470 // CHECK-NEXT: <key>location</key> 471 // CHECK-NEXT: <dict> 472 // CHECK-NEXT: <key>line</key><integer>33</integer> 473 // CHECK-NEXT: <key>col</key><integer>8</integer> 474 // CHECK-NEXT: <key>file</key><integer>0</integer> 475 // CHECK-NEXT: </dict> 476 // CHECK-NEXT: <key>ranges</key> 477 // CHECK-NEXT: <array> 478 // CHECK-NEXT: <array> 479 // CHECK-NEXT: <dict> 480 // CHECK-NEXT: <key>line</key><integer>33</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>33</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: </array> 491 // CHECK-NEXT: <key>depth</key><integer>0</integer> 492 // CHECK-NEXT: <key>extended_message</key> 493 // CHECK-NEXT: <string>Assuming 'p' is null</string> 494 // CHECK-NEXT: <key>message</key> 495 // CHECK-NEXT: <string>Assuming 'p' is null</string> 496 // CHECK-NEXT: </dict> 497 // CHECK-NEXT: <dict> 498 // CHECK-NEXT: <key>kind</key><string>control</string> 499 // CHECK-NEXT: <key>edges</key> 500 // CHECK-NEXT: <array> 501 // CHECK-NEXT: <dict> 502 // CHECK-NEXT: <key>start</key> 503 // CHECK-NEXT: <array> 504 // CHECK-NEXT: <dict> 505 // CHECK-NEXT: <key>line</key><integer>33</integer> 506 // CHECK-NEXT: <key>col</key><integer>8</integer> 507 // CHECK-NEXT: <key>file</key><integer>0</integer> 508 // CHECK-NEXT: </dict> 509 // CHECK-NEXT: <dict> 510 // CHECK-NEXT: <key>line</key><integer>33</integer> 511 // CHECK-NEXT: <key>col</key><integer>8</integer> 512 // CHECK-NEXT: <key>file</key><integer>0</integer> 513 // CHECK-NEXT: </dict> 514 // CHECK-NEXT: </array> 515 // CHECK-NEXT: <key>end</key> 516 // CHECK-NEXT: <array> 517 // CHECK-NEXT: <dict> 518 // CHECK-NEXT: <key>line</key><integer>36</integer> 519 // CHECK-NEXT: <key>col</key><integer>3</integer> 520 // CHECK-NEXT: <key>file</key><integer>0</integer> 521 // CHECK-NEXT: </dict> 522 // CHECK-NEXT: <dict> 523 // CHECK-NEXT: <key>line</key><integer>36</integer> 524 // CHECK-NEXT: <key>col</key><integer>4</integer> 525 // CHECK-NEXT: <key>file</key><integer>0</integer> 526 // CHECK-NEXT: </dict> 527 // CHECK-NEXT: </array> 528 // CHECK-NEXT: </dict> 529 // CHECK-NEXT: </array> 530 // CHECK-NEXT: </dict> 531 // CHECK-NEXT: <dict> 532 // CHECK-NEXT: <key>kind</key><string>control</string> 533 // CHECK-NEXT: <key>edges</key> 534 // CHECK-NEXT: <array> 535 // CHECK-NEXT: <dict> 536 // CHECK-NEXT: <key>start</key> 537 // CHECK-NEXT: <array> 538 // CHECK-NEXT: <dict> 539 // CHECK-NEXT: <key>line</key><integer>36</integer> 540 // CHECK-NEXT: <key>col</key><integer>3</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>36</integer> 545 // CHECK-NEXT: <key>col</key><integer>4</integer> 546 // CHECK-NEXT: <key>file</key><integer>0</integer> 547 // CHECK-NEXT: </dict> 548 // CHECK-NEXT: </array> 549 // CHECK-NEXT: <key>end</key> 550 // CHECK-NEXT: <array> 551 // CHECK-NEXT: <dict> 552 // CHECK-NEXT: <key>line</key><integer>37</integer> 553 // CHECK-NEXT: <key>col</key><integer>5</integer> 554 // CHECK-NEXT: <key>file</key><integer>0</integer> 555 // CHECK-NEXT: </dict> 556 // CHECK-NEXT: <dict> 557 // CHECK-NEXT: <key>line</key><integer>37</integer> 558 // CHECK-NEXT: <key>col</key><integer>16</integer> 559 // CHECK-NEXT: <key>file</key><integer>0</integer> 560 // CHECK-NEXT: </dict> 561 // CHECK-NEXT: </array> 562 // CHECK-NEXT: </dict> 563 // CHECK-NEXT: </array> 564 // CHECK-NEXT: </dict> 565 // CHECK-NEXT: <dict> 566 // CHECK-NEXT: <key>kind</key><string>event</string> 567 // CHECK-NEXT: <key>location</key> 568 // CHECK-NEXT: <dict> 569 // CHECK-NEXT: <key>line</key><integer>37</integer> 570 // CHECK-NEXT: <key>col</key><integer>5</integer> 571 // CHECK-NEXT: <key>file</key><integer>0</integer> 572 // CHECK-NEXT: </dict> 573 // CHECK-NEXT: <key>ranges</key> 574 // CHECK-NEXT: <array> 575 // CHECK-NEXT: <array> 576 // CHECK-NEXT: <dict> 577 // CHECK-NEXT: <key>line</key><integer>37</integer> 578 // CHECK-NEXT: <key>col</key><integer>5</integer> 579 // CHECK-NEXT: <key>file</key><integer>0</integer> 580 // CHECK-NEXT: </dict> 581 // CHECK-NEXT: <dict> 582 // CHECK-NEXT: <key>line</key><integer>37</integer> 583 // CHECK-NEXT: <key>col</key><integer>19</integer> 584 // CHECK-NEXT: <key>file</key><integer>0</integer> 585 // CHECK-NEXT: </dict> 586 // CHECK-NEXT: </array> 587 // CHECK-NEXT: </array> 588 // CHECK-NEXT: <key>depth</key><integer>0</integer> 589 // CHECK-NEXT: <key>extended_message</key> 590 // CHECK-NEXT: <string>Null pointer value stored to 'p'</string> 591 // CHECK-NEXT: <key>message</key> 592 // CHECK-NEXT: <string>Null pointer value stored to 'p'</string> 593 // CHECK-NEXT: </dict> 594 // CHECK-NEXT: <dict> 595 // CHECK-NEXT: <key>kind</key><string>event</string> 596 // CHECK-NEXT: <key>location</key> 597 // CHECK-NEXT: <dict> 598 // CHECK-NEXT: <key>line</key><integer>37</integer> 599 // CHECK-NEXT: <key>col</key><integer>5</integer> 600 // CHECK-NEXT: <key>file</key><integer>0</integer> 601 // CHECK-NEXT: </dict> 602 // CHECK-NEXT: <key>ranges</key> 603 // CHECK-NEXT: <array> 604 // CHECK-NEXT: <array> 605 // CHECK-NEXT: <dict> 606 // CHECK-NEXT: <key>line</key><integer>37</integer> 607 // CHECK-NEXT: <key>col</key><integer>5</integer> 608 // CHECK-NEXT: <key>file</key><integer>0</integer> 609 // CHECK-NEXT: </dict> 610 // CHECK-NEXT: <dict> 611 // CHECK-NEXT: <key>line</key><integer>37</integer> 612 // CHECK-NEXT: <key>col</key><integer>19</integer> 613 // CHECK-NEXT: <key>file</key><integer>0</integer> 614 // CHECK-NEXT: </dict> 615 // CHECK-NEXT: </array> 616 // CHECK-NEXT: </array> 617 // CHECK-NEXT: <key>depth</key><integer>0</integer> 618 // CHECK-NEXT: <key>extended_message</key> 619 // CHECK-NEXT: <string>Calling 'triggers_bug'</string> 620 // CHECK-NEXT: <key>message</key> 621 // CHECK-NEXT: <string>Calling 'triggers_bug'</string> 622 // CHECK-NEXT: </dict> 623 // CHECK-NEXT: <dict> 624 // CHECK-NEXT: <key>kind</key><string>event</string> 625 // CHECK-NEXT: <key>location</key> 626 // CHECK-NEXT: <dict> 627 // CHECK-NEXT: <key>line</key><integer>26</integer> 628 // CHECK-NEXT: <key>col</key><integer>1</integer> 629 // CHECK-NEXT: <key>file</key><integer>0</integer> 630 // CHECK-NEXT: </dict> 631 // CHECK-NEXT: <key>depth</key><integer>1</integer> 632 // CHECK-NEXT: <key>extended_message</key> 633 // CHECK-NEXT: <string>Entered call from 'bar'</string> 634 // CHECK-NEXT: <key>message</key> 635 // CHECK-NEXT: <string>Entered call from 'bar'</string> 636 // CHECK-NEXT: </dict> 637 // CHECK-NEXT: <dict> 638 // CHECK-NEXT: <key>kind</key><string>control</string> 639 // CHECK-NEXT: <key>edges</key> 640 // CHECK-NEXT: <array> 641 // CHECK-NEXT: <dict> 642 // CHECK-NEXT: <key>start</key> 643 // CHECK-NEXT: <array> 644 // CHECK-NEXT: <dict> 645 // CHECK-NEXT: <key>line</key><integer>26</integer> 646 // CHECK-NEXT: <key>col</key><integer>1</integer> 647 // CHECK-NEXT: <key>file</key><integer>0</integer> 648 // CHECK-NEXT: </dict> 649 // CHECK-NEXT: <dict> 650 // CHECK-NEXT: <key>line</key><integer>26</integer> 651 // CHECK-NEXT: <key>col</key><integer>4</integer> 652 // CHECK-NEXT: <key>file</key><integer>0</integer> 653 // CHECK-NEXT: </dict> 654 // CHECK-NEXT: </array> 655 // CHECK-NEXT: <key>end</key> 656 // CHECK-NEXT: <array> 657 // CHECK-NEXT: <dict> 658 // CHECK-NEXT: <key>line</key><integer>27</integer> 659 // CHECK-NEXT: <key>col</key><integer>3</integer> 660 // CHECK-NEXT: <key>file</key><integer>0</integer> 661 // CHECK-NEXT: </dict> 662 // CHECK-NEXT: <dict> 663 // CHECK-NEXT: <key>line</key><integer>27</integer> 664 // CHECK-NEXT: <key>col</key><integer>3</integer> 665 // CHECK-NEXT: <key>file</key><integer>0</integer> 666 // CHECK-NEXT: </dict> 667 // CHECK-NEXT: </array> 668 // CHECK-NEXT: </dict> 669 // CHECK-NEXT: </array> 670 // CHECK-NEXT: </dict> 671 // CHECK-NEXT: <dict> 672 // CHECK-NEXT: <key>kind</key><string>event</string> 673 // CHECK-NEXT: <key>location</key> 674 // CHECK-NEXT: <dict> 675 // CHECK-NEXT: <key>line</key><integer>27</integer> 676 // CHECK-NEXT: <key>col</key><integer>3</integer> 677 // CHECK-NEXT: <key>file</key><integer>0</integer> 678 // CHECK-NEXT: </dict> 679 // CHECK-NEXT: <key>ranges</key> 680 // CHECK-NEXT: <array> 681 // CHECK-NEXT: <array> 682 // CHECK-NEXT: <dict> 683 // CHECK-NEXT: <key>line</key><integer>27</integer> 684 // CHECK-NEXT: <key>col</key><integer>4</integer> 685 // CHECK-NEXT: <key>file</key><integer>0</integer> 686 // CHECK-NEXT: </dict> 687 // CHECK-NEXT: <dict> 688 // CHECK-NEXT: <key>line</key><integer>27</integer> 689 // CHECK-NEXT: <key>col</key><integer>4</integer> 690 // CHECK-NEXT: <key>file</key><integer>0</integer> 691 // CHECK-NEXT: </dict> 692 // CHECK-NEXT: </array> 693 // CHECK-NEXT: </array> 694 // CHECK-NEXT: <key>depth</key><integer>1</integer> 695 // CHECK-NEXT: <key>extended_message</key> 696 // CHECK-NEXT: <string>Dereference of null pointer (loaded from variable 'p')</string> 697 // CHECK-NEXT: <key>message</key> 698 // CHECK-NEXT: <string>Dereference of null pointer (loaded from variable 'p')</string> 699 // CHECK-NEXT: </dict> 700 // CHECK-NEXT: </array> 701 // CHECK-NEXT: <key>description</key><string>Dereference of null pointer (loaded from variable 'p')</string> 702 // CHECK-NEXT: <key>category</key><string>Logic error</string> 703 // CHECK-NEXT: <key>type</key><string>Dereference of null pointer</string> 704 // CHECK-NEXT: <key>issue_context_kind</key><string>function</string> 705 // CHECK-NEXT: <key>issue_context</key><string>triggers_bug</string> 706 // CHECK-NEXT: <key>issue_hash</key><integer>1</integer> 707 // CHECK-NEXT: <key>location</key> 708 // CHECK-NEXT: <dict> 709 // CHECK-NEXT: <key>line</key><integer>27</integer> 710 // CHECK-NEXT: <key>col</key><integer>3</integer> 711 // CHECK-NEXT: <key>file</key><integer>0</integer> 712 // CHECK-NEXT: </dict> 713 // CHECK-NEXT: </dict> 714 // CHECK-NEXT: <dict> 715 // CHECK-NEXT: <key>path</key> 716 // CHECK-NEXT: <array> 717 // CHECK-NEXT: <dict> 718 // CHECK-NEXT: <key>kind</key><string>event</string> 719 // CHECK-NEXT: <key>location</key> 720 // CHECK-NEXT: <dict> 721 // CHECK-NEXT: <key>line</key><integer>45</integer> 722 // CHECK-NEXT: <key>col</key><integer>3</integer> 723 // CHECK-NEXT: <key>file</key><integer>0</integer> 724 // CHECK-NEXT: </dict> 725 // CHECK-NEXT: <key>ranges</key> 726 // CHECK-NEXT: <array> 727 // CHECK-NEXT: <array> 728 // CHECK-NEXT: <dict> 729 // CHECK-NEXT: <key>line</key><integer>45</integer> 730 // CHECK-NEXT: <key>col</key><integer>3</integer> 731 // CHECK-NEXT: <key>file</key><integer>0</integer> 732 // CHECK-NEXT: </dict> 733 // CHECK-NEXT: <dict> 734 // CHECK-NEXT: <key>line</key><integer>45</integer> 735 // CHECK-NEXT: <key>col</key><integer>8</integer> 736 // CHECK-NEXT: <key>file</key><integer>0</integer> 737 // CHECK-NEXT: </dict> 738 // CHECK-NEXT: </array> 739 // CHECK-NEXT: </array> 740 // CHECK-NEXT: <key>depth</key><integer>0</integer> 741 // CHECK-NEXT: <key>extended_message</key> 742 // CHECK-NEXT: <string>Variable 'p' initialized to a null pointer value</string> 743 // CHECK-NEXT: <key>message</key> 744 // CHECK-NEXT: <string>Variable 'p' initialized to a null pointer value</string> 745 // CHECK-NEXT: </dict> 746 // CHECK-NEXT: <dict> 747 // CHECK-NEXT: <key>kind</key><string>control</string> 748 // CHECK-NEXT: <key>edges</key> 749 // CHECK-NEXT: <array> 750 // CHECK-NEXT: <dict> 751 // CHECK-NEXT: <key>start</key> 752 // CHECK-NEXT: <array> 753 // CHECK-NEXT: <dict> 754 // CHECK-NEXT: <key>line</key><integer>45</integer> 755 // CHECK-NEXT: <key>col</key><integer>3</integer> 756 // CHECK-NEXT: <key>file</key><integer>0</integer> 757 // CHECK-NEXT: </dict> 758 // CHECK-NEXT: <dict> 759 // CHECK-NEXT: <key>line</key><integer>45</integer> 760 // CHECK-NEXT: <key>col</key><integer>5</integer> 761 // CHECK-NEXT: <key>file</key><integer>0</integer> 762 // CHECK-NEXT: </dict> 763 // CHECK-NEXT: </array> 764 // CHECK-NEXT: <key>end</key> 765 // CHECK-NEXT: <array> 766 // CHECK-NEXT: <dict> 767 // CHECK-NEXT: <key>line</key><integer>46</integer> 768 // CHECK-NEXT: <key>col</key><integer>3</integer> 769 // CHECK-NEXT: <key>file</key><integer>0</integer> 770 // CHECK-NEXT: </dict> 771 // CHECK-NEXT: <dict> 772 // CHECK-NEXT: <key>line</key><integer>46</integer> 773 // CHECK-NEXT: <key>col</key><integer>3</integer> 774 // CHECK-NEXT: <key>file</key><integer>0</integer> 775 // CHECK-NEXT: </dict> 776 // CHECK-NEXT: </array> 777 // CHECK-NEXT: </dict> 778 // CHECK-NEXT: </array> 779 // CHECK-NEXT: </dict> 780 // CHECK-NEXT: <dict> 781 // CHECK-NEXT: <key>kind</key><string>event</string> 782 // CHECK-NEXT: <key>location</key> 783 // CHECK-NEXT: <dict> 784 // CHECK-NEXT: <key>line</key><integer>46</integer> 785 // CHECK-NEXT: <key>col</key><integer>3</integer> 786 // CHECK-NEXT: <key>file</key><integer>0</integer> 787 // CHECK-NEXT: </dict> 788 // CHECK-NEXT: <key>ranges</key> 789 // CHECK-NEXT: <array> 790 // CHECK-NEXT: <array> 791 // CHECK-NEXT: <dict> 792 // CHECK-NEXT: <key>line</key><integer>46</integer> 793 // CHECK-NEXT: <key>col</key><integer>3</integer> 794 // CHECK-NEXT: <key>file</key><integer>0</integer> 795 // CHECK-NEXT: </dict> 796 // CHECK-NEXT: <dict> 797 // CHECK-NEXT: <key>line</key><integer>46</integer> 798 // CHECK-NEXT: <key>col</key><integer>18</integer> 799 // CHECK-NEXT: <key>file</key><integer>0</integer> 800 // CHECK-NEXT: </dict> 801 // CHECK-NEXT: </array> 802 // CHECK-NEXT: </array> 803 // CHECK-NEXT: <key>depth</key><integer>0</integer> 804 // CHECK-NEXT: <key>extended_message</key> 805 // CHECK-NEXT: <string>Calling anonymous block</string> 806 // CHECK-NEXT: <key>message</key> 807 // CHECK-NEXT: <string>Calling anonymous block</string> 808 // CHECK-NEXT: </dict> 809 // CHECK-NEXT: <dict> 810 // CHECK-NEXT: <key>kind</key><string>event</string> 811 // CHECK-NEXT: <key>location</key> 812 // CHECK-NEXT: <dict> 813 // CHECK-NEXT: <key>line</key><integer>46</integer> 814 // CHECK-NEXT: <key>col</key><integer>3</integer> 815 // CHECK-NEXT: <key>file</key><integer>0</integer> 816 // CHECK-NEXT: </dict> 817 // CHECK-NEXT: <key>depth</key><integer>1</integer> 818 // CHECK-NEXT: <key>extended_message</key> 819 // CHECK-NEXT: <string>Entered call from 'test_block__capture_null'</string> 820 // CHECK-NEXT: <key>message</key> 821 // CHECK-NEXT: <string>Entered call from 'test_block__capture_null'</string> 822 // CHECK-NEXT: </dict> 823 // CHECK-NEXT: <dict> 824 // CHECK-NEXT: <key>kind</key><string>control</string> 825 // CHECK-NEXT: <key>edges</key> 826 // CHECK-NEXT: <array> 827 // CHECK-NEXT: <dict> 828 // CHECK-NEXT: <key>start</key> 829 // CHECK-NEXT: <array> 830 // CHECK-NEXT: <dict> 831 // CHECK-NEXT: <key>line</key><integer>46</integer> 832 // CHECK-NEXT: <key>col</key><integer>3</integer> 833 // CHECK-NEXT: <key>file</key><integer>0</integer> 834 // CHECK-NEXT: </dict> 835 // CHECK-NEXT: <dict> 836 // CHECK-NEXT: <key>line</key><integer>46</integer> 837 // CHECK-NEXT: <key>col</key><integer>3</integer> 838 // CHECK-NEXT: <key>file</key><integer>0</integer> 839 // CHECK-NEXT: </dict> 840 // CHECK-NEXT: </array> 841 // CHECK-NEXT: <key>end</key> 842 // CHECK-NEXT: <array> 843 // CHECK-NEXT: <dict> 844 // CHECK-NEXT: <key>line</key><integer>46</integer> 845 // CHECK-NEXT: <key>col</key><integer>8</integer> 846 // CHECK-NEXT: <key>file</key><integer>0</integer> 847 // CHECK-NEXT: </dict> 848 // CHECK-NEXT: <dict> 849 // CHECK-NEXT: <key>line</key><integer>46</integer> 850 // CHECK-NEXT: <key>col</key><integer>8</integer> 851 // CHECK-NEXT: <key>file</key><integer>0</integer> 852 // CHECK-NEXT: </dict> 853 // CHECK-NEXT: </array> 854 // CHECK-NEXT: </dict> 855 // CHECK-NEXT: </array> 856 // CHECK-NEXT: </dict> 857 // CHECK-NEXT: <dict> 858 // CHECK-NEXT: <key>kind</key><string>event</string> 859 // CHECK-NEXT: <key>location</key> 860 // CHECK-NEXT: <dict> 861 // CHECK-NEXT: <key>line</key><integer>46</integer> 862 // CHECK-NEXT: <key>col</key><integer>8</integer> 863 // CHECK-NEXT: <key>file</key><integer>0</integer> 864 // CHECK-NEXT: </dict> 865 // CHECK-NEXT: <key>ranges</key> 866 // CHECK-NEXT: <array> 867 // CHECK-NEXT: <array> 868 // CHECK-NEXT: <dict> 869 // CHECK-NEXT: <key>line</key><integer>46</integer> 870 // CHECK-NEXT: <key>col</key><integer>9</integer> 871 // CHECK-NEXT: <key>file</key><integer>0</integer> 872 // CHECK-NEXT: </dict> 873 // CHECK-NEXT: <dict> 874 // CHECK-NEXT: <key>line</key><integer>46</integer> 875 // CHECK-NEXT: <key>col</key><integer>9</integer> 876 // CHECK-NEXT: <key>file</key><integer>0</integer> 877 // CHECK-NEXT: </dict> 878 // CHECK-NEXT: </array> 879 // CHECK-NEXT: </array> 880 // CHECK-NEXT: <key>depth</key><integer>1</integer> 881 // CHECK-NEXT: <key>extended_message</key> 882 // CHECK-NEXT: <string>Dereference of null pointer (loaded from variable 'p')</string> 883 // CHECK-NEXT: <key>message</key> 884 // CHECK-NEXT: <string>Dereference of null pointer (loaded from variable 'p')</string> 885 // CHECK-NEXT: </dict> 886 // CHECK-NEXT: </array> 887 // CHECK-NEXT: <key>description</key><string>Dereference of null pointer (loaded from variable 'p')</string> 888 // CHECK-NEXT: <key>category</key><string>Logic error</string> 889 // CHECK-NEXT: <key>type</key><string>Dereference of null pointer</string> 890 // CHECK-NEXT: <key>location</key> 891 // CHECK-NEXT: <dict> 892 // CHECK-NEXT: <key>line</key><integer>46</integer> 893 // CHECK-NEXT: <key>col</key><integer>8</integer> 894 // CHECK-NEXT: <key>file</key><integer>0</integer> 895 // CHECK-NEXT: </dict> 896 // CHECK-NEXT: </dict> 897 // CHECK-NEXT: <dict> 898 // CHECK-NEXT: <key>path</key> 899 // CHECK-NEXT: <array> 900 // CHECK-NEXT: <dict> 901 // CHECK-NEXT: <key>kind</key><string>control</string> 902 // CHECK-NEXT: <key>edges</key> 903 // CHECK-NEXT: <array> 904 // CHECK-NEXT: <dict> 905 // CHECK-NEXT: <key>start</key> 906 // CHECK-NEXT: <array> 907 // CHECK-NEXT: <dict> 908 // CHECK-NEXT: <key>line</key><integer>50</integer> 909 // CHECK-NEXT: <key>col</key><integer>3</integer> 910 // CHECK-NEXT: <key>file</key><integer>0</integer> 911 // CHECK-NEXT: </dict> 912 // CHECK-NEXT: <dict> 913 // CHECK-NEXT: <key>line</key><integer>50</integer> 914 // CHECK-NEXT: <key>col</key><integer>5</integer> 915 // CHECK-NEXT: <key>file</key><integer>0</integer> 916 // CHECK-NEXT: </dict> 917 // CHECK-NEXT: </array> 918 // CHECK-NEXT: <key>end</key> 919 // CHECK-NEXT: <array> 920 // CHECK-NEXT: <dict> 921 // CHECK-NEXT: <key>line</key><integer>50</integer> 922 // CHECK-NEXT: <key>col</key><integer>12</integer> 923 // CHECK-NEXT: <key>file</key><integer>0</integer> 924 // CHECK-NEXT: </dict> 925 // CHECK-NEXT: <dict> 926 // CHECK-NEXT: <key>line</key><integer>50</integer> 927 // CHECK-NEXT: <key>col</key><integer>12</integer> 928 // CHECK-NEXT: <key>file</key><integer>0</integer> 929 // CHECK-NEXT: </dict> 930 // CHECK-NEXT: </array> 931 // CHECK-NEXT: </dict> 932 // CHECK-NEXT: </array> 933 // CHECK-NEXT: </dict> 934 // CHECK-NEXT: <dict> 935 // CHECK-NEXT: <key>kind</key><string>event</string> 936 // CHECK-NEXT: <key>location</key> 937 // CHECK-NEXT: <dict> 938 // CHECK-NEXT: <key>line</key><integer>50</integer> 939 // CHECK-NEXT: <key>col</key><integer>12</integer> 940 // CHECK-NEXT: <key>file</key><integer>0</integer> 941 // CHECK-NEXT: </dict> 942 // CHECK-NEXT: <key>ranges</key> 943 // CHECK-NEXT: <array> 944 // CHECK-NEXT: <array> 945 // CHECK-NEXT: <dict> 946 // CHECK-NEXT: <key>line</key><integer>50</integer> 947 // CHECK-NEXT: <key>col</key><integer>12</integer> 948 // CHECK-NEXT: <key>file</key><integer>0</integer> 949 // CHECK-NEXT: </dict> 950 // CHECK-NEXT: <dict> 951 // CHECK-NEXT: <key>line</key><integer>50</integer> 952 // CHECK-NEXT: <key>col</key><integer>41</integer> 953 // CHECK-NEXT: <key>file</key><integer>0</integer> 954 // CHECK-NEXT: </dict> 955 // CHECK-NEXT: </array> 956 // CHECK-NEXT: </array> 957 // CHECK-NEXT: <key>depth</key><integer>0</integer> 958 // CHECK-NEXT: <key>extended_message</key> 959 // CHECK-NEXT: <string>Calling anonymous block</string> 960 // CHECK-NEXT: <key>message</key> 961 // CHECK-NEXT: <string>Calling anonymous block</string> 962 // CHECK-NEXT: </dict> 963 // CHECK-NEXT: <dict> 964 // CHECK-NEXT: <key>kind</key><string>event</string> 965 // CHECK-NEXT: <key>location</key> 966 // CHECK-NEXT: <dict> 967 // CHECK-NEXT: <key>line</key><integer>50</integer> 968 // CHECK-NEXT: <key>col</key><integer>12</integer> 969 // CHECK-NEXT: <key>file</key><integer>0</integer> 970 // CHECK-NEXT: </dict> 971 // CHECK-NEXT: <key>depth</key><integer>1</integer> 972 // CHECK-NEXT: <key>extended_message</key> 973 // CHECK-NEXT: <string>Entered call from 'test_block_ret'</string> 974 // CHECK-NEXT: <key>message</key> 975 // CHECK-NEXT: <string>Entered call from 'test_block_ret'</string> 976 // CHECK-NEXT: </dict> 977 // CHECK-NEXT: <dict> 978 // CHECK-NEXT: <key>kind</key><string>control</string> 979 // CHECK-NEXT: <key>edges</key> 980 // CHECK-NEXT: <array> 981 // CHECK-NEXT: <dict> 982 // CHECK-NEXT: <key>start</key> 983 // CHECK-NEXT: <array> 984 // CHECK-NEXT: <dict> 985 // CHECK-NEXT: <key>line</key><integer>50</integer> 986 // CHECK-NEXT: <key>col</key><integer>12</integer> 987 // CHECK-NEXT: <key>file</key><integer>0</integer> 988 // CHECK-NEXT: </dict> 989 // CHECK-NEXT: <dict> 990 // CHECK-NEXT: <key>line</key><integer>50</integer> 991 // CHECK-NEXT: <key>col</key><integer>12</integer> 992 // CHECK-NEXT: <key>file</key><integer>0</integer> 993 // CHECK-NEXT: </dict> 994 // CHECK-NEXT: </array> 995 // CHECK-NEXT: <key>end</key> 996 // CHECK-NEXT: <array> 997 // CHECK-NEXT: <dict> 998 // CHECK-NEXT: <key>line</key><integer>50</integer> 999 // CHECK-NEXT: <key>col</key><integer>17</integer> 1000 // CHECK-NEXT: <key>file</key><integer>0</integer> 1001 // CHECK-NEXT: </dict> 1002 // CHECK-NEXT: <dict> 1003 // CHECK-NEXT: <key>line</key><integer>50</integer> 1004 // CHECK-NEXT: <key>col</key><integer>19</integer> 1005 // CHECK-NEXT: <key>file</key><integer>0</integer> 1006 // CHECK-NEXT: </dict> 1007 // CHECK-NEXT: </array> 1008 // CHECK-NEXT: </dict> 1009 // CHECK-NEXT: </array> 1010 // CHECK-NEXT: </dict> 1011 // CHECK-NEXT: <dict> 1012 // CHECK-NEXT: <key>kind</key><string>event</string> 1013 // CHECK-NEXT: <key>location</key> 1014 // CHECK-NEXT: <dict> 1015 // CHECK-NEXT: <key>line</key><integer>50</integer> 1016 // CHECK-NEXT: <key>col</key><integer>17</integer> 1017 // CHECK-NEXT: <key>file</key><integer>0</integer> 1018 // CHECK-NEXT: </dict> 1019 // CHECK-NEXT: <key>ranges</key> 1020 // CHECK-NEXT: <array> 1021 // CHECK-NEXT: <array> 1022 // CHECK-NEXT: <dict> 1023 // CHECK-NEXT: <key>line</key><integer>50</integer> 1024 // CHECK-NEXT: <key>col</key><integer>17</integer> 1025 // CHECK-NEXT: <key>file</key><integer>0</integer> 1026 // CHECK-NEXT: </dict> 1027 // CHECK-NEXT: <dict> 1028 // CHECK-NEXT: <key>line</key><integer>50</integer> 1029 // CHECK-NEXT: <key>col</key><integer>22</integer> 1030 // CHECK-NEXT: <key>file</key><integer>0</integer> 1031 // CHECK-NEXT: </dict> 1032 // CHECK-NEXT: </array> 1033 // CHECK-NEXT: </array> 1034 // CHECK-NEXT: <key>depth</key><integer>1</integer> 1035 // CHECK-NEXT: <key>extended_message</key> 1036 // CHECK-NEXT: <string>Variable 'q' initialized to a null pointer value</string> 1037 // CHECK-NEXT: <key>message</key> 1038 // CHECK-NEXT: <string>Variable 'q' initialized to a null pointer value</string> 1039 // CHECK-NEXT: </dict> 1040 // CHECK-NEXT: <dict> 1041 // CHECK-NEXT: <key>kind</key><string>control</string> 1042 // CHECK-NEXT: <key>edges</key> 1043 // CHECK-NEXT: <array> 1044 // CHECK-NEXT: <dict> 1045 // CHECK-NEXT: <key>start</key> 1046 // CHECK-NEXT: <array> 1047 // CHECK-NEXT: <dict> 1048 // CHECK-NEXT: <key>line</key><integer>50</integer> 1049 // CHECK-NEXT: <key>col</key><integer>17</integer> 1050 // CHECK-NEXT: <key>file</key><integer>0</integer> 1051 // CHECK-NEXT: </dict> 1052 // CHECK-NEXT: <dict> 1053 // CHECK-NEXT: <key>line</key><integer>50</integer> 1054 // CHECK-NEXT: <key>col</key><integer>19</integer> 1055 // CHECK-NEXT: <key>file</key><integer>0</integer> 1056 // CHECK-NEXT: </dict> 1057 // CHECK-NEXT: </array> 1058 // CHECK-NEXT: <key>end</key> 1059 // CHECK-NEXT: <array> 1060 // CHECK-NEXT: <dict> 1061 // CHECK-NEXT: <key>line</key><integer>50</integer> 1062 // CHECK-NEXT: <key>col</key><integer>29</integer> 1063 // CHECK-NEXT: <key>file</key><integer>0</integer> 1064 // CHECK-NEXT: </dict> 1065 // CHECK-NEXT: <dict> 1066 // CHECK-NEXT: <key>line</key><integer>50</integer> 1067 // CHECK-NEXT: <key>col</key><integer>34</integer> 1068 // CHECK-NEXT: <key>file</key><integer>0</integer> 1069 // CHECK-NEXT: </dict> 1070 // CHECK-NEXT: </array> 1071 // CHECK-NEXT: </dict> 1072 // CHECK-NEXT: </array> 1073 // CHECK-NEXT: </dict> 1074 // CHECK-NEXT: <dict> 1075 // CHECK-NEXT: <key>kind</key><string>event</string> 1076 // CHECK-NEXT: <key>location</key> 1077 // CHECK-NEXT: <dict> 1078 // CHECK-NEXT: <key>line</key><integer>50</integer> 1079 // CHECK-NEXT: <key>col</key><integer>29</integer> 1080 // CHECK-NEXT: <key>file</key><integer>0</integer> 1081 // CHECK-NEXT: </dict> 1082 // CHECK-NEXT: <key>ranges</key> 1083 // CHECK-NEXT: <array> 1084 // CHECK-NEXT: <array> 1085 // CHECK-NEXT: <dict> 1086 // CHECK-NEXT: <key>line</key><integer>50</integer> 1087 // CHECK-NEXT: <key>col</key><integer>29</integer> 1088 // CHECK-NEXT: <key>file</key><integer>0</integer> 1089 // CHECK-NEXT: </dict> 1090 // CHECK-NEXT: <dict> 1091 // CHECK-NEXT: <key>line</key><integer>50</integer> 1092 // CHECK-NEXT: <key>col</key><integer>36</integer> 1093 // CHECK-NEXT: <key>file</key><integer>0</integer> 1094 // CHECK-NEXT: </dict> 1095 // CHECK-NEXT: </array> 1096 // CHECK-NEXT: </array> 1097 // CHECK-NEXT: <key>depth</key><integer>1</integer> 1098 // CHECK-NEXT: <key>extended_message</key> 1099 // CHECK-NEXT: <string>Returning null pointer (loaded from 'q')</string> 1100 // CHECK-NEXT: <key>message</key> 1101 // CHECK-NEXT: <string>Returning null pointer (loaded from 'q')</string> 1102 // CHECK-NEXT: </dict> 1103 // CHECK-NEXT: <dict> 1104 // CHECK-NEXT: <key>kind</key><string>event</string> 1105 // CHECK-NEXT: <key>location</key> 1106 // CHECK-NEXT: <dict> 1107 // CHECK-NEXT: <key>line</key><integer>50</integer> 1108 // CHECK-NEXT: <key>col</key><integer>12</integer> 1109 // CHECK-NEXT: <key>file</key><integer>0</integer> 1110 // CHECK-NEXT: </dict> 1111 // CHECK-NEXT: <key>ranges</key> 1112 // CHECK-NEXT: <array> 1113 // CHECK-NEXT: <array> 1114 // CHECK-NEXT: <dict> 1115 // CHECK-NEXT: <key>line</key><integer>50</integer> 1116 // CHECK-NEXT: <key>col</key><integer>12</integer> 1117 // CHECK-NEXT: <key>file</key><integer>0</integer> 1118 // CHECK-NEXT: </dict> 1119 // CHECK-NEXT: <dict> 1120 // CHECK-NEXT: <key>line</key><integer>50</integer> 1121 // CHECK-NEXT: <key>col</key><integer>41</integer> 1122 // CHECK-NEXT: <key>file</key><integer>0</integer> 1123 // CHECK-NEXT: </dict> 1124 // CHECK-NEXT: </array> 1125 // CHECK-NEXT: </array> 1126 // CHECK-NEXT: <key>depth</key><integer>1</integer> 1127 // CHECK-NEXT: <key>extended_message</key> 1128 // CHECK-NEXT: <string>Returning to caller</string> 1129 // CHECK-NEXT: <key>message</key> 1130 // CHECK-NEXT: <string>Returning to caller</string> 1131 // CHECK-NEXT: </dict> 1132 // CHECK-NEXT: <dict> 1133 // CHECK-NEXT: <key>kind</key><string>control</string> 1134 // CHECK-NEXT: <key>edges</key> 1135 // CHECK-NEXT: <array> 1136 // CHECK-NEXT: <dict> 1137 // CHECK-NEXT: <key>start</key> 1138 // CHECK-NEXT: <array> 1139 // CHECK-NEXT: <dict> 1140 // CHECK-NEXT: <key>line</key><integer>50</integer> 1141 // CHECK-NEXT: <key>col</key><integer>3</integer> 1142 // CHECK-NEXT: <key>file</key><integer>0</integer> 1143 // CHECK-NEXT: </dict> 1144 // CHECK-NEXT: <dict> 1145 // CHECK-NEXT: <key>line</key><integer>50</integer> 1146 // CHECK-NEXT: <key>col</key><integer>5</integer> 1147 // CHECK-NEXT: <key>file</key><integer>0</integer> 1148 // CHECK-NEXT: </dict> 1149 // CHECK-NEXT: </array> 1150 // CHECK-NEXT: <key>end</key> 1151 // CHECK-NEXT: <array> 1152 // CHECK-NEXT: <dict> 1153 // CHECK-NEXT: <key>line</key><integer>50</integer> 1154 // CHECK-NEXT: <key>col</key><integer>12</integer> 1155 // CHECK-NEXT: <key>file</key><integer>0</integer> 1156 // CHECK-NEXT: </dict> 1157 // CHECK-NEXT: <dict> 1158 // CHECK-NEXT: <key>line</key><integer>50</integer> 1159 // CHECK-NEXT: <key>col</key><integer>12</integer> 1160 // CHECK-NEXT: <key>file</key><integer>0</integer> 1161 // CHECK-NEXT: </dict> 1162 // CHECK-NEXT: </array> 1163 // CHECK-NEXT: </dict> 1164 // CHECK-NEXT: </array> 1165 // CHECK-NEXT: </dict> 1166 // CHECK-NEXT: <dict> 1167 // CHECK-NEXT: <key>kind</key><string>control</string> 1168 // CHECK-NEXT: <key>edges</key> 1169 // CHECK-NEXT: <array> 1170 // CHECK-NEXT: <dict> 1171 // CHECK-NEXT: <key>start</key> 1172 // CHECK-NEXT: <array> 1173 // CHECK-NEXT: <dict> 1174 // CHECK-NEXT: <key>line</key><integer>50</integer> 1175 // CHECK-NEXT: <key>col</key><integer>12</integer> 1176 // CHECK-NEXT: <key>file</key><integer>0</integer> 1177 // CHECK-NEXT: </dict> 1178 // CHECK-NEXT: <dict> 1179 // CHECK-NEXT: <key>line</key><integer>50</integer> 1180 // CHECK-NEXT: <key>col</key><integer>12</integer> 1181 // CHECK-NEXT: <key>file</key><integer>0</integer> 1182 // CHECK-NEXT: </dict> 1183 // CHECK-NEXT: </array> 1184 // CHECK-NEXT: <key>end</key> 1185 // CHECK-NEXT: <array> 1186 // CHECK-NEXT: <dict> 1187 // CHECK-NEXT: <key>line</key><integer>50</integer> 1188 // CHECK-NEXT: <key>col</key><integer>3</integer> 1189 // CHECK-NEXT: <key>file</key><integer>0</integer> 1190 // CHECK-NEXT: </dict> 1191 // CHECK-NEXT: <dict> 1192 // CHECK-NEXT: <key>line</key><integer>50</integer> 1193 // CHECK-NEXT: <key>col</key><integer>5</integer> 1194 // CHECK-NEXT: <key>file</key><integer>0</integer> 1195 // CHECK-NEXT: </dict> 1196 // CHECK-NEXT: </array> 1197 // CHECK-NEXT: </dict> 1198 // CHECK-NEXT: </array> 1199 // CHECK-NEXT: </dict> 1200 // CHECK-NEXT: <dict> 1201 // CHECK-NEXT: <key>kind</key><string>event</string> 1202 // CHECK-NEXT: <key>location</key> 1203 // CHECK-NEXT: <dict> 1204 // CHECK-NEXT: <key>line</key><integer>50</integer> 1205 // CHECK-NEXT: <key>col</key><integer>3</integer> 1206 // CHECK-NEXT: <key>file</key><integer>0</integer> 1207 // CHECK-NEXT: </dict> 1208 // CHECK-NEXT: <key>ranges</key> 1209 // CHECK-NEXT: <array> 1210 // CHECK-NEXT: <array> 1211 // CHECK-NEXT: <dict> 1212 // CHECK-NEXT: <key>line</key><integer>50</integer> 1213 // CHECK-NEXT: <key>col</key><integer>3</integer> 1214 // CHECK-NEXT: <key>file</key><integer>0</integer> 1215 // CHECK-NEXT: </dict> 1216 // CHECK-NEXT: <dict> 1217 // CHECK-NEXT: <key>line</key><integer>50</integer> 1218 // CHECK-NEXT: <key>col</key><integer>8</integer> 1219 // CHECK-NEXT: <key>file</key><integer>0</integer> 1220 // CHECK-NEXT: </dict> 1221 // CHECK-NEXT: </array> 1222 // CHECK-NEXT: </array> 1223 // CHECK-NEXT: <key>depth</key><integer>0</integer> 1224 // CHECK-NEXT: <key>extended_message</key> 1225 // CHECK-NEXT: <string>Variable 'p' initialized to a null pointer value</string> 1226 // CHECK-NEXT: <key>message</key> 1227 // CHECK-NEXT: <string>Variable 'p' initialized to a null pointer value</string> 1228 // CHECK-NEXT: </dict> 1229 // CHECK-NEXT: <dict> 1230 // CHECK-NEXT: <key>kind</key><string>control</string> 1231 // CHECK-NEXT: <key>edges</key> 1232 // CHECK-NEXT: <array> 1233 // CHECK-NEXT: <dict> 1234 // CHECK-NEXT: <key>start</key> 1235 // CHECK-NEXT: <array> 1236 // CHECK-NEXT: <dict> 1237 // CHECK-NEXT: <key>line</key><integer>50</integer> 1238 // CHECK-NEXT: <key>col</key><integer>3</integer> 1239 // CHECK-NEXT: <key>file</key><integer>0</integer> 1240 // CHECK-NEXT: </dict> 1241 // CHECK-NEXT: <dict> 1242 // CHECK-NEXT: <key>line</key><integer>50</integer> 1243 // CHECK-NEXT: <key>col</key><integer>5</integer> 1244 // CHECK-NEXT: <key>file</key><integer>0</integer> 1245 // CHECK-NEXT: </dict> 1246 // CHECK-NEXT: </array> 1247 // CHECK-NEXT: <key>end</key> 1248 // CHECK-NEXT: <array> 1249 // CHECK-NEXT: <dict> 1250 // CHECK-NEXT: <key>line</key><integer>51</integer> 1251 // CHECK-NEXT: <key>col</key><integer>3</integer> 1252 // CHECK-NEXT: <key>file</key><integer>0</integer> 1253 // CHECK-NEXT: </dict> 1254 // CHECK-NEXT: <dict> 1255 // CHECK-NEXT: <key>line</key><integer>51</integer> 1256 // CHECK-NEXT: <key>col</key><integer>3</integer> 1257 // CHECK-NEXT: <key>file</key><integer>0</integer> 1258 // CHECK-NEXT: </dict> 1259 // CHECK-NEXT: </array> 1260 // CHECK-NEXT: </dict> 1261 // CHECK-NEXT: </array> 1262 // CHECK-NEXT: </dict> 1263 // CHECK-NEXT: <dict> 1264 // CHECK-NEXT: <key>kind</key><string>event</string> 1265 // CHECK-NEXT: <key>location</key> 1266 // CHECK-NEXT: <dict> 1267 // CHECK-NEXT: <key>line</key><integer>51</integer> 1268 // CHECK-NEXT: <key>col</key><integer>3</integer> 1269 // CHECK-NEXT: <key>file</key><integer>0</integer> 1270 // CHECK-NEXT: </dict> 1271 // CHECK-NEXT: <key>ranges</key> 1272 // CHECK-NEXT: <array> 1273 // CHECK-NEXT: <array> 1274 // CHECK-NEXT: <dict> 1275 // CHECK-NEXT: <key>line</key><integer>51</integer> 1276 // CHECK-NEXT: <key>col</key><integer>4</integer> 1277 // CHECK-NEXT: <key>file</key><integer>0</integer> 1278 // CHECK-NEXT: </dict> 1279 // CHECK-NEXT: <dict> 1280 // CHECK-NEXT: <key>line</key><integer>51</integer> 1281 // CHECK-NEXT: <key>col</key><integer>4</integer> 1282 // CHECK-NEXT: <key>file</key><integer>0</integer> 1283 // CHECK-NEXT: </dict> 1284 // CHECK-NEXT: </array> 1285 // CHECK-NEXT: </array> 1286 // CHECK-NEXT: <key>depth</key><integer>0</integer> 1287 // CHECK-NEXT: <key>extended_message</key> 1288 // CHECK-NEXT: <string>Dereference of null pointer (loaded from variable 'p')</string> 1289 // CHECK-NEXT: <key>message</key> 1290 // CHECK-NEXT: <string>Dereference of null pointer (loaded from variable 'p')</string> 1291 // CHECK-NEXT: </dict> 1292 // CHECK-NEXT: </array> 1293 // CHECK-NEXT: <key>description</key><string>Dereference of null pointer (loaded from variable 'p')</string> 1294 // CHECK-NEXT: <key>category</key><string>Logic error</string> 1295 // CHECK-NEXT: <key>type</key><string>Dereference of null pointer</string> 1296 // CHECK-NEXT: <key>issue_context_kind</key><string>function</string> 1297 // CHECK-NEXT: <key>issue_context</key><string>test_block_ret</string> 1298 // CHECK-NEXT: <key>issue_hash</key><integer>2</integer> 1299 // CHECK-NEXT: <key>location</key> 1300 // CHECK-NEXT: <dict> 1301 // CHECK-NEXT: <key>line</key><integer>51</integer> 1302 // CHECK-NEXT: <key>col</key><integer>3</integer> 1303 // CHECK-NEXT: <key>file</key><integer>0</integer> 1304 // CHECK-NEXT: </dict> 1305 // CHECK-NEXT: </dict> 1306 // CHECK-NEXT: <dict> 1307 // CHECK-NEXT: <key>path</key> 1308 // CHECK-NEXT: <array> 1309 // CHECK-NEXT: <dict> 1310 // CHECK-NEXT: <key>kind</key><string>control</string> 1311 // CHECK-NEXT: <key>edges</key> 1312 // CHECK-NEXT: <array> 1313 // CHECK-NEXT: <dict> 1314 // CHECK-NEXT: <key>start</key> 1315 // CHECK-NEXT: <array> 1316 // CHECK-NEXT: <dict> 1317 // CHECK-NEXT: <key>line</key><integer>55</integer> 1318 // CHECK-NEXT: <key>col</key><integer>3</integer> 1319 // CHECK-NEXT: <key>file</key><integer>0</integer> 1320 // CHECK-NEXT: </dict> 1321 // CHECK-NEXT: <dict> 1322 // CHECK-NEXT: <key>line</key><integer>55</integer> 1323 // CHECK-NEXT: <key>col</key><integer>9</integer> 1324 // CHECK-NEXT: <key>file</key><integer>0</integer> 1325 // CHECK-NEXT: </dict> 1326 // CHECK-NEXT: </array> 1327 // CHECK-NEXT: <key>end</key> 1328 // CHECK-NEXT: <array> 1329 // CHECK-NEXT: <dict> 1330 // CHECK-NEXT: <key>line</key><integer>56</integer> 1331 // CHECK-NEXT: <key>col</key><integer>3</integer> 1332 // CHECK-NEXT: <key>file</key><integer>0</integer> 1333 // CHECK-NEXT: </dict> 1334 // CHECK-NEXT: <dict> 1335 // CHECK-NEXT: <key>line</key><integer>56</integer> 1336 // CHECK-NEXT: <key>col</key><integer>3</integer> 1337 // CHECK-NEXT: <key>file</key><integer>0</integer> 1338 // CHECK-NEXT: </dict> 1339 // CHECK-NEXT: </array> 1340 // CHECK-NEXT: </dict> 1341 // CHECK-NEXT: </array> 1342 // CHECK-NEXT: </dict> 1343 // CHECK-NEXT: <dict> 1344 // CHECK-NEXT: <key>kind</key><string>event</string> 1345 // CHECK-NEXT: <key>location</key> 1346 // CHECK-NEXT: <dict> 1347 // CHECK-NEXT: <key>line</key><integer>56</integer> 1348 // CHECK-NEXT: <key>col</key><integer>3</integer> 1349 // CHECK-NEXT: <key>file</key><integer>0</integer> 1350 // CHECK-NEXT: </dict> 1351 // CHECK-NEXT: <key>ranges</key> 1352 // CHECK-NEXT: <array> 1353 // CHECK-NEXT: <array> 1354 // CHECK-NEXT: <dict> 1355 // CHECK-NEXT: <key>line</key><integer>56</integer> 1356 // CHECK-NEXT: <key>col</key><integer>3</integer> 1357 // CHECK-NEXT: <key>file</key><integer>0</integer> 1358 // CHECK-NEXT: </dict> 1359 // CHECK-NEXT: <dict> 1360 // CHECK-NEXT: <key>line</key><integer>56</integer> 1361 // CHECK-NEXT: <key>col</key><integer>17</integer> 1362 // CHECK-NEXT: <key>file</key><integer>0</integer> 1363 // CHECK-NEXT: </dict> 1364 // CHECK-NEXT: </array> 1365 // CHECK-NEXT: </array> 1366 // CHECK-NEXT: <key>depth</key><integer>0</integer> 1367 // CHECK-NEXT: <key>extended_message</key> 1368 // CHECK-NEXT: <string>Calling anonymous block</string> 1369 // CHECK-NEXT: <key>message</key> 1370 // CHECK-NEXT: <string>Calling anonymous block</string> 1371 // CHECK-NEXT: </dict> 1372 // CHECK-NEXT: <dict> 1373 // CHECK-NEXT: <key>kind</key><string>event</string> 1374 // CHECK-NEXT: <key>location</key> 1375 // CHECK-NEXT: <dict> 1376 // CHECK-NEXT: <key>line</key><integer>56</integer> 1377 // CHECK-NEXT: <key>col</key><integer>3</integer> 1378 // CHECK-NEXT: <key>file</key><integer>0</integer> 1379 // CHECK-NEXT: </dict> 1380 // CHECK-NEXT: <key>depth</key><integer>1</integer> 1381 // CHECK-NEXT: <key>extended_message</key> 1382 // CHECK-NEXT: <string>Entered call from 'test_block_blockvar'</string> 1383 // CHECK-NEXT: <key>message</key> 1384 // CHECK-NEXT: <string>Entered call from 'test_block_blockvar'</string> 1385 // CHECK-NEXT: </dict> 1386 // CHECK-NEXT: <dict> 1387 // CHECK-NEXT: <key>kind</key><string>control</string> 1388 // CHECK-NEXT: <key>edges</key> 1389 // CHECK-NEXT: <array> 1390 // CHECK-NEXT: <dict> 1391 // CHECK-NEXT: <key>start</key> 1392 // CHECK-NEXT: <array> 1393 // CHECK-NEXT: <dict> 1394 // CHECK-NEXT: <key>line</key><integer>56</integer> 1395 // CHECK-NEXT: <key>col</key><integer>3</integer> 1396 // CHECK-NEXT: <key>file</key><integer>0</integer> 1397 // CHECK-NEXT: </dict> 1398 // CHECK-NEXT: <dict> 1399 // CHECK-NEXT: <key>line</key><integer>56</integer> 1400 // CHECK-NEXT: <key>col</key><integer>3</integer> 1401 // CHECK-NEXT: <key>file</key><integer>0</integer> 1402 // CHECK-NEXT: </dict> 1403 // CHECK-NEXT: </array> 1404 // CHECK-NEXT: <key>end</key> 1405 // CHECK-NEXT: <array> 1406 // CHECK-NEXT: <dict> 1407 // CHECK-NEXT: <key>line</key><integer>56</integer> 1408 // CHECK-NEXT: <key>col</key><integer>8</integer> 1409 // CHECK-NEXT: <key>file</key><integer>0</integer> 1410 // CHECK-NEXT: </dict> 1411 // CHECK-NEXT: <dict> 1412 // CHECK-NEXT: <key>line</key><integer>56</integer> 1413 // CHECK-NEXT: <key>col</key><integer>8</integer> 1414 // CHECK-NEXT: <key>file</key><integer>0</integer> 1415 // CHECK-NEXT: </dict> 1416 // CHECK-NEXT: </array> 1417 // CHECK-NEXT: </dict> 1418 // CHECK-NEXT: </array> 1419 // CHECK-NEXT: </dict> 1420 // CHECK-NEXT: <dict> 1421 // CHECK-NEXT: <key>kind</key><string>event</string> 1422 // CHECK-NEXT: <key>location</key> 1423 // CHECK-NEXT: <dict> 1424 // CHECK-NEXT: <key>line</key><integer>56</integer> 1425 // CHECK-NEXT: <key>col</key><integer>8</integer> 1426 // CHECK-NEXT: <key>file</key><integer>0</integer> 1427 // CHECK-NEXT: </dict> 1428 // CHECK-NEXT: <key>ranges</key> 1429 // CHECK-NEXT: <array> 1430 // CHECK-NEXT: <array> 1431 // CHECK-NEXT: <dict> 1432 // CHECK-NEXT: <key>line</key><integer>56</integer> 1433 // CHECK-NEXT: <key>col</key><integer>8</integer> 1434 // CHECK-NEXT: <key>file</key><integer>0</integer> 1435 // CHECK-NEXT: </dict> 1436 // CHECK-NEXT: <dict> 1437 // CHECK-NEXT: <key>line</key><integer>56</integer> 1438 // CHECK-NEXT: <key>col</key><integer>12</integer> 1439 // CHECK-NEXT: <key>file</key><integer>0</integer> 1440 // CHECK-NEXT: </dict> 1441 // CHECK-NEXT: </array> 1442 // CHECK-NEXT: </array> 1443 // CHECK-NEXT: <key>depth</key><integer>1</integer> 1444 // CHECK-NEXT: <key>extended_message</key> 1445 // CHECK-NEXT: <string>Null pointer value stored to 'p'</string> 1446 // CHECK-NEXT: <key>message</key> 1447 // CHECK-NEXT: <string>Null pointer value stored to 'p'</string> 1448 // CHECK-NEXT: </dict> 1449 // CHECK-NEXT: <dict> 1450 // CHECK-NEXT: <key>kind</key><string>event</string> 1451 // CHECK-NEXT: <key>location</key> 1452 // CHECK-NEXT: <dict> 1453 // CHECK-NEXT: <key>line</key><integer>56</integer> 1454 // CHECK-NEXT: <key>col</key><integer>3</integer> 1455 // CHECK-NEXT: <key>file</key><integer>0</integer> 1456 // CHECK-NEXT: </dict> 1457 // CHECK-NEXT: <key>ranges</key> 1458 // CHECK-NEXT: <array> 1459 // CHECK-NEXT: <array> 1460 // CHECK-NEXT: <dict> 1461 // CHECK-NEXT: <key>line</key><integer>56</integer> 1462 // CHECK-NEXT: <key>col</key><integer>3</integer> 1463 // CHECK-NEXT: <key>file</key><integer>0</integer> 1464 // CHECK-NEXT: </dict> 1465 // CHECK-NEXT: <dict> 1466 // CHECK-NEXT: <key>line</key><integer>56</integer> 1467 // CHECK-NEXT: <key>col</key><integer>17</integer> 1468 // CHECK-NEXT: <key>file</key><integer>0</integer> 1469 // CHECK-NEXT: </dict> 1470 // CHECK-NEXT: </array> 1471 // CHECK-NEXT: </array> 1472 // CHECK-NEXT: <key>depth</key><integer>1</integer> 1473 // CHECK-NEXT: <key>extended_message</key> 1474 // CHECK-NEXT: <string>Returning to caller</string> 1475 // CHECK-NEXT: <key>message</key> 1476 // CHECK-NEXT: <string>Returning to caller</string> 1477 // CHECK-NEXT: </dict> 1478 // CHECK-NEXT: <dict> 1479 // CHECK-NEXT: <key>kind</key><string>control</string> 1480 // CHECK-NEXT: <key>edges</key> 1481 // CHECK-NEXT: <array> 1482 // CHECK-NEXT: <dict> 1483 // CHECK-NEXT: <key>start</key> 1484 // CHECK-NEXT: <array> 1485 // CHECK-NEXT: <dict> 1486 // CHECK-NEXT: <key>line</key><integer>56</integer> 1487 // CHECK-NEXT: <key>col</key><integer>3</integer> 1488 // CHECK-NEXT: <key>file</key><integer>0</integer> 1489 // CHECK-NEXT: </dict> 1490 // CHECK-NEXT: <dict> 1491 // CHECK-NEXT: <key>line</key><integer>56</integer> 1492 // CHECK-NEXT: <key>col</key><integer>3</integer> 1493 // CHECK-NEXT: <key>file</key><integer>0</integer> 1494 // CHECK-NEXT: </dict> 1495 // CHECK-NEXT: </array> 1496 // CHECK-NEXT: <key>end</key> 1497 // CHECK-NEXT: <array> 1498 // CHECK-NEXT: <dict> 1499 // CHECK-NEXT: <key>line</key><integer>57</integer> 1500 // CHECK-NEXT: <key>col</key><integer>3</integer> 1501 // CHECK-NEXT: <key>file</key><integer>0</integer> 1502 // CHECK-NEXT: </dict> 1503 // CHECK-NEXT: <dict> 1504 // CHECK-NEXT: <key>line</key><integer>57</integer> 1505 // CHECK-NEXT: <key>col</key><integer>3</integer> 1506 // CHECK-NEXT: <key>file</key><integer>0</integer> 1507 // CHECK-NEXT: </dict> 1508 // CHECK-NEXT: </array> 1509 // CHECK-NEXT: </dict> 1510 // CHECK-NEXT: </array> 1511 // CHECK-NEXT: </dict> 1512 // CHECK-NEXT: <dict> 1513 // CHECK-NEXT: <key>kind</key><string>event</string> 1514 // CHECK-NEXT: <key>location</key> 1515 // CHECK-NEXT: <dict> 1516 // CHECK-NEXT: <key>line</key><integer>57</integer> 1517 // CHECK-NEXT: <key>col</key><integer>3</integer> 1518 // CHECK-NEXT: <key>file</key><integer>0</integer> 1519 // CHECK-NEXT: </dict> 1520 // CHECK-NEXT: <key>ranges</key> 1521 // CHECK-NEXT: <array> 1522 // CHECK-NEXT: <array> 1523 // CHECK-NEXT: <dict> 1524 // CHECK-NEXT: <key>line</key><integer>57</integer> 1525 // CHECK-NEXT: <key>col</key><integer>4</integer> 1526 // CHECK-NEXT: <key>file</key><integer>0</integer> 1527 // CHECK-NEXT: </dict> 1528 // CHECK-NEXT: <dict> 1529 // CHECK-NEXT: <key>line</key><integer>57</integer> 1530 // CHECK-NEXT: <key>col</key><integer>4</integer> 1531 // CHECK-NEXT: <key>file</key><integer>0</integer> 1532 // CHECK-NEXT: </dict> 1533 // CHECK-NEXT: </array> 1534 // CHECK-NEXT: </array> 1535 // CHECK-NEXT: <key>depth</key><integer>0</integer> 1536 // CHECK-NEXT: <key>extended_message</key> 1537 // CHECK-NEXT: <string>Dereference of null pointer (loaded from variable 'p')</string> 1538 // CHECK-NEXT: <key>message</key> 1539 // CHECK-NEXT: <string>Dereference of null pointer (loaded from variable 'p')</string> 1540 // CHECK-NEXT: </dict> 1541 // CHECK-NEXT: </array> 1542 // CHECK-NEXT: <key>description</key><string>Dereference of null pointer (loaded from variable 'p')</string> 1543 // CHECK-NEXT: <key>category</key><string>Logic error</string> 1544 // CHECK-NEXT: <key>type</key><string>Dereference of null pointer</string> 1545 // CHECK-NEXT: <key>issue_context_kind</key><string>function</string> 1546 // CHECK-NEXT: <key>issue_context</key><string>test_block_blockvar</string> 1547 // CHECK-NEXT: <key>issue_hash</key><integer>3</integer> 1548 // CHECK-NEXT: <key>location</key> 1549 // CHECK-NEXT: <dict> 1550 // CHECK-NEXT: <key>line</key><integer>57</integer> 1551 // CHECK-NEXT: <key>col</key><integer>3</integer> 1552 // CHECK-NEXT: <key>file</key><integer>0</integer> 1553 // CHECK-NEXT: </dict> 1554 // CHECK-NEXT: </dict> 1555 // CHECK-NEXT: <dict> 1556 // CHECK-NEXT: <key>path</key> 1557 // CHECK-NEXT: <array> 1558 // CHECK-NEXT: <dict> 1559 // CHECK-NEXT: <key>kind</key><string>control</string> 1560 // CHECK-NEXT: <key>edges</key> 1561 // CHECK-NEXT: <array> 1562 // CHECK-NEXT: <dict> 1563 // CHECK-NEXT: <key>start</key> 1564 // CHECK-NEXT: <array> 1565 // CHECK-NEXT: <dict> 1566 // CHECK-NEXT: <key>line</key><integer>61</integer> 1567 // CHECK-NEXT: <key>col</key><integer>3</integer> 1568 // CHECK-NEXT: <key>file</key><integer>0</integer> 1569 // CHECK-NEXT: </dict> 1570 // CHECK-NEXT: <dict> 1571 // CHECK-NEXT: <key>line</key><integer>61</integer> 1572 // CHECK-NEXT: <key>col</key><integer>5</integer> 1573 // CHECK-NEXT: <key>file</key><integer>0</integer> 1574 // CHECK-NEXT: </dict> 1575 // CHECK-NEXT: </array> 1576 // CHECK-NEXT: <key>end</key> 1577 // CHECK-NEXT: <array> 1578 // CHECK-NEXT: <dict> 1579 // CHECK-NEXT: <key>line</key><integer>62</integer> 1580 // CHECK-NEXT: <key>col</key><integer>3</integer> 1581 // CHECK-NEXT: <key>file</key><integer>0</integer> 1582 // CHECK-NEXT: </dict> 1583 // CHECK-NEXT: <dict> 1584 // CHECK-NEXT: <key>line</key><integer>62</integer> 1585 // CHECK-NEXT: <key>col</key><integer>3</integer> 1586 // CHECK-NEXT: <key>file</key><integer>0</integer> 1587 // CHECK-NEXT: </dict> 1588 // CHECK-NEXT: </array> 1589 // CHECK-NEXT: </dict> 1590 // CHECK-NEXT: </array> 1591 // CHECK-NEXT: </dict> 1592 // CHECK-NEXT: <dict> 1593 // CHECK-NEXT: <key>kind</key><string>event</string> 1594 // CHECK-NEXT: <key>location</key> 1595 // CHECK-NEXT: <dict> 1596 // CHECK-NEXT: <key>line</key><integer>62</integer> 1597 // CHECK-NEXT: <key>col</key><integer>3</integer> 1598 // CHECK-NEXT: <key>file</key><integer>0</integer> 1599 // CHECK-NEXT: </dict> 1600 // CHECK-NEXT: <key>ranges</key> 1601 // CHECK-NEXT: <array> 1602 // CHECK-NEXT: <array> 1603 // CHECK-NEXT: <dict> 1604 // CHECK-NEXT: <key>line</key><integer>62</integer> 1605 // CHECK-NEXT: <key>col</key><integer>3</integer> 1606 // CHECK-NEXT: <key>file</key><integer>0</integer> 1607 // CHECK-NEXT: </dict> 1608 // CHECK-NEXT: <dict> 1609 // CHECK-NEXT: <key>line</key><integer>62</integer> 1610 // CHECK-NEXT: <key>col</key><integer>27</integer> 1611 // CHECK-NEXT: <key>file</key><integer>0</integer> 1612 // CHECK-NEXT: </dict> 1613 // CHECK-NEXT: </array> 1614 // CHECK-NEXT: </array> 1615 // CHECK-NEXT: <key>depth</key><integer>0</integer> 1616 // CHECK-NEXT: <key>extended_message</key> 1617 // CHECK-NEXT: <string>Calling anonymous block</string> 1618 // CHECK-NEXT: <key>message</key> 1619 // CHECK-NEXT: <string>Calling anonymous block</string> 1620 // CHECK-NEXT: </dict> 1621 // CHECK-NEXT: <dict> 1622 // CHECK-NEXT: <key>kind</key><string>event</string> 1623 // CHECK-NEXT: <key>location</key> 1624 // CHECK-NEXT: <dict> 1625 // CHECK-NEXT: <key>line</key><integer>62</integer> 1626 // CHECK-NEXT: <key>col</key><integer>3</integer> 1627 // CHECK-NEXT: <key>file</key><integer>0</integer> 1628 // CHECK-NEXT: </dict> 1629 // CHECK-NEXT: <key>depth</key><integer>1</integer> 1630 // CHECK-NEXT: <key>extended_message</key> 1631 // CHECK-NEXT: <string>Entered call from 'test_block_arg'</string> 1632 // CHECK-NEXT: <key>message</key> 1633 // CHECK-NEXT: <string>Entered call from 'test_block_arg'</string> 1634 // CHECK-NEXT: </dict> 1635 // CHECK-NEXT: <dict> 1636 // CHECK-NEXT: <key>kind</key><string>control</string> 1637 // CHECK-NEXT: <key>edges</key> 1638 // CHECK-NEXT: <array> 1639 // CHECK-NEXT: <dict> 1640 // CHECK-NEXT: <key>start</key> 1641 // CHECK-NEXT: <array> 1642 // CHECK-NEXT: <dict> 1643 // CHECK-NEXT: <key>line</key><integer>62</integer> 1644 // CHECK-NEXT: <key>col</key><integer>3</integer> 1645 // CHECK-NEXT: <key>file</key><integer>0</integer> 1646 // CHECK-NEXT: </dict> 1647 // CHECK-NEXT: <dict> 1648 // CHECK-NEXT: <key>line</key><integer>62</integer> 1649 // CHECK-NEXT: <key>col</key><integer>3</integer> 1650 // CHECK-NEXT: <key>file</key><integer>0</integer> 1651 // CHECK-NEXT: </dict> 1652 // CHECK-NEXT: </array> 1653 // CHECK-NEXT: <key>end</key> 1654 // CHECK-NEXT: <array> 1655 // CHECK-NEXT: <dict> 1656 // CHECK-NEXT: <key>line</key><integer>62</integer> 1657 // CHECK-NEXT: <key>col</key><integer>15</integer> 1658 // CHECK-NEXT: <key>file</key><integer>0</integer> 1659 // CHECK-NEXT: </dict> 1660 // CHECK-NEXT: <dict> 1661 // CHECK-NEXT: <key>line</key><integer>62</integer> 1662 // CHECK-NEXT: <key>col</key><integer>15</integer> 1663 // CHECK-NEXT: <key>file</key><integer>0</integer> 1664 // CHECK-NEXT: </dict> 1665 // CHECK-NEXT: </array> 1666 // CHECK-NEXT: </dict> 1667 // CHECK-NEXT: </array> 1668 // CHECK-NEXT: </dict> 1669 // CHECK-NEXT: <dict> 1670 // CHECK-NEXT: <key>kind</key><string>event</string> 1671 // CHECK-NEXT: <key>location</key> 1672 // CHECK-NEXT: <dict> 1673 // CHECK-NEXT: <key>line</key><integer>62</integer> 1674 // CHECK-NEXT: <key>col</key><integer>15</integer> 1675 // CHECK-NEXT: <key>file</key><integer>0</integer> 1676 // CHECK-NEXT: </dict> 1677 // CHECK-NEXT: <key>ranges</key> 1678 // CHECK-NEXT: <array> 1679 // CHECK-NEXT: <array> 1680 // CHECK-NEXT: <dict> 1681 // CHECK-NEXT: <key>line</key><integer>62</integer> 1682 // CHECK-NEXT: <key>col</key><integer>15</integer> 1683 // CHECK-NEXT: <key>file</key><integer>0</integer> 1684 // CHECK-NEXT: </dict> 1685 // CHECK-NEXT: <dict> 1686 // CHECK-NEXT: <key>line</key><integer>62</integer> 1687 // CHECK-NEXT: <key>col</key><integer>20</integer> 1688 // CHECK-NEXT: <key>file</key><integer>0</integer> 1689 // CHECK-NEXT: </dict> 1690 // CHECK-NEXT: </array> 1691 // CHECK-NEXT: </array> 1692 // CHECK-NEXT: <key>depth</key><integer>1</integer> 1693 // CHECK-NEXT: <key>extended_message</key> 1694 // CHECK-NEXT: <string>Null pointer value stored to 'p'</string> 1695 // CHECK-NEXT: <key>message</key> 1696 // CHECK-NEXT: <string>Null pointer value stored to 'p'</string> 1697 // CHECK-NEXT: </dict> 1698 // CHECK-NEXT: <dict> 1699 // CHECK-NEXT: <key>kind</key><string>event</string> 1700 // CHECK-NEXT: <key>location</key> 1701 // CHECK-NEXT: <dict> 1702 // CHECK-NEXT: <key>line</key><integer>62</integer> 1703 // CHECK-NEXT: <key>col</key><integer>3</integer> 1704 // CHECK-NEXT: <key>file</key><integer>0</integer> 1705 // CHECK-NEXT: </dict> 1706 // CHECK-NEXT: <key>ranges</key> 1707 // CHECK-NEXT: <array> 1708 // CHECK-NEXT: <array> 1709 // CHECK-NEXT: <dict> 1710 // CHECK-NEXT: <key>line</key><integer>62</integer> 1711 // CHECK-NEXT: <key>col</key><integer>3</integer> 1712 // CHECK-NEXT: <key>file</key><integer>0</integer> 1713 // CHECK-NEXT: </dict> 1714 // CHECK-NEXT: <dict> 1715 // CHECK-NEXT: <key>line</key><integer>62</integer> 1716 // CHECK-NEXT: <key>col</key><integer>27</integer> 1717 // CHECK-NEXT: <key>file</key><integer>0</integer> 1718 // CHECK-NEXT: </dict> 1719 // CHECK-NEXT: </array> 1720 // CHECK-NEXT: </array> 1721 // CHECK-NEXT: <key>depth</key><integer>1</integer> 1722 // CHECK-NEXT: <key>extended_message</key> 1723 // CHECK-NEXT: <string>Returning to caller</string> 1724 // CHECK-NEXT: <key>message</key> 1725 // CHECK-NEXT: <string>Returning to caller</string> 1726 // CHECK-NEXT: </dict> 1727 // CHECK-NEXT: <dict> 1728 // CHECK-NEXT: <key>kind</key><string>control</string> 1729 // CHECK-NEXT: <key>edges</key> 1730 // CHECK-NEXT: <array> 1731 // CHECK-NEXT: <dict> 1732 // CHECK-NEXT: <key>start</key> 1733 // CHECK-NEXT: <array> 1734 // CHECK-NEXT: <dict> 1735 // CHECK-NEXT: <key>line</key><integer>62</integer> 1736 // CHECK-NEXT: <key>col</key><integer>3</integer> 1737 // CHECK-NEXT: <key>file</key><integer>0</integer> 1738 // CHECK-NEXT: </dict> 1739 // CHECK-NEXT: <dict> 1740 // CHECK-NEXT: <key>line</key><integer>62</integer> 1741 // CHECK-NEXT: <key>col</key><integer>3</integer> 1742 // CHECK-NEXT: <key>file</key><integer>0</integer> 1743 // CHECK-NEXT: </dict> 1744 // CHECK-NEXT: </array> 1745 // CHECK-NEXT: <key>end</key> 1746 // CHECK-NEXT: <array> 1747 // CHECK-NEXT: <dict> 1748 // CHECK-NEXT: <key>line</key><integer>63</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: <dict> 1753 // CHECK-NEXT: <key>line</key><integer>63</integer> 1754 // CHECK-NEXT: <key>col</key><integer>3</integer> 1755 // CHECK-NEXT: <key>file</key><integer>0</integer> 1756 // CHECK-NEXT: </dict> 1757 // CHECK-NEXT: </array> 1758 // CHECK-NEXT: </dict> 1759 // CHECK-NEXT: </array> 1760 // CHECK-NEXT: </dict> 1761 // CHECK-NEXT: <dict> 1762 // CHECK-NEXT: <key>kind</key><string>event</string> 1763 // CHECK-NEXT: <key>location</key> 1764 // CHECK-NEXT: <dict> 1765 // CHECK-NEXT: <key>line</key><integer>63</integer> 1766 // CHECK-NEXT: <key>col</key><integer>3</integer> 1767 // CHECK-NEXT: <key>file</key><integer>0</integer> 1768 // CHECK-NEXT: </dict> 1769 // CHECK-NEXT: <key>ranges</key> 1770 // CHECK-NEXT: <array> 1771 // CHECK-NEXT: <array> 1772 // CHECK-NEXT: <dict> 1773 // CHECK-NEXT: <key>line</key><integer>63</integer> 1774 // CHECK-NEXT: <key>col</key><integer>4</integer> 1775 // CHECK-NEXT: <key>file</key><integer>0</integer> 1776 // CHECK-NEXT: </dict> 1777 // CHECK-NEXT: <dict> 1778 // CHECK-NEXT: <key>line</key><integer>63</integer> 1779 // CHECK-NEXT: <key>col</key><integer>4</integer> 1780 // CHECK-NEXT: <key>file</key><integer>0</integer> 1781 // CHECK-NEXT: </dict> 1782 // CHECK-NEXT: </array> 1783 // CHECK-NEXT: </array> 1784 // CHECK-NEXT: <key>depth</key><integer>0</integer> 1785 // CHECK-NEXT: <key>extended_message</key> 1786 // CHECK-NEXT: <string>Dereference of null pointer (loaded from variable 'p')</string> 1787 // CHECK-NEXT: <key>message</key> 1788 // CHECK-NEXT: <string>Dereference of null pointer (loaded from variable 'p')</string> 1789 // CHECK-NEXT: </dict> 1790 // CHECK-NEXT: </array> 1791 // CHECK-NEXT: <key>description</key><string>Dereference of null pointer (loaded from variable 'p')</string> 1792 // CHECK-NEXT: <key>category</key><string>Logic error</string> 1793 // CHECK-NEXT: <key>type</key><string>Dereference of null pointer</string> 1794 // CHECK-NEXT: <key>issue_context_kind</key><string>function</string> 1795 // CHECK-NEXT: <key>issue_context</key><string>test_block_arg</string> 1796 // CHECK-NEXT: <key>issue_hash</key><integer>3</integer> 1797 // CHECK-NEXT: <key>location</key> 1798 // CHECK-NEXT: <dict> 1799 // CHECK-NEXT: <key>line</key><integer>63</integer> 1800 // CHECK-NEXT: <key>col</key><integer>3</integer> 1801 // CHECK-NEXT: <key>file</key><integer>0</integer> 1802 // CHECK-NEXT: </dict> 1803 // CHECK-NEXT: </dict> 1804 // CHECK-NEXT: </array> 1805
