ada: Allow implicit dereferenced for uses of 'Super

This patch modifies the experimental 'Super attribute to allow an access-valued
prefix to be equivalent to Prefix.all'Super.

gcc/ada/

	* sem_attr.adb:
	(Analyze_Attribute): Add check for dereference.

diff --git a/gcc/ada/sem_attr.adb b/gcc/ada/sem_attr.adb
index 22fbca45ac5fe53d2d2c5d2443e4c15f768c9a7a..2563a92f2f0d6339cc01a3843c8e68d4bbb7b56c 100644 (file)
--- a/gcc/ada/sem_attr.adb
+++ b/gcc/ada/sem_attr.adb
@@ -6688,6 +6688,7 @@ package body Sem_Attr is
          Error_Msg_GNAT_Extension ("attribute %", Sloc (N));
 
          Check_E0;
+         Check_Dereference;
 
          --  Verify that we are looking at a type with ancestors