AssertLockNotHeldInline

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

Synopsis

Declared in <sync.h>

[[requires_capability(0x7ff36c772418), requires_capability(0x7ff3790efc78), requires_capability(0x7ff38c641878), requires_capability(0x7ff393157598), requires_capability(0x7ff38c589218), requires_capability(0x7ff36e333268), requires_capability(0x7ff38ac06938), requires_capability(0x7ff39024fe68), requires_capability(0x7ff378a0d908), requires_capability(0x7ff37dfb9028), requires_capability(0x7ff376115bd8), requires_capability(0x7ff378d75638), requires_capability(0x7ff37f8238a8), requires_capability(0x7ff392b86d28), requires_capability(0x7ff378d22388), requires_capability(0x7ff377f6e1d8), requires_capability(0x7ff383dd18e8), requires_capability(0x7ff37bc9f668), requires_capability(0x7ff38101cf98), requires_capability(0x7ff35c061628), requires_capability(0x7ff38bb093f8), requires_capability(0x7ff380240af8), requires_capability(0x7ff3704c14c8), requires_capability(0x7ff35c4d2998), requires_capability(0x7ff38b167d08), requires_capability(0x7ff37f59bf78), requires_capability(0x7ff378428478), requires_capability(0x7ff3745ee858), requires_capability(0x7ff38944dc28), requires_capability(0x7ff383b24598), requires_capability(0x7ff38fae0f88), requires_capability(0x7ff390c32bd8), requires_capability(0x7ff37fe96838), requires_capability(0x7ff37a18bf78), requires_capability(0x7ff388dd3e38), requires_capability(0x7ff39157c0f8), requires_capability(0x7ff36f9f2898), requires_capability(0x7ff37c136b28), requires_capability(0x7ff392c528a8), requires_capability(0x7ff37c852d58), requires_capability(0x7ff38efb2318), requires_capability(0x7ff374761dd8), requires_capability(0x7ff37fd72c18), requires_capability(0x7ff3762b6bd8), requires_capability(0x7ff38e8c9968), requires_capability(0x7ff38abb2218), requires_capability(0x7ff378d14de8), requires_capability(0x7ff377498908), requires_capability(0x7ff38ae53928), requires_capability(0x7ff375f1d418), requires_capability(0x7ff38c648d98), requires_capability(0x7ff36e7d7a38), requires_capability(0x7ff3773dcb68), requires_capability(0x7ff36e797a28), requires_capability(0x7ff39166c2a8), requires_capability(0x7ff37b285f68), requires_capability(0x7ff39018f9a8), requires_capability(0x7ff36e1a6c48), requires_capability(0x7ff3640c9998), requires_capability(0x7ff38cbcfb98), requires_capability(0x7ff375093258), requires_capability(0x7ff37c8d3cc8), requires_capability(0x7ff38cf9d9b8), requires_capability(0x7ff37025d298), requires_capability(0x7ff3682646b8), requires_capability(0x7ff38d5b40c8), requires_capability(0x7ff383aef668), requires_capability(0x7ff36c473338), requires_capability(0x7ff3826c1d48), requires_capability(0x7ff38d4b53c8), requires_capability(0x7ff37c28b818), requires_capability(0x7ff3776363c8), requires_capability(0x7ff37bf5d698), requires_capability(0x7ff3805cb438), requires_capability(0x7ff390ffe6f8), requires_capability(0x7ff3709eb9a8), requires_capability(0x7ff3746388a8), requires_capability(0x7ff3752681b8)]]
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.