https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98391
--- Comment #3 from Tom de Vries <vries at gcc dot gnu.org> --- Jakub, should this be marked as resolved-invalid?
vries at gcc dot gnu.org via Gcc-bugs Wed, 28 Apr 2021 13:18:43 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98391
--- Comment #3 from Tom de Vries <vries at gcc dot gnu.org> --- Jakub, should this be marked as resolved-invalid?