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