AssertLockNotHeldInline

Synopses

Declared in <sync.h>

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

[[locks_excluded(0x7fd74ca2c088), locks_excluded(0x7fd749104ce8), locks_excluded(0x7fd760d229a8), locks_excluded(0x7fd75ea93238), locks_excluded(0x7fd75bb644e8), locks_excluded(0x7fd749f68aa8), locks_excluded(0x7fd7486c0778), locks_excluded(0x7fd7609a20e8), locks_excluded(0x7fd750ccf828), locks_excluded(0x7fd75609f438), locks_excluded(0x7fd74e05a008), locks_excluded(0x7fd75187a808), locks_excluded(0x7fd76a1e2238), locks_excluded(0x7fd760e33688), locks_excluded(0x7fd750538268), locks_excluded(0x7fd74c2ef258), locks_excluded(0x7fd75607d848), locks_excluded(0x7fd75d89ac78), locks_excluded(0x7fd75a0a9d68), locks_excluded(0x7fd75e83bde8), locks_excluded(0x7fd7606c0ea8), locks_excluded(0x7fd758445c38), locks_excluded(0x7fd7535eab68), locks_excluded(0x7fd760adbe18), locks_excluded(0x7fd74c07a1b8), locks_excluded(0x7fd75a6b9478), locks_excluded(0x7fd744196398), locks_excluded(0x7fd75eaa1558), locks_excluded(0x7fd74ca07398), locks_excluded(0x7fd75aa90ce8), locks_excluded(0x7fd76adbb6f8), locks_excluded(0x7fd75d2bf868), locks_excluded(0x7fd7597a9c98), locks_excluded(0x7fd757cbb708), locks_excluded(0x7fd761ec0ac8), locks_excluded(0x7fd75cc5ff38), locks_excluded(0x7fd760150e18), locks_excluded(0x7fd75aaf67a8), locks_excluded(0x7fd750e642b8), locks_excluded(0x7fd749462788), locks_excluded(0x7fd76ac89288), locks_excluded(0x7fd75ff6c418), locks_excluded(0x7fd75b292168), locks_excluded(0x7fd74089dd08), locks_excluded(0x7fd76a2fbff8), locks_excluded(0x7fd752184538), locks_excluded(0x7fd7565e7848), locks_excluded(0x7fd7481724c8), locks_excluded(0x7fd7545974a8), locks_excluded(0x7fd748348dc8), locks_excluded(0x7fd75399d518), locks_excluded(0x7fd75a1f2848), locks_excluded(0x7fd7609d3d28), locks_excluded(0x7fd7482bd9a8), locks_excluded(0x7fd74fbcd068), locks_excluded(0x7fd75263dd48), locks_excluded(0x7fd74c1d1f28), locks_excluded(0x7fd75ac48b28), locks_excluded(0x7fd757879068), locks_excluded(0x7fd75cf91e18), locks_excluded(0x7fd761fda7e8), locks_excluded(0x7fd76a276508), locks_excluded(0x7fd750cceb08), locks_excluded(0x7fd760e9ed88), locks_excluded(0x7fd74af9b048), locks_excluded(0x7fd76a266a08), locks_excluded(0x7fd75c8a7118), locks_excluded(0x7fd738110cb8), locks_excluded(0x7fd748737ce8), locks_excluded(0x7fd763ba6238), locks_excluded(0x7fd757bffa08), locks_excluded(0x7fd761f7f338), locks_excluded(0x7fd75352d828), locks_excluded(0x7fd76af3f048), locks_excluded(0x7fd738234948), locks_excluded(0x7fd749971ad8), locks_excluded(0x7fd752f1e538), locks_excluded(0x7fd7587abce8), locks_excluded(0x7fd7699a07a8)]]
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(0x7fd74ca2b548), requires_capability(0x7fd7491041a8), requires_capability(0x7fd760d21e68), requires_capability(0x7fd75ea926f8), requires_capability(0x7fd75bb639a8), requires_capability(0x7fd749f67f68), requires_capability(0x7fd7486bfc38), requires_capability(0x7fd7609a15a8), requires_capability(0x7fd750ccece8), requires_capability(0x7fd75609e8f8), requires_capability(0x7fd74e0594c8), requires_capability(0x7fd751879cc8), requires_capability(0x7fd76a1e16f8), requires_capability(0x7fd760e32b48), requires_capability(0x7fd750537728), requires_capability(0x7fd74c2ee718), requires_capability(0x7fd75607cd08), requires_capability(0x7fd75d89a138), requires_capability(0x7fd75a0a9228), requires_capability(0x7fd75e83b2a8), requires_capability(0x7fd7606c0368), requires_capability(0x7fd7584450f8), requires_capability(0x7fd7535ea028), requires_capability(0x7fd760adb2d8), requires_capability(0x7fd74c079678), requires_capability(0x7fd75a6b8938), requires_capability(0x7fd744195858), requires_capability(0x7fd75eaa0a18), requires_capability(0x7fd74ca06858), requires_capability(0x7fd75aa901a8), requires_capability(0x7fd76adbabb8), requires_capability(0x7fd75d2bed28), requires_capability(0x7fd7597a9158), requires_capability(0x7fd757cbabc8), requires_capability(0x7fd761ebff88), requires_capability(0x7fd75cc5f3f8), requires_capability(0x7fd7601502d8), requires_capability(0x7fd75aaf5c68), requires_capability(0x7fd750e63778), requires_capability(0x7fd749461c48), requires_capability(0x7fd76ac88748), requires_capability(0x7fd75ff6b8d8), requires_capability(0x7fd75b291628), requires_capability(0x7fd74089d1c8), requires_capability(0x7fd76a2fb4b8), requires_capability(0x7fd7521839f8), requires_capability(0x7fd7565e6d08), requires_capability(0x7fd748171988), requires_capability(0x7fd754596968), requires_capability(0x7fd748348288), requires_capability(0x7fd75399c9d8), requires_capability(0x7fd75a1f1d08), requires_capability(0x7fd7609d31e8), requires_capability(0x7fd7482bce68), requires_capability(0x7fd74fbcc528), requires_capability(0x7fd75263d208), requires_capability(0x7fd74c1d13e8), requires_capability(0x7fd75ac47fe8), requires_capability(0x7fd757878528), requires_capability(0x7fd75cf912d8), requires_capability(0x7fd761fd9ca8), requires_capability(0x7fd76a2759c8), requires_capability(0x7fd750ccdfc8), requires_capability(0x7fd760e9e248), requires_capability(0x7fd74af9a508), requires_capability(0x7fd76a265ec8), requires_capability(0x7fd75c8a65d8), requires_capability(0x7fd738110178), requires_capability(0x7fd7487371a8), requires_capability(0x7fd763ba56f8), requires_capability(0x7fd757bfeec8), requires_capability(0x7fd761f7e7f8), requires_capability(0x7fd75352cce8), requires_capability(0x7fd76af3e508), requires_capability(0x7fd738233e08), requires_capability(0x7fd749970f98), requires_capability(0x7fd752f1d9f8), requires_capability(0x7fd7587ab1a8), requires_capability(0x7fd76999fc68)]]
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(0x7fd74ca2baf8), locks_excluded(0x7fd749104758), locks_excluded(0x7fd760d22418), locks_excluded(0x7fd75ea92ca8), locks_excluded(0x7fd75bb63f58), locks_excluded(0x7fd749f68518), locks_excluded(0x7fd7486c01e8), locks_excluded(0x7fd7609a1b58), locks_excluded(0x7fd750ccf298), locks_excluded(0x7fd75609eea8), locks_excluded(0x7fd74e059a78), locks_excluded(0x7fd75187a278), locks_excluded(0x7fd76a1e1ca8), locks_excluded(0x7fd760e330f8), locks_excluded(0x7fd750537cd8), locks_excluded(0x7fd74c2eecc8), locks_excluded(0x7fd75607d2b8), locks_excluded(0x7fd75d89a6e8), locks_excluded(0x7fd75a0a97d8), locks_excluded(0x7fd75e83b858), locks_excluded(0x7fd7606c0918), locks_excluded(0x7fd7584456a8), locks_excluded(0x7fd7535ea5d8), locks_excluded(0x7fd760adb888), locks_excluded(0x7fd74c079c28), locks_excluded(0x7fd75a6b8ee8), locks_excluded(0x7fd744195e08), locks_excluded(0x7fd75eaa0fc8), locks_excluded(0x7fd74ca06e08), locks_excluded(0x7fd75aa90758), locks_excluded(0x7fd76adbb168), locks_excluded(0x7fd75d2bf2d8), locks_excluded(0x7fd7597a9708), locks_excluded(0x7fd757cbb178), locks_excluded(0x7fd761ec0538), locks_excluded(0x7fd75cc5f9a8), locks_excluded(0x7fd760150888), locks_excluded(0x7fd75aaf6218), locks_excluded(0x7fd750e63d28), locks_excluded(0x7fd7494621f8), locks_excluded(0x7fd76ac88cf8), locks_excluded(0x7fd75ff6be88), locks_excluded(0x7fd75b291bd8), locks_excluded(0x7fd74089d778), locks_excluded(0x7fd76a2fba68), locks_excluded(0x7fd752183fa8), locks_excluded(0x7fd7565e72b8), locks_excluded(0x7fd748171f38), locks_excluded(0x7fd754596f18), locks_excluded(0x7fd748348838), locks_excluded(0x7fd75399cf88), locks_excluded(0x7fd75a1f22b8), locks_excluded(0x7fd7609d3798), locks_excluded(0x7fd7482bd418), locks_excluded(0x7fd74fbccad8), locks_excluded(0x7fd75263d7b8), locks_excluded(0x7fd74c1d1998), locks_excluded(0x7fd75ac48598), locks_excluded(0x7fd757878ad8), locks_excluded(0x7fd75cf91888), locks_excluded(0x7fd761fda258), locks_excluded(0x7fd76a275f78), locks_excluded(0x7fd750cce578), locks_excluded(0x7fd760e9e7f8), locks_excluded(0x7fd74af9aab8), locks_excluded(0x7fd76a266478), locks_excluded(0x7fd75c8a6b88), locks_excluded(0x7fd738110728), locks_excluded(0x7fd748737758), locks_excluded(0x7fd763ba5ca8), locks_excluded(0x7fd757bff478), locks_excluded(0x7fd761f7eda8), locks_excluded(0x7fd75352d298), locks_excluded(0x7fd76af3eab8), locks_excluded(0x7fd7382343b8), locks_excluded(0x7fd749971548), locks_excluded(0x7fd752f1dfa8), locks_excluded(0x7fd7587ab758), locks_excluded(0x7fd7699a0218)]]
void
AssertLockNotHeldInline(
    char const* name,
    char const* file,
    int line,
    RecursiveMutex* cs);

» more...