ISAR/libmdbx
3
0
Fork 0
mirror of https://github.com/isar/libmdbx.git synced 2024-10-30 23:39:19 +08:00
Code Issues Packages Projects Releases Wiki Activity

mdbx: add paranoid assertions to qsort and bsearch macros.

Browse Source 
Change-Id: I68efcf83576dd01e2f0c37ca8afb30967f5369a9
This commit is contained in:
Leonid Yuriev 2019-10-04 15:06:59 +03:00
parent e3b5381f30
commit aa92d6b7e7
1 changed files with 11 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
src/elements/core.c
View File

@ -988,6 +988,8 @@ static int lcklist_detach_locked(MDBX_env *env) {
\
SORT_SHELLPASS(TYPE, CMP, begin, end, 8); \
SORT_SHELLPASS(TYPE, CMP, begin, end, 1); \
for (TYPE *scan = begin + 1; scan < end; ++scan) \
assert(CMP(scan[-1], scan[0])); \
}
/*------------------------------------------------------------------------------
@ -996,6 +998,8 @@ static int lcklist_detach_locked(MDBX_env *env) {
#define SEARCH_IMPL(NAME, TYPE_LIST, TYPE_ARG, CMP) \
static __always_inline TYPE_LIST *NAME(TYPE_LIST *first, unsigned length, \
const TYPE_ARG item) { \
TYPE_LIST *const begin = first, *const end = begin + length; \
\
while (length > 3) { \
const unsigned half = length >> 1; \
TYPE_LIST *const middle = first + half; \
@ -1023,6 +1027,13 @@ static int lcklist_detach_locked(MDBX_env *env) {
if (CMP(*first, item)) \
++first; \
} \
\
for (TYPE_LIST *scan = begin; scan < first; ++scan) \
assert(CMP(*scan, item)); \
for (TYPE_LIST *scan = first; scan < end; ++scan) \
assert(!CMP(*scan, item)); \
(void)begin, (void)end; \
\
return first; \
}