expr.c (get_bit_range): Handle *MEM_REF's.

* expr.c (get_bit_range): Handle *MEM_REF's. From-SVN: r176891

expr.c (get_bit_range): Handle *MEM_REF's.
* expr.c (get_bit_range): Handle *MEM_REF's. From-SVN: r176891
86f98641 · Aldy Hernandez · Aldy Hernandez · dc0ff1c8 · 86f98641 · 86f98641
Commit 86f98641 authored Jul 28, 2011 by Aldy Hernandez Committed by Aldy Hernandez Jul 28, 2011
Hide whitespace changes
Inline Side-by-side

Showing with 8 additions and 1 deletions

gcc/ChangeLog
+4 -0

gcc/expr.c
+4 -1

No files found.
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
+2011-07-28  Aldy Hernandez  <aldyh@redhat.com>
+
+	* expr.c (get_bit_range): Handle *MEM_REF's.
+
 2011-07-28  Bernd Schmidt  <bernds@codesourcery.com>

 	* rtlanal.c (tablejump_p): False for returns.

--- a/gcc/expr.c
+++ b/gcc/expr.c
@@ -4158,7 +4158,10 @@ get_bit_range (unsigned HOST_WIDE_INT *bitstart,

  /* If other threads can't see this value, no need to restrict stores.  */
  if (ALLOW_STORE_DATA_RACES
-      || (!ptr_deref_may_alias_global_p (innerdecl)
+      || ((TREE_CODE (innerdecl) == MEM_REF
+	   || TREE_CODE (innerdecl) == TARGET_MEM_REF)
+	  && !ptr_deref_may_alias_global_p (TREE_OPERAND (innerdecl, 0)))
+      || (DECL_P (innerdecl)
 	  && (DECL_THREAD_LOCAL_P (innerdecl)
 	      || !TREE_STATIC (innerdecl))))
    {