projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c51ad37) | patch
[Ada] Add guard for making only legal labels unreachable
authorPiotr Trojanek <trojanek@adacore.com>
Fri, 28 Jan 2022 09:24:04 +0000 (10:24 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 11 May 2022 08:53:18 +0000 (08:53 +0000)
commitc8482b1e77a0008986c4019d0d69993f80f03775
tree067d9ed1beda8ddd5340981995b67979a96aa3dctree | snapshot
parentc51ad37e2d79132bb78305f90322403303cf17c3commit | diff
[Ada] Add guard for making only legal labels unreachable

An entity flag Reachable now only applies to E_Label entities. We had an
appropriate guard for setting this flag, but not for clearing.

Cleanup related to detection of uninitialized scalars with GOTO
statements.

gcc/ada/

* sem_ch5.adb (Analyze_Statements): Only clear Reachable flag on
proper label entities.
gcc/ada/sem_ch5.adb diff | blob | history
Domain: System / Toolchain;