https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87603
--- Comment #1 from Miguel Ojeda <miguel.ojeda.sandonis at gmail dot com> --- Created attachment 44832 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=44832&action=edit patch + test
miguel.ojeda.sandonis at gmail dot com Fri, 12 Oct 2018 18:09:59 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87603
--- Comment #1 from Miguel Ojeda <miguel.ojeda.sandonis at gmail dot com> --- Created attachment 44832 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=44832&action=edit patch + test