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/sem_util.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/sem_util.adb')
| -rw-r--r-- | gcc/ada/sem_util.adb | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb index 4a86c71..313591a 100644 --- a/gcc/ada/sem_util.adb +++ b/gcc/ada/sem_util.adb @@ -11331,7 +11331,9 @@ package body Sem_Util is and then Present (Scope (Id)) and then Chars (Scope (Id)) = Name_Synchronous_Task_Control and then Present (Scope (Scope (Id))) - and then Chars (Scope (Scope (Id))) = Name_Ada; + and then Chars (Scope (Scope (Id))) = Name_Ada + and then Present (Scope (Scope (Scope (Id)))) + and then Scope (Scope (Scope (Id))) = Standard_Standard; end Is_Suspension_Object; -- Local variables |