https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118052 --- Comment #4 from charlet at adacore dot com <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