|
‘test_12’: events 1-3
| 123 | void *ptr = malloc (1024); |
| ^~~~~~~~~~~~~ |
| | |
| (1) allocated here |
| [...] | |
| 127 | free (ptr); |
| ~~~~~~~~~~ |
| | |
| (2) first ‘free’ here |
| 128 | free (ptr); /* { dg-warning "double-'free' of 'ptr'" } */ |
| ~~~~~~~~~~ |
| | |
| (3) second ‘free’ here; first ‘free’ was at (2) |
|