------- Comment #16 from jellegeerts at gmail dot com 2010-08-31 21:38 ------- Thanks for the explanation.
I understand it's a hard thing to fix. It's a bit of a sad situation, and has been for quite a while, unfortunately. :( -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45468
