https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70263
--- Comment #7 from Jeffrey A. Law <law at redhat dot com> --- In all the cases where we can have the store before the equiv we're in the realm of undefined behavior AFAICT. But it's not clear to me that the equiv will always be a self-referencing. So your patch will almost certainly fix this instance, but I'm not sure it'll fix it in the more general case.