Another small fix to implementation of -fdump-ada-spec

This avoids generating invalid Ada code for function with a multidimensional
array parameter and also cleans things up left and right.

gcc/c-family/
	* c-ada-spec.cc (check_type_name_conflict): Add guard.
	(is_char_array): Simplify.
	(dump_ada_array_type): Use strip_array_types.
	(dump_ada_node) <POINTER_TYPE>: Deal with anonymous array types.
	(dump_nested_type): Use strip_array_types.

diff --git a/gcc/c-family/c-ada-spec.cc b/gcc/c-family/c-ada-spec.cc
index 46fee30b6b909e8c6277654d5e4ae1c044d0f792..8f0849bd427006808387054c764cd795a2e6e7d8 100644 (file)
--- a/gcc/c-family/c-ada-spec.cc
+++ b/gcc/c-family/c-ada-spec.cc
@@ -1558,7 +1558,7 @@ check_type_name_conflict (pretty_printer *buffer, tree t)
   while (TREE_CODE (tmp) == POINTER_TYPE && !TYPE_NAME (tmp))
     tmp = TREE_TYPE (tmp);
 
-  if (TREE_CODE (tmp) != FUNCTION_TYPE)
+  if (TREE_CODE (tmp) != FUNCTION_TYPE && tmp != error_mark_node)
     {
       const char *s;
 
@@ -1788,17 +1788,9 @@ dump_sloc (pretty_printer *buffer, tree node)
 static bool
 is_char_array (tree t)
 {
-  int num_dim = 0;
-
-  while (TREE_CODE (t) == ARRAY_TYPE)
-    {
-      num_dim++;
-      t = TREE_TYPE (t);
-    }
-
-  return num_dim == 1
-        && TREE_CODE (t) == INTEGER_TYPE
-        && id_equal (DECL_NAME (TYPE_NAME (t)), "char");
+  return TREE_CODE (t) == ARRAY_TYPE
+        && TREE_CODE (TREE_TYPE (t)) == INTEGER_TYPE
+        && id_equal (DECL_NAME (TYPE_NAME (TREE_TYPE (t))), "char");
 }
 
 /* Dump in BUFFER an array type NODE in Ada syntax.  SPC is the indentation
@@ -1821,9 +1813,7 @@ dump_ada_array_type (pretty_printer *buffer, tree node, int spc)
   /* Print the component type.  */
   if (!char_array)
     {
-      tree tmp = node;
-      while (TREE_CODE (tmp) == ARRAY_TYPE)
-       tmp = TREE_TYPE (tmp);
+      tree tmp = strip_array_types (node);
 
       pp_string (buffer, " of ");
 
@@ -2350,6 +2340,11 @@ dump_ada_node (pretty_printer *buffer, tree node, tree type, int spc,
                      && DECL_ORIGINAL_TYPE (DECL_CHAIN (stub)) == ref_type)
                    ref_type = TREE_TYPE (DECL_CHAIN (stub));
 
+                 /* If this is a pointer to an anonymous array type, then use
+                    the name of the component type.  */
+                 else if (!type_name && is_access)
+                   ref_type = strip_array_types (ref_type);
+
                  /* Generate "access <type>" instead of "access <subtype>"
                     if the subtype comes from another file, because subtype
                     declarations do not contribute to the limited view of a
@@ -2639,10 +2634,7 @@ dump_nested_type (pretty_printer *buffer, tree field, tree t, int spc)
       if (!bitmap_set_bit (dumped_anonymous_types, TYPE_UID (field_type)))
        return;
 
-      /* Recurse on the element type if need be.  */
-      tmp = TREE_TYPE (field_type);
-      while (TREE_CODE (tmp) == ARRAY_TYPE)
-       tmp = TREE_TYPE (tmp);
+      tmp = strip_array_types (field_type);
       decl = get_underlying_decl (tmp);
       if (decl
          && !DECL_NAME (decl)