https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118051
--- 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
