[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 814d5039867cdd39fb7237e7cf1c9ca0d113824e..650226e96ec02852c2a84431ffb0e94b2af77892 100644 (file)
--- 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