http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51483
--- Comment #20 from bosch at adacore dot com <bosch at adacore dot com> --- On Mar 10, 2014, at 16:11, ebotcazou at gcc dot gnu.org <gcc-bugzi...@gcc.gnu.org> wrote: > --- Comment #19 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > Taking care of it. > Thank you! -Geert