diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-10-26 12:07:51 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-10-26 12:07:51 +0100 |
| commit | ed962eda60df47f3b03e1a41a419c48e6fce1bb3 (patch) | |
| tree | 8258fa998c94458c1f520bad301cbb0847bf0a5f /gcc/ada/a-nudira.adb | |
| parent | 877a5a124a918f82f808c27b8cd64b5bd07f844f (diff) | |
| download | gcc-ed962eda60df47f3b03e1a41a419c48e6fce1bb3.zip gcc-ed962eda60df47f3b03e1a41a419c48e6fce1bb3.tar.gz gcc-ed962eda60df47f3b03e1a41a419c48e6fce1bb3.tar.bz2 | |
[multiple changes]
2015-10-26 Hristian Kirtchev <kirtchev@adacore.com>
* sem_util.adb (Is_Suspension_Object): Ensure that the scope of "Ada"
is Standard_Standard.
2015-10-26 Hristian Kirtchev <kirtchev@adacore.com>
* sem_res.adb (Is_OK_Volatile_Context): A subprogram call is an OK
context for a reference to an effectively volatile object.
(Resolve_Actuals): Add references to SPARK RM.
(Within_Procedure_Call): Removed.
(Within_Subprogram_Call): New routine.
2015-10-26 Ed Schonberg <schonberg@adacore.com>
* sem_ch6.adb (Check_Aggregate_Accessibility): A reference to a
formal parameter in an aggregate does not need an accesibility
check only if the formal is aliased.
From-SVN: r229329
Diffstat (limited to 'gcc/ada/a-nudira.adb')
0 files changed, 0 insertions, 0 deletions