http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53525
--- Comment #14 from jimis <jimis at gmx dot net> 2012-06-27 22:58:50 UTC --- Ping? Can someone review my last patch? I think it's clean enough to be applied (minus the TODO notes) and extra fixes can come separately later.