https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108976
--- Comment #5 from Jonathan Wakely <redi at gcc dot gnu.org> --- Excellent, thanks! I'll look at the commits tomorrow and get back to you. A patch will need to be submitted to the mailing lists, but it might be OK to send a single diff for the whole series, but then I could merge the 8 commits (without squashing them). I'll see if that makes sense (and would be OK by our policies) and let you know.
