https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83786
Tom de Vries <vries at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Keywords| |patch --- Comment #1 from Tom de Vries <vries at gcc dot gnu.org> --- Patch submitted here: https://gcc.gnu.org/ml/gcc-patches/2018-01/msg00338.html . I'm filing a bug for this to make sure it doesn't fall through the cracks (give that we're at the end of stage 3, and this may be more of a stage1 thing, I'm not sure).