tree.c (int_fits_type_p): If bounds of a subtype are variable, see if fits in bounds of base type.

	* tree.c (int_fits_type_p): If bounds of a subtype are variable, see
	if fits in bounds of base type.

From-SVN: r49070

2 files changed, 7 insertions, 1 deletions

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 0f91fb5..fb10f39 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,8 @@
 Tue Jan 22 06:26:33 2002  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
 
+	* tree.c (int_fits_type_p): If bounds of a subtype are variable, see
+	if fits in bounds of base type.
+
 	* dwarf2out.c (equate_decl_number_to_die): Add "int" to decls.
 	(loc_descriptor_from_tree, case CALL_EXPR, case ADDR_EXPR): New.
 	(add_bound_info, default): If can't find a context, make a
diff --git a/gcc/tree.c b/gcc/tree.c
index 61252e7..53d5889 100644
--- a/gcc/tree.c
+++ b/gcc/tree.c
@@ -4245,7 +4245,8 @@ int_fits_type_p (c, type)
      tree c, type;
 {
   /* If the bounds of the type are integers, we can check ourselves.
-     Otherwise,. use force_fit_type, which checks against the precision.  */
+     If not, but this type is a subtype, try checking against that.
+     Otherwise, use force_fit_type, which checks against the precision.  */
   if (TYPE_MAX_VALUE (type) != NULL_TREE
       && TYPE_MIN_VALUE (type) != NULL_TREE
       && TREE_CODE (TYPE_MAX_VALUE (type)) == INTEGER_CST
@@ -4264,6 +4265,8 @@ int_fits_type_p (c, type)
 		&& ! (TREE_INT_CST_HIGH (c) < 0
 		      && TREE_UNSIGNED (TREE_TYPE (c))));
     }
+  else if (TREE_CODE (type) == INTEGER_TYPE && TREE_TYPE (type) != 0)
+    return int_fits_type_p (c, TREE_TYPE (type));
   else
     {
       c = copy_node (c);