ada: Rename Is_Past_Self_Hiding_Point flag to be Is_Not_Self_Hidden

...which seems clearer.

Still work in progress.

gcc/ada/

	* cstand.adb (Is_Past_Self_Hiding_Point): Rename to be
	Is_Not_Self_Hidden.
	* einfo.ads: Likewise.
	* exp_aggr.adb: Likewise.
	* gen_il-fields.ads: Likewise.
	* gen_il-gen-gen_entities.adb: Likewise.
	* sem.adb: Likewise.
	* sem_aggr.adb: Likewise.
	* sem_ch11.adb: Likewise.
	* sem_ch12.adb: Likewise.
	* sem_ch5.adb: Likewise.
	* sem_ch6.adb: Likewise.
	* sem_ch7.adb: Likewise.
	* sem_prag.adb: Likewise.

diff --git a/gcc/ada/cstand.adb b/gcc/ada/cstand.adb
index f53015d1e0cb1099d1f4c9a6bc7c5adaf1684fb6..3646003b3306c75134f5e3ea406baa9c5ab5abe3 100644 (file)
--- a/gcc/ada/cstand.adb
+++ b/gcc/ada/cstand.adb
@@ -1784,7 +1784,7 @@ package body CStand is
 
       Set_Is_Immediately_Visible  (Ident_Node, True);
       Set_Is_Intrinsic_Subprogram (Ident_Node, True);
-      Set_Is_Past_Self_Hiding_Point (Ident_Node);
+      Set_Is_Not_Self_Hidden (Ident_Node);
 
       Set_Name_Entity_Id (Op, Ident_Node);
       Append_Entity (Ident_Node, Standard_Standard);
@@ -1810,7 +1810,7 @@ package body CStand is
       --  frozen and not self-hidden as soon as they are created.
 
       Set_Is_Frozen (E);
-      Set_Is_Past_Self_Hiding_Point (E);
+      Set_Is_Not_Self_Hidden (E);
 
       --  Set debug information required for all standard types
 

diff --git a/gcc/ada/einfo.ads b/gcc/ada/einfo.ads
index c67731c1298d4faf5179e06d293e5ee66fb0107d..0cc4b495bd907ce9b7a9243bf1ca5c233d30d2eb 100644 (file)
--- a/gcc/ada/einfo.ads
+++ b/gcc/ada/einfo.ads
@@ -3104,7 +3104,7 @@ package Einfo is
 --       procedure which verifies the invariants of the partial view of a
 --       private type or private extension.
 
---    Is_Past_Self_Hiding_Point
+--    Is_Not_Self_Hidden
 --       Defined in all entities. Roughly speaking, this is False if the
 --       declaration of the entity is hidden from all visibility because
 --       we are within its declaration, as defined by 8.3(16-18). When
@@ -4957,7 +4957,7 @@ package Einfo is
    --    Is_Obsolescent
    --    Is_Package_Body_Entity
    --    Is_Packed_Array_Impl_Type
-   --    Is_Past_Self_Hiding_Point
+   --    Is_Not_Self_Hidden
    --    Is_Potentially_Use_Visible
    --    Is_Preelaborated
    --    Is_Primitive_Wrapper

diff --git a/gcc/ada/exp_aggr.adb b/gcc/ada/exp_aggr.adb
index e2f0ccdb34a364ecdf87a4e8d0496d15075f4ec8..40dd1c4d41b2653e91bd7cee72e938bb4a94b37a 100644 (file)
--- a/gcc/ada/exp_aggr.adb
+++ b/gcc/ada/exp_aggr.adb
@@ -2057,7 +2057,7 @@ package body Exp_Aggr is
             Set_Etype (L_J, Any_Type);
 
             Mutate_Ekind (L_J, E_Variable);
-            Set_Is_Past_Self_Hiding_Point (L_J);
+            Set_Is_Not_Self_Hidden (L_J);
             Set_Scope (L_J, Ent);
          else
             L_J := Make_Temporary (Loc, 'J', L);

