From: Roger Sayle Date: Sat, 1 Jan 2005 20:33:28 +0000 (+0000) Subject: tree.c (int_fits_type_p): A narrower type always fits in a wider one... X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=91c537b758841f4dbcf29b4a26bfc2d20c6c52ee;p=gcc.git tree.c (int_fits_type_p): A narrower type always fits in a wider one... * tree.c (int_fits_type_p): A narrower type always fits in a wider one, except for negative values into unsigned types. Co-Authored-By: Olivier Hainque From-SVN: r92788 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 159941cec25..503f1534134 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2005-01-01 Roger Sayle + Olivier Hainque + + * 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 * tree.c (int_fits_type_p): Compare the result of force_fit_type diff --git a/gcc/tree.c b/gcc/tree.c index ca97e30351e..e648aaa6b45 100644 --- 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