SQLite4
Hex Artifact Content
Not logged in

Artifact 4ed9b215a8049a4da3a112d7e095cd643657e83e:


0000: 23 20 32 30 30 31 20 53 65 70 74 65 6d 62 65 72  # 2001 September
0010: 20 31 35 0a 23 0a 23 20 54 68 65 20 61 75 74 68   15.#.# The auth
0020: 6f 72 20 64 69 73 63 6c 61 69 6d 73 20 63 6f 70  or disclaims cop
0030: 79 72 69 67 68 74 20 74 6f 20 74 68 69 73 20 73  yright to this s
0040: 6f 75 72 63 65 20 63 6f 64 65 2e 20 20 49 6e 20  ource code.  In 
0050: 70 6c 61 63 65 20 6f 66 0a 23 20 61 20 6c 65 67  place of.# a leg
0060: 61 6c 20 6e 6f 74 69 63 65 2c 20 68 65 72 65 20  al notice, here 
0070: 69 73 20 61 20 62 6c 65 73 73 69 6e 67 3a 0a 23  is a blessing:.#
0080: 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20 64 6f  .#    May you do
0090: 20 67 6f 6f 64 20 61 6e 64 20 6e 6f 74 20 65 76   good and not ev
00a0: 69 6c 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75  il..#    May you
00b0: 20 66 69 6e 64 20 66 6f 72 67 69 76 65 6e 65 73   find forgivenes
00c0: 73 20 66 6f 72 20 79 6f 75 72 73 65 6c 66 20 61  s for yourself a
00d0: 6e 64 20 66 6f 72 67 69 76 65 20 6f 74 68 65 72  nd forgive other
00e0: 73 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20  s..#    May you 
00f0: 73 68 61 72 65 20 66 72 65 65 6c 79 2c 20 6e 65  share freely, ne
0100: 76 65 72 20 74 61 6b 69 6e 67 20 6d 6f 72 65 20  ver taking more 
0110: 74 68 61 6e 20 79 6f 75 20 67 69 76 65 2e 0a 23  than you give..#
0120: 0a 23 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  .#**************
0130: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0140: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0150: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0160: 2a 2a 2a 2a 2a 2a 2a 2a 2a 0a 23 20 54 68 69 73  *********.# This
0170: 20 66 69 6c 65 20 69 6d 70 6c 65 6d 65 6e 74 73   file implements
0180: 20 72 65 67 72 65 73 73 69 6f 6e 20 74 65 73 74   regression test
0190: 73 20 66 6f 72 20 53 51 4c 69 74 65 20 6c 69 62  s for SQLite lib
01a0: 72 61 72 79 2e 20 20 54 68 65 0a 23 20 66 6f 63  rary.  The.# foc
01b0: 75 73 20 6f 66 20 74 68 69 73 20 66 69 6c 65 20  us of this file 
01c0: 69 73 20 74 65 73 74 69 6e 67 20 74 68 65 20 49  is testing the I
01d0: 4e 20 61 6e 64 20 42 45 54 57 45 45 4e 20 6f 70  N and BETWEEN op
01e0: 65 72 61 74 6f 72 2e 0a 23 0a 23 20 24 49 64 3a  erator..#.# $Id:
01f0: 20 69 6e 2e 74 65 73 74 2c 76 20 31 2e 32 32 20   in.test,v 1.22 
0200: 32 30 30 38 2f 30 38 2f 30 34 20 30 33 3a 35 31  2008/08/04 03:51
0210: 3a 32 34 20 64 61 6e 69 65 6c 6b 31 39 37 37 20  :24 danielk1977 
0220: 45 78 70 20 24 0a 0a 73 65 74 20 74 65 73 74 64  Exp $..set testd
0230: 69 72 20 5b 66 69 6c 65 20 64 69 72 6e 61 6d 65  ir [file dirname
0240: 20 24 61 72 67 76 30 5d 0a 73 6f 75 72 63 65 20   $argv0].source 
0250: 24 74 65 73 74 64 69 72 2f 74 65 73 74 65 72 2e  $testdir/tester.
0260: 74 63 6c 0a 0a 23 20 47 65 6e 65 72 61 74 65 20  tcl..# Generate 
0270: 74 68 65 20 74 65 73 74 20 64 61 74 61 20 77 65  the test data we
0280: 20 77 69 6c 6c 20 6e 65 65 64 20 66 6f 72 20 74   will need for t
0290: 68 65 20 66 69 72 73 74 20 73 71 75 65 6e 63 65  he first squence
02a0: 73 20 6f 66 20 74 65 73 74 73 2e 0a 23 0a 64 6f  s of tests..#.do
02b0: 5f 74 65 73 74 20 69 6e 2d 31 2e 30 20 7b 0a 20  _test in-1.0 {. 
02c0: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 42   execsql {.    B
02d0: 45 47 49 4e 3b 0a 20 20 20 20 43 52 45 41 54 45  EGIN;.    CREATE
02e0: 20 54 41 42 4c 45 20 74 31 28 61 20 69 6e 74 2c   TABLE t1(a int,
02f0: 20 62 20 69 6e 74 29 3b 0a 20 20 7d 0a 20 20 66   b int);.  }.  f
0300: 6f 72 20 7b 73 65 74 20 69 20 31 7d 20 7b 24 69  or {set i 1} {$i
0310: 3c 3d 31 30 7d 20 7b 69 6e 63 72 20 69 7d 20 7b  <=10} {incr i} {
0320: 0a 20 20 20 20 65 78 65 63 73 71 6c 20 22 49 4e  .    execsql "IN
0330: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c  SERT INTO t1 VAL
0340: 55 45 53 28 24 69 2c 5b 65 78 70 72 20 7b 31 3c  UES($i,[expr {1<
0350: 3c 24 69 7d 5d 29 22 0a 20 20 7d 0a 20 20 65 78  <$i}])".  }.  ex
0360: 65 63 73 71 6c 20 7b 0a 20 20 20 20 43 4f 4d 4d  ecsql {.    COMM
0370: 49 54 3b 0a 20 20 20 20 53 45 4c 45 43 54 20 63  IT;.    SELECT c
0380: 6f 75 6e 74 28 2a 29 20 46 52 4f 4d 20 74 31 3b  ount(*) FROM t1;
0390: 0a 20 20 7d 0a 7d 20 7b 31 30 7d 0a 0a 23 20 44  .  }.} {10}..# D
03a0: 6f 20 62 61 73 69 63 20 74 65 73 74 69 6e 67 20  o basic testing 
03b0: 6f 66 20 42 45 54 57 45 45 4e 2e 0a 23 0a 64 6f  of BETWEEN..#.do
03c0: 5f 74 65 73 74 20 69 6e 2d 31 2e 31 20 7b 0a 20  _test in-1.1 {. 
03d0: 20 65 78 65 63 73 71 6c 20 7b 53 45 4c 45 43 54   execsql {SELECT
03e0: 20 61 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45   a FROM t1 WHERE
03f0: 20 62 20 42 45 54 57 45 45 4e 20 31 30 20 41 4e   b BETWEEN 10 AN
0400: 44 20 35 30 20 4f 52 44 45 52 20 42 59 20 61 7d  D 50 ORDER BY a}
0410: 0a 7d 20 7b 34 20 35 7d 0a 64 6f 5f 74 65 73 74  .} {4 5}.do_test
0420: 20 69 6e 2d 31 2e 32 20 7b 0a 20 20 65 78 65 63   in-1.2 {.  exec
0430: 73 71 6c 20 7b 53 45 4c 45 43 54 20 61 20 46 52  sql {SELECT a FR
0440: 4f 4d 20 74 31 20 57 48 45 52 45 20 62 20 4e 4f  OM t1 WHERE b NO
0450: 54 20 42 45 54 57 45 45 4e 20 31 30 20 41 4e 44  T BETWEEN 10 AND
0460: 20 35 30 20 4f 52 44 45 52 20 42 59 20 61 7d 0a   50 ORDER BY a}.
0470: 7d 20 7b 31 20 32 20 33 20 36 20 37 20 38 20 39  } {1 2 3 6 7 8 9
0480: 20 31 30 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 2d   10}.do_test in-
0490: 31 2e 33 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  1.3 {.  execsql 
04a0: 7b 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74  {SELECT a FROM t
04b0: 31 20 57 48 45 52 45 20 62 20 42 45 54 57 45 45  1 WHERE b BETWEE
04c0: 4e 20 61 20 41 4e 44 20 61 2a 35 20 4f 52 44 45  N a AND a*5 ORDE
04d0: 52 20 42 59 20 61 7d 0a 7d 20 7b 31 20 32 20 33  R BY a}.} {1 2 3
04e0: 20 34 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 31   4}.do_test in-1
04f0: 2e 34 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b  .4 {.  execsql {
0500: 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 31  SELECT a FROM t1
0510: 20 57 48 45 52 45 20 62 20 4e 4f 54 20 42 45 54   WHERE b NOT BET
0520: 57 45 45 4e 20 61 20 41 4e 44 20 61 2a 35 20 4f  WEEN a AND a*5 O
0530: 52 44 45 52 20 42 59 20 61 7d 0a 7d 20 7b 35 20  RDER BY a}.} {5 
0540: 36 20 37 20 38 20 39 20 31 30 7d 0a 64 6f 5f 74  6 7 8 9 10}.do_t
0550: 65 73 74 20 69 6e 2d 31 2e 36 20 7b 0a 20 20 65  est in-1.6 {.  e
0560: 78 65 63 73 71 6c 20 7b 53 45 4c 45 43 54 20 61  xecsql {SELECT a
0570: 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 62   FROM t1 WHERE b
0580: 20 42 45 54 57 45 45 4e 20 61 20 41 4e 44 20 61   BETWEEN a AND a
0590: 2a 35 20 4f 52 20 62 3d 35 31 32 20 4f 52 44 45  *5 OR b=512 ORDE
05a0: 52 20 42 59 20 61 7d 0a 7d 20 7b 31 20 32 20 33  R BY a}.} {1 2 3
05b0: 20 34 20 39 7d 0a 64 6f 5f 74 65 73 74 20 69 6e   4 9}.do_test in
05c0: 2d 31 2e 37 20 7b 0a 20 20 65 78 65 63 73 71 6c  -1.7 {.  execsql
05d0: 20 7b 53 45 4c 45 43 54 20 61 2b 20 31 30 30 2a   {SELECT a+ 100*
05e0: 28 61 20 42 45 54 57 45 45 4e 20 31 20 61 6e 64  (a BETWEEN 1 and
05f0: 20 33 29 20 46 52 4f 4d 20 74 31 20 4f 52 44 45   3) FROM t1 ORDE
0600: 52 20 42 59 20 62 7d 0a 7d 20 7b 31 30 31 20 31  R BY b}.} {101 1
0610: 30 32 20 31 30 33 20 34 20 35 20 36 20 37 20 38  02 103 4 5 6 7 8
0620: 20 39 20 31 30 7d 0a 0a 23 20 54 68 65 20 72 65   9 10}..# The re
0630: 73 74 20 6f 66 20 74 68 69 73 20 66 69 6c 65 20  st of this file 
0640: 63 6f 6e 63 65 6e 74 72 61 74 65 73 20 6f 6e 20  concentrates on 
0650: 74 65 73 74 69 6e 67 20 74 68 65 20 49 4e 20 6f  testing the IN o
0660: 70 65 72 61 74 6f 72 2e 0a 23 20 53 6b 69 70 20  perator..# Skip 
0670: 74 68 69 73 20 69 66 20 74 68 65 20 6c 69 62 72  this if the libr
0680: 61 72 79 20 69 73 20 63 6f 6d 70 69 6c 65 64 20  ary is compiled 
0690: 77 69 74 68 20 53 51 4c 49 54 45 34 5f 4f 4d 49  with SQLITE4_OMI
06a0: 54 5f 53 55 42 51 55 45 52 59 20 0a 23 20 28 62  T_SUBQUERY .# (b
06b0: 65 63 61 75 73 65 20 74 68 65 20 49 4e 20 6f 70  ecause the IN op
06c0: 65 72 61 74 6f 72 20 69 73 20 75 6e 61 76 61 69  erator is unavai
06d0: 6c 61 62 6c 65 29 2e 0a 23 0a 69 66 63 61 70 61  lable)..#.ifcapa
06e0: 62 6c 65 20 21 73 75 62 71 75 65 72 79 20 7b 0a  ble !subquery {.
06f0: 20 20 66 69 6e 69 73 68 5f 74 65 73 74 0a 20 20    finish_test.  
0700: 72 65 74 75 72 6e 0a 7d 0a 0a 23 20 54 65 73 74  return.}..# Test
0710: 69 6e 67 20 6f 66 20 74 68 65 20 49 4e 20 6f 70  ing of the IN op
0720: 65 72 61 74 6f 72 20 75 73 69 6e 67 20 73 74 61  erator using sta
0730: 74 69 63 20 6c 69 73 74 73 20 6f 6e 20 74 68 65  tic lists on the
0740: 20 72 69 67 68 74 2d 68 61 6e 64 20 73 69 64 65   right-hand side
0750: 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 32  ..#.do_test in-2
0760: 2e 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b  .1 {.  execsql {
0770: 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 31  SELECT a FROM t1
0780: 20 57 48 45 52 45 20 62 20 49 4e 20 28 38 2c 31   WHERE b IN (8,1
0790: 32 2c 31 36 2c 32 34 2c 33 32 29 20 4f 52 44 45  2,16,24,32) ORDE
07a0: 52 20 42 59 20 61 7d 0a 7d 20 7b 33 20 34 20 35  R BY a}.} {3 4 5
07b0: 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 32 2e 32  }.do_test in-2.2
07c0: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 53 45   {.  execsql {SE
07d0: 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 31 20 57  LECT a FROM t1 W
07e0: 48 45 52 45 20 62 20 4e 4f 54 20 49 4e 20 28 38  HERE b NOT IN (8
07f0: 2c 31 32 2c 31 36 2c 32 34 2c 33 32 29 20 4f 52  ,12,16,24,32) OR
0800: 44 45 52 20 42 59 20 61 7d 0a 7d 20 7b 31 20 32  DER BY a}.} {1 2
0810: 20 36 20 37 20 38 20 39 20 31 30 7d 0a 64 6f 5f   6 7 8 9 10}.do_
0820: 74 65 73 74 20 69 6e 2d 32 2e 33 20 7b 0a 20 20  test in-2.3 {.  
0830: 65 78 65 63 73 71 6c 20 7b 53 45 4c 45 43 54 20  execsql {SELECT 
0840: 61 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20  a FROM t1 WHERE 
0850: 62 20 49 4e 20 28 38 2c 31 32 2c 31 36 2c 32 34  b IN (8,12,16,24
0860: 2c 33 32 29 20 4f 52 20 62 3d 35 31 32 20 4f 52  ,32) OR b=512 OR
0870: 44 45 52 20 42 59 20 61 7d 0a 7d 20 7b 33 20 34  DER BY a}.} {3 4
0880: 20 35 20 39 7d 0a 64 6f 5f 74 65 73 74 20 69 6e   5 9}.do_test in
0890: 2d 32 2e 34 20 7b 0a 20 20 65 78 65 63 73 71 6c  -2.4 {.  execsql
08a0: 20 7b 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20   {SELECT a FROM 
08b0: 74 31 20 57 48 45 52 45 20 62 20 4e 4f 54 20 49  t1 WHERE b NOT I
08c0: 4e 20 28 38 2c 31 32 2c 31 36 2c 32 34 2c 33 32  N (8,12,16,24,32
08d0: 29 20 4f 52 20 62 3d 35 31 32 20 4f 52 44 45 52  ) OR b=512 ORDER
08e0: 20 42 59 20 61 7d 0a 7d 20 7b 31 20 32 20 36 20   BY a}.} {1 2 6 
08f0: 37 20 38 20 39 20 31 30 7d 0a 64 6f 5f 74 65 73  7 8 9 10}.do_tes
0900: 74 20 69 6e 2d 32 2e 35 20 7b 0a 20 20 65 78 65  t in-2.5 {.  exe
0910: 63 73 71 6c 20 7b 53 45 4c 45 43 54 20 61 2b 31  csql {SELECT a+1
0920: 30 30 2a 28 62 20 49 4e 20 28 38 2c 31 36 2c 32  00*(b IN (8,16,2
0930: 34 29 29 20 46 52 4f 4d 20 74 31 20 4f 52 44 45  4)) FROM t1 ORDE
0940: 52 20 42 59 20 62 7d 0a 7d 20 7b 31 20 32 20 31  R BY b}.} {1 2 1
0950: 30 33 20 31 30 34 20 35 20 36 20 37 20 38 20 39  03 104 5 6 7 8 9
0960: 20 31 30 7d 0a 0a 64 6f 5f 74 65 73 74 20 69 6e   10}..do_test in
0970: 2d 32 2e 36 20 7b 0a 20 20 65 78 65 63 73 71 6c  -2.6 {.  execsql
0980: 20 7b 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20   {SELECT a FROM 
0990: 74 31 20 57 48 45 52 45 20 62 20 49 4e 20 28 62  t1 WHERE b IN (b
09a0: 2b 38 2c 36 34 29 7d 0a 7d 20 7b 36 7d 0a 64 6f  +8,64)}.} {6}.do
09b0: 5f 74 65 73 74 20 69 6e 2d 32 2e 37 20 7b 0a 20  _test in-2.7 {. 
09c0: 20 65 78 65 63 73 71 6c 20 7b 53 45 4c 45 43 54   execsql {SELECT
09d0: 20 61 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45   a FROM t1 WHERE
09e0: 20 62 20 49 4e 20 28 6d 61 78 28 35 2c 31 30 2c   b IN (max(5,10,
09f0: 62 29 2c 32 30 29 7d 0a 7d 20 7b 34 20 35 20 36  b),20)}.} {4 5 6
0a00: 20 37 20 38 20 39 20 31 30 7d 0a 64 6f 5f 74 65   7 8 9 10}.do_te
0a10: 73 74 20 69 6e 2d 32 2e 38 20 7b 0a 20 20 65 78  st in-2.8 {.  ex
0a20: 65 63 73 71 6c 20 7b 53 45 4c 45 43 54 20 61 20  ecsql {SELECT a 
0a30: 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 62 20  FROM t1 WHERE b 
0a40: 49 4e 20 28 38 2a 32 2c 36 34 2f 32 29 20 4f 52  IN (8*2,64/2) OR
0a50: 44 45 52 20 42 59 20 62 7d 0a 7d 20 7b 34 20 35  DER BY b}.} {4 5
0a60: 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 32 2e 39  }.do_test in-2.9
0a70: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 53 45   {.  execsql {SE
0a80: 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 31 20 57  LECT a FROM t1 W
0a90: 48 45 52 45 20 62 20 49 4e 20 28 6d 61 78 28 35  HERE b IN (max(5
0aa0: 2c 31 30 29 2c 32 30 29 7d 0a 7d 20 7b 7d 0a 64  ,10),20)}.} {}.d
0ab0: 6f 5f 74 65 73 74 20 69 6e 2d 32 2e 31 30 20 7b  o_test in-2.10 {
0ac0: 0a 20 20 65 78 65 63 73 71 6c 20 7b 53 45 4c 45  .  execsql {SELE
0ad0: 43 54 20 61 20 46 52 4f 4d 20 74 31 20 57 48 45  CT a FROM t1 WHE
0ae0: 52 45 20 6d 69 6e 28 30 2c 62 20 49 4e 20 28 61  RE min(0,b IN (a
0af0: 2c 33 30 29 29 7d 0a 7d 20 7b 7d 0a 64 6f 5f 74  ,30))}.} {}.do_t
0b00: 65 73 74 20 69 6e 2d 32 2e 31 31 20 7b 0a 20 20  est in-2.11 {.  
0b10: 73 65 74 20 76 20 5b 63 61 74 63 68 20 7b 65 78  set v [catch {ex
0b20: 65 63 73 71 6c 20 7b 53 45 4c 45 43 54 20 61 20  ecsql {SELECT a 
0b30: 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 63 20  FROM t1 WHERE c 
0b40: 49 4e 20 28 31 30 2c 32 30 29 7d 7d 20 6d 73 67  IN (10,20)}} msg
0b50: 5d 0a 20 20 6c 61 70 70 65 6e 64 20 76 20 24 6d  ].  lappend v $m
0b60: 73 67 0a 7d 20 7b 31 20 7b 6e 6f 20 73 75 63 68  sg.} {1 {no such
0b70: 20 63 6f 6c 75 6d 6e 3a 20 63 7d 7d 0a 0a 23 20   column: c}}..# 
0b80: 54 65 73 74 69 6e 67 20 74 68 65 20 49 4e 20 6f  Testing the IN o
0b90: 70 65 72 61 74 6f 72 20 77 68 65 72 65 20 74 68  perator where th
0ba0: 65 20 72 69 67 68 74 2d 68 61 6e 64 20 73 69 64  e right-hand sid
0bb0: 65 20 69 73 20 61 20 53 45 4c 45 43 54 0a 23 0a  e is a SELECT.#.
0bc0: 64 6f 5f 74 65 73 74 20 69 6e 2d 33 2e 31 20 7b  do_test in-3.1 {
0bd0: 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20  .  execsql {.   
0be0: 20 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74   SELECT a FROM t
0bf0: 31 0a 20 20 20 20 57 48 45 52 45 20 62 20 49 4e  1.    WHERE b IN
0c00: 20 28 53 45 4c 45 43 54 20 62 20 46 52 4f 4d 20   (SELECT b FROM 
0c10: 74 31 20 57 48 45 52 45 20 61 3c 35 29 0a 20 20  t1 WHERE a<5).  
0c20: 20 20 4f 52 44 45 52 20 42 59 20 61 0a 20 20 7d    ORDER BY a.  }
0c30: 0a 7d 20 7b 31 20 32 20 33 20 34 7d 0a 64 6f 5f  .} {1 2 3 4}.do_
0c40: 74 65 73 74 20 69 6e 2d 33 2e 32 20 7b 0a 20 20  test in-3.2 {.  
0c50: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 45  execsql {.    SE
0c60: 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 31 0a 20  LECT a FROM t1. 
0c70: 20 20 20 57 48 45 52 45 20 62 20 49 4e 20 28 53     WHERE b IN (S
0c80: 45 4c 45 43 54 20 62 20 46 52 4f 4d 20 74 31 20  ELECT b FROM t1 
0c90: 57 48 45 52 45 20 61 3c 35 29 20 4f 52 20 62 3d  WHERE a<5) OR b=
0ca0: 3d 35 31 32 0a 20 20 20 20 4f 52 44 45 52 20 42  =512.    ORDER B
0cb0: 59 20 61 0a 20 20 7d 0a 7d 20 7b 31 20 32 20 33  Y a.  }.} {1 2 3
0cc0: 20 34 20 39 7d 0a 64 6f 5f 74 65 73 74 20 69 6e   4 9}.do_test in
0cd0: 2d 33 2e 33 20 7b 0a 20 20 65 78 65 63 73 71 6c  -3.3 {.  execsql
0ce0: 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 61 20   {.    SELECT a 
0cf0: 2b 20 31 30 30 2a 28 62 20 49 4e 20 28 53 45 4c  + 100*(b IN (SEL
0d00: 45 43 54 20 62 20 46 52 4f 4d 20 74 31 20 57 48  ECT b FROM t1 WH
0d10: 45 52 45 20 61 3c 35 29 29 20 46 52 4f 4d 20 74  ERE a<5)) FROM t
0d20: 31 20 4f 52 44 45 52 20 42 59 20 62 0a 20 20 7d  1 ORDER BY b.  }
0d30: 0a 7d 20 7b 31 30 31 20 31 30 32 20 31 30 33 20  .} {101 102 103 
0d40: 31 30 34 20 35 20 36 20 37 20 38 20 39 20 31 30  104 5 6 7 8 9 10
0d50: 7d 0a 0a 23 20 4d 61 6b 65 20 73 75 72 65 20 74  }..# Make sure t
0d60: 68 65 20 55 50 44 41 54 45 20 61 6e 64 20 44 45  he UPDATE and DE
0d70: 4c 45 54 45 20 63 6f 6d 6d 61 6e 64 73 20 77 6f  LETE commands wo
0d80: 72 6b 20 77 69 74 68 20 49 4e 2d 53 45 4c 45 43  rk with IN-SELEC
0d90: 54 0a 23 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 34  T.#.do_test in-4
0da0: 2e 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b  .1 {.  execsql {
0db0: 0a 20 20 20 20 55 50 44 41 54 45 20 74 31 20 53  .    UPDATE t1 S
0dc0: 45 54 20 62 3d 62 2a 32 20 0a 20 20 20 20 57 48  ET b=b*2 .    WH
0dd0: 45 52 45 20 62 20 49 4e 20 28 53 45 4c 45 43 54  ERE b IN (SELECT
0de0: 20 62 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45   b FROM t1 WHERE
0df0: 20 61 3e 38 29 0a 20 20 7d 0a 20 20 65 78 65 63   a>8).  }.  exec
0e00: 73 71 6c 20 7b 53 45 4c 45 43 54 20 62 20 46 52  sql {SELECT b FR
0e10: 4f 4d 20 74 31 20 4f 52 44 45 52 20 42 59 20 62  OM t1 ORDER BY b
0e20: 7d 0a 7d 20 7b 32 20 34 20 38 20 31 36 20 33 32  }.} {2 4 8 16 32
0e30: 20 36 34 20 31 32 38 20 32 35 36 20 31 30 32 34   64 128 256 1024
0e40: 20 32 30 34 38 7d 0a 64 6f 5f 74 65 73 74 20 69   2048}.do_test i
0e50: 6e 2d 34 2e 32 20 7b 0a 20 20 65 78 65 63 73 71  n-4.2 {.  execsq
0e60: 6c 20 7b 0a 20 20 20 20 44 45 4c 45 54 45 20 46  l {.    DELETE F
0e70: 52 4f 4d 20 74 31 20 57 48 45 52 45 20 62 20 49  ROM t1 WHERE b I
0e80: 4e 20 28 53 45 4c 45 43 54 20 62 20 46 52 4f 4d  N (SELECT b FROM
0e90: 20 74 31 20 57 48 45 52 45 20 61 3e 38 29 0a 20   t1 WHERE a>8). 
0ea0: 20 7d 0a 20 20 65 78 65 63 73 71 6c 20 7b 53 45   }.  execsql {SE
0eb0: 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 31 20 4f  LECT a FROM t1 O
0ec0: 52 44 45 52 20 42 59 20 61 7d 0a 7d 20 7b 31 20  RDER BY a}.} {1 
0ed0: 32 20 33 20 34 20 35 20 36 20 37 20 38 7d 0a 64  2 3 4 5 6 7 8}.d
0ee0: 6f 5f 74 65 73 74 20 69 6e 2d 34 2e 33 20 7b 0a  o_test in-4.3 {.
0ef0: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
0f00: 44 45 4c 45 54 45 20 46 52 4f 4d 20 74 31 20 57  DELETE FROM t1 W
0f10: 48 45 52 45 20 62 20 4e 4f 54 20 49 4e 20 28 53  HERE b NOT IN (S
0f20: 45 4c 45 43 54 20 62 20 46 52 4f 4d 20 74 31 20  ELECT b FROM t1 
0f30: 57 48 45 52 45 20 61 3e 34 29 0a 20 20 7d 0a 20  WHERE a>4).  }. 
0f40: 20 65 78 65 63 73 71 6c 20 7b 53 45 4c 45 43 54   execsql {SELECT
0f50: 20 61 20 46 52 4f 4d 20 74 31 20 4f 52 44 45 52   a FROM t1 ORDER
0f60: 20 42 59 20 61 7d 0a 7d 20 7b 35 20 36 20 37 20   BY a}.} {5 6 7 
0f70: 38 7d 0a 0a 23 20 44 6f 20 61 6e 20 49 4e 20 77  8}..# Do an IN w
0f80: 69 74 68 20 61 20 63 6f 6e 73 74 61 6e 74 20 52  ith a constant R
0f90: 48 53 20 62 75 74 20 77 68 65 72 65 20 74 68 65  HS but where the
0fa0: 20 52 48 53 20 68 61 73 20 6d 61 6e 79 2c 20 6d   RHS has many, m
0fb0: 61 6e 79 0a 23 20 65 6c 65 6d 65 6e 74 73 2e 20  any.# elements. 
0fc0: 20 57 65 20 6e 65 65 64 20 74 6f 20 74 65 73 74   We need to test
0fd0: 20 74 68 61 74 20 63 6f 6c 6c 69 73 69 6f 6e 73   that collisions
0fe0: 20 69 6e 20 74 68 65 20 68 61 73 68 20 74 61 62   in the hash tab
0ff0: 6c 65 0a 23 20 61 72 65 20 72 65 73 6f 6c 76 65  le.# are resolve
1000: 64 20 70 72 6f 70 65 72 6c 79 2e 0a 23 0a 64 6f  d properly..#.do
1010: 5f 74 65 73 74 20 69 6e 2d 35 2e 31 20 7b 0a 20  _test in-5.1 {. 
1020: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 49   execsql {.    I
1030: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41  NSERT INTO t1 VA
1040: 4c 55 45 53 28 27 68 65 6c 6c 6f 27 2c 20 27 77  LUES('hello', 'w
1050: 6f 72 6c 64 27 29 3b 0a 20 20 20 20 53 45 4c 45  orld');.    SELE
1060: 43 54 20 2a 20 46 52 4f 4d 20 74 31 0a 20 20 20  CT * FROM t1.   
1070: 20 57 48 45 52 45 20 61 20 49 4e 20 28 0a 20 20   WHERE a IN (.  
1080: 20 20 20 20 20 27 44 6f 27 2c 27 61 6e 27 2c 27       'Do','an','
1090: 49 4e 27 2c 27 77 69 74 68 27 2c 27 61 27 2c 27  IN','with','a','
10a0: 63 6f 6e 73 74 61 6e 74 27 2c 27 52 48 53 27 2c  constant','RHS',
10b0: 27 62 75 74 27 2c 27 77 68 65 72 65 27 2c 27 74  'but','where','t
10c0: 68 65 27 2c 0a 20 20 20 20 20 20 20 27 68 61 73  he',.       'has
10d0: 27 2c 27 6d 61 6e 79 27 2c 27 65 6c 65 6d 65 6e  ','many','elemen
10e0: 74 73 27 2c 27 57 65 27 2c 27 6e 65 65 64 27 2c  ts','We','need',
10f0: 27 74 6f 27 2c 27 74 65 73 74 27 2c 27 74 68 61  'to','test','tha
1100: 74 27 2c 0a 20 20 20 20 20 20 20 27 63 6f 6c 6c  t',.       'coll
1110: 69 73 69 6f 6e 73 27 2c 27 68 61 73 68 27 2c 27  isions','hash','
1120: 74 61 62 6c 65 27 2c 27 61 72 65 27 2c 27 72 65  table','are','re
1130: 73 6f 6c 76 65 64 27 2c 27 70 72 6f 70 65 72 6c  solved','properl
1140: 79 27 2c 0a 20 20 20 20 20 20 20 27 54 68 69 73  y',.       'This
1150: 27 2c 27 69 6e 2d 73 65 74 27 2c 27 63 6f 6e 74  ','in-set','cont
1160: 61 69 6e 73 27 2c 27 74 68 69 72 74 79 27 2c 27  ains','thirty','
1170: 6f 6e 65 27 2c 27 65 6e 74 72 69 65 73 27 2c 27  one','entries','
1180: 68 65 6c 6c 6f 27 29 3b 0a 20 20 7d 0a 7d 20 7b  hello');.  }.} {
1190: 68 65 6c 6c 6f 20 77 6f 72 6c 64 7d 0a 0a 23 20  hello world}..# 
11a0: 4d 61 6b 65 20 73 75 72 65 20 74 68 65 20 49 4e  Make sure the IN
11b0: 20 6f 70 65 72 61 74 6f 72 20 77 6f 72 6b 73 20   operator works 
11c0: 77 69 74 68 20 49 4e 54 45 47 45 52 20 50 52 49  with INTEGER PRI
11d0: 4d 41 52 59 20 4b 45 59 20 66 69 65 6c 64 73 2e  MARY KEY fields.
11e0: 0a 23 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 36 2e  .#.do_test in-6.
11f0: 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a  1 {.  execsql {.
1200: 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45      CREATE TABLE
1210: 20 74 61 28 61 20 49 4e 54 45 47 45 52 20 50 52   ta(a INTEGER PR
1220: 49 4d 41 52 59 20 4b 45 59 2c 20 62 29 3b 0a 20  IMARY KEY, b);. 
1230: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
1240: 61 20 56 41 4c 55 45 53 28 31 2c 31 29 3b 0a 20  a VALUES(1,1);. 
1250: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
1260: 61 20 56 41 4c 55 45 53 28 32 2c 32 29 3b 0a 20  a VALUES(2,2);. 
1270: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
1280: 61 20 56 41 4c 55 45 53 28 33 2c 33 29 3b 0a 20  a VALUES(3,3);. 
1290: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
12a0: 61 20 56 41 4c 55 45 53 28 34 2c 34 29 3b 0a 20  a VALUES(4,4);. 
12b0: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
12c0: 61 20 56 41 4c 55 45 53 28 36 2c 36 29 3b 0a 20  a VALUES(6,6);. 
12d0: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
12e0: 61 20 56 41 4c 55 45 53 28 38 2c 38 29 3b 0a 20  a VALUES(8,8);. 
12f0: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
1300: 61 20 56 41 4c 55 45 53 28 31 30 2c 0a 20 20 20  a VALUES(10,.   
1310: 20 20 20 20 27 54 68 69 73 20 69 73 20 61 20 6b      'This is a k
1320: 65 79 20 74 68 61 74 20 69 73 20 6c 6f 6e 67 20  ey that is long 
1330: 65 6e 6f 75 67 68 20 74 6f 20 72 65 71 75 69 72  enough to requir
1340: 65 20 61 20 6d 61 6c 6c 6f 63 20 69 6e 20 74 68  e a malloc in th
1350: 65 20 56 44 42 45 27 29 3b 0a 20 20 20 20 53 45  e VDBE');.    SE
1360: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 61 20 57  LECT * FROM ta W
1370: 48 45 52 45 20 61 3c 31 30 3b 0a 20 20 7d 0a 7d  HERE a<10;.  }.}
1380: 20 7b 31 20 31 20 32 20 32 20 33 20 33 20 34 20   {1 1 2 2 3 3 4 
1390: 34 20 36 20 36 20 38 20 38 7d 0a 64 6f 5f 74 65  4 6 6 8 8}.do_te
13a0: 73 74 20 69 6e 2d 36 2e 32 20 7b 0a 20 20 65 78  st in-6.2 {.  ex
13b0: 65 63 73 71 6c 20 7b 0a 20 20 20 20 43 52 45 41  ecsql {.    CREA
13c0: 54 45 20 54 41 42 4c 45 20 74 62 28 61 20 49 4e  TE TABLE tb(a IN
13d0: 54 45 47 45 52 20 50 52 49 4d 41 52 59 20 4b 45  TEGER PRIMARY KE
13e0: 59 2c 20 62 29 3b 0a 20 20 20 20 49 4e 53 45 52  Y, b);.    INSER
13f0: 54 20 49 4e 54 4f 20 74 62 20 56 41 4c 55 45 53  T INTO tb VALUES
1400: 28 31 2c 31 29 3b 0a 20 20 20 20 49 4e 53 45 52  (1,1);.    INSER
1410: 54 20 49 4e 54 4f 20 74 62 20 56 41 4c 55 45 53  T INTO tb VALUES
1420: 28 32 2c 32 29 3b 0a 20 20 20 20 49 4e 53 45 52  (2,2);.    INSER
1430: 54 20 49 4e 54 4f 20 74 62 20 56 41 4c 55 45 53  T INTO tb VALUES
1440: 28 33 2c 33 29 3b 0a 20 20 20 20 49 4e 53 45 52  (3,3);.    INSER
1450: 54 20 49 4e 54 4f 20 74 62 20 56 41 4c 55 45 53  T INTO tb VALUES
1460: 28 35 2c 35 29 3b 0a 20 20 20 20 49 4e 53 45 52  (5,5);.    INSER
1470: 54 20 49 4e 54 4f 20 74 62 20 56 41 4c 55 45 53  T INTO tb VALUES
1480: 28 37 2c 37 29 3b 0a 20 20 20 20 49 4e 53 45 52  (7,7);.    INSER
1490: 54 20 49 4e 54 4f 20 74 62 20 56 41 4c 55 45 53  T INTO tb VALUES
14a0: 28 39 2c 39 29 3b 0a 20 20 20 20 49 4e 53 45 52  (9,9);.    INSER
14b0: 54 20 49 4e 54 4f 20 74 62 20 56 41 4c 55 45 53  T INTO tb VALUES
14c0: 28 31 31 2c 0a 20 20 20 20 20 20 20 27 54 68 69  (11,.       'Thi
14d0: 73 20 69 73 20 61 20 6b 65 79 20 74 68 61 74 20  s is a key that 
14e0: 69 73 20 6c 6f 6e 67 20 65 6e 6f 75 67 68 20 74  is long enough t
14f0: 6f 20 72 65 71 75 69 72 65 20 61 20 6d 61 6c 6c  o require a mall
1500: 6f 63 20 69 6e 20 74 68 65 20 56 44 42 45 27 29  oc in the VDBE')
1510: 3b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46  ;.    SELECT * F
1520: 52 4f 4d 20 74 62 20 57 48 45 52 45 20 61 3c 31  ROM tb WHERE a<1
1530: 30 3b 0a 20 20 7d 0a 7d 20 7b 31 20 31 20 32 20  0;.  }.} {1 1 2 
1540: 32 20 33 20 33 20 35 20 35 20 37 20 37 20 39 20  2 3 3 5 5 7 7 9 
1550: 39 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 36 2e  9}.do_test in-6.
1560: 33 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a  3 {.  execsql {.
1570: 20 20 20 20 53 45 4c 45 43 54 20 61 20 46 52 4f      SELECT a FRO
1580: 4d 20 74 61 20 57 48 45 52 45 20 62 20 49 4e 20  M ta WHERE b IN 
1590: 28 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74  (SELECT a FROM t
15a0: 62 29 3b 0a 20 20 7d 0a 7d 20 7b 31 20 32 20 33  b);.  }.} {1 2 3
15b0: 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 36 2e 34  }.do_test in-6.4
15c0: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20   {.  execsql {. 
15d0: 20 20 20 53 45 4c 45 43 54 20 61 20 46 52 4f 4d     SELECT a FROM
15e0: 20 74 61 20 57 48 45 52 45 20 62 20 4e 4f 54 20   ta WHERE b NOT 
15f0: 49 4e 20 28 53 45 4c 45 43 54 20 61 20 46 52 4f  IN (SELECT a FRO
1600: 4d 20 74 62 29 3b 0a 20 20 7d 0a 7d 20 7b 34 20  M tb);.  }.} {4 
1610: 36 20 38 20 31 30 7d 0a 64 6f 5f 74 65 73 74 20  6 8 10}.do_test 
1620: 69 6e 2d 36 2e 35 20 7b 0a 20 20 65 78 65 63 73  in-6.5 {.  execs
1630: 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20  ql {.    SELECT 
1640: 61 20 46 52 4f 4d 20 74 61 20 57 48 45 52 45 20  a FROM ta WHERE 
1650: 62 20 49 4e 20 28 53 45 4c 45 43 54 20 62 20 46  b IN (SELECT b F
1660: 52 4f 4d 20 74 62 29 3b 0a 20 20 7d 0a 7d 20 7b  ROM tb);.  }.} {
1670: 31 20 32 20 33 20 31 30 7d 0a 64 6f 5f 74 65 73  1 2 3 10}.do_tes
1680: 74 20 69 6e 2d 36 2e 36 20 7b 0a 20 20 65 78 65  t in-6.6 {.  exe
1690: 63 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43  csql {.    SELEC
16a0: 54 20 61 20 46 52 4f 4d 20 74 61 20 57 48 45 52  T a FROM ta WHER
16b0: 45 20 62 20 4e 4f 54 20 49 4e 20 28 53 45 4c 45  E b NOT IN (SELE
16c0: 43 54 20 62 20 46 52 4f 4d 20 74 62 29 3b 0a 20  CT b FROM tb);. 
16d0: 20 7d 0a 7d 20 7b 34 20 36 20 38 7d 0a 64 6f 5f   }.} {4 6 8}.do_
16e0: 74 65 73 74 20 69 6e 2d 36 2e 37 20 7b 0a 20 20  test in-6.7 {.  
16f0: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 45  execsql {.    SE
1700: 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 61 20 57  LECT a FROM ta W
1710: 48 45 52 45 20 61 20 49 4e 20 28 53 45 4c 45 43  HERE a IN (SELEC
1720: 54 20 61 20 46 52 4f 4d 20 74 62 29 3b 0a 20 20  T a FROM tb);.  
1730: 7d 0a 7d 20 7b 31 20 32 20 33 7d 0a 64 6f 5f 74  }.} {1 2 3}.do_t
1740: 65 73 74 20 69 6e 2d 36 2e 38 20 7b 0a 20 20 65  est in-6.8 {.  e
1750: 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c  xecsql {.    SEL
1760: 45 43 54 20 61 20 46 52 4f 4d 20 74 61 20 57 48  ECT a FROM ta WH
1770: 45 52 45 20 61 20 4e 4f 54 20 49 4e 20 28 53 45  ERE a NOT IN (SE
1780: 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 62 29 3b  LECT a FROM tb);
1790: 0a 20 20 7d 0a 7d 20 7b 34 20 36 20 38 20 31 30  .  }.} {4 6 8 10
17a0: 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 36 2e 39  }.do_test in-6.9
17b0: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20   {.  execsql {. 
17c0: 20 20 20 53 45 4c 45 43 54 20 61 20 46 52 4f 4d     SELECT a FROM
17d0: 20 74 61 20 57 48 45 52 45 20 61 20 49 4e 20 28   ta WHERE a IN (
17e0: 53 45 4c 45 43 54 20 62 20 46 52 4f 4d 20 74 62  SELECT b FROM tb
17f0: 29 3b 0a 20 20 7d 0a 7d 20 7b 31 20 32 20 33 7d  );.  }.} {1 2 3}
1800: 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 36 2e 31 30  .do_test in-6.10
1810: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20   {.  execsql {. 
1820: 20 20 20 53 45 4c 45 43 54 20 61 20 46 52 4f 4d     SELECT a FROM
1830: 20 74 61 20 57 48 45 52 45 20 61 20 4e 4f 54 20   ta WHERE a NOT 
1840: 49 4e 20 28 53 45 4c 45 43 54 20 62 20 46 52 4f  IN (SELECT b FRO
1850: 4d 20 74 62 29 3b 0a 20 20 7d 0a 7d 20 7b 34 20  M tb);.  }.} {4 
1860: 36 20 38 20 31 30 7d 0a 0a 23 20 54 65 73 74 73  6 8 10}..# Tests
1870: 20 6f 66 20 49 4e 20 6f 70 65 72 61 74 6f 72 20   of IN operator 
1880: 61 67 61 69 6e 73 74 20 65 6d 70 74 79 20 73 65  against empty se
1890: 74 73 2e 20 20 28 54 69 63 6b 65 74 20 23 31 38  ts.  (Ticket #18
18a0: 35 29 0a 23 0a 64 6f 5f 74 65 73 74 20 69 6e 2d  5).#.do_test in-
18b0: 37 2e 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  7.1 {.  execsql 
18c0: 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 61 20 46  {.    SELECT a F
18d0: 52 4f 4d 20 74 31 20 57 48 45 52 45 20 61 20 49  ROM t1 WHERE a I
18e0: 4e 20 28 29 3b 0a 20 20 7d 0a 7d 20 7b 7d 0a 64  N ();.  }.} {}.d
18f0: 6f 5f 74 65 73 74 20 69 6e 2d 37 2e 32 20 7b 0a  o_test in-7.2 {.
1900: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
1910: 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 31  SELECT a FROM t1
1920: 20 57 48 45 52 45 20 61 20 49 4e 20 28 35 29 3b   WHERE a IN (5);
1930: 0a 20 20 7d 0a 7d 20 7b 35 7d 0a 64 6f 5f 74 65  .  }.} {5}.do_te
1940: 73 74 20 69 6e 2d 37 2e 33 20 7b 0a 20 20 65 78  st in-7.3 {.  ex
1950: 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45  ecsql {.    SELE
1960: 43 54 20 61 20 46 52 4f 4d 20 74 31 20 57 48 45  CT a FROM t1 WHE
1970: 52 45 20 61 20 4e 4f 54 20 49 4e 20 28 29 20 4f  RE a NOT IN () O
1980: 52 44 45 52 20 42 59 20 61 3b 0a 20 20 7d 0a 7d  RDER BY a;.  }.}
1990: 20 7b 35 20 36 20 37 20 38 20 68 65 6c 6c 6f 7d   {5 6 7 8 hello}
19a0: 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 37 2e 34 20  .do_test in-7.4 
19b0: 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20  {.  execsql {.  
19c0: 20 20 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20    SELECT a FROM 
19d0: 74 31 20 57 48 45 52 45 20 61 20 49 4e 20 28 35  t1 WHERE a IN (5
19e0: 29 20 41 4e 44 20 62 20 49 4e 20 28 29 3b 0a 20  ) AND b IN ();. 
19f0: 20 7d 0a 7d 20 7b 7d 0a 64 6f 5f 74 65 73 74 20   }.} {}.do_test 
1a00: 69 6e 2d 37 2e 35 20 7b 0a 20 20 65 78 65 63 73  in-7.5 {.  execs
1a10: 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20  ql {.    SELECT 
1a20: 61 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20  a FROM t1 WHERE 
1a30: 61 20 49 4e 20 28 35 29 20 41 4e 44 20 62 20 4e  a IN (5) AND b N
1a40: 4f 54 20 49 4e 20 28 29 3b 0a 20 20 7d 0a 7d 20  OT IN ();.  }.} 
1a50: 7b 35 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 37  {5}.do_test in-7
1a60: 2e 36 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b  .6 {.  execsql {
1a70: 0a 20 20 20 20 53 45 4c 45 43 54 20 61 20 46 52  .    SELECT a FR
1a80: 4f 4d 20 74 61 20 57 48 45 52 45 20 61 20 49 4e  OM ta WHERE a IN
1a90: 20 28 29 3b 0a 20 20 7d 0a 7d 20 7b 7d 0a 64 6f   ();.  }.} {}.do
1aa0: 5f 74 65 73 74 20 69 6e 2d 37 2e 37 20 7b 0a 20  _test in-7.7 {. 
1ab0: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 53   execsql {.    S
1ac0: 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 61 20  ELECT a FROM ta 
1ad0: 57 48 45 52 45 20 61 20 4e 4f 54 20 49 4e 20 28  WHERE a NOT IN (
1ae0: 29 3b 0a 20 20 7d 0a 7d 20 7b 31 20 32 20 33 20  );.  }.} {1 2 3 
1af0: 34 20 36 20 38 20 31 30 7d 0a 0a 64 6f 5f 74 65  4 6 8 10}..do_te
1b00: 73 74 20 69 6e 2d 38 2e 31 20 7b 0a 20 20 65 78  st in-8.1 {.  ex
1b10: 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45  ecsql {.    SELE
1b20: 43 54 20 62 20 46 52 4f 4d 20 74 31 20 57 48 45  CT b FROM t1 WHE
1b30: 52 45 20 61 20 49 4e 20 28 27 68 65 6c 6c 6f 27  RE a IN ('hello'
1b40: 2c 27 74 68 65 72 65 27 29 0a 20 20 7d 0a 7d 20  ,'there').  }.} 
1b50: 7b 77 6f 72 6c 64 7d 0a 0a 23 20 54 65 73 74 20  {world}..# Test 
1b60: 63 6f 6e 73 74 72 75 63 74 73 20 6f 66 20 74 68  constructs of th
1b70: 65 20 66 6f 72 6d 3a 20 20 65 78 70 72 20 49 4e  e form:  expr IN
1b80: 20 74 61 62 6c 65 6e 61 6d 65 0a 23 0a 64 6f 5f   tablename.#.do_
1b90: 74 65 73 74 20 69 6e 2d 39 2e 31 20 7b 0a 20 20  test in-9.1 {.  
1ba0: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 43 52  execsql {.    CR
1bb0: 45 41 54 45 20 54 41 42 4c 45 20 74 34 20 41 53  EATE TABLE t4 AS
1bc0: 20 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74   SELECT a FROM t
1bd0: 62 3b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20  b;.    SELECT * 
1be0: 46 52 4f 4d 20 74 34 3b 20 20 20 20 0a 20 20 7d  FROM t4;    .  }
1bf0: 0a 7d 20 7b 31 20 32 20 33 20 35 20 37 20 39 20  .} {1 2 3 5 7 9 
1c00: 31 31 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 39  11}.do_test in-9
1c10: 2e 32 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b  .2 {.  execsql {
1c20: 0a 20 20 20 20 53 45 4c 45 43 54 20 62 20 46 52  .    SELECT b FR
1c30: 4f 4d 20 74 31 20 57 48 45 52 45 20 61 20 49 4e  OM t1 WHERE a IN
1c40: 20 74 34 3b 0a 20 20 7d 0a 7d 20 7b 33 32 20 31   t4;.  }.} {32 1
1c50: 32 38 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 39  28}.do_test in-9
1c60: 2e 33 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b  .3 {.  execsql {
1c70: 0a 20 20 20 20 53 45 4c 45 43 54 20 62 20 46 52  .    SELECT b FR
1c80: 4f 4d 20 74 31 20 57 48 45 52 45 20 61 20 4e 4f  OM t1 WHERE a NO
1c90: 54 20 49 4e 20 74 34 3b 0a 20 20 7d 0a 7d 20 7b  T IN t4;.  }.} {
1ca0: 36 34 20 32 35 36 20 77 6f 72 6c 64 7d 0a 64 6f  64 256 world}.do
1cb0: 5f 74 65 73 74 20 69 6e 2d 39 2e 34 20 7b 0a 20  _test in-9.4 {. 
1cc0: 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20   catchsql {.    
1cd0: 53 45 4c 45 43 54 20 62 20 46 52 4f 4d 20 74 31  SELECT b FROM t1
1ce0: 20 57 48 45 52 45 20 61 20 4e 4f 54 20 49 4e 20   WHERE a NOT IN 
1cf0: 74 62 3b 0a 20 20 7d 0a 7d 20 7b 31 20 7b 6f 6e  tb;.  }.} {1 {on
1d00: 6c 79 20 61 20 73 69 6e 67 6c 65 20 72 65 73 75  ly a single resu
1d10: 6c 74 20 61 6c 6c 6f 77 65 64 20 66 6f 72 20 61  lt allowed for a
1d20: 20 53 45 4c 45 43 54 20 74 68 61 74 20 69 73 20   SELECT that is 
1d30: 70 61 72 74 20 6f 66 20 61 6e 20 65 78 70 72 65  part of an expre
1d40: 73 73 69 6f 6e 7d 7d 0a 0a 23 20 49 4e 20 63 6c  ssion}}..# IN cl
1d50: 61 75 73 65 73 20 69 6e 20 43 48 45 43 4b 20 63  auses in CHECK c
1d60: 6f 6e 73 74 72 61 69 6e 74 73 2e 20 20 54 69 63  onstraints.  Tic
1d70: 6b 65 74 20 23 31 36 34 35 0a 23 0a 64 6f 5f 74  ket #1645.#.do_t
1d80: 65 73 74 20 69 6e 2d 31 30 2e 31 20 7b 0a 20 20  est in-10.1 {.  
1d90: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 43 52  execsql {.    CR
1da0: 45 41 54 45 20 54 41 42 4c 45 20 74 35 28 0a 20  EATE TABLE t5(. 
1db0: 20 20 20 20 20 61 20 49 4e 54 45 47 45 52 2c 0a       a INTEGER,.
1dc0: 20 20 20 20 20 20 43 48 45 43 4b 28 20 61 20 49        CHECK( a I
1dd0: 4e 20 28 31 31 31 2c 32 32 32 2c 33 33 33 29 20  N (111,222,333) 
1de0: 29 0a 20 20 20 20 29 3b 0a 20 20 20 20 49 4e 53  ).    );.    INS
1df0: 45 52 54 20 49 4e 54 4f 20 74 35 20 56 41 4c 55  ERT INTO t5 VALU
1e00: 45 53 28 31 31 31 29 3b 0a 20 20 20 20 53 45 4c  ES(111);.    SEL
1e10: 45 43 54 20 2a 20 46 52 4f 4d 20 74 35 3b 0a 20  ECT * FROM t5;. 
1e20: 20 7d 0a 7d 20 7b 31 31 31 7d 0a 64 6f 5f 74 65   }.} {111}.do_te
1e30: 73 74 20 69 6e 2d 31 30 2e 32 20 7b 0a 20 20 63  st in-10.2 {.  c
1e40: 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 49 4e  atchsql {.    IN
1e50: 53 45 52 54 20 49 4e 54 4f 20 74 35 20 56 41 4c  SERT INTO t5 VAL
1e60: 55 45 53 28 34 29 3b 0a 20 20 7d 0a 7d 20 7b 31  UES(4);.  }.} {1
1e70: 20 7b 63 6f 6e 73 74 72 61 69 6e 74 20 66 61 69   {constraint fai
1e80: 6c 65 64 7d 7d 0a 0a 23 20 54 69 63 6b 65 74 20  led}}..# Ticket 
1e90: 23 31 38 32 31 0a 23 0a 23 20 54 79 70 65 20 61  #1821.#.# Type a
1ea0: 66 66 69 6e 69 74 79 20 61 70 70 6c 69 65 64 20  ffinity applied 
1eb0: 74 6f 20 74 68 65 20 72 69 67 68 74 2d 68 61 6e  to the right-han
1ec0: 64 20 73 69 64 65 20 6f 66 20 61 6e 20 49 4e 20  d side of an IN 
1ed0: 6f 70 65 72 61 74 6f 72 2e 0a 23 0a 64 6f 5f 74  operator..#.do_t
1ee0: 65 73 74 20 69 6e 2d 31 31 2e 31 20 7b 0a 20 20  est in-11.1 {.  
1ef0: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 43 52  execsql {.    CR
1f00: 45 41 54 45 20 54 41 42 4c 45 20 74 36 28 61 2c  EATE TABLE t6(a,
1f10: 62 20 4e 55 4d 45 52 49 43 29 3b 0a 20 20 20 20  b NUMERIC);.    
1f20: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 36 20 56  INSERT INTO t6 V
1f30: 41 4c 55 45 53 28 31 2c 32 29 3b 0a 20 20 20 20  ALUES(1,2);.    
1f40: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 36 20 56  INSERT INTO t6 V
1f50: 41 4c 55 45 53 28 32 2c 33 29 3b 0a 20 20 20 20  ALUES(2,3);.    
1f60: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 36  SELECT * FROM t6
1f70: 20 57 48 45 52 45 20 62 20 49 4e 20 28 32 29 3b   WHERE b IN (2);
1f80: 0a 20 20 7d 0a 7d 20 7b 31 20 32 7d 0a 64 6f 5f  .  }.} {1 2}.do_
1f90: 74 65 73 74 20 69 6e 2d 31 31 2e 32 20 7b 0a 20  test in-11.2 {. 
1fa0: 20 23 20 54 68 65 20 27 32 27 20 73 68 6f 75 6c   # The '2' shoul
1fb0: 64 20 62 65 20 63 6f 65 72 63 65 64 20 69 6e 74  d be coerced int
1fc0: 6f 20 32 20 62 65 63 61 75 73 65 20 74 36 2e 62  o 2 because t6.b
1fd0: 20 69 73 20 4e 55 4d 45 52 49 43 0a 20 20 65 78   is NUMERIC.  ex
1fe0: 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45  ecsql {.    SELE
1ff0: 43 54 20 2a 20 46 52 4f 4d 20 74 36 20 57 48 45  CT * FROM t6 WHE
2000: 52 45 20 62 20 49 4e 20 28 27 32 27 29 3b 0a 20  RE b IN ('2');. 
2010: 20 7d 0a 7d 20 7b 31 20 32 7d 0a 64 6f 5f 74 65   }.} {1 2}.do_te
2020: 73 74 20 69 6e 2d 31 31 2e 33 20 7b 0a 20 20 23  st in-11.3 {.  #
2030: 20 4e 6f 20 63 6f 65 72 63 69 6f 6e 20 73 68 6f   No coercion sho
2040: 75 6c 64 20 6f 63 63 75 72 20 68 65 72 65 20 62  uld occur here b
2050: 65 63 61 75 73 65 20 6f 66 20 74 68 65 20 75 6e  ecause of the un
2060: 61 72 79 20 2b 20 62 65 66 6f 72 65 20 62 2e 0a  ary + before b..
2070: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
2080: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 36  SELECT * FROM t6
2090: 20 57 48 45 52 45 20 2b 62 20 49 4e 20 28 27 32   WHERE +b IN ('2
20a0: 27 29 3b 0a 20 20 7d 0a 7d 20 7b 7d 0a 64 6f 5f  ');.  }.} {}.do_
20b0: 74 65 73 74 20 69 6e 2d 31 31 2e 34 20 7b 0a 20  test in-11.4 {. 
20c0: 20 23 20 4e 6f 20 63 6f 65 72 63 69 6f 6e 20 62   # No coercion b
20d0: 65 63 61 75 73 65 20 63 6f 6c 75 6d 6e 20 61 20  ecause column a 
20e0: 61 73 20 61 66 66 69 6e 69 74 79 20 4e 4f 4e 45  as affinity NONE
20f0: 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20  .  execsql {.   
2100: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74   SELECT * FROM t
2110: 36 20 57 48 45 52 45 20 61 20 49 4e 20 28 27 32  6 WHERE a IN ('2
2120: 27 29 3b 0a 20 20 7d 0a 7d 20 7b 7d 0a 64 6f 5f  ');.  }.} {}.do_
2130: 74 65 73 74 20 69 6e 2d 31 31 2e 35 20 7b 0a 20  test in-11.5 {. 
2140: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 53   execsql {.    S
2150: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 36 20  ELECT * FROM t6 
2160: 57 48 45 52 45 20 61 20 49 4e 20 28 32 29 3b 0a  WHERE a IN (2);.
2170: 20 20 7d 0a 7d 20 7b 32 20 33 7d 0a 64 6f 5f 74    }.} {2 3}.do_t
2180: 65 73 74 20 69 6e 2d 31 31 2e 36 20 7b 0a 20 20  est in-11.6 {.  
2190: 23 20 4e 6f 20 63 6f 65 72 63 69 6f 6e 20 62 65  # No coercion be
21a0: 63 61 75 73 65 20 63 6f 6c 75 6d 6e 20 61 20 61  cause column a a
21b0: 73 20 61 66 66 69 6e 69 74 79 20 4e 4f 4e 45 0a  s affinity NONE.
21c0: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
21d0: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 36  SELECT * FROM t6
21e0: 20 57 48 45 52 45 20 2b 61 20 49 4e 20 28 27 32   WHERE +a IN ('2
21f0: 27 29 3b 0a 20 20 7d 0a 7d 20 7b 7d 0a 0a 23 20  ');.  }.} {}..# 
2200: 54 65 73 74 20 65 72 72 6f 72 20 63 6f 6e 64 69  Test error condi
2210: 74 69 6f 6e 73 20 77 69 74 68 20 65 78 70 72 65  tions with expre
2220: 73 73 69 6f 6e 73 20 6f 66 20 74 68 65 20 66 6f  ssions of the fo
2230: 72 6d 20 49 4e 28 3c 63 6f 6d 70 6f 75 6e 64 20  rm IN(<compound 
2240: 73 65 6c 65 63 74 3e 29 2e 0a 23 0a 69 66 63 61  select>)..#.ifca
2250: 70 61 62 6c 65 20 63 6f 6d 70 6f 75 6e 64 20 7b  pable compound {
2260: 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 31 32 2e 31  .do_test in-12.1
2270: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20   {.  execsql {. 
2280: 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20     CREATE TABLE 
2290: 74 32 28 61 2c 20 62 2c 20 63 29 3b 0a 20 20 20  t2(a, b, c);.   
22a0: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 33   CREATE TABLE t3
22b0: 28 61 2c 20 62 2c 20 63 29 3b 0a 20 20 7d 0a 7d  (a, b, c);.  }.}
22c0: 20 7b 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 31   {}.do_test in-1
22d0: 32 2e 32 20 7b 0a 20 20 63 61 74 63 68 73 71 6c  2.2 {.  catchsql
22e0: 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20   {.    SELECT * 
22f0: 46 52 4f 4d 20 74 32 20 57 48 45 52 45 20 61 20  FROM t2 WHERE a 
2300: 49 4e 20 28 0a 20 20 20 20 20 20 53 45 4c 45 43  IN (.      SELEC
2310: 54 20 61 2c 20 62 20 46 52 4f 4d 20 74 33 20 55  T a, b FROM t3 U
2320: 4e 49 4f 4e 20 41 4c 4c 20 53 45 4c 45 43 54 20  NION ALL SELECT 
2330: 61 2c 20 62 20 46 52 4f 4d 20 74 32 0a 20 20 20  a, b FROM t2.   
2340: 20 29 3b 0a 20 20 7d 0a 7d 20 7b 31 20 7b 6f 6e   );.  }.} {1 {on
2350: 6c 79 20 61 20 73 69 6e 67 6c 65 20 72 65 73 75  ly a single resu
2360: 6c 74 20 61 6c 6c 6f 77 65 64 20 66 6f 72 20 61  lt allowed for a
2370: 20 53 45 4c 45 43 54 20 74 68 61 74 20 69 73 20   SELECT that is 
2380: 70 61 72 74 20 6f 66 20 61 6e 20 65 78 70 72 65  part of an expre
2390: 73 73 69 6f 6e 7d 7d 0a 64 6f 5f 74 65 73 74 20  ssion}}.do_test 
23a0: 69 6e 2d 31 32 2e 33 20 7b 0a 20 20 63 61 74 63  in-12.3 {.  catc
23b0: 68 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43  hsql {.    SELEC
23c0: 54 20 2a 20 46 52 4f 4d 20 74 32 20 57 48 45 52  T * FROM t2 WHER
23d0: 45 20 61 20 49 4e 20 28 0a 20 20 20 20 20 20 53  E a IN (.      S
23e0: 45 4c 45 43 54 20 61 2c 20 62 20 46 52 4f 4d 20  ELECT a, b FROM 
23f0: 74 33 20 55 4e 49 4f 4e 20 53 45 4c 45 43 54 20  t3 UNION SELECT 
2400: 61 2c 20 62 20 46 52 4f 4d 20 74 32 0a 20 20 20  a, b FROM t2.   
2410: 20 29 3b 0a 20 20 7d 0a 7d 20 7b 31 20 7b 6f 6e   );.  }.} {1 {on
2420: 6c 79 20 61 20 73 69 6e 67 6c 65 20 72 65 73 75  ly a single resu
2430: 6c 74 20 61 6c 6c 6f 77 65 64 20 66 6f 72 20 61  lt allowed for a
2440: 20 53 45 4c 45 43 54 20 74 68 61 74 20 69 73 20   SELECT that is 
2450: 70 61 72 74 20 6f 66 20 61 6e 20 65 78 70 72 65  part of an expre
2460: 73 73 69 6f 6e 7d 7d 0a 64 6f 5f 74 65 73 74 20  ssion}}.do_test 
2470: 69 6e 2d 31 32 2e 34 20 7b 0a 20 20 63 61 74 63  in-12.4 {.  catc
2480: 68 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43  hsql {.    SELEC
2490: 54 20 2a 20 46 52 4f 4d 20 74 32 20 57 48 45 52  T * FROM t2 WHER
24a0: 45 20 61 20 49 4e 20 28 0a 20 20 20 20 20 20 53  E a IN (.      S
24b0: 45 4c 45 43 54 20 61 2c 20 62 20 46 52 4f 4d 20  ELECT a, b FROM 
24c0: 74 33 20 45 58 43 45 50 54 20 53 45 4c 45 43 54  t3 EXCEPT SELECT
24d0: 20 61 2c 20 62 20 46 52 4f 4d 20 74 32 0a 20 20   a, b FROM t2.  
24e0: 20 20 29 3b 0a 20 20 7d 0a 7d 20 7b 31 20 7b 6f    );.  }.} {1 {o
24f0: 6e 6c 79 20 61 20 73 69 6e 67 6c 65 20 72 65 73  nly a single res
2500: 75 6c 74 20 61 6c 6c 6f 77 65 64 20 66 6f 72 20  ult allowed for 
2510: 61 20 53 45 4c 45 43 54 20 74 68 61 74 20 69 73  a SELECT that is
2520: 20 70 61 72 74 20 6f 66 20 61 6e 20 65 78 70 72   part of an expr
2530: 65 73 73 69 6f 6e 7d 7d 0a 64 6f 5f 74 65 73 74  ession}}.do_test
2540: 20 69 6e 2d 31 32 2e 35 20 7b 0a 20 20 63 61 74   in-12.5 {.  cat
2550: 63 68 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45  chsql {.    SELE
2560: 43 54 20 2a 20 46 52 4f 4d 20 74 32 20 57 48 45  CT * FROM t2 WHE
2570: 52 45 20 61 20 49 4e 20 28 0a 20 20 20 20 20 20  RE a IN (.      
2580: 53 45 4c 45 43 54 20 61 2c 20 62 20 46 52 4f 4d  SELECT a, b FROM
2590: 20 74 33 20 49 4e 54 45 52 53 45 43 54 20 53 45   t3 INTERSECT SE
25a0: 4c 45 43 54 20 61 2c 20 62 20 46 52 4f 4d 20 74  LECT a, b FROM t
25b0: 32 0a 20 20 20 20 29 3b 0a 20 20 7d 0a 7d 20 7b  2.    );.  }.} {
25c0: 31 20 7b 6f 6e 6c 79 20 61 20 73 69 6e 67 6c 65  1 {only a single
25d0: 20 72 65 73 75 6c 74 20 61 6c 6c 6f 77 65 64 20   result allowed 
25e0: 66 6f 72 20 61 20 53 45 4c 45 43 54 20 74 68 61  for a SELECT tha
25f0: 74 20 69 73 20 70 61 72 74 20 6f 66 20 61 6e 20  t is part of an 
2600: 65 78 70 72 65 73 73 69 6f 6e 7d 7d 0a 64 6f 5f  expression}}.do_
2610: 74 65 73 74 20 69 6e 2d 31 32 2e 36 20 7b 0a 20  test in-12.6 {. 
2620: 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20   catchsql {.    
2630: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 32  SELECT * FROM t2
2640: 20 57 48 45 52 45 20 61 20 49 4e 20 28 0a 20 20   WHERE a IN (.  
2650: 20 20 20 20 53 45 4c 45 43 54 20 61 2c 20 62 20      SELECT a, b 
2660: 46 52 4f 4d 20 74 33 20 55 4e 49 4f 4e 20 41 4c  FROM t3 UNION AL
2670: 4c 20 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20  L SELECT a FROM 
2680: 74 32 0a 20 20 20 20 29 3b 0a 20 20 7d 0a 7d 20  t2.    );.  }.} 
2690: 7b 31 20 7b 53 45 4c 45 43 54 73 20 74 6f 20 74  {1 {SELECTs to t
26a0: 68 65 20 6c 65 66 74 20 61 6e 64 20 72 69 67 68  he left and righ
26b0: 74 20 6f 66 20 55 4e 49 4f 4e 20 41 4c 4c 20 64  t of UNION ALL d
26c0: 6f 20 6e 6f 74 20 68 61 76 65 20 74 68 65 20 73  o not have the s
26d0: 61 6d 65 20 6e 75 6d 62 65 72 20 6f 66 20 72 65  ame number of re
26e0: 73 75 6c 74 20 63 6f 6c 75 6d 6e 73 7d 7d 0a 64  sult columns}}.d
26f0: 6f 5f 74 65 73 74 20 69 6e 2d 31 32 2e 37 20 7b  o_test in-12.7 {
2700: 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20  .  catchsql {.  
2710: 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20    SELECT * FROM 
2720: 74 32 20 57 48 45 52 45 20 61 20 49 4e 20 28 0a  t2 WHERE a IN (.
2730: 20 20 20 20 20 20 53 45 4c 45 43 54 20 61 2c 20        SELECT a, 
2740: 62 20 46 52 4f 4d 20 74 33 20 55 4e 49 4f 4e 20  b FROM t3 UNION 
2750: 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 32  SELECT a FROM t2
2760: 0a 20 20 20 20 29 3b 0a 20 20 7d 0a 7d 20 7b 31  .    );.  }.} {1
2770: 20 7b 53 45 4c 45 43 54 73 20 74 6f 20 74 68 65   {SELECTs to the
2780: 20 6c 65 66 74 20 61 6e 64 20 72 69 67 68 74 20   left and right 
2790: 6f 66 20 55 4e 49 4f 4e 20 64 6f 20 6e 6f 74 20  of UNION do not 
27a0: 68 61 76 65 20 74 68 65 20 73 61 6d 65 20 6e 75  have the same nu
27b0: 6d 62 65 72 20 6f 66 20 72 65 73 75 6c 74 20 63  mber of result c
27c0: 6f 6c 75 6d 6e 73 7d 7d 0a 64 6f 5f 74 65 73 74  olumns}}.do_test
27d0: 20 69 6e 2d 31 32 2e 38 20 7b 0a 20 20 63 61 74   in-12.8 {.  cat
27e0: 63 68 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45  chsql {.    SELE
27f0: 43 54 20 2a 20 46 52 4f 4d 20 74 32 20 57 48 45  CT * FROM t2 WHE
2800: 52 45 20 61 20 49 4e 20 28 0a 20 20 20 20 20 20  RE a IN (.      
2810: 53 45 4c 45 43 54 20 61 2c 20 62 20 46 52 4f 4d  SELECT a, b FROM
2820: 20 74 33 20 45 58 43 45 50 54 20 53 45 4c 45 43   t3 EXCEPT SELEC
2830: 54 20 61 20 46 52 4f 4d 20 74 32 0a 20 20 20 20  T a FROM t2.    
2840: 29 3b 0a 20 20 7d 0a 7d 20 7b 31 20 7b 53 45 4c  );.  }.} {1 {SEL
2850: 45 43 54 73 20 74 6f 20 74 68 65 20 6c 65 66 74  ECTs to the left
2860: 20 61 6e 64 20 72 69 67 68 74 20 6f 66 20 45 58   and right of EX
2870: 43 45 50 54 20 64 6f 20 6e 6f 74 20 68 61 76 65  CEPT do not have
2880: 20 74 68 65 20 73 61 6d 65 20 6e 75 6d 62 65 72   the same number
2890: 20 6f 66 20 72 65 73 75 6c 74 20 63 6f 6c 75 6d   of result colum
28a0: 6e 73 7d 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 2d  ns}}.do_test in-
28b0: 31 32 2e 39 20 7b 0a 20 20 63 61 74 63 68 73 71  12.9 {.  catchsq
28c0: 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a  l {.    SELECT *
28d0: 20 46 52 4f 4d 20 74 32 20 57 48 45 52 45 20 61   FROM t2 WHERE a
28e0: 20 49 4e 20 28 0a 20 20 20 20 20 20 53 45 4c 45   IN (.      SELE
28f0: 43 54 20 61 2c 20 62 20 46 52 4f 4d 20 74 33 20  CT a, b FROM t3 
2900: 49 4e 54 45 52 53 45 43 54 20 53 45 4c 45 43 54  INTERSECT SELECT
2910: 20 61 20 46 52 4f 4d 20 74 32 0a 20 20 20 20 29   a FROM t2.    )
2920: 3b 0a 20 20 7d 0a 7d 20 7b 31 20 7b 53 45 4c 45  ;.  }.} {1 {SELE
2930: 43 54 73 20 74 6f 20 74 68 65 20 6c 65 66 74 20  CTs to the left 
2940: 61 6e 64 20 72 69 67 68 74 20 6f 66 20 49 4e 54  and right of INT
2950: 45 52 53 45 43 54 20 64 6f 20 6e 6f 74 20 68 61  ERSECT do not ha
2960: 76 65 20 74 68 65 20 73 61 6d 65 20 6e 75 6d 62  ve the same numb
2970: 65 72 20 6f 66 20 72 65 73 75 6c 74 20 63 6f 6c  er of result col
2980: 75 6d 6e 73 7d 7d 0a 7d 0a 0a 64 6f 5f 74 65 73  umns}}.}..do_tes
2990: 74 20 69 6e 2d 31 32 2e 31 30 20 7b 0a 20 20 63  t in-12.10 {.  c
29a0: 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 53 45  atchsql {.    SE
29b0: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 32 20 57  LECT * FROM t2 W
29c0: 48 45 52 45 20 61 20 49 4e 20 28 0a 20 20 20 20  HERE a IN (.    
29d0: 20 20 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20    SELECT a FROM 
29e0: 74 33 20 55 4e 49 4f 4e 20 41 4c 4c 20 53 45 4c  t3 UNION ALL SEL
29f0: 45 43 54 20 61 2c 20 62 20 46 52 4f 4d 20 74 32  ECT a, b FROM t2
2a00: 0a 20 20 20 20 29 3b 0a 20 20 7d 0a 7d 20 7b 31  .    );.  }.} {1
2a10: 20 7b 6f 6e 6c 79 20 61 20 73 69 6e 67 6c 65 20   {only a single 
2a20: 72 65 73 75 6c 74 20 61 6c 6c 6f 77 65 64 20 66  result allowed f
2a30: 6f 72 20 61 20 53 45 4c 45 43 54 20 74 68 61 74  or a SELECT that
2a40: 20 69 73 20 70 61 72 74 20 6f 66 20 61 6e 20 65   is part of an e
2a50: 78 70 72 65 73 73 69 6f 6e 7d 7d 0a 64 6f 5f 74  xpression}}.do_t
2a60: 65 73 74 20 69 6e 2d 31 32 2e 31 31 20 7b 0a 20  est in-12.11 {. 
2a70: 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20   catchsql {.    
2a80: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 32  SELECT * FROM t2
2a90: 20 57 48 45 52 45 20 61 20 49 4e 20 28 0a 20 20   WHERE a IN (.  
2aa0: 20 20 20 20 53 45 4c 45 43 54 20 61 20 46 52 4f      SELECT a FRO
2ab0: 4d 20 74 33 20 55 4e 49 4f 4e 20 53 45 4c 45 43  M t3 UNION SELEC
2ac0: 54 20 61 2c 20 62 20 46 52 4f 4d 20 74 32 0a 20  T a, b FROM t2. 
2ad0: 20 20 20 29 3b 0a 20 20 7d 0a 7d 20 7b 31 20 7b     );.  }.} {1 {
2ae0: 6f 6e 6c 79 20 61 20 73 69 6e 67 6c 65 20 72 65  only a single re
2af0: 73 75 6c 74 20 61 6c 6c 6f 77 65 64 20 66 6f 72  sult allowed for
2b00: 20 61 20 53 45 4c 45 43 54 20 74 68 61 74 20 69   a SELECT that i
2b10: 73 20 70 61 72 74 20 6f 66 20 61 6e 20 65 78 70  s part of an exp
2b20: 72 65 73 73 69 6f 6e 7d 7d 0a 64 6f 5f 74 65 73  ression}}.do_tes
2b30: 74 20 69 6e 2d 31 32 2e 31 32 20 7b 0a 20 20 63  t in-12.12 {.  c
2b40: 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 53 45  atchsql {.    SE
2b50: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 32 20 57  LECT * FROM t2 W
2b60: 48 45 52 45 20 61 20 49 4e 20 28 0a 20 20 20 20  HERE a IN (.    
2b70: 20 20 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20    SELECT a FROM 
2b80: 74 33 20 45 58 43 45 50 54 20 53 45 4c 45 43 54  t3 EXCEPT SELECT
2b90: 20 61 2c 20 62 20 46 52 4f 4d 20 74 32 0a 20 20   a, b FROM t2.  
2ba0: 20 20 29 3b 0a 20 20 7d 0a 7d 20 7b 31 20 7b 6f    );.  }.} {1 {o
2bb0: 6e 6c 79 20 61 20 73 69 6e 67 6c 65 20 72 65 73  nly a single res
2bc0: 75 6c 74 20 61 6c 6c 6f 77 65 64 20 66 6f 72 20  ult allowed for 
2bd0: 61 20 53 45 4c 45 43 54 20 74 68 61 74 20 69 73  a SELECT that is
2be0: 20 70 61 72 74 20 6f 66 20 61 6e 20 65 78 70 72   part of an expr
2bf0: 65 73 73 69 6f 6e 7d 7d 0a 64 6f 5f 74 65 73 74  ession}}.do_test
2c00: 20 69 6e 2d 31 32 2e 31 33 20 7b 0a 20 20 63 61   in-12.13 {.  ca
2c10: 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c  tchsql {.    SEL
2c20: 45 43 54 20 2a 20 46 52 4f 4d 20 74 32 20 57 48  ECT * FROM t2 WH
2c30: 45 52 45 20 61 20 49 4e 20 28 0a 20 20 20 20 20  ERE a IN (.     
2c40: 20 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74   SELECT a FROM t
2c50: 33 20 49 4e 54 45 52 53 45 43 54 20 53 45 4c 45  3 INTERSECT SELE
2c60: 43 54 20 61 2c 20 62 20 46 52 4f 4d 20 74 32 0a  CT a, b FROM t2.
2c70: 20 20 20 20 29 3b 0a 20 20 7d 0a 7d 20 7b 31 20      );.  }.} {1 
2c80: 7b 6f 6e 6c 79 20 61 20 73 69 6e 67 6c 65 20 72  {only a single r
2c90: 65 73 75 6c 74 20 61 6c 6c 6f 77 65 64 20 66 6f  esult allowed fo
2ca0: 72 20 61 20 53 45 4c 45 43 54 20 74 68 61 74 20  r a SELECT that 
2cb0: 69 73 20 70 61 72 74 20 6f 66 20 61 6e 20 65 78  is part of an ex
2cc0: 70 72 65 73 73 69 6f 6e 7d 7d 0a 0a 0a 23 2d 2d  pression}}...#--
2cd0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2ce0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2cf0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2d00: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2d10: 2d 2d 2d 2d 2d 2d 0a 23 20 54 68 65 20 66 6f 6c  ------.# The fol
2d20: 6c 6f 77 69 6e 67 20 74 65 73 74 73 20 63 68 65  lowing tests che
2d30: 63 6b 20 74 68 61 74 20 4e 55 4c 4c 20 69 73 20  ck that NULL is 
2d40: 68 61 6e 64 6c 65 64 20 63 6f 72 72 65 63 74 6c  handled correctl
2d50: 79 20 77 68 65 6e 20 69 74 20 0a 23 20 61 70 70  y when it .# app
2d60: 65 61 72 73 20 61 73 20 70 61 72 74 20 6f 66 20  ears as part of 
2d70: 61 20 73 65 74 20 6f 66 20 76 61 6c 75 65 73 20  a set of values 
2d80: 6f 6e 20 74 68 65 20 72 69 67 68 74 2d 68 61 6e  on the right-han
2d90: 64 20 73 69 64 65 20 6f 66 20 61 6e 0a 23 20 49  d side of an.# I
2da0: 4e 20 6f 72 20 4e 4f 54 20 49 4e 20 6f 70 65 72  N or NOT IN oper
2db0: 61 74 6f 72 2e 0a 23 0a 23 20 57 68 65 6e 20 69  ator..#.# When i
2dc0: 74 20 61 70 70 65 61 72 73 20 69 6e 20 73 75 63  t appears in suc
2dd0: 68 20 61 20 73 65 74 2c 20 4e 55 4c 4c 20 69 73  h a set, NULL is
2de0: 20 68 61 6e 64 6c 65 64 20 61 73 20 61 6e 20 22   handled as an "
2df0: 75 6e 6b 6e 6f 77 6e 20 76 61 6c 75 65 22 2e 0a  unknown value"..
2e00: 23 20 49 66 2c 20 62 65 63 61 75 73 65 20 6f 66  # If, because of
2e10: 20 74 68 65 20 75 6e 6b 6e 6f 77 6e 20 76 61 6c   the unknown val
2e20: 75 65 20 69 6e 20 74 68 65 20 73 65 74 2c 20 74  ue in the set, t
2e30: 68 65 20 72 65 73 75 6c 74 20 6f 66 20 74 68 65  he result of the
2e40: 20 65 78 70 72 65 73 73 69 6f 6e 20 0a 23 20 63   expression .# c
2e50: 61 6e 6e 6f 74 20 62 65 20 64 65 74 65 72 6d 69  annot be determi
2e60: 6e 65 64 2c 20 74 68 65 6e 20 69 74 20 69 74 73  ned, then it its
2e70: 65 6c 66 20 65 76 61 6c 75 61 74 65 73 20 74 6f  elf evaluates to
2e80: 20 4e 55 4c 4c 2e 0a 23 0a 0a 23 20 57 61 72 6d   NULL..#..# Warm
2e90: 20 62 6f 64 79 20 74 65 73 74 20 74 6f 20 64 65   body test to de
2ea0: 6d 6f 6e 73 74 72 61 74 65 20 74 68 65 20 70 72  monstrate the pr
2eb0: 69 6e 63 69 70 6c 65 73 20 62 65 69 6e 67 20 74  inciples being t
2ec0: 65 73 74 65 64 3a 0a 23 0a 64 6f 5f 74 65 73 74  ested:.#.do_test
2ed0: 20 69 6e 2d 31 33 2e 31 20 7b 0a 20 20 64 62 20   in-13.1 {.  db 
2ee0: 6e 75 6c 6c 76 61 6c 75 65 20 22 6e 75 6c 6c 22  nullvalue "null"
2ef0: 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 53 45 4c  .  execsql { SEL
2f00: 45 43 54 20 0a 20 20 20 20 31 20 49 4e 20 28 4e  ECT .    1 IN (N
2f10: 55 4c 4c 2c 20 31 2c 20 32 29 2c 20 20 20 20 20  ULL, 1, 2),     
2f20: 2d 2d 20 54 68 65 20 76 61 6c 75 65 20 31 20 69  -- The value 1 i
2f30: 73 20 61 20 6d 65 6d 62 65 72 20 6f 66 20 74 68  s a member of th
2f40: 65 20 73 65 74 2c 20 72 65 74 75 72 6e 20 74 72  e set, return tr
2f50: 75 65 2e 0a 20 20 20 20 33 20 49 4e 20 28 4e 55  ue..    3 IN (NU
2f60: 4c 4c 2c 20 31 2c 20 32 29 2c 20 20 20 20 20 2d  LL, 1, 2),     -
2f70: 2d 20 41 6d 62 69 67 75 6f 75 73 2c 20 72 65 74  - Ambiguous, ret
2f80: 75 72 6e 20 4e 55 4c 4c 2e 0a 20 20 20 20 31 20  urn NULL..    1 
2f90: 4e 4f 54 20 49 4e 20 28 4e 55 4c 4c 2c 20 31 2c  NOT IN (NULL, 1,
2fa0: 20 32 29 2c 20 2d 2d 20 54 68 65 20 76 61 6c 75   2), -- The valu
2fb0: 65 20 31 20 69 73 20 61 20 6d 65 6d 62 65 72 20  e 1 is a member 
2fc0: 6f 66 20 74 68 65 20 73 65 74 2c 20 72 65 74 75  of the set, retu
2fd0: 72 6e 20 66 61 6c 73 65 2e 0a 20 20 20 20 33 20  rn false..    3 
2fe0: 4e 4f 54 20 49 4e 20 28 4e 55 4c 4c 2c 20 31 2c  NOT IN (NULL, 1,
2ff0: 20 32 29 20 20 2d 2d 20 41 6d 62 69 67 75 6f 75   2)  -- Ambiguou
3000: 73 2c 20 72 65 74 75 72 6e 20 4e 55 4c 4c 2e 0a  s, return NULL..
3010: 20 20 7d 0a 7d 20 7b 31 20 6e 75 6c 6c 20 30 20    }.} {1 null 0 
3020: 6e 75 6c 6c 7d 0a 0a 64 6f 5f 74 65 73 74 20 69  null}..do_test i
3030: 6e 2d 31 33 2e 32 20 7b 0a 20 20 65 78 65 63 73  n-13.2 {.  execs
3040: 71 6c 20 7b 20 0a 20 20 20 20 43 52 45 41 54 45  ql { .    CREATE
3050: 20 54 41 42 4c 45 20 74 37 28 61 2c 20 62 2c 20   TABLE t7(a, b, 
3060: 63 20 4e 4f 54 20 4e 55 4c 4c 29 3b 0a 20 20 20  c NOT NULL);.   
3070: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 37 20   INSERT INTO t7 
3080: 56 41 4c 55 45 53 28 31 2c 20 20 20 20 31 2c 20  VALUES(1,    1, 
3090: 31 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49  1);.    INSERT I
30a0: 4e 54 4f 20 74 37 20 56 41 4c 55 45 53 28 32 2c  NTO t7 VALUES(2,
30b0: 20 20 20 20 32 2c 20 32 29 3b 0a 20 20 20 20 49      2, 2);.    I
30c0: 4e 53 45 52 54 20 49 4e 54 4f 20 74 37 20 56 41  NSERT INTO t7 VA
30d0: 4c 55 45 53 28 33 2c 20 20 20 20 33 2c 20 33 29  LUES(3,    3, 3)
30e0: 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  ;.    INSERT INT
30f0: 4f 20 74 37 20 56 41 4c 55 45 53 28 4e 55 4c 4c  O t7 VALUES(NULL
3100: 2c 20 34 2c 20 34 29 3b 0a 20 20 20 20 49 4e 53  , 4, 4);.    INS
3110: 45 52 54 20 49 4e 54 4f 20 74 37 20 56 41 4c 55  ERT INTO t7 VALU
3120: 45 53 28 4e 55 4c 4c 2c 20 35 2c 20 35 29 3b 0a  ES(NULL, 5, 5);.
3130: 20 20 7d 0a 7d 20 7b 7d 0a 0a 64 6f 5f 74 65 73    }.} {}..do_tes
3140: 74 20 69 6e 2d 31 33 2e 33 20 7b 0a 20 20 65 78  t in-13.3 {.  ex
3150: 65 63 73 71 6c 20 7b 20 53 45 4c 45 43 54 20 32  ecsql { SELECT 2
3160: 20 49 4e 20 28 53 45 4c 45 43 54 20 61 20 46 52   IN (SELECT a FR
3170: 4f 4d 20 74 37 29 20 7d 0a 7d 20 7b 31 7d 0a 64  OM t7) }.} {1}.d
3180: 6f 5f 74 65 73 74 20 69 6e 2d 31 33 2e 34 20 7b  o_test in-13.4 {
3190: 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 53 45 4c  .  execsql { SEL
31a0: 45 43 54 20 36 20 49 4e 20 28 53 45 4c 45 43 54  ECT 6 IN (SELECT
31b0: 20 61 20 46 52 4f 4d 20 74 37 29 20 7d 0a 7d 20   a FROM t7) }.} 
31c0: 7b 6e 75 6c 6c 7d 0a 0a 64 6f 5f 74 65 73 74 20  {null}..do_test 
31d0: 69 6e 2d 31 33 2e 35 20 7b 0a 20 20 65 78 65 63  in-13.5 {.  exec
31e0: 73 71 6c 20 7b 20 53 45 4c 45 43 54 20 32 20 49  sql { SELECT 2 I
31f0: 4e 20 28 53 45 4c 45 43 54 20 62 20 46 52 4f 4d  N (SELECT b FROM
3200: 20 74 37 29 20 7d 0a 7d 20 7b 31 7d 0a 64 6f 5f   t7) }.} {1}.do_
3210: 74 65 73 74 20 69 6e 2d 31 33 2e 36 20 7b 0a 20  test in-13.6 {. 
3220: 20 65 78 65 63 73 71 6c 20 7b 20 53 45 4c 45 43   execsql { SELEC
3230: 54 20 36 20 49 4e 20 28 53 45 4c 45 43 54 20 62  T 6 IN (SELECT b
3240: 20 46 52 4f 4d 20 74 37 29 20 7d 0a 7d 20 7b 30   FROM t7) }.} {0
3250: 7d 0a 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 31 33  }..do_test in-13
3260: 2e 37 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b  .7 {.  execsql {
3270: 20 53 45 4c 45 43 54 20 32 20 49 4e 20 28 53 45   SELECT 2 IN (SE
3280: 4c 45 43 54 20 63 20 46 52 4f 4d 20 74 37 29 20  LECT c FROM t7) 
3290: 7d 0a 7d 20 7b 31 7d 0a 64 6f 5f 74 65 73 74 20  }.} {1}.do_test 
32a0: 69 6e 2d 31 33 2e 38 20 7b 0a 20 20 65 78 65 63  in-13.8 {.  exec
32b0: 73 71 6c 20 7b 20 53 45 4c 45 43 54 20 36 20 49  sql { SELECT 6 I
32c0: 4e 20 28 53 45 4c 45 43 54 20 63 20 46 52 4f 4d  N (SELECT c FROM
32d0: 20 74 37 29 20 7d 0a 7d 20 7b 30 7d 0a 0a 64 6f   t7) }.} {0}..do
32e0: 5f 74 65 73 74 20 69 6e 2d 31 33 2e 39 20 7b 0a  _test in-13.9 {.
32f0: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
3300: 53 45 4c 45 43 54 0a 20 20 20 20 20 20 32 20 4e  SELECT.      2 N
3310: 4f 54 20 49 4e 20 28 53 45 4c 45 43 54 20 61 20  OT IN (SELECT a 
3320: 46 52 4f 4d 20 74 37 29 2c 0a 20 20 20 20 20 20  FROM t7),.      
3330: 36 20 4e 4f 54 20 49 4e 20 28 53 45 4c 45 43 54  6 NOT IN (SELECT
3340: 20 61 20 46 52 4f 4d 20 74 37 29 2c 0a 20 20 20   a FROM t7),.   
3350: 20 20 20 32 20 4e 4f 54 20 49 4e 20 28 53 45 4c     2 NOT IN (SEL
3360: 45 43 54 20 62 20 46 52 4f 4d 20 74 37 29 2c 0a  ECT b FROM t7),.
3370: 20 20 20 20 20 20 36 20 4e 4f 54 20 49 4e 20 28        6 NOT IN (
3380: 53 45 4c 45 43 54 20 62 20 46 52 4f 4d 20 74 37  SELECT b FROM t7
3390: 29 2c 0a 20 20 20 20 20 20 32 20 4e 4f 54 20 49  ),.      2 NOT I
33a0: 4e 20 28 53 45 4c 45 43 54 20 63 20 46 52 4f 4d  N (SELECT c FROM
33b0: 20 74 37 29 2c 0a 20 20 20 20 20 20 36 20 4e 4f   t7),.      6 NO
33c0: 54 20 49 4e 20 28 53 45 4c 45 43 54 20 63 20 46  T IN (SELECT c F
33d0: 52 4f 4d 20 74 37 29 0a 20 20 7d 20 0a 7d 20 7b  ROM t7).  } .} {
33e0: 30 20 6e 75 6c 6c 20 30 20 31 20 30 20 31 7d 0a  0 null 0 1 0 1}.
33f0: 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 31 33 2e 31  .do_test in-13.1
3400: 30 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 20  0 {.  execsql { 
3410: 0a 20 20 20 20 53 45 4c 45 43 54 20 62 20 49 4e  .    SELECT b IN
3420: 20 28 0a 20 20 20 20 20 20 53 45 4c 45 43 54 20   (.      SELECT 
3430: 69 6e 73 69 64 65 2e 61 20 0a 20 20 20 20 20 20  inside.a .      
3440: 46 52 4f 4d 20 74 37 20 41 53 20 69 6e 73 69 64  FROM t7 AS insid
3450: 65 20 0a 20 20 20 20 20 20 57 48 45 52 45 20 69  e .      WHERE i
3460: 6e 73 69 64 65 2e 62 20 42 45 54 57 45 45 4e 20  nside.b BETWEEN 
3470: 6f 75 74 73 69 64 65 2e 62 2b 31 20 41 4e 44 20  outside.b+1 AND 
3480: 6f 75 74 73 69 64 65 2e 62 2b 32 0a 20 20 20 20  outside.b+2.    
3490: 29 0a 20 20 20 20 46 52 4f 4d 20 74 37 20 41 53  ).    FROM t7 AS
34a0: 20 6f 75 74 73 69 64 65 20 4f 52 44 45 52 20 42   outside ORDER B
34b0: 59 20 62 3b 0a 20 20 7d 0a 7d 20 7b 30 20 6e 75  Y b;.  }.} {0 nu
34c0: 6c 6c 20 6e 75 6c 6c 20 6e 75 6c 6c 20 30 7d 0a  ll null null 0}.
34d0: 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 31 33 2e 31  .do_test in-13.1
34e0: 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a  1 {.  execsql {.
34f0: 20 20 20 20 53 45 4c 45 43 54 20 62 20 4e 4f 54      SELECT b NOT
3500: 20 49 4e 20 28 0a 20 20 20 20 20 20 53 45 4c 45   IN (.      SELE
3510: 43 54 20 69 6e 73 69 64 65 2e 61 20 0a 20 20 20  CT inside.a .   
3520: 20 20 20 46 52 4f 4d 20 74 37 20 41 53 20 69 6e     FROM t7 AS in
3530: 73 69 64 65 20 0a 20 20 20 20 20 20 57 48 45 52  side .      WHER
3540: 45 20 69 6e 73 69 64 65 2e 62 20 42 45 54 57 45  E inside.b BETWE
3550: 45 4e 20 6f 75 74 73 69 64 65 2e 62 2b 31 20 41  EN outside.b+1 A
3560: 4e 44 20 6f 75 74 73 69 64 65 2e 62 2b 32 0a 20  ND outside.b+2. 
3570: 20 20 20 29 0a 20 20 20 20 46 52 4f 4d 20 74 37     ).    FROM t7
3580: 20 41 53 20 6f 75 74 73 69 64 65 20 4f 52 44 45   AS outside ORDE
3590: 52 20 42 59 20 62 3b 0a 20 20 7d 0a 7d 20 7b 31  R BY b;.  }.} {1
35a0: 20 6e 75 6c 6c 20 6e 75 6c 6c 20 6e 75 6c 6c 20   null null null 
35b0: 31 7d 0a 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 31  1}..do_test in-1
35c0: 33 2e 31 32 20 7b 0a 20 20 65 78 65 63 73 71 6c  3.12 {.  execsql
35d0: 20 7b 0a 20 20 20 20 43 52 45 41 54 45 20 49 4e   {.    CREATE IN
35e0: 44 45 58 20 69 31 20 4f 4e 20 74 37 28 61 29 3b  DEX i1 ON t7(a);
35f0: 0a 20 20 20 20 43 52 45 41 54 45 20 49 4e 44 45  .    CREATE INDE
3600: 58 20 69 32 20 4f 4e 20 74 37 28 62 29 3b 0a 20  X i2 ON t7(b);. 
3610: 20 20 20 43 52 45 41 54 45 20 49 4e 44 45 58 20     CREATE INDEX 
3620: 69 33 20 4f 4e 20 74 37 28 63 29 3b 0a 20 20 7d  i3 ON t7(c);.  }
3630: 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20  .  execsql {.   
3640: 20 53 45 4c 45 43 54 0a 20 20 20 20 20 20 32 20   SELECT.      2 
3650: 49 4e 20 28 53 45 4c 45 43 54 20 61 20 46 52 4f  IN (SELECT a FRO
3660: 4d 20 74 37 29 2c 0a 20 20 20 20 20 20 36 20 49  M t7),.      6 I
3670: 4e 20 28 53 45 4c 45 43 54 20 61 20 46 52 4f 4d  N (SELECT a FROM
3680: 20 74 37 29 2c 0a 20 20 20 20 20 20 32 20 49 4e   t7),.      2 IN
3690: 20 28 53 45 4c 45 43 54 20 62 20 46 52 4f 4d 20   (SELECT b FROM 
36a0: 74 37 29 2c 0a 20 20 20 20 20 20 36 20 49 4e 20  t7),.      6 IN 
36b0: 28 53 45 4c 45 43 54 20 62 20 46 52 4f 4d 20 74  (SELECT b FROM t
36c0: 37 29 2c 0a 20 20 20 20 20 20 32 20 49 4e 20 28  7),.      2 IN (
36d0: 53 45 4c 45 43 54 20 63 20 46 52 4f 4d 20 74 37  SELECT c FROM t7
36e0: 29 2c 0a 20 20 20 20 20 20 36 20 49 4e 20 28 53  ),.      6 IN (S
36f0: 45 4c 45 43 54 20 63 20 46 52 4f 4d 20 74 37 29  ELECT c FROM t7)
3700: 0a 20 20 7d 20 0a 7d 20 7b 31 20 6e 75 6c 6c 20  .  } .} {1 null 
3710: 31 20 30 20 31 20 30 7d 0a 0a 64 6f 5f 74 65 73  1 0 1 0}..do_tes
3720: 74 20 69 6e 2d 31 33 2e 31 33 20 7b 0a 20 20 65  t in-13.13 {.  e
3730: 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c  xecsql {.    SEL
3740: 45 43 54 0a 20 20 20 20 20 20 32 20 4e 4f 54 20  ECT.      2 NOT 
3750: 49 4e 20 28 53 45 4c 45 43 54 20 61 20 46 52 4f  IN (SELECT a FRO
3760: 4d 20 74 37 29 2c 0a 20 20 20 20 20 20 36 20 4e  M t7),.      6 N
3770: 4f 54 20 49 4e 20 28 53 45 4c 45 43 54 20 61 20  OT IN (SELECT a 
3780: 46 52 4f 4d 20 74 37 29 2c 0a 20 20 20 20 20 20  FROM t7),.      
3790: 32 20 4e 4f 54 20 49 4e 20 28 53 45 4c 45 43 54  2 NOT IN (SELECT
37a0: 20 62 20 46 52 4f 4d 20 74 37 29 2c 0a 20 20 20   b FROM t7),.   
37b0: 20 20 20 36 20 4e 4f 54 20 49 4e 20 28 53 45 4c     6 NOT IN (SEL
37c0: 45 43 54 20 62 20 46 52 4f 4d 20 74 37 29 2c 0a  ECT b FROM t7),.
37d0: 20 20 20 20 20 20 32 20 4e 4f 54 20 49 4e 20 28        2 NOT IN (
37e0: 53 45 4c 45 43 54 20 63 20 46 52 4f 4d 20 74 37  SELECT c FROM t7
37f0: 29 2c 0a 20 20 20 20 20 20 36 20 4e 4f 54 20 49  ),.      6 NOT I
3800: 4e 20 28 53 45 4c 45 43 54 20 63 20 46 52 4f 4d  N (SELECT c FROM
3810: 20 74 37 29 0a 20 20 7d 20 0a 7d 20 7b 30 20 6e   t7).  } .} {0 n
3820: 75 6c 6c 20 30 20 31 20 30 20 31 7d 0a 0a 64 6f  ull 0 1 0 1}..do
3830: 5f 74 65 73 74 20 69 6e 2d 31 33 2e 31 34 20 7b  _test in-13.14 {
3840: 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20  .  execsql {.   
3850: 20 42 45 47 49 4e 20 54 52 41 4e 53 41 43 54 49   BEGIN TRANSACTI
3860: 4f 4e 3b 0a 20 20 20 20 43 52 45 41 54 45 20 54  ON;.    CREATE T
3870: 41 42 4c 45 20 61 28 69 64 20 49 4e 54 45 47 45  ABLE a(id INTEGE
3880: 52 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49  R);.    INSERT I
3890: 4e 54 4f 20 61 20 56 41 4c 55 45 53 28 31 29 3b  NTO a VALUES(1);
38a0: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
38b0: 20 61 20 56 41 4c 55 45 53 28 32 29 3b 0a 20 20   a VALUES(2);.  
38c0: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 61 20    INSERT INTO a 
38d0: 56 41 4c 55 45 53 28 33 29 3b 0a 20 20 20 20 43  VALUES(3);.    C
38e0: 52 45 41 54 45 20 54 41 42 4c 45 20 62 28 69 64  REATE TABLE b(id
38f0: 20 49 4e 54 45 47 45 52 29 3b 0a 20 20 20 20 49   INTEGER);.    I
3900: 4e 53 45 52 54 20 49 4e 54 4f 20 62 20 56 41 4c  NSERT INTO b VAL
3910: 55 45 53 28 4e 55 4c 4c 29 3b 0a 20 20 20 20 49  UES(NULL);.    I
3920: 4e 53 45 52 54 20 49 4e 54 4f 20 62 20 56 41 4c  NSERT INTO b VAL
3930: 55 45 53 28 33 29 3b 0a 20 20 20 20 49 4e 53 45  UES(3);.    INSE
3940: 52 54 20 49 4e 54 4f 20 62 20 56 41 4c 55 45 53  RT INTO b VALUES
3950: 28 34 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20  (4);.    INSERT 
3960: 49 4e 54 4f 20 62 20 56 41 4c 55 45 53 28 35 29  INTO b VALUES(5)
3970: 3b 0a 20 20 20 20 43 4f 4d 4d 49 54 3b 0a 20 20  ;.    COMMIT;.  
3980: 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20    SELECT * FROM 
3990: 61 20 57 48 45 52 45 20 69 64 20 4e 4f 54 20 49  a WHERE id NOT I
39a0: 4e 20 28 53 45 4c 45 43 54 20 69 64 20 46 52 4f  N (SELECT id FRO
39b0: 4d 20 62 29 3b 0a 20 20 7d 0a 7d 20 7b 7d 0a 64  M b);.  }.} {}.d
39c0: 6f 5f 74 65 73 74 20 69 6e 2d 31 33 2e 31 34 20  o_test in-13.14 
39d0: 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20  {.  execsql {.  
39e0: 20 20 43 52 45 41 54 45 20 49 4e 44 45 58 20 69    CREATE INDEX i
39f0: 35 20 4f 4e 20 62 28 69 64 29 3b 0a 20 20 20 20  5 ON b(id);.    
3a00: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 61 20  SELECT * FROM a 
3a10: 57 48 45 52 45 20 69 64 20 4e 4f 54 20 49 4e 20  WHERE id NOT IN 
3a20: 28 53 45 4c 45 43 54 20 69 64 20 46 52 4f 4d 20  (SELECT id FROM 
3a30: 62 29 3b 0a 20 20 7d 0a 7d 20 7b 7d 0a 0a 0a 64  b);.  }.} {}...d
3a40: 6f 5f 74 65 73 74 20 69 6e 2d 31 33 2e 58 20 7b  o_test in-13.X {
3a50: 0a 20 20 64 62 20 6e 75 6c 6c 76 61 6c 75 65 20  .  db nullvalue 
3a60: 22 22 0a 7d 20 7b 7d 0a 0a 66 69 6e 69 73 68 5f  "".} {}..finish_
3a70: 74 65 73 74 0a                                   test.