[Bug ada/118051] gnatprove indicates error

2024-12-16 Thread charlet at adacore dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118051 --- Comment #3 from charlet at adacore dot com --- > --- 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 us

Re: [Bug ada/118051] gnatprove indicates error

2024-12-16 Thread Arnaud Charlet via Gcc-bugs
> --- 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

[Bug ada/118051] gnatprove indicates error

2024-12-16 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118051 --- 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

[Bug ada/118051] gnatprove indicates error

2024-12-16 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118051 Eric Botcazou changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|---