aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
Diffstat (limited to 'gcc')
-rw-r--r--gcc/ChangeLog5
-rw-r--r--gcc/tree-vrp.c5
2 files changed, 7 insertions, 3 deletions
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)