|
main
|
‘main’: event 1
| 25 | int main (void) |
| ^~~~ |
| | |
| (1) entry to ‘main’ |
|
|
‘main’: event 2
| 27 | if (!SETJMP(buf)) |
| ^~~~~~ |
| | |
| (2) ‘setjmp’ called here |
|
|
‘main’: events 3-5
| 27 | if (!SETJMP(buf)) |
| ^ |
| | |
| (3) following ‘true’ branch... |
| 28 | outer (42); |
| ~~~~~~~~~~ |
| | |
| (4) ...to here |
| (5) calling ‘outer’ from ‘main’ |
|
|
outer
|
‘outer’: events 6-7
| 18 | void outer (int y) |
| ^~~~~ |
| | |
| (6) entry to ‘outer’ |
| [...] | |
| 21 | inner (y); |
| ~~~~~~~~~ |
| | |
| (7) calling ‘inner’ from ‘outer’ |
|
|
inner
|
‘inner’: events 8-9
| 11 | void inner (int x) |
| ^~~~~ |
| | |
| (8) entry to ‘inner’ |
| [...] | |
| 14 | longjmp (buf, 1); |
| ~~~~~~~~~~~~~~~~ |
| | |
| (9) rewinding from ‘longjmp’ in ‘inner’... |
|
|
|
|
‘main’: event 10
| 27 | if (!SETJMP(buf)) |
| ^~~~~~ |
| | |
| (10) ...to ‘setjmp’ in ‘main’ (saved at (2)) |
|
|
‘main’: events 11-13
| 27 | if (!SETJMP(buf)) |
| ^ |
| | |
| (11) following ‘false’ branch... |
| [...] | |
| 30 | __analyzer_dump_path (); /* { dg-message "path" } */ |
| ~~~~~~~~~~~~~~~~~~~~~~~ |
| | |
| (12) ...to here |
| (13) here |
|
|