AssertLockNotHeldInline

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

Synopsis

Declared in <sync.h>

[[requires_capability(0x7fbc8c92c758), requires_capability(0x7fbca3a51978), requires_capability(0x7fbc9c847c98), requires_capability(0x7fbca0a15a58), requires_capability(0x7fbc9cdf8ce8), requires_capability(0x7fbc921ab678), requires_capability(0x7fbc92450e78), requires_capability(0x7fbca10e5f48), requires_capability(0x7fbc8d3445b8), requires_capability(0x7fbc85fdb488), requires_capability(0x7fbc96011568), requires_capability(0x7fbca7b34d78), requires_capability(0x7fbcada53c38), requires_capability(0x7fbca09ba538), requires_capability(0x7fbca6e193f8), requires_capability(0x7fbca3010528), requires_capability(0x7fbcaeef5688), requires_capability(0x7fbc75226458), requires_capability(0x7fbcac43f0e8), requires_capability(0x7fbca445d908), requires_capability(0x7fbc9eebf2d8), requires_capability(0x7fbc84cb08b8), requires_capability(0x7fbca65ecec8), requires_capability(0x7fbc93d3a088), requires_capability(0x7fbc74bd1b88), requires_capability(0x7fbc87e911f8), requires_capability(0x7fbc9fb44ba8), requires_capability(0x7fbc94f047f8), requires_capability(0x7fbc748cfb88), requires_capability(0x7fbcadd47e98), requires_capability(0x7fbc9048ba08), requires_capability(0x7fbca57f2328), requires_capability(0x7fbc87eb8e28), requires_capability(0x7fbc8820caa8), requires_capability(0x7fbca0b739b8), requires_capability(0x7fbca7cf8fb8), requires_capability(0x7fbca7586a48), requires_capability(0x7fbc840053a8), requires_capability(0x7fbc80084188), requires_capability(0x7fbcae393c68), requires_capability(0x7fbc9e4b2508), requires_capability(0x7fbc951395d8), requires_capability(0x7fbcaecefa28), requires_capability(0x7fbcad719668), requires_capability(0x7fbc9f8bb2e8), requires_capability(0x7fbc8d7bfa28), requires_capability(0x7fbc9e942ab8), requires_capability(0x7fbcac4d5778), requires_capability(0x7fbca51c0ce8), requires_capability(0x7fbca01d07c8), requires_capability(0x7fbc96c64b58), requires_capability(0x7fbca53ec0f8), requires_capability(0x7fbc9d41bc68), requires_capability(0x7fbca6eb71b8), requires_capability(0x7fbc9de58c38), requires_capability(0x7fbca1c94d78), requires_capability(0x7fbc9d8cbb78), requires_capability(0x7fbca73f3488), requires_capability(0x7fbca27211d8), requires_capability(0x7fbcaea7c878), requires_capability(0x7fbc9d306108), requires_capability(0x7fbca1f24f68), requires_capability(0x7fbcac303928), requires_capability(0x7fbc7408f608), requires_capability(0x7fbc9e8d5c48), requires_capability(0x7fbca1b180f8), requires_capability(0x7fbc879220d8), requires_capability(0x7fbca77c5968), requires_capability(0x7fbca101c658), requires_capability(0x7fbc8faa86f8), requires_capability(0x7fbc84f8a9e8), requires_capability(0x7fbc8d7b6f28), requires_capability(0x7fbc9378da28), requires_capability(0x7fbcacc3cb98), requires_capability(0x7fbc92738348), requires_capability(0x7fbc94194688), requires_capability(0x7fbca56d13c8), requires_capability(0x7fbc80510198), requires_capability(0x7fbca37e1228)]]
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.