diff options
Diffstat (limited to 'gcc/ada/s-taprop-solaris.adb')
| -rw-r--r-- | gcc/ada/s-taprop-solaris.adb | 31 |
1 files changed, 18 insertions, 13 deletions
diff --git a/gcc/ada/s-taprop-solaris.adb b/gcc/ada/s-taprop-solaris.adb index 9da267ec477..c17bf6d958f 100644 --- a/gcc/ada/s-taprop-solaris.adb +++ b/gcc/ada/s-taprop-solaris.adb @@ -168,8 +168,8 @@ package body System.Task_Primitives.Operations is procedure Abort_Handler (Sig : Signal; - Code : access siginfo_t; - Context : access ucontext_t); + Code : not null access siginfo_t; + Context : not null access ucontext_t); -- Target-dependent binding of inter-thread Abort signal to -- the raising of the Abort_Signal exception. -- See also comments in 7staprop.adb @@ -259,8 +259,8 @@ package body System.Task_Primitives.Operations is procedure Abort_Handler (Sig : Signal; - Code : access siginfo_t; - Context : access ucontext_t) + Code : not null access siginfo_t; + Context : not null access ucontext_t) is pragma Unreferenced (Sig); pragma Unreferenced (Code); @@ -535,7 +535,7 @@ package body System.Task_Primitives.Operations is procedure Initialize_Lock (Prio : System.Any_Priority; - L : access Lock) + L : not null access Lock) is Result : Interfaces.C.int; @@ -555,7 +555,7 @@ package body System.Task_Primitives.Operations is end Initialize_Lock; procedure Initialize_Lock - (L : access RTS_Lock; + (L : not null access RTS_Lock; Level : Lock_Level) is Result : Interfaces.C.int; @@ -575,7 +575,7 @@ package body System.Task_Primitives.Operations is -- Finalize_Lock -- ------------------- - procedure Finalize_Lock (L : access Lock) is + procedure Finalize_Lock (L : not null access Lock) is Result : Interfaces.C.int; begin @@ -584,7 +584,7 @@ package body System.Task_Primitives.Operations is pragma Assert (Result = 0); end Finalize_Lock; - procedure Finalize_Lock (L : access RTS_Lock) is + procedure Finalize_Lock (L : not null access RTS_Lock) is Result : Interfaces.C.int; begin @@ -597,7 +597,9 @@ package body System.Task_Primitives.Operations is -- Write_Lock -- ---------------- - procedure Write_Lock (L : access Lock; Ceiling_Violation : out Boolean) is + procedure Write_Lock + (L : not null access Lock; Ceiling_Violation : out Boolean) + is Result : Interfaces.C.int; begin @@ -637,7 +639,7 @@ package body System.Task_Primitives.Operations is end Write_Lock; procedure Write_Lock - (L : access RTS_Lock; + (L : not null access RTS_Lock; Global_Lock : Boolean := False) is Result : Interfaces.C.int; @@ -667,7 +669,8 @@ package body System.Task_Primitives.Operations is -- Read_Lock -- --------------- - procedure Read_Lock (L : access Lock; Ceiling_Violation : out Boolean) is + procedure Read_Lock + (L : not null access Lock; Ceiling_Violation : out Boolean) is begin Write_Lock (L, Ceiling_Violation); end Read_Lock; @@ -676,7 +679,7 @@ package body System.Task_Primitives.Operations is -- Unlock -- ------------ - procedure Unlock (L : access Lock) is + procedure Unlock (L : not null access Lock) is Result : Interfaces.C.int; begin @@ -700,7 +703,9 @@ package body System.Task_Primitives.Operations is end if; end Unlock; - procedure Unlock (L : access RTS_Lock; Global_Lock : Boolean := False) is + procedure Unlock + (L : not null access RTS_Lock; Global_Lock : Boolean := False) + is Result : Interfaces.C.int; begin if not Single_Lock or else Global_Lock then |