r244144 - in /trunk/gcc/ada: ChangeLog checks.a...

[charlet@gcc.gnu.org]

Author: charlet
Date: Fri Jan  6 11:56:16 2017
New Revision: 244144

URL: https://gcc.gnu.org/viewcvs?rev=244144&root=gcc&view=rev
Log:
2017-01-06  Bob Duff  <duff@adacore.com>

	* snames.ads-tmpl (Renamed): New name for the pragma argument.
	* par-ch2.adb: Allow the new pragma (with analysis deferred
	to Sem_Prag).
	* sinfo.ads, sinfo.adb (Map_Pragma_Name, Pragma_Name_Mapped):
	Keep a mapping from new pragma names to old names.
	* sem_prag.adb: Check legality of pragma Rename_Pragma, and
	implement it by calling Map_Pragma_Name.
	* checks.adb, contracts.adb, einfo.adb, errout.adb,
	* exp_attr.adb, exp_ch3.adb, exp_ch6.adb, exp_ch7.adb, exp_ch9.adb,
	* exp_prag.adb, exp_util.adb, freeze.adb, frontend.adb, ghost.adb,
	* inline.adb, lib-writ.adb, scans.adb, scans.ads, sem_attr.adb,
	* sem_aux.adb, sem_ch10.adb, sem_ch13.adb, sem_ch6.adb, sem_ch9.adb,
	* sem_elab.adb, sem_res.adb, sem_util.adb, sem_util.ads,
	* sem_warn.adb: Call Pragma_Name_Mapped instead of Pragma_Name
	as appropriate.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/checks.adb
    trunk/gcc/ada/contracts.adb
    trunk/gcc/ada/einfo.adb
    trunk/gcc/ada/errout.adb
    trunk/gcc/ada/exp_attr.adb
    trunk/gcc/ada/exp_ch3.adb
    trunk/gcc/ada/exp_ch6.adb
    trunk/gcc/ada/exp_ch7.adb
    trunk/gcc/ada/exp_ch9.adb
    trunk/gcc/ada/exp_prag.adb
    trunk/gcc/ada/exp_util.adb
    trunk/gcc/ada/freeze.adb
    trunk/gcc/ada/frontend.adb
    trunk/gcc/ada/ghost.adb
    trunk/gcc/ada/inline.adb
    trunk/gcc/ada/lib-writ.adb
    trunk/gcc/ada/par-ch2.adb
    trunk/gcc/ada/scans.adb
    trunk/gcc/ada/scans.ads
    trunk/gcc/ada/sem_attr.adb
    trunk/gcc/ada/sem_aux.adb
    trunk/gcc/ada/sem_ch10.adb
    trunk/gcc/ada/sem_ch13.adb
    trunk/gcc/ada/sem_ch6.adb
    trunk/gcc/ada/sem_ch9.adb
    trunk/gcc/ada/sem_elab.adb
    trunk/gcc/ada/sem_prag.adb
    trunk/gcc/ada/sem_res.adb
    trunk/gcc/ada/sem_util.adb
    trunk/gcc/ada/sem_util.ads
    trunk/gcc/ada/sem_warn.adb
    trunk/gcc/ada/sinfo.adb
    trunk/gcc/ada/sinfo.ads
    trunk/gcc/ada/snames.ads-tmpl