http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57192
Bill Schmidt <wschmidt at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |RESOLVED CC| |wschmidt at gcc dot gnu.org Resolution| |FIXED --- Comment #6 from Bill Schmidt <wschmidt at gcc dot gnu.org> 2013-05-07 20:11:09 UTC --- OK, thanks! Current trunk has a half-good fix that I put in this morning. The proposed patch fixes it the right way. Good to hear that both versions appear to solve this problem! Closing as resolved. Please feel free to re-open if the problem comes back.