Make sure locks are not held (checknolocks)
ghananigans opened this issue · comments
Similar to checklocks that checks that locks are held, can we make sure locks are not held?
E.g. when we need to call a function that takes a lock, make sure it is not called with the lock already held.
This is equivalent to annotalysis' EXCLUDES: https://clang.llvm.org/docs/ThreadSafetyAnalysis.html#excludes.
A friendly reminder that this issue had no activity for 120 days.
This issue has been closed due to lack of activity.
Can we reopen this?
Reopening since there seems to be interest in this feature request.