From: Yannick Moy Date: Tue, 10 May 2022 16:52:59 +0000 (+0200) Subject: [Ada] Removal of dead code Analyze_Label_Entity X-Git-Tag: basepoints/gcc-14~6272 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=2689914091d4c552d775338215a95a6fe10945f9;p=thirdparty%2Fgcc.git [Ada] Removal of dead code Analyze_Label_Entity gcc/ada/ * sem_ch5.adb (Analyze_Label_Entity): Remove body. * sem_ch5.ads (Analyze_Label_Entity): Remove spec. --- diff --git a/gcc/ada/sem_ch5.adb b/gcc/ada/sem_ch5.adb index f4301397881..ab9f471d256 100644 --- a/gcc/ada/sem_ch5.adb +++ b/gcc/ada/sem_ch5.adb @@ -2112,9 +2112,6 @@ package body Sem_Ch5 is -- An implicit label declaration is generated in the innermost enclosing -- declarative part. This is done for labels, and block and loop names. - -- Note: any changes in this routine may need to be reflected in - -- Analyze_Label_Entity. - procedure Analyze_Implicit_Label_Declaration (N : Node_Id) is Id : constant Node_Id := Defining_Identifier (N); begin @@ -2881,18 +2878,6 @@ package body Sem_Ch5 is Kill_Current_Values; end Analyze_Label; - -------------------------- - -- Analyze_Label_Entity -- - -------------------------- - - procedure Analyze_Label_Entity (E : Entity_Id) is - begin - Mutate_Ekind (E, E_Label); - Set_Etype (E, Standard_Void_Type); - Set_Enclosing_Scope (E, Current_Scope); - Set_Reachable (E, True); - end Analyze_Label_Entity; - ------------------------------------------ -- Analyze_Loop_Parameter_Specification -- ------------------------------------------ diff --git a/gcc/ada/sem_ch5.ads b/gcc/ada/sem_ch5.ads index 22675c27f96..f6f6047e47b 100644 --- a/gcc/ada/sem_ch5.ads +++ b/gcc/ada/sem_ch5.ads @@ -45,13 +45,6 @@ package Sem_Ch5 is procedure Analyze_Statements (L : List_Id); procedure Analyze_Target_Name (N : Node_Id); - procedure Analyze_Label_Entity (E : Entity_Id); - -- This procedure performs direct analysis of the label entity E. It - -- is used when a label is created by the expander without bothering - -- to insert an N_Implicit_Label_Declaration in the tree. It also takes - -- care of setting Reachable, since labels defined by the expander can - -- be assumed to be reachable. - procedure Check_Unreachable_Code (N : Node_Id); -- This procedure is called with N being the node for a statement that is -- an unconditional transfer of control or an apparent infinite loop. It