(int_fits_type_p): Negative ints never fit unsigned

types, and unsigned ints with top-bit-set never fit signed types.

From-SVN: r2126

diff --git a/gcc/tree.c b/gcc/tree.c
index 34de0d6da1ae9e94aaf4d2a030634dc873a74066..4fb48e6780b44be32c7126ab16c10774c82e802d 100644 (file)
--- a/gcc/tree.c
+++ b/gcc/tree.c
@@ -3131,10 +3131,12 @@ int_fits_type_p (c, type)
 {
   if (TREE_UNSIGNED (type))
     return (!INT_CST_LT_UNSIGNED (TYPE_MAX_VALUE (type), c)
-           && !INT_CST_LT_UNSIGNED (c, TYPE_MIN_VALUE (type)));
+           && !INT_CST_LT_UNSIGNED (c, TYPE_MIN_VALUE (type))
+           && (TREE_INT_CST_HIGH (c) >= 0 || TREE_UNSIGNED (TREE_TYPE (c))));
   else
     return (!INT_CST_LT (TYPE_MAX_VALUE (type), c)
-           && !INT_CST_LT (c, TYPE_MIN_VALUE (type)));
+           && !INT_CST_LT (c, TYPE_MIN_VALUE (type))
+           && (TREE_INT_CST_HIGH (c) >= 0 || !TREE_UNSIGNED (TREE_TYPE (c))));
 }
 
 /* Return the innermost context enclosing DECL that is