|
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 |
|
|