projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 039538b) | patch
[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Thu, 30 Oct 2014 11:37:06 +0000 (12:37 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Thu, 30 Oct 2014 11:37:06 +0000 (12:37 +0100)
commitb3407ce0ca15ff997069847461de8eee01ac1dd2
treeb29069bd273e4e66bf52ca4ef6d25ff7ea1e3576tree
parent039538bc35b844d57ca526bf1a274c93d251b6f5commit | diff
[multiple changes]

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.

From-SVN: r216920
gcc/ada/ChangeLog diff | blob | history
gcc/ada/exp_dbug.adb diff | blob | history
gcc/ada/opt.ads diff | blob | history
gcc/ada/sem_ch3.adb diff | blob | history
gcc/ada/sem_ch4.adb diff | blob | history
gcc/ada/sem_res.adb diff | blob | history
gcc/ada/sem_util.adb diff | blob | history