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