https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118051
--- Comment #3 from charlet at adacore dot com ---
> --- Comment #2 from Andrew Pinski ---
> (In reply to Eric Botcazou from comment #1)
>> GNATprove is not part of GCC, please report to the vendor instead.
>
> Though it is documented to be us
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118052
--- Comment #4 from charlet at adacore dot com ---
> --- Comment #3 from Saada Mehdi <00120260a at gmail dot com> ---
> Moreover, the message itself points at gcc bug / bugzilla.
That's a bug by itself, but also not for GCC.
Arno
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112446
--- Comment #1 from charlet at adacore dot com ---
> "gnatmake --help" states that -gnatyg is equivalent to -gnatydISux, but
> in fact the new switch -gnatyz (check parentheses not required by operator
> precedence rules) is included.
>
> If
