From 2689914091d4c552d775338215a95a6fe10945f9 Mon Sep 17 00:00:00 2001 From: Yannick Moy Date: Tue, 10 May 2022 18:52:59 +0200 Subject: [PATCH] [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. --- gcc/ada/sem_ch5.adb | 15 --------------- gcc/ada/sem_ch5.ads | 7 ------- 2 files changed, 22 deletions(-) diff --git a/gcc/ada/sem_ch5.adb b/gcc/ada/sem_ch5.adb index f430139..ab9f471 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 22675c2..f6f6047 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 -- 2.7.4