http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56228
--- Comment #2 from David Edelsohn <dje at gcc dot gnu.org> 2013-02-06 18:15:17 UTC --- The proposed patch LGTM.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56228
--- Comment #2 from David Edelsohn <dje at gcc dot gnu.org> 2013-02-06 18:15:17 UTC --- The proposed patch LGTM.