[Bug ada/118051] gnatprove indicates error

[charlet at adacore dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118051

--- Comment #3 from charlet at adacore dot com <charlet at adacore dot com> ---
> --- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
> (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 gprbuild which are part of the gnat ecosystem
and not part of gcc itself and therefore not appropriate to report bugs on gcc.

That being said the above is really a stretch since this is the doc of an
obsolete pragma in the first place that could be removed.

Arno