https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64862
--- Comment #8 from Tom Tromey <tromey at gcc dot gnu.org> --- Sorry about the extreme delay on this. I think my patch has long since bit-rotted, but I can attach it for reference. I believe my assignment situation got sorted out so this should be fine to read and/or copy from.