* tree.c (int_fits_type_p): A narrower type always fits in a

	wider one, except for negative values into unsigned types.

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

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 159941c..503f153 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,4 +1,10 @@
 2005-01-01  Roger Sayle  <roger@eyesopen.com>
+           Olivier Hainque  <hainque@act-europe.fr>
+
+       * tree.c (int_fits_type_p): A narrower type always fits in a
+       wider one, except for negative values into unsigned types.
+
+2005-01-01  Roger Sayle  <roger@eyesopen.com>
 
        * tree.c (int_fits_type_p): Compare the result of force_fit_type
        with the original constant rather than require TREE_OVERFLOW.

diff --git a/gcc/tree.c b/gcc/tree.c
index ca97e30..e648aaa 100644 (file)
--- a/gcc/tree.c
+++ b/gcc/tree.c
@@ -4879,10 +4879,17 @@ int_fits_type_p (tree c, tree type)
   /* Perform some generic filtering first, which may allow making a decision
      even if the bounds are not constant.  First, negative integers never fit
      in unsigned types, */
-  if ((TYPE_UNSIGNED (type) && tree_int_cst_sgn (c) < 0)
-      /* Also, unsigned integers with top bit set never fit signed types.  */
-      || (! TYPE_UNSIGNED (type)
-         && TYPE_UNSIGNED (TREE_TYPE (c)) && tree_int_cst_msb (c)))
+  if (TYPE_UNSIGNED (type) && tree_int_cst_sgn (c) < 0)
+    return 0;
+
+  /* Second, narrower types always fit in wider ones.  */
+  if (TYPE_PRECISION (type) > TYPE_PRECISION (TREE_TYPE (c)))
+    return 1;
+
+  /* Third, unsigned integers with top bit set never fit signed types.  */
+  if (! TYPE_UNSIGNED (type)
+      && TYPE_UNSIGNED (TREE_TYPE (c))
+      && tree_int_cst_msb (c))
     return 0;
 
   /* If at least one bound of the type is a constant integer, we can check