Bug path
‘test_2’
:
event 1
23
i = SETJMP(env);
^~~~~~
|
(1) ‘setjmp’ called here
‘test_2’
:
events 2-4
27
if (i != 0)
^
|
(2) following ‘false’ branch (when ‘i == 0’)...
[...]
33
longjmp (env, 1);
~~~~~~~~~~~~~~~~
|
(3) ...to here
(4) rewinding within ‘test_2’ from ‘longjmp’...
‘test_2’
:
event 5
23
i = SETJMP(env);
^~~~~~
|
(5) ...to ‘setjmp’ (saved at (1))
‘test_2’
:
events 6-8
27
if (i != 0)
^
|
(6) following ‘true’ branch (when ‘i != 0’)...
28
{
29
foo (2);
~~~~~~~
|
(7) ...to here
30
__analyzer_dump_path (); /* { dg-message "path" } */
~~~~~~~~~~~~~~~~~~~~~~~
|
(8) here