https://gcc.gnu.org/bugzilla/show_bug.cgi?id=53574
--- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> --- Jakub, is this still an issue?
paolo.carlini at oracle dot com Sun, 15 Oct 2017 15:07:44 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=53574
--- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> --- Jakub, is this still an issue?