------- Comment #4 from jakub at gcc dot gnu dot org 2008-11-06 12:55 ------- *** Bug 38031 has been marked as a duplicate of this bug. ***
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38030
jakub at gcc dot gnu dot org Thu, 06 Nov 2008 05:03:46 -0800
------- Comment #4 from jakub at gcc dot gnu dot org 2008-11-06 12:55 ------- *** Bug 38031 has been marked as a duplicate of this bug. ***
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38030