tree-vrp.c (find_conditional_asserts): Remove redundant check that edge does not...

        * tree-vrp.c (find_conditional_asserts): Remove redundant check that
        edge does not point to current bb before changing need_assert.

From-SVN: r131333

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index d16ff847e9260a69630dca257ac70ac722a32f42..6f0c51233950e3eae7481f4025e2c510e6fc1afa 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2008-01-05  Zhouyi Zhou  <zhouzhouyi@FreeBSD.org>
+
+       * tree-vrp.c (find_conditional_asserts): Remove redundant check that
+       edge does not point to current bb before changing need_assert.
+
 2008-01-04  Richard Guenther  <rguenther@suse.de>
 
        PR middle-end/34029
@@ -64,8 +69,7 @@
 2008-01-03  Jakub Jelinek  <jakub@redhat.com>
 
        PR middle-end/34608
-       * omp-low.c (expand_omp_parallel): Purge dead EH edges in the
-       child fn.
+       * omp-low.c (expand_omp_parallel): Purge dead EH edges in the child fn.
 
 2008-01-02  Richard Sandiford  <rsandifo@nildram.co.uk>
 
@@ -81,14 +85,14 @@
 
 2008-01-02  Arthur Norman <acn1@cam.ac.uk>
 
-       PR 34013
-       * gcc/config/i386/i386.c: (ix86_expand_prologue): Save red-zone
+       PR target/34013
+       * gcc/config/i386/i386.c (ix86_expand_prologue): Save red-zone
        while stack probing.
 
 2008-01-01  Douglas Gregor  <doug.gregor@gmail.com>
 
        * c-opts.c (sanitize_cpp_opts): Don't warn about "long long" when
-       in C++0x mode.
+       in C++0x mode.
 
 2008-01-01  Volker Reichelt  <v.reichelt@netcologne.de>
 

diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c
index 1e1ffaa7e69adfcc707dddf23687debeffec4075..5f9a3279aa3cb5df783a59c31ca747277736e273 100644 (file)
--- a/gcc/tree-vrp.c
+++ b/gcc/tree-vrp.c
@@ -3825,8 +3825,7 @@ find_conditional_asserts (basic_block bb, tree last)
       /* Traverse the strictly dominated sub-graph rooted at E->DEST
         to determine if any of the operands in the conditional
         predicate are used.  */
-      if (e->dest != bb)
-       need_assert |= find_assert_locations (e->dest);
+      need_assert |= find_assert_locations (e->dest);
 
       /* Register the necessary assertions for each operand in the
         conditional predicate.  */