From d3fe0ffdd22bcabcbf03ee936d89ab971fbc74c4 Mon Sep 17 00:00:00 2001
From: Justin Squirek <squirek@adacore.com>
Date: Thu, 9 May 2024 19:37:44 +0000
Subject: [PATCH] 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.
---
 gcc/ada/sem_attr.adb | 1 +
 1 file changed, 1 insertion(+)

diff --git a/gcc/ada/sem_attr.adb b/gcc/ada/sem_attr.adb
index 22fbca45ac5..2563a92f2f0 100644
--- 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
 
-- 
2.47.2