https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80523
--- Comment #6 from Martin Sebor <msebor at gcc dot gnu.org> --- (In reply to Martin Sebor from comment #5) > Patch committed in r247401. Wrong bug. --- Comment #7 from Martin Sebor <msebor at gcc dot gnu.org> --- (In reply to Martin Sebor from comment #5) > Patch committed in r247401. Wrong bug.