Always explicitly set each table cursor to NullRow before doing the RIGHT-JOIN

unmatched row pass.  This is a cheap opcode, and it adds an extra layer of
defense against incorrect results.

FossilOrigin-Name: a3d14e61ca22167296fee125a3e9aa63413408955e03bb3f9d85fa9f22df1b79

diff --git a/manifest b/manifest
index aa0aec2054966f6656a8e416bd9e13e6b28cbbc2..3cd8c98914254872012fa99c2e9f196cc8e7f165 100644 (file)
--- a/manifest
+++ b/manifest
@@ -1,5 +1,5 @@
-C Fix\sRIGHT\sJOIN\sfor\svirtual\stables.
-D 2022-04-11T21:00:38.338
+C Always\sexplicitly\sset\seach\stable\scursor\sto\sNullRow\sbefore\sdoing\sthe\sRIGHT-JOIN\nunmatched\srow\spass.\s\sThis\sis\sa\scheap\sopcode,\sand\sit\sadds\san\sextra\slayer\sof\ndefense\sagainst\sincorrect\sresults.
+D 2022-04-12T13:46:21.228
 F .fossil-settings/empty-dirs dbb81e8fc0401ac46a1491ab34a7f2c7c0452f2f06b54ebb845d024ca8283ef1
 F .fossil-settings/ignore-glob 35175cdfcf539b2318cb04a9901442804be81cd677d8b889fcc9149c21f239ea
 F LICENSE.md df5091916dbb40e6e9686186587125e1b2ff51f022cc334e886c19a0e9982724
@@ -639,7 +639,7 @@ F src/vxworks.h d2988f4e5a61a4dfe82c6524dd3d6e4f2ce3cdb9
 F src/wal.c b9df133a705093da8977da5eb202eaadb844839f1c7297c08d33471f5491843d
 F src/wal.h c3aa7825bfa2fe0d85bef2db94655f99870a285778baa36307c0a16da32b226a
 F src/walker.c f890a3298418d7cba3b69b8803594fdc484ea241206a8dfa99db6dd36f8cbb3b
-F src/where.c 728d2d5c6259b576c33a2f5107b871e9819484509126bd40ade8b95224852655
+F src/where.c 2e4c4a9140a5feb5d55613786f253e2684408e830fc1108abd854d95ef926d68
 F src/whereInt.h cd6bddac3a26640b92d86e2b45ecc6e82d663cbcac6fd5d6d9690dfb280b1668
 F src/wherecode.c bdf7de22c7ac38ad92e78214231a6054019521bfab943c2bfd5ddfb9e8ad9255
 F src/whereexpr.c 174d4ad5be165c610c907abb779ef4a97974d22b84e1ce7898d2d9f6947249e5
@@ -1946,8 +1946,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 8e02cdf5b1128f5e5b82d93903063415ec312694e5ccdd19e99fa35433f1b68a
-R 5708722e4ffecbe2e31f6fd1bda81037
+P 75a9116e98b9ac5c1a4c62a01143a016d9ba6a0b495ff7af7468c11947a3e888
+R 7f21190d047eb5dd5ac5fcbb3009e4d3
 U drh
-Z 577b70851c6bc25c90b72e9816f63b4e
+Z fd007c71d1edd8db14c7de90c355f1d6
 # Remove this line to create a well-formed Fossil manifest.

diff --git a/manifest.uuid b/manifest.uuid
index fb8b6444cbe30cb96058f878310ed70206cfb2f0..55b041541bf8817fce849f0b898c512889ca3446 100644 (file)
--- a/manifest.uuid
+++ b/manifest.uuid
@@ -1 +1 @@
-75a9116e98b9ac5c1a4c62a01143a016d9ba6a0b495ff7af7468c11947a3e888
\ No newline at end of file
+a3d14e61ca22167296fee125a3e9aa63413408955e03bb3f9d85fa9f22df1b79
\ No newline at end of file

diff --git a/src/where.c b/src/where.c
index f1d3ad2655f6cde5425323e41b8307782aa2ca73..2883653317c7df1d397bc418b9cd365bb36c7195 100644 (file)
--- a/src/where.c
+++ b/src/where.c
@@ -6180,13 +6180,11 @@ void sqlite3WhereEnd(WhereInfo *pWInfo){
       for(k=0; k<i; k++){
         int iIdxCur;
         mAll |= pWInfo->a[k].pWLoop->maskSelf;
+        sqlite3VdbeAddOp1(v, OP_NullRow, pWInfo->a[k].iTabCur);
         iIdxCur = pWInfo->a[k].iIdxCur;
         if( iIdxCur ){
           sqlite3VdbeAddOp1(v, OP_NullRow, iIdxCur);
         }
-        if( pWInfo->a[k].pWLoop->wsFlags & WHERE_VIRTUALTABLE ){
-          sqlite3VdbeAddOp1(v, OP_NullRow, pWInfo->a[k].iTabCur);
-        }
       }
       mAll |= pLoop->maskSelf;
       for(k=0; k<pWC->nTerm; k++){