https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101188
--- Comment #16 from Georg-Johann Lay <gjl at gcc dot gnu.org> --- Created attachment 55317 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55317&action=edit Backport to v13 of Jeff's patch.
gjl at gcc dot gnu.org via Gcc-bugs Tue, 13 Jun 2023 04:42:52 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101188
--- Comment #16 from Georg-Johann Lay <gjl at gcc dot gnu.org> --- Created attachment 55317 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55317&action=edit Backport to v13 of Jeff's patch.