https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110243
--- Comment #8 from Richard Biener <rguenth at gcc dot gnu.org> --- See https://gcc.gnu.org/pipermail/gcc-patches/2023-June/621989.html for the prototype patch. I still think it might be too aggressive, an alternative I didn't yet implement is turning everything in split_offset to unsigned arith as IVOPTs does elsewhere anyway.