https://gcc.gnu.org/bugzilla/show_bug.cgi?id=58930
--- Comment #6 from Paolo Carlini <paolo.carlini at oracle dot com> --- The patch isn't trivial but I understand that it fixes quite a few issues. Thus certainly no objections from me. Just ask on the mailing list: if Jason agrees, please go ahead. Thanks.