From 11ad366da5edd79b64095d809c0e9debe80edfb2 Mon Sep 17 00:00:00 2001 From: Ed Schonberg Date: Wed, 2 Dec 2020 16:04:48 -0500 Subject: [PATCH] [Ada] Spurious discriminant check on bounded synchronized queue gcc/ada/ * libgnat/a-cbsyqu.ads (Implementation): Provide a box initialization for the element array used internally to represent the queue, so that its components are properly initialized if the given element type has default initialization. Suppress warnings on the rest of the package in case the element type has no default or discriminant, because it is bound to be confusing to the user. --- gcc/ada/libgnat/a-cbsyqu.ads | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/gcc/ada/libgnat/a-cbsyqu.ads b/gcc/ada/libgnat/a-cbsyqu.ads index 225db218408..4037d84cb03 100644 --- a/gcc/ada/libgnat/a-cbsyqu.ads +++ b/gcc/ada/libgnat/a-cbsyqu.ads @@ -71,6 +71,14 @@ is -- Need proper heap data structure here ??? + -- We suppress warnings here, which might otherwise be triggered + -- by the box initialization of the Elements array below. This + -- initialization is needed to preserve constraints, such as + -- discriminant values, that the actual for Element_Type might + -- carry. + + pragma Warnings (Off); + type Element_Array is array (Count_Type range <>) of Queue_Interfaces.Element_Type; @@ -78,7 +86,7 @@ is First, Last : Count_Type := 0; Length : Count_Type := 0; Max_Length : Count_Type := 0; - Elements : Element_Array (1 .. Capacity); + Elements : Element_Array (1 .. Capacity) := (others => <>); end record; end Implementation; -- 2.30.2