(int_fits_type_p): Negative ints never fit unsigned types, and

unsigned ints with top-bit-set never fit signed types. From-SVN: r14637

(int_fits_type_p): Negative ints never fit unsigned types, and
unsigned ints with top-bit-set never fit signed types. From-SVN: r14637
ae0a3dfb · Richard Kenner · 272e2587 · ae0a3dfb
Commit ae0a3dfb authored Aug 02, 1997 by Richard Kenner
Hide whitespace changes
Inline Side-by-side

Showing with 8 additions and 2 deletions

gcc/tree.c
+8 -2

No files found.
--- a/gcc/tree.c
+++ b/gcc/tree.c
@@ -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