http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49245
--- Comment #1 from Marc Richter <g...@marc-richter.info> 2011-05-31 19:37:50 UTC --- PS: I can provide a root login for a server wherethis is reproduceable happening. You might try or destroy anything you like there, since I can easily make a snapshot of the system. Please just tell me if this is needed, since I do not like to publish the credentials in public here.