------- Comment #3 from jsm28 at gcc dot gnu dot org 2006-08-15 16:07 ------- The patch is OK.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=28419
jsm28 at gcc dot gnu dot org Tue, 15 Aug 2006 09:08:38 -0700
------- Comment #3 from jsm28 at gcc dot gnu dot org 2006-08-15 16:07 ------- The patch is OK.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=28419