https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101435
--- Comment #3 from Tobias Schlüter <tobi at gcc dot gnu.org> --- Thank you! I would certainly have found the other bug had I put the right keyword into the title of the PR myself ...
tobi at gcc dot gnu.org via Gcc-bugs Tue, 13 Jul 2021 18:56:36 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101435
--- Comment #3 from Tobias Schlüter <tobi at gcc dot gnu.org> --- Thank you! I would certainly have found the other bug had I put the right keyword into the title of the PR myself ...