diff options
author | Piotr Trojanek <trojanek@adacore.com> | 2022-09-09 17:48:45 +0200 |
---|---|---|
committer | Marc Poulhiès <poulhies@adacore.com> | 2022-11-07 09:36:30 +0100 |
commit | ae3952715ce92cb6baac6d2b883c9a29a70cb1d9 (patch) | |
tree | e2bcfccfaea9171a19935c886f124d8b89af4af4 /gcc/ada/libgnarl | |
parent | f8b69d43875557a42feef5f595ec9f3a31e09317 (diff) | |
download | gcc-ae3952715ce92cb6baac6d2b883c9a29a70cb1d9.zip gcc-ae3952715ce92cb6baac6d2b883c9a29a70cb1d9.tar.gz gcc-ae3952715ce92cb6baac6d2b883c9a29a70cb1d9.tar.bz2 |
ada: Tune layout after switching to Ada 2022 aggregate syntax
Whitespace cleanup only.
gcc/ada/
* libgnarl/s-interr.adb: Tune whitespace.
Diffstat (limited to 'gcc/ada/libgnarl')
-rw-r--r-- | gcc/ada/libgnarl/s-interr.adb | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/gcc/ada/libgnarl/s-interr.adb b/gcc/ada/libgnarl/s-interr.adb index 94e572d..2fbb140 100644 --- a/gcc/ada/libgnarl/s-interr.adb +++ b/gcc/ada/libgnarl/s-interr.adb @@ -109,8 +109,8 @@ package body System.Interrupts is Static : Boolean); entry Detach_Handler - (Interrupt : Interrupt_ID; - Static : Boolean); + (Interrupt : Interrupt_ID; + Static : Boolean); entry Bind_Interrupt_To_Entry (T : Task_Id; @@ -174,15 +174,14 @@ package body System.Interrupts is pragma Atomic_Components (Ignored); -- True iff the corresponding interrupt is blocked in the process level - Last_Unblocker : - array (Interrupt_ID'Range) of Task_Id := [others => Null_Task]; + Last_Unblocker : array (Interrupt_ID'Range) of Task_Id := + [others => Null_Task]; pragma Atomic_Components (Last_Unblocker); -- Holds the ID of the last Task which Unblocked this Interrupt. It -- contains Null_Task if no tasks have ever requested the Unblocking -- operation or the Interrupt is currently Blocked. - Server_ID : array (Interrupt_ID'Range) of Task_Id := - [others => Null_Task]; + Server_ID : array (Interrupt_ID'Range) of Task_Id := [others => Null_Task]; pragma Atomic_Components (Server_ID); -- Holds the Task_Id of the Server_Task for each interrupt. Task_Id is -- needed to accomplish locking per Interrupt base. Also is needed to |