https://gcc.gnu.org/g:6fd7d49bc86c6ea02b7d35c572f319932abc3e2e
commit r17-861-g6fd7d49bc86c6ea02b7d35c572f319932abc3e2e Author: Ronan Desplanques <[email protected]> Date: Thu Feb 19 16:45:48 2026 +0100 ada: Simplify test for limited types Is_Limited_Type always returns True for types where Is_Limited_Composite is True, therefore the disjunct this patch removes had no effect. gcc/ada/ChangeLog: * sem_ch3.adb (Process_Full_View): Simplify test. Diff: --- gcc/ada/sem_ch3.adb | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb index 38c009d0fd8d..ce75692cbbe8 100644 --- a/gcc/ada/sem_ch3.adb +++ b/gcc/ada/sem_ch3.adb @@ -21821,10 +21821,7 @@ package body Sem_Ch3 is -- decoration of the full view and thus cannot be placed with other -- similar checks in Find_Type_Name - if not Is_Limited_Type (Priv_T) - and then (Is_Limited_Type (Full_T) - or else Is_Limited_Composite (Full_T)) - then + if not Is_Limited_Type (Priv_T) and then Is_Limited_Type (Full_T) then if In_Instance then null; else
