diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-10-30 12:37:06 +0100 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-10-30 12:37:06 +0100 |
commit | b3407ce0ca15ff997069847461de8eee01ac1dd2 (patch) | |
tree | b29069bd273e4e66bf52ca4ef6d25ff7ea1e3576 /gcc/ada/gcc-interface/decl.c | |
parent | 039538bc35b844d57ca526bf1a274c93d251b6f5 (diff) | |
download | gcc-b3407ce0ca15ff997069847461de8eee01ac1dd2.zip gcc-b3407ce0ca15ff997069847461de8eee01ac1dd2.tar.gz gcc-b3407ce0ca15ff997069847461de8eee01ac1dd2.tar.bz2 |
[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
Diffstat (limited to 'gcc/ada/gcc-interface/decl.c')
0 files changed, 0 insertions, 0 deletions