[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

--- Comment #2 from Saada Mehdi <00120260a at gmail dot com> ---
What about the line "GCC error" ??