[Ada] Use bracket aggregates in Ada2022

gcc/ada/

	* exp_imgv.adb (Append_Table_To): Add new parameter to
	Make_Aggregate call.
	* gen_il-fields.ads (Opt_Field_Enum):
	Add Is_Parenthesis_Aggregate and Is_Enum_Array_Aggregate.
	* gen_il-gen-gen_nodes.adb (Union): Add Is_Enum_Array_Aggregate
	and Is_Parenthesis_Aggregate field to N_Aggregate.
	* libgnarl/s-interr.adb (User_Handler, User_Entry, Blocked)
	(Ignored, Last_Unblocker, Server_ID): Likewise.
	* libgnarl/s-intman.ads (Keep_Unmasked, Reserve): Likewise.
	* libgnarl/s-intman__posix.adb (Exception_Interrupts)
	(Initialize): Likewise.
	* libgnarl/s-mudido__affinity.adb (Create): Likewise.
	* libgnarl/s-osinte__linux.ads (Unmasked, Reserved): Likewise.
	* libgnarl/s-taprop__linux.adb (Create_Task, Set_Task_Affinity)
	* libgnarl/s-tasdeb.adb (Trace_On): Likewise.
	* libgnarl/s-tasdeb.ads (Known_Tasks): Likewise.
	* libgnarl/s-tasinf__linux.ads (Any_CPU, No_CPU): Likewise.
	* libgnarl/s-taskin.adb (Initialize_ATCB): Likewise.
	* libgnarl/s-taskin.ads (Ada_Task_Control_Block): Likewise.
	* libgnarl/s-tasren.adb (Default_Treatment)
	(New_State): Likewise.
	* libgnarl/s-tassta.adb (Trace_Unhandled_Exception_In_Task):
	Likewise.
	* libgnarl/s-tataat.adb (Index_Array): Likewise.
	* libgnarl/s-tpobop.adb (New_State): Likewise.
	* libgnat/a-calend.adb (Cumulative_Days_Before_Month)
	(Leap_Second_Times): Likewise.
	* libgnat/a-calend.ads (Days_In_Month): Likewise.
	* libgnat/a-cfinve.adb (Insert): Likewise.
	* libgnat/a-chahan.adb (Char_Map): Likewise.
	* libgnat/a-chtgbo.adb (Clear): Likewise.
	* libgnat/a-cobove.adb ("&", Insert, To_Vector): Likewise.
	* libgnat/a-cofove.adb (Insert, To_Vector): Likewise.
	* libgnat/a-cohata.ads (Hash_Table_Type): Likewise.
	* libgnat/a-coinve.adb (Merge, Insert, Insert_Space): Likewise.
	* libgnat/a-convec.adb (Insert, To_Vector): Likewise.
	* libgnat/a-coprnu.ads (Primes): Likewise.
	* libgnat/a-direct.adb (Empty_String): Use regular "" instead
	of aggregate.
	(Start_Search_Internal, Name_Case_Equivalence, Search)
	(Start_Search, Start_Search_Internal): Use bracket for
	aggregate.
	* libgnat/a-direct.ads (Start_Search,Search): Likewise.
	* libgnat/a-direio.adb (Zeroes): Likewise.
	* libgnat/a-nbnbre.adb (Leading_Padding, Trailing_Padding)
	(Numerator_Image): Likewise.
	* libgnat/a-ngrear.adb (Jacobi): Likewise.
	* libgnat/a-stbubo.adb (Get_UTF_8): Likewise.
	* libgnat/a-stbufo.adb (Put): Likewise.
	* libgnat/a-stbuun.adb (Get_UTF_8): Likewise.
	* libgnat/a-stbuut.adb (Put_7bit, Put_Character)
	(Put_Wide_Character, Put_Wide_Wide_Character): Likewise.
	* libgnat/a-stmaco.ads (Control_Set,Graphic_Set,Letter_Set)
	(Lower_Set, Upper_Set, Basic_Set, Decimal_Digit_Set)
	(Hexadecimal_Digit_Set, Alphanumeric_Set, Special_Set)
	(ISO_646_Set): Likewise.
	* libgnat/a-strbou.ads (Insert, Tail, "*", Replicate)
	(Null_Bounded_String): Likewise.
	* libgnat/a-strfix.ads (Head, Tail): Likewise.
	* libgnat/a-strmap.adb (To_Domain, Lemma_Is_Sorted): Likewise.
	* libgnat/a-strmap.ads (Null_Set): Likewise.
	* libgnat/a-strsup.adb (Super_Head, Super_Replicate)
	(Super_Tail): Likewise.
	* libgnat/a-strsup.ads (Super_Head, Super_Tail, Times)
	(Super_Replicate): Likewise.
	* libgnat/a-sttebu.adb (Put_UTF8, Wide_Put_UTF_16): Likewise.
	* libgnat/a-stuten.ads (BOM_16): Likewise.
	* libgnat/a-stwibo.ads (Null_Bounded_Wide_String): Likewise.
	* libgnat/a-stwima.ads (Null_Range): Likewise.
	* libgnat/a-stwisu.adb (Super_Head, Super_Replicate)
	(Super_Tail): Likewise.
	* libgnat/a-stzbou.ads
	(Null_Bounded_Wide_Wide_String): Likewise.
	* libgnat/a-stzmap.ads (Null_Range): Likewise.
	* libgnat/a-stzsup.adb (Super_Head, Super_Replicate)
	(Super_Tail, Super_Trim): Likewise.
	* libgnat/a-swmwco.ads (Control_Ranges, Graphic_Ranges)
	(Letter_Ranges, Lower_Ranges, Upeer_Ranges, Basic_Ranges)
	(Decimal_Digit_Ranges, Hexadecimal_Digit_Ranges)
	(Alphanumeric_Ranges, Special_Graphic_Ranges, ISO_646_Ranges)
	(Character_Ranges, Lower_Case_Mapping, Upper_Case_Mapping)
	(Basic_Mapping): Likewise.
	* libgnat/a-szmzco.ads (Control_Ranges, Graphic_Ranges)
	(Letter_Ranges, Lower_Ranges, Upeer_Ranges, Basic_Ranges)
	(Decimal_Digit_Ranges, Hexadecimal_Digit_Ranges)
	(Alphanumeric_Ranges, Special_Graphic_Ranges, ISO_646_Ranges)
	(Character_Ranges, Lower_Case_Mapping, Upper_Case_Mapping)
	(Basic_Mapping): Likewise.
	* libgnat/a-teioed.adb (Format_Number): Likewise.
	* libgnat/a-wtedit.adb (Format_Number): Likewise.
	* libgnat/a-ztedit.adb (Format_Number): Likewise.
	* libgnat/g-arrspl.adb (Separators): Likewise.
	* libgnat/g-catiio.adb (Month_Name_To_Number): Likewise.
	* libgnat/g-cgideb.adb (NL, Title): Likewise.
	* libgnat/g-comlin.adb (Internal_Initialize_Option_Scan)
	(Display_Section_Help): Likewise.
	* libgnat/g-comlin.ads (Opt_Parser_Data): Likewise.
	* libgnat/g-debpoo.adb (Set_Dead_Beef, Dump): Likewise.
	* libgnat/g-expect.adb (Expect, Has_Process, Send): Likewise.
	* libgnat/g-forstr.adb ("+", Get_Formatted): Likewise.
	* libgnat/g-memdum.adb (Dump): Likewise.
	* libgnat/g-rannum.adb (Image): Likewise.
	* libgnat/g-sechas.adb (Final, HMAC_Initial_Context): Likewise.
	* libgnat/g-sehamd.ads (Initial_State): Likewise.
	* libgnat/g-sehash.ads (Initial_State): Likewise.
	* libgnat/g-sercom.ads (Data_Rate_Value): Likewise.
	* libgnat/g-sercom__linux.adb (C_Data_Rate, C_Bits, C_Stop_Bits)
	(C_Parity): Likewise.
	* libgnat/g-shsh32.ads (K, Transform): Likewise.
	* libgnat/g-shsh64.ads (K, Transform): Likewise.
	* libgnat/g-socket.adb (Levels, Modes, Shutmodes, Requests)
	(Options, Flags, Get_Name_Info, Image): Likewise.
	* libgnat/g-socket.ads (Inet_Addr_Bytes_Length, Inet_Addr_Type)
	(IPv4_To_IPv6_Prefix, Any_Inet_Addr, Any_Inet6_Addr)
	(No_Inet_Addr, Broadcast_Inet_Addr, Loopback_Inet_Addr)
	(Loopback_Inet6_Addr, Unspecified_Group_Inet_Addr)
	(All_Hosts_Group_Inet_Addr, All_Routers_Group_Inet_Addr)
	(Unspecified_Group_Inet6_Addr, All_Hosts_Group_Inet6_Addr)
	(All_Routers_Group_Inet6_Addr):	Likewise.
	* libgnat/g-socpol.adb (To_C, Status, Get_Events): Likewise.
	* libgnat/g-socpol.ads (Input_Event, Output_Event, Both_Event)
	(Error_Event): Likewise.
	* libgnat/g-sothco.ads (Families, Lengths, Sockaddr): Likewise.
	* libgnat/g-spipat.adb (OK_For_Simple_Arbno): Likewise.
	* libgnat/i-cobol.ads (Ada_To_COBOL, COBOL_To_Ada): Likewise.
	* libgnat/i-pacdec.adb (Packed_Byte): Likewise.
	* libgnat/i-pacdec.ads (Packed_Size): Likewise.
	* libgnat/s-bitops.adb (Masks): Likewise.
	* libgnat/s-crc32.adb (Table): Likewise.
	* libgnat/s-gearop.adb (Unit_Matrix, Unit_Vector): Likewise.
	* libgnat/s-genbig.adb (Out_data, Zero_Data, Big_Exp, Big_Mul)
	(To_Bignum, To_String, Image, Leading_Padding): Likewise.
	* libgnat/s-htable.adb (Reset): Likewise.
	* libgnat/s-imgcha.adb (C0, C1): Likewise.
	* libgnat/s-powflt.ads (Powten): Likewise.
	* libgnat/s-powlfl.ads (Powten): Likewise.
	* libgnat/s-powllf.ads (Powten): Likewise.
	* libgnat/s-rannum.adb (Matrix_A, Random_Float_Template, Image):
	Likewise.
	* libgnat/s-rannum.ads (Generator): Likewise.
	* libgnat/s-regexp.adb (Compile,Create_Primary_Table)
	(Create_Primary_Table_Glob, Create_Secondary_Table, Compile):
	Likewise.
	* libgnat/s-regpat.adb (Bit_Conversion, Set, Dump_Until)
	(Dump_Current, Dump_Error, Try, Reset_Class): Likewise.
	* libgnat/s-regpat.ads (Pattern_Matcher, Never_Match): Likewise.
	* libgnat/s-scaval__128.adb (Initialize): Likewise.
	* libgnat/s-statxd.adb (Fields, W_F, W_LF)
	(W_LLF, W_SF): Likewise.
	* libgnat/s-stausa.adb (Initialize, Initialize_Analyzer)
	(Output_Results): Likewise.
	* libgnat/s-strops.adb (Str_Concat_SC): Likewise.
	* libgnat/s-valrea.adb (Maxexp32, Maxexp64, Maxexp80): Likewise.
	* libgnat/s-wchcon.ads (WC_Encoding_Letters)
	(WC_Longest_Sequences): Likewise.
	* par-ch4.adb (P_Aggregate_Or_Paren_Expr): Set
	Is_Parenthesis_Aggregate when creating a N_Aggregate using
	parenthesis.
	* scng.adb (Scan): Lower version needed for bracket syntax from
	Extensions to Ada2022.
	* sem_aggr.adb (Resolve_Aggregate): Raise error for container
	aggregate using parenthesis instead of bracket.
	(Resolve_Array_Aggregate): Raise warning for aggregate using
	parenthesis in Ada2022 with obsolescent warning enabled and not
	in GNAT mode.
	* sem_util.ads (Check_Ambiguous_Aggregate): Typo fix in comment.

