http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53040
David Edelsohn <dje at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |dje at gcc dot gnu.org --- Comment #8 from David Edelsohn <dje at gcc dot gnu.org> 2013-02-06 22:25:21 UTC --- Go ahead and backport it to 4.7 branch.