On Tue, Jan 23, 2018 at 12:34:46AM -0500, Dave Jones wrote: > c1e2f0eaf015fb: "futex: Avoid violating the 10th rule of futex" seems to > make up a few new rules to violate. > > Coverity picked up these two problems in the same code: >
Yeah, Geert also spotted it: https://lkml.kernel.org/r/[email protected] I've been running the robustpi tests from glibc but have so far failed to actually trigger the bug. I think I'll just write up a Changelog and post the fix from the above link.

