|
test_1
|
‘test_1’: events 1-3
| 10 | FILE *fp = fopen (path, "r"); |
| ^~~~~~~~~~~~~~~~~ |
| | |
| (1) opened here |
| 11 | |
| 12 | if (!fp) /* { dg-message "when 'fp' is non-NULL" } */ |
| ~ |
| | |
| (2) assuming ‘fp’ is non-NULL |
| (3) following ‘false’ branch (when ‘fp’ is non-NULL)... |
|
|
‘test_1’: event 4
(4): ...to here
|
|
‘test_1’: event 5
| 19 | if (flag) /* { dg-message "when 'flag == 0'" "branch event" } */ |
| ^ |
| | |
| (5) following ‘false’ branch (when ‘flag == 0’)... |
|
|
‘test_1’: event 6
(6): ...to here
|
|
‘test_1’: event 7
| 19 | if (flag) /* { dg-message "when 'flag == 0'" "branch event" } */ |
| ^ |
| | |
| (7) ‘fp’ leaks here; was opened at (1) |
|
|