diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-10-16 15:43:47 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-10-16 15:43:47 +0200 |
| commit | e1e307d94145e51d9a06448466fbb1a535c89a38 (patch) | |
| tree | 878351a2d7f4b8c94292a8e3be61dec52b071006 /gcc/function.c | |
| parent | 7f37fff1a17d12538973f68be49ba3d6030a495d (diff) | |
| download | gcc-e1e307d94145e51d9a06448466fbb1a535c89a38.zip gcc-e1e307d94145e51d9a06448466fbb1a535c89a38.tar.gz gcc-e1e307d94145e51d9a06448466fbb1a535c89a38.tar.bz2 | |
[multiple changes]
2015-10-16 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch12.adb (Analyze_Package_Instantiation):
Treat a missing SPARK_Mode annotation as having mode "Off".
(Analyze_Subprogram_Instantiation): Treat a missing SPARK_Mode
annotation as having mode "Off".
(Instantiate_Package_Body): Code
reformatting. Treat a missing SPARK_Mode annotation as having mode
"Off".
(Instantiate_Subprogram_Body): Code reformatting. Treat
a missing SPARK_Mode annotation as having mode "Off".
2015-10-16 Ed Schonberg <schonberg@adacore.com>
* exp_ch5.adb: Code clean up.
* sem_ch13.adb: Minor fix in comment.
2015-10-16 Bob Duff <duff@adacore.com>
* a-exexda.adb: Change format of Exception_Information to be
more like what we print for unhandled exceptions.
* a-exstat.adb: Parse new format.
* a-except-2005.adb, a-except.adb: Document new format.
From-SVN: r228907
Diffstat (limited to 'gcc/function.c')
0 files changed, 0 insertions, 0 deletions