https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109008
--- Comment #14 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Created attachment 54599 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=54599&action=edit gcc13-pr109008-wip.patch I have now this WIP but it doesn't work correctly yet, need to debug it now, just finished writing it and making it compile. Note, after the binary search it is still unfinished, I'd like to then adjust it one bit at a time to narrow it further. But before working on that it needs to work correctly.