| 5 | | void *p = __builtin_malloc (1024); |
| | | ^~~~~~~~~~~~~~~~~~~~~~~ |
| | | | |
| | | (1) allocated here
|
| 6 | | __builtin_free (p); |
| | | ~~~~~~~~~~~~~~~~~~ |
| | | | |
| | | (2) first ‘free’ here
|
| 7 | | __builtin_free (p); /* { dg-warning "-Wanalyzer-double-free" } */ |
| | | ~~~~~~~~~~~~~~~~~~ |
| | | | |
| | | (3) ⚠️ second ‘free’ here; first ‘free’ was at (2)
|