/* ** The sqlite4_mutex_leave() routine exits a mutex that was ** previously entered by the same thread. The behavior ** is undefined if the mutex is not currently entered or ** is not currently allocated. SQLite will never do either. */ static void debugMutexLeave(sqlite4_mutex *pX){ sqlite4DebugMutex *p = (sqlite4DebugMutex*)pX; assert( debugMutexHeld(pX) ); p->cnt--; assert( p->id==SQLITE4_MUTEX_RECURSIVE || debugMutexNotheld(pX) ); }
/* ** The sqlite3_mutex_leave() routine exits a mutex that was ** previously entered by the same thread. The behavior ** is undefined if the mutex is not currently entered or ** is not currently allocated. SQLite will never do either. */ static void debugMutexLeave(sqlite3_mutex *p){ assert( debugMutexHeld(p) ); p->cnt--; assert( p->id==SQLITE_MUTEX_RECURSIVE || debugMutexNotheld(p) ); }