admin/mlib
1
0 Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Tree: Transform runtime tests into assertion

Browse Source 
as it is proven that it cannot happen.
This commit is contained in:
Patrick Pelissier committed 2023-04-18 22:19:28 +02:00
1 parent 044e9c3bf7
commit 4052d3794b
1 file changed
+11 -3
Download Patch File Download Diff File Expand all files Collapse all files
m-tree.h
+11 -3
View File
@@ -1239,16 +1239,24 @@ typedef int32_t m_tr33_index_t;
} \
/* If impossible, move up and then right until impossible */ \
while (M_C(name, _it_up)(&it1)) { \
/* Both iterators have move down the same tree by the same \
amount. Therefore if we can move up one iterator, we can \
move the other one up too*/ \
b = M_C(name, _it_up)(&it2); \
if (!b) return false; \
M_ASSERT (b); \
if (M_C(name, _it_right)(&it1)) { \
/* it2 right child may not exist */ \
b = M_C(name, _it_right)(&it2); \
if (!b) return false; \
goto do_continue; \
} \
} \
b = M_C(name, _it_up)(&it2); \
if (b) return false; \
/* Both tree have the same size and the same "local" depth \
Since there is no longer any node up iterator it1, \
there shall not be any node for iterator it2 (same size \
same depth) \
*/ \
M_ASSERT( M_C(name, _it_up)(&it2) == false); \
return true; \
/* Reach end of tree */ \
do_continue: \