| commit | 11ad366da5edd79b64095d809c0e9debe80edfb2 | |
| author | Ed Schonberg <schonberg@adacore.com> | |
| Wed, 2 Dec 2020 21:04:48 +0000 (2 16:04 -0500) | ||
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | |
| Thu, 17 Dec 2020 10:49:20 +0000 (17 05:49 -0500) | ||
| tree | 1d063573699984c20e8af1b8fb36772a9bdf4286 | treesnapshot (tar.gz zip) |
| parent | 7fbcb0c72e48e0009cfbda5391d6e3387cf3afff | commitdiff |
[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 (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 | diffblobblamehistory |