‘may_call_free’: events 9-12
10 | may_call_free (void *victim) |
| ^~~~~~~~~~~~~ |
| | |
| (9) entry to ‘may_call_free’ |
11 | { |
12 | if (some_condition ()) |
| ~ |
| | |
| (10) following ‘false’ branch... |
[...] | |
15 | free (victim); /* { dg-warning "double-'free' of 'victim'" } */ |
| ~~~~~~~~~~~~~ |
| | |
| (11) ...to here |
| (12) second ‘free’ here; first ‘free’ was at (6) |
|