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 | |
| 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.
| -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 |