Bug path

test_1
‘test_1’: events 1-7
11 if (4 < co)
^
|
(1) following ‘true’ branch (when ‘co > 4’)...
12 if (co < y)
~
|
(2) ...to here
(3) following ‘true’ branch (when ‘co < y’)...
13 if (y == 0)
~
|
(4) ...to here
(5) following ‘true’ branch (when ‘y == 0’)...
14 __analyzer_dump_path (); /* { dg-message "path" } */
~~~~~~~~~~~~~~~~~~~~~~~
|
(6) ...to here
(7) here