https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71684
Christian Prochaska <christian.procha...@genode-labs.com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |christian.prochaska@genode- | |labs.com --- Comment #6 from Christian Prochaska <christian.procha...@genode-labs.com> --- I found the same problem with the Genode OS framework, which allocates memory in 'pthread_mutex_lock()' as well. Has this been resolved for FreeBSD in the meantime?