From c48a779f64c68f73f50c5993c818ead9faf8d013 Mon Sep 17 00:00:00 2001 From: Piotr Trojanek Date: Thu, 27 Jan 2022 12:59:58 +0100 Subject: [PATCH] [Ada] Move Reachable flag to E_Label entities An entity flag Reachable is described as "defined in labels". It is only read and written for entities of kind E_Label (the code has necessary guards for that). There no need for this flag to be specified for all entities in the generated AST. Cleanup related to detection of uninitialized scalars with GOTO statements. gcc/ada/ * gen_il-gen-gen_entities.adb (Reachable): Move from Root_Entity_Type to E_Label. --- gcc/ada/gen_il-gen-gen_entities.adb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gcc/ada/gen_il-gen-gen_entities.adb b/gcc/ada/gen_il-gen-gen_entities.adb index 2631045..5b8603b 100644 --- a/gcc/ada/gen_il-gen-gen_entities.adb +++ b/gcc/ada/gen_il-gen-gen_entities.adb @@ -217,7 +217,6 @@ begin -- Gen_IL.Gen.Gen_Entities Sm (No_Return, Flag), Sm (Overlays_Constant, Flag), Sm (Prev_Entity, Node_Id), - Sm (Reachable, Flag), Sm (Referenced, Flag), Sm (Referenced_As_LHS, Flag), Sm (Referenced_As_Out_Parameter, Flag), @@ -1241,6 +1240,7 @@ begin -- Gen_IL.Gen.Gen_Entities -- implicit label declaration, not the occurrence of the label itself, -- which is simply a direct name referring to the label. (Sm (Enclosing_Scope, Node_Id), + Sm (Reachable, Flag), Sm (Renamed_Or_Alias, Node_Id))); Cc (E_Loop, Entity_Kind, -- 2.7.4