https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107424
--- Comment #12 from Tobias Burnus <burnus at gcc dot gnu.org> --- Still to be done: Handle loop steps other than ±1. For a suggestion how it could be handled, see thread ending with the following email, which is possibly sufficient https://gcc.gnu.org/pipermail/gcc-patches/2023-January/610351.html