On 21. Jun 2022, 17:43 +0200, Eli Zaretskii <eliz@gnu.org>, wrote:

Which version of GDB? If you didn't try the latest v12.1, please do.

It's v12.1.

If you did, and it still gives you trouble, suggest to ask a question
on the GDB mailing list (gdb@sourceware.org),

Thanks, I'll try that.