[Ada] Move Reachable flag to E_Label entities
authorPiotr Trojanek <trojanek@adacore.com>
Thu, 27 Jan 2022 11:59:58 +0000 (12:59 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 11 May 2022 08:53:17 +0000 (08:53 +0000)
commitc48a779f64c68f73f50c5993c818ead9faf8d013
tree8b6ef10ffd3684d704a600a9f9c77bd881f20a86
parent2749e4ab8fb74e43fc84724ef259589d75c121ff
[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