From: Zhouyi Zhou <zhouzhouyi@FreeBSD.org>
Date: Sat, 5 Jan 2008 09:31:24 +0000 (+0100)
Subject: tree-vrp.c (find_conditional_asserts): Remove redundant check that edge does not... 
X-Git-Tag: releases/gcc-4.3.0~747
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=12a6309e7e4fec57b7f0b431fc5da6a7400c00d6;p=thirdparty%2Fgcc.git

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

        * 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 d16ff847e926..6f0c51233950 100644
--- 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 1e1ffaa7e69a..5f9a3279aa3c 100644
--- 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.  */