------- Comment #20 from dje at gcc dot gnu dot org 2008-05-02 21:23 ------- How do we proceed? Your initial patch is fine with me.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36090
------- Comment #20 from dje at gcc dot gnu dot org 2008-05-02 21:23 ------- How do we proceed? Your initial patch is fine with me.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36090