diff options
author | Richard Kenner <kenner@gcc.gnu.org> | 1997-08-02 18:50:39 -0400 |
---|---|---|
committer | Richard Kenner <kenner@gcc.gnu.org> | 1997-08-02 18:50:39 -0400 |
commit | ae0a3dfbf49c9bcd36520a722c544f30f19b441b (patch) | |
tree | a70c18d2e75c8534b2bf138f1c9295a458f59432 /gcc | |
parent | 272e2587a20cf755e9180937aec2d64a7fc35b84 (diff) | |
download | gcc-ae0a3dfbf49c9bcd36520a722c544f30f19b441b.zip gcc-ae0a3dfbf49c9bcd36520a722c544f30f19b441b.tar.gz gcc-ae0a3dfbf49c9bcd36520a722c544f30f19b441b.tar.bz2 |
(int_fits_type_p): Negative ints never fit unsigned types, and
unsigned ints with top-bit-set never fit signed types.
From-SVN: r14637
Diffstat (limited to 'gcc')
-rw-r--r-- | gcc/tree.c | 10 |
1 files changed, 8 insertions, 2 deletions
@@ -4346,12 +4346,18 @@ int_fits_type_p (c, type) return (! (TREE_CODE (TYPE_MAX_VALUE (type)) == INTEGER_CST && INT_CST_LT_UNSIGNED (TYPE_MAX_VALUE (type), c)) && ! (TREE_CODE (TYPE_MIN_VALUE (type)) == INTEGER_CST - && INT_CST_LT_UNSIGNED (c, TYPE_MIN_VALUE (type)))); + && INT_CST_LT_UNSIGNED (c, TYPE_MIN_VALUE (type))) + /* Negative ints never fit unsigned types. */ + && ! (TREE_INT_CST_HIGH (c) < 0 + && ! TREE_UNSIGNED (TREE_TYPE (c)))); else return (! (TREE_CODE (TYPE_MAX_VALUE (type)) == INTEGER_CST && INT_CST_LT (TYPE_MAX_VALUE (type), c)) && ! (TREE_CODE (TYPE_MIN_VALUE (type)) == INTEGER_CST - && INT_CST_LT (c, TYPE_MIN_VALUE (type)))); + && INT_CST_LT (c, TYPE_MIN_VALUE (type))) + /* Unsigned ints with top bit set never fit signed types. */ + && ! (TREE_INT_CST_HIGH (c) < 0 + && TREE_UNSIGNED (TREE_TYPE (c)))); } /* Return the innermost context enclosing DECL that is |