http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59649
--- Comment #8 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- Everything seems to be OK with the patch.
ebotcazou at gcc dot gnu.org Tue, 07 Jan 2014 15:07:14 -0800
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59649
--- Comment #8 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- Everything seems to be OK with the patch.