http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54172
--- Comment #7 from Thiago Macieira <thiago at kde dot org> 2012-09-01 08:26:05 UTC --- I posted the patches on Thursday, three patches because I found one more issue, to both lists. Will they be picked up from there and applied to the source tree?