Fix a failing assert() in the new code on this branch.

FossilOrigin-Name: 74d857d178dfadea7e07ba47439fe11aa9d282b54caf78cd6961e593b37406d0

diff --git a/manifest b/manifest
index 7c15e392d19dfeba12c5293800c56589a61e450e..4b0592f36ed5b4dcb8bf5164de0e12a7f7a9e578 100644 (file)
--- a/manifest
+++ b/manifest
@@ -1,5 +1,5 @@
-C Update\sthe\somit-left-join\soptimization\sso\sthat\sit\sworks\sin\ssome\scases\swhen\sthe\nRHS\sis\ssubject\sto\sa\sUNIQUE\sbut\snot\sNOT\sNULL\sconstraint.
-D 2018-01-29T17:08:52.190
+C Fix\sa\sfailing\sassert()\sin\sthe\snew\scode\son\sthis\sbranch.
+D 2018-01-31T14:07:01.020
 F .fossil-settings/empty-dirs dbb81e8fc0401ac46a1491ab34a7f2c7c0452f2f06b54ebb845d024ca8283ef1
 F .fossil-settings/ignore-glob 35175cdfcf539b2318cb04a9901442804be81cd677d8b889fcc9149c21f239ea
 F Makefile.in 7a3f714b4fcf793108042b7b0a5c720b0b310ec84314d61ba7f3f49f27e550ea
@@ -570,7 +570,7 @@ F src/vxworks.h d2988f4e5a61a4dfe82c6524dd3d6e4f2ce3cdb9
 F src/wal.c 5a3f464edd64596f601683ed321d12e6fd93c5fb9afdfb3653d6ffd0fee9c48f
 F src/wal.h 8de5d2d3de0956d6f6cb48c83a4012d5f227b8fe940f3a349a4b7e85ebcb492a
 F src/walker.c da987a20d40145c0a03c07d8fefcb2ed363becc7680d0500d9c79915591f5b1f
-F src/where.c eb37882608c30f7361cf3309b8128c3a2887ff0099886e3685ededb7a7e6b051
+F src/where.c 7cae47e813393d70c6d327fdf000fcb30f76b1b0b5a5b52ff6402e0c658de32c
 F src/whereInt.h 82c04c5075308abbac59180c8bad5ecb45b07453981f60a53f3c7dee21e1e971
 F src/wherecode.c cb360c511f69294ddf00340d7b390e6b1d601a1cfb77b42c4d316fe2f4cd01c3
 F src/whereexpr.c 22dbfd3bf5f6051a61523dd0ebef7a944fb29ee4aa7d2a62feb8aac6ffbbc0eb
@@ -1001,7 +1001,7 @@ F test/ioerr4.test f130fe9e71008577b342b8874d52984bd04ede2c
 F test/ioerr5.test 2edfa4fb0f896f733071303b42224df8bedd9da4
 F test/ioerr6.test a395a6ab144b26a9e3e21059a1ab6a7149cca65b
 F test/join.test 442c462eea85cf065d70a663c626b780a95af6e11585d909bb63b87598afe678
-F test/join2.test 96f56ccf0a8fe6dbd7bb2e1a90bc61540febeaf9b6fdee14506f6fc140b93185
+F test/join2.test f1b5ba94ba70a791df2d99e61adcebf62edacad1eca57881c97eb3e2ca718595
 F test/join3.test 6f0c774ff1ba0489e6c88a3e77b9d3528fb4fda0
 F test/join4.test 1a352e4e267114444c29266ce79e941af5885916
 F test/join5.test bc98ea4b4e5003f5b1453701ebb8cd7d1c01a550
@@ -1702,10 +1702,7 @@ F vsixtest/vsixtest.tcl 6a9a6ab600c25a91a7acc6293828957a386a8a93
 F vsixtest/vsixtest.vcxproj.data 2ed517e100c66dc455b492e1a33350c1b20fbcdc
 F vsixtest/vsixtest.vcxproj.filters 37e51ffedcdb064aad6ff33b6148725226cd608e
 F vsixtest/vsixtest_TemporaryKey.pfx e5b1b036facdb453873e7084e1cae9102ccc67a0
-P 8767f7b880f2e4112f75f0b6ef7be3f50ab1ae20e103e7d03d8bfe77e6c79438
-R f19810b3aa9bfaa7d3b666e31ece61ec
-T *branch * omit-left-join-fix
-T *sym-omit-left-join-fix *
-T -sym-trunk *
+P 88411a402b29f19d69e0d06d9099eabb98c238ddb7c07ce110236316f008753e
+R d723a0554461743d1cc2169a56c72b46
 U dan
-Z ff1cffb196461bca97e3f8e467ebcd67
+Z 54f22eae691d89833b1c2792d257ce0d

diff --git a/manifest.uuid b/manifest.uuid
index 84c8ec467322708782c6e71402d913d4aca0e949..15554a93f998d21669bb1f7be8d4579ad51d7a05 100644 (file)
--- a/manifest.uuid
+++ b/manifest.uuid
@@ -1 +1 @@
-88411a402b29f19d69e0d06d9099eabb98c238ddb7c07ce110236316f008753e
\ No newline at end of file
+74d857d178dfadea7e07ba47439fe11aa9d282b54caf78cd6961e593b37406d0
\ No newline at end of file

diff --git a/src/where.c b/src/where.c
index 3b18fbf5fff44fc444945c44e7bc47b7617059d3..8c1e3cd01fd3e6f0ea3f58ba8ee023b371b21c29 100644 (file)
--- a/src/where.c
+++ b/src/where.c
@@ -2481,8 +2481,7 @@ static int whereLoopAddBtreeIndex(
       if( iCol==XN_ROWID 
        || (iCol>=0 && nInMul==0 && saved_nEq==pProbe->nKeyCol-1)
       ){
-        assert( iCol!=XN_ROWID || pProbe->uniqNotNull );
-        if( pProbe->uniqNotNull 
+        if( iCol==XN_ROWID || pProbe->uniqNotNull 
          || (pProbe->nKeyCol==1 && pProbe->onError && eOp==WO_EQ) 
         ){
           pNew->wsFlags |= WHERE_ONEROW;
@@ -2828,7 +2827,6 @@ static int whereLoopAddBtree(
     sPk.onError = OE_Replace;
     sPk.pTable = pTab;
     sPk.szIdxRow = pTab->szTabRow;
-    sPk.uniqNotNull = 1;
     aiRowEstPk[0] = pTab->nRowLogEst;
     aiRowEstPk[1] = 0;
     pFirst = pSrc->pTab->pIndex;

diff --git a/test/join2.test b/test/join2.test
index 3dc067e50800d00600a243a299a1dba2a4d28e3d..256846ac913924e420670190377286a80887faa7 100644 (file)
--- a/test/join2.test
+++ b/test/join2.test
@@ -254,4 +254,15 @@ do_eqp_test 5.2 {
   0 0 0 {SCAN TABLE s1}
 }
 
+do_execsql_test 6.0 {
+  CREATE TABLE u1(a INTEGER PRIMARY KEY, b, c);
+  CREATE TABLE u2(a INTEGER PRIMARY KEY, b, c);
+  CREATE INDEX u1ab ON u1(b, c);
+}
+do_eqp_test 6.1 {
+  SELECT u2.* FROM u2 LEFT JOIN u1 ON( u1.a=u2.a AND u1.b=u2.b AND u1.c=u2.c );
+} {
+  0 0 0 {SCAN TABLE u2}
+}
+
 finish_test