Commit c42e1b17 by Arnaud Charlet

Minor reformatting.

From-SVN: r223570
parent e6b3f5ba
...@@ -3865,13 +3865,13 @@ package body Sem_Ch4 is ...@@ -3865,13 +3865,13 @@ package body Sem_Ch4 is
begin begin
Analyze (P); Analyze (P);
-- An interesting error check, if we take the 'Reference of an object -- An interesting error check, if we take the 'Ref of an object for
-- for which a pragma Atomic or Volatile has been given, and the type -- which a pragma Atomic or Volatile has been given, and the type of the
-- of the object is not Atomic or Volatile, then we are in trouble. The -- object is not Atomic or Volatile, then we are in trouble. The problem
-- problem is that no trace of the atomic/volatile status will remain -- is that no trace of the atomic/volatile status will remain for the
-- for the backend to respect when it deals with the resulting pointer, -- backend to respect when it deals with the resulting pointer, since
-- since the pointer type will not be marked atomic (it is a pointer to -- the pointer type will not be marked atomic (it is a pointer to the
-- the base type of the object). -- base type of the object).
-- It is not clear if that can ever occur, but in case it does, we will -- It is not clear if that can ever occur, but in case it does, we will
-- generate an error message. Not clear if this message can ever be -- generate an error message. Not clear if this message can ever be
...@@ -3889,10 +3889,10 @@ package body Sem_Ch4 is ...@@ -3889,10 +3889,10 @@ package body Sem_Ch4 is
T := Etype (P); T := Etype (P);
if (Has_Atomic_Components (E) if (Has_Atomic_Components (E)
and then not Has_Atomic_Components (T)) and then not Has_Atomic_Components (T))
or else or else
(Has_Volatile_Components (E) (Has_Volatile_Components (E)
and then not Has_Volatile_Components (T)) and then not Has_Volatile_Components (T))
or else (Is_Atomic (E) and then not Is_Atomic (T)) or else (Is_Atomic (E) and then not Is_Atomic (T))
or else (Is_Volatile (E) and then not Is_Volatile (T)) or else (Is_Volatile (E) and then not Is_Volatile (T))
then then
......
...@@ -1330,7 +1330,7 @@ package body Sem_Ch8 is ...@@ -1330,7 +1330,7 @@ package body Sem_Ch8 is
then then
null; null;
-- Allow internally generated x'Reference expression -- Allow internally generated x'Ref resulting in N_Reference node
elsif Nkind (Nam) = N_Reference then elsif Nkind (Nam) = N_Reference then
null; null;
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment