diff options
author | Bob Duff <duff@adacore.com> | 2023-02-08 11:46:10 -0500 |
---|---|---|
committer | Marc Poulhiès <poulhies@adacore.com> | 2023-05-22 10:44:10 +0200 |
commit | 25e4024cd14057d2cac955acc7ad87dd83b6c844 (patch) | |
tree | af5989dccf091329ed64f9a94bc2c8bdbe58c10f | |
parent | ea97b4dbee9eaf4c88228ded8b7c56351a2b1659 (diff) | |
download | gcc-25e4024cd14057d2cac955acc7ad87dd83b6c844.zip gcc-25e4024cd14057d2cac955acc7ad87dd83b6c844.tar.gz gcc-25e4024cd14057d2cac955acc7ad87dd83b6c844.tar.bz2 |
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.
-rw-r--r-- | gcc/ada/cstand.adb | 4 | ||||
-rw-r--r-- | gcc/ada/einfo.ads | 4 | ||||
-rw-r--r-- | gcc/ada/exp_aggr.adb | 2 | ||||
-rw-r--r-- | gcc/ada/gen_il-fields.ads | 2 | ||||
-rw-r--r-- | gcc/ada/gen_il-gen-gen_entities.adb | 2 | ||||
-rw-r--r-- | gcc/ada/sem.adb | 6 | ||||
-rw-r--r-- | gcc/ada/sem_aggr.adb | 6 | ||||
-rw-r--r-- | gcc/ada/sem_ch11.adb | 2 | ||||
-rw-r--r-- | gcc/ada/sem_ch12.adb | 8 | ||||
-rw-r--r-- | gcc/ada/sem_ch5.adb | 8 | ||||
-rw-r--r-- | gcc/ada/sem_ch6.adb | 4 | ||||
-rw-r--r-- | gcc/ada/sem_ch7.adb | 4 | ||||
-rw-r--r-- | gcc/ada/sem_prag.adb | 2 |
13 files changed, 27 insertions, 27 deletions
diff --git a/gcc/ada/cstand.adb b/gcc/ada/cstand.adb index f53015d..3646003 100644 --- 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 c67731c..0cc4b49 100644 --- 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 e2f0ccd..40dd1c4 100644 --- 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 19ebf67..fd89fac 100644 --- 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 6356de0..d531e4a 100644 --- 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 b0b492b0..3bff8d2 100644 --- 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 bd01903..b44708a 100644 --- 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 d07c480..6d519eb 100644 --- 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 7191e42..181392c 100644 --- 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 4919e53..f2fb0c7 100644 --- 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 df06967..0b374c2 100644 --- 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 fe0429a..5021d0e 100644 --- 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 ba4c75e..234b02d 100644 --- 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); |