AssertLockNotHeldInline

Synopses

Declared in <sync.h>

Assert that a GlobalMutex is not held in the surrounding scope.

[[locks_excluded(0x7fb95c7e3388), locks_excluded(0x7fb9854140b8), locks_excluded(0x7fb979bba738), locks_excluded(0x7fb977c08b08), locks_excluded(0x7fb979fb4a48), locks_excluded(0x7fb96e0e1048), locks_excluded(0x7fb96e6085d8), locks_excluded(0x7fb987834498), locks_excluded(0x7fb97f4f23b8), locks_excluded(0x7fb96618c758), locks_excluded(0x7fb96a0a4a48), locks_excluded(0x7fb97fd97da8), locks_excluded(0x7fb975ce5928), locks_excluded(0x7fb98439bf18), locks_excluded(0x7fb97f0f79d8), locks_excluded(0x7fb9871b98e8), locks_excluded(0x7fb97be9cc28), locks_excluded(0x7fb95cbb4318), locks_excluded(0x7fb97ab2e7c8), locks_excluded(0x7fb97f9465d8), locks_excluded(0x7fb9859e2a58), locks_excluded(0x7fb97a9c91b8), locks_excluded(0x7fb986aaf788), locks_excluded(0x7fb97fd9dac8), locks_excluded(0x7fb976db7f68), locks_excluded(0x7fb97b234438), locks_excluded(0x7fb977d73758), locks_excluded(0x7fb98550b438), locks_excluded(0x7fb97efa7bb8), locks_excluded(0x7fb97a5bfef8), locks_excluded(0x7fb967b32cc8), locks_excluded(0x7fb984eec338), locks_excluded(0x7fb96e0e9c18), locks_excluded(0x7fb9548fa6b8), locks_excluded(0x7fb95ccc6ab8), locks_excluded(0x7fb9846b5398), locks_excluded(0x7fb95e4b34a8), locks_excluded(0x7fb96c070d38), locks_excluded(0x7fb95898a828), locks_excluded(0x7fb96f61f868), locks_excluded(0x7fb9687001a8), locks_excluded(0x7fb976608eb8), locks_excluded(0x7fb97870a7f8), locks_excluded(0x7fb978370ee8), locks_excluded(0x7fb96bed51b8), locks_excluded(0x7fb96422a7c8), locks_excluded(0x7fb9580a89e8), locks_excluded(0x7fb965f0e9b8), locks_excluded(0x7fb9793f64b8), locks_excluded(0x7fb97ad65808), locks_excluded(0x7fb96b0dd188), locks_excluded(0x7fb975f40d88), locks_excluded(0x7fb97b302c78), locks_excluded(0x7fb9640649c8), locks_excluded(0x7fb96c1bb628), locks_excluded(0x7fb9856a0948), locks_excluded(0x7fb977a29fb8), locks_excluded(0x7fb95cb82da8), locks_excluded(0x7fb968005ee8), locks_excluded(0x7fb97b908b78), locks_excluded(0x7fb97fa2ff08), locks_excluded(0x7fb985656dd8), locks_excluded(0x7fb97533c158), locks_excluded(0x7fb96e3b3a28), locks_excluded(0x7fb97f573538), locks_excluded(0x7fb96814b5a8), locks_excluded(0x7fb965444428), locks_excluded(0x7fb96f46e5c8), locks_excluded(0x7fb9659ed138), locks_excluded(0x7fb95ce6ee48), locks_excluded(0x7fb956612658), locks_excluded(0x7fb95b321aa8), locks_excluded(0x7fb97efe4a68), locks_excluded(0x7fb979501c18), locks_excluded(0x7fb967c230b8), locks_excluded(0x7fb96b546538), locks_excluded(0x7fb976b90f68), locks_excluded(0x7fb974ccadd8)]]
void
AssertLockNotHeldInline(
    char const* name,
    char const* file,
    int line,
    GlobalMutex* cs);

» more...

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

