From: Richard Sandiford <richard.sandiford@linaro.org>
Date: Tue, 19 Jul 2011 12:37:03 +0000 (+0000)
Subject: re PR tree-optimization/49742 (ICE for gcc.dg/vect/O3-pr39675-2.c on ARM)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1b14d8150ed4a7194e3d63b262454e9b9446fe95;p=gcc.git

re PR tree-optimization/49742 (ICE for gcc.dg/vect/O3-pr39675-2.c on ARM)

gcc/
	PR tree-optimization/49742
	* tree-data-ref.c (get_references_in_stmt): Treat the lhs of a call
	as a potential write.

From-SVN: r176446
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 2982c9bc130..ee76d11065a 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2011-07-19  Richard Sandiford  <richard.sandiford@linaro.org>
+
+	PR tree-optimization/49742
+	* tree-data-ref.c (get_references_in_stmt): Treat the lhs of a call
+	as a potential write.
+
 2011-07-19  Richard Guenther  <rguenther@suse.de>
 
 	* gimplify.c (gimplify_expr): Gimplify TRUTH_NOT_EXPR as
diff --git a/gcc/tree-data-ref.c b/gcc/tree-data-ref.c
index d58542c91ca..97be86c406d 100644
--- a/gcc/tree-data-ref.c
+++ b/gcc/tree-data-ref.c
@@ -4158,33 +4158,37 @@ get_references_in_stmt (gimple stmt, VEC (data_ref_loc, heap) **references)
 	  ref->pos = op1;
 	  ref->is_read = true;
 	}
-
-      if (DECL_P (*op0)
-	  || (REFERENCE_CLASS_P (*op0) && get_base_address (*op0)))
-	{
-	  ref = VEC_safe_push (data_ref_loc, heap, *references, NULL);
-	  ref->pos = op0;
-	  ref->is_read = false;
-	}
     }
   else if (stmt_code == GIMPLE_CALL)
     {
-      unsigned i, n = gimple_call_num_args (stmt);
+      unsigned i, n;
 
+      op0 = gimple_call_lhs_ptr (stmt);
+      n = gimple_call_num_args (stmt);
       for (i = 0; i < n; i++)
 	{
-	  op0 = gimple_call_arg_ptr (stmt, i);
+	  op1 = gimple_call_arg_ptr (stmt, i);
 
-	  if (DECL_P (*op0)
-	      || (REFERENCE_CLASS_P (*op0) && get_base_address (*op0)))
+	  if (DECL_P (*op1)
+	      || (REFERENCE_CLASS_P (*op1) && get_base_address (*op1)))
 	    {
 	      ref = VEC_safe_push (data_ref_loc, heap, *references, NULL);
-	      ref->pos = op0;
+	      ref->pos = op1;
 	      ref->is_read = true;
 	    }
 	}
     }
+  else
+    return clobbers_memory;
 
+  if (*op0
+      && (DECL_P (*op0)
+	  || (REFERENCE_CLASS_P (*op0) && get_base_address (*op0))))
+    {
+      ref = VEC_safe_push (data_ref_loc, heap, *references, NULL);
+      ref->pos = op0;
+      ref->is_read = false;
+    }
   return clobbers_memory;
 }