https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81470
--- Comment #15 from hainque at adacore dot com <hainque at adacore dot com> --- And thanks Rainer for having confirmed that it resolves the problem for you as well. > On Dec 6, 2017, at 23:54 , hainque at adacore dot com > <gcc-bugzi...@gcc.gnu.org> wrote: > >>> Confirmed, this patch solves the issue. >>> >>> Thanks >> >> Olivier, can we get the patch in, please? > > As soon as I get an approval for it :) > > https://gcc.gnu.org/ml/gcc-patches/2017-11/msg02537.html > > will ping.
