AssertLockNotHeldInline

Assert that a Mutex is not held, carrying the negative capability for analysis.

Synopsis

Declared in <sync.h>

[[requires_capability(0x7f950083dbb8), requires_capability(0x7f9525cc3498), requires_capability(0x7f950db6e7a8), requires_capability(0x7f951f574cc8), requires_capability(0x7f950c185318), requires_capability(0x7f950e1b0088), requires_capability(0x7f9522ff3758), requires_capability(0x7f9500ef94b8), requires_capability(0x7f951414b2e8), requires_capability(0x7f950a040e48), requires_capability(0x7f9502083f78), requires_capability(0x7f9515b26258), requires_capability(0x7f9527a05e88), requires_capability(0x7f951c791298), requires_capability(0x7f95220d2598), requires_capability(0x7f9503cc4118), requires_capability(0x7f9527b08698), requires_capability(0x7f950db48e18), requires_capability(0x7f9525eeb398), requires_capability(0x7f9521a962a8), requires_capability(0x7f951f7be6c8), requires_capability(0x7f9527a6c858), requires_capability(0x7f9500b18218), requires_capability(0x7f950f38d558), requires_capability(0x7f950345c2f8), requires_capability(0x7f9508337b58), requires_capability(0x7f95039ca268), requires_capability(0x7f9513c12048), requires_capability(0x7f950fa387b8), requires_capability(0x7f94f8955088), requires_capability(0x7f951d58f298), requires_capability(0x7f9517158df8), requires_capability(0x7f95088aebd8), requires_capability(0x7f951e61eea8), requires_capability(0x7f950f8a4558), requires_capability(0x7f94f0884818), requires_capability(0x7f950e0fe918), requires_capability(0x7f9527a4d978), requires_capability(0x7f95104aeb48), requires_capability(0x7f950bbe04e8), requires_capability(0x7f9517b73018), requires_capability(0x7f951ea6ec68), requires_capability(0x7f950a1ff548), requires_capability(0x7f9527c389c8), requires_capability(0x7f9513f85408), requires_capability(0x7f9523f0d828), requires_capability(0x7f9516a0bc48), requires_capability(0x7f950366f388), requires_capability(0x7f9513c39c68), requires_capability(0x7f9526262718), requires_capability(0x7f9523c2b408), requires_capability(0x7f951d29f2a8), requires_capability(0x7f952678a2d8), requires_capability(0x7f950165bb48), requires_capability(0x7f9525ee5478), requires_capability(0x7f9523c26a08), requires_capability(0x7f9509274f68), requires_capability(0x7f951c5a9a48), requires_capability(0x7f950c2e8b98), requires_capability(0x7f9512507138), requires_capability(0x7f950813ca18), requires_capability(0x7f95066e91c8), requires_capability(0x7f9510f4f208), requires_capability(0x7f9501a11c08), requires_capability(0x7f9508b7c4a8), requires_capability(0x7f952165ba68), requires_capability(0x7f9517b0ad08), requires_capability(0x7f9502e4feb8), requires_capability(0x7f950da81bb8), requires_capability(0x7f94fc84fa28), requires_capability(0x7f94f8a84408), requires_capability(0x7f951fe7d808), requires_capability(0x7f94f0669818), requires_capability(0x7f9525038d58), requires_capability(0x7f950697a978), requires_capability(0x7f9515b83588), requires_capability(0x7f950384d0b8), requires_capability(0x7f951494c248), requires_capability(0x7f95157b59f8)]]
void
AssertLockNotHeldInline(
    char const* name,
    char const* file,
    int line,
    Mutex* cs);

Parameters

NameDescription
nameName of the mutex.
fileSource file of the caller.
lineSource line of the caller.
csMutex expected not to be held.