https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95137
--- Comment #31 from Rafael Avila de Espindola <rafael at espindo dot la> --- Hi Iain, Any update on this? If there is any way I can help, please let me know. It has been a decade since I looked into gcc, but I should still be able to test patches or implement small side changes.