Add an assert() to help static analyzers.

FossilOrigin-Name: e446c8b4aa2ffe075f9c289c771d62a414661c3ffe6abae5649c50af8e32fab6

diff --git a/manifest b/manifest
index 6460dfef0a52a51a86dcce7d3ffe58c8834d345a..04c121fbc060c6508846a6ff38d9c2dd1bb751ec 100644 (file)
--- a/manifest
+++ b/manifest
@@ -1,5 +1,5 @@
-C Do\snot\stry\sto\srun\srbu\stests\swith\sbuilds\sthat\sdo\snot\ssupport\srbu.
-D 2023-01-27T19:59:46.779
+C Add\san\sassert()\sto\shelp\sstatic\sanalyzers.
+D 2023-01-27T20:15:48.669
 F .fossil-settings/empty-dirs dbb81e8fc0401ac46a1491ab34a7f2c7c0452f2f06b54ebb845d024ca8283ef1
 F .fossil-settings/ignore-glob 35175cdfcf539b2318cb04a9901442804be81cd677d8b889fcc9149c21f239ea
 F LICENSE.md df5091916dbb40e6e9686186587125e1b2ff51f022cc334e886c19a0e9982724
@@ -559,7 +559,7 @@ F src/auth.c f4fa91b6a90bbc8e0d0f738aa284551739c9543a367071f55574681e0f24f8cf
 F src/backup.c a2891172438e385fdbe97c11c9745676bec54f518d4447090af97189fd8e52d7
 F src/bitvec.c 7c849aac407230278445cb069bebc5f89bf2ddd87c5ed9459b070a9175707b3d
 F src/btmutex.c 6ffb0a22c19e2f9110be0964d0731d2ef1c67b5f7fabfbaeb7b9dabc4b7740ca
-F src/btree.c 8b776a47d1e791ca78b539b8356cf32e449a613201cf64b87e7f01c62f79bd1b
+F src/btree.c 2f012aea074de6319c191cbf5c45034de79bf1c762826e381b1cf75421d8d831
 F src/btree.h aa354b9bad4120af71e214666b35132712b8f2ec11869cb2315c52c81fad45cc
 F src/btreeInt.h 06bb2c1a07172d5a1cd27a2a5d617b93b1e976c5873709c31964786f86365a6e
 F src/build.c c55ab6d1b089ceef57160e840f05f692955ac90944c3d04fcf01d97fd7bfd08d
@@ -2044,8 +2044,8 @@ F vsixtest/vsixtest.tcl 6a9a6ab600c25a91a7acc6293828957a386a8a93
 F vsixtest/vsixtest.vcxproj.data 2ed517e100c66dc455b492e1a33350c1b20fbcdc
 F vsixtest/vsixtest.vcxproj.filters 37e51ffedcdb064aad6ff33b6148725226cd608e
 F vsixtest/vsixtest_TemporaryKey.pfx e5b1b036facdb453873e7084e1cae9102ccc67a0
-P 50cf4300a6a92302010fa4a7662db82bf55180a4930771f0d3c07e558bc87e7d
-R 6fb23e5232bbb2d103c92c941058e228
-U dan
-Z 4b65d980220a15831da00c2a768596a3
+P c74ad902e3bbfc28d6b30a37f3791176d64cdd8fd5950f1d1749541e244a0494
+R 57fbc0d68a554ca6b628d676f2d12d96
+U drh
+Z 7ac7eacb05727f391b6a985bf9bb5add
 # Remove this line to create a well-formed Fossil manifest.

diff --git a/manifest.uuid b/manifest.uuid
index be80e330fe0f09ab3879e6c2dae6e168d5217893..e4d2a92b82d807cc2042d799b2a491fd4d59d6db 100644 (file)
--- a/manifest.uuid
+++ b/manifest.uuid
@@ -1 +1 @@
-c74ad902e3bbfc28d6b30a37f3791176d64cdd8fd5950f1d1749541e244a0494
\ No newline at end of file
+e446c8b4aa2ffe075f9c289c771d62a414661c3ffe6abae5649c50af8e32fab6
\ No newline at end of file

diff --git a/src/btree.c b/src/btree.c
index fae572536003f873863442f81f20f3a8896e712e..4fbe0b3dbcbeea8b0c43355ecd9c913f8c5dc4d1 100644 (file)
--- a/src/btree.c
+++ b/src/btree.c
@@ -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];