1 // RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-output=text -analyzer-config suppress-null-return-paths=false -fblocks -verify %s 2 // RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-output=plist-multi-file -analyzer-config suppress-null-return-paths=false -fblocks %s -o %t.plist 3 // RUN: FileCheck --input-file=%t.plist %s 4 5 typedef struct dispatch_queue_s *dispatch_queue_t; 6 typedef void (^dispatch_block_t)(void); 7 void dispatch_sync(dispatch_queue_t, dispatch_block_t); 8 9 10 @interface Test 11 @property int *p; 12 @end 13 14 int *getZeroIfNil(Test *x) { 15 return x.p; 16 // expected-note@-1 {{No method is called because the receiver is nil}} 17 // expected-note@-2 {{Returning null pointer}} 18 } 19 20 void testReturnZeroIfNil() { 21 *getZeroIfNil(0) = 1; // expected-warning{{Dereference of null pointer}} 22 // expected-note@-1 {{Calling 'getZeroIfNil'}} 23 // expected-note@-2 {{Passing nil object reference via 1st parameter 'x'}} 24 // expected-note@-3 {{Returning from 'getZeroIfNil'}} 25 // expected-note@-4 {{Dereference of null pointer}} 26 } 27 28 29 int testDispatchSyncInlining() { 30 extern dispatch_queue_t globalQueue; 31 32 __block int x; 33 34 // expected-note@+2 {{Calling 'dispatch_sync'}} 35 // expected-note@+1 {{Returning from 'dispatch_sync'}} 36 dispatch_sync(globalQueue, ^{ 37 // expected-note@7 {{Calling anonymous block}} 38 x = 0; 39 // expected-note@-1 {{The value 0 is assigned to 'x'}} 40 // expected-note@7 {{Returning to caller}} 41 }); 42 43 return 1 / x; // expected-warning{{Division by zero}} 44 // expected-note@-1 {{Division by zero}} 45 } 46 47 int testDispatchSyncInliningNoPruning(int coin) { 48 // This tests exactly the same case as above, except on a bug report where 49 // path pruning is disabled (an uninitialized variable capture). 50 // In this case 51 extern dispatch_queue_t globalQueue; 52 53 __block int y; 54 55 // expected-note@+1 {{Calling 'dispatch_sync'}} 56 dispatch_sync(globalQueue, ^{ 57 // expected-note@7 {{Calling anonymous block}} 58 int x; 59 // expected-note@-1 {{'x' declared without an initial value}} 60 ^{ y = x; }(); // expected-warning{{Variable 'x' is uninitialized when captured by block}} 61 // expected-note@-1 {{'x' is uninitialized when captured by block}} 62 }); 63 64 return y; 65 } 66 67 68 // CHECK: <key>diagnostics</key> 69 // CHECK-NEXT: <array> 70 // CHECK-NEXT: <dict> 71 // CHECK-NEXT: <key>path</key> 72 // CHECK-NEXT: <array> 73 // CHECK-NEXT: <dict> 74 // CHECK-NEXT: <key>kind</key><string>control</string> 75 // CHECK-NEXT: <key>edges</key> 76 // CHECK-NEXT: <array> 77 // CHECK-NEXT: <dict> 78 // CHECK-NEXT: <key>start</key> 79 // CHECK-NEXT: <array> 80 // CHECK-NEXT: <dict> 81 // CHECK-NEXT: <key>line</key><integer>21</integer> 82 // CHECK-NEXT: <key>col</key><integer>3</integer> 83 // CHECK-NEXT: <key>file</key><integer>0</integer> 84 // CHECK-NEXT: </dict> 85 // CHECK-NEXT: <dict> 86 // CHECK-NEXT: <key>line</key><integer>21</integer> 87 // CHECK-NEXT: <key>col</key><integer>3</integer> 88 // CHECK-NEXT: <key>file</key><integer>0</integer> 89 // CHECK-NEXT: </dict> 90 // CHECK-NEXT: </array> 91 // CHECK-NEXT: <key>end</key> 92 // CHECK-NEXT: <array> 93 // CHECK-NEXT: <dict> 94 // CHECK-NEXT: <key>line</key><integer>21</integer> 95 // CHECK-NEXT: <key>col</key><integer>17</integer> 96 // CHECK-NEXT: <key>file</key><integer>0</integer> 97 // CHECK-NEXT: </dict> 98 // CHECK-NEXT: <dict> 99 // CHECK-NEXT: <key>line</key><integer>21</integer> 100 // CHECK-NEXT: <key>col</key><integer>17</integer> 101 // CHECK-NEXT: <key>file</key><integer>0</integer> 102 // CHECK-NEXT: </dict> 103 // CHECK-NEXT: </array> 104 // CHECK-NEXT: </dict> 105 // CHECK-NEXT: </array> 106 // CHECK-NEXT: </dict> 107 // CHECK-NEXT: <dict> 108 // CHECK-NEXT: <key>kind</key><string>event</string> 109 // CHECK-NEXT: <key>location</key> 110 // CHECK-NEXT: <dict> 111 // CHECK-NEXT: <key>line</key><integer>21</integer> 112 // CHECK-NEXT: <key>col</key><integer>17</integer> 113 // CHECK-NEXT: <key>file</key><integer>0</integer> 114 // CHECK-NEXT: </dict> 115 // CHECK-NEXT: <key>ranges</key> 116 // CHECK-NEXT: <array> 117 // CHECK-NEXT: <array> 118 // CHECK-NEXT: <dict> 119 // CHECK-NEXT: <key>line</key><integer>21</integer> 120 // CHECK-NEXT: <key>col</key><integer>17</integer> 121 // CHECK-NEXT: <key>file</key><integer>0</integer> 122 // CHECK-NEXT: </dict> 123 // CHECK-NEXT: <dict> 124 // CHECK-NEXT: <key>line</key><integer>21</integer> 125 // CHECK-NEXT: <key>col</key><integer>17</integer> 126 // CHECK-NEXT: <key>file</key><integer>0</integer> 127 // CHECK-NEXT: </dict> 128 // CHECK-NEXT: </array> 129 // CHECK-NEXT: </array> 130 // CHECK-NEXT: <key>depth</key><integer>0</integer> 131 // CHECK-NEXT: <key>extended_message</key> 132 // CHECK-NEXT: <string>Passing nil object reference via 1st parameter 'x'</string> 133 // CHECK-NEXT: <key>message</key> 134 // CHECK-NEXT: <string>Passing nil object reference via 1st parameter 'x'</string> 135 // CHECK-NEXT: </dict> 136 // CHECK-NEXT: <dict> 137 // CHECK-NEXT: <key>kind</key><string>control</string> 138 // CHECK-NEXT: <key>edges</key> 139 // CHECK-NEXT: <array> 140 // CHECK-NEXT: <dict> 141 // CHECK-NEXT: <key>start</key> 142 // CHECK-NEXT: <array> 143 // CHECK-NEXT: <dict> 144 // CHECK-NEXT: <key>line</key><integer>21</integer> 145 // CHECK-NEXT: <key>col</key><integer>17</integer> 146 // CHECK-NEXT: <key>file</key><integer>0</integer> 147 // CHECK-NEXT: </dict> 148 // CHECK-NEXT: <dict> 149 // CHECK-NEXT: <key>line</key><integer>21</integer> 150 // CHECK-NEXT: <key>col</key><integer>17</integer> 151 // CHECK-NEXT: <key>file</key><integer>0</integer> 152 // CHECK-NEXT: </dict> 153 // CHECK-NEXT: </array> 154 // CHECK-NEXT: <key>end</key> 155 // CHECK-NEXT: <array> 156 // CHECK-NEXT: <dict> 157 // CHECK-NEXT: <key>line</key><integer>21</integer> 158 // CHECK-NEXT: <key>col</key><integer>4</integer> 159 // CHECK-NEXT: <key>file</key><integer>0</integer> 160 // CHECK-NEXT: </dict> 161 // CHECK-NEXT: <dict> 162 // CHECK-NEXT: <key>line</key><integer>21</integer> 163 // CHECK-NEXT: <key>col</key><integer>15</integer> 164 // CHECK-NEXT: <key>file</key><integer>0</integer> 165 // CHECK-NEXT: </dict> 166 // CHECK-NEXT: </array> 167 // CHECK-NEXT: </dict> 168 // CHECK-NEXT: </array> 169 // CHECK-NEXT: </dict> 170 // CHECK-NEXT: <dict> 171 // CHECK-NEXT: <key>kind</key><string>event</string> 172 // CHECK-NEXT: <key>location</key> 173 // CHECK-NEXT: <dict> 174 // CHECK-NEXT: <key>line</key><integer>21</integer> 175 // CHECK-NEXT: <key>col</key><integer>4</integer> 176 // CHECK-NEXT: <key>file</key><integer>0</integer> 177 // CHECK-NEXT: </dict> 178 // CHECK-NEXT: <key>ranges</key> 179 // CHECK-NEXT: <array> 180 // CHECK-NEXT: <array> 181 // CHECK-NEXT: <dict> 182 // CHECK-NEXT: <key>line</key><integer>21</integer> 183 // CHECK-NEXT: <key>col</key><integer>4</integer> 184 // CHECK-NEXT: <key>file</key><integer>0</integer> 185 // CHECK-NEXT: </dict> 186 // CHECK-NEXT: <dict> 187 // CHECK-NEXT: <key>line</key><integer>21</integer> 188 // CHECK-NEXT: <key>col</key><integer>18</integer> 189 // CHECK-NEXT: <key>file</key><integer>0</integer> 190 // CHECK-NEXT: </dict> 191 // CHECK-NEXT: </array> 192 // CHECK-NEXT: </array> 193 // CHECK-NEXT: <key>depth</key><integer>0</integer> 194 // CHECK-NEXT: <key>extended_message</key> 195 // CHECK-NEXT: <string>Calling 'getZeroIfNil'</string> 196 // CHECK-NEXT: <key>message</key> 197 // CHECK-NEXT: <string>Calling 'getZeroIfNil'</string> 198 // CHECK-NEXT: </dict> 199 // CHECK-NEXT: <dict> 200 // CHECK-NEXT: <key>kind</key><string>event</string> 201 // CHECK-NEXT: <key>location</key> 202 // CHECK-NEXT: <dict> 203 // CHECK-NEXT: <key>line</key><integer>14</integer> 204 // CHECK-NEXT: <key>col</key><integer>1</integer> 205 // CHECK-NEXT: <key>file</key><integer>0</integer> 206 // CHECK-NEXT: </dict> 207 // CHECK-NEXT: <key>depth</key><integer>1</integer> 208 // CHECK-NEXT: <key>extended_message</key> 209 // CHECK-NEXT: <string>Entered call from 'testReturnZeroIfNil'</string> 210 // CHECK-NEXT: <key>message</key> 211 // CHECK-NEXT: <string>Entered call from 'testReturnZeroIfNil'</string> 212 // CHECK-NEXT: </dict> 213 // CHECK-NEXT: <dict> 214 // CHECK-NEXT: <key>kind</key><string>control</string> 215 // CHECK-NEXT: <key>edges</key> 216 // CHECK-NEXT: <array> 217 // CHECK-NEXT: <dict> 218 // CHECK-NEXT: <key>start</key> 219 // CHECK-NEXT: <array> 220 // CHECK-NEXT: <dict> 221 // CHECK-NEXT: <key>line</key><integer>14</integer> 222 // CHECK-NEXT: <key>col</key><integer>1</integer> 223 // CHECK-NEXT: <key>file</key><integer>0</integer> 224 // CHECK-NEXT: </dict> 225 // CHECK-NEXT: <dict> 226 // CHECK-NEXT: <key>line</key><integer>14</integer> 227 // CHECK-NEXT: <key>col</key><integer>3</integer> 228 // CHECK-NEXT: <key>file</key><integer>0</integer> 229 // CHECK-NEXT: </dict> 230 // CHECK-NEXT: </array> 231 // CHECK-NEXT: <key>end</key> 232 // CHECK-NEXT: <array> 233 // CHECK-NEXT: <dict> 234 // CHECK-NEXT: <key>line</key><integer>15</integer> 235 // CHECK-NEXT: <key>col</key><integer>3</integer> 236 // CHECK-NEXT: <key>file</key><integer>0</integer> 237 // CHECK-NEXT: </dict> 238 // CHECK-NEXT: <dict> 239 // CHECK-NEXT: <key>line</key><integer>15</integer> 240 // CHECK-NEXT: <key>col</key><integer>8</integer> 241 // CHECK-NEXT: <key>file</key><integer>0</integer> 242 // CHECK-NEXT: </dict> 243 // CHECK-NEXT: </array> 244 // CHECK-NEXT: </dict> 245 // CHECK-NEXT: </array> 246 // CHECK-NEXT: </dict> 247 // CHECK-NEXT: <dict> 248 // CHECK-NEXT: <key>kind</key><string>control</string> 249 // CHECK-NEXT: <key>edges</key> 250 // CHECK-NEXT: <array> 251 // CHECK-NEXT: <dict> 252 // CHECK-NEXT: <key>start</key> 253 // CHECK-NEXT: <array> 254 // CHECK-NEXT: <dict> 255 // CHECK-NEXT: <key>line</key><integer>15</integer> 256 // CHECK-NEXT: <key>col</key><integer>3</integer> 257 // CHECK-NEXT: <key>file</key><integer>0</integer> 258 // CHECK-NEXT: </dict> 259 // CHECK-NEXT: <dict> 260 // CHECK-NEXT: <key>line</key><integer>15</integer> 261 // CHECK-NEXT: <key>col</key><integer>8</integer> 262 // CHECK-NEXT: <key>file</key><integer>0</integer> 263 // CHECK-NEXT: </dict> 264 // CHECK-NEXT: </array> 265 // CHECK-NEXT: <key>end</key> 266 // CHECK-NEXT: <array> 267 // CHECK-NEXT: <dict> 268 // CHECK-NEXT: <key>line</key><integer>15</integer> 269 // CHECK-NEXT: <key>col</key><integer>10</integer> 270 // CHECK-NEXT: <key>file</key><integer>0</integer> 271 // CHECK-NEXT: </dict> 272 // CHECK-NEXT: <dict> 273 // CHECK-NEXT: <key>line</key><integer>15</integer> 274 // CHECK-NEXT: <key>col</key><integer>10</integer> 275 // CHECK-NEXT: <key>file</key><integer>0</integer> 276 // CHECK-NEXT: </dict> 277 // CHECK-NEXT: </array> 278 // CHECK-NEXT: </dict> 279 // CHECK-NEXT: </array> 280 // CHECK-NEXT: </dict> 281 // CHECK-NEXT: <dict> 282 // CHECK-NEXT: <key>kind</key><string>event</string> 283 // CHECK-NEXT: <key>location</key> 284 // CHECK-NEXT: <dict> 285 // CHECK-NEXT: <key>line</key><integer>15</integer> 286 // CHECK-NEXT: <key>col</key><integer>10</integer> 287 // CHECK-NEXT: <key>file</key><integer>0</integer> 288 // CHECK-NEXT: </dict> 289 // CHECK-NEXT: <key>ranges</key> 290 // CHECK-NEXT: <array> 291 // CHECK-NEXT: <array> 292 // CHECK-NEXT: <dict> 293 // CHECK-NEXT: <key>line</key><integer>15</integer> 294 // CHECK-NEXT: <key>col</key><integer>10</integer> 295 // CHECK-NEXT: <key>file</key><integer>0</integer> 296 // CHECK-NEXT: </dict> 297 // CHECK-NEXT: <dict> 298 // CHECK-NEXT: <key>line</key><integer>15</integer> 299 // CHECK-NEXT: <key>col</key><integer>10</integer> 300 // CHECK-NEXT: <key>file</key><integer>0</integer> 301 // CHECK-NEXT: </dict> 302 // CHECK-NEXT: </array> 303 // CHECK-NEXT: </array> 304 // CHECK-NEXT: <key>depth</key><integer>1</integer> 305 // CHECK-NEXT: <key>extended_message</key> 306 // CHECK-NEXT: <string>No method is called because the receiver is nil</string> 307 // CHECK-NEXT: <key>message</key> 308 // CHECK-NEXT: <string>No method is called because the receiver is nil</string> 309 // CHECK-NEXT: </dict> 310 // CHECK-NEXT: <dict> 311 // CHECK-NEXT: <key>kind</key><string>control</string> 312 // CHECK-NEXT: <key>edges</key> 313 // CHECK-NEXT: <array> 314 // CHECK-NEXT: <dict> 315 // CHECK-NEXT: <key>start</key> 316 // CHECK-NEXT: <array> 317 // CHECK-NEXT: <dict> 318 // CHECK-NEXT: <key>line</key><integer>15</integer> 319 // CHECK-NEXT: <key>col</key><integer>10</integer> 320 // CHECK-NEXT: <key>file</key><integer>0</integer> 321 // CHECK-NEXT: </dict> 322 // CHECK-NEXT: <dict> 323 // CHECK-NEXT: <key>line</key><integer>15</integer> 324 // CHECK-NEXT: <key>col</key><integer>10</integer> 325 // CHECK-NEXT: <key>file</key><integer>0</integer> 326 // CHECK-NEXT: </dict> 327 // CHECK-NEXT: </array> 328 // CHECK-NEXT: <key>end</key> 329 // CHECK-NEXT: <array> 330 // CHECK-NEXT: <dict> 331 // CHECK-NEXT: <key>line</key><integer>15</integer> 332 // CHECK-NEXT: <key>col</key><integer>3</integer> 333 // CHECK-NEXT: <key>file</key><integer>0</integer> 334 // CHECK-NEXT: </dict> 335 // CHECK-NEXT: <dict> 336 // CHECK-NEXT: <key>line</key><integer>15</integer> 337 // CHECK-NEXT: <key>col</key><integer>8</integer> 338 // CHECK-NEXT: <key>file</key><integer>0</integer> 339 // CHECK-NEXT: </dict> 340 // CHECK-NEXT: </array> 341 // CHECK-NEXT: </dict> 342 // CHECK-NEXT: </array> 343 // CHECK-NEXT: </dict> 344 // CHECK-NEXT: <dict> 345 // CHECK-NEXT: <key>kind</key><string>event</string> 346 // CHECK-NEXT: <key>location</key> 347 // CHECK-NEXT: <dict> 348 // CHECK-NEXT: <key>line</key><integer>15</integer> 349 // CHECK-NEXT: <key>col</key><integer>3</integer> 350 // CHECK-NEXT: <key>file</key><integer>0</integer> 351 // CHECK-NEXT: </dict> 352 // CHECK-NEXT: <key>ranges</key> 353 // CHECK-NEXT: <array> 354 // CHECK-NEXT: <array> 355 // CHECK-NEXT: <dict> 356 // CHECK-NEXT: <key>line</key><integer>15</integer> 357 // CHECK-NEXT: <key>col</key><integer>3</integer> 358 // CHECK-NEXT: <key>file</key><integer>0</integer> 359 // CHECK-NEXT: </dict> 360 // CHECK-NEXT: <dict> 361 // CHECK-NEXT: <key>line</key><integer>15</integer> 362 // CHECK-NEXT: <key>col</key><integer>12</integer> 363 // CHECK-NEXT: <key>file</key><integer>0</integer> 364 // CHECK-NEXT: </dict> 365 // CHECK-NEXT: </array> 366 // CHECK-NEXT: </array> 367 // CHECK-NEXT: <key>depth</key><integer>1</integer> 368 // CHECK-NEXT: <key>extended_message</key> 369 // CHECK-NEXT: <string>Returning null pointer</string> 370 // CHECK-NEXT: <key>message</key> 371 // CHECK-NEXT: <string>Returning null pointer</string> 372 // CHECK-NEXT: </dict> 373 // CHECK-NEXT: <dict> 374 // CHECK-NEXT: <key>kind</key><string>event</string> 375 // CHECK-NEXT: <key>location</key> 376 // CHECK-NEXT: <dict> 377 // CHECK-NEXT: <key>line</key><integer>21</integer> 378 // CHECK-NEXT: <key>col</key><integer>4</integer> 379 // CHECK-NEXT: <key>file</key><integer>0</integer> 380 // CHECK-NEXT: </dict> 381 // CHECK-NEXT: <key>ranges</key> 382 // CHECK-NEXT: <array> 383 // CHECK-NEXT: <array> 384 // CHECK-NEXT: <dict> 385 // CHECK-NEXT: <key>line</key><integer>21</integer> 386 // CHECK-NEXT: <key>col</key><integer>4</integer> 387 // CHECK-NEXT: <key>file</key><integer>0</integer> 388 // CHECK-NEXT: </dict> 389 // CHECK-NEXT: <dict> 390 // CHECK-NEXT: <key>line</key><integer>21</integer> 391 // CHECK-NEXT: <key>col</key><integer>18</integer> 392 // CHECK-NEXT: <key>file</key><integer>0</integer> 393 // CHECK-NEXT: </dict> 394 // CHECK-NEXT: </array> 395 // CHECK-NEXT: </array> 396 // CHECK-NEXT: <key>depth</key><integer>1</integer> 397 // CHECK-NEXT: <key>extended_message</key> 398 // CHECK-NEXT: <string>Returning from 'getZeroIfNil'</string> 399 // CHECK-NEXT: <key>message</key> 400 // CHECK-NEXT: <string>Returning from 'getZeroIfNil'</string> 401 // CHECK-NEXT: </dict> 402 // CHECK-NEXT: <dict> 403 // CHECK-NEXT: <key>kind</key><string>control</string> 404 // CHECK-NEXT: <key>edges</key> 405 // CHECK-NEXT: <array> 406 // CHECK-NEXT: <dict> 407 // CHECK-NEXT: <key>start</key> 408 // CHECK-NEXT: <array> 409 // CHECK-NEXT: <dict> 410 // CHECK-NEXT: <key>line</key><integer>21</integer> 411 // CHECK-NEXT: <key>col</key><integer>3</integer> 412 // CHECK-NEXT: <key>file</key><integer>0</integer> 413 // CHECK-NEXT: </dict> 414 // CHECK-NEXT: <dict> 415 // CHECK-NEXT: <key>line</key><integer>21</integer> 416 // CHECK-NEXT: <key>col</key><integer>3</integer> 417 // CHECK-NEXT: <key>file</key><integer>0</integer> 418 // CHECK-NEXT: </dict> 419 // CHECK-NEXT: </array> 420 // CHECK-NEXT: <key>end</key> 421 // CHECK-NEXT: <array> 422 // CHECK-NEXT: <dict> 423 // CHECK-NEXT: <key>line</key><integer>21</integer> 424 // CHECK-NEXT: <key>col</key><integer>4</integer> 425 // CHECK-NEXT: <key>file</key><integer>0</integer> 426 // CHECK-NEXT: </dict> 427 // CHECK-NEXT: <dict> 428 // CHECK-NEXT: <key>line</key><integer>21</integer> 429 // CHECK-NEXT: <key>col</key><integer>15</integer> 430 // CHECK-NEXT: <key>file</key><integer>0</integer> 431 // CHECK-NEXT: </dict> 432 // CHECK-NEXT: </array> 433 // CHECK-NEXT: </dict> 434 // CHECK-NEXT: </array> 435 // CHECK-NEXT: </dict> 436 // CHECK-NEXT: <dict> 437 // CHECK-NEXT: <key>kind</key><string>control</string> 438 // CHECK-NEXT: <key>edges</key> 439 // CHECK-NEXT: <array> 440 // CHECK-NEXT: <dict> 441 // CHECK-NEXT: <key>start</key> 442 // CHECK-NEXT: <array> 443 // CHECK-NEXT: <dict> 444 // CHECK-NEXT: <key>line</key><integer>21</integer> 445 // CHECK-NEXT: <key>col</key><integer>4</integer> 446 // CHECK-NEXT: <key>file</key><integer>0</integer> 447 // CHECK-NEXT: </dict> 448 // CHECK-NEXT: <dict> 449 // CHECK-NEXT: <key>line</key><integer>21</integer> 450 // CHECK-NEXT: <key>col</key><integer>15</integer> 451 // CHECK-NEXT: <key>file</key><integer>0</integer> 452 // CHECK-NEXT: </dict> 453 // CHECK-NEXT: </array> 454 // CHECK-NEXT: <key>end</key> 455 // CHECK-NEXT: <array> 456 // CHECK-NEXT: <dict> 457 // CHECK-NEXT: <key>line</key><integer>21</integer> 458 // CHECK-NEXT: <key>col</key><integer>3</integer> 459 // CHECK-NEXT: <key>file</key><integer>0</integer> 460 // CHECK-NEXT: </dict> 461 // CHECK-NEXT: <dict> 462 // CHECK-NEXT: <key>line</key><integer>21</integer> 463 // CHECK-NEXT: <key>col</key><integer>3</integer> 464 // CHECK-NEXT: <key>file</key><integer>0</integer> 465 // CHECK-NEXT: </dict> 466 // CHECK-NEXT: </array> 467 // CHECK-NEXT: </dict> 468 // CHECK-NEXT: </array> 469 // CHECK-NEXT: </dict> 470 // CHECK-NEXT: <dict> 471 // CHECK-NEXT: <key>kind</key><string>event</string> 472 // CHECK-NEXT: <key>location</key> 473 // CHECK-NEXT: <dict> 474 // CHECK-NEXT: <key>line</key><integer>21</integer> 475 // CHECK-NEXT: <key>col</key><integer>3</integer> 476 // CHECK-NEXT: <key>file</key><integer>0</integer> 477 // CHECK-NEXT: </dict> 478 // CHECK-NEXT: <key>ranges</key> 479 // CHECK-NEXT: <array> 480 // CHECK-NEXT: <array> 481 // CHECK-NEXT: <dict> 482 // CHECK-NEXT: <key>line</key><integer>21</integer> 483 // CHECK-NEXT: <key>col</key><integer>3</integer> 484 // CHECK-NEXT: <key>file</key><integer>0</integer> 485 // CHECK-NEXT: </dict> 486 // CHECK-NEXT: <dict> 487 // CHECK-NEXT: <key>line</key><integer>21</integer> 488 // CHECK-NEXT: <key>col</key><integer>22</integer> 489 // CHECK-NEXT: <key>file</key><integer>0</integer> 490 // CHECK-NEXT: </dict> 491 // CHECK-NEXT: </array> 492 // CHECK-NEXT: </array> 493 // CHECK-NEXT: <key>depth</key><integer>0</integer> 494 // CHECK-NEXT: <key>extended_message</key> 495 // CHECK-NEXT: <string>Dereference of null pointer</string> 496 // CHECK-NEXT: <key>message</key> 497 // CHECK-NEXT: <string>Dereference of null pointer</string> 498 // CHECK-NEXT: </dict> 499 // CHECK-NEXT: </array> 500 // CHECK-NEXT: <key>description</key><string>Dereference of null pointer</string> 501 // CHECK-NEXT: <key>category</key><string>Logic error</string> 502 // CHECK-NEXT: <key>type</key><string>Dereference of null pointer</string> 503 // CHECK-NEXT: <key>issue_context_kind</key><string>function</string> 504 // CHECK-NEXT: <key>issue_context</key><string>testReturnZeroIfNil</string> 505 // CHECK-NEXT: <key>issue_hash</key><string>1</string> 506 // CHECK-NEXT: <key>location</key> 507 // CHECK-NEXT: <dict> 508 // CHECK-NEXT: <key>line</key><integer>21</integer> 509 // CHECK-NEXT: <key>col</key><integer>3</integer> 510 // CHECK-NEXT: <key>file</key><integer>0</integer> 511 // CHECK-NEXT: </dict> 512 // CHECK-NEXT: </dict> 513 // CHECK-NEXT: <dict> 514 // CHECK-NEXT: <key>path</key> 515 // CHECK-NEXT: <array> 516 // CHECK-NEXT: <dict> 517 // CHECK-NEXT: <key>kind</key><string>control</string> 518 // CHECK-NEXT: <key>edges</key> 519 // CHECK-NEXT: <array> 520 // CHECK-NEXT: <dict> 521 // CHECK-NEXT: <key>start</key> 522 // CHECK-NEXT: <array> 523 // CHECK-NEXT: <dict> 524 // CHECK-NEXT: <key>line</key><integer>30</integer> 525 // CHECK-NEXT: <key>col</key><integer>3</integer> 526 // CHECK-NEXT: <key>file</key><integer>0</integer> 527 // CHECK-NEXT: </dict> 528 // CHECK-NEXT: <dict> 529 // CHECK-NEXT: <key>line</key><integer>30</integer> 530 // CHECK-NEXT: <key>col</key><integer>8</integer> 531 // CHECK-NEXT: <key>file</key><integer>0</integer> 532 // CHECK-NEXT: </dict> 533 // CHECK-NEXT: </array> 534 // CHECK-NEXT: <key>end</key> 535 // CHECK-NEXT: <array> 536 // CHECK-NEXT: <dict> 537 // CHECK-NEXT: <key>line</key><integer>36</integer> 538 // CHECK-NEXT: <key>col</key><integer>3</integer> 539 // CHECK-NEXT: <key>file</key><integer>0</integer> 540 // CHECK-NEXT: </dict> 541 // CHECK-NEXT: <dict> 542 // CHECK-NEXT: <key>line</key><integer>36</integer> 543 // CHECK-NEXT: <key>col</key><integer>15</integer> 544 // CHECK-NEXT: <key>file</key><integer>0</integer> 545 // CHECK-NEXT: </dict> 546 // CHECK-NEXT: </array> 547 // CHECK-NEXT: </dict> 548 // CHECK-NEXT: </array> 549 // CHECK-NEXT: </dict> 550 // CHECK-NEXT: <dict> 551 // CHECK-NEXT: <key>kind</key><string>event</string> 552 // CHECK-NEXT: <key>location</key> 553 // CHECK-NEXT: <dict> 554 // CHECK-NEXT: <key>line</key><integer>36</integer> 555 // CHECK-NEXT: <key>col</key><integer>3</integer> 556 // CHECK-NEXT: <key>file</key><integer>0</integer> 557 // CHECK-NEXT: </dict> 558 // CHECK-NEXT: <key>ranges</key> 559 // CHECK-NEXT: <array> 560 // CHECK-NEXT: <array> 561 // CHECK-NEXT: <dict> 562 // CHECK-NEXT: <key>line</key><integer>36</integer> 563 // CHECK-NEXT: <key>col</key><integer>3</integer> 564 // CHECK-NEXT: <key>file</key><integer>0</integer> 565 // CHECK-NEXT: </dict> 566 // CHECK-NEXT: <dict> 567 // CHECK-NEXT: <key>line</key><integer>41</integer> 568 // CHECK-NEXT: <key>col</key><integer>4</integer> 569 // CHECK-NEXT: <key>file</key><integer>0</integer> 570 // CHECK-NEXT: </dict> 571 // CHECK-NEXT: </array> 572 // CHECK-NEXT: </array> 573 // CHECK-NEXT: <key>depth</key><integer>0</integer> 574 // CHECK-NEXT: <key>extended_message</key> 575 // CHECK-NEXT: <string>Calling 'dispatch_sync'</string> 576 // CHECK-NEXT: <key>message</key> 577 // CHECK-NEXT: <string>Calling 'dispatch_sync'</string> 578 // CHECK-NEXT: </dict> 579 // CHECK-NEXT: <dict> 580 // CHECK-NEXT: <key>kind</key><string>event</string> 581 // CHECK-NEXT: <key>location</key> 582 // CHECK-NEXT: <dict> 583 // CHECK-NEXT: <key>line</key><integer>7</integer> 584 // CHECK-NEXT: <key>col</key><integer>1</integer> 585 // CHECK-NEXT: <key>file</key><integer>0</integer> 586 // CHECK-NEXT: </dict> 587 // CHECK-NEXT: <key>depth</key><integer>1</integer> 588 // CHECK-NEXT: <key>extended_message</key> 589 // CHECK-NEXT: <string>Entered call from 'testDispatchSyncInlining'</string> 590 // CHECK-NEXT: <key>message</key> 591 // CHECK-NEXT: <string>Entered call from 'testDispatchSyncInlining'</string> 592 // CHECK-NEXT: </dict> 593 // CHECK-NEXT: <dict> 594 // CHECK-NEXT: <key>kind</key><string>event</string> 595 // CHECK-NEXT: <key>location</key> 596 // CHECK-NEXT: <dict> 597 // CHECK-NEXT: <key>line</key><integer>7</integer> 598 // CHECK-NEXT: <key>col</key><integer>1</integer> 599 // CHECK-NEXT: <key>file</key><integer>0</integer> 600 // CHECK-NEXT: </dict> 601 // CHECK-NEXT: <key>depth</key><integer>1</integer> 602 // CHECK-NEXT: <key>extended_message</key> 603 // CHECK-NEXT: <string>Calling anonymous block</string> 604 // CHECK-NEXT: <key>message</key> 605 // CHECK-NEXT: <string>Calling anonymous block</string> 606 // CHECK-NEXT: </dict> 607 // CHECK-NEXT: <dict> 608 // CHECK-NEXT: <key>kind</key><string>event</string> 609 // CHECK-NEXT: <key>location</key> 610 // CHECK-NEXT: <dict> 611 // CHECK-NEXT: <key>line</key><integer>36</integer> 612 // CHECK-NEXT: <key>col</key><integer>30</integer> 613 // CHECK-NEXT: <key>file</key><integer>0</integer> 614 // CHECK-NEXT: </dict> 615 // CHECK-NEXT: <key>depth</key><integer>2</integer> 616 // CHECK-NEXT: <key>extended_message</key> 617 // CHECK-NEXT: <string>Entered call from 'dispatch_sync'</string> 618 // CHECK-NEXT: <key>message</key> 619 // CHECK-NEXT: <string>Entered call from 'dispatch_sync'</string> 620 // CHECK-NEXT: </dict> 621 // CHECK-NEXT: <dict> 622 // CHECK-NEXT: <key>kind</key><string>control</string> 623 // CHECK-NEXT: <key>edges</key> 624 // CHECK-NEXT: <array> 625 // CHECK-NEXT: <dict> 626 // CHECK-NEXT: <key>start</key> 627 // CHECK-NEXT: <array> 628 // CHECK-NEXT: <dict> 629 // CHECK-NEXT: <key>line</key><integer>36</integer> 630 // CHECK-NEXT: <key>col</key><integer>30</integer> 631 // CHECK-NEXT: <key>file</key><integer>0</integer> 632 // CHECK-NEXT: </dict> 633 // CHECK-NEXT: <dict> 634 // CHECK-NEXT: <key>line</key><integer>36</integer> 635 // CHECK-NEXT: <key>col</key><integer>30</integer> 636 // CHECK-NEXT: <key>file</key><integer>0</integer> 637 // CHECK-NEXT: </dict> 638 // CHECK-NEXT: </array> 639 // CHECK-NEXT: <key>end</key> 640 // CHECK-NEXT: <array> 641 // CHECK-NEXT: <dict> 642 // CHECK-NEXT: <key>line</key><integer>38</integer> 643 // CHECK-NEXT: <key>col</key><integer>5</integer> 644 // CHECK-NEXT: <key>file</key><integer>0</integer> 645 // CHECK-NEXT: </dict> 646 // CHECK-NEXT: <dict> 647 // CHECK-NEXT: <key>line</key><integer>38</integer> 648 // CHECK-NEXT: <key>col</key><integer>5</integer> 649 // CHECK-NEXT: <key>file</key><integer>0</integer> 650 // CHECK-NEXT: </dict> 651 // CHECK-NEXT: </array> 652 // CHECK-NEXT: </dict> 653 // CHECK-NEXT: </array> 654 // CHECK-NEXT: </dict> 655 // CHECK-NEXT: <dict> 656 // CHECK-NEXT: <key>kind</key><string>event</string> 657 // CHECK-NEXT: <key>location</key> 658 // CHECK-NEXT: <dict> 659 // CHECK-NEXT: <key>line</key><integer>38</integer> 660 // CHECK-NEXT: <key>col</key><integer>5</integer> 661 // CHECK-NEXT: <key>file</key><integer>0</integer> 662 // CHECK-NEXT: </dict> 663 // CHECK-NEXT: <key>ranges</key> 664 // CHECK-NEXT: <array> 665 // CHECK-NEXT: <array> 666 // CHECK-NEXT: <dict> 667 // CHECK-NEXT: <key>line</key><integer>38</integer> 668 // CHECK-NEXT: <key>col</key><integer>5</integer> 669 // CHECK-NEXT: <key>file</key><integer>0</integer> 670 // CHECK-NEXT: </dict> 671 // CHECK-NEXT: <dict> 672 // CHECK-NEXT: <key>line</key><integer>38</integer> 673 // CHECK-NEXT: <key>col</key><integer>9</integer> 674 // CHECK-NEXT: <key>file</key><integer>0</integer> 675 // CHECK-NEXT: </dict> 676 // CHECK-NEXT: </array> 677 // CHECK-NEXT: </array> 678 // CHECK-NEXT: <key>depth</key><integer>2</integer> 679 // CHECK-NEXT: <key>extended_message</key> 680 // CHECK-NEXT: <string>The value 0 is assigned to 'x'</string> 681 // CHECK-NEXT: <key>message</key> 682 // CHECK-NEXT: <string>The value 0 is assigned to 'x'</string> 683 // CHECK-NEXT: </dict> 684 // CHECK-NEXT: <dict> 685 // CHECK-NEXT: <key>kind</key><string>event</string> 686 // CHECK-NEXT: <key>location</key> 687 // CHECK-NEXT: <dict> 688 // CHECK-NEXT: <key>line</key><integer>7</integer> 689 // CHECK-NEXT: <key>col</key><integer>1</integer> 690 // CHECK-NEXT: <key>file</key><integer>0</integer> 691 // CHECK-NEXT: </dict> 692 // CHECK-NEXT: <key>depth</key><integer>2</integer> 693 // CHECK-NEXT: <key>extended_message</key> 694 // CHECK-NEXT: <string>Returning to caller</string> 695 // CHECK-NEXT: <key>message</key> 696 // CHECK-NEXT: <string>Returning to caller</string> 697 // CHECK-NEXT: </dict> 698 // CHECK-NEXT: <dict> 699 // CHECK-NEXT: <key>kind</key><string>event</string> 700 // CHECK-NEXT: <key>location</key> 701 // CHECK-NEXT: <dict> 702 // CHECK-NEXT: <key>line</key><integer>36</integer> 703 // CHECK-NEXT: <key>col</key><integer>3</integer> 704 // CHECK-NEXT: <key>file</key><integer>0</integer> 705 // CHECK-NEXT: </dict> 706 // CHECK-NEXT: <key>ranges</key> 707 // CHECK-NEXT: <array> 708 // CHECK-NEXT: <array> 709 // CHECK-NEXT: <dict> 710 // CHECK-NEXT: <key>line</key><integer>36</integer> 711 // CHECK-NEXT: <key>col</key><integer>3</integer> 712 // CHECK-NEXT: <key>file</key><integer>0</integer> 713 // CHECK-NEXT: </dict> 714 // CHECK-NEXT: <dict> 715 // CHECK-NEXT: <key>line</key><integer>41</integer> 716 // CHECK-NEXT: <key>col</key><integer>4</integer> 717 // CHECK-NEXT: <key>file</key><integer>0</integer> 718 // CHECK-NEXT: </dict> 719 // CHECK-NEXT: </array> 720 // CHECK-NEXT: </array> 721 // CHECK-NEXT: <key>depth</key><integer>1</integer> 722 // CHECK-NEXT: <key>extended_message</key> 723 // CHECK-NEXT: <string>Returning from 'dispatch_sync'</string> 724 // CHECK-NEXT: <key>message</key> 725 // CHECK-NEXT: <string>Returning from 'dispatch_sync'</string> 726 // CHECK-NEXT: </dict> 727 // CHECK-NEXT: <dict> 728 // CHECK-NEXT: <key>kind</key><string>control</string> 729 // CHECK-NEXT: <key>edges</key> 730 // CHECK-NEXT: <array> 731 // CHECK-NEXT: <dict> 732 // CHECK-NEXT: <key>start</key> 733 // CHECK-NEXT: <array> 734 // CHECK-NEXT: <dict> 735 // CHECK-NEXT: <key>line</key><integer>36</integer> 736 // CHECK-NEXT: <key>col</key><integer>3</integer> 737 // CHECK-NEXT: <key>file</key><integer>0</integer> 738 // CHECK-NEXT: </dict> 739 // CHECK-NEXT: <dict> 740 // CHECK-NEXT: <key>line</key><integer>36</integer> 741 // CHECK-NEXT: <key>col</key><integer>15</integer> 742 // CHECK-NEXT: <key>file</key><integer>0</integer> 743 // CHECK-NEXT: </dict> 744 // CHECK-NEXT: </array> 745 // CHECK-NEXT: <key>end</key> 746 // CHECK-NEXT: <array> 747 // CHECK-NEXT: <dict> 748 // CHECK-NEXT: <key>line</key><integer>43</integer> 749 // CHECK-NEXT: <key>col</key><integer>3</integer> 750 // CHECK-NEXT: <key>file</key><integer>0</integer> 751 // CHECK-NEXT: </dict> 752 // CHECK-NEXT: <dict> 753 // CHECK-NEXT: <key>line</key><integer>43</integer> 754 // CHECK-NEXT: <key>col</key><integer>8</integer> 755 // CHECK-NEXT: <key>file</key><integer>0</integer> 756 // CHECK-NEXT: </dict> 757 // CHECK-NEXT: </array> 758 // CHECK-NEXT: </dict> 759 // CHECK-NEXT: </array> 760 // CHECK-NEXT: </dict> 761 // CHECK-NEXT: <dict> 762 // CHECK-NEXT: <key>kind</key><string>control</string> 763 // CHECK-NEXT: <key>edges</key> 764 // CHECK-NEXT: <array> 765 // CHECK-NEXT: <dict> 766 // CHECK-NEXT: <key>start</key> 767 // CHECK-NEXT: <array> 768 // CHECK-NEXT: <dict> 769 // CHECK-NEXT: <key>line</key><integer>43</integer> 770 // CHECK-NEXT: <key>col</key><integer>3</integer> 771 // CHECK-NEXT: <key>file</key><integer>0</integer> 772 // CHECK-NEXT: </dict> 773 // CHECK-NEXT: <dict> 774 // CHECK-NEXT: <key>line</key><integer>43</integer> 775 // CHECK-NEXT: <key>col</key><integer>8</integer> 776 // CHECK-NEXT: <key>file</key><integer>0</integer> 777 // CHECK-NEXT: </dict> 778 // CHECK-NEXT: </array> 779 // CHECK-NEXT: <key>end</key> 780 // CHECK-NEXT: <array> 781 // CHECK-NEXT: <dict> 782 // CHECK-NEXT: <key>line</key><integer>43</integer> 783 // CHECK-NEXT: <key>col</key><integer>10</integer> 784 // CHECK-NEXT: <key>file</key><integer>0</integer> 785 // CHECK-NEXT: </dict> 786 // CHECK-NEXT: <dict> 787 // CHECK-NEXT: <key>line</key><integer>43</integer> 788 // CHECK-NEXT: <key>col</key><integer>10</integer> 789 // CHECK-NEXT: <key>file</key><integer>0</integer> 790 // CHECK-NEXT: </dict> 791 // CHECK-NEXT: </array> 792 // CHECK-NEXT: </dict> 793 // CHECK-NEXT: </array> 794 // CHECK-NEXT: </dict> 795 // CHECK-NEXT: <dict> 796 // CHECK-NEXT: <key>kind</key><string>event</string> 797 // CHECK-NEXT: <key>location</key> 798 // CHECK-NEXT: <dict> 799 // CHECK-NEXT: <key>line</key><integer>43</integer> 800 // CHECK-NEXT: <key>col</key><integer>10</integer> 801 // CHECK-NEXT: <key>file</key><integer>0</integer> 802 // CHECK-NEXT: </dict> 803 // CHECK-NEXT: <key>ranges</key> 804 // CHECK-NEXT: <array> 805 // CHECK-NEXT: <array> 806 // CHECK-NEXT: <dict> 807 // CHECK-NEXT: <key>line</key><integer>43</integer> 808 // CHECK-NEXT: <key>col</key><integer>10</integer> 809 // CHECK-NEXT: <key>file</key><integer>0</integer> 810 // CHECK-NEXT: </dict> 811 // CHECK-NEXT: <dict> 812 // CHECK-NEXT: <key>line</key><integer>43</integer> 813 // CHECK-NEXT: <key>col</key><integer>14</integer> 814 // CHECK-NEXT: <key>file</key><integer>0</integer> 815 // CHECK-NEXT: </dict> 816 // CHECK-NEXT: </array> 817 // CHECK-NEXT: </array> 818 // CHECK-NEXT: <key>depth</key><integer>0</integer> 819 // CHECK-NEXT: <key>extended_message</key> 820 // CHECK-NEXT: <string>Division by zero</string> 821 // CHECK-NEXT: <key>message</key> 822 // CHECK-NEXT: <string>Division by zero</string> 823 // CHECK-NEXT: </dict> 824 // CHECK-NEXT: </array> 825 // CHECK-NEXT: <key>description</key><string>Division by zero</string> 826 // CHECK-NEXT: <key>category</key><string>Logic error</string> 827 // CHECK-NEXT: <key>type</key><string>Division by zero</string> 828 // CHECK-NEXT: <key>issue_context_kind</key><string>function</string> 829 // CHECK-NEXT: <key>issue_context</key><string>testDispatchSyncInlining</string> 830 // CHECK-NEXT: <key>issue_hash</key><string>14</string> 831 // CHECK-NEXT: <key>location</key> 832 // CHECK-NEXT: <dict> 833 // CHECK-NEXT: <key>line</key><integer>43</integer> 834 // CHECK-NEXT: <key>col</key><integer>10</integer> 835 // CHECK-NEXT: <key>file</key><integer>0</integer> 836 // CHECK-NEXT: </dict> 837 // CHECK-NEXT: </dict> 838 // CHECK-NEXT: <dict> 839 // CHECK-NEXT: <key>path</key> 840 // CHECK-NEXT: <array> 841 // CHECK-NEXT: <dict> 842 // CHECK-NEXT: <key>kind</key><string>control</string> 843 // CHECK-NEXT: <key>edges</key> 844 // CHECK-NEXT: <array> 845 // CHECK-NEXT: <dict> 846 // CHECK-NEXT: <key>start</key> 847 // CHECK-NEXT: <array> 848 // CHECK-NEXT: <dict> 849 // CHECK-NEXT: <key>line</key><integer>51</integer> 850 // CHECK-NEXT: <key>col</key><integer>3</integer> 851 // CHECK-NEXT: <key>file</key><integer>0</integer> 852 // CHECK-NEXT: </dict> 853 // CHECK-NEXT: <dict> 854 // CHECK-NEXT: <key>line</key><integer>51</integer> 855 // CHECK-NEXT: <key>col</key><integer>8</integer> 856 // CHECK-NEXT: <key>file</key><integer>0</integer> 857 // CHECK-NEXT: </dict> 858 // CHECK-NEXT: </array> 859 // CHECK-NEXT: <key>end</key> 860 // CHECK-NEXT: <array> 861 // CHECK-NEXT: <dict> 862 // CHECK-NEXT: <key>line</key><integer>56</integer> 863 // CHECK-NEXT: <key>col</key><integer>3</integer> 864 // CHECK-NEXT: <key>file</key><integer>0</integer> 865 // CHECK-NEXT: </dict> 866 // CHECK-NEXT: <dict> 867 // CHECK-NEXT: <key>line</key><integer>56</integer> 868 // CHECK-NEXT: <key>col</key><integer>15</integer> 869 // CHECK-NEXT: <key>file</key><integer>0</integer> 870 // CHECK-NEXT: </dict> 871 // CHECK-NEXT: </array> 872 // CHECK-NEXT: </dict> 873 // CHECK-NEXT: </array> 874 // CHECK-NEXT: </dict> 875 // CHECK-NEXT: <dict> 876 // CHECK-NEXT: <key>kind</key><string>event</string> 877 // CHECK-NEXT: <key>location</key> 878 // CHECK-NEXT: <dict> 879 // CHECK-NEXT: <key>line</key><integer>56</integer> 880 // CHECK-NEXT: <key>col</key><integer>3</integer> 881 // CHECK-NEXT: <key>file</key><integer>0</integer> 882 // CHECK-NEXT: </dict> 883 // CHECK-NEXT: <key>ranges</key> 884 // CHECK-NEXT: <array> 885 // CHECK-NEXT: <array> 886 // CHECK-NEXT: <dict> 887 // CHECK-NEXT: <key>line</key><integer>56</integer> 888 // CHECK-NEXT: <key>col</key><integer>3</integer> 889 // CHECK-NEXT: <key>file</key><integer>0</integer> 890 // CHECK-NEXT: </dict> 891 // CHECK-NEXT: <dict> 892 // CHECK-NEXT: <key>line</key><integer>62</integer> 893 // CHECK-NEXT: <key>col</key><integer>4</integer> 894 // CHECK-NEXT: <key>file</key><integer>0</integer> 895 // CHECK-NEXT: </dict> 896 // CHECK-NEXT: </array> 897 // CHECK-NEXT: </array> 898 // CHECK-NEXT: <key>depth</key><integer>0</integer> 899 // CHECK-NEXT: <key>extended_message</key> 900 // CHECK-NEXT: <string>Calling 'dispatch_sync'</string> 901 // CHECK-NEXT: <key>message</key> 902 // CHECK-NEXT: <string>Calling 'dispatch_sync'</string> 903 // CHECK-NEXT: </dict> 904 // CHECK-NEXT: <dict> 905 // CHECK-NEXT: <key>kind</key><string>event</string> 906 // CHECK-NEXT: <key>location</key> 907 // CHECK-NEXT: <dict> 908 // CHECK-NEXT: <key>line</key><integer>7</integer> 909 // CHECK-NEXT: <key>col</key><integer>1</integer> 910 // CHECK-NEXT: <key>file</key><integer>0</integer> 911 // CHECK-NEXT: </dict> 912 // CHECK-NEXT: <key>depth</key><integer>1</integer> 913 // CHECK-NEXT: <key>extended_message</key> 914 // CHECK-NEXT: <string>Entered call from 'testDispatchSyncInliningNoPruning'</string> 915 // CHECK-NEXT: <key>message</key> 916 // CHECK-NEXT: <string>Entered call from 'testDispatchSyncInliningNoPruning'</string> 917 // CHECK-NEXT: </dict> 918 // CHECK-NEXT: <dict> 919 // CHECK-NEXT: <key>kind</key><string>event</string> 920 // CHECK-NEXT: <key>location</key> 921 // CHECK-NEXT: <dict> 922 // CHECK-NEXT: <key>line</key><integer>7</integer> 923 // CHECK-NEXT: <key>col</key><integer>1</integer> 924 // CHECK-NEXT: <key>file</key><integer>0</integer> 925 // CHECK-NEXT: </dict> 926 // CHECK-NEXT: <key>depth</key><integer>1</integer> 927 // CHECK-NEXT: <key>extended_message</key> 928 // CHECK-NEXT: <string>Calling anonymous block</string> 929 // CHECK-NEXT: <key>message</key> 930 // CHECK-NEXT: <string>Calling anonymous block</string> 931 // CHECK-NEXT: </dict> 932 // CHECK-NEXT: <dict> 933 // CHECK-NEXT: <key>kind</key><string>event</string> 934 // CHECK-NEXT: <key>location</key> 935 // CHECK-NEXT: <dict> 936 // CHECK-NEXT: <key>line</key><integer>56</integer> 937 // CHECK-NEXT: <key>col</key><integer>30</integer> 938 // CHECK-NEXT: <key>file</key><integer>0</integer> 939 // CHECK-NEXT: </dict> 940 // CHECK-NEXT: <key>depth</key><integer>2</integer> 941 // CHECK-NEXT: <key>extended_message</key> 942 // CHECK-NEXT: <string>Entered call from 'dispatch_sync'</string> 943 // CHECK-NEXT: <key>message</key> 944 // CHECK-NEXT: <string>Entered call from 'dispatch_sync'</string> 945 // CHECK-NEXT: </dict> 946 // CHECK-NEXT: <dict> 947 // CHECK-NEXT: <key>kind</key><string>control</string> 948 // CHECK-NEXT: <key>edges</key> 949 // CHECK-NEXT: <array> 950 // CHECK-NEXT: <dict> 951 // CHECK-NEXT: <key>start</key> 952 // CHECK-NEXT: <array> 953 // CHECK-NEXT: <dict> 954 // CHECK-NEXT: <key>line</key><integer>56</integer> 955 // CHECK-NEXT: <key>col</key><integer>30</integer> 956 // CHECK-NEXT: <key>file</key><integer>0</integer> 957 // CHECK-NEXT: </dict> 958 // CHECK-NEXT: <dict> 959 // CHECK-NEXT: <key>line</key><integer>56</integer> 960 // CHECK-NEXT: <key>col</key><integer>30</integer> 961 // CHECK-NEXT: <key>file</key><integer>0</integer> 962 // CHECK-NEXT: </dict> 963 // CHECK-NEXT: </array> 964 // CHECK-NEXT: <key>end</key> 965 // CHECK-NEXT: <array> 966 // CHECK-NEXT: <dict> 967 // CHECK-NEXT: <key>line</key><integer>58</integer> 968 // CHECK-NEXT: <key>col</key><integer>5</integer> 969 // CHECK-NEXT: <key>file</key><integer>0</integer> 970 // CHECK-NEXT: </dict> 971 // CHECK-NEXT: <dict> 972 // CHECK-NEXT: <key>line</key><integer>58</integer> 973 // CHECK-NEXT: <key>col</key><integer>7</integer> 974 // CHECK-NEXT: <key>file</key><integer>0</integer> 975 // CHECK-NEXT: </dict> 976 // CHECK-NEXT: </array> 977 // CHECK-NEXT: </dict> 978 // CHECK-NEXT: </array> 979 // CHECK-NEXT: </dict> 980 // CHECK-NEXT: <dict> 981 // CHECK-NEXT: <key>kind</key><string>event</string> 982 // CHECK-NEXT: <key>location</key> 983 // CHECK-NEXT: <dict> 984 // CHECK-NEXT: <key>line</key><integer>58</integer> 985 // CHECK-NEXT: <key>col</key><integer>5</integer> 986 // CHECK-NEXT: <key>file</key><integer>0</integer> 987 // CHECK-NEXT: </dict> 988 // CHECK-NEXT: <key>ranges</key> 989 // CHECK-NEXT: <array> 990 // CHECK-NEXT: <array> 991 // CHECK-NEXT: <dict> 992 // CHECK-NEXT: <key>line</key><integer>58</integer> 993 // CHECK-NEXT: <key>col</key><integer>5</integer> 994 // CHECK-NEXT: <key>file</key><integer>0</integer> 995 // CHECK-NEXT: </dict> 996 // CHECK-NEXT: <dict> 997 // CHECK-NEXT: <key>line</key><integer>58</integer> 998 // CHECK-NEXT: <key>col</key><integer>9</integer> 999 // CHECK-NEXT: <key>file</key><integer>0</integer> 1000 // CHECK-NEXT: </dict> 1001 // CHECK-NEXT: </array> 1002 // CHECK-NEXT: </array> 1003 // CHECK-NEXT: <key>depth</key><integer>2</integer> 1004 // CHECK-NEXT: <key>extended_message</key> 1005 // CHECK-NEXT: <string>'x' declared without an initial value</string> 1006 // CHECK-NEXT: <key>message</key> 1007 // CHECK-NEXT: <string>'x' declared without an initial value</string> 1008 // CHECK-NEXT: </dict> 1009 // CHECK-NEXT: <dict> 1010 // CHECK-NEXT: <key>kind</key><string>control</string> 1011 // CHECK-NEXT: <key>edges</key> 1012 // CHECK-NEXT: <array> 1013 // CHECK-NEXT: <dict> 1014 // CHECK-NEXT: <key>start</key> 1015 // CHECK-NEXT: <array> 1016 // CHECK-NEXT: <dict> 1017 // CHECK-NEXT: <key>line</key><integer>58</integer> 1018 // CHECK-NEXT: <key>col</key><integer>5</integer> 1019 // CHECK-NEXT: <key>file</key><integer>0</integer> 1020 // CHECK-NEXT: </dict> 1021 // CHECK-NEXT: <dict> 1022 // CHECK-NEXT: <key>line</key><integer>58</integer> 1023 // CHECK-NEXT: <key>col</key><integer>7</integer> 1024 // CHECK-NEXT: <key>file</key><integer>0</integer> 1025 // CHECK-NEXT: </dict> 1026 // CHECK-NEXT: </array> 1027 // CHECK-NEXT: <key>end</key> 1028 // CHECK-NEXT: <array> 1029 // CHECK-NEXT: <dict> 1030 // CHECK-NEXT: <key>line</key><integer>60</integer> 1031 // CHECK-NEXT: <key>col</key><integer>5</integer> 1032 // CHECK-NEXT: <key>file</key><integer>0</integer> 1033 // CHECK-NEXT: </dict> 1034 // CHECK-NEXT: <dict> 1035 // CHECK-NEXT: <key>line</key><integer>60</integer> 1036 // CHECK-NEXT: <key>col</key><integer>5</integer> 1037 // CHECK-NEXT: <key>file</key><integer>0</integer> 1038 // CHECK-NEXT: </dict> 1039 // CHECK-NEXT: </array> 1040 // CHECK-NEXT: </dict> 1041 // CHECK-NEXT: </array> 1042 // CHECK-NEXT: </dict> 1043 // CHECK-NEXT: <dict> 1044 // CHECK-NEXT: <key>kind</key><string>event</string> 1045 // CHECK-NEXT: <key>location</key> 1046 // CHECK-NEXT: <dict> 1047 // CHECK-NEXT: <key>line</key><integer>60</integer> 1048 // CHECK-NEXT: <key>col</key><integer>5</integer> 1049 // CHECK-NEXT: <key>file</key><integer>0</integer> 1050 // CHECK-NEXT: </dict> 1051 // CHECK-NEXT: <key>ranges</key> 1052 // CHECK-NEXT: <array> 1053 // CHECK-NEXT: <array> 1054 // CHECK-NEXT: <dict> 1055 // CHECK-NEXT: <key>line</key><integer>60</integer> 1056 // CHECK-NEXT: <key>col</key><integer>12</integer> 1057 // CHECK-NEXT: <key>file</key><integer>0</integer> 1058 // CHECK-NEXT: </dict> 1059 // CHECK-NEXT: <dict> 1060 // CHECK-NEXT: <key>line</key><integer>60</integer> 1061 // CHECK-NEXT: <key>col</key><integer>12</integer> 1062 // CHECK-NEXT: <key>file</key><integer>0</integer> 1063 // CHECK-NEXT: </dict> 1064 // CHECK-NEXT: </array> 1065 // CHECK-NEXT: </array> 1066 // CHECK-NEXT: <key>depth</key><integer>2</integer> 1067 // CHECK-NEXT: <key>extended_message</key> 1068 // CHECK-NEXT: <string>Variable 'x' is uninitialized when captured by block</string> 1069 // CHECK-NEXT: <key>message</key> 1070 // CHECK-NEXT: <string>Variable 'x' is uninitialized when captured by block</string> 1071 // CHECK-NEXT: </dict> 1072 // CHECK-NEXT: </array> 1073 // CHECK-NEXT: <key>description</key><string>Variable 'x' is uninitialized when captured by block</string> 1074 // CHECK-NEXT: <key>category</key><string>Logic error</string> 1075 // CHECK-NEXT: <key>type</key><string>uninitialized variable captured by block</string> 1076 // CHECK-NEXT: <key>location</key> 1077 // CHECK-NEXT: <dict> 1078 // CHECK-NEXT: <key>line</key><integer>60</integer> 1079 // CHECK-NEXT: <key>col</key><integer>5</integer> 1080 // CHECK-NEXT: <key>file</key><integer>0</integer> 1081 // CHECK-NEXT: </dict> 1082 // CHECK-NEXT: </dict> 1083 // CHECK-NEXT: </array> 1084
