From: Jan Hubicka <jh@suse.cz>
Date: Thu, 4 Jul 2019 16:30:53 +0000 (+0200)
Subject: tree-ssa-alias.c (nonoverlapping_component_refs_since_match_p): Fix check for match... 
X-Git-Tag: upstream/12.2.0~23413
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=532bb2f908e6a14eda50ebd4debda9d063e4f8e7;p=platform%2Fupstream%2Fgcc.git

tree-ssa-alias.c (nonoverlapping_component_refs_since_match_p): Fix check for match in the ref walk.


	* tree-ssa-alias.c (nonoverlapping_component_refs_since_match_p):
	Fix check for match in the ref walk.

From-SVN: r273090
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index d4e9991..3517011 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2019-07-04  Jan Hubicka  <jh@suse.cz>
+
+	* tree-ssa-alias.c (nonoverlapping_component_refs_since_match_p):
+	Fix check for match in the ref walk.
+
 2019-07-04  Martin Liska  <mliska@suse.cz>
 
 	* tree-ssa-loop-niter.c (get_upper_bound_based_on_builtin_expr_with_prob):
diff --git a/gcc/tree-ssa-alias.c b/gcc/tree-ssa-alias.c
index d76656e..5c5cbe4 100644
--- a/gcc/tree-ssa-alias.c
+++ b/gcc/tree-ssa-alias.c
@@ -1153,15 +1153,13 @@ nonoverlapping_component_refs_since_match_p (tree match1, tree ref1,
   auto_vec<tree, 16> component_refs2;
 
   /* Create the stack of handled components for REF1.  */
-  while (handled_component_p (ref1))
+  while (handled_component_p (ref1) && ref1 != match1)
     {
       if (TREE_CODE (ref1) == VIEW_CONVERT_EXPR
 	  || TREE_CODE (ref1) == BIT_FIELD_REF)
 	component_refs1.truncate (0);
       else
         component_refs1.safe_push (ref1);
-      if (ref1 == match1)
-	break;
       ref1 = TREE_OPERAND (ref1, 0);
     }
   if (TREE_CODE (ref1) == MEM_REF && ref1 != match1)
@@ -1180,15 +1178,13 @@ nonoverlapping_component_refs_since_match_p (tree match1, tree ref1,
     }
 
   /* Create the stack of handled components for REF2.  */
-  while (handled_component_p (ref2))
+  while (handled_component_p (ref2) && ref2 != match2)
     {
       if (TREE_CODE (ref2) == VIEW_CONVERT_EXPR
 	  || TREE_CODE (ref2) == BIT_FIELD_REF)
 	component_refs2.truncate (0);
       else
         component_refs2.safe_push (ref2);
-      if (ref2 == match2)
-	break;
       ref2 = TREE_OPERAND (ref2, 0);
     }
   if (TREE_CODE (ref2) == MEM_REF && ref2 != match2)