test/tkt-80e031a00f.test

   1 # 2010 July 14
   2 #
   3 # The author disclaims copyright to this source code.  In place of
   4 # a legal notice, here is a blessing:
   5 #
   6 #    May you do good and not evil.
   7 #    May you find forgiveness for yourself and forgive others.
   8 #    May you share freely, never taking more than you give.
   9 #
  10 #***********************************************************************
  11 # This file implements regression tests for SQLite library. Specifically,
  12 # it tests that ticket [80e031a00f45dca877ed92b225209cfa09280f4f] has been
  13 # resolved.  That ticket is about IN and NOT IN operators with empty-set
  14 # right-hand sides.  Such expressions should always return TRUE or FALSE
  15 # even if the left-hand side is NULL.
  16 #
  17
  18 set testdir [file dirname $argv0]
  19 source $testdir/tester.tcl
  20 source $testdir/lock_common.tcl
  21 source $testdir/malloc_common.tcl
  22
  23 # EVIDENCE-OF: R-52275-55503 When the right operand is an empty set, the
  24 # result of IN is false and the result of NOT IN is true, regardless of
  25 # the left operand and even if the left operand is NULL.
  26 #
  27 # EVIDENCE-OF: R-64309-54027 Note that SQLite allows the parenthesized
  28 # list of scalar values on the right-hand side of an IN or NOT IN
  29 # operator to be an empty list but most other SQL database engines and
  30 # the SQL92 standard require the list to contain at least one element.
  31 #
  32 do_execsql_test tkt-80e031a00f.1 {SELECT 1 IN ()} 0
  33 do_execsql_test tkt-80e031a00f.1b {SELECT 1 IN (2)} 0
  34 do_execsql_test tkt-80e031a00f.1c {SELECT 1 IN (2,3,4,5,6,7,8,9)} 0
  35 do_execsql_test tkt-80e031a00f.2 {SELECT 1 NOT IN ()} 1
  36 do_execsql_test tkt-80e031a00f.2b {SELECT 1 NOT IN (2)} 1
  37 do_execsql_test tkt-80e031a00f.2c {SELECT 1 NOT IN (2,3,4,5,6,7,8,9)} 1
  38 do_execsql_test tkt-80e031a00f.3 {SELECT null IN ()} 0
  39 do_execsql_test tkt-80e031a00f.4 {SELECT null NOT IN ()} 1
  40 do_execsql_test tkt-80e031a00f.5 {
  41   CREATE TABLE t1(x);
  42   SELECT 1 IN t1;
  43 } 0
  44 do_execsql_test tkt-80e031a00f.6 {SELECT 1 NOT IN t1} 1
  45 do_execsql_test tkt-80e031a00f.7 {SELECT null IN t1} 0
  46 do_execsql_test tkt-80e031a00f.8 {SELECT null NOT IN t1} 1
  47 do_execsql_test tkt-80e031a00f.9 {
  48   CREATE TABLE t2(y INTEGER PRIMARY KEY);
  49   SELECT 1 IN t2;
  50 } 0
  51 do_execsql_test tkt-80e031a00f.10 {SELECT 1 NOT IN t2} 1
  52 do_execsql_test tkt-80e031a00f.11 {SELECT null IN t2} 0
  53 do_execsql_test tkt-80e031a00f.12 {SELECT null NOT IN t2} 1
  54 do_execsql_test tkt-80e031a00f.13 {
  55   CREATE TABLE t3(z INT UNIQUE);
  56   SELECT 1 IN t3;
  57 } 0
  58 do_execsql_test tkt-80e031a00f.14 {SELECT 1 NOT IN t3} 1
  59 do_execsql_test tkt-80e031a00f.15 {SELECT null IN t3} 0
  60 do_execsql_test tkt-80e031a00f.16 {SELECT null NOT IN t3} 1
  61 do_execsql_test tkt-80e031a00f.17 {SELECT 1 IN (SELECT x+y FROM t1, t2)} 0
  62 do_execsql_test tkt-80e031a00f.18 {SELECT 1 NOT IN (SELECT x+y FROM t1,t2)} 1
  63 do_execsql_test tkt-80e031a00f.19 {SELECT null IN (SELECT x+y FROM t1,t2)} 0
  64 do_execsql_test tkt-80e031a00f.20 {SELECT null NOT IN (SELECT x+y FROM t1,t2)} 1
  65 do_execsql_test tkt-80e031a00f.21 {SELECT 1.23 IN ()} 0
  66 do_execsql_test tkt-80e031a00f.22 {SELECT 1.23 NOT IN ()} 1
  67 do_execsql_test tkt-80e031a00f.23 {SELECT 1.23 IN t1} 0
  68 do_execsql_test tkt-80e031a00f.24 {SELECT 1.23 NOT IN t1} 1
  69 do_execsql_test tkt-80e031a00f.25 {SELECT 'hello' IN ()} 0
  70 do_execsql_test tkt-80e031a00f.26 {SELECT 'hello' NOT IN ()} 1
  71 do_execsql_test tkt-80e031a00f.27 {SELECT 'hello' IN t1} 0
  72 do_execsql_test tkt-80e031a00f.28 {SELECT 'hello' NOT IN t1} 1
  73 do_execsql_test tkt-80e031a00f.29 {SELECT x'303132' IN ()} 0
  74 do_execsql_test tkt-80e031a00f.30 {SELECT x'303132' NOT IN ()} 1
  75 do_execsql_test tkt-80e031a00f.31 {SELECT x'303132' IN t1} 0
  76 do_execsql_test tkt-80e031a00f.32 {SELECT x'303132' NOT IN t1} 1
  77
  78 # EVIDENCE-OF: R-50221-42915 The result of an IN or NOT IN operator is
  79 # determined by the following matrix: Left operand is NULL Right operand
  80 # contains NULL Right operand is an empty set Left operand found within
  81 # right operand Result of IN operator Result of NOT IN operator no no no
  82 # no false true does not matter no yes no false true no does not matter
  83 # no yes true false no yes no no NULL NULL yes does not matter no does
  84 # not matter NULL NULL
  85 #
  86 # Row 1:
  87 do_execsql_test tkt-80e031a00f.100 {SELECT 1 IN (2,3,4)} 0
  88 do_execsql_test tkt-80e031a00f.101 {SELECT 1 NOT IN (2,3,4)} 1
  89 do_execsql_test tkt-80e031a00f.102 {SELECT 'a' IN ('b','c','d')} 0
  90 do_execsql_test tkt-80e031a00f.103 {SELECT 'a' NOT IN ('b','c','d')} 1
  91 do_test tkt-80e031a00f.104 {
  92   db eval {
  93      CREATE TABLE t4(a UNIQUE);
  94      CREATE TABLE t5(b INTEGER PRIMARY KEY);
  95      CREATE TABLE t6(c);
  96      INSERT INTO t4 VALUES(2);
  97      INSERT INTO t4 VALUES(3);
  98      INSERT INTO t4 VALUES(4);
  99      INSERT INTO t5 SELECT * FROM t4;
 100      INSERT INTO t6 SELECT * FROM t4;
 101      CREATE TABLE t4n(a UNIQUE);
 102      CREATE TABLE t6n(c);
 103      INSERT INTO t4n SELECT * FROM t4;
 104      INSERT INTO t4n VALUES(null);
 105      INSERT INTO t6n SELECT * FROM t4n;
 106      CREATE TABLE t7(a UNIQUE);
 107      CREATE TABLE t8(c);
 108      INSERT INTO t7 VALUES('b');
 109      INSERT INTO t7 VALUES('c');
 110      INSERT INTO t7 VALUES('d');
 111      INSERT INTO t8 SELECT * FROM t7;
 112      CREATE TABLE t7n(a UNIQUE);
 113      CREATE TABLE t8n(c);
 114      INSERT INTO t7n SELECT * FROM t7;
 115      INSERT INTO t7n VALUES(null);
 116      INSERT INTO t8n SELECT * FROM t7n;
 117   }
 118   execsql {SELECT 1 IN t4}
 119 } 0
 120 do_execsql_test tkt-80e031a00f.105 {SELECT 1 NOT IN t4} 1
 121 do_execsql_test tkt-80e031a00f.106 {SELECT 1 IN t5} 0
 122 do_execsql_test tkt-80e031a00f.107 {SELECT 1 NOT IN t5} 1
 123 do_execsql_test tkt-80e031a00f.108 {SELECT 1 IN t6} 0
 124 do_execsql_test tkt-80e031a00f.109 {SELECT 1 NOT IN t6} 1
 125 do_execsql_test tkt-80e031a00f.110 {SELECT 'a' IN t7} 0
 126 do_execsql_test tkt-80e031a00f.111 {SELECT 'a' NOT IN t7} 1
 127 do_execsql_test tkt-80e031a00f.112 {SELECT 'a' IN t8} 0
 128 do_execsql_test tkt-80e031a00f.113 {SELECT 'a' NOT IN t8} 1
 129 #
 130 # Row 2 is tested by cases 1-32 above.
 131 # Row 3:
 132 do_execsql_test tkt-80e031a00f.300 {SELECT 2 IN (2,3,4,null)} 1
 133 do_execsql_test tkt-80e031a00f.301 {SELECT 3 NOT IN (2,3,4,null)} 0
 134 do_execsql_test tkt-80e031a00f.302 {SELECT 4 IN (2,3,4)} 1
 135 do_execsql_test tkt-80e031a00f.303 {SELECT 2 NOT IN (2,3,4)} 0
 136 do_execsql_test tkt-80e031a00f.304 {SELECT 'b' IN ('b','c','d')} 1
 137 do_execsql_test tkt-80e031a00f.305 {SELECT 'c' NOT IN ('b','c','d')} 0
 138 do_execsql_test tkt-80e031a00f.306 {SELECT 'd' IN ('b','c',null,'d')} 1
 139 do_execsql_test tkt-80e031a00f.307 {SELECT 'b' NOT IN (null,'b','c','d')} 0
 140 do_execsql_test tkt-80e031a00f.308 {SELECT 2 IN t4} 1
 141 do_execsql_test tkt-80e031a00f.309 {SELECT 3 NOT IN t4} 0
 142 do_execsql_test tkt-80e031a00f.310 {SELECT 4 IN t4n} 1
 143 do_execsql_test tkt-80e031a00f.311 {SELECT 2 NOT IN t4n} 0
 144 do_execsql_test tkt-80e031a00f.312 {SELECT 2 IN t5} 1
 145 do_execsql_test tkt-80e031a00f.313 {SELECT 3 NOT IN t5} 0
 146 do_execsql_test tkt-80e031a00f.314 {SELECT 2 IN t6} 1
 147 do_execsql_test tkt-80e031a00f.315 {SELECT 3 NOT IN t6} 0
 148 do_execsql_test tkt-80e031a00f.316 {SELECT 4 IN t6n} 1
 149 do_execsql_test tkt-80e031a00f.317 {SELECT 2 NOT IN t6n} 0
 150 do_execsql_test tkt-80e031a00f.318 {SELECT 'b' IN t7} 1
 151 do_execsql_test tkt-80e031a00f.319 {SELECT 'c' NOT IN t7} 0
 152 do_execsql_test tkt-80e031a00f.320 {SELECT 'c' IN t7n} 1
 153 do_execsql_test tkt-80e031a00f.321 {SELECT 'd' NOT IN t7n} 0
 154 do_execsql_test tkt-80e031a00f.322 {SELECT 'b' IN t8} 1
 155 do_execsql_test tkt-80e031a00f.323 {SELECT 'c' NOT IN t8} 0
 156 do_execsql_test tkt-80e031a00f.324 {SELECT 'c' IN t8n} 1
 157 do_execsql_test tkt-80e031a00f.325 {SELECT 'd' NOT IN t8n} 0
 158 do_execsql_test tkt-80e031a00f.326 {SELECT 'a' IN (NULL,'a')} 1
 159 do_execsql_test tkt-80e031a00f.327 {SELECT 'a' IN (NULL,'b')} {{}}
 160 do_execsql_test tkt-80e031a00f.328 {SELECT 'a' NOT IN (NULL,'a')} 0
 161 do_execsql_test tkt-80e031a00f.329 {SELECT 'a' NOT IN (NULL,'b')} {{}}
 162 #
 163 # Row 4:
 164 do_execsql_test tkt-80e031a00f.400 {SELECT 1 IN (2,3,4,null)} {{}}
 165 do_execsql_test tkt-80e031a00f.401 {SELECT 1 NOT IN (2,3,4,null)} {{}}
 166 do_execsql_test tkt-80e031a00f.402 {SELECT 'a' IN ('b','c',null,'d')} {{}}
 167 do_execsql_test tkt-80e031a00f.403 {SELECT 'a' NOT IN (null,'b','c','d')} {{}}
 168 do_execsql_test tkt-80e031a00f.404 {SELECT 1 IN t4n} {{}}
 169 do_execsql_test tkt-80e031a00f.405 {SELECT 5 NOT IN t4n} {{}}
 170 do_execsql_test tkt-80e031a00f.406 {SELECT 6 IN t6n} {{}}
 171 do_execsql_test tkt-80e031a00f.407 {SELECT 7 NOT IN t6n} {{}}
 172 do_execsql_test tkt-80e031a00f.408 {SELECT 'a' IN t7n} {{}}
 173 do_execsql_test tkt-80e031a00f.409 {SELECT 'e' NOT IN t7n} {{}}
 174 do_execsql_test tkt-80e031a00f.410 {SELECT 'f' IN t8n} {{}}
 175 do_execsql_test tkt-80e031a00f.411 {SELECT 'g' NOT IN t8n} {{}}
 176 #
 177 # Row 5:
 178 do_execsql_test tkt-80e031a00f.500 {SELECT null IN (2,3,4,null)} {{}}
 179 do_execsql_test tkt-80e031a00f.501 {SELECT null NOT IN (2,3,4,null)} {{}}
 180 do_execsql_test tkt-80e031a00f.502 {SELECT null IN (2,3,4)} {{}}
 181 do_execsql_test tkt-80e031a00f.503 {SELECT null NOT IN (2,3,4)} {{}}
 182 do_execsql_test tkt-80e031a00f.504 {SELECT null IN ('b','c','d')} {{}}
 183 do_execsql_test tkt-80e031a00f.505 {SELECT null NOT IN ('b','c','d')} {{}}
 184 do_execsql_test tkt-80e031a00f.506 {SELECT null IN ('b','c',null,'d')} {{}}
 185 do_execsql_test tkt-80e031a00f.507 {SELECT null NOT IN (null,'b','c','d')} {{}}
 186 do_execsql_test tkt-80e031a00f.508 {SELECT null IN t4} {{}}
 187 do_execsql_test tkt-80e031a00f.509 {SELECT null NOT IN t4} {{}}
 188 do_execsql_test tkt-80e031a00f.510 {SELECT null IN t4n} {{}}
 189 do_execsql_test tkt-80e031a00f.511 {SELECT null NOT IN t4n} {{}}
 190 do_execsql_test tkt-80e031a00f.512 {SELECT null IN t5} {{}}
 191 do_execsql_test tkt-80e031a00f.513 {SELECT null NOT IN t5} {{}}
 192 do_execsql_test tkt-80e031a00f.514 {SELECT null IN t6} {{}}
 193 do_execsql_test tkt-80e031a00f.515 {SELECT null NOT IN t6} {{}}
 194 do_execsql_test tkt-80e031a00f.516 {SELECT null IN t6n} {{}}
 195 do_execsql_test tkt-80e031a00f.517 {SELECT null NOT IN t6n} {{}}
 196 do_execsql_test tkt-80e031a00f.518 {SELECT null IN t7} {{}}
 197 do_execsql_test tkt-80e031a00f.519 {SELECT null NOT IN t7} {{}}
 198 do_execsql_test tkt-80e031a00f.520 {SELECT null IN t7n} {{}}
 199 do_execsql_test tkt-80e031a00f.521 {SELECT null NOT IN t7n} {{}}
 200 do_execsql_test tkt-80e031a00f.522 {SELECT null IN t8} {{}}
 201 do_execsql_test tkt-80e031a00f.523 {SELECT null NOT IN t8} {{}}
 202 do_execsql_test tkt-80e031a00f.524 {SELECT null IN t8n} {{}}
 203 do_execsql_test tkt-80e031a00f.525 {SELECT null NOT IN t8n} {{}}
 204
 205 finish_test