http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55384
David Edelsohn <dje at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution| |FIXED --- Comment #7 from David Edelsohn <dje at gcc dot gnu.org> 2012-11-19 18:15:24 UTC --- Patch to system.h committed.