From fd5a221928bb0689f7ff7eadc295970bf58392a5 Mon Sep 17 00:00:00 2001 From: Justin Squirek Date: Tue, 26 Mar 2024 15:02:58 +0000 Subject: [PATCH] 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. --- gcc/ada/sem_attr.adb | 4 ---- 1 file changed, 4 deletions(-) diff --git a/gcc/ada/sem_attr.adb b/gcc/ada/sem_attr.adb index df52229b6aa..403810c8b5e 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 -- 2.47.2