https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92621
--- Comment #21 from sandra at gcc dot gnu.org --- Tobias, did your big patch fully fix this issue so that we can close it?
sandra at gcc dot gnu.org via Gcc-bugs Thu, 21 Oct 2021 11:43:06 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92621
--- Comment #21 from sandra at gcc dot gnu.org --- Tobias, did your big patch fully fix this issue so that we can close it?