------- Comment #3 from singler at kit dot edu 2010-04-20 14:04 ------- Can this old bug be closed?
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39154
------- Comment #3 from singler at kit dot edu 2010-04-20 14:04 ------- Can this old bug be closed?
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39154