The fix at [2bf5413dc2c19d5f] was incomplete in that it failed to clear

the reusable register cache that might contain registers in the STAT4
buffer region.  This additional change corrects the problem.
[forum:/forumpost/83cb4a95a0|Forum post 83cb4a95a0].  Test case in TH3.

FossilOrigin-Name: 5d554e4d0f59a4309fed40e4fb26c7be42f1d4d55ccdcaaf7b4d445aa3122955

diff --git a/manifest b/manifest
index cfe3c95b5aa2b3801fa0d514acabfa0050fb5f37..51f18c47ffe9c28d52099489881aaa67d1fb6a9d 100644 (file)
--- a/manifest
+++ b/manifest
@@ -1,5 +1,5 @@
-C Even\stighter\sbounds\son\sthe\smaximum\slength\sof\sthe\sfilename\sfor\nsqlite3_load_extension().
-D 2023-03-25T12:27:36.520
+C The\sfix\sat\s[2bf5413dc2c19d5f]\swas\sincomplete\sin\sthat\sit\sfailed\sto\sclear\nthe\sreusable\sregister\scache\sthat\smight\scontain\sregisters\sin\sthe\sSTAT4\nbuffer\sregion.\s\sThis\sadditional\schange\scorrects\sthe\sproblem.\n[forum:/forumpost/83cb4a95a0|Forum\spost\s83cb4a95a0].\s\sTest\scase\sin\sTH3.
+D 2023-03-25T18:31:24.391
 F .fossil-settings/empty-dirs dbb81e8fc0401ac46a1491ab34a7f2c7c0452f2f06b54ebb845d024ca8283ef1
 F .fossil-settings/ignore-glob 35175cdfcf539b2318cb04a9901442804be81cd677d8b889fcc9149c21f239ea
 F LICENSE.md df5091916dbb40e6e9686186587125e1b2ff51f022cc334e886c19a0e9982724
@@ -558,7 +558,7 @@ F sqlite3.1 fc7ad8990fc8409983309bb80de8c811a7506786
 F sqlite3.pc.in 48fed132e7cb71ab676105d2a4dc77127d8c1f3a
 F sqlite_cfg.h.in baf2e409c63d4e7a765e17769b6ff17c5a82bbd9cbf1e284fd2e4cefaff3fcf2
 F src/alter.c 3ca2f449c890f8b86ec9e06f0c4fccf0648941c3308a16904cb2852227db83f7
-F src/analyze.c 26e68072d62d0a28b2dd8619f76be876db9b4ff6e8ad1fd4ed3ac56b1cb045c4
+F src/analyze.c 6a7af762bb64bcb1954db905cf158c3eb3d0d31ff5acc946e7855c0f31728b9d
 F src/attach.c cc9d00d30da916ff656038211410ccf04ed784b7564639b9b61d1839ed69fd39
 F src/auth.c f4fa91b6a90bbc8e0d0f738aa284551739c9543a367071f55574681e0f24f8cf
 F src/backup.c a2891172438e385fdbe97c11c9745676bec54f518d4447090af97189fd8e52d7
@@ -2051,8 +2051,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 9f351bdee2a09a4419bb8256a13d1f757b3e00ec26a445523f224fc56d9ae26d
-R 40c0be8beff032c6896e7e0265e6be39
+P 787291414d2d2082a3c63e7cdd6bec4719f0c8b75ad1355f5026932ecbb28ba8
+R 32eca9004805bd405ad340f1dad6e254
 U drh
-Z 073a667407358758809a055e67c88eb4
+Z 0ff7057a5cb437509cd22493623e26ff
 # Remove this line to create a well-formed Fossil manifest.

diff --git a/manifest.uuid b/manifest.uuid
index 35667bf093b6c7d8baabef27a86d5a076a70cc36..7d2293060c6b993a91caedd58e2ea256824805bd 100644 (file)
--- a/manifest.uuid
+++ b/manifest.uuid
@@ -1 +1 @@
-787291414d2d2082a3c63e7cdd6bec4719f0c8b75ad1355f5026932ecbb28ba8
\ No newline at end of file
+5d554e4d0f59a4309fed40e4fb26c7be42f1d4d55ccdcaaf7b4d445aa3122955
\ No newline at end of file

diff --git a/src/analyze.c b/src/analyze.c
index 2eaabd6be480ab19f8aafd1e2313436bbc89f51e..9e0a0c5e6bc83de02222a33c34cff2906e1d849e 100644 (file)
--- a/src/analyze.c
+++ b/src/analyze.c
@@ -1297,6 +1297,21 @@ static void analyzeOneTable(
         /* Allocate space to compute results for the largest index */
         pParse->nMem = MAX(pParse->nMem, regCol+mxCol);
         doOnce = 0;
+#ifdef SQLITE_DEBUG
+        /* Verify that setting pParse->nTempReg to zero below really
+        ** is needed in some cases, in order to excise all temporary
+        ** registers from the middle of the STAT4 buffer.  
+        ** https://sqlite.org/forum/forumpost/83cb4a95a0 (2023-03-25)
+        */
+        if( pParse->nTempReg>0 ){
+          int kk;
+          for(kk=0; kk<pParse->nTempReg; kk++){
+            int regT = pParse->aTempReg[kk];
+            testcase( regT>=regCol && regT<regCol+mxCol );
+          }
+        }
+#endif
+        pParse->nTempReg = 0;
       }
 
       addrNext = sqlite3VdbeCurrentAddr(v);