diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-05-22 15:19:46 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-05-22 15:19:46 +0200 |
| commit | c42e1b178c67f2f1801b07a357a3b84ba565645e (patch) | |
| tree | 2825b2fb3d597f2b61bfd2891e4e0f84e67485e8 /gcc | |
| parent | e6b3f5ba80252a12abf02e5932300b11eb30d226 (diff) | |
| download | gcc-c42e1b178c67f2f1801b07a357a3b84ba565645e.zip gcc-c42e1b178c67f2f1801b07a357a3b84ba565645e.tar.gz gcc-c42e1b178c67f2f1801b07a357a3b84ba565645e.tar.bz2 | |
Minor reformatting.
From-SVN: r223570
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/sem_ch4.adb | 18 | ||||
| -rw-r--r-- | gcc/ada/sem_ch8.adb | 2 |
2 files changed, 10 insertions, 10 deletions
diff --git a/gcc/ada/sem_ch4.adb b/gcc/ada/sem_ch4.adb index c6769c5..bea6692 100644 --- a/gcc/ada/sem_ch4.adb +++ b/gcc/ada/sem_ch4.adb @@ -3865,13 +3865,13 @@ package body Sem_Ch4 is begin Analyze (P); - -- An interesting error check, if we take the 'Reference of an object - -- for which a pragma Atomic or Volatile has been given, and the type - -- of the object is not Atomic or Volatile, then we are in trouble. The - -- problem is that no trace of the atomic/volatile status will remain - -- for the backend to respect when it deals with the resulting pointer, - -- since the pointer type will not be marked atomic (it is a pointer to - -- the base type of the object). + -- An interesting error check, if we take the 'Ref of an object for + -- which a pragma Atomic or Volatile has been given, and the type of the + -- object is not Atomic or Volatile, then we are in trouble. The problem + -- is that no trace of the atomic/volatile status will remain for the + -- backend to respect when it deals with the resulting pointer, since + -- the pointer type will not be marked atomic (it is a pointer to the + -- base type of the object). -- 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 @@ -3889,10 +3889,10 @@ package body Sem_Ch4 is T := Etype (P); if (Has_Atomic_Components (E) - and then not Has_Atomic_Components (T)) + and then not Has_Atomic_Components (T)) or else (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_Volatile (E) and then not Is_Volatile (T)) then diff --git a/gcc/ada/sem_ch8.adb b/gcc/ada/sem_ch8.adb index 689aa8d..aeda854 100644 --- a/gcc/ada/sem_ch8.adb +++ b/gcc/ada/sem_ch8.adb @@ -1330,7 +1330,7 @@ package body Sem_Ch8 is then null; - -- Allow internally generated x'Reference expression + -- Allow internally generated x'Ref resulting in N_Reference node elsif Nkind (Nam) = N_Reference then null; |