AssertLockNotHeldInline

Synopses

Declared in <sync.h>

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

[[locks_excluded(0x7fbc8c92d298), locks_excluded(0x7fbca3a524b8), locks_excluded(0x7fbc9c8487d8), locks_excluded(0x7fbca0a16598), locks_excluded(0x7fbc9cdf9828), locks_excluded(0x7fbc921ac1b8), locks_excluded(0x7fbc924519b8), locks_excluded(0x7fbca10e6a88), locks_excluded(0x7fbc8d3450f8), locks_excluded(0x7fbc85fdbfc8), locks_excluded(0x7fbc960120a8), locks_excluded(0x7fbca7b358b8), locks_excluded(0x7fbcada54778), locks_excluded(0x7fbca09bb078), locks_excluded(0x7fbca6e19f38), locks_excluded(0x7fbca3011068), locks_excluded(0x7fbcaeef61c8), locks_excluded(0x7fbc75226f98), locks_excluded(0x7fbcac43fc28), locks_excluded(0x7fbca445e448), locks_excluded(0x7fbc9eebfe18), locks_excluded(0x7fbc84cb13f8), locks_excluded(0x7fbca65eda08), locks_excluded(0x7fbc93d3abc8), locks_excluded(0x7fbc74bd26c8), locks_excluded(0x7fbc87e91d38), locks_excluded(0x7fbc9fb456e8), locks_excluded(0x7fbc94f05338), locks_excluded(0x7fbc748d06c8), locks_excluded(0x7fbcadd489d8), locks_excluded(0x7fbc9048c548), locks_excluded(0x7fbca57f2e68), locks_excluded(0x7fbc87eb9968), locks_excluded(0x7fbc8820d5e8), locks_excluded(0x7fbca0b744f8), locks_excluded(0x7fbca7cf9af8), locks_excluded(0x7fbca7587588), locks_excluded(0x7fbc84005ee8), locks_excluded(0x7fbc80084cc8), locks_excluded(0x7fbcae3947a8), locks_excluded(0x7fbc9e4b3048), locks_excluded(0x7fbc9513a118), locks_excluded(0x7fbcaecf0568), locks_excluded(0x7fbcad71a1a8), locks_excluded(0x7fbc9f8bbe28), locks_excluded(0x7fbc8d7c0568), locks_excluded(0x7fbc9e9435f8), locks_excluded(0x7fbcac4d62b8), locks_excluded(0x7fbca51c1828), locks_excluded(0x7fbca01d1308), locks_excluded(0x7fbc96c65698), locks_excluded(0x7fbca53ecc38), locks_excluded(0x7fbc9d41c7a8), locks_excluded(0x7fbca6eb7cf8), locks_excluded(0x7fbc9de59778), locks_excluded(0x7fbca1c958b8), locks_excluded(0x7fbc9d8cc6b8), locks_excluded(0x7fbca73f3fc8), locks_excluded(0x7fbca2721d18), locks_excluded(0x7fbcaea7d3b8), locks_excluded(0x7fbc9d306c48), locks_excluded(0x7fbca1f25aa8), locks_excluded(0x7fbcac304468), locks_excluded(0x7fbc74090148), locks_excluded(0x7fbc9e8d6788), locks_excluded(0x7fbca1b18c38), locks_excluded(0x7fbc87922c18), locks_excluded(0x7fbca77c64a8), locks_excluded(0x7fbca101d198), locks_excluded(0x7fbc8faa9238), locks_excluded(0x7fbc84f8b528), locks_excluded(0x7fbc8d7b7a68), locks_excluded(0x7fbc9378e568), locks_excluded(0x7fbcacc3d6d8), locks_excluded(0x7fbc92738e88), locks_excluded(0x7fbc941951c8), locks_excluded(0x7fbca56d1f08), locks_excluded(0x7fbc80510cd8), locks_excluded(0x7fbca37e1d68)]]
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(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);

