https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108531
--- Comment #1 from Keith Thompson <Keith.S.Thompson at gmail dot com> --- After I submitted this, I found that this is probably a duplicate of: https://sourceware.org/bugzilla/show_bug.cgi?id=15720 (I disagree with the resolution of that bug report.)