------- Comment #2 from manu at gcc dot gnu dot org 2008-08-05 23:38 ------- Simon, is this fixed? If so, you should close it as FIXED.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36999
------- Comment #2 from manu at gcc dot gnu dot org 2008-08-05 23:38 ------- Simon, is this fixed? If so, you should close it as FIXED.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36999