From fcbac1b3344c0e6376b11b0f555dcfb908bbf775 Mon Sep 17 00:00:00 2001 From: Piotr Trojanek Date: Tue, 23 Jun 2020 17:40:22 +0200 Subject: [PATCH] [Ada] Remove excessive defensive calls to Is_Type gcc/ada/ * sem_ch3.adb (Access_Subprogram_Declaration): Remove extra parens. (Make_Index): Remove excessive calls to Is_Type. --- gcc/ada/sem_ch3.adb | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb index ca982ff0024..a5fb045171d 100644 --- a/gcc/ada/sem_ch3.adb +++ b/gcc/ada/sem_ch3.adb @@ -1185,7 +1185,7 @@ package body Sem_Ch3 is end; end if; - if not (Is_Type (Etype (Desig_Type))) then + if not Is_Type (Etype (Desig_Type)) then Error_Msg_N ("expect type in function specification", Result_Definition (T_Def)); @@ -19214,7 +19214,6 @@ package body Sem_Ch3 is if Nkind (Low_Bound (N)) = N_Attribute_Reference and then Attribute_Name (Low_Bound (N)) = Name_First and then Is_Entity_Name (Prefix (Low_Bound (N))) - and then Is_Type (Entity (Prefix (Low_Bound (N)))) and then Is_Discrete_Type (Entity (Prefix (Low_Bound (N)))) then -- The type of the index will be the type of the prefix, as long @@ -19266,7 +19265,6 @@ package body Sem_Ch3 is if Is_Entity_Name (Prefix (N)) and then Comes_From_Source (N) - and then Is_Type (Entity (Prefix (N))) and then Is_Discrete_Type (Entity (Prefix (N))) then Def_Id := Entity (Prefix (N)); -- 2.30.2