diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2022-01-28 10:24:04 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-05-11 08:53:18 +0000 |
| commit | c8482b1e77a0008986c4019d0d69993f80f03775 (patch) | |
| tree | 067d9ed1beda8ddd5340981995b67979a96aa3dc /gcc/ada/gcc-interface | |
| parent | c51ad37e2d79132bb78305f90322403303cf17c3 (diff) | |
| download | gcc-c8482b1e77a0008986c4019d0d69993f80f03775.zip gcc-c8482b1e77a0008986c4019d0d69993f80f03775.tar.gz gcc-c8482b1e77a0008986c4019d0d69993f80f03775.tar.bz2 | |
[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.
Diffstat (limited to 'gcc/ada/gcc-interface')
0 files changed, 0 insertions, 0 deletions