http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47533

--- Comment #8 from Thorsten Glaser <tg at mirbsd dot org> 2011-01-29 18:51:23 
UTC ---
OK, the patch fixes the problem indeed. Thanks! (Sorry for the noise, too.)

Reply via email to