[gcc r15-1311] ada: Allow implicit dereferenced for uses of 'Super

[Marc Poulhi?s via Gcc-cvs]

https://gcc.gnu.org/g:d3fe0ffdd22bcabcbf03ee936d89ab971fbc74c4

commit r15-1311-gd3fe0ffdd22bcabcbf03ee936d89ab971fbc74c4
Author: Justin Squirek <squi...@adacore.com>
Date:   Thu May 9 19:37:44 2024 +0000

    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:
---
 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 22fbca45ac5f..2563a92f2f0d 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