From: Andrew Pinski <andrew_pinski@playstation.sony.com>
Date: Mon, 6 Nov 2006 23:25:19 +0000 (+0000)
Subject: re PR tree-optimization/29439 (ICE in fold-const.c:1385 with -O1 -fwrapv -ftree-vrp)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3ea0e1e4d30782b7e9656a899b7ae306f360c350;p=gcc.git

re PR tree-optimization/29439 (ICE in fold-const.c:1385 with -O1 -fwrapv -ftree-vrp)

2006-11-06  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        PR tree-opt/29439
        * tree-vrp.c (vrp_int_const_binop): Use the correct tree when
        checking for overflow.

From-SVN: r118530
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 55861a28c78..fcc7ce3ec7c 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2006-11-06  Andrew Pinski  <andrew_pinski@playstation.sony.com>
+
+	PR tree-opt/29439
+	* tree-vrp.c (vrp_int_const_binop): Use the correct tree when
+	checking for overflow.
+
 2006-11-06  Jan van Dijk  <jan@etpmod.phys.tue.nl>
 
 	* configure.ac: Fixed typo in case statement: :: changed to ;;
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c
index 88c1d304d49..afe7140dfab 100644
--- a/gcc/tree-vrp.c
+++ b/gcc/tree-vrp.c
@@ -1177,7 +1177,7 @@ vrp_int_const_binop (enum tree_code code, tree val1, tree val2)
       else if (code == MULT_EXPR && !integer_zerop (val1))
 	{
 	  tree tmp = int_const_binop (TRUNC_DIV_EXPR,
-				      TYPE_MAX_VALUE (TREE_TYPE (val1)),
+				      res,
 				      val1, 0);
 	  int check = compare_values (tmp, val2);