------- Comment #9 from jamborm at gcc dot gnu dot org 2008-09-10 10:11 ------- I've been away from computer for a rather long time so I could not check earlier. However, the problem is indeed gone. Thanks Richi.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37046