[[requires_capability(0x7fb95c7e2848), requires_capability(0x7fb985413578), requires_capability(0x7fb979bb9bf8), requires_capability(0x7fb977c07fc8), requires_capability(0x7fb979fb3f08), requires_capability(0x7fb96e0e0508), requires_capability(0x7fb96e607a98), requires_capability(0x7fb987833958), requires_capability(0x7fb97f4f1878), requires_capability(0x7fb96618bc18), requires_capability(0x7fb96a0a3f08), requires_capability(0x7fb97fd97268), requires_capability(0x7fb975ce4de8), requires_capability(0x7fb98439b3d8), requires_capability(0x7fb97f0f6e98), requires_capability(0x7fb9871b8da8), requires_capability(0x7fb97be9c0e8), requires_capability(0x7fb95cbb37d8), requires_capability(0x7fb97ab2dc88), requires_capability(0x7fb97f945a98), requires_capability(0x7fb9859e1f18), requires_capability(0x7fb97a9c8678), requires_capability(0x7fb986aaec48), requires_capability(0x7fb97fd9cf88), requires_capability(0x7fb976db7428), requires_capability(0x7fb97b2338f8), requires_capability(0x7fb977d72c18), requires_capability(0x7fb98550a8f8), requires_capability(0x7fb97efa7078), requires_capability(0x7fb97a5bf3b8), requires_capability(0x7fb967b32188), requires_capability(0x7fb984eeb7f8), requires_capability(0x7fb96e0e90d8), requires_capability(0x7fb9548f9b78), requires_capability(0x7fb95ccc5f78), requires_capability(0x7fb9846b4858), requires_capability(0x7fb95e4b2968), requires_capability(0x7fb96c0701f8), requires_capability(0x7fb958989ce8), requires_capability(0x7fb96f61ed28), requires_capability(0x7fb9686ff668), requires_capability(0x7fb976608378), requires_capability(0x7fb978709cb8), requires_capability(0x7fb9783703a8), requires_capability(0x7fb96bed4678), requires_capability(0x7fb964229c88), requires_capability(0x7fb9580a7ea8), requires_capability(0x7fb965f0de78), requires_capability(0x7fb9793f5978), requires_capability(0x7fb97ad64cc8), requires_capability(0x7fb96b0dc648), requires_capability(0x7fb975f40248), requires_capability(0x7fb97b302138), requires_capability(0x7fb964063e88), requires_capability(0x7fb96c1baae8), requires_capability(0x7fb98569fe08), requires_capability(0x7fb977a29478), requires_capability(0x7fb95cb82268), requires_capability(0x7fb9680053a8), requires_capability(0x7fb97b908038), requires_capability(0x7fb97fa2f3c8), requires_capability(0x7fb985656298), requires_capability(0x7fb97533b618), requires_capability(0x7fb96e3b2ee8), requires_capability(0x7fb97f5729f8), requires_capability(0x7fb96814aa68), requires_capability(0x7fb9654438e8), requires_capability(0x7fb96f46da88), requires_capability(0x7fb9659ec5f8), requires_capability(0x7fb95ce6e308), requires_capability(0x7fb956611b18), requires_capability(0x7fb95b320f68), requires_capability(0x7fb97efe3f28), requires_capability(0x7fb9795010d8), requires_capability(0x7fb967c22578), requires_capability(0x7fb96b5459f8), requires_capability(0x7fb976b90428), requires_capability(0x7fb974cca298)]]
void
AssertLockNotHeldInline(
    char const* name,
    char const* file,
    int line,
    Mutex* cs);

» more...

Assert that a RecursiveMutex is not held in the surrounding scope.

[[locks_excluded(0x7fb95c7e2df8), locks_excluded(0x7fb985413b28), locks_excluded(0x7fb979bba1a8), locks_excluded(0x7fb977c08578), locks_excluded(0x7fb979fb44b8), locks_excluded(0x7fb96e0e0ab8), locks_excluded(0x7fb96e608048), locks_excluded(0x7fb987833f08), locks_excluded(0x7fb97f4f1e28), locks_excluded(0x7fb96618c1c8), locks_excluded(0x7fb96a0a44b8), locks_excluded(0x7fb97fd97818), locks_excluded(0x7fb975ce5398), locks_excluded(0x7fb98439b988), locks_excluded(0x7fb97f0f7448), locks_excluded(0x7fb9871b9358), locks_excluded(0x7fb97be9c698), locks_excluded(0x7fb95cbb3d88), locks_excluded(0x7fb97ab2e238), locks_excluded(0x7fb97f946048), locks_excluded(0x7fb9859e24c8), locks_excluded(0x7fb97a9c8c28), locks_excluded(0x7fb986aaf1f8), locks_excluded(0x7fb97fd9d538), locks_excluded(0x7fb976db79d8), locks_excluded(0x7fb97b233ea8), locks_excluded(0x7fb977d731c8), locks_excluded(0x7fb98550aea8), locks_excluded(0x7fb97efa7628), locks_excluded(0x7fb97a5bf968), locks_excluded(0x7fb967b32738), locks_excluded(0x7fb984eebda8), locks_excluded(0x7fb96e0e9688), locks_excluded(0x7fb9548fa128), locks_excluded(0x7fb95ccc6528), locks_excluded(0x7fb9846b4e08), locks_excluded(0x7fb95e4b2f18), locks_excluded(0x7fb96c0707a8), locks_excluded(0x7fb95898a298), locks_excluded(0x7fb96f61f2d8), locks_excluded(0x7fb9686ffc18), locks_excluded(0x7fb976608928), locks_excluded(0x7fb97870a268), locks_excluded(0x7fb978370958), locks_excluded(0x7fb96bed4c28), locks_excluded(0x7fb96422a238), locks_excluded(0x7fb9580a8458), locks_excluded(0x7fb965f0e428), locks_excluded(0x7fb9793f5f28), locks_excluded(0x7fb97ad65278), locks_excluded(0x7fb96b0dcbf8), locks_excluded(0x7fb975f407f8), locks_excluded(0x7fb97b3026e8), locks_excluded(0x7fb964064438), locks_excluded(0x7fb96c1bb098), locks_excluded(0x7fb9856a03b8), locks_excluded(0x7fb977a29a28), locks_excluded(0x7fb95cb82818), locks_excluded(0x7fb968005958), locks_excluded(0x7fb97b9085e8), locks_excluded(0x7fb97fa2f978), locks_excluded(0x7fb985656848), locks_excluded(0x7fb97533bbc8), locks_excluded(0x7fb96e3b3498), locks_excluded(0x7fb97f572fa8), locks_excluded(0x7fb96814b018), locks_excluded(0x7fb965443e98), locks_excluded(0x7fb96f46e038), locks_excluded(0x7fb9659ecba8), locks_excluded(0x7fb95ce6e8b8), locks_excluded(0x7fb9566120c8), locks_excluded(0x7fb95b321518), locks_excluded(0x7fb97efe44d8), locks_excluded(0x7fb979501688), locks_excluded(0x7fb967c22b28), locks_excluded(0x7fb96b545fa8), locks_excluded(0x7fb976b909d8), locks_excluded(0x7fb974cca848)]]
void
AssertLockNotHeldInline(
    char const* name,
    char const* file,
    int line,
    RecursiveMutex* cs);

» more...