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

[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
         Resolution|INVALID                     |---

--- Comment #3 from Saada Mehdi <00120260a at gmail dot com> ---
Moreover, the message itself points at gcc bug / bugzilla.