https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104829
--- Comment #15 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- I confirm that the second patch does fix the problem I see.
joseph at codesourcery dot com via Gcc-bugs Thu, 10 Mar 2022 16:04:39 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104829
--- Comment #15 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- I confirm that the second patch does fix the problem I see.