https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63483
--- Comment #2 from Uroš Bizjak <ubizjak at gmail dot com> --- Created attachment 33665 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=33665&action=edit Proposed patch Proposed patch prevents MEM_READONLY_P memory references to be moved over possibly aliased memory (with alignment ANDs). The patch prevents early exit for MEM_READONLY_P references when alignemt ANDs are involved. The aliasing is determined in the code later in the function.
