diff options
author | Justin Squirek <squirek@adacore.com> | 2024-03-26 15:02:58 +0000 |
---|---|---|
committer | Marc Poulhiès <poulhies@adacore.com> | 2024-05-20 09:47:05 +0200 |
commit | fd5a221928bb0689f7ff7eadc295970bf58392a5 (patch) | |
tree | 6e9556e7d0483082be121cddc754fa5a33356272 /gcc/ada/sem_attr.adb | |
parent | ea65d5b38051aca5071157092546665c446cef60 (diff) | |
download | gcc-fd5a221928bb0689f7ff7eadc295970bf58392a5.zip gcc-fd5a221928bb0689f7ff7eadc295970bf58392a5.tar.gz gcc-fd5a221928bb0689f7ff7eadc295970bf58392a5.tar.bz2 |
ada: Further refine 'Super attribute
This patch relaxes the restriction on 'Super such that it can apply to abstract
type objects.
gcc/ada/
* sem_attr.adb (Analyze_Attribute): Remove restriction on 'Super
for abstract types.
Diffstat (limited to 'gcc/ada/sem_attr.adb')
-rw-r--r-- | gcc/ada/sem_attr.adb | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/gcc/ada/sem_attr.adb b/gcc/ada/sem_attr.adb index df52229b..403810c 100644 --- a/gcc/ada/sem_attr.adb +++ b/gcc/ada/sem_attr.adb @@ -6683,10 +6683,6 @@ package body Sem_Attr is elsif Depends_On_Private (P_Type) then Error_Attr_P ("prefix type of % is a private extension"); - -- Check that we don't view convert to an abstract type - - elsif Is_Abstract_Type (Node (First_Elmt (Parents))) then - Error_Attr_P ("type of % cannot be abstract"); end if; -- Generate a view conversion and analyze it |