diff options
| author | Bob Duff <duff@adacore.com> | 2021-02-24 08:13:36 -0500 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-05-07 05:29:23 -0400 |
| commit | 2e02ab86744ccc97cc65d739ca515cb7d3b882d2 (patch) | |
| tree | 7f8866412e6188f21a208a7fd8a12f9c2de698c6 /gcc/ada/sem_ch7.adb | |
| parent | 1e4b06a8ec0db86e8398b8e9f4a98c8950bbd24f (diff) | |
| download | gcc-2e02ab86744ccc97cc65d739ca515cb7d3b882d2.zip gcc-2e02ab86744ccc97cc65d739ca515cb7d3b882d2.tar.gz gcc-2e02ab86744ccc97cc65d739ca515cb7d3b882d2.tar.bz2 | |
[Ada] Variable-sized node types -- cleanup
gcc/ada/
* atree.ads, atree.adb, gen_il-gen.ads: Fix comments and clean
up ??? marks. Rename Set_Ekind to be Mutate_Ekind.
* einfo.ads, sinfo.ads: Likewise. Change "definitive
definition" to "official definition", because the former sounds
redundant. Rename Set_Ekind to be Mutate_Ekind.
* checks.adb, contracts.adb, cstand.adb, exp_aggr.adb,
exp_attr.adb, exp_ch11.adb, exp_ch3.adb, exp_ch5.adb,
exp_ch6.adb, exp_ch7.adb, exp_ch9.adb, exp_disp.adb,
exp_dist.adb, exp_imgv.adb, exp_intr.adb, exp_prag.adb,
exp_unst.adb, exp_util.adb, gen_il-gen.adb, inline.adb,
lib-writ.adb, lib-xref-spark_specific.adb, sem_aggr.adb,
sem_ch10.adb, sem_ch11.adb, sem_ch12.adb, sem_ch13.adb,
sem_ch3.adb, sem_ch5.adb, sem_ch6.adb, sem_ch7.adb, sem_ch8.adb,
sem_ch9.adb, sem_dist.adb, sem_elab.adb, sem_prag.adb,
sem_util.adb: Rename Set_Ekind to be Mutate_Ekind.
Diffstat (limited to 'gcc/ada/sem_ch7.adb')
| -rw-r--r-- | gcc/ada/sem_ch7.adb | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/gcc/ada/sem_ch7.adb b/gcc/ada/sem_ch7.adb index 2f65ff2..b71a26c 100644 --- a/gcc/ada/sem_ch7.adb +++ b/gcc/ada/sem_ch7.adb @@ -843,7 +843,7 @@ package body Sem_Ch7 is -- unannotated body will be used in all instantiations. Body_Id := Defining_Entity (N); - Set_Ekind (Body_Id, E_Package_Body); + Mutate_Ekind (Body_Id, E_Package_Body); Set_Scope (Body_Id, Scope (Spec_Id)); Set_Is_Obsolescent (Body_Id, Is_Obsolescent (Spec_Id)); Set_Body_Entity (Spec_Id, Body_Id); @@ -875,7 +875,7 @@ package body Sem_Ch7 is -- current node otherwise. Note that N was rewritten above, so we must -- be sure to get the latest Body_Id value. - Set_Ekind (Body_Id, E_Package_Body); + Mutate_Ekind (Body_Id, E_Package_Body); Set_Body_Entity (Spec_Id, Body_Id); Set_Spec_Entity (Body_Id, Spec_Id); @@ -1161,7 +1161,7 @@ package body Sem_Ch7 is Generate_Definition (Id); Enter_Name (Id); - Set_Ekind (Id, E_Package); + Mutate_Ekind (Id, E_Package); Set_Etype (Id, Standard_Void_Type); -- Set SPARK_Mode from context @@ -2558,9 +2558,9 @@ package body Sem_Ch7 is end if; if Limited_Present (Def) then - Set_Ekind (Id, E_Limited_Private_Type); + Mutate_Ekind (Id, E_Limited_Private_Type); else - Set_Ekind (Id, E_Private_Type); + Mutate_Ekind (Id, E_Private_Type); end if; Set_Etype (Id, Id); @@ -2592,7 +2592,7 @@ package body Sem_Ch7 is Set_Private_Dependents (Id, New_Elmt_List); if Tagged_Present (Def) then - Set_Ekind (Id, E_Record_Type_With_Private); + Mutate_Ekind (Id, E_Record_Type_With_Private); Set_Direct_Primitive_Operations (Id, New_Elmt_List); Set_Is_Abstract_Type (Id, Abstract_Present (Def)); Set_Is_Limited_Record (Id, Limited_Present (Def)); |