http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52235

--- Comment #4 from Paulo J. Matos <pa...@matos-sorge.com> 2013-05-08 14:24:08 
UTC ---
This issue persists in HEAD, the submitted patch seems to have been forgotten.
Ping, ping.

Reply via email to