Assert (for the analyzer) that a mutex is not currently held and return it.

Synopsis

Declared in <util/stdmutex.h>

[[requires_capability(0x7f2e35e5b418), lock_returned(cs), requires_capability(0x7f2e439ab888)]]
static
StdMutex&
CheckNotHeld(StdMutex& cs);

Return Value

The same mutex reference, so callers can lock it.

Parameters

Name

Description

cs

The mutex that must not be held.

Created with MrDocs