https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61538
--- Comment #13 from Andrew Pinski <pinskia at gcc dot gnu.org> --- What is the kernel version? There has been some recent (this year) fixes inside the kernel for futex. Though I admit I have seen this just recently when debugging a program where I did next over a pthread_mutex_unlock call.
