https://gcc.gnu.org/g:fd5a221928bb0689f7ff7eadc295970bf58392a5
commit r15-680-gfd5a221928bb0689f7ff7eadc295970bf58392a5
Author: Justin Squirek <squi...@adacore.com>
Date: Tue Mar 26 15:02:58 2024 +0000
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.
Diff:
---
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 df52229b6aaf..403810c8b5ec 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
