ada: Crash on 'Access for Stream_Element_Array object

This patch fixes a crash in the compiler when the actual for an anonymous
access type formal is an 'Access of a Sream_Element_Array object during
the calculation of said actual's accessibility level.

gcc/ada/ChangeLog:

	* accessibility.adb (Accessibility_Level): Handle the Input attribute
	case

diff --git a/gcc/ada/accessibility.adb b/gcc/ada/accessibility.adb
index a4129819109d9ec94150cf89c79fd734f6927c81..376eb9d0bb9414fb1fecbb44544d459171f6ae73 100644 (file)
--- a/gcc/ada/accessibility.adb
+++ b/gcc/ada/accessibility.adb
@@ -464,6 +464,23 @@ package body Accessibility is
             if Attribute_Name (E) = Name_Access then
                return Accessibility_Level (Prefix (E));
 
+            --  If we have reached a 'Input attribute then this is the
+            --  the result of the expansion of an object declaration with
+            --  an initial value featuring it. Is this the only case ???
+
+            --  For example:
+
+            --    Opaque : aliased Stream_Element_Array :=
+            --      Stream_Element_Array'Input (S);
+
+            elsif Attribute_Name (E) = Name_Input then
+
+               --  Return the level of the enclosing declaration
+
+               return Make_Level_Literal
+                        (Innermost_Master_Scope_Depth
+                          (Enclosing_Declaration (Expr)));
+
             --  Unchecked or unrestricted attributes have unlimited depth
 
             elsif Attribute_Name (E) in Name_Address