http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48858
--- Comment #10 from Tobias Burnus <burnus at gcc dot gnu.org> 2012-01-07 22:15:51 UTC --- *** Bug 35161 has been marked as a duplicate of this bug. ***
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48858
--- Comment #10 from Tobias Burnus <burnus at gcc dot gnu.org> 2012-01-07 22:15:51 UTC --- *** Bug 35161 has been marked as a duplicate of this bug. ***