s-inmaop-posix.adb, [...]: Use 'Access instead of 'Unchecked_Access in second and third arguments of...

gcc/ada/
	* s-inmaop-posix.adb, s-intman-vxworks.adb, s-taprop-hpux-dce.adb,
	s-taprop-irix.adb, s-taprop-linux.adb, s-taprop-lynxos.adb,
	s-taprop-posix.adb, s-taprop-tru64.adb, s-taprop-vxworks.adb:
	Use 'Access instead of 'Unchecked_Access in second and third
	arguments of pthread_sigmask.

From-SVN: r130376
This commit is contained in:
Samuel Tardieu 2007-11-23 13:16:54 +00:00 committed by Samuel Tardieu
parent 356d89619e
commit bb1f5840b5
10 changed files with 28 additions and 20 deletions

View File

@ -1,3 +1,11 @@
2007-11-23 Samuel Tardieu <sam@rfc1149.net>
* s-inmaop-posix.adb, s-intman-vxworks.adb, s-taprop-hpux-dce.adb,
s-taprop-irix.adb, s-taprop-linux.adb, s-taprop-lynxos.adb,
s-taprop-posix.adb, s-taprop-tru64.adb, s-taprop-vxworks.adb:
Use 'Access instead of 'Unchecked_Access in second and third
arguments of pthread_sigmask.
2007-11-23 Eric Botcazou <ebotcazou@adacore.com>
* decl.c (ceil_alignment): New function.

View File

@ -77,7 +77,7 @@ package body System.Interrupt_Management.Operations is
pragma Assert (Result = 0);
Result := sigaddset (Mask'Access, Signal (Interrupt));
pragma Assert (Result = 0);
Result := pthread_sigmask (SIG_BLOCK, Mask'Unchecked_Access, null);
Result := pthread_sigmask (SIG_BLOCK, Mask'Access, null);
pragma Assert (Result = 0);
end Thread_Block_Interrupt;
@ -95,7 +95,7 @@ package body System.Interrupt_Management.Operations is
pragma Assert (Result = 0);
Result := sigaddset (Mask'Access, Signal (Interrupt));
pragma Assert (Result = 0);
Result := pthread_sigmask (SIG_UNBLOCK, Mask'Unchecked_Access, null);
Result := pthread_sigmask (SIG_UNBLOCK, Mask'Access, null);
pragma Assert (Result = 0);
end Thread_Unblock_Interrupt;
@ -286,7 +286,7 @@ begin
for Sig in 1 .. Signal'Last loop
Result := sigaction
(Sig, null, Initial_Action (Sig)'Unchecked_Access);
(Sig, null, Initial_Action (Sig)'Access);
-- ??? [assert 1]
-- we can't check Result here since sigaction will fail on
@ -326,12 +326,12 @@ begin
-- The Keep_Unmasked signals should be unmasked for Environment task
Result := pthread_sigmask (SIG_UNBLOCK, mask'Unchecked_Access, null);
Result := pthread_sigmask (SIG_UNBLOCK, mask'Access, null);
pragma Assert (Result = 0);
-- Get the signal mask of the Environment Task
Result := pthread_sigmask (SIG_SETMASK, null, mask'Unchecked_Access);
Result := pthread_sigmask (SIG_SETMASK, null, mask'Access);
pragma Assert (Result = 0);
-- Setup the constants exported

View File

@ -86,9 +86,9 @@ package body System.Interrupt_Management is
pragma Unreferenced (Result);
begin
Result := pthread_sigmask (SIG_SETMASK, null, Mask'Unchecked_Access);
Result := pthread_sigmask (SIG_SETMASK, null, Mask'Access);
Result := sigdelset (Mask'Access, signo);
Result := pthread_sigmask (SIG_SETMASK, Mask'Unchecked_Access, null);
Result := pthread_sigmask (SIG_SETMASK, Mask'Access, null);
Map_And_Raise_Exception (signo);
end Notify_Exception;

View File

@ -193,8 +193,8 @@ package body System.Task_Primitives.Operations is
Result :=
pthread_sigmask
(SIG_UNBLOCK,
Unblocked_Signal_Mask'Unchecked_Access,
Old_Set'Unchecked_Access);
Unblocked_Signal_Mask'Access,
Old_Set'Access);
pragma Assert (Result = 0);
raise Standard'Abort_Signal;

View File

@ -189,8 +189,8 @@ package body System.Task_Primitives.Operations is
Result := pthread_sigmask
(SIG_UNBLOCK,
Unblocked_Signal_Mask'Unchecked_Access,
Old_Set'Unchecked_Access);
Unblocked_Signal_Mask'Access,
Old_Set'Access);
pragma Assert (Result = 0);
raise Standard'Abort_Signal;

View File

@ -211,8 +211,8 @@ package body System.Task_Primitives.Operations is
Result :=
pthread_sigmask
(SIG_UNBLOCK,
Unblocked_Signal_Mask'Unchecked_Access,
Old_Set'Unchecked_Access);
Unblocked_Signal_Mask'Access,
Old_Set'Access);
pragma Assert (Result = 0);
raise Standard'Abort_Signal;

View File

@ -200,8 +200,8 @@ package body System.Task_Primitives.Operations is
Result :=
pthread_sigmask
(SIG_UNBLOCK,
Unblocked_Signal_Mask'Unchecked_Access,
Old_Set'Unchecked_Access);
Unblocked_Signal_Mask'Access,
Old_Set'Access);
pragma Assert (Result = 0);
raise Standard'Abort_Signal;

View File

@ -226,7 +226,7 @@ package body System.Task_Primitives.Operations is
-- Make sure signals used for RTS internal purpose are unmasked
Result := pthread_sigmask (SIG_UNBLOCK,
Unblocked_Signal_Mask'Unchecked_Access, Old_Set'Unchecked_Access);
Unblocked_Signal_Mask'Access, Old_Set'Access);
pragma Assert (Result = 0);
raise Standard'Abort_Signal;

View File

@ -197,8 +197,8 @@ package body System.Task_Primitives.Operations is
Result :=
pthread_sigmask
(SIG_UNBLOCK,
Unblocked_Signal_Mask'Unchecked_Access,
Old_Set'Unchecked_Access);
Unblocked_Signal_Mask'Access,
Old_Set'Access);
pragma Assert (Result = 0);
raise Standard'Abort_Signal;

View File

@ -200,8 +200,8 @@ package body System.Task_Primitives.Operations is
Result :=
pthread_sigmask
(SIG_UNBLOCK,
Unblocked_Signal_Mask'Unchecked_Access,
Old_Set'Unchecked_Access);
Unblocked_Signal_Mask'Access,
Old_Set'Access);
pragma Assert (Result = 0);
raise Standard'Abort_Signal;