diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2022-01-27 12:59:58 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-05-11 08:53:17 +0000 |
| commit | c48a779f64c68f73f50c5993c818ead9faf8d013 (patch) | |
| tree | 8b6ef10ffd3684d704a600a9f9c77bd881f20a86 | |
| parent | 2749e4ab8fb74e43fc84724ef259589d75c121ff (diff) | |
| download | gcc-c48a779f64c68f73f50c5993c818ead9faf8d013.zip gcc-c48a779f64c68f73f50c5993c818ead9faf8d013.tar.gz gcc-c48a779f64c68f73f50c5993c818ead9faf8d013.tar.bz2 | |
[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.
| -rw-r--r-- | gcc/ada/gen_il-gen-gen_entities.adb | 2 |
1 files changed, 1 insertions, 1 deletions
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, |