https://sourceware.org/bugzilla/show_bug.cgi?id=19709 --- Comment #1 from Joseph Myers <jsm28 at gcc dot gnu.org> --- *** Bug 19710 has been marked as a duplicate of this bug. *** -- You are receiving this mail because: You are on the CC list for the bug.