diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-03-04 10:54:19 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-03-04 10:54:19 +0100 |
| commit | b6a56408a630f3fe20b4664520302adab8bd10a6 (patch) | |
| tree | c6ff97a61069fd55e6d95e3d19dc0adade7dbb7e /gcc/ada/init.c | |
| parent | 2322588a7149e39ed808e586e3ec640e032b6e9e (diff) | |
| download | gcc-b6a56408a630f3fe20b4664520302adab8bd10a6.zip gcc-b6a56408a630f3fe20b4664520302adab8bd10a6.tar.gz gcc-b6a56408a630f3fe20b4664520302adab8bd10a6.tar.bz2 | |
[multiple changes]
2015-03-04 Robert Dewar <dewar@adacore.com>
* exp_ch7.adb: Minor reformatting.
* exp_unst.adb (Build_Tables): Fix minor glitch for no separate
spec case.
* erroutc.adb (Delete_Msg): add missing decrement of info msg counter.
2015-03-04 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch6.adb (Build_Pragma_Check_Equivalent): Suppress
references to formal parameters subject to pragma Unreferenced.
(Suppress_Reference): New routine.
* sem_attr.adb (Analyze_Attribute): Reimplement the analysis
of attribute 'Old. Attributes 'Old and 'Result now share
common processing.
(Analyze_Old_Result_Attribute): New routine.
(Check_Placement_In_Check): Removed.
(Check_Placement_In_Contract_Cases): Removed.
(Check_Placement_In_Test_Case): Removed.
(Check_Use_In_Contract_Cases): Removed.
(Check_Use_In_Test_Case): Removed.
(In_Refined_Post): Removed.
(Is_Within): Removed.
* sem_warn.adb (Check_Low_Bound_Tested): Code cleanup.
(Check_Low_Bound_Tested_For): New routine.
2015-03-04 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch3.adb (Expand_N_Object_Declaration):
Generate a runtime check to test the expression of pragma
Default_Initial_Condition when the object is default initialized.
From-SVN: r221176
Diffstat (limited to 'gcc/ada/init.c')
0 files changed, 0 insertions, 0 deletions