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.
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.