https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122054 --- Comment #1 from Sébastien Villemot <sebastien at debian dot org> --- Created attachment 62444 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=62444&action=edit g++ output