http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52235
--- Comment #5 from Steven Bosscher <steven at gcc dot gnu.org> 2013-05-08 18:56:35 UTC --- (In reply to comment #4) > This issue persists in HEAD, the submitted patch seems to have been forgotten. > Ping, ping. Ping it on gcc-patches, BZ is *not* the place for that!
