sem_ch9.adb (Allows_Lock_Free_Implementation): Restrict implicit dereferences of...

2012-07-30  Vincent Pucci  <pucci@adacore.com>

	* 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 d425a70be4302abc3ad0bf0f6ae4b26b8f8f39ff..c87a44459dbfda205f96a7796e60a4b2d35f8461 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,8 @@
+2012-07-30  Vincent Pucci  <pucci@adacore.com>
+
+       * sem_ch9.adb (Allows_Lock_Free_Implementation): Restrict implicit
+       dereferences of access values.
+
 2012-07-27  Iain Sandoe  <iain@codesourcery.com>
 
        * 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 1420ba87bc0cff6fb4ed0ad5cfd7d8ef3f9c6674..c392dccdc9a733e2b66940f87740159eea7caf1b 100644 (file)
--- 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;