diff options
| author | Roger Sayle <roger@eyesopen.com> | 2005-01-01 20:33:28 +0000 |
|---|---|---|
| committer | Roger Sayle <sayle@gcc.gnu.org> | 2005-01-01 20:33:28 +0000 |
| commit | 91c537b758841f4dbcf29b4a26bfc2d20c6c52ee (patch) | |
| tree | dabb115839d326d5afb180d661686ff9d70acb98 /gcc/tree.c | |
| parent | 69618c4943a871cbb938196afa968158dc9b0d11 (diff) | |
| download | gcc-91c537b758841f4dbcf29b4a26bfc2d20c6c52ee.tar.gz | |
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 <hainque@act-europe.fr>
From-SVN: r92788
Diffstat (limited to 'gcc/tree.c')
| -rw-r--r-- | gcc/tree.c | 15 |
1 files changed, 11 insertions, 4 deletions
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 |