|
outer
|
‘outer’: event 1
| 18 | void outer (void) |
| ^~~~~ |
| | |
| (1) entry to ‘outer’ |
|
|
‘outer’: event 2
| 24 | i = SETJMP(env); |
| ^~~~~~ |
| | |
| (2) ‘setjmp’ called here |
|
|
‘outer’: events 3-5
| 26 | if (i != 0) |
| ^ |
| | |
| (3) following ‘false’ branch (when ‘i == 0’)... |
| [...] | |
| 33 | foo (1); |
| ~~~~~~~ |
| | |
| (4) ...to here |
| 34 | inner (); |
| ~~~~~~~~ |
| | |
| (5) calling ‘inner’ from ‘outer’ |
|
|
inner
|
‘inner’: events 6-7
| 13 | static void inner (void) |
| ^~~~~ |
| | |
| (6) entry to ‘inner’ |
| 14 | { |
| 15 | longjmp (env, 1); |
| ~~~~~~~~~~~~~~~~ |
| | |
| (7) rewinding from ‘longjmp’ in ‘inner’... |
|
|
|
‘outer’: event 8
| 24 | i = SETJMP(env); |
| ^~~~~~ |
| | |
| (8) ...to ‘setjmp’ in ‘outer’ (saved at (2)) |
|
|
‘outer’: events 9-11
| 26 | if (i != 0) |
| ^ |
| | |
| (9) following ‘true’ branch (when ‘i != 0’)... |
| 27 | { |
| 28 | foo (2); |
| ~~~~~~~ |
| | |
| (10) ...to here |
| 29 | __analyzer_dump_path (); /* { dg-message "path" } */ |
| ~~~~~~~~~~~~~~~~~~~~~~~ |
| | |
| (11) here |
|
|