From: Vincent Pucci Date: Mon, 30 Jul 2012 15:12:15 +0000 (+0000) Subject: sem_ch9.adb (Allows_Lock_Free_Implementation): Restrict implicit dereferences of... X-Git-Tag: releases/gcc-4.8.0~4219 X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=b5059fa0897458f65c8c2a30f3d16c8dbc1e0e03;p=thirdparty%2Fgcc.git sem_ch9.adb (Allows_Lock_Free_Implementation): Restrict implicit dereferences of access values. 2012-07-30 Vincent Pucci * sem_ch9.adb (Allows_Lock_Free_Implementation): Restrict implicit dereferences of access values. From-SVN: r189975 --- diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index d425a70be430..c87a44459dbf 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,8 @@ +2012-07-30 Vincent Pucci + + * sem_ch9.adb (Allows_Lock_Free_Implementation): Restrict implicit + dereferences of access values. + 2012-07-27 Iain Sandoe * system-darwin-ppc64.ads: Add Support_Atomic_Primitives, set to True. diff --git a/gcc/ada/sem_ch9.adb b/gcc/ada/sem_ch9.adb index 1420ba87bc0c..c392dccdc9a7 100644 --- a/gcc/ada/sem_ch9.adb +++ b/gcc/ada/sem_ch9.adb @@ -411,12 +411,15 @@ package body Sem_Ch9 is return Abandon; - -- Explicit dereferences restricted (i.e. dereferences of - -- access values). + -- Dereferences of access values restricted - elsif Kind = N_Explicit_Dereference then + elsif Kind = N_Explicit_Dereference + or else (Kind = N_Selected_Component + and then Is_Access_Type (Etype (Prefix (N)))) + then if Lock_Free_Given then - Error_Msg_N ("explicit dereference not allowed", N); + Error_Msg_N ("dereference of access value " & + "not allowed", N); return Skip; end if;