http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47147
--- Comment #11 from js-gcc at webkeks dot org <js-gcc at webkeks dot org> 2011-01-13 13:28:27 UTC --- Sorry for the late reply. Your patch worked fine.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47147
--- Comment #11 from js-gcc at webkeks dot org <js-gcc at webkeks dot org> 2011-01-13 13:28:27 UTC --- Sorry for the late reply. Your patch worked fine.