Re: Remove unnecessary NOWITNESS kludge

2023-07-05 Thread Alexander Bluhm
On Wed, Jul 05, 2023 at 03:41:31AM +, Visa Hankala wrote: > Initialize stack-based mutexed using mtx_init(). This removes the need > of the NOWITNESS kludge and lets the lock checker do its job with these > mutexes. > > At the moment, static initialization of locks inside functions does not >

Remove unnecessary NOWITNESS kludge

2023-07-04 Thread Visa Hankala
Initialize stack-based mutexed using mtx_init(). This removes the need of the NOWITNESS kludge and lets the lock checker do its job with these mutexes. At the moment, static initialization of locks inside functions does not work correctly with WITNESS. A lock initializer sets up a struct that