https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117612
--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Created attachment 59634 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=59634&action=edit gcc15-pr117612-wip.patch My current WIP patch. Still need to add handling of debug statements and testcase coverage. Plus it only handles spaceship, it doesn't handle the manual x == y ? 0 : x < y and similar cases.