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