https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81850 --- Comment #1 from Daniel Santos <daniel.santos at pobox dot com> --- I have a patch that I've tested and will be submitting it shortly (I can't change the assigned to field yet).