https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65391
--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> --- Note the easiest way out is to use the existing infrastructure to avoid store-data-races. But that only works when there is no (possibly trapping) load as we need to materialize a value for the register on loop entry. The non-trappingness is currently recorded on a BB basis and not tracked per reference so it's not easy to fix that part without a major rewrite in that area.
