From: Piotr Trojanek <trojanek@adacore.com>
Date: Thu, 12 Dec 2019 11:02:22 +0000 (+0100)
Subject: [Ada] Remove dead code for detecting hidden package state
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=056ea2ec8ee6501d0068948746c71796a9d38e14;p=gcc.git

[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.
---

diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb
index 814d5039867..650226e96ec 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