From: Richard Guenther Date: Sat, 3 Apr 2010 17:14:44 +0000 (+0000) Subject: re PR middle-end/42509 (nonoverlapping_memrefs_p misinterprets NULL MEM_OFFSET as... X-Git-Tag: releases/gcc-4.5.0~82 X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=2b22e3825d30db48c8d4eedba0a45591b19d0b9c;p=people%2Fms%2Fgcc.git re PR middle-end/42509 (nonoverlapping_memrefs_p misinterprets NULL MEM_OFFSET as const0_rtx) 2010-04-03 Richard Guenther PR middle-end/42509 * alias.c (nonoverlapping_memrefs_p): For spill-slot accesses require a non-NULL MEM_OFFSET. From-SVN: r157954 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index e06d38c2f25..2eb77c4f8b8 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2010-04-03 Richard Guenther + + PR middle-end/42509 + * alias.c (nonoverlapping_memrefs_p): For spill-slot accesses + require a non-NULL MEM_OFFSET. + 2010-04-02 Steven Bosscher * ada/gcc-interface/Make-lang.in, alias.c, attribs.c, auto-inc-dec.c, diff --git a/gcc/alias.c b/gcc/alias.c index 317aeba5503..cd7e2a06bdb 100644 --- a/gcc/alias.c +++ b/gcc/alias.c @@ -2147,6 +2147,13 @@ nonoverlapping_memrefs_p (const_rtx x, const_rtx y) if (exprx == 0 || expry == 0) return 0; + /* For spill-slot accesses make sure we have valid offsets. */ + if ((exprx == get_spill_slot_decl (false) + && ! MEM_OFFSET (x)) + || (expry == get_spill_slot_decl (false) + && ! MEM_OFFSET (y))) + return 0; + /* If both are field references, we may be able to determine something. */ if (TREE_CODE (exprx) == COMPONENT_REF && TREE_CODE (expry) == COMPONENT_REF