https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82155
--- Comment #4 from Pierre-Marie de Rodat <derodat at adacore dot com> --- I have a candidate fix, which I submitted on gcc-patches@: <https://gcc.gnu.org/ml/gcc-patches/2017-09/msg00647.html>
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82155
--- Comment #4 from Pierre-Marie de Rodat <derodat at adacore dot com> --- I have a candidate fix, which I submitted on gcc-patches@: <https://gcc.gnu.org/ml/gcc-patches/2017-09/msg00647.html>