aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
diff options
context:
space:
mode:
authorBob Duff <duff@adacore.com>2023-02-08 11:46:10 -0500
committerMarc Poulhiès <poulhies@adacore.com>2023-05-22 10:44:10 +0200
commit25e4024cd14057d2cac955acc7ad87dd83b6c844 (patch)
treeaf5989dccf091329ed64f9a94bc2c8bdbe58c10f /gcc/ada
parentea97b4dbee9eaf4c88228ded8b7c56351a2b1659 (diff)
downloadgcc-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.
Diffstat (limited to 'gcc/ada')
-rw-r--r--gcc/ada/cstand.adb4
-rw-r--r--gcc/ada/einfo.ads4
-rw-r--r--gcc/ada/exp_aggr.adb2
-rw-r--r--gcc/ada/gen_il-fields.ads2
-rw-r--r--gcc/ada/gen_il-gen-gen_entities.adb2
-rw-r--r--gcc/ada/sem.adb6
-rw-r--r--gcc/ada/sem_aggr.adb6
-rw-r--r--gcc/ada/sem_ch11.adb2
-rw-r--r--gcc/ada/sem_ch12.adb8
-rw-r--r--gcc/ada/sem_ch5.adb8
-rw-r--r--gcc/ada/sem_ch6.adb4
-rw-r--r--gcc/ada/sem_ch7.adb4
-rw-r--r--gcc/ada/sem_prag.adb2
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);