[Bug ada/118052] gnatproves bugs, nothing more indicated.

2024-12-16 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118052 Andrew Pinski changed: What|Removed |Added Resolution|--- |MOVED Status|UNCONFIRMED

Re: [Bug ada/118052] gnatproves bugs, nothing more indicated.

2024-12-16 Thread Arnaud Charlet via Gcc-bugs
> --- Comment #3 from Saada Mehdi <00120260a at gmail dot com> --- > Moreover, the message itself points at gcc bug / bugzilla. That's a bug by itself, but also not for GCC. Arno

[Bug ada/118052] gnatproves bugs, nothing more indicated.

2024-12-16 Thread charlet at adacore dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118052 --- Comment #4 from charlet at adacore dot com --- > --- Comment #3 from Saada Mehdi <00120260a at gmail dot com> --- > Moreover, the message itself points at gcc bug / bugzilla. That's a bug by itself, but also not for GCC. Arno

[Bug ada/118052] gnatproves bugs, nothing more indicated.

2024-12-16 Thread 00120260a at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118052 Saada Mehdi <00120260a at gmail dot com> changed: What|Removed |Added Status|RESOLVED|UNCONFIRMED

[Bug ada/118052] gnatproves bugs, nothing more indicated.

2024-12-16 Thread 00120260a at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118052 --- Comment #2 from Saada Mehdi <00120260a at gmail dot com> --- What about the line "GCC error" ??

[Bug ada/118052] gnatproves bugs, nothing more indicated.

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