------- Comment #9 from bangerth at gmail dot com 2010-03-08 14:29 ------- *** Bug 43285 has been marked as a duplicate of this bug. *** -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=6709