Assert (for the analyzer) that a mutex is not currently held and return it.
Declared in <util/stdmutex.h>
[[requires_capability(0x7fbc9c3dcb58), lock_returned(cs), requires_capability(0x7fbcacb62e58)]]
static
StdMutex&
CheckNotHeld(StdMutex& cs);The same mutex reference, so callers can lock it.
| Name | Description |
|---|---|
| cs | The mutex that must not be held. |