https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95836
--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Well, it does, we can't keep it in the IL in that form because the compiler itself might optimize it away on the assumption that UB doesn't happen.