1 // RUN: %clang_cc1 -analyze -analyzer-checker=cplusplus.NewDelete,unix.Malloc -analyzer-output=text -verify %s 2 // RUN: %clang_cc1 -analyze -analyzer-checker=cplusplus.NewDelete,unix.Malloc -analyzer-output=plist -analyzer-config path-diagnostics-alternate=false %s -o %t.plist 3 // RUN: FileCheck --input-file=%t.plist %s 4 5 void test() { 6 int *p = new int; 7 // expected-note@-1 {{Memory is allocated}} 8 if (p) 9 // expected-note@-1 {{Assuming 'p' is non-null}} 10 // expected-note@-2 {{Taking true branch}} 11 delete p; 12 // expected-note@-1 {{Memory is released}} 13 14 delete p; // expected-warning {{Attempt to free released memory}} 15 // expected-note@-1 {{Attempt to free released memory}} 16 } 17 18 struct Odd { 19 void kill() { 20 delete this; // expected-note {{Memory is released}} 21 } 22 }; 23 24 void test(Odd *odd) { 25 odd->kill(); // expected-note{{Calling 'Odd::kill'}} 26 // expected-note@-1 {{Returning; memory was released}} 27 delete odd; // expected-warning {{Attempt to free released memory}} 28 // expected-note@-1 {{Attempt to free released memory}} 29 } 30 31 // CHECK: <key>diagnostics</key> 32 // CHECK-NEXT: <array> 33 // CHECK-NEXT: <dict> 34 // CHECK-NEXT: <key>path</key> 35 // CHECK-NEXT: <array> 36 // CHECK-NEXT: <dict> 37 // CHECK-NEXT: <key>kind</key><string>control</string> 38 // CHECK-NEXT: <key>edges</key> 39 // CHECK-NEXT: <array> 40 // CHECK-NEXT: <dict> 41 // CHECK-NEXT: <key>start</key> 42 // CHECK-NEXT: <array> 43 // CHECK-NEXT: <dict> 44 // CHECK-NEXT: <key>line</key><integer>6</integer> 45 // CHECK-NEXT: <key>col</key><integer>3</integer> 46 // CHECK-NEXT: <key>file</key><integer>0</integer> 47 // CHECK-NEXT: </dict> 48 // CHECK-NEXT: <dict> 49 // CHECK-NEXT: <key>line</key><integer>6</integer> 50 // CHECK-NEXT: <key>col</key><integer>5</integer> 51 // CHECK-NEXT: <key>file</key><integer>0</integer> 52 // CHECK-NEXT: </dict> 53 // CHECK-NEXT: </array> 54 // CHECK-NEXT: <key>end</key> 55 // CHECK-NEXT: <array> 56 // CHECK-NEXT: <dict> 57 // CHECK-NEXT: <key>line</key><integer>6</integer> 58 // CHECK-NEXT: <key>col</key><integer>12</integer> 59 // CHECK-NEXT: <key>file</key><integer>0</integer> 60 // CHECK-NEXT: </dict> 61 // CHECK-NEXT: <dict> 62 // CHECK-NEXT: <key>line</key><integer>6</integer> 63 // CHECK-NEXT: <key>col</key><integer>14</integer> 64 // CHECK-NEXT: <key>file</key><integer>0</integer> 65 // CHECK-NEXT: </dict> 66 // CHECK-NEXT: </array> 67 // CHECK-NEXT: </dict> 68 // CHECK-NEXT: </array> 69 // CHECK-NEXT: </dict> 70 // CHECK-NEXT: <dict> 71 // CHECK-NEXT: <key>kind</key><string>event</string> 72 // CHECK-NEXT: <key>location</key> 73 // CHECK-NEXT: <dict> 74 // CHECK-NEXT: <key>line</key><integer>6</integer> 75 // CHECK-NEXT: <key>col</key><integer>12</integer> 76 // CHECK-NEXT: <key>file</key><integer>0</integer> 77 // CHECK-NEXT: </dict> 78 // CHECK-NEXT: <key>ranges</key> 79 // CHECK-NEXT: <array> 80 // CHECK-NEXT: <array> 81 // CHECK-NEXT: <dict> 82 // CHECK-NEXT: <key>line</key><integer>6</integer> 83 // CHECK-NEXT: <key>col</key><integer>12</integer> 84 // CHECK-NEXT: <key>file</key><integer>0</integer> 85 // CHECK-NEXT: </dict> 86 // CHECK-NEXT: <dict> 87 // CHECK-NEXT: <key>line</key><integer>6</integer> 88 // CHECK-NEXT: <key>col</key><integer>18</integer> 89 // CHECK-NEXT: <key>file</key><integer>0</integer> 90 // CHECK-NEXT: </dict> 91 // CHECK-NEXT: </array> 92 // CHECK-NEXT: </array> 93 // CHECK-NEXT: <key>depth</key><integer>0</integer> 94 // CHECK-NEXT: <key>extended_message</key> 95 // CHECK-NEXT: <string>Memory is allocated</string> 96 // CHECK-NEXT: <key>message</key> 97 // CHECK-NEXT: <string>Memory is allocated</string> 98 // CHECK-NEXT: </dict> 99 // CHECK-NEXT: <dict> 100 // CHECK-NEXT: <key>kind</key><string>control</string> 101 // CHECK-NEXT: <key>edges</key> 102 // CHECK-NEXT: <array> 103 // CHECK-NEXT: <dict> 104 // CHECK-NEXT: <key>start</key> 105 // CHECK-NEXT: <array> 106 // CHECK-NEXT: <dict> 107 // CHECK-NEXT: <key>line</key><integer>6</integer> 108 // CHECK-NEXT: <key>col</key><integer>12</integer> 109 // CHECK-NEXT: <key>file</key><integer>0</integer> 110 // CHECK-NEXT: </dict> 111 // CHECK-NEXT: <dict> 112 // CHECK-NEXT: <key>line</key><integer>6</integer> 113 // CHECK-NEXT: <key>col</key><integer>14</integer> 114 // CHECK-NEXT: <key>file</key><integer>0</integer> 115 // CHECK-NEXT: </dict> 116 // CHECK-NEXT: </array> 117 // CHECK-NEXT: <key>end</key> 118 // CHECK-NEXT: <array> 119 // CHECK-NEXT: <dict> 120 // CHECK-NEXT: <key>line</key><integer>8</integer> 121 // CHECK-NEXT: <key>col</key><integer>3</integer> 122 // CHECK-NEXT: <key>file</key><integer>0</integer> 123 // CHECK-NEXT: </dict> 124 // CHECK-NEXT: <dict> 125 // CHECK-NEXT: <key>line</key><integer>8</integer> 126 // CHECK-NEXT: <key>col</key><integer>4</integer> 127 // CHECK-NEXT: <key>file</key><integer>0</integer> 128 // CHECK-NEXT: </dict> 129 // CHECK-NEXT: </array> 130 // CHECK-NEXT: </dict> 131 // CHECK-NEXT: </array> 132 // CHECK-NEXT: </dict> 133 // CHECK-NEXT: <dict> 134 // CHECK-NEXT: <key>kind</key><string>control</string> 135 // CHECK-NEXT: <key>edges</key> 136 // CHECK-NEXT: <array> 137 // CHECK-NEXT: <dict> 138 // CHECK-NEXT: <key>start</key> 139 // CHECK-NEXT: <array> 140 // CHECK-NEXT: <dict> 141 // CHECK-NEXT: <key>line</key><integer>8</integer> 142 // CHECK-NEXT: <key>col</key><integer>3</integer> 143 // CHECK-NEXT: <key>file</key><integer>0</integer> 144 // CHECK-NEXT: </dict> 145 // CHECK-NEXT: <dict> 146 // CHECK-NEXT: <key>line</key><integer>8</integer> 147 // CHECK-NEXT: <key>col</key><integer>4</integer> 148 // CHECK-NEXT: <key>file</key><integer>0</integer> 149 // CHECK-NEXT: </dict> 150 // CHECK-NEXT: </array> 151 // CHECK-NEXT: <key>end</key> 152 // CHECK-NEXT: <array> 153 // CHECK-NEXT: <dict> 154 // CHECK-NEXT: <key>line</key><integer>8</integer> 155 // CHECK-NEXT: <key>col</key><integer>7</integer> 156 // CHECK-NEXT: <key>file</key><integer>0</integer> 157 // CHECK-NEXT: </dict> 158 // CHECK-NEXT: <dict> 159 // CHECK-NEXT: <key>line</key><integer>8</integer> 160 // CHECK-NEXT: <key>col</key><integer>7</integer> 161 // CHECK-NEXT: <key>file</key><integer>0</integer> 162 // CHECK-NEXT: </dict> 163 // CHECK-NEXT: </array> 164 // CHECK-NEXT: </dict> 165 // CHECK-NEXT: </array> 166 // CHECK-NEXT: </dict> 167 // CHECK-NEXT: <dict> 168 // CHECK-NEXT: <key>kind</key><string>event</string> 169 // CHECK-NEXT: <key>location</key> 170 // CHECK-NEXT: <dict> 171 // CHECK-NEXT: <key>line</key><integer>8</integer> 172 // CHECK-NEXT: <key>col</key><integer>7</integer> 173 // CHECK-NEXT: <key>file</key><integer>0</integer> 174 // CHECK-NEXT: </dict> 175 // CHECK-NEXT: <key>ranges</key> 176 // CHECK-NEXT: <array> 177 // CHECK-NEXT: <array> 178 // CHECK-NEXT: <dict> 179 // CHECK-NEXT: <key>line</key><integer>8</integer> 180 // CHECK-NEXT: <key>col</key><integer>7</integer> 181 // CHECK-NEXT: <key>file</key><integer>0</integer> 182 // CHECK-NEXT: </dict> 183 // CHECK-NEXT: <dict> 184 // CHECK-NEXT: <key>line</key><integer>8</integer> 185 // CHECK-NEXT: <key>col</key><integer>7</integer> 186 // CHECK-NEXT: <key>file</key><integer>0</integer> 187 // CHECK-NEXT: </dict> 188 // CHECK-NEXT: </array> 189 // CHECK-NEXT: </array> 190 // CHECK-NEXT: <key>depth</key><integer>0</integer> 191 // CHECK-NEXT: <key>extended_message</key> 192 // CHECK-NEXT: <string>Assuming 'p' is non-null</string> 193 // CHECK-NEXT: <key>message</key> 194 // CHECK-NEXT: <string>Assuming 'p' is non-null</string> 195 // CHECK-NEXT: </dict> 196 // CHECK-NEXT: <dict> 197 // CHECK-NEXT: <key>kind</key><string>control</string> 198 // CHECK-NEXT: <key>edges</key> 199 // CHECK-NEXT: <array> 200 // CHECK-NEXT: <dict> 201 // CHECK-NEXT: <key>start</key> 202 // CHECK-NEXT: <array> 203 // CHECK-NEXT: <dict> 204 // CHECK-NEXT: <key>line</key><integer>8</integer> 205 // CHECK-NEXT: <key>col</key><integer>7</integer> 206 // CHECK-NEXT: <key>file</key><integer>0</integer> 207 // CHECK-NEXT: </dict> 208 // CHECK-NEXT: <dict> 209 // CHECK-NEXT: <key>line</key><integer>8</integer> 210 // CHECK-NEXT: <key>col</key><integer>7</integer> 211 // CHECK-NEXT: <key>file</key><integer>0</integer> 212 // CHECK-NEXT: </dict> 213 // CHECK-NEXT: </array> 214 // CHECK-NEXT: <key>end</key> 215 // CHECK-NEXT: <array> 216 // CHECK-NEXT: <dict> 217 // CHECK-NEXT: <key>line</key><integer>11</integer> 218 // CHECK-NEXT: <key>col</key><integer>5</integer> 219 // CHECK-NEXT: <key>file</key><integer>0</integer> 220 // CHECK-NEXT: </dict> 221 // CHECK-NEXT: <dict> 222 // CHECK-NEXT: <key>line</key><integer>11</integer> 223 // CHECK-NEXT: <key>col</key><integer>10</integer> 224 // CHECK-NEXT: <key>file</key><integer>0</integer> 225 // CHECK-NEXT: </dict> 226 // CHECK-NEXT: </array> 227 // CHECK-NEXT: </dict> 228 // CHECK-NEXT: </array> 229 // CHECK-NEXT: </dict> 230 // CHECK-NEXT: <dict> 231 // CHECK-NEXT: <key>kind</key><string>event</string> 232 // CHECK-NEXT: <key>location</key> 233 // CHECK-NEXT: <dict> 234 // CHECK-NEXT: <key>line</key><integer>11</integer> 235 // CHECK-NEXT: <key>col</key><integer>5</integer> 236 // CHECK-NEXT: <key>file</key><integer>0</integer> 237 // CHECK-NEXT: </dict> 238 // CHECK-NEXT: <key>ranges</key> 239 // CHECK-NEXT: <array> 240 // CHECK-NEXT: <array> 241 // CHECK-NEXT: <dict> 242 // CHECK-NEXT: <key>line</key><integer>11</integer> 243 // CHECK-NEXT: <key>col</key><integer>5</integer> 244 // CHECK-NEXT: <key>file</key><integer>0</integer> 245 // CHECK-NEXT: </dict> 246 // CHECK-NEXT: <dict> 247 // CHECK-NEXT: <key>line</key><integer>11</integer> 248 // CHECK-NEXT: <key>col</key><integer>12</integer> 249 // CHECK-NEXT: <key>file</key><integer>0</integer> 250 // CHECK-NEXT: </dict> 251 // CHECK-NEXT: </array> 252 // CHECK-NEXT: </array> 253 // CHECK-NEXT: <key>depth</key><integer>0</integer> 254 // CHECK-NEXT: <key>extended_message</key> 255 // CHECK-NEXT: <string>Memory is released</string> 256 // CHECK-NEXT: <key>message</key> 257 // CHECK-NEXT: <string>Memory is released</string> 258 // CHECK-NEXT: </dict> 259 // CHECK-NEXT: <dict> 260 // CHECK-NEXT: <key>kind</key><string>control</string> 261 // CHECK-NEXT: <key>edges</key> 262 // CHECK-NEXT: <array> 263 // CHECK-NEXT: <dict> 264 // CHECK-NEXT: <key>start</key> 265 // CHECK-NEXT: <array> 266 // CHECK-NEXT: <dict> 267 // CHECK-NEXT: <key>line</key><integer>11</integer> 268 // CHECK-NEXT: <key>col</key><integer>5</integer> 269 // CHECK-NEXT: <key>file</key><integer>0</integer> 270 // CHECK-NEXT: </dict> 271 // CHECK-NEXT: <dict> 272 // CHECK-NEXT: <key>line</key><integer>11</integer> 273 // CHECK-NEXT: <key>col</key><integer>10</integer> 274 // CHECK-NEXT: <key>file</key><integer>0</integer> 275 // CHECK-NEXT: </dict> 276 // CHECK-NEXT: </array> 277 // CHECK-NEXT: <key>end</key> 278 // CHECK-NEXT: <array> 279 // CHECK-NEXT: <dict> 280 // CHECK-NEXT: <key>line</key><integer>14</integer> 281 // CHECK-NEXT: <key>col</key><integer>3</integer> 282 // CHECK-NEXT: <key>file</key><integer>0</integer> 283 // CHECK-NEXT: </dict> 284 // CHECK-NEXT: <dict> 285 // CHECK-NEXT: <key>line</key><integer>14</integer> 286 // CHECK-NEXT: <key>col</key><integer>8</integer> 287 // CHECK-NEXT: <key>file</key><integer>0</integer> 288 // CHECK-NEXT: </dict> 289 // CHECK-NEXT: </array> 290 // CHECK-NEXT: </dict> 291 // CHECK-NEXT: </array> 292 // CHECK-NEXT: </dict> 293 // CHECK-NEXT: <dict> 294 // CHECK-NEXT: <key>kind</key><string>event</string> 295 // CHECK-NEXT: <key>location</key> 296 // CHECK-NEXT: <dict> 297 // CHECK-NEXT: <key>line</key><integer>14</integer> 298 // CHECK-NEXT: <key>col</key><integer>3</integer> 299 // CHECK-NEXT: <key>file</key><integer>0</integer> 300 // CHECK-NEXT: </dict> 301 // CHECK-NEXT: <key>ranges</key> 302 // CHECK-NEXT: <array> 303 // CHECK-NEXT: <array> 304 // CHECK-NEXT: <dict> 305 // CHECK-NEXT: <key>line</key><integer>14</integer> 306 // CHECK-NEXT: <key>col</key><integer>3</integer> 307 // CHECK-NEXT: <key>file</key><integer>0</integer> 308 // CHECK-NEXT: </dict> 309 // CHECK-NEXT: <dict> 310 // CHECK-NEXT: <key>line</key><integer>14</integer> 311 // CHECK-NEXT: <key>col</key><integer>10</integer> 312 // CHECK-NEXT: <key>file</key><integer>0</integer> 313 // CHECK-NEXT: </dict> 314 // CHECK-NEXT: </array> 315 // CHECK-NEXT: </array> 316 // CHECK-NEXT: <key>depth</key><integer>0</integer> 317 // CHECK-NEXT: <key>extended_message</key> 318 // CHECK-NEXT: <string>Attempt to free released memory</string> 319 // CHECK-NEXT: <key>message</key> 320 // CHECK-NEXT: <string>Attempt to free released memory</string> 321 // CHECK-NEXT: </dict> 322 // CHECK-NEXT: </array> 323 // CHECK-NEXT: <key>description</key><string>Attempt to free released memory</string> 324 // CHECK-NEXT: <key>category</key><string>Memory Error</string> 325 // CHECK-NEXT: <key>type</key><string>Double free</string> 326 // CHECK-NEXT: <key>issue_context_kind</key><string>function</string> 327 // CHECK-NEXT: <key>issue_context</key><string>test</string> 328 // CHECK-NEXT: <key>issue_hash</key><string>9</string> 329 // CHECK-NEXT: <key>location</key> 330 // CHECK-NEXT: <dict> 331 // CHECK-NEXT: <key>line</key><integer>14</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: <dict> 337 // CHECK-NEXT: <key>path</key> 338 // CHECK-NEXT: <array> 339 // CHECK-NEXT: <dict> 340 // CHECK-NEXT: <key>kind</key><string>event</string> 341 // CHECK-NEXT: <key>location</key> 342 // CHECK-NEXT: <dict> 343 // CHECK-NEXT: <key>line</key><integer>25</integer> 344 // CHECK-NEXT: <key>col</key><integer>2</integer> 345 // CHECK-NEXT: <key>file</key><integer>0</integer> 346 // CHECK-NEXT: </dict> 347 // CHECK-NEXT: <key>ranges</key> 348 // CHECK-NEXT: <array> 349 // CHECK-NEXT: <array> 350 // CHECK-NEXT: <dict> 351 // CHECK-NEXT: <key>line</key><integer>25</integer> 352 // CHECK-NEXT: <key>col</key><integer>2</integer> 353 // CHECK-NEXT: <key>file</key><integer>0</integer> 354 // CHECK-NEXT: </dict> 355 // CHECK-NEXT: <dict> 356 // CHECK-NEXT: <key>line</key><integer>25</integer> 357 // CHECK-NEXT: <key>col</key><integer>12</integer> 358 // CHECK-NEXT: <key>file</key><integer>0</integer> 359 // CHECK-NEXT: </dict> 360 // CHECK-NEXT: </array> 361 // CHECK-NEXT: </array> 362 // CHECK-NEXT: <key>depth</key><integer>0</integer> 363 // CHECK-NEXT: <key>extended_message</key> 364 // CHECK-NEXT: <string>Calling 'Odd::kill'</string> 365 // CHECK-NEXT: <key>message</key> 366 // CHECK-NEXT: <string>Calling 'Odd::kill'</string> 367 // CHECK-NEXT: </dict> 368 // CHECK-NEXT: <dict> 369 // CHECK-NEXT: <key>kind</key><string>event</string> 370 // CHECK-NEXT: <key>location</key> 371 // CHECK-NEXT: <dict> 372 // CHECK-NEXT: <key>line</key><integer>19</integer> 373 // CHECK-NEXT: <key>col</key><integer>2</integer> 374 // CHECK-NEXT: <key>file</key><integer>0</integer> 375 // CHECK-NEXT: </dict> 376 // CHECK-NEXT: <key>depth</key><integer>1</integer> 377 // CHECK-NEXT: <key>extended_message</key> 378 // CHECK-NEXT: <string>Entered call from 'test'</string> 379 // CHECK-NEXT: <key>message</key> 380 // CHECK-NEXT: <string>Entered call from 'test'</string> 381 // CHECK-NEXT: </dict> 382 // CHECK-NEXT: <dict> 383 // CHECK-NEXT: <key>kind</key><string>control</string> 384 // CHECK-NEXT: <key>edges</key> 385 // CHECK-NEXT: <array> 386 // CHECK-NEXT: <dict> 387 // CHECK-NEXT: <key>start</key> 388 // CHECK-NEXT: <array> 389 // CHECK-NEXT: <dict> 390 // CHECK-NEXT: <key>line</key><integer>19</integer> 391 // CHECK-NEXT: <key>col</key><integer>2</integer> 392 // CHECK-NEXT: <key>file</key><integer>0</integer> 393 // CHECK-NEXT: </dict> 394 // CHECK-NEXT: <dict> 395 // CHECK-NEXT: <key>line</key><integer>19</integer> 396 // CHECK-NEXT: <key>col</key><integer>5</integer> 397 // CHECK-NEXT: <key>file</key><integer>0</integer> 398 // CHECK-NEXT: </dict> 399 // CHECK-NEXT: </array> 400 // CHECK-NEXT: <key>end</key> 401 // CHECK-NEXT: <array> 402 // CHECK-NEXT: <dict> 403 // CHECK-NEXT: <key>line</key><integer>20</integer> 404 // CHECK-NEXT: <key>col</key><integer>3</integer> 405 // CHECK-NEXT: <key>file</key><integer>0</integer> 406 // CHECK-NEXT: </dict> 407 // CHECK-NEXT: <dict> 408 // CHECK-NEXT: <key>line</key><integer>20</integer> 409 // CHECK-NEXT: <key>col</key><integer>8</integer> 410 // CHECK-NEXT: <key>file</key><integer>0</integer> 411 // CHECK-NEXT: </dict> 412 // CHECK-NEXT: </array> 413 // CHECK-NEXT: </dict> 414 // CHECK-NEXT: </array> 415 // CHECK-NEXT: </dict> 416 // CHECK-NEXT: <dict> 417 // CHECK-NEXT: <key>kind</key><string>event</string> 418 // CHECK-NEXT: <key>location</key> 419 // CHECK-NEXT: <dict> 420 // CHECK-NEXT: <key>line</key><integer>20</integer> 421 // CHECK-NEXT: <key>col</key><integer>3</integer> 422 // CHECK-NEXT: <key>file</key><integer>0</integer> 423 // CHECK-NEXT: </dict> 424 // CHECK-NEXT: <key>ranges</key> 425 // CHECK-NEXT: <array> 426 // CHECK-NEXT: <array> 427 // CHECK-NEXT: <dict> 428 // CHECK-NEXT: <key>line</key><integer>20</integer> 429 // CHECK-NEXT: <key>col</key><integer>3</integer> 430 // CHECK-NEXT: <key>file</key><integer>0</integer> 431 // CHECK-NEXT: </dict> 432 // CHECK-NEXT: <dict> 433 // CHECK-NEXT: <key>line</key><integer>20</integer> 434 // CHECK-NEXT: <key>col</key><integer>13</integer> 435 // CHECK-NEXT: <key>file</key><integer>0</integer> 436 // CHECK-NEXT: </dict> 437 // CHECK-NEXT: </array> 438 // CHECK-NEXT: </array> 439 // CHECK-NEXT: <key>depth</key><integer>1</integer> 440 // CHECK-NEXT: <key>extended_message</key> 441 // CHECK-NEXT: <string>Memory is released</string> 442 // CHECK-NEXT: <key>message</key> 443 // CHECK-NEXT: <string>Memory is released</string> 444 // CHECK-NEXT: </dict> 445 // CHECK-NEXT: <dict> 446 // CHECK-NEXT: <key>kind</key><string>event</string> 447 // CHECK-NEXT: <key>location</key> 448 // CHECK-NEXT: <dict> 449 // CHECK-NEXT: <key>line</key><integer>25</integer> 450 // CHECK-NEXT: <key>col</key><integer>2</integer> 451 // CHECK-NEXT: <key>file</key><integer>0</integer> 452 // CHECK-NEXT: </dict> 453 // CHECK-NEXT: <key>ranges</key> 454 // CHECK-NEXT: <array> 455 // CHECK-NEXT: <array> 456 // CHECK-NEXT: <dict> 457 // CHECK-NEXT: <key>line</key><integer>25</integer> 458 // CHECK-NEXT: <key>col</key><integer>2</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>25</integer> 463 // CHECK-NEXT: <key>col</key><integer>12</integer> 464 // CHECK-NEXT: <key>file</key><integer>0</integer> 465 // CHECK-NEXT: </dict> 466 // CHECK-NEXT: </array> 467 // CHECK-NEXT: </array> 468 // CHECK-NEXT: <key>depth</key><integer>0</integer> 469 // CHECK-NEXT: <key>extended_message</key> 470 // CHECK-NEXT: <string>Returning; memory was released</string> 471 // CHECK-NEXT: <key>message</key> 472 // CHECK-NEXT: <string>Returning; memory was released</string> 473 // CHECK-NEXT: </dict> 474 // CHECK-NEXT: <dict> 475 // CHECK-NEXT: <key>kind</key><string>control</string> 476 // CHECK-NEXT: <key>edges</key> 477 // CHECK-NEXT: <array> 478 // CHECK-NEXT: <dict> 479 // CHECK-NEXT: <key>start</key> 480 // CHECK-NEXT: <array> 481 // CHECK-NEXT: <dict> 482 // CHECK-NEXT: <key>line</key><integer>25</integer> 483 // CHECK-NEXT: <key>col</key><integer>2</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>25</integer> 488 // CHECK-NEXT: <key>col</key><integer>4</integer> 489 // CHECK-NEXT: <key>file</key><integer>0</integer> 490 // CHECK-NEXT: </dict> 491 // CHECK-NEXT: </array> 492 // CHECK-NEXT: <key>end</key> 493 // CHECK-NEXT: <array> 494 // CHECK-NEXT: <dict> 495 // CHECK-NEXT: <key>line</key><integer>27</integer> 496 // CHECK-NEXT: <key>col</key><integer>2</integer> 497 // CHECK-NEXT: <key>file</key><integer>0</integer> 498 // CHECK-NEXT: </dict> 499 // CHECK-NEXT: <dict> 500 // CHECK-NEXT: <key>line</key><integer>27</integer> 501 // CHECK-NEXT: <key>col</key><integer>7</integer> 502 // CHECK-NEXT: <key>file</key><integer>0</integer> 503 // CHECK-NEXT: </dict> 504 // CHECK-NEXT: </array> 505 // CHECK-NEXT: </dict> 506 // CHECK-NEXT: </array> 507 // CHECK-NEXT: </dict> 508 // CHECK-NEXT: <dict> 509 // CHECK-NEXT: <key>kind</key><string>event</string> 510 // CHECK-NEXT: <key>location</key> 511 // CHECK-NEXT: <dict> 512 // CHECK-NEXT: <key>line</key><integer>27</integer> 513 // CHECK-NEXT: <key>col</key><integer>2</integer> 514 // CHECK-NEXT: <key>file</key><integer>0</integer> 515 // CHECK-NEXT: </dict> 516 // CHECK-NEXT: <key>ranges</key> 517 // CHECK-NEXT: <array> 518 // CHECK-NEXT: <array> 519 // CHECK-NEXT: <dict> 520 // CHECK-NEXT: <key>line</key><integer>27</integer> 521 // CHECK-NEXT: <key>col</key><integer>2</integer> 522 // CHECK-NEXT: <key>file</key><integer>0</integer> 523 // CHECK-NEXT: </dict> 524 // CHECK-NEXT: <dict> 525 // CHECK-NEXT: <key>line</key><integer>27</integer> 526 // CHECK-NEXT: <key>col</key><integer>11</integer> 527 // CHECK-NEXT: <key>file</key><integer>0</integer> 528 // CHECK-NEXT: </dict> 529 // CHECK-NEXT: </array> 530 // CHECK-NEXT: </array> 531 // CHECK-NEXT: <key>depth</key><integer>0</integer> 532 // CHECK-NEXT: <key>extended_message</key> 533 // CHECK-NEXT: <string>Attempt to free released memory</string> 534 // CHECK-NEXT: <key>message</key> 535 // CHECK-NEXT: <string>Attempt to free released memory</string> 536 // CHECK-NEXT: </dict> 537 // CHECK-NEXT: </array> 538 // CHECK-NEXT: <key>description</key><string>Attempt to free released memory</string> 539 // CHECK-NEXT: <key>category</key><string>Memory Error</string> 540 // CHECK-NEXT: <key>type</key><string>Double free</string> 541 // CHECK-NEXT: <key>issue_context_kind</key><string>function</string> 542 // CHECK-NEXT: <key>issue_context</key><string>test</string> 543 // CHECK-NEXT: <key>issue_hash</key><string>3</string> 544 // CHECK-NEXT: <key>location</key> 545 // CHECK-NEXT: <dict> 546 // CHECK-NEXT: <key>line</key><integer>27</integer> 547 // CHECK-NEXT: <key>col</key><integer>2</integer> 548 // CHECK-NEXT: <key>file</key><integer>0</integer> 549 // CHECK-NEXT: </dict> 550 // CHECK-NEXT: </dict> 551 // CHECK-NEXT: </array> 552
