Ok, it is there: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19322 --L Gabriel Dos Reis wrote: > Lorenz Minder <lminder@gmx.net> writes: > > | Should I file a PR? > > At any case, yes. Add me to the CC:. > > -- Gaby