|
test_14
|
‘test_14’: events 1-8
| 152 | p = malloc (1024); |
| ^~~~~~~~~~~~~ |
| | |
| (1) allocated here |
| 153 | if (!p) |
| ~ |
| | |
| (2) assuming ‘p’ is non-NULL |
| (3) following ‘false’ branch (when ‘p’ is non-NULL)... |
| [...] | |
| 156 | q = malloc (1024); |
| ~~~~~~~~~~~~~ |
| | |
| (4) ...to here |
| 157 | if (!q) |
| ~ |
| | |
| (5) following ‘true’ branch (when ‘q’ is NULL)... |
| 158 | { |
| 159 | free (p); |
| ~~~~~~~~ |
| | |
| (6) ...to here |
| (7) first ‘free’ here |
| [...] | |
| 167 | free (p); /* { dg-warning "double-'free' of 'p'" } */ |
| ~~~~~~~~ |
| | |
| (8) second ‘free’ here; first ‘free’ was at (7) |
|
|