[Bug ada/118051] gnatprove indicates error

[Arnaud Charlet]

> --- 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