Regarding the following, written by "Marc Haber" on 2023-08-08 at 14:57 Uhr
+0200:
Is this probably a duplicate of #1004894?
If so, this probably boils down on a GCC bug, see
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104713
Thanks and sorry for the duplicate. Not sure it is. I did a search,
but "opcode" only appeared on my radar later…
--
.''`. martin f. krafft <madduck@d.o>
: :' : proud Debian developer
`. `'` http://people.debian.org/~madduck
`- Debian - when you have better things to do than fixing systems
"auch der mutigste von uns hat nur selten den mut zu dem,
was er eigentlich weiß."
- friedrich nietzsche