r216920 - in /trunk/gcc/ada: ChangeLog exp_dbug...

[charlet@gcc.gnu.org]

Author: charlet
Date: Thu Oct 30 11:37:06 2014
New Revision: 216920

URL: https://gcc.gnu.org/viewcvs?rev=216920&root=gcc&view=rev
Log:
2014-10-30  Hristian Kirtchev  <kirtchev@adacore.com>

	* sem_util.adb (Inherit_Subprogram_Contract):
	Add a guard to protect against enumeration literal overriding.
	* sem_ch3.adb, sem_ch4.adb, sem_res.adb, sem_util.adb:
	Minor reformatting (add SPARK RM references).

2014-10-30  Robert Dewar  <dewar@adacore.com>

	* exp_dbug.adb, opt.ads: Minor reformatting.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/exp_dbug.adb
    trunk/gcc/ada/opt.ads
    trunk/gcc/ada/sem_ch3.adb
    trunk/gcc/ada/sem_ch4.adb
    trunk/gcc/ada/sem_res.adb
    trunk/gcc/ada/sem_util.adb