https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68786
Jakub Jelinek <jakub at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |ASSIGNED Assignee|unassigned at gcc dot gnu.org |jakub at gcc dot gnu.org --- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Created attachment 36963 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=36963&action=edit gcc6-pr68786.patch Untested fix. Not adding any testcase, because the one included here is bad - Micha's loop splitting optimization is likely going to turn that into two separate loops, plus to avoid undefined behavior one has to call test with b <= 0 and in that case it will be always < 7.