diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index ef6a4cf0407..d18f1b645a3 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2002-05-01  Joel Brobecker  <brobecker@gnat.com>
+
+	* dbxout.c (dbxout_type): Emit size information for range types,
+	as well, but only when using GDB extensions.
+
 2002-05-01  Richard Henderson  <rth@redhat.com>
 
 	* configure.in (HAVE_GAS_HIDDEN): Replace SPARC feature test with
diff --git a/gcc/dbxout.c b/gcc/dbxout.c
index da3c8421ee4..383f469f253 100644
--- a/gcc/dbxout.c
+++ b/gcc/dbxout.c
@@ -1219,7 +1219,20 @@ dbxout_type (type, full)
 	 write it as a subtype.  */
       else if (TREE_TYPE (type) != 0
 	       && TREE_CODE (TREE_TYPE (type)) == INTEGER_TYPE)
-	dbxout_range_type (type);
+        {
+	  /* If the size is non-standard, say what it is if we can use
+	     GDB extensions.  */
+
+	  if (use_gnu_debug_info_extensions
+	      && TYPE_PRECISION (type) != TYPE_PRECISION (integer_type_node))
+	    {
+	      have_used_extensions = 1;
+	      fprintf (asmfile, "@s%d;", TYPE_PRECISION (type));
+	      CHARS (5);
+	    }
+
+	  dbxout_range_type (type);
+        }
 
       else
   	{