https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71294 --- Comment #8 from Bill Schmidt <wschmidt at gcc dot gnu.org> --- Just recording that this patch was rejected on the list at https://gcc.gnu.org/ml/gcc-patches/2016-05/msg02136.html, so we still need a fix for this.