https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99771 --- Comment #3 from David Malcolm <dmalcolm at gcc dot gnu.org> --- The above patch fixes some of the occurrences of the bug (due to (b)), but not those due to (a), so keeping this bug open.