------- Comment #3 from manu at gcc dot gnu dot org 2009-07-14 20:56 ------- Joseph, could you comment on this?
-- manu at gcc dot gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |joseph at codesourcery dot | |com http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40752