diff options
author | Justin Squirek <squirek@adacore.com> | 2024-05-09 19:37:44 +0000 |
---|---|---|
committer | Marc Poulhiès <poulhies@adacore.com> | 2024-06-14 09:34:17 +0200 |
commit | d3fe0ffdd22bcabcbf03ee936d89ab971fbc74c4 (patch) | |
tree | 0941880d9a5aa5f35ce25f3448c06a6059149c01 /gcc/ada | |
parent | 2ede7e3993c90c16f28358df07ea29cd62e34447 (diff) | |
download | gcc-d3fe0ffdd22bcabcbf03ee936d89ab971fbc74c4.zip gcc-d3fe0ffdd22bcabcbf03ee936d89ab971fbc74c4.tar.gz gcc-d3fe0ffdd22bcabcbf03ee936d89ab971fbc74c4.tar.bz2 |
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.
Diffstat (limited to 'gcc/ada')
-rw-r--r-- | gcc/ada/sem_attr.adb | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/ada/sem_attr.adb b/gcc/ada/sem_attr.adb index 22fbca4..2563a92 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 |