http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58374
--- Comment #2 from Caroline Tice <cmtice at google dot com> --- Even though I logged in to Bugzilla, I can't seem to edit any of the fields above, but to the best of my knowledge a patch to fix this problem has been committed to GCC and this bug should be marked as fixed and closed.
