1
0
mirror of https://github.com/sqlite/sqlite.git synced 2025-08-07 02:42:48 +03:00

Add an assert() to help static analyzers.

FossilOrigin-Name: e446c8b4aa2ffe075f9c289c771d62a414661c3ffe6abae5649c50af8e32fab6
This commit is contained in:
drh
2023-01-27 20:15:48 +00:00
parent 844e7183ae
commit f92b006a6e
3 changed files with 11 additions and 9 deletions

View File

@@ -10410,7 +10410,9 @@ static void checkList(
** lower 16 bits are the index of the last byte of that range.
*/
static void btreeHeapInsert(u32 *aHeap, u32 x){
u32 j, i = ++aHeap[0];
u32 j, i;
assert( aHeap!=0 );
i = ++aHeap[0];
aHeap[i] = x;
while( (j = i/2)>0 && aHeap[j]>aHeap[i] ){
x = aHeap[j];