3 # The author disclaims copyright to this source code. In place of
4 # a legal notice, here is a blessing:
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.
10 #***********************************************************************
11 # This file implements regression tests for SQLite library. The
12 # focus of this file is testing the IN and BETWEEN operator.
14 # $Id: in.test,v 1.22 2008/08/04 03:51:24 danielk1977 Exp $
16 set testdir [file dirname $argv0]
17 source $testdir/tester.tcl
19 # Generate the test data we will need for the first squences of tests.
24 CREATE TABLE t1(a int, b int);
26 for {set i 1} {$i<=10} {incr i} {
27 execsql "INSERT INTO t1 VALUES($i,[expr {1<<$i}])"
31 SELECT count(*) FROM t1;
35 # Do basic testing of BETWEEN.
38 execsql {SELECT a FROM t1 WHERE b BETWEEN 10 AND 50 ORDER BY a}
41 execsql {SELECT a FROM t1 WHERE b NOT BETWEEN 10 AND 50 ORDER BY a}
44 execsql {SELECT a FROM t1 WHERE b BETWEEN a AND a*5 ORDER BY a}
47 execsql {SELECT a FROM t1 WHERE b NOT BETWEEN a AND a*5 ORDER BY a}
50 execsql {SELECT a FROM t1 WHERE b BETWEEN a AND a*5 OR b=512 ORDER BY a}
53 execsql {SELECT a+ 100*(a BETWEEN 1 and 3) FROM t1 ORDER BY b}
54 } {101 102 103 4 5 6 7 8 9 10}
56 # The rest of this file concentrates on testing the IN operator.
57 # Skip this if the library is compiled with SQLITE_OMIT_SUBQUERY
58 # (because the IN operator is unavailable).
65 # Testing of the IN operator using static lists on the right-hand side.
68 execsql {SELECT a FROM t1 WHERE b IN (8,12,16,24,32) ORDER BY a}
71 execsql {SELECT a FROM t1 WHERE b NOT IN (8,12,16,24,32) ORDER BY a}
74 execsql {SELECT a FROM t1 WHERE b IN (8,12,16,24,32) OR b=512 ORDER BY a}
77 execsql {SELECT a FROM t1 WHERE b NOT IN (8,12,16,24,32) OR b=512 ORDER BY a}
80 execsql {SELECT a+100*(b IN (8,16,24)) FROM t1 ORDER BY b}
81 } {1 2 103 104 5 6 7 8 9 10}
84 execsql {SELECT a FROM t1 WHERE b IN (b+8,64)}
87 execsql {SELECT a FROM t1 WHERE b IN (max(5,10,b),20)}
90 execsql {SELECT a FROM t1 WHERE b IN (8*2,64/2) ORDER BY b}
93 execsql {SELECT a FROM t1 WHERE b IN (max(5,10),20)}
96 execsql {SELECT a FROM t1 WHERE min(0,b IN (a,30))}
99 set v [catch {execsql {SELECT a FROM t1 WHERE c IN (10,20)}} msg]
101 } {1 {no such column: c}}
103 # Testing the IN operator where the right-hand side is a SELECT
108 WHERE b IN (SELECT b FROM t1 WHERE a<5)
115 WHERE b IN (SELECT b FROM t1 WHERE a<5) OR b==512
121 SELECT a + 100*(b IN (SELECT b FROM t1 WHERE a<5)) FROM t1 ORDER BY b
123 } {101 102 103 104 5 6 7 8 9 10}
125 # Make sure the UPDATE and DELETE commands work with IN-SELECT
130 WHERE b IN (SELECT b FROM t1 WHERE a>8)
132 execsql {SELECT b FROM t1 ORDER BY b}
133 } {2 4 8 16 32 64 128 256 1024 2048}
136 DELETE FROM t1 WHERE b IN (SELECT b FROM t1 WHERE a>8)
138 execsql {SELECT a FROM t1 ORDER BY a}
142 DELETE FROM t1 WHERE b NOT IN (SELECT b FROM t1 WHERE a>4)
144 execsql {SELECT a FROM t1 ORDER BY a}
147 # Do an IN with a constant RHS but where the RHS has many, many
148 # elements. We need to test that collisions in the hash table
149 # are resolved properly.
153 INSERT INTO t1 VALUES('hello', 'world');
156 'Do','an','IN','with','a','constant','RHS','but','where','the',
157 'has','many','elements','We','need','to','test','that',
158 'collisions','hash','table','are','resolved','properly',
159 'This','in-set','contains','thirty','one','entries','hello');
163 # Make sure the IN operator works with INTEGER PRIMARY KEY fields.
167 CREATE TABLE ta(a INTEGER PRIMARY KEY, b);
168 INSERT INTO ta VALUES(1,1);
169 INSERT INTO ta VALUES(2,2);
170 INSERT INTO ta VALUES(3,3);
171 INSERT INTO ta VALUES(4,4);
172 INSERT INTO ta VALUES(6,6);
173 INSERT INTO ta VALUES(8,8);
174 INSERT INTO ta VALUES(10,
175 'This is a key that is long enough to require a malloc in the VDBE');
176 SELECT * FROM ta WHERE a<10;
178 } {1 1 2 2 3 3 4 4 6 6 8 8}
181 CREATE TABLE tb(a INTEGER PRIMARY KEY, b);
182 INSERT INTO tb VALUES(1,1);
183 INSERT INTO tb VALUES(2,2);
184 INSERT INTO tb VALUES(3,3);
185 INSERT INTO tb VALUES(5,5);
186 INSERT INTO tb VALUES(7,7);
187 INSERT INTO tb VALUES(9,9);
188 INSERT INTO tb VALUES(11,
189 'This is a key that is long enough to require a malloc in the VDBE');
190 SELECT * FROM tb WHERE a<10;
192 } {1 1 2 2 3 3 5 5 7 7 9 9}
195 SELECT a FROM ta WHERE b IN (SELECT a FROM tb);
200 SELECT a FROM ta WHERE b NOT IN (SELECT a FROM tb);
205 SELECT a FROM ta WHERE b IN (SELECT b FROM tb);
210 SELECT a FROM ta WHERE b NOT IN (SELECT b FROM tb);
215 SELECT a FROM ta WHERE a IN (SELECT a FROM tb);
220 SELECT a FROM ta WHERE a NOT IN (SELECT a FROM tb);
225 SELECT a FROM ta WHERE a IN (SELECT b FROM tb);
230 SELECT a FROM ta WHERE a NOT IN (SELECT b FROM tb);
234 # Tests of IN operator against empty sets. (Ticket #185)
238 SELECT a FROM t1 WHERE a IN ();
243 SELECT a FROM t1 WHERE a IN (5);
248 SELECT a FROM t1 WHERE a NOT IN () ORDER BY a;
253 SELECT a FROM t1 WHERE a IN (5) AND b IN ();
258 SELECT a FROM t1 WHERE a IN (5) AND b NOT IN ();
263 SELECT a FROM ta WHERE a IN ();
271 SELECT a FROM ta WHERE a NOT IN ();
277 SELECT * FROM ta LEFT JOIN tb ON (ta.b=tb.b) WHERE ta.a IN ();
286 SELECT b FROM t1 WHERE a IN ('hello','there')
291 SELECT b FROM t1 WHERE a IN ("hello",'there')
295 # Test constructs of the form: expr IN tablename
299 CREATE TABLE t4 AS SELECT a FROM tb;
305 SELECT b FROM t1 WHERE a IN t4;
310 SELECT b FROM t1 WHERE a NOT IN t4;
315 SELECT b FROM t1 WHERE a NOT IN tb;
317 } {1 {sub-select returns 2 columns - expected 1}}
319 # IN clauses in CHECK constraints. Ticket #1645
325 CHECK( a IN (111,222,333) )
327 INSERT INTO t5 VALUES(111);
333 INSERT INTO t5 VALUES(4);
335 } {1 {CHECK constraint failed: t5}}
339 # Type affinity applied to the right-hand side of an IN operator.
343 CREATE TABLE t6(a,b NUMERIC);
344 INSERT INTO t6 VALUES(1,2);
345 INSERT INTO t6 VALUES(2,3);
346 SELECT * FROM t6 WHERE b IN (2);
350 # The '2' should be coerced into 2 because t6.b is NUMERIC
352 SELECT * FROM t6 WHERE b IN ('2');
356 # No coercion should occur here because of the unary + before b.
358 SELECT * FROM t6 WHERE +b IN ('2');
362 # No coercion because column a as affinity NONE
364 SELECT * FROM t6 WHERE a IN ('2');
369 SELECT * FROM t6 WHERE a IN (2);
373 # No coercion because column a as affinity NONE
375 SELECT * FROM t6 WHERE +a IN ('2');
379 # Test error conditions with expressions of the form IN(<compound select>).
384 CREATE TABLE t2(a, b, c);
385 CREATE TABLE t3(a, b, c);
390 SELECT * FROM t2 WHERE a IN (
391 SELECT a, b FROM t3 UNION ALL SELECT a, b FROM t2
394 } {1 {sub-select returns 2 columns - expected 1}}
397 SELECT * FROM t2 WHERE a IN (
398 SELECT a, b FROM t3 UNION SELECT a, b FROM t2
401 } {1 {sub-select returns 2 columns - expected 1}}
404 SELECT * FROM t2 WHERE a IN (
405 SELECT a, b FROM t3 EXCEPT SELECT a, b FROM t2
408 } {1 {sub-select returns 2 columns - expected 1}}
411 SELECT * FROM t2 WHERE a IN (
412 SELECT a, b FROM t3 INTERSECT SELECT a, b FROM t2
415 } {1 {sub-select returns 2 columns - expected 1}}
418 SELECT * FROM t2 WHERE a IN (
419 SELECT a, b FROM t3 UNION ALL SELECT a FROM t2
422 } {1 {SELECTs to the left and right of UNION ALL do not have the same number of result columns}}
425 SELECT * FROM t2 WHERE a IN (
426 SELECT a, b FROM t3 UNION SELECT a FROM t2
429 } {1 {SELECTs to the left and right of UNION do not have the same number of result columns}}
432 SELECT * FROM t2 WHERE a IN (
433 SELECT a, b FROM t3 EXCEPT SELECT a FROM t2
436 } {1 {SELECTs to the left and right of EXCEPT do not have the same number of result columns}}
439 SELECT * FROM t2 WHERE a IN (
440 SELECT a, b FROM t3 INTERSECT SELECT a FROM t2
443 } {1 {SELECTs to the left and right of INTERSECT do not have the same number of result columns}}
449 SELECT * FROM t2 WHERE a IN (
450 SELECT a FROM t3 UNION ALL SELECT a, b FROM t2
453 } {1 {SELECTs to the left and right of UNION ALL do not have the same number of result columns}}
456 SELECT * FROM t2 WHERE a IN (
457 SELECT a FROM t3 UNION SELECT a, b FROM t2
460 } {1 {SELECTs to the left and right of UNION do not have the same number of result columns}}
463 SELECT * FROM t2 WHERE a IN (
464 SELECT a FROM t3 EXCEPT SELECT a, b FROM t2
467 } {1 {SELECTs to the left and right of EXCEPT do not have the same number of result columns}}
470 SELECT * FROM t2 WHERE a IN (
471 SELECT a FROM t3 INTERSECT SELECT a, b FROM t2
474 } {1 {SELECTs to the left and right of INTERSECT do not have the same number of result columns}}
477 SELECT * FROM t2 WHERE a IN (
478 SELECT a, b FROM t3 UNION ALL SELECT a, b FROM t2
481 } {1 {sub-select returns 2 columns - expected 1}}
484 SELECT * FROM t2 WHERE a IN (
485 SELECT a, b FROM t3 UNION ALL SELECT a FROM t2
488 } {1 {SELECTs to the left and right of UNION ALL do not have the same number of result columns}}
489 }; #ifcapable compound
492 #------------------------------------------------------------------------
493 # The following tests check that NULL is handled correctly when it
494 # appears as part of a set of values on the right-hand side of an
495 # IN or NOT IN operator.
497 # When it appears in such a set, NULL is handled as an "unknown value".
498 # If, because of the unknown value in the set, the result of the expression
499 # cannot be determined, then it itself evaluates to NULL.
502 # Warm body test to demonstrate the principles being tested:
507 1 IN (NULL, 1, 2), -- The value 1 is a member of the set, return true.
508 3 IN (NULL, 1, 2), -- Ambiguous, return NULL.
509 1 NOT IN (NULL, 1, 2), -- The value 1 is a member of the set, return false.
510 3 NOT IN (NULL, 1, 2) -- Ambiguous, return NULL.
516 CREATE TABLE t7(a, b, c NOT NULL);
517 INSERT INTO t7 VALUES(1, 1, 1);
518 INSERT INTO t7 VALUES(2, 2, 2);
519 INSERT INTO t7 VALUES(3, 3, 3);
520 INSERT INTO t7 VALUES(NULL, 4, 4);
521 INSERT INTO t7 VALUES(NULL, 5, 5);
526 execsql { SELECT 2 IN (SELECT a FROM t7) }
529 execsql { SELECT 6 IN (SELECT a FROM t7) }
533 execsql { SELECT 2 IN (SELECT b FROM t7) }
536 execsql { SELECT 6 IN (SELECT b FROM t7) }
540 execsql { SELECT 2 IN (SELECT c FROM t7) }
543 execsql { SELECT 6 IN (SELECT c FROM t7) }
549 2 NOT IN (SELECT a FROM t7),
550 6 NOT IN (SELECT a FROM t7),
551 2 NOT IN (SELECT b FROM t7),
552 6 NOT IN (SELECT b FROM t7),
553 2 NOT IN (SELECT c FROM t7),
554 6 NOT IN (SELECT c FROM t7)
563 WHERE inside.b BETWEEN outside.b+1 AND outside.b+2
565 FROM t7 AS outside ORDER BY b;
567 } {0 null null null 0}
574 WHERE inside.b BETWEEN outside.b+1 AND outside.b+2
576 FROM t7 AS outside ORDER BY b;
578 } {1 null null null 1}
582 CREATE INDEX i1 ON t7(a);
583 CREATE INDEX i2 ON t7(b);
584 CREATE INDEX i3 ON t7(c);
588 2 IN (SELECT a FROM t7),
589 6 IN (SELECT a FROM t7),
590 2 IN (SELECT b FROM t7),
591 6 IN (SELECT b FROM t7),
592 2 IN (SELECT c FROM t7),
593 6 IN (SELECT c FROM t7)
600 2 NOT IN (SELECT a FROM t7),
601 6 NOT IN (SELECT a FROM t7),
602 2 NOT IN (SELECT b FROM t7),
603 6 NOT IN (SELECT b FROM t7),
604 2 NOT IN (SELECT c FROM t7),
605 6 NOT IN (SELECT c FROM t7)
612 CREATE TABLE a(id INTEGER);
613 INSERT INTO a VALUES(1);
614 INSERT INTO a VALUES(2);
615 INSERT INTO a VALUES(3);
616 CREATE TABLE b(id INTEGER);
617 INSERT INTO b VALUES(NULL);
618 INSERT INTO b VALUES(3);
619 INSERT INTO b VALUES(4);
620 INSERT INTO b VALUES(5);
622 SELECT * FROM a WHERE id NOT IN (SELECT id FROM b);
627 CREATE INDEX i5 ON b(id);
628 SELECT * FROM a WHERE id NOT IN (SELECT id FROM b);
634 SELECT 0 WHERE (SELECT 0,0) OR (0 IN (1,2));
636 } {1 {sub-select returns 2 columns - expected 1}}
643 # At one point the following was causing valgrind to report a "jump
644 # depends on unitialized location" problem.
646 do_execsql_test in-14.0 {
648 INSERT INTO c1 VALUES(1), (2), (4), (3);
650 do_execsql_test in-14.1 {
651 SELECT * FROM c1 WHERE a IN (SELECT a FROM c1) ORDER BY 1