On Sun, Feb 12, 2023 at 03:51:05PM -0500, Kent Overstreet wrote: > But, this would add a lot of complexity to lockdep, and this is the sort > of situation where if you have a bug in the comparison function (i.e. it > doesn't define a total ordering) it'll break things in terribly fun > ways. FWIW, it is possible to annotate an actual deadlock away with many of the lockdep annotations -- care is always needed with this stuff.
