https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63694 --- Comment #5 from Yury Gribov <y.gribov at samsung dot com> --- John, would you mind sending a (tested) patch to gcc-patches? I only have access to Linux systems which are irrelevant.