diff --git a/gcc/ada/gen_il-fields.ads b/gcc/ada/gen_il-fields.ads
index 19ebf6744d079972064f7891c4c42678f2499b18..fd89fac869d2edc088f65b490e6715c8e3b75657 100644 (file)
--- a/gcc/ada/gen_il-fields.ads
+++ b/gcc/ada/gen_il-fields.ads
@@ -752,7 +752,7 @@ package Gen_IL.Fields is
       Is_Package_Body_Entity,
       Is_Packed,
       Is_Packed_Array_Impl_Type,
-      Is_Past_Self_Hiding_Point,
+      Is_Not_Self_Hidden,
       Is_Param_Block_Component_Type,
       Is_Partial_Invariant_Procedure,
       Is_Potentially_Use_Visible,

diff --git a/gcc/ada/gen_il-gen-gen_entities.adb b/gcc/ada/gen_il-gen-gen_entities.adb
index 6356de0ee2efe862089583d6f7e894908084cfac..d531e4a8efaa5576b16b90a7eddf8f7f8000cf7b 100644 (file)
--- a/gcc/ada/gen_il-gen-gen_entities.adb
+++ b/gcc/ada/gen_il-gen-gen_entities.adb
@@ -177,7 +177,7 @@ begin -- Gen_IL.Gen.Gen_Entities
         Sm (Is_Package_Body_Entity, Flag),
         Sm (Is_Packed, Flag, Impl_Base_Type_Only),
         Sm (Is_Packed_Array_Impl_Type, Flag),
-        Sm (Is_Past_Self_Hiding_Point, Flag),
+        Sm (Is_Not_Self_Hidden, Flag),
         Sm (Is_Potentially_Use_Visible, Flag),
         Sm (Is_Preelaborated, Flag),
         Sm (Is_Private_Descendant, Flag),

diff --git a/gcc/ada/sem.adb b/gcc/ada/sem.adb
index b0b492b009928c1b834e754b6118872f03014c06..3bff8d26a0d1e2c448053566a823460ddfc273c5 100644 (file)
--- a/gcc/ada/sem.adb
+++ b/gcc/ada/sem.adb
@@ -760,7 +760,7 @@ package body Sem is
 
       Debug_A_Exit ("analyzing  ", N, "  (done)");
 
-      --  Set Is_Past_Self_Hiding_Point flag. RM-8.3(16) says a declaration
+      --  Set Is_Not_Self_Hidden flag. RM-8.3(16) says a declaration
       --  is no longer hidden from all visibility after "the end of the
       --  declaration", so we set the flag here (in addition to setting it
       --  elsewhere to handle the "except..." cases of 8.3(16)). However,
@@ -777,8 +777,8 @@ package body Sem is
               and then Ekind (Scope (E)) = E_Record_Type
             then
                null; -- Set it later, in Analyze_Component_Declaration
-            elsif not Is_Past_Self_Hiding_Point (E) then
-               Set_Is_Past_Self_Hiding_Point (E);
+            elsif not Is_Not_Self_Hidden (E) then
+               Set_Is_Not_Self_Hidden (E);
             end if;
          end if;
       end;

diff --git a/gcc/ada/sem_aggr.adb b/gcc/ada/sem_aggr.adb
index bd01903a2d29173d962f42acbc74321b6f74208a..b44708a3e8ca2edaf631e07ce0612265925f045c 100644 (file)
--- a/gcc/ada/sem_aggr.adb
+++ b/gcc/ada/sem_aggr.adb
@@ -1844,7 +1844,7 @@ package body Sem_Aggr is
 
             Set_Etype (Id, Index_Typ);
             Mutate_Ekind (Id, E_Variable);
-            Set_Is_Past_Self_Hiding_Point (Id);
+            Set_Is_Not_Self_Hidden (Id);
             Set_Scope (Id, Scop);
          end if;
 
@@ -3133,7 +3133,7 @@ package body Sem_Aggr is
          end if;
 
          Mutate_Ekind (Id, E_Variable);
-         Set_Is_Past_Self_Hiding_Point (Id);
+         Set_Is_Not_Self_Hidden (Id);
          Set_Scope (Id, Ent);
          Set_Referenced (Id);
 
@@ -3506,7 +3506,7 @@ package body Sem_Aggr is
                if No (Scope (Id)) then
                   Set_Etype (Id, Index_Type);
                   Mutate_Ekind (Id, E_Variable);
