https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66535
--- Comment #4 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- Thanks for the quick fix!
ebotcazou at gcc dot gnu.org Mon, 15 Jun 2015 10:33:36 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66535
--- Comment #4 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- Thanks for the quick fix!