From: rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Wed, 17 Feb 2010 09:45:31 +0000 (+0000)
Subject: 2010-02-17  Richard Guenther  <rguenther@suse.de>
X-Git-Tag: upstream/4.9.2~31008
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=484ae26c8257d83aecf8775d14fc9f98bee74d84;p=platform%2Fupstream%2Flinaro-gcc.git

2010-02-17  Richard Guenther  <rguenther@suse.de>

	* tree-vrp.c (vrp_visit_phi_node): Restrict SCEV analysis
	to loop PHI nodes.


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@156825 138bc75d-0d04-0410-961f-82ee72b054a4
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 31f251d..e486fd0 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2010-02-17  Richard Guenther  <rguenther@suse.de>
+
+	* tree-vrp.c (vrp_visit_phi_node): Restrict SCEV analysis
+	to loop PHI nodes.
+
 2010-02-17  Jakub Jelinek  <jakub@redhat.com>
 
 	PR debug/42918
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c
index 2f0f059..152d389 100644
--- a/gcc/tree-vrp.c
+++ b/gcc/tree-vrp.c
@@ -6318,11 +6318,10 @@ vrp_visit_phi_node (gimple phi)
     }
 
   /* If this is a loop PHI node SCEV may known more about its
-     value-range.
-     ???  Identify loop PHI nodes properly.   */
+     value-range.  */
   if (current_loops
       && (l = loop_containing_stmt (phi))
-      && loop_outer (l))
+      && l->header == gimple_bb (phi))
     adjust_range_with_scev (&vr_result, l, phi, lhs);
 
   if (vr_result.type == VR_VARYING)