http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55761
--- Comment #6 from Paulo J. Matos <pa...@matos-sorge.com> 2013-01-22 15:30:48 UTC --- I have some further patches that replace the previously posted ones that I will upload soon. Should these also be sent to gcc-patches or it's unnecessary since they're being posted here?