https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82085
--- Comment #10 from Paolo Carlini <paolo.carlini at oracle dot com> --- Yes, please, open a new bug, it's a different issue.
paolo.carlini at oracle dot com Tue, 31 Oct 2017 01:59:40 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82085
--- Comment #10 from Paolo Carlini <paolo.carlini at oracle dot com> --- Yes, please, open a new bug, it's a different issue.