Bug path

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