From: drh Date: Wed, 14 Jul 2010 19:31:07 +0000 (+0000) Subject: Additional test cases and evidence marks for the empty RHS bug on the IN X-Git-Tag: version-3.7.2~129 X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=ef5d9ec166ed7cb60c3de909e91889525db8cc34;p=thirdparty%2Fsqlite.git Additional test cases and evidence marks for the empty RHS bug on the IN operator - ticket [80e031a00f45dca877] FossilOrigin-Name: 6851c517ac7f80538aa5f3a1994fa1921c0ec3f4 --- diff --git a/manifest b/manifest index ec05b283d6..840f8c94f0 100644 --- a/manifest +++ b/manifest @@ -1,8 +1,8 @@ -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 -C Make\sthe\sresult\sof\san\sIN\sor\sNOT\sIN\sexpression\swith\san\sempty\sset\son\sthe\s\nright-hand\sside\salways\seither\sfalse\sor\strue,\srespectively,\seven\sif\sthe\nleft-hand\sside\sis\sNULL.\s\sTicket\s[80e031a00f45dc] -D 2010-07-14T18:24:06 +C Additional\stest\scases\sand\sevidence\smarks\sfor\sthe\sempty\sRHS\sbug\son\sthe\sIN\noperator\s-\sticket\s[80e031a00f45dca877] +D 2010-07-14T19:31:08 F Makefile.arm-wince-mingw32ce-gcc fcd5e9cd67fe88836360bb4f9ef4cb7f8e2fb5a0 F Makefile.in ec08dc838fd8110fe24c92e5130bcd91cbb1ff2e F Makefile.linux-gcc d53183f4aa6a9192d249731c90dbdffbd2c68654 @@ -639,7 +639,7 @@ F test/tkt-3fe897352e.test 10de1a67bd5c66b238a4c96abe55531b37bb4f00 F test/tkt-4a03edc4c8.test 2865e4edbc075b954daa82f8da7cc973033ec76e F test/tkt-5ee23731f.test 3581260f2a71e51db94e1506ba6b0f7311d002a9 F test/tkt-78e04e52ea.test fb5430c675e708f5cbafdf3e7e5593da5145a527 -F test/tkt-80e031a00f.test ee36b2d166c413392d90b97a978754f762e3cc37 +F test/tkt-80e031a00f.test 9a154173461a4dbe2de49cda73963e04842d52f7 F test/tkt-94c04eaadb.test be5ea61cb04dfdc047d19b5c5a9e75fa3da67a7f F test/tkt-9d68c883.test 458f7d82a523d7644b54b497c986378a7d8c8b67 F test/tkt-cbd054fa6b.test f14f97ea43662e6f70c9e63287081e8be5d9d589 @@ -838,14 +838,14 @@ F tool/speedtest2.tcl ee2149167303ba8e95af97873c575c3e0fab58ff F tool/speedtest8.c 2902c46588c40b55661e471d7a86e4dd71a18224 F tool/speedtest8inst1.c 293327bc76823f473684d589a8160bde1f52c14e F tool/vdbe-compress.tcl d70ea6d8a19e3571d7ab8c9b75cba86d1173ff0f -P 9f452514d96ab8d424eadc55c283c53fe831476d -R 0696a4857e0fc2e6e3cb38528ebe2bf1 +P c288ac644d0bfda2b9bc204dc86df8e74d4f6843 +R 246cf40fb78a0338ef63702fffd8c58e U drh -Z eaca9dffd50a6ab2db3b5e0788a52b1d +Z 51a384c4e53cd04b3d869080ee1702db -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) -iD8DBQFMPgDNoxKgR168RlERAodgAJ4kq+hDLacVgaUBEnEKpkM8L28pOgCfXevs -u11vnZz3vLbMyWPx174qXyI= -=mydy +iD8DBQFMPhB/oxKgR168RlERAtNLAJwLm5FOsQcYhJ1tRbE7d8y+YL/I2ACfZMY5 +C5vZM2MptiZQyr+vM+YLgwE= +=RSAs -----END PGP SIGNATURE----- diff --git a/manifest.uuid b/manifest.uuid index afccf60106..32ceff9455 100644 --- a/manifest.uuid +++ b/manifest.uuid @@ -1 +1 @@ -c288ac644d0bfda2b9bc204dc86df8e74d4f6843 \ No newline at end of file +6851c517ac7f80538aa5f3a1994fa1921c0ec3f4 \ No newline at end of file diff --git a/test/tkt-80e031a00f.test b/test/tkt-80e031a00f.test index 52a6cef24d..95372abf04 100644 --- a/test/tkt-80e031a00f.test +++ b/test/tkt-80e031a00f.test @@ -20,8 +20,26 @@ source $testdir/tester.tcl source $testdir/lock_common.tcl source $testdir/malloc_common.tcl +# EVIDENCE-OF: R-58875-56087 The IN and NOT IN operators take a single +# scalar operand on the left and a vector operand on the right formed by +# an explicit list of zero or more scalars or by a single subquery. +# +# EVIDENCE-OF: R-52275-55503 When the right operand is an empty set, the +# result of IN is false and the result of NOT IN is true, regardless of +# the left operand and even if the left operand is NULL. +# +# EVIDENCE-OF: R-13595-45863 Note that SQLite allows the parenthesized +# list of scalar values on the right-hand side of an IN or NOT IN +# operator to be an empty list but most other SQL database database +# engines and the SQL92 standard require the list to contain at least +# one element. +# do_execsql_test tkt-80e031a00f.1 {SELECT 1 IN ()} 0 +do_execsql_test tkt-80e031a00f.1b {SELECT 1 IN (2)} 0 +do_execsql_test tkt-80e031a00f.1c {SELECT 1 IN (2,3,4,5,6,7,8,9)} 0 do_execsql_test tkt-80e031a00f.2 {SELECT 1 NOT IN ()} 1 +do_execsql_test tkt-80e031a00f.2b {SELECT 1 NOT IN (2)} 1 +do_execsql_test tkt-80e031a00f.2c {SELECT 1 NOT IN (2,3,4,5,6,7,8,9)} 1 do_execsql_test tkt-80e031a00f.3 {SELECT null IN ()} 0 do_execsql_test tkt-80e031a00f.4 {SELECT null NOT IN ()} 1 do_execsql_test tkt-80e031a00f.5 { @@ -38,12 +56,151 @@ do_execsql_test tkt-80e031a00f.9 { do_execsql_test tkt-80e031a00f.10 {SELECT 1 NOT IN t2} 1 do_execsql_test tkt-80e031a00f.11 {SELECT null IN t2} 0 do_execsql_test tkt-80e031a00f.12 {SELECT null NOT IN t2} 1 -do_execsql_test tkt-80e031a00f.9 { +do_execsql_test tkt-80e031a00f.13 { CREATE TABLE t3(z INT UNIQUE); SELECT 1 IN t3; } 0 -do_execsql_test tkt-80e031a00f.13 {SELECT 1 NOT IN t3} 1 -do_execsql_test tkt-80e031a00f.14 {SELECT null IN t3} 0 -do_execsql_test tkt-80e031a00f.15 {SELECT null NOT IN t3} 1 +do_execsql_test tkt-80e031a00f.14 {SELECT 1 NOT IN t3} 1 +do_execsql_test tkt-80e031a00f.15 {SELECT null IN t3} 0 +do_execsql_test tkt-80e031a00f.16 {SELECT null NOT IN t3} 1 +do_execsql_test tkt-80e031a00f.17 {SELECT 1 IN (SELECT x+y FROM t1, t2)} 0 +do_execsql_test tkt-80e031a00f.18 {SELECT 1 NOT IN (SELECT x+y FROM t1,t2)} 1 +do_execsql_test tkt-80e031a00f.19 {SELECT null IN (SELECT x+y FROM t1,t2)} 0 +do_execsql_test tkt-80e031a00f.20 {SELECT null NOT IN (SELECT x+y FROM t1,t2)} 1 +do_execsql_test tkt-80e031a00f.21 {SELECT 1.23 IN ()} 0 +do_execsql_test tkt-80e031a00f.22 {SELECT 1.23 NOT IN ()} 1 +do_execsql_test tkt-80e031a00f.23 {SELECT 1.23 IN t1} 0 +do_execsql_test tkt-80e031a00f.24 {SELECT 1.23 NOT IN t1} 1 +do_execsql_test tkt-80e031a00f.25 {SELECT 'hello' IN ()} 0 +do_execsql_test tkt-80e031a00f.26 {SELECT 'hello' NOT IN ()} 1 +do_execsql_test tkt-80e031a00f.27 {SELECT 'hello' IN t1} 0 +do_execsql_test tkt-80e031a00f.28 {SELECT 'hello' NOT IN t1} 1 +do_execsql_test tkt-80e031a00f.29 {SELECT x'303132' IN ()} 0 +do_execsql_test tkt-80e031a00f.30 {SELECT x'303132' NOT IN ()} 1 +do_execsql_test tkt-80e031a00f.31 {SELECT x'303132' IN t1} 0 +do_execsql_test tkt-80e031a00f.32 {SELECT x'303132' NOT IN t1} 1 + +# EVIDENCE-OF: R-50221-42915 The result of an IN or NOT IN operator is +# determined by the following matrix: Left operand is NULL Right operand +# contains NULL Right operand is an empty set Left operand found within +# right operand Result of IN operator Result of NOT IN operator no no no +# no false true does not matter no yes no false true no does not matter +# no yes true false no yes no no NULL NULL yes does not matter no does +# not matter NULL NULL +# +# Row 1: +do_execsql_test tkt-80e031a00f.100 {SELECT 1 IN (2,3,4)} 0 +do_execsql_test tkt-80e031a00f.101 {SELECT 1 NOT IN (2,3,4)} 1 +do_execsql_test tkt-80e031a00f.102 {SELECT 'a' IN ('b','c','d')} 0 +do_execsql_test tkt-80e031a00f.103 {SELECT 'a' NOT IN ('b','c','d')} 1 +do_test tkt-80e031a00f.104 { + db eval { + CREATE TABLE t4(a UNIQUE); + CREATE TABLE t5(b INTEGER PRIMARY KEY); + CREATE TABLE t6(c); + INSERT INTO t4 VALUES(2); + INSERT INTO t4 VALUES(3); + INSERT INTO t4 VALUES(4); + INSERT INTO t5 SELECT * FROM t4; + INSERT INTO t6 SELECT * FROM t4; + CREATE TABLE t4n(a UNIQUE); + CREATE TABLE t6n(c); + INSERT INTO t4n SELECT * FROM t4; + INSERT INTO t4n VALUES(null); + INSERT INTO t6n SELECT * FROM t4n; + CREATE TABLE t7(a UNIQUE); + CREATE TABLE t8(c); + INSERT INTO t7 VALUES('b'); + INSERT INTO t7 VALUES('c'); + INSERT INTO t7 VALUES('d'); + INSERT INTO t8 SELECT * FROM t7; + CREATE TABLE t7n(a UNIQUE); + CREATE TABLE t8n(c); + INSERT INTO t7n SELECT * FROM t7; + INSERT INTO t7n VALUES(null); + INSERT INTO t8n SELECT * FROM t7n; + } + execsql {SELECT 1 IN t4} +} 0 +do_execsql_test tkt-80e031a00f.105 {SELECT 1 NOT IN t4} 1 +do_execsql_test tkt-80e031a00f.106 {SELECT 1 IN t5} 0 +do_execsql_test tkt-80e031a00f.107 {SELECT 1 NOT IN t5} 1 +do_execsql_test tkt-80e031a00f.108 {SELECT 1 IN t6} 0 +do_execsql_test tkt-80e031a00f.109 {SELECT 1 NOT IN t6} 1 +do_execsql_test tkt-80e031a00f.110 {SELECT 'a' IN t7} 0 +do_execsql_test tkt-80e031a00f.111 {SELECT 'a' NOT IN t7} 1 +do_execsql_test tkt-80e031a00f.112 {SELECT 'a' IN t8} 0 +do_execsql_test tkt-80e031a00f.113 {SELECT 'a' NOT IN t8} 1 +# +# Row 2 is tested by cases 1-32 above. +# Row 3: +do_execsql_test tkt-80e031a00f.300 {SELECT 2 IN (2,3,4,null)} 1 +do_execsql_test tkt-80e031a00f.301 {SELECT 3 NOT IN (2,3,4,null)} 0 +do_execsql_test tkt-80e031a00f.302 {SELECT 4 IN (2,3,4)} 1 +do_execsql_test tkt-80e031a00f.303 {SELECT 2 NOT IN (2,3,4)} 0 +do_execsql_test tkt-80e031a00f.304 {SELECT 'b' IN ('b','c','d')} 1 +do_execsql_test tkt-80e031a00f.305 {SELECT 'c' NOT IN ('b','c','d')} 0 +do_execsql_test tkt-80e031a00f.306 {SELECT 'd' IN ('b','c',null,'d')} 1 +do_execsql_test tkt-80e031a00f.307 {SELECT 'b' NOT IN (null,'b','c','d')} 0 +do_execsql_test tkt-80e031a00f.308 {SELECT 2 IN t4} 1 +do_execsql_test tkt-80e031a00f.309 {SELECT 3 NOT IN t4} 0 +do_execsql_test tkt-80e031a00f.310 {SELECT 4 IN t4n} 1 +do_execsql_test tkt-80e031a00f.311 {SELECT 2 NOT IN t4n} 0 +do_execsql_test tkt-80e031a00f.312 {SELECT 2 IN t5} 1 +do_execsql_test tkt-80e031a00f.313 {SELECT 3 NOT IN t5} 0 +do_execsql_test tkt-80e031a00f.314 {SELECT 2 IN t6} 1 +do_execsql_test tkt-80e031a00f.315 {SELECT 3 NOT IN t6} 0 +do_execsql_test tkt-80e031a00f.316 {SELECT 4 IN t6n} 1 +do_execsql_test tkt-80e031a00f.317 {SELECT 2 NOT IN t6n} 0 +do_execsql_test tkt-80e031a00f.318 {SELECT 'b' IN t7} 1 +do_execsql_test tkt-80e031a00f.319 {SELECT 'c' NOT IN t7} 0 +do_execsql_test tkt-80e031a00f.320 {SELECT 'c' IN t7n} 1 +do_execsql_test tkt-80e031a00f.321 {SELECT 'd' NOT IN t7n} 0 +do_execsql_test tkt-80e031a00f.322 {SELECT 'b' IN t8} 1 +do_execsql_test tkt-80e031a00f.323 {SELECT 'c' NOT IN t8} 0 +do_execsql_test tkt-80e031a00f.324 {SELECT 'c' IN t8n} 1 +do_execsql_test tkt-80e031a00f.325 {SELECT 'd' NOT IN t8n} 0 +# +# Row 4: +do_execsql_test tkt-80e031a00f.400 {SELECT 1 IN (2,3,4,null)} {{}} +do_execsql_test tkt-80e031a00f.401 {SELECT 1 NOT IN (2,3,4,null)} {{}} +do_execsql_test tkt-80e031a00f.402 {SELECT 'a' IN ('b','c',null,'d')} {{}} +do_execsql_test tkt-80e031a00f.403 {SELECT 'a' NOT IN (null,'b','c','d')} {{}} +do_execsql_test tkt-80e031a00f.404 {SELECT 1 IN t4n} {{}} +do_execsql_test tkt-80e031a00f.405 {SELECT 5 NOT IN t4n} {{}} +do_execsql_test tkt-80e031a00f.406 {SELECT 6 IN t6n} {{}} +do_execsql_test tkt-80e031a00f.407 {SELECT 7 NOT IN t6n} {{}} +do_execsql_test tkt-80e031a00f.408 {SELECT 'a' IN t7n} {{}} +do_execsql_test tkt-80e031a00f.409 {SELECT 'e' NOT IN t7n} {{}} +do_execsql_test tkt-80e031a00f.410 {SELECT 'f' IN t8n} {{}} +do_execsql_test tkt-80e031a00f.411 {SELECT 'g' NOT IN t8n} {{}} +# +# Row 5: +do_execsql_test tkt-80e031a00f.500 {SELECT null IN (2,3,4,null)} {{}} +do_execsql_test tkt-80e031a00f.501 {SELECT null NOT IN (2,3,4,null)} {{}} +do_execsql_test tkt-80e031a00f.502 {SELECT null IN (2,3,4)} {{}} +do_execsql_test tkt-80e031a00f.503 {SELECT null NOT IN (2,3,4)} {{}} +do_execsql_test tkt-80e031a00f.504 {SELECT null IN ('b','c','d')} {{}} +do_execsql_test tkt-80e031a00f.505 {SELECT null NOT IN ('b','c','d')} {{}} +do_execsql_test tkt-80e031a00f.506 {SELECT null IN ('b','c',null,'d')} {{}} +do_execsql_test tkt-80e031a00f.507 {SELECT null NOT IN (null,'b','c','d')} {{}} +do_execsql_test tkt-80e031a00f.508 {SELECT null IN t4} {{}} +do_execsql_test tkt-80e031a00f.509 {SELECT null NOT IN t4} {{}} +do_execsql_test tkt-80e031a00f.510 {SELECT null IN t4n} {{}} +do_execsql_test tkt-80e031a00f.511 {SELECT null NOT IN t4n} {{}} +do_execsql_test tkt-80e031a00f.512 {SELECT null IN t5} {{}} +do_execsql_test tkt-80e031a00f.513 {SELECT null NOT IN t5} {{}} +do_execsql_test tkt-80e031a00f.514 {SELECT null IN t6} {{}} +do_execsql_test tkt-80e031a00f.515 {SELECT null NOT IN t6} {{}} +do_execsql_test tkt-80e031a00f.516 {SELECT null IN t6n} {{}} +do_execsql_test tkt-80e031a00f.517 {SELECT null NOT IN t6n} {{}} +do_execsql_test tkt-80e031a00f.518 {SELECT null IN t7} {{}} +do_execsql_test tkt-80e031a00f.519 {SELECT null NOT IN t7} {{}} +do_execsql_test tkt-80e031a00f.520 {SELECT null IN t7n} {{}} +do_execsql_test tkt-80e031a00f.521 {SELECT null NOT IN t7n} {{}} +do_execsql_test tkt-80e031a00f.522 {SELECT null IN t8} {{}} +do_execsql_test tkt-80e031a00f.523 {SELECT null NOT IN t8} {{}} +do_execsql_test tkt-80e031a00f.524 {SELECT null IN t8n} {{}} +do_execsql_test tkt-80e031a00f.525 {SELECT null NOT IN t8n} {{}} finish_test