https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118051
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |RESOLVED Resolution|--- |INVALID CC| |ebotcazou at gcc dot gnu.org --- Comment #1 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- GNATprove is not part of GCC, please report to the vendor instead.