diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2019-12-12 12:02:22 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-02 04:58:11 -0400 |
| commit | 056ea2ec8ee6501d0068948746c71796a9d38e14 (patch) | |
| tree | f972e52180ed072432cbd167dda801da1c6f5bec | |
| parent | 0c6eef3096edafbcc857319efff2377dd63be7cb (diff) | |
| download | gcc-056ea2ec8ee6501d0068948746c71796a9d38e14.zip gcc-056ea2ec8ee6501d0068948746c71796a9d38e14.tar.gz gcc-056ea2ec8ee6501d0068948746c71796a9d38e14.tar.bz2 | |
[Ada] Remove dead code for detecting hidden package state
2020-06-02 Piotr Trojanek <trojanek@adacore.com>
gcc/ada/
* sem_util.adb (Check_No_Hidden_State): Remove dead code.
| -rw-r--r-- | gcc/ada/sem_util.adb | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb index 814d503..650226e 100644 --- a/gcc/ada/sem_util.adb +++ b/gcc/ada/sem_util.adb @@ -3398,12 +3398,6 @@ package body Sem_Util is or else Ekind_In (Context, E_Block, E_Task_Type) then return; - - -- When examining a package body, use the entity of the spec as it - -- carries the abstract state declarations. - - elsif Ekind (Context) = E_Package_Body then - Context := Spec_Entity (Context); end if; -- Stop the traversal when a package subject to a null abstract state |