------- Comment #11 from jakub at gcc dot gnu dot org 2008-12-11 00:44 ------- The patch is correct if not obvious.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35677
jakub at gcc dot gnu dot org Wed, 10 Dec 2008 16:46:14 -0800
------- Comment #11 from jakub at gcc dot gnu dot org 2008-12-11 00:44 ------- The patch is correct if not obvious.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35677