https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80109
--- Comment #5 from Martin Sebor <msebor at gcc dot gnu.org> --- Marek is already a step ahead of me. (Please go ahead with your patch. I submitted my suggestion only because I had typed it up before I saw your update.)