From b5059fa0897458f65c8c2a30f3d16c8dbc1e0e03 Mon Sep 17 00:00:00 2001 From: Vincent Pucci Date: Mon, 30 Jul 2012 15:12:15 +0000 Subject: [PATCH] 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 --- gcc/ada/ChangeLog | 5 +++++ gcc/ada/sem_ch9.adb | 11 +++++++---- 2 files changed, 12 insertions(+), 4 deletions(-) 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; -- 2.39.5