https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71500
--- Comment #12 from Michael Duggan <mwd at md5i dot com> --- Just a ping. I haven't seen a fix for this (even the basic case) in the repo yet. I'm going to suggest that you at least install your initial patch, as it will work in the vast majority of cases.
