AssertLockNotHeldInline

Synopses

Declared in <sync.h>

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

[[locks_excluded(0x7f950083e6f8), locks_excluded(0x7f9525cc3fd8), locks_excluded(0x7f950db6f2e8), locks_excluded(0x7f951f575808), locks_excluded(0x7f950c185e58), locks_excluded(0x7f950e1b0bc8), locks_excluded(0x7f9522ff4298), locks_excluded(0x7f9500ef9ff8), locks_excluded(0x7f951414be28), locks_excluded(0x7f950a041988), locks_excluded(0x7f9502084ab8), locks_excluded(0x7f9515b26d98), locks_excluded(0x7f9527a069c8), locks_excluded(0x7f951c791dd8), locks_excluded(0x7f95220d30d8), locks_excluded(0x7f9503cc4c58), locks_excluded(0x7f9527b091d8), locks_excluded(0x7f950db49958), locks_excluded(0x7f9525eebed8), locks_excluded(0x7f9521a96de8), locks_excluded(0x7f951f7bf208), locks_excluded(0x7f9527a6d398), locks_excluded(0x7f9500b18d58), locks_excluded(0x7f950f38e098), locks_excluded(0x7f950345ce38), locks_excluded(0x7f9508338698), locks_excluded(0x7f95039cada8), locks_excluded(0x7f9513c12b88), locks_excluded(0x7f950fa392f8), locks_excluded(0x7f94f8955bc8), locks_excluded(0x7f951d58fdd8), locks_excluded(0x7f9517159938), locks_excluded(0x7f95088af718), locks_excluded(0x7f951e61f9e8), locks_excluded(0x7f950f8a5098), locks_excluded(0x7f94f0885358), locks_excluded(0x7f950e0ff458), locks_excluded(0x7f9527a4e4b8), locks_excluded(0x7f95104af688), locks_excluded(0x7f950bbe1028), locks_excluded(0x7f9517b73b58), locks_excluded(0x7f951ea6f7a8), locks_excluded(0x7f950a200088), locks_excluded(0x7f9527c39508), locks_excluded(0x7f9513f85f48), locks_excluded(0x7f9523f0e368), locks_excluded(0x7f9516a0c788), locks_excluded(0x7f950366fec8), locks_excluded(0x7f9513c3a7a8), locks_excluded(0x7f9526263258), locks_excluded(0x7f9523c2bf48), locks_excluded(0x7f951d29fde8), locks_excluded(0x7f952678ae18), locks_excluded(0x7f950165c688), locks_excluded(0x7f9525ee5fb8), locks_excluded(0x7f9523c27548), locks_excluded(0x7f9509275aa8), locks_excluded(0x7f951c5aa588), locks_excluded(0x7f950c2e96d8), locks_excluded(0x7f9512507c78), locks_excluded(0x7f950813d558), locks_excluded(0x7f95066e9d08), locks_excluded(0x7f9510f4fd48), locks_excluded(0x7f9501a12748), locks_excluded(0x7f9508b7cfe8), locks_excluded(0x7f952165c5a8), locks_excluded(0x7f9517b0b848), locks_excluded(0x7f9502e509f8), locks_excluded(0x7f950da826f8), locks_excluded(0x7f94fc850568), locks_excluded(0x7f94f8a84f48), locks_excluded(0x7f951fe7e348), locks_excluded(0x7f94f066a358), locks_excluded(0x7f9525039898), locks_excluded(0x7f950697b4b8), locks_excluded(0x7f9515b840c8), locks_excluded(0x7f950384dbf8), locks_excluded(0x7f951494cd88), locks_excluded(0x7f95157b6538)]]
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(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);

» more...

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

[[locks_excluded(0x7f950083e168), locks_excluded(0x7f9525cc3a48), locks_excluded(0x7f950db6ed58), locks_excluded(0x7f951f575278), locks_excluded(0x7f950c1858c8), locks_excluded(0x7f950e1b0638), locks_excluded(0x7f9522ff3d08), locks_excluded(0x7f9500ef9a68), locks_excluded(0x7f951414b898), locks_excluded(0x7f950a0413f8), locks_excluded(0x7f9502084528), locks_excluded(0x7f9515b26808), locks_excluded(0x7f9527a06438), locks_excluded(0x7f951c791848), locks_excluded(0x7f95220d2b48), locks_excluded(0x7f9503cc46c8), locks_excluded(0x7f9527b08c48), locks_excluded(0x7f950db493c8), locks_excluded(0x7f9525eeb948), locks_excluded(0x7f9521a96858), locks_excluded(0x7f951f7bec78), locks_excluded(0x7f9527a6ce08), locks_excluded(0x7f9500b187c8), locks_excluded(0x7f950f38db08), locks_excluded(0x7f950345c8a8), locks_excluded(0x7f9508338108), locks_excluded(0x7f95039ca818), locks_excluded(0x7f9513c125f8), locks_excluded(0x7f950fa38d68), locks_excluded(0x7f94f8955638), locks_excluded(0x7f951d58f848), locks_excluded(0x7f95171593a8), locks_excluded(0x7f95088af188), locks_excluded(0x7f951e61f458), locks_excluded(0x7f950f8a4b08), locks_excluded(0x7f94f0884dc8), locks_excluded(0x7f950e0feec8), locks_excluded(0x7f9527a4df28), locks_excluded(0x7f95104af0f8), locks_excluded(0x7f950bbe0a98), locks_excluded(0x7f9517b735c8), locks_excluded(0x7f951ea6f218), locks_excluded(0x7f950a1ffaf8), locks_excluded(0x7f9527c38f78), locks_excluded(0x7f9513f859b8), locks_excluded(0x7f9523f0ddd8), locks_excluded(0x7f9516a0c1f8), locks_excluded(0x7f950366f938), locks_excluded(0x7f9513c3a218), locks_excluded(0x7f9526262cc8), locks_excluded(0x7f9523c2b9b8), locks_excluded(0x7f951d29f858), locks_excluded(0x7f952678a888), locks_excluded(0x7f950165c0f8), locks_excluded(0x7f9525ee5a28), locks_excluded(0x7f9523c26fb8), locks_excluded(0x7f9509275518), locks_excluded(0x7f951c5a9ff8), locks_excluded(0x7f950c2e9148), locks_excluded(0x7f95125076e8), locks_excluded(0x7f950813cfc8), locks_excluded(0x7f95066e9778), locks_excluded(0x7f9510f4f7b8), locks_excluded(0x7f9501a121b8), locks_excluded(0x7f9508b7ca58), locks_excluded(0x7f952165c018), locks_excluded(0x7f9517b0b2b8), locks_excluded(0x7f9502e50468), locks_excluded(0x7f950da82168), locks_excluded(0x7f94fc84ffd8), locks_excluded(0x7f94f8a849b8), locks_excluded(0x7f951fe7ddb8), locks_excluded(0x7f94f0669dc8), locks_excluded(0x7f9525039308), locks_excluded(0x7f950697af28), locks_excluded(0x7f9515b83b38), locks_excluded(0x7f950384d668), locks_excluded(0x7f951494c7f8), locks_excluded(0x7f95157b5fa8)]]
void
AssertLockNotHeldInline(
    char const* name,
    char const* file,
    int line,
    RecursiveMutex* cs);

» more...