Bug path

test_5
‘test_5’: events 1-3
39 for (int i = 0; i < 1024; i++)
~~^~~~~~ ~~~
| |
| (2) ...to here
(1) following ‘true’ branch (when ‘i <= 1023’)...
[...]
42 __analyzer_dump_path (); /* { dg-message "path" } */
~~~~~~~~~~~~~~~~~~~~~~~
|
(3) here