------- Comment #25 from rguenth at gcc dot gnu dot org 2010-04-02 16:14 ------- Ok, I reproduced the issue and comment #22 looks like the correct fix. merge_memattrs is doing the right thing, just nonoverlapping_memrefs_p conservative fallback for NULL MEM_OFFSET assumes DECLs are not offsetted with negative offsets - which is not true for the spill slot decl.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42509
