diff options
Diffstat (limited to 'innobase/sync')
| -rw-r--r-- | innobase/sync/sync0rw.c | 2 | ||||
| -rw-r--r-- | innobase/sync/sync0sync.c | 2 |
2 files changed, 4 insertions, 0 deletions
diff --git a/innobase/sync/sync0rw.c b/innobase/sync/sync0rw.c index 3d219f27fb6..43f8d646eaa 100644 --- a/innobase/sync/sync0rw.c +++ b/innobase/sync/sync0rw.c @@ -146,7 +146,9 @@ rw_lock_free( /*=========*/ rw_lock_t* lock) /* in: rw-lock */ { +#ifdef UNIV_DEBUG ut_a(rw_lock_validate(lock)); +#endif /* UNIV_DEBUG */ ut_a(rw_lock_get_writer(lock) == RW_LOCK_NOT_LOCKED); ut_a(rw_lock_get_waiters(lock) == 0); ut_a(rw_lock_get_reader_count(lock) == 0); diff --git a/innobase/sync/sync0sync.c b/innobase/sync/sync0sync.c index 5c42876a7bb..e711acbf84e 100644 --- a/innobase/sync/sync0sync.c +++ b/innobase/sync/sync0sync.c @@ -251,7 +251,9 @@ mutex_free( /*=======*/ mutex_t* mutex) /* in: mutex */ { +#ifdef UNIV_DEBUG ut_a(mutex_validate(mutex)); +#endif /* UNIV_DEBUG */ ut_a(mutex_get_lock_word(mutex) == 0); ut_a(mutex_get_waiters(mutex) == 0); |