(const_binop): Don't pass OVERFLOW to force_fit_type if type is

unsigned.

From-SVN: r9694

diff --git a/gcc/fold-const.c b/gcc/fold-const.c
index 644807d..43ab364 100644 (file)
--- a/gcc/fold-const.c
+++ b/gcc/fold-const.c
@@ -1133,7 +1133,7 @@ const_binop (code, arg1, arg2, notrunc)
     got_it:
       TREE_TYPE (t) = TREE_TYPE (arg1);
       TREE_OVERFLOW (t)
-       = ((notrunc ? !uns && overflow : force_fit_type (t, overflow))
+       = ((notrunc ? !uns && overflow : force_fit_type (t, overflow && !uns))
           | TREE_OVERFLOW (arg1)
           | TREE_OVERFLOW (arg2));
       TREE_CONSTANT_OVERFLOW (t) = (TREE_OVERFLOW (t)