-                  Set_Is_Past_Self_Hiding_Point (Id);
+                  Set_Is_Not_Self_Hidden (Id);
                   Set_Scope (Id, Ent);
                end if;
                Enter_Name (Id);

diff --git a/gcc/ada/sem_ch11.adb b/gcc/ada/sem_ch11.adb
index d07c480b0429f04d40f34f9c6b09be0d434f0654..6d519ebdd4148612ceecf0d647dcfb73f4700129 100644 (file)
--- a/gcc/ada/sem_ch11.adb
+++ b/gcc/ada/sem_ch11.adb
@@ -234,7 +234,7 @@ package body Sem_Ch11 is
 
                Enter_Name (Choice);
                Mutate_Ekind (Choice, E_Variable);
-               Set_Is_Past_Self_Hiding_Point (Choice);
+               Set_Is_Not_Self_Hidden (Choice);
 
                if RTE_Available (RE_Exception_Occurrence) then
                   Set_Etype (Choice, RTE (RE_Exception_Occurrence));

diff --git a/gcc/ada/sem_ch12.adb b/gcc/ada/sem_ch12.adb
index 7191e42fecb04dd35e20e375f0e067db570f058a..181392c2132b9894fd156509bf5eeb53afd789f4 100644 (file)
--- a/gcc/ada/sem_ch12.adb
+++ b/gcc/ada/sem_ch12.adb
@@ -3186,7 +3186,7 @@ package body Sem_Ch12 is
          Renaming_In_Par :=
            Make_Defining_Identifier (Loc, Chars (Gen_Unit));
          Mutate_Ekind (Renaming_In_Par, E_Package);
-         Set_Is_Past_Self_Hiding_Point (Renaming_In_Par);
+         Set_Is_Not_Self_Hidden (Renaming_In_Par);
          Set_Etype (Renaming_In_Par, Standard_Void_Type);
          Set_Scope (Renaming_In_Par, Parent_Instance);
          Set_Parent (Renaming_In_Par, Parent (Formal));
@@ -3847,7 +3847,7 @@ package body Sem_Ch12 is
 
       Enter_Name (Id);
       Mutate_Ekind (Id, E_Generic_Package);
-      Set_Is_Past_Self_Hiding_Point (Id);
+      Set_Is_Not_Self_Hidden (Id);
       Set_Etype (Id, Standard_Void_Type);
 
       --  Set SPARK_Mode from context
@@ -4095,7 +4095,7 @@ package body Sem_Ch12 is
          Set_Etype (Id, Standard_Void_Type);
       end if;
 
-      Set_Is_Past_Self_Hiding_Point (Id);
+      Set_Is_Not_Self_Hidden (Id);
 
       --  Analyze the aspects of the generic copy to ensure that all generated
       --  pragmas (if any) perform their semantic effects.
@@ -4340,7 +4340,7 @@ package body Sem_Ch12 is
 
       Generate_Definition (Act_Decl_Id);
       Mutate_Ekind (Act_Decl_Id, E_Package);
-      Set_Is_Past_Self_Hiding_Point (Act_Decl_Id);
+      Set_Is_Not_Self_Hidden (Act_Decl_Id);
 
       --  Initialize list of incomplete actuals before analysis
 

diff --git a/gcc/ada/sem_ch5.adb b/gcc/ada/sem_ch5.adb
index 4919e5372acd1a0f1165814b30ccb858fbe1e983..f2fb0c74b73a3c5bbc62103c56fff9e6e144f528 100644 (file)
--- a/gcc/ada/sem_ch5.adb
+++ b/gcc/ada/sem_ch5.adb
@@ -2374,7 +2374,7 @@ package body Sem_Ch5 is
       --  iterator name.
 
       Mutate_Ekind (Def_Id, E_Variable);
-      Set_Is_Past_Self_Hiding_Point (Def_Id);
+      Set_Is_Not_Self_Hidden (Def_Id);
 
       --  Provide a link between the iterator variable and the container, for
       --  subsequent use in cross-reference and modification information.
@@ -2653,7 +2653,7 @@ package body Sem_Ch5 is
 
       else
          Mutate_Ekind (Def_Id, E_Loop_Parameter);
