Bug path
‘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’
:
events 6-7
18
void outer (int y)
^~~~~
|
(6) entry to ‘outer’
[...]
21
inner (y);
~~~~~~~~~
|
(7) calling ‘inner’ from ‘outer’
‘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