https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71684
--- Comment #7 from Christian Prochaska <christian.procha...@genode-labs.com> --- Bug 57440 solved the problem for mingw32 by defining _GTHREAD_USE_MUTEX_INIT_FUNC in os_defines.h.
christian.prochaska--- via Gcc-bugs Wed, 05 Mar 2025 03:08:42 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71684
--- Comment #7 from Christian Prochaska <christian.procha...@genode-labs.com> --- Bug 57440 solved the problem for mingw32 by defining _GTHREAD_USE_MUTEX_INIT_FUNC in os_defines.h.