------- Comment #7 from majbrock at dse dot nl 2010-07-29 13:30 ------- Thank you both for looking into it and explaining the behaviour. I feel stupid and apologize, because I was certain that it was not read twice. Yet now I can no longer reproduce that, so I guess I was wrong after all.
Thanks again. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45126
