------- Comment #4 from rguenth at gcc dot gnu dot org 2008-01-02 13:05 ------- Ping? Is this still broken?
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34465
rguenth at gcc dot gnu dot org Wed, 02 Jan 2008 05:16:00 -0800
------- Comment #4 from rguenth at gcc dot gnu dot org 2008-01-02 13:05 ------- Ping? Is this still broken?
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34465