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/contracts.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/contracts.adb')
| -rw-r--r-- | gcc/ada/contracts.adb | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/gcc/ada/contracts.adb b/gcc/ada/contracts.adb index 61345ea..59b53de 100644 --- a/gcc/ada/contracts.adb +++ b/gcc/ada/contracts.adb @@ -1580,7 +1580,7 @@ package body Contracts is -- in its visible declarations. if Nkind (Templ) = N_Generic_Package_Declaration then - Set_Ekind (Templ_Id, E_Generic_Package); + Mutate_Ekind (Templ_Id, E_Generic_Package); if Present (Visible_Declarations (Specification (Templ))) then Decl := First (Visible_Declarations (Specification (Templ))); @@ -1590,7 +1590,7 @@ package body Contracts is -- declarations. elsif Nkind (Templ) = N_Package_Body then - Set_Ekind (Templ_Id, E_Package_Body); + Mutate_Ekind (Templ_Id, E_Package_Body); if Present (Declarations (Templ)) then Decl := First (Declarations (Templ)); @@ -1600,9 +1600,9 @@ package body Contracts is elsif Nkind (Templ) = N_Generic_Subprogram_Declaration then if Nkind (Specification (Templ)) = N_Function_Specification then - Set_Ekind (Templ_Id, E_Generic_Function); + Mutate_Ekind (Templ_Id, E_Generic_Function); else - Set_Ekind (Templ_Id, E_Generic_Procedure); + Mutate_Ekind (Templ_Id, E_Generic_Procedure); end if; -- When the generic subprogram acts as a compilation unit, inspect @@ -1626,7 +1626,7 @@ package body Contracts is -- its declarations. elsif Nkind (Templ) = N_Subprogram_Body then - Set_Ekind (Templ_Id, E_Subprogram_Body); + Mutate_Ekind (Templ_Id, E_Subprogram_Body); if Present (Declarations (Templ)) then Decl := First (Declarations (Templ)); |