> --- 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 used:
> https://gcc.gnu.org/onlinedocs/gnat_rm/SPARK_005f05.html
Other tools are mentioned such as gprbu
> --- 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
> "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 this is deliberate, the help information should say so.
This is indeed deliberate, thanks for reporting!
