diff options
| author | Bob Duff <duff@adacore.com> | 2017-01-12 13:18:47 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-01-12 14:18:47 +0100 |
| commit | 6e759c2a0f950ce535e7907db39ddc3866782ade (patch) | |
| tree | 34bbc627f9d596a221f332486cdfee42a77f8d6b /gcc/ada/sem_res.adb | |
| parent | 6bb4ea5cdf9664f2cec861a2a120192b4ac04d1f (diff) | |
| download | gcc-6e759c2a0f950ce535e7907db39ddc3866782ade.zip gcc-6e759c2a0f950ce535e7907db39ddc3866782ade.tar.gz gcc-6e759c2a0f950ce535e7907db39ddc3866782ade.tar.bz2 | |
contracts.adb, [...] (Pragma_Name): Change name to Pragma_Name_Unmapped.
2017-01-12 Bob Duff <duff@adacore.com>
* contracts.adb, einfo.adb, errout.adb, exp_attr.adb,
exp_ch3.adb, exp_ch7.adb, exp_ch9.adb, exp_prag.adb, freeze.adb,
frontend.adb, ghost.adb, inline.adb, lib-writ.adb, lib-xref.adb,
par.adb, par-ch10.adb, par-ch2.adb, par-prag.adb, par_sco.adb,
sem_attr.adb, sem_aux.adb, sem_ch10.adb, sem_ch12.adb,
sem_ch13.adb, sem_ch6.adb, sem_ch8.adb, sem_ch9.adb, sem_elab.adb,
sem_prag.adb, sem_res.adb, sem_util.adb, sem_util.ads,
sem_warn.adb, sinfo.adb, sinfo.ads, sprint.adb (Pragma_Name):
Change name to Pragma_Name_Unmapped.
(Pragma_Name_Mapped): Change name to Pragma_Name.
This is because the "mapped" version should be the usual case.
From-SVN: r244352
Diffstat (limited to 'gcc/ada/sem_res.adb')
| -rw-r--r-- | gcc/ada/sem_res.adb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb index 692a00a..c8ca67c 100644 --- a/gcc/ada/sem_res.adb +++ b/gcc/ada/sem_res.adb @@ -10018,7 +10018,7 @@ package body Sem_Res is -- Special handling of Asssert pragma if Nkind (Orig) = N_Pragma - and then Pragma_Name_Mapped (Orig) = Name_Assert + and then Pragma_Name (Orig) = Name_Assert then declare Expr : constant Node_Id := @@ -10059,7 +10059,7 @@ package body Sem_Res is -- Similar processing for Check pragma elsif Nkind (Orig) = N_Pragma - and then Pragma_Name_Mapped (Orig) = Name_Check + and then Pragma_Name (Orig) = Name_Check then -- Don't want to warn if original condition is explicit False |