» more...

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

[[locks_excluded(0x7fbc8c92cd08), locks_excluded(0x7fbca3a51f28), locks_excluded(0x7fbc9c848248), locks_excluded(0x7fbca0a16008), locks_excluded(0x7fbc9cdf9298), locks_excluded(0x7fbc921abc28), locks_excluded(0x7fbc92451428), locks_excluded(0x7fbca10e64f8), locks_excluded(0x7fbc8d344b68), locks_excluded(0x7fbc85fdba38), locks_excluded(0x7fbc96011b18), locks_excluded(0x7fbca7b35328), locks_excluded(0x7fbcada541e8), locks_excluded(0x7fbca09baae8), locks_excluded(0x7fbca6e199a8), locks_excluded(0x7fbca3010ad8), locks_excluded(0x7fbcaeef5c38), locks_excluded(0x7fbc75226a08), locks_excluded(0x7fbcac43f698), locks_excluded(0x7fbca445deb8), locks_excluded(0x7fbc9eebf888), locks_excluded(0x7fbc84cb0e68), locks_excluded(0x7fbca65ed478), locks_excluded(0x7fbc93d3a638), locks_excluded(0x7fbc74bd2138), locks_excluded(0x7fbc87e917a8), locks_excluded(0x7fbc9fb45158), locks_excluded(0x7fbc94f04da8), locks_excluded(0x7fbc748d0138), locks_excluded(0x7fbcadd48448), locks_excluded(0x7fbc9048bfb8), locks_excluded(0x7fbca57f28d8), locks_excluded(0x7fbc87eb93d8), locks_excluded(0x7fbc8820d058), locks_excluded(0x7fbca0b73f68), locks_excluded(0x7fbca7cf9568), locks_excluded(0x7fbca7586ff8), locks_excluded(0x7fbc84005958), locks_excluded(0x7fbc80084738), locks_excluded(0x7fbcae394218), locks_excluded(0x7fbc9e4b2ab8), locks_excluded(0x7fbc95139b88), locks_excluded(0x7fbcaeceffd8), locks_excluded(0x7fbcad719c18), locks_excluded(0x7fbc9f8bb898), locks_excluded(0x7fbc8d7bffd8), locks_excluded(0x7fbc9e943068), locks_excluded(0x7fbcac4d5d28), locks_excluded(0x7fbca51c1298), locks_excluded(0x7fbca01d0d78), locks_excluded(0x7fbc96c65108), locks_excluded(0x7fbca53ec6a8), locks_excluded(0x7fbc9d41c218), locks_excluded(0x7fbca6eb7768), locks_excluded(0x7fbc9de591e8), locks_excluded(0x7fbca1c95328), locks_excluded(0x7fbc9d8cc128), locks_excluded(0x7fbca73f3a38), locks_excluded(0x7fbca2721788), locks_excluded(0x7fbcaea7ce28), locks_excluded(0x7fbc9d3066b8), locks_excluded(0x7fbca1f25518), locks_excluded(0x7fbcac303ed8), locks_excluded(0x7fbc7408fbb8), locks_excluded(0x7fbc9e8d61f8), locks_excluded(0x7fbca1b186a8), locks_excluded(0x7fbc87922688), locks_excluded(0x7fbca77c5f18), locks_excluded(0x7fbca101cc08), locks_excluded(0x7fbc8faa8ca8), locks_excluded(0x7fbc84f8af98), locks_excluded(0x7fbc8d7b74d8), locks_excluded(0x7fbc9378dfd8), locks_excluded(0x7fbcacc3d148), locks_excluded(0x7fbc927388f8), locks_excluded(0x7fbc94194c38), locks_excluded(0x7fbca56d1978), locks_excluded(0x7fbc80510748), locks_excluded(0x7fbca37e17d8)]]
void
AssertLockNotHeldInline(
    char const* name,
    char const* file,
    int line,
    RecursiveMutex* cs);

» more...