[gcc(refs/users/guojiufu/heads/guojiufu-branch)] [Ada] Remove dead code for detecting hidden package state

Jiu Fu Guo guojiufu@gcc.gnu.org
Wed Jun 10 03:23:06 GMT 2020


https://gcc.gnu.org/g:056ea2ec8ee6501d0068948746c71796a9d38e14

commit 056ea2ec8ee6501d0068948746c71796a9d38e14
Author: Piotr Trojanek <trojanek@adacore.com>
Date:   Thu Dec 12 12:02:22 2019 +0100

    [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:
---
 gcc/ada/sem_util.adb | 6 ------
 1 file changed, 6 deletions(-)

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


More information about the Gcc-cvs mailing list