OSDN Git Service

2006-11-06 Andrew Pinski <andrew_pinski@playstation.sony.com>
authorpinskia <pinskia@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 6 Nov 2006 23:25:19 +0000 (23:25 +0000)
committerpinskia <pinskia@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 6 Nov 2006 23:25:19 +0000 (23:25 +0000)
        PR tree-opt/29439
        * tree-vrp.c (vrp_int_const_binop): Use the correct tree when
        checking for overflow.

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

gcc/ChangeLog
gcc/tree-vrp.c

index 55861a2..fcc7ce3 100644 (file)
@@ -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 ;;
index 88c1d30..afe7140 100644 (file)
@@ -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);