https://gcc.gnu.org/g:7b8e54b53de994607bec5c2b0e3a2c19c2057333
commit r17-778-g7b8e54b53de994607bec5c2b0e3a2c19c2057333 Author: Bob Duff <[email protected]> Date: Sun Feb 1 16:20:49 2026 -0500 ada: Tech debt: Remove Aspect_Unimplemented It's time to remove this temporary code; the comment "-- ??? temp for now" was inserted in 2015. gcc/ada/ChangeLog: * aspects.ads (Aspect_Unimplemented): Remove. * sem_ch13.adb (Aspect_Unimplemented): Remove. Diff: --- gcc/ada/aspects.ads | 6 ------ gcc/ada/sem_ch13.adb | 6 +----- 2 files changed, 1 insertion(+), 11 deletions(-) diff --git a/gcc/ada/aspects.ads b/gcc/ada/aspects.ads index 7b127751ec0f..d9d6fed4fbc0 100644 --- a/gcc/ada/aspects.ads +++ b/gcc/ada/aspects.ads @@ -164,7 +164,6 @@ package Aspects is Aspect_Taint_Source, -- GNAT Aspect_Test_Case, -- GNAT Aspect_Type_Invariant, - Aspect_Unimplemented, -- GNAT Aspect_Unsuppress, Aspect_User_Aspect, -- GNAT Aspect_Value_Size, -- GNAT @@ -363,7 +362,6 @@ package Aspects is Aspect_Suppress_Initialization => True, Aspect_Test_Case => True, Aspect_Thread_Local_Storage => True, - Aspect_Unimplemented => True, Aspect_Universal_Aliasing => True, Aspect_Unmodified => True, Aspect_Unreferenced => True, @@ -529,7 +527,6 @@ package Aspects is Aspect_Synchronization => Name, Aspect_Test_Case => Expression, Aspect_Type_Invariant => Expression, - Aspect_Unimplemented => Optional_Expression, Aspect_Unsuppress => Name, Aspect_User_Aspect => Expression, Aspect_Value_Size => Expression, @@ -637,7 +634,6 @@ package Aspects is Aspect_Synchronization => False, Aspect_Test_Case => False, Aspect_Type_Invariant => False, - Aspect_Unimplemented => False, Aspect_Unsigned_Base_Range => True, Aspect_Unsuppress => False, Aspect_User_Aspect => False, @@ -860,7 +856,6 @@ package Aspects is Aspect_Test_Case => Name_Test_Case, Aspect_Type_Invariant => Name_Type_Invariant, Aspect_Unchecked_Union => Name_Unchecked_Union, - Aspect_Unimplemented => Name_Unimplemented, Aspect_Universal_Aliasing => Name_Universal_Aliasing, Aspect_Unmodified => Name_Unmodified, Aspect_Unreferenced => Name_Unreferenced, @@ -1135,7 +1130,6 @@ package Aspects is Aspect_Super => Never_Delay, Aspect_Synchronization => Never_Delay, Aspect_Test_Case => Never_Delay, - Aspect_Unimplemented => Never_Delay, Aspect_User_Aspect => Never_Delay, Aspect_Volatile_Function => Never_Delay, Aspect_Warnings => Never_Delay, diff --git a/gcc/ada/sem_ch13.adb b/gcc/ada/sem_ch13.adb index 9d481171054a..388f1ad1d92b 100644 --- a/gcc/ada/sem_ch13.adb +++ b/gcc/ada/sem_ch13.adb @@ -3768,10 +3768,7 @@ package body Sem_Ch13 is -- Processing based on specific aspect case A_Id is - when Aspect_Unimplemented => - null; -- ??? temp for now - - -- No_Aspect should be impossible + -- No_Aspect is impossible when No_Aspect => raise Program_Error; @@ -12439,7 +12436,6 @@ package body Sem_Ch13 is | Aspect_Super | Aspect_Suppress | Aspect_Test_Case - | Aspect_Unimplemented | Aspect_Unsuppress | Aspect_User_Aspect | Ignored_Aspects
