------- Comment #1 from anirkko at insel dot ch 2007-04-13 22:46 ------- *** Bug 31565 has been marked as a duplicate of this bug. ***
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31523
------- Comment #1 from anirkko at insel dot ch 2007-04-13 22:46 ------- *** Bug 31565 has been marked as a duplicate of this bug. ***
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31523