------- Comment #5 from jakub at gcc dot gnu dot org 2009-12-20 20:49 ------- I believe the bug is in [7 %sfp+-140 S1 A8], IMHO it should have been S4, because otherwise the MEM attrs say it is 1 byte at %sfp+-140, which nonoverlapping_memrefs_p says can't overlap with [7 %sfp+-137 S1 A8]. Nothing looks at MEM's MODE when a specific MEM_SIZE is given.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42429