https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81615
--- Comment #14 from Ben Barrowes <barrowes at alum dot mit.edu> --- Thanks for engaging, and thanks for the suggestion. I might be able to do this over the winter. Could you give me a hint as to where to look. Which files.
