https://gcc.gnu.org/bugzilla/show_bug.cgi?id=57466
--- Comment #16 from Paolo Carlini <paolo.carlini at oracle dot com> --- Shall we definitely close this, then?
paolo.carlini at oracle dot com Wed, 17 May 2017 13:03:28 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=57466
--- Comment #16 from Paolo Carlini <paolo.carlini at oracle dot com> --- Shall we definitely close this, then?