diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-05-15 09:34:10 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-05-15 09:34:10 +0000 |
| commit | f39ac8d76125736c5754bfd234d56aa57e5d2bab (patch) | |
| tree | d0e76e1552775f7c169379d42fd863fc6f730459 /gcc/ada/sem_ch9.adb | |
| parent | d1f1c0a9e449466a4768d105249559782328cc51 (diff) | |
| download | gcc-f39ac8d76125736c5754bfd234d56aa57e5d2bab.tar.gz | |
2012-05-15 Geert Bosch <bosch@adacore.com>
* sem_ch9.adb (Allows_Lock_Free_Implementation): out or in out
parameters can be access types as well, not just scalar types,
so relax the test to Is_Elementary_Type.
2012-05-15 Bob Duff <duff@adacore.com>
* s-atacco.ads s-atacco.adb: Replace pragma Elaborate_Body
with pragma No_Body.
(Xyz): Remove Xyz, which is apparently unnecessary.
2012-05-15 Tristan Gingold <gingold@adacore.com>
* a-calend-vms.adb: Complete previous change.
2012-05-15 Bob Duff <duff@adacore.com>
* s-win32.ads: Minor comment fix.
* s-osprim-mingw.adb: Minor editing.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@187508 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/sem_ch9.adb')
| -rw-r--r-- | gcc/ada/sem_ch9.adb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/sem_ch9.adb b/gcc/ada/sem_ch9.adb index 7ce20b5f85c..76db08c5e4f 100644 --- a/gcc/ada/sem_ch9.adb +++ b/gcc/ada/sem_ch9.adb @@ -82,7 +82,7 @@ package body Sem_Ch9 is -- May reference only one protected component -- May not reference non-constant entities outside the protected -- subprogram scope. - -- May not reference non-scalar out parameters + -- May not reference non-elementary out parameters -- May not contain loop statements or procedure calls -- Function calls and attribute references must be static -- @@ -306,7 +306,7 @@ package body Sem_Ch9 is elsif Ekind_In (Id, E_Out_Parameter, E_In_Out_Parameter) - and then not Is_Scalar_Type (Etype (Id)) + and then not Is_Elementary_Type (Etype (Id)) and then Scope_Within_Or_Same (Scope (Id), Sub_Id) then return Abandon; |