https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106423
--- Comment #3 from Tom Honermann <tom at honermann dot net> --- I believe this issue can be resolved as fixed via commit 60468d6cd46a3bd3afe8ff856f82afcd4c65a217 for the gcc 13 release.
tom at honermann dot net via Gcc-bugs Wed, 17 Aug 2022 09:35:55 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106423
--- Comment #3 from Tom Honermann <tom at honermann dot net> --- I believe this issue can be resolved as fixed via commit 60468d6cd46a3bd3afe8ff856f82afcd4c65a217 for the gcc 13 release.