https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86010
--- Comment #13 from Martin Sebor <msebor at gcc dot gnu.org> --- Should this be resolved as fixed per comment #10?
msebor at gcc dot gnu.org via Gcc-bugs Wed, 10 Feb 2021 13:20:19 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86010
--- Comment #13 from Martin Sebor <msebor at gcc dot gnu.org> --- Should this be resolved as fixed per comment #10?