http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53823
--- Comment #3 from John David Anglin <danglin at gcc dot gnu.org> 2012-07-27 18:19:26 UTC --- *** Bug 53974 has been marked as a duplicate of this bug. ***
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53823
--- Comment #3 from John David Anglin <danglin at gcc dot gnu.org> 2012-07-27 18:19:26 UTC --- *** Bug 53974 has been marked as a duplicate of this bug. ***