https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101081
--- Comment #3 from David Malcolm <dmalcolm at gcc dot gnu.org> --- Thanks. The above patch fixes part (a) of comment #0, but I'm not yet sure what to do about part (b), so keeping this bug report open for now.