-         Set_Is_Past_Self_Hiding_Point (Def_Id);
+         Set_Is_Not_Self_Hidden (Def_Id);
          Error_Msg_Ada_2012_Feature ("container iterator", Sloc (N));
 
          --  OF present
@@ -2707,7 +2707,7 @@ package body Sem_Ch5 is
 
                      if Has_Aspect (Typ, Aspect_Variable_Indexing) then
                         Mutate_Ekind (Def_Id, E_Variable);
-                        Set_Is_Past_Self_Hiding_Point (Def_Id);
+                        Set_Is_Not_Self_Hidden (Def_Id);
                      end if;
 
                      --  If the container is a constant, iterating over it
@@ -3332,7 +3332,7 @@ package body Sem_Ch5 is
       end if;
 
       Mutate_Ekind (Id, E_Loop_Parameter);
-      Set_Is_Past_Self_Hiding_Point (Id);
+      Set_Is_Not_Self_Hidden (Id);
 
       --  A quantified expression which appears in a pre- or post-condition may
       --  be analyzed multiple times. The analysis of the range creates several

diff --git a/gcc/ada/sem_ch6.adb b/gcc/ada/sem_ch6.adb
index df069670ad01f8252f8d3131ec44812e6a66e3dc..0b374c2f01d5c602b91ab89fc9d65631b4edefd1 100644 (file)
--- a/gcc/ada/sem_ch6.adb
+++ b/gcc/ada/sem_ch6.adb
@@ -5245,7 +5245,7 @@ package body Sem_Ch6 is
          Set_Etype (Designator, Standard_Void_Type);
       end if;
 
-      Set_Is_Past_Self_Hiding_Point (Designator);
+      Set_Is_Not_Self_Hidden (Designator);
 
       --  Flag Is_Inlined_Always is True by default, and reversed to False for
       --  those subprograms which could be inlined in GNATprove mode (because
@@ -13427,7 +13427,7 @@ package body Sem_Ch6 is
          Mutate_Ekind (Formal_Id, E_In_Parameter);
       end if;
 
-      Set_Is_Past_Self_Hiding_Point (Formal_Id);
+      Set_Is_Not_Self_Hidden (Formal_Id);
 
       --  Set Is_Known_Non_Null for access parameters since the language
       --  guarantees that access parameters are always non-null. We also set

diff --git a/gcc/ada/sem_ch7.adb b/gcc/ada/sem_ch7.adb
index fe0429a2044fa0f68c2c5f0184139a6ed8d22c9c..5021d0ee04f360e0d52186d3c6063f1f94a70491 100644 (file)
--- a/gcc/ada/sem_ch7.adb
+++ b/gcc/ada/sem_ch7.adb
@@ -1187,7 +1187,7 @@ package body Sem_Ch7 is
       Generate_Definition (Id);
       Enter_Name (Id);
       Mutate_Ekind  (Id, E_Package);
-      Set_Is_Past_Self_Hiding_Point (Id);
+      Set_Is_Not_Self_Hidden (Id);
       --  Needed early because of Set_Categorization_From_Pragmas below
       Set_Etype  (Id, Standard_Void_Type);
 
@@ -2729,7 +2729,7 @@ package body Sem_Ch7 is
          Mutate_Ekind (Id, E_Private_Type);
       end if;
 
-      Set_Is_Past_Self_Hiding_Point (Id);
+      Set_Is_Not_Self_Hidden (Id);
       Set_Etype (Id, Id);
       Set_Has_Delayed_Freeze (Id);
       Set_Is_First_Subtype (Id);

diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb
index ba4c75e7c96906a2ebf39c696d0d9ca6d13af550..234b02d7b72df4d3af0258b55c20b73e36bfb377 100644 (file)
--- a/gcc/ada/sem_prag.adb
+++ b/gcc/ada/sem_prag.adb
@@ -12205,7 +12205,7 @@ package body Sem_Prag is
                   Set_Comes_From_Source (State_Id, not Is_Null);
                   Set_Parent (State_Id, State);
                   Mutate_Ekind (State_Id, E_Abstract_State);
-                  Set_Is_Past_Self_Hiding_Point (State_Id);
+                  Set_Is_Not_Self_Hidden (State_Id);
                   Set_Etype (State_Id, Standard_Void_Type);
                   Set_Encapsulating_State (State_Id, Empty);