15 files changed, 44 insertions, 44 deletions

diff --git a/gcc/ada/libgnarl/s-interr.adb b/gcc/ada/libgnarl/s-interr.adb
index 7d36b9f224e..dc1ed1727a8 100644
--- a/gcc/ada/libgnarl/s-interr.adb
+++ b/gcc/ada/libgnarl/s-interr.adb
@@ -159,7 +159,7 @@ package body System.Interrupts is
    end record;
 
    User_Handler : array (Interrupt_ID'Range) of Handler_Assoc :=
-                    (others => (null, Static => False));
+                    [others => (null, Static => False)];
    pragma Volatile_Components (User_Handler);
    --  Holds the protected procedure handler (if any) and its Static
    --  information for each interrupt. A handler is a Static one if it is
@@ -167,27 +167,27 @@ package body System.Interrupts is
    --  not static)
 
    User_Entry : array (Interrupt_ID'Range) of Entry_Assoc :=
-                  (others => (T => Null_Task, E => Null_Task_Entry));
+                  [others => (T => Null_Task, E => Null_Task_Entry)];
    pragma Volatile_Components (User_Entry);
    --  Holds the task and entry index (if any) for each interrupt
 
-   Blocked : array (Interrupt_ID'Range) of Boolean := (others => False);
+   Blocked : array (Interrupt_ID'Range) of Boolean := [others => False];
    pragma Atomic_Components (Blocked);
    --  True iff the corresponding interrupt is blocked in the process level
 
-   Ignored : array (Interrupt_ID'Range) of Boolean := (others => False);
+   Ignored : array (Interrupt_ID'Range) of Boolean := [others => False];
    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);
+     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);
+                 [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
diff --git a/gcc/ada/libgnarl/s-intman.ads b/gcc/ada/libgnarl/s-intman.ads
index c49316301e0..663aed94ebc 100644
--- a/gcc/ada/libgnarl/s-intman.ads
+++ b/gcc/ada/libgnarl/s-intman.ads
@@ -74,7 +74,7 @@ package System.Interrupt_Management is
    --  The interrupt that is used to implement task abort if an interrupt is
    --  used for that purpose. This is one of the reserved interrupts.
 
-   Keep_Unmasked : Interrupt_Set := (others => False);
+   Keep_Unmasked : Interrupt_Set := [others => False];
    --  Keep_Unmasked (I) is true iff the interrupt I is one that must be kept
    --  unmasked at all times, except (perhaps) for short critical sections.
    --  This includes interrupts that are mapped to exceptions (see
@@ -83,7 +83,7 @@ package System.Interrupt_Management is
    --  reasons. Where interrupts are implemented as OS signals, and signal
    --  masking is per-task, the interrupt should be unmasked in ALL TASKS.
 
-   Reserve : Interrupt_Set := (others => False);
+   Reserve : Interrupt_Set := [others => False];
    --  Reserve (I) is true iff the interrupt I is one that cannot be permitted
    --  to be attached to a user handler. The possible reasons are many. For
    --  example, it may be mapped to an exception used to implement task abort,
diff --git a/gcc/ada/libgnarl/s-intman__posix.adb b/gcc/ada/libgnarl/s-intman__posix.adb
index ae3d77eaf67..f0f65cdb0ce 100644
--- a/gcc/ada/libgnarl/s-intman__posix.adb
+++ b/gcc/ada/libgnarl/s-intman__posix.adb
@@ -66,7 +66,7 @@ package body System.Interrupt_Management is
 
    type Interrupt_List is array (Interrupt_ID range <>) of Interrupt_ID;
    Exception_Interrupts : constant Interrupt_List :=
-     (SIGFPE, SIGILL, SIGSEGV, SIGBUS);
+     [SIGFPE, SIGILL, SIGSEGV, SIGBUS];
 
    Unreserve_All_Interrupts : constant Interfaces.C.int;
    pragma Import
@@ -206,8 +206,8 @@ package body System.Interrupt_Management is
 
       act.sa_mask := Signal_Mask;
 
-      pragma Assert (Keep_Unmasked = (Interrupt_ID'Range => False));
-      pragma Assert (Reserve = (Interrupt_ID'Range => False));
+      pragma Assert (Keep_Unmasked = [Interrupt_ID'Range => False]);
+      pragma Assert (Reserve = [Interrupt_ID'Range => False]);
 
       --  Process state of exception signals
 
diff --git a/gcc/ada/libgnarl/s-mudido__affinity.adb b/gcc/ada/libgnarl/s-mudido__affinity.adb
index 5a9ccafafef..7118a1d2d34 100644
--- a/gcc/ada/libgnarl/s-mudido__affinity.adb
+++ b/gcc/ada/libgnarl/s-mudido__affinity.adb
@@ -113,7 +113,7 @@ package body System.Multiprocessors.Dispatching_Domains is
 
    function Create (First : CPU; Last : CPU_Range) return Dispatching_Domain is
    begin
-      return Create ((First .. Last => True));
+      return Create ([First .. Last => True]);
    end Create;
 
    function Create (Set : CPU_Set) return Dispatching_Domain is
@@ -156,7 +156,7 @@ package body System.Multiprocessors.Dispatching_Domains is
            ST.System_Domain (Rng);
          Actual : constant ST.Dispatching_Domain :=
            ST_DD_Slice and not System_Domain_Slice;
-         Expected : constant ST.Dispatching_Domain := (Rng => False);
+         Expected : constant ST.Dispatching_Domain := [Rng => False];
       begin
          if Actual /= Expected then
             raise Dispatching_Domain_Error with
@@ -184,7 +184,7 @@ package body System.Multiprocessors.Dispatching_Domains is
 
       New_System_Domain (Rng) := New_System_Domain (Rng) and not ST_DD_Slice;
 
-      if New_System_Domain = (New_System_Domain'Range => False) then
+      if New_System_Domain = [New_System_Domain'Range => False] then
          raise Dispatching_Domain_Error with
            "would leave System_Dispatching_Domain empty";
       end if;
diff --git a/gcc/ada/libgnarl/s-osinte__linux.ads b/gcc/ada/libgnarl/s-osinte__linux.ads
index cda0f8ef103..4f682e039f3 100644
--- a/gcc/ada/libgnarl/s-osinte__linux.ads
+++ b/gcc/ada/libgnarl/s-osinte__linux.ads
@@ -132,7 +132,7 @@ package System.OS_Interface is
 
    type Signal_Set is array (Natural range <>) of Signal;
 
-   Unmasked : constant Signal_Set := (
+   Unmasked : constant Signal_Set := [
       SIGTRAP,
       --  To enable debugging on multithreaded applications, mark SIGTRAP to
       --  be kept unmasked.
@@ -148,9 +148,9 @@ package System.OS_Interface is
 
       SIGKILL, SIGSTOP
       --  These two signals actually can't be masked (POSIX won't allow it)
-      );
+      ];
 
-   Reserved : constant Signal_Set := (
+   Reserved : constant Signal_Set := [
       SIG32, SIG33, SIG34
       --  glibc POSIX threads implementation uses two (NPTL) or three
       --  (LinuxThreads) real-time signals for its own use (see SIGNAL(7)).
@@ -158,7 +158,7 @@ package System.OS_Interface is
       --  not permit these signals to be used by the public signal.h API.
       --  While LinuxThreads is mostly likely unused now, SIG34 is still
       --  reserved as this behavior is consistent with past GNAT releases.
-      );
+      ];
 
    type sigset_t is private;
 
diff --git a/gcc/ada/libgnarl/s-taprop__linux.adb b/gcc/ada/libgnarl/s-taprop__linux.adb
index 1c8c6bd38dc..273893464fe 100644
--- a/gcc/ada/libgnarl/s-taprop__linux.adb
+++ b/gcc/ada/libgnarl/s-taprop__linux.adb
@@ -973,8 +973,8 @@ package body System.Task_Primitives.Operations is
       elsif T.Common.Domain /= null and then
         (T.Common.Domain /= ST.System_Domain
           or else T.Common.Domain.all /=
-                    (Multiprocessors.CPU'First ..
-                     Multiprocessors.Number_Of_CPUs => True))
+                    [Multiprocessors.CPU'First ..
+                     Multiprocessors.Number_Of_CPUs => True])
       then
          declare
             CPUs    : constant size_t :=
@@ -1494,8 +1494,8 @@ package body System.Task_Primitives.Operations is
             elsif T.Common.Domain /= null and then
               (T.Common.Domain /= ST.System_Domain
                 or else T.Common.Domain.all /=
-                          (Multiprocessors.CPU'First ..
-                           Multiprocessors.Number_Of_CPUs => True))
+                          [Multiprocessors.CPU'First ..
+                           Multiprocessors.Number_Of_CPUs => True])
             then
                --  Set the affinity to all the processors belonging to the
                --  dispatching domain. To avoid changing CPU affinities when
diff --git a/gcc/ada/libgnarl/s-tasdeb.adb b/gcc/ada/libgnarl/s-tasdeb.adb
index d4f37f09b85..edb2503ee26 100644
--- a/gcc/ada/libgnarl/s-tasdeb.adb
+++ b/gcc/ada/libgnarl/s-tasdeb.adb
@@ -54,7 +54,7 @@ package body System.Tasking.Debug is
 
    type Trace_Flag_Set is array (Character) of Boolean;
 
-   Trace_On : Trace_Flag_Set := ('A' .. 'Z' => False, others => True);
+   Trace_On : Trace_Flag_Set := ['A' .. 'Z' => False, others => True];
 
    Stderr_Fd : constant := 2;
    --  File descriptor for standard error
diff --git a/gcc/ada/libgnarl/s-tasdeb.ads b/gcc/ada/libgnarl/s-tasdeb.ads
index eebb2a9f319..8d75a5e0337 100644
--- a/gcc/ada/libgnarl/s-tasdeb.ads
+++ b/gcc/ada/libgnarl/s-tasdeb.ads
@@ -65,7 +65,7 @@ package System.Tasking.Debug is
    -- General GDB support --
    -------------------------
 
-   Known_Tasks : array (0 .. 999) of Task_Id := (others => null)
+   Known_Tasks : array (0 .. 999) of Task_Id := [others => null]
      with Atomic_Components;
    --  Global array of tasks read by gdb, and updated by Create_Task and
    --  Finalize_TCB. Ensure access to its components is atomic to allow
diff --git a/gcc/ada/libgnarl/s-tasinf__linux.ads b/gcc/ada/libgnarl/s-tasinf__linux.ads
index e6da7505f14..f2877e6863c 100644
--- a/gcc/ada/libgnarl/s-tasinf__linux.ads
+++ b/gcc/ada/libgnarl/s-tasinf__linux.ads
@@ -79,8 +79,8 @@ package System.Task_Info is
 
    subtype CPU_Set is System.OS_Interface.cpu_set_t;
 
-   Any_CPU : constant CPU_Set := (bits => (others => True));
-   No_CPU  : constant CPU_Set := (bits => (others => False));
+   Any_CPU : constant CPU_Set := (bits => [others => True]);
+   No_CPU  : constant CPU_Set := (bits => [others => False]);
 
    Invalid_CPU_Number : exception;
    --  Raised when an invalid CPU mask has been specified
diff --git a/gcc/ada/libgnarl/s-taskin.adb b/gcc/ada/libgnarl/s-taskin.adb
index 1e6f42da393..478809c3547 100644
--- a/gcc/ada/libgnarl/s-taskin.adb
+++ b/gcc/ada/libgnarl/s-taskin.adb
@@ -140,7 +140,7 @@ package body System.Tasking is
       T.Common.Global_Task_Lock_Nesting := 0;
       T.Common.Fall_Back_Handler        := null;
       T.Common.Specific_Handler         := null;
-      T.Common.Debug_Events             := (others => False);
+      T.Common.Debug_Events             := [others => False];
       T.Common.Task_Image_Len           := 0;
 
       if T.Common.Parent = null then
diff --git a/gcc/ada/libgnarl/s-taskin.ads b/gcc/ada/libgnarl/s-taskin.ads
index 1751553c58c..0073c1979a5 100644
--- a/gcc/ada/libgnarl/s-taskin.ads
+++ b/gcc/ada/libgnarl/s-taskin.ads
@@ -1157,7 +1157,7 @@ package System.Tasking is
       --  non-terminated task so that the associated storage is automatically
       --  reclaimed when the task terminates.
 
-      Attributes : Attribute_Array := (others => 0);
+      Attributes : Attribute_Array := [others => 0];
       --  Task attributes
 
       --  IMPORTANT Note: the Entry_Queues field is last for efficiency of
diff --git a/gcc/ada/libgnarl/s-tasren.adb b/gcc/ada/libgnarl/s-tasren.adb
index fa10b0cbbbe..7b11d39c9e0 100644
--- a/gcc/ada/libgnarl/s-tasren.adb
+++ b/gcc/ada/libgnarl/s-tasren.adb
@@ -59,28 +59,28 @@ package body System.Tasking.Rendezvous is
    ----------------
 
    Default_Treatment : constant array (Select_Modes) of Select_Treatment :=
-     (Simple_Mode         => No_Alternative_Open,
+     [Simple_Mode         => No_Alternative_Open,
       Else_Mode           => Else_Selected,
       Terminate_Mode      => Terminate_Selected,
-      Delay_Mode          => No_Alternative_Open);
+      Delay_Mode          => No_Alternative_Open];
 
    New_State : constant array (Boolean, Entry_Call_State)
      of Entry_Call_State :=
-       (True =>
-         (Never_Abortable   => Never_Abortable,
+       [True =>
+         [Never_Abortable   => Never_Abortable,
           Not_Yet_Abortable => Now_Abortable,
           Was_Abortable     => Now_Abortable,
           Now_Abortable     => Now_Abortable,
           Done              => Done,
-          Cancelled         => Cancelled),
+          Cancelled         => Cancelled],
         False =>
-         (Never_Abortable   => Never_Abortable,
+         [Never_Abortable   => Never_Abortable,
           Not_Yet_Abortable => Not_Yet_Abortable,
           Was_Abortable     => Was_Abortable,
           Now_Abortable     => Now_Abortable,
           Done              => Done,
-          Cancelled         => Cancelled)
-       );
+          Cancelled         => Cancelled]
+       ];
 
    -----------------------
    -- Local Subprograms --
diff --git a/gcc/ada/libgnarl/s-tassta.adb b/gcc/ada/libgnarl/s-tassta.adb
index bbc7d14d5d8..245145cf67e 100644
--- a/gcc/ada/libgnarl/s-tassta.adb
+++ b/gcc/ada/libgnarl/s-tassta.adb
@@ -1462,7 +1462,7 @@ package body System.Tasking.Stages is
 
       To_Stderr (System.Address_Image (To_Address (Self_Id)));
       To_Stderr (" terminated by unhandled exception");
-      To_Stderr ((1 => ASCII.LF));
+      To_Stderr ([ASCII.LF]);
       To_Stderr (Exception_Information (Excep.all));
       Initialization.Task_Unlock (Self_Id);
    end Trace_Unhandled_Exception_In_Task;
diff --git a/gcc/ada/libgnarl/s-tataat.adb b/gcc/ada/libgnarl/s-tataat.adb
index d3b23bb8c6b..ebc16e9a1a3 100644
--- a/gcc/ada/libgnarl/s-tataat.adb
+++ b/gcc/ada/libgnarl/s-tataat.adb
@@ -47,7 +47,7 @@ package body System.Tasking.Task_Attributes is
    end record;
 
    Index_Array : array (1 .. Max_Attribute_Count) of Index_Info :=
-                   (others => (False, False));
+                   [others => (False, False)];
 
    --  Note that this package will use an efficient implementation with no
    --  locks and no extra dynamic memory allocation if Attribute can fit in a
diff --git a/gcc/ada/libgnarl/s-tpobop.adb b/gcc/ada/libgnarl/s-tpobop.adb
index 5739eaa030b..90e45e99760 100644
--- a/gcc/ada/libgnarl/s-tpobop.adb
+++ b/gcc/ada/libgnarl/s-tpobop.adb
@@ -942,21 +942,21 @@ package body System.Tasking.Protected_Objects.Operations is
 
    New_State : constant array (Boolean, Entry_Call_State)
      of Entry_Call_State :=
-       (True =>
-         (Never_Abortable   => Never_Abortable,
+       [True =>
+         [Never_Abortable   => Never_Abortable,
           Not_Yet_Abortable => Now_Abortable,
           Was_Abortable     => Now_Abortable,
           Now_Abortable     => Now_Abortable,
           Done              => Done,
-          Cancelled         => Cancelled),
+          Cancelled         => Cancelled],
         False =>
-         (Never_Abortable   => Never_Abortable,
+         [Never_Abortable   => Never_Abortable,
           Not_Yet_Abortable => Not_Yet_Abortable,
           Was_Abortable     => Was_Abortable,
           Now_Abortable     => Now_Abortable,
           Done              => Done,
-          Cancelled         => Cancelled)
-       );
+          Cancelled         => Cancelled]
+       ];
 
    procedure Update_For_Queue_To_PO
      (Entry_Call : Entry_Call_Link;