https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82195
--- Comment #9 from Paolo Carlini <paolo.carlini at oracle dot com> --- Nathan, can we close this as fixed, then?
paolo.carlini at oracle dot com Fri, 02 Mar 2018 16:33:00 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82195
--- Comment #9 from Paolo Carlini <paolo.carlini at oracle dot com> --- Nathan, can we close this as fixed, then?