http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54142
David Edelsohn <dje at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |dje at gcc dot gnu.org --- Comment #17 from David Edelsohn <dje at gcc dot gnu.org> 2012-08-14 17:09:57 UTC --- Jakub's fix looks right.