https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71121
--- Comment #10 from Paolo Carlini <paolo.carlini at oracle dot com> --- I guess we could as well close this. Jason?
paolo.carlini at oracle dot com Wed, 20 Sep 2017 01:29:56 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71121
--- Comment #10 from Paolo Carlini <paolo.carlini at oracle dot com> --- I guess we could as well close this. Jason?