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