https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100017
--- Comment #17 from Dave Murphy <davem at devkitpro dot org> --- (In reply to Jonathan Wakely from comment #16) > I don't think the patch is sufficient, I think I had a complete one. Shall I leave this or submit the patch I made as a starting point for review?