https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120061
--- Comment #9 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Created attachment 61311 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=61311&action=edit gcc14-pr116047.patch.xz The PR116047 testcase in patch form, which shows that not doing the decrement at least in some cases is right. But as this reproducer shows, in other cases it is not.