https://sourceware.org/bugzilla/show_bug.cgi?id=33389
--- Comment #6 from Rainer Orth <ro at gcc dot gnu.org> --- *** Bug 33243 has been marked as a duplicate of this bug. *** -- You are receiving this mail because: You are on the CC list for the bug.
