https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67243
--- Comment #11 from Chengnian Sun <chengniansun at gmail dot com> --- (In reply to Marek Polacek from comment #10) > *** Bug 67230 has been marked as a duplicate of this bug. *** Sorry, Marek. I did not realize that I had submitted so many duplicate reports. I got gateway errors from GCC bugzilla that night when I was submitting this bug report. I tried several times and it seems they all went through despite the errors.