/ Hex Artifact Content
Login

Artifact 41c1c031aa46b1eb4411df2687ed2ed498da23b5:


0000: 23 20 32 30 30 38 20 53 65 70 74 65 6d 62 65 72  # 2008 September
0010: 20 31 0a 23 0a 23 20 54 68 65 20 61 75 74 68 6f   1.#.# The autho
0020: 72 20 64 69 73 63 6c 61 69 6d 73 20 63 6f 70 79  r disclaims copy
0030: 72 69 67 68 74 20 74 6f 20 74 68 69 73 20 73 6f  right to this so
0040: 75 72 63 65 20 63 6f 64 65 2e 20 20 49 6e 20 70  urce code.  In p
0050: 6c 61 63 65 20 6f 66 0a 23 20 61 20 6c 65 67 61  lace of.# a lega
0060: 6c 20 6e 6f 74 69 63 65 2c 20 68 65 72 65 20 69  l notice, here i
0070: 73 20 61 20 62 6c 65 73 73 69 6e 67 3a 0a 23 0a  s a blessing:.#.
0080: 23 20 20 20 20 4d 61 79 20 79 6f 75 20 64 6f 20  #    May you do 
0090: 67 6f 6f 64 20 61 6e 64 20 6e 6f 74 20 65 76 69  good and not evi
00a0: 6c 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20  l..#    May you 
00b0: 66 69 6e 64 20 66 6f 72 67 69 76 65 6e 65 73 73  find forgiveness
00c0: 20 66 6f 72 20 79 6f 75 72 73 65 6c 66 20 61 6e   for yourself an
00d0: 64 20 66 6f 72 67 69 76 65 20 6f 74 68 65 72 73  d forgive others
00e0: 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20 73  ..#    May you s
00f0: 68 61 72 65 20 66 72 65 65 6c 79 2c 20 6e 65 76  hare freely, nev
0100: 65 72 20 74 61 6b 69 6e 67 20 6d 6f 72 65 20 74  er taking more t
0110: 68 61 6e 20 79 6f 75 20 67 69 76 65 2e 0a 23 0a  han you give..#.
0120: 23 2a 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 0a 23 0a 23 20 24 49 64  ********.#.# $Id
0170: 3a 20 69 6e 34 2e 74 65 73 74 2c 76 20 31 2e 34  : in4.test,v 1.4
0180: 20 32 30 30 39 2f 30 36 2f 30 35 20 31 37 3a 30   2009/06/05 17:0
0190: 39 3a 31 32 20 64 72 68 20 45 78 70 20 24 0a 0a  9:12 drh Exp $..
01a0: 73 65 74 20 74 65 73 74 64 69 72 20 5b 66 69 6c  set testdir [fil
01b0: 65 20 64 69 72 6e 61 6d 65 20 24 61 72 67 76 30  e dirname $argv0
01c0: 5d 0a 73 6f 75 72 63 65 20 24 74 65 73 74 64 69  ].source $testdi
01d0: 72 2f 74 65 73 74 65 72 2e 74 63 6c 0a 0a 64 6f  r/tester.tcl..do
01e0: 5f 74 65 73 74 20 69 6e 34 2d 31 2e 31 20 7b 0a  _test in4-1.1 {.
01f0: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
0200: 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 31 28  CREATE TABLE t1(
0210: 61 2c 20 62 29 3b 0a 20 20 20 20 43 52 45 41 54  a, b);.    CREAT
0220: 45 20 49 4e 44 45 58 20 69 31 20 4f 4e 20 74 31  E INDEX i1 ON t1
0230: 28 61 29 3b 0a 20 20 7d 0a 7d 20 7b 7d 0a 64 6f  (a);.  }.} {}.do
0240: 5f 74 65 73 74 20 69 6e 34 2d 31 2e 32 20 7b 0a  _test in4-1.2 {.
0250: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
0260: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31  SELECT * FROM t1
0270: 20 57 48 45 52 45 20 61 20 49 4e 20 28 27 61 61   WHERE a IN ('aa
0280: 61 27 2c 20 27 62 62 62 27 2c 20 27 63 63 63 27  a', 'bbb', 'ccc'
0290: 29 3b 0a 20 20 7d 0a 7d 20 7b 7d 0a 64 6f 5f 74  );.  }.} {}.do_t
02a0: 65 73 74 20 69 6e 34 2d 31 2e 33 20 7b 0a 20 20  est in4-1.3 {.  
02b0: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 49 4e  execsql {.    IN
02c0: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c  SERT INTO t1 VAL
02d0: 55 45 53 28 27 61 61 61 27 2c 20 31 29 3b 0a 20  UES('aaa', 1);. 
02e0: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
02f0: 31 20 56 41 4c 55 45 53 28 27 64 64 64 27 2c 20  1 VALUES('ddd', 
0300: 32 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49  2);.    INSERT I
0310: 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 27 63  NTO t1 VALUES('c
0320: 63 63 27 2c 20 33 29 3b 0a 20 20 20 20 49 4e 53  cc', 3);.    INS
0330: 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55  ERT INTO t1 VALU
0340: 45 53 28 27 65 65 65 27 2c 20 34 29 3b 0a 20 20  ES('eee', 4);.  
0350: 20 20 53 45 4c 45 43 54 20 62 20 46 52 4f 4d 20    SELECT b FROM 
0360: 74 31 20 57 48 45 52 45 20 61 20 49 4e 20 28 27  t1 WHERE a IN ('
0370: 61 61 61 27 2c 20 27 62 62 62 27 2c 20 27 63 63  aaa', 'bbb', 'cc
0380: 63 27 29 3b 0a 20 20 7d 0a 7d 20 7b 31 20 33 7d  c');.  }.} {1 3}
0390: 0a 64 6f 5f 74 65 73 74 20 69 6e 34 2d 31 2e 34  .do_test in4-1.4
03a0: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20   {.  execsql {. 
03b0: 20 20 20 53 45 4c 45 43 54 20 61 20 46 52 4f 4d     SELECT a FROM
03c0: 20 74 31 20 57 48 45 52 45 20 72 6f 77 69 64 20   t1 WHERE rowid 
03d0: 49 4e 20 28 31 2c 20 33 29 3b 0a 20 20 7d 0a 7d  IN (1, 3);.  }.}
03e0: 20 7b 61 61 61 20 63 63 63 7d 0a 64 6f 5f 74 65   {aaa ccc}.do_te
03f0: 73 74 20 69 6e 34 2d 31 2e 35 20 7b 0a 20 20 65  st in4-1.5 {.  e
0400: 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c  xecsql {.    SEL
0410: 45 43 54 20 61 20 46 52 4f 4d 20 74 31 20 57 48  ECT a FROM t1 WH
0420: 45 52 45 20 72 6f 77 69 64 20 49 4e 20 28 29 3b  ERE rowid IN ();
0430: 0a 20 20 7d 0a 7d 20 7b 7d 0a 64 6f 5f 74 65 73  .  }.} {}.do_tes
0440: 74 20 69 6e 34 2d 31 2e 36 20 7b 0a 20 20 65 78  t in4-1.6 {.  ex
0450: 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45  ecsql {.    SELE
0460: 43 54 20 61 20 46 52 4f 4d 20 74 31 20 57 48 45  CT a FROM t1 WHE
0470: 52 45 20 61 20 49 4e 20 28 27 64 64 64 27 29 3b  RE a IN ('ddd');
0480: 0a 20 20 7d 0a 7d 20 7b 64 64 64 7d 0a 0a 64 6f  .  }.} {ddd}..do
0490: 5f 74 65 73 74 20 69 6e 34 2d 32 2e 31 20 7b 0a  _test in4-2.1 {.
04a0: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
04b0: 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 32 28  CREATE TABLE t2(
04c0: 61 20 49 4e 54 45 47 45 52 20 50 52 49 4d 41 52  a INTEGER PRIMAR
04d0: 59 20 4b 45 59 2c 20 62 20 54 45 58 54 29 3b 0a  Y KEY, b TEXT);.
04e0: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
04f0: 74 32 20 56 41 4c 55 45 53 28 2d 31 2c 20 27 2d  t2 VALUES(-1, '-
0500: 6f 6e 65 27 29 3b 0a 20 20 20 20 49 4e 53 45 52  one');.    INSER
0510: 54 20 49 4e 54 4f 20 74 32 20 56 41 4c 55 45 53  T INTO t2 VALUES
0520: 28 30 2c 20 27 7a 65 72 6f 27 29 3b 0a 20 20 20  (0, 'zero');.   
0530: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20   INSERT INTO t2 
0540: 56 41 4c 55 45 53 28 31 2c 20 27 6f 6e 65 27 29  VALUES(1, 'one')
0550: 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  ;.    INSERT INT
0560: 4f 20 74 32 20 56 41 4c 55 45 53 28 32 2c 20 27  O t2 VALUES(2, '
0570: 74 77 6f 27 29 3b 0a 20 20 20 20 49 4e 53 45 52  two');.    INSER
0580: 54 20 49 4e 54 4f 20 74 32 20 56 41 4c 55 45 53  T INTO t2 VALUES
0590: 28 33 2c 20 27 74 68 72 65 65 27 29 3b 0a 20 20  (3, 'three');.  
05a0: 7d 0a 7d 20 7b 7d 0a 0a 64 6f 5f 74 65 73 74 20  }.} {}..do_test 
05b0: 69 6e 34 2d 32 2e 32 20 7b 0a 20 20 65 78 65 63  in4-2.2 {.  exec
05c0: 73 71 6c 20 7b 20 53 45 4c 45 43 54 20 62 20 46  sql { SELECT b F
05d0: 52 4f 4d 20 74 32 20 57 48 45 52 45 20 61 20 49  ROM t2 WHERE a I
05e0: 4e 20 28 30 2c 20 32 29 20 7d 0a 7d 20 7b 7a 65  N (0, 2) }.} {ze
05f0: 72 6f 20 74 77 6f 7d 0a 0a 64 6f 5f 74 65 73 74  ro two}..do_test
0600: 20 69 6e 34 2d 32 2e 33 20 7b 0a 20 20 65 78 65   in4-2.3 {.  exe
0610: 63 73 71 6c 20 7b 20 53 45 4c 45 43 54 20 62 20  csql { SELECT b 
0620: 46 52 4f 4d 20 74 32 20 57 48 45 52 45 20 61 20  FROM t2 WHERE a 
0630: 49 4e 20 28 32 2c 20 30 29 20 7d 0a 7d 20 7b 7a  IN (2, 0) }.} {z
0640: 65 72 6f 20 74 77 6f 7d 0a 0a 64 6f 5f 74 65 73  ero two}..do_tes
0650: 74 20 69 6e 34 2d 32 2e 34 20 7b 0a 20 20 65 78  t in4-2.4 {.  ex
0660: 65 63 73 71 6c 20 7b 20 53 45 4c 45 43 54 20 62  ecsql { SELECT b
0670: 20 46 52 4f 4d 20 74 32 20 57 48 45 52 45 20 61   FROM t2 WHERE a
0680: 20 49 4e 20 28 32 2c 20 2d 31 29 20 7d 0a 7d 20   IN (2, -1) }.} 
0690: 7b 2d 6f 6e 65 20 74 77 6f 7d 0a 0a 64 6f 5f 74  {-one two}..do_t
06a0: 65 73 74 20 69 6e 34 2d 32 2e 35 20 7b 0a 20 20  est in4-2.5 {.  
06b0: 65 78 65 63 73 71 6c 20 7b 20 53 45 4c 45 43 54  execsql { SELECT
06c0: 20 62 20 46 52 4f 4d 20 74 32 20 57 48 45 52 45   b FROM t2 WHERE
06d0: 20 61 20 49 4e 20 28 4e 55 4c 4c 2c 20 33 29 20   a IN (NULL, 3) 
06e0: 7d 0a 7d 20 7b 74 68 72 65 65 7d 0a 0a 64 6f 5f  }.} {three}..do_
06f0: 74 65 73 74 20 69 6e 34 2d 32 2e 36 20 7b 0a 20  test in4-2.6 {. 
0700: 20 65 78 65 63 73 71 6c 20 7b 20 53 45 4c 45 43   execsql { SELEC
0710: 54 20 62 20 46 52 4f 4d 20 74 32 20 57 48 45 52  T b FROM t2 WHER
0720: 45 20 61 20 49 4e 20 28 31 2e 30 2c 20 32 2e 31  E a IN (1.0, 2.1
0730: 29 20 7d 0a 7d 20 7b 6f 6e 65 7d 0a 0a 64 6f 5f  ) }.} {one}..do_
0740: 74 65 73 74 20 69 6e 34 2d 32 2e 37 20 7b 0a 20  test in4-2.7 {. 
0750: 20 65 78 65 63 73 71 6c 20 7b 20 53 45 4c 45 43   execsql { SELEC
0760: 54 20 62 20 46 52 4f 4d 20 74 32 20 57 48 45 52  T b FROM t2 WHER
0770: 45 20 61 20 49 4e 20 28 27 31 27 2c 20 27 32 27  E a IN ('1', '2'
0780: 29 20 7d 0a 7d 20 7b 6f 6e 65 20 74 77 6f 7d 0a  ) }.} {one two}.
0790: 0a 64 6f 5f 74 65 73 74 20 69 6e 34 2d 32 2e 38  .do_test in4-2.8
07a0: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 53   {.  execsql { S
07b0: 45 4c 45 43 54 20 62 20 46 52 4f 4d 20 74 32 20  ELECT b FROM t2 
07c0: 57 48 45 52 45 20 61 20 49 4e 20 28 27 27 2c 20  WHERE a IN ('', 
07d0: 27 30 2e 30 2e 30 27 2c 20 27 32 27 29 20 7d 0a  '0.0.0', '2') }.
07e0: 7d 20 7b 74 77 6f 7d 0a 0a 23 20 54 68 65 20 66  } {two}..# The f
07f0: 6f 6c 6c 6f 77 69 6e 67 20 62 6c 6f 63 6b 20 6f  ollowing block o
0800: 66 20 74 65 73 74 73 20 74 65 73 74 20 65 78 70  f tests test exp
0810: 72 65 73 73 69 6f 6e 73 20 6f 66 20 74 68 65 20  ressions of the 
0820: 66 6f 72 6d 3a 0a 23 0a 23 20 20 20 20 3c 65 78  form:.#.#    <ex
0830: 70 72 3e 20 49 4e 20 28 29 0a 23 0a 23 20 69 2e  pr> IN ().#.# i.
0840: 65 2e 20 49 4e 20 65 78 70 72 65 73 73 69 6f 6e  e. IN expression
0850: 73 20 77 69 74 68 20 61 20 6c 69 74 65 72 61 6c  s with a literal
0860: 20 65 6d 70 74 79 20 73 65 74 2e 20 0a 23 20 0a   empty set. .# .
0870: 23 20 54 68 69 73 20 68 61 73 20 6c 65 64 20 74  # This has led t
0880: 6f 20 63 72 61 73 68 65 73 20 6f 6e 20 6d 6f 72  o crashes on mor
0890: 65 20 74 68 61 6e 20 6f 6e 65 20 6f 63 63 61 73  e than one occas
08a0: 69 6f 6e 2e 20 54 65 73 74 20 63 61 73 65 20 69  ion. Test case i
08b0: 6e 34 2d 33 2e 32 20 0a 23 20 77 61 73 20 61 64  n4-3.2 .# was ad
08c0: 64 65 64 20 69 6e 20 72 65 70 6f 6e 73 65 20 74  ded in reponse t
08d0: 6f 20 61 20 62 75 67 20 72 65 70 6f 72 74 65 64  o a bug reported
08e0: 20 6f 6e 20 74 68 65 20 6d 61 69 6c 69 6e 67 20   on the mailing 
08f0: 6c 69 73 74 20 6f 6e 20 31 31 2f 37 2f 32 30 30  list on 11/7/200
0900: 38 2e 0a 23 20 53 65 65 20 61 6c 73 6f 20 74 69  8..# See also ti
0910: 63 6b 65 74 73 20 23 33 36 30 32 20 61 6e 64 20  ckets #3602 and 
0920: 23 31 38 35 2e 0a 23 0a 64 6f 5f 74 65 73 74 20  #185..#.do_test 
0930: 69 6e 34 2d 33 2e 31 20 7b 0a 20 20 65 78 65 63  in4-3.1 {.  exec
0940: 73 71 6c 20 7b 0a 20 20 20 20 44 52 4f 50 20 54  sql {.    DROP T
0950: 41 42 4c 45 20 49 46 20 45 58 49 53 54 53 20 74  ABLE IF EXISTS t
0960: 31 3b 0a 20 20 20 20 44 52 4f 50 20 54 41 42 4c  1;.    DROP TABL
0970: 45 20 49 46 20 45 58 49 53 54 53 20 74 32 3b 0a  E IF EXISTS t2;.
0980: 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45      CREATE TABLE
0990: 20 74 31 28 78 2c 20 69 64 29 3b 0a 20 20 20 20   t1(x, id);.    
09a0: 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 32 28  CREATE TABLE t2(
09b0: 78 2c 20 69 64 29 3b 0a 20 20 20 20 49 4e 53 45  x, id);.    INSE
09c0: 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45  RT INTO t1 VALUE
09d0: 53 28 4e 55 4c 4c 2c 20 4e 55 4c 4c 29 3b 0a 20  S(NULL, NULL);. 
09e0: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
09f0: 31 20 56 41 4c 55 45 53 28 30 2c 20 4e 55 4c 4c  1 VALUES(0, NULL
0a00: 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e  );.    INSERT IN
0a10: 54 4f 20 74 31 20 56 41 4c 55 45 53 28 31 2c 20  TO t1 VALUES(1, 
0a20: 33 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49  3);.    INSERT I
0a30: 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 32 2c  NTO t1 VALUES(2,
0a40: 20 34 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20   4);.    INSERT 
0a50: 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 33  INTO t1 VALUES(3
0a60: 2c 20 35 29 3b 0a 20 20 20 20 49 4e 53 45 52 54  , 5);.    INSERT
0a70: 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28   INTO t1 VALUES(
0a80: 34 2c 20 36 29 3b 0a 20 20 20 20 49 4e 53 45 52  4, 6);.    INSER
0a90: 54 20 49 4e 54 4f 20 74 32 20 56 41 4c 55 45 53  T INTO t2 VALUES
0aa0: 28 30 2c 20 4e 55 4c 4c 29 3b 0a 20 20 20 20 49  (0, NULL);.    I
0ab0: 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20 56 41  NSERT INTO t2 VA
0ac0: 4c 55 45 53 28 34 2c 20 31 29 3b 0a 20 20 20 20  LUES(4, 1);.    
0ad0: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20 56  INSERT INTO t2 V
0ae0: 41 4c 55 45 53 28 4e 55 4c 4c 2c 20 31 29 3b 0a  ALUES(NULL, 1);.
0af0: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
0b00: 74 32 20 56 41 4c 55 45 53 28 4e 55 4c 4c 2c 20  t2 VALUES(NULL, 
0b10: 4e 55 4c 4c 29 3b 0a 20 20 7d 0a 7d 20 7b 7d 0a  NULL);.  }.} {}.
0b20: 64 6f 5f 74 65 73 74 20 69 6e 34 2d 33 2e 32 20  do_test in4-3.2 
0b30: 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20  {.  execsql {.  
0b40: 20 20 53 45 4c 45 43 54 20 78 20 46 52 4f 4d 20    SELECT x FROM 
0b50: 74 31 20 57 48 45 52 45 20 69 64 20 49 4e 20 28  t1 WHERE id IN (
0b60: 29 20 41 4e 44 20 78 20 49 4e 20 28 53 45 4c 45  ) AND x IN (SELE
0b70: 43 54 20 78 20 46 52 4f 4d 20 74 32 20 57 48 45  CT x FROM t2 WHE
0b80: 52 45 20 69 64 3d 31 29 0a 20 20 7d 0a 7d 20 7b  RE id=1).  }.} {
0b90: 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 34 2d 33 2e  }.do_test in4-3.
0ba0: 33 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a  3 {.  execsql {.
0bb0: 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45      CREATE TABLE
0bc0: 20 74 33 28 78 2c 20 79 2c 20 7a 29 3b 0a 20 20   t3(x, y, z);.  
0bd0: 20 20 43 52 45 41 54 45 20 49 4e 44 45 58 20 74    CREATE INDEX t
0be0: 33 69 31 20 4f 4e 20 74 33 28 78 2c 20 79 29 3b  3i1 ON t3(x, y);
0bf0: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
0c00: 20 74 33 20 56 41 4c 55 45 53 28 31 2c 20 31 2c   t3 VALUES(1, 1,
0c10: 20 31 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20   1);.    INSERT 
0c20: 49 4e 54 4f 20 74 33 20 56 41 4c 55 45 53 28 31  INTO t3 VALUES(1
0c30: 30 2c 20 31 30 2c 20 31 30 29 3b 0a 20 20 7d 0a  0, 10, 10);.  }.
0c40: 20 20 65 78 65 63 73 71 6c 20 7b 20 53 45 4c 45    execsql { SELE
0c50: 43 54 20 2a 20 46 52 4f 4d 20 74 33 20 57 48 45  CT * FROM t3 WHE
0c60: 52 45 20 78 20 49 4e 20 28 29 20 7d 0a 7d 20 7b  RE x IN () }.} {
0c70: 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 34 2d 33 2e  }.do_test in4-3.
0c80: 34 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 20  4 {.  execsql { 
0c90: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 33  SELECT * FROM t3
0ca0: 20 57 48 45 52 45 20 78 20 3d 20 31 30 20 41 4e   WHERE x = 10 AN
0cb0: 44 20 79 20 49 4e 20 28 29 20 7d 0a 7d 20 7b 7d  D y IN () }.} {}
0cc0: 0a 64 6f 5f 74 65 73 74 20 69 6e 34 2d 33 2e 35  .do_test in4-3.5
0cd0: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 53   {.  execsql { S
0ce0: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 33 20  ELECT * FROM t3 
0cf0: 57 48 45 52 45 20 78 20 49 4e 20 28 29 20 41 4e  WHERE x IN () AN
0d00: 44 20 79 20 3d 20 31 30 20 7d 0a 7d 20 7b 7d 0a  D y = 10 }.} {}.
0d10: 64 6f 5f 74 65 73 74 20 69 6e 34 2d 33 2e 36 20  do_test in4-3.6 
0d20: 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 53 45  {.  execsql { SE
0d30: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 33 20 57  LECT * FROM t3 W
0d40: 48 45 52 45 20 78 20 49 4e 20 28 29 20 4f 52 20  HERE x IN () OR 
0d50: 78 20 3d 20 31 30 20 7d 0a 7d 20 7b 31 30 20 31  x = 10 }.} {10 1
0d60: 30 20 31 30 7d 0a 64 6f 5f 74 65 73 74 20 69 6e  0 10}.do_test in
0d70: 34 2d 33 2e 37 20 7b 0a 20 20 65 78 65 63 73 71  4-3.7 {.  execsq
0d80: 6c 20 7b 20 53 45 4c 45 43 54 20 2a 20 46 52 4f  l { SELECT * FRO
0d90: 4d 20 74 33 20 57 48 45 52 45 20 79 20 49 4e 20  M t3 WHERE y IN 
0da0: 28 29 20 7d 0a 7d 20 7b 7d 0a 64 6f 5f 74 65 73  () }.} {}.do_tes
0db0: 74 20 69 6e 34 2d 33 2e 38 20 7b 0a 20 20 65 78  t in4-3.8 {.  ex
0dc0: 65 63 73 71 6c 20 7b 20 53 45 4c 45 43 54 20 78  ecsql { SELECT x
0dd0: 20 49 4e 28 29 20 41 53 20 61 20 46 52 4f 4d 20   IN() AS a FROM 
0de0: 74 33 20 57 48 45 52 45 20 61 20 7d 0a 7d 20 7b  t3 WHERE a }.} {
0df0: 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 34 2d 33 2e  }.do_test in4-3.
0e00: 39 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 20  9 {.  execsql { 
0e10: 53 45 4c 45 43 54 20 78 20 49 4e 28 29 20 41 53  SELECT x IN() AS
0e20: 20 61 20 46 52 4f 4d 20 74 33 20 57 48 45 52 45   a FROM t3 WHERE
0e30: 20 4e 4f 54 20 61 20 7d 0a 7d 20 7b 30 20 30 7d   NOT a }.} {0 0}
0e40: 0a 64 6f 5f 74 65 73 74 20 69 6e 34 2d 33 2e 31  .do_test in4-3.1
0e50: 30 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 20  0 {.  execsql { 
0e60: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 33  SELECT * FROM t3
0e70: 20 57 48 45 52 45 20 6f 69 64 20 49 4e 20 28 29   WHERE oid IN ()
0e80: 20 7d 0a 7d 20 7b 7d 0a 64 6f 5f 74 65 73 74 20   }.} {}.do_test 
0e90: 69 6e 34 2d 33 2e 31 31 20 7b 0a 20 20 65 78 65  in4-3.11 {.  exe
0ea0: 63 73 71 6c 20 7b 20 53 45 4c 45 43 54 20 2a 20  csql { SELECT * 
0eb0: 46 52 4f 4d 20 74 33 20 57 48 45 52 45 20 78 20  FROM t3 WHERE x 
0ec0: 49 4e 20 28 31 2c 20 32 29 20 4f 52 20 79 20 49  IN (1, 2) OR y I
0ed0: 4e 20 28 29 7d 0a 7d 20 7b 31 20 31 20 31 7d 0a  N ()}.} {1 1 1}.
0ee0: 64 6f 5f 74 65 73 74 20 69 6e 34 2d 33 2e 31 32  do_test in4-3.12
0ef0: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 53   {.  execsql { S
0f00: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 33 20  ELECT * FROM t3 
0f10: 57 48 45 52 45 20 78 20 49 4e 20 28 31 2c 20 32  WHERE x IN (1, 2
0f20: 29 20 41 4e 44 20 79 20 49 4e 20 28 29 7d 0a 7d  ) AND y IN ()}.}
0f30: 20 7b 7d 0a 0a 23 20 54 65 73 74 73 20 66 6f 72   {}..# Tests for
0f40: 20 22 2e 2e 2e 20 49 4e 20 28 3f 29 22 20 61 6e   "... IN (?)" an
0f50: 64 20 22 2e 2e 2e 20 4e 4f 54 20 49 4e 20 28 3f  d "... NOT IN (?
0f60: 29 22 2e 20 20 49 6e 20 6f 74 68 65 72 20 77 6f  )".  In other wo
0f70: 72 64 73 2c 20 74 65 73 74 73 0a 23 20 66 6f 72  rds, tests.# for
0f80: 20 77 68 65 6e 20 74 68 65 20 52 48 53 20 6f 66   when the RHS of
0f90: 20 49 4e 20 69 73 20 61 20 73 69 6e 67 6c 65 20   IN is a single 
0fa0: 65 78 70 72 65 73 73 69 6f 6e 2e 20 20 54 68 69  expression.  Thi
0fb0: 73 20 73 68 6f 75 6c 64 20 77 6f 72 6b 20 74 68  s should work th
0fc0: 65 0a 23 20 73 61 6d 65 20 61 73 20 74 68 65 20  e.# same as the 
0fd0: 3d 3d 20 61 6e 64 20 3c 3e 20 6f 70 65 72 61 74  == and <> operat
0fe0: 6f 72 73 2e 0a 23 0a 64 6f 5f 65 78 65 63 73 71  ors..#.do_execsq
0ff0: 6c 5f 74 65 73 74 20 69 6e 34 2d 33 2e 32 31 20  l_test in4-3.21 
1000: 7b 0a 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f  {.  SELECT * FRO
1010: 4d 20 74 33 20 57 48 45 52 45 20 78 3d 31 30 20  M t3 WHERE x=10 
1020: 41 4e 44 20 79 20 49 4e 20 28 31 30 29 3b 0a 7d  AND y IN (10);.}
1030: 20 7b 31 30 20 31 30 20 31 30 7d 0a 64 6f 5f 65   {10 10 10}.do_e
1040: 78 65 63 73 71 6c 5f 74 65 73 74 20 69 6e 34 2d  xecsql_test in4-
1050: 33 2e 32 32 20 7b 0a 20 20 53 45 4c 45 43 54 20  3.22 {.  SELECT 
1060: 2a 20 46 52 4f 4d 20 74 33 20 57 48 45 52 45 20  * FROM t3 WHERE 
1070: 78 20 49 4e 20 28 31 30 29 20 41 4e 44 20 79 3d  x IN (10) AND y=
1080: 31 30 3b 0a 7d 20 7b 31 30 20 31 30 20 31 30 7d  10;.} {10 10 10}
1090: 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74  .do_execsql_test
10a0: 20 69 6e 34 2d 33 2e 32 33 20 7b 0a 20 20 53 45   in4-3.23 {.  SE
10b0: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 33 20 57  LECT * FROM t3 W
10c0: 48 45 52 45 20 78 20 49 4e 20 28 31 30 29 20 41  HERE x IN (10) A
10d0: 4e 44 20 79 20 49 4e 20 28 31 30 29 3b 0a 7d 20  ND y IN (10);.} 
10e0: 7b 31 30 20 31 30 20 31 30 7d 0a 64 6f 5f 65 78  {10 10 10}.do_ex
10f0: 65 63 73 71 6c 5f 74 65 73 74 20 69 6e 34 2d 33  ecsql_test in4-3
1100: 2e 32 34 20 7b 0a 20 20 53 45 4c 45 43 54 20 2a  .24 {.  SELECT *
1110: 20 46 52 4f 4d 20 74 33 20 57 48 45 52 45 20 78   FROM t3 WHERE x
1120: 3d 31 20 41 4e 44 20 79 20 4e 4f 54 20 49 4e 20  =1 AND y NOT IN 
1130: 28 31 30 29 3b 0a 7d 20 7b 31 20 31 20 31 7d 0a  (10);.} {1 1 1}.
1140: 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20  do_execsql_test 
1150: 69 6e 34 2d 33 2e 32 35 20 7b 0a 20 20 53 45 4c  in4-3.25 {.  SEL
1160: 45 43 54 20 2a 20 46 52 4f 4d 20 74 33 20 57 48  ECT * FROM t3 WH
1170: 45 52 45 20 78 20 20 4e 4f 54 20 49 4e 20 28 31  ERE x  NOT IN (1
1180: 30 29 20 41 4e 44 20 79 3d 31 3b 0a 7d 20 7b 31  0) AND y=1;.} {1
1190: 20 31 20 31 7d 0a 64 6f 5f 65 78 65 63 73 71 6c   1 1}.do_execsql
11a0: 5f 74 65 73 74 20 69 6e 34 2d 33 2e 32 36 20 7b  _test in4-3.26 {
11b0: 0a 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d  .  SELECT * FROM
11c0: 20 74 33 20 57 48 45 52 45 20 78 20 4e 4f 54 20   t3 WHERE x NOT 
11d0: 49 4e 20 28 31 30 29 20 41 4e 44 20 79 20 4e 4f  IN (10) AND y NO
11e0: 54 20 49 4e 20 28 31 30 29 3b 0a 7d 20 7b 31 20  T IN (10);.} {1 
11f0: 31 20 31 7d 0a 0a 23 20 54 68 65 20 71 75 65 72  1 1}..# The quer
1200: 79 20 70 6c 61 6e 6e 65 72 20 72 65 63 6f 67 6e  y planner recogn
1210: 69 7a 65 73 20 74 68 61 74 20 22 78 20 49 4e 20  izes that "x IN 
1220: 28 3f 29 22 20 6f 6e 6c 79 20 67 65 6e 65 72 61  (?)" only genera
1230: 74 65 73 20 61 0a 23 20 73 69 6e 67 6c 65 20 6d  tes a.# single m
1240: 61 74 63 68 20 61 6e 64 20 63 61 6e 20 75 73 65  atch and can use
1250: 20 74 68 69 73 20 69 6e 66 6f 72 6d 61 74 69 6f   this informatio
1260: 6e 20 74 6f 20 6f 70 74 69 6d 69 7a 65 2d 6f 75  n to optimize-ou
1270: 74 20 4f 52 44 45 52 20 42 59 0a 23 20 63 6c 61  t ORDER BY.# cla
1280: 75 73 65 73 2e 0a 23 0a 64 6f 5f 65 78 65 63 73  uses..#.do_execs
1290: 71 6c 5f 74 65 73 74 20 69 6e 34 2d 33 2e 33 31  ql_test in4-3.31
12a0: 20 7b 0a 20 20 44 52 4f 50 20 49 4e 44 45 58 20   {.  DROP INDEX 
12b0: 74 33 69 31 3b 0a 20 20 43 52 45 41 54 45 20 55  t3i1;.  CREATE U
12c0: 4e 49 51 55 45 20 49 4e 44 45 58 20 74 33 78 79  NIQUE INDEX t3xy
12d0: 20 4f 4e 20 74 33 28 78 2c 79 29 3b 0a 0a 20 20   ON t3(x,y);..  
12e0: 53 45 4c 45 43 54 20 2a 2c 20 27 7c 27 20 46 52  SELECT *, '|' FR
12f0: 4f 4d 20 74 33 20 41 2c 20 74 33 20 42 0a 20 20  OM t3 A, t3 B.  
1300: 20 57 48 45 52 45 20 41 2e 78 3d 31 30 20 41 4e   WHERE A.x=10 AN
1310: 44 20 41 2e 79 20 49 4e 20 28 31 30 29 0a 20 20  D A.y IN (10).  
1320: 20 20 20 41 4e 44 20 42 2e 78 3d 31 20 41 4e 44     AND B.x=1 AND
1330: 20 42 2e 79 20 49 4e 20 28 31 29 3b 0a 7d 20 7b   B.y IN (1);.} {
1340: 31 30 20 31 30 20 31 30 20 31 20 31 20 31 20 7c  10 10 10 1 1 1 |
1350: 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73  }.do_execsql_tes
1360: 74 20 69 6e 34 2d 33 2e 33 32 20 7b 0a 20 20 45  t in4-3.32 {.  E
1370: 58 50 4c 41 49 4e 20 51 55 45 52 59 20 50 4c 41  XPLAIN QUERY PLA
1380: 4e 0a 20 20 53 45 4c 45 43 54 20 2a 2c 20 27 7c  N.  SELECT *, '|
1390: 27 20 46 52 4f 4d 20 74 33 20 41 2c 20 74 33 20  ' FROM t3 A, t3 
13a0: 42 0a 20 20 20 57 48 45 52 45 20 41 2e 78 3d 31  B.   WHERE A.x=1
13b0: 30 20 41 4e 44 20 41 2e 79 20 49 4e 20 28 31 30  0 AND A.y IN (10
13c0: 29 0a 20 20 20 20 20 41 4e 44 20 42 2e 78 3d 31  ).     AND B.x=1
13d0: 20 41 4e 44 20 42 2e 79 20 49 4e 20 28 31 29 3b   AND B.y IN (1);
13e0: 0a 7d 20 7b 7e 2f 42 2d 54 52 45 45 2f 7d 20 20  .} {~/B-TREE/}  
13f0: 3b 23 20 4e 6f 20 73 65 70 61 72 61 74 65 20 73  ;# No separate s
1400: 6f 72 74 69 6e 67 20 70 61 73 73 0a 64 6f 5f 65  orting pass.do_e
1410: 78 65 63 73 71 6c 5f 74 65 73 74 20 69 6e 34 2d  xecsql_test in4-
1420: 33 2e 33 33 20 7b 0a 20 20 53 45 4c 45 43 54 20  3.33 {.  SELECT 
1430: 2a 2c 20 27 7c 27 20 46 52 4f 4d 20 74 33 20 41  *, '|' FROM t3 A
1440: 2c 20 74 33 20 42 0a 20 20 20 57 48 45 52 45 20  , t3 B.   WHERE 
1450: 41 2e 78 20 49 4e 20 28 31 30 29 20 41 4e 44 20  A.x IN (10) AND 
1460: 41 2e 79 3d 31 30 0a 20 20 20 20 20 41 4e 44 20  A.y=10.     AND 
1470: 42 2e 78 20 49 4e 20 28 31 29 20 41 4e 44 20 42  B.x IN (1) AND B
1480: 2e 79 3d 31 3b 0a 7d 20 7b 31 30 20 31 30 20 31  .y=1;.} {10 10 1
1490: 30 20 31 20 31 20 31 20 7c 7d 0a 64 6f 5f 65 78  0 1 1 1 |}.do_ex
14a0: 65 63 73 71 6c 5f 74 65 73 74 20 69 6e 34 2d 33  ecsql_test in4-3
14b0: 2e 33 34 20 7b 0a 20 20 45 58 50 4c 41 49 4e 20  .34 {.  EXPLAIN 
14c0: 51 55 45 52 59 20 50 4c 41 4e 0a 20 20 53 45 4c  QUERY PLAN.  SEL
14d0: 45 43 54 20 2a 2c 20 27 7c 27 20 46 52 4f 4d 20  ECT *, '|' FROM 
14e0: 74 33 20 41 2c 20 74 33 20 42 0a 20 20 20 57 48  t3 A, t3 B.   WH
14f0: 45 52 45 20 41 2e 78 20 49 4e 20 28 31 30 29 20  ERE A.x IN (10) 
1500: 41 4e 44 20 41 2e 79 3d 31 30 0a 20 20 20 20 20  AND A.y=10.     
1510: 41 4e 44 20 42 2e 78 20 49 4e 20 28 31 29 20 41  AND B.x IN (1) A
1520: 4e 44 20 42 2e 79 3d 31 3b 0a 7d 20 7b 7e 2f 42  ND B.y=1;.} {~/B
1530: 2d 54 52 45 45 2f 7d 20 20 3b 23 20 4e 6f 20 73  -TREE/}  ;# No s
1540: 65 70 61 72 61 74 65 20 73 6f 72 74 69 6e 67 20  eparate sorting 
1550: 70 61 73 73 0a 0a 23 20 41 6e 20 65 78 70 72 65  pass..# An expre
1560: 73 73 69 6f 6e 20 6f 66 20 74 68 65 20 66 6f 72  ssion of the for
1570: 6d 20 22 78 20 49 4e 20 28 3f 2c 3f 29 22 20 63  m "x IN (?,?)" c
1580: 72 65 61 74 65 73 20 61 6e 20 65 70 68 65 6d 65  reates an epheme
1590: 72 61 6c 20 74 61 62 6c 65 20 74 6f 0a 23 20 68  ral table to.# h
15a0: 6f 6c 64 20 74 68 65 20 6c 69 73 74 20 6f 66 20  old the list of 
15b0: 76 61 6c 75 65 73 20 6f 6e 20 74 68 65 20 52 48  values on the RH
15c0: 53 2e 20 20 42 75 74 20 22 78 20 49 4e 20 28 3f  S.  But "x IN (?
15d0: 29 22 20 64 6f 65 73 20 6e 6f 74 20 63 72 65 61  )" does not crea
15e0: 74 65 0a 23 20 61 6e 20 65 70 68 65 6d 65 72 61  te.# an ephemera
15f0: 6c 20 74 61 62 6c 65 2e 0a 23 0a 64 6f 5f 65 78  l table..#.do_ex
1600: 65 63 73 71 6c 5f 74 65 73 74 20 69 6e 34 2d 33  ecsql_test in4-3
1610: 2e 34 31 20 7b 0a 20 20 53 45 4c 45 43 54 20 2a  .41 {.  SELECT *
1620: 20 46 52 4f 4d 20 74 33 20 57 48 45 52 45 20 78   FROM t3 WHERE x
1630: 20 49 4e 20 28 31 30 2c 31 31 29 3b 0a 7d 20 7b   IN (10,11);.} {
1640: 31 30 20 31 30 20 31 30 7d 0a 64 6f 5f 65 78 65  10 10 10}.do_exe
1650: 63 73 71 6c 5f 74 65 73 74 20 69 6e 34 2d 33 2e  csql_test in4-3.
1660: 34 32 20 7b 0a 20 20 45 58 50 4c 41 49 4e 0a 20  42 {.  EXPLAIN. 
1670: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74   SELECT * FROM t
1680: 33 20 57 48 45 52 45 20 78 20 49 4e 20 28 31 30  3 WHERE x IN (10
1690: 2c 31 31 29 3b 0a 7d 20 7b 2f 4f 70 65 6e 45 70  ,11);.} {/OpenEp
16a0: 68 65 6d 65 72 61 6c 2f 7d 0a 64 6f 5f 65 78 65  hemeral/}.do_exe
16b0: 63 73 71 6c 5f 74 65 73 74 20 69 6e 34 2d 33 2e  csql_test in4-3.
16c0: 34 33 20 7b 0a 20 20 53 45 4c 45 43 54 20 2a 20  43 {.  SELECT * 
16d0: 46 52 4f 4d 20 74 33 20 57 48 45 52 45 20 78 20  FROM t3 WHERE x 
16e0: 49 4e 20 28 31 30 29 3b 0a 7d 20 7b 31 30 20 31  IN (10);.} {10 1
16f0: 30 20 31 30 7d 0a 64 6f 5f 65 78 65 63 73 71 6c  0 10}.do_execsql
1700: 5f 74 65 73 74 20 69 6e 34 2d 33 2e 34 34 20 7b  _test in4-3.44 {
1710: 0a 20 20 45 58 50 4c 41 49 4e 0a 20 20 53 45 4c  .  EXPLAIN.  SEL
1720: 45 43 54 20 2a 20 46 52 4f 4d 20 74 33 20 57 48  ECT * FROM t3 WH
1730: 45 52 45 20 78 20 49 4e 20 28 31 30 29 3b 0a 7d  ERE x IN (10);.}
1740: 20 7b 7e 2f 4f 70 65 6e 45 70 68 65 6d 65 72 61   {~/OpenEphemera
1750: 6c 2f 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74  l/}.do_execsql_t
1760: 65 73 74 20 69 6e 34 2d 33 2e 34 35 20 7b 0a 20  est in4-3.45 {. 
1770: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74   SELECT * FROM t
1780: 33 20 57 48 45 52 45 20 78 20 4e 4f 54 20 49 4e  3 WHERE x NOT IN
1790: 20 28 31 30 2c 31 31 29 3b 0a 7d 20 7b 31 20 31   (10,11);.} {1 1
17a0: 20 31 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74   1}.do_execsql_t
17b0: 65 73 74 20 69 6e 34 2d 33 2e 34 36 20 7b 0a 20  est in4-3.46 {. 
17c0: 20 45 58 50 4c 41 49 4e 0a 20 20 53 45 4c 45 43   EXPLAIN.  SELEC
17d0: 54 20 2a 20 46 52 4f 4d 20 74 33 20 57 48 45 52  T * FROM t3 WHER
17e0: 45 20 78 20 4e 4f 54 20 49 4e 20 28 31 30 2c 31  E x NOT IN (10,1
17f0: 31 29 3b 0a 7d 20 7b 2f 4f 70 65 6e 45 70 68 65  1);.} {/OpenEphe
1800: 6d 65 72 61 6c 2f 7d 0a 64 6f 5f 65 78 65 63 73  meral/}.do_execs
1810: 71 6c 5f 74 65 73 74 20 69 6e 34 2d 33 2e 34 37  ql_test in4-3.47
1820: 20 7b 0a 20 20 53 45 4c 45 43 54 20 2a 20 46 52   {.  SELECT * FR
1830: 4f 4d 20 74 33 20 57 48 45 52 45 20 78 20 4e 4f  OM t3 WHERE x NO
1840: 54 20 49 4e 20 28 31 30 29 3b 0a 7d 20 7b 31 20  T IN (10);.} {1 
1850: 31 20 31 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f  1 1}.do_execsql_
1860: 74 65 73 74 20 69 6e 34 2d 33 2e 34 38 20 7b 0a  test in4-3.48 {.
1870: 20 20 45 58 50 4c 41 49 4e 0a 20 20 53 45 4c 45    EXPLAIN.  SELE
1880: 43 54 20 2a 20 46 52 4f 4d 20 74 33 20 57 48 45  CT * FROM t3 WHE
1890: 52 45 20 78 20 4e 4f 54 20 49 4e 20 28 31 30 29  RE x NOT IN (10)
18a0: 3b 0a 7d 20 7b 7e 2f 4f 70 65 6e 45 70 68 65 6d  ;.} {~/OpenEphem
18b0: 65 72 61 6c 2f 7d 0a 0a 23 20 4d 61 6b 65 20 73  eral/}..# Make s
18c0: 75 72 65 20 74 68 61 74 20 77 68 65 6e 20 22 78  ure that when "x
18d0: 20 49 4e 20 28 3f 29 22 20 69 73 20 63 6f 6e 76   IN (?)" is conv
18e0: 65 72 74 65 64 20 69 6e 74 6f 20 22 78 3d 3d 3f  erted into "x==?
18f0: 22 20 74 68 61 74 20 63 6f 6c 6c 61 74 69 6e 67  " that collating
1900: 0a 23 20 73 65 71 75 65 6e 63 65 20 61 6e 64 20  .# sequence and 
1910: 61 66 66 69 6e 69 74 79 20 63 6f 6d 70 75 74 61  affinity computa
1920: 74 69 6f 6e 73 20 64 6f 20 6e 6f 74 20 67 65 74  tions do not get
1930: 20 6d 65 73 73 65 64 20 75 70 2e 0a 23 0a 64 6f   messed up..#.do
1940: 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 69 6e  _execsql_test in
1950: 34 2d 34 2e 31 20 7b 0a 20 20 43 52 45 41 54 45  4-4.1 {.  CREATE
1960: 20 54 41 42 4c 45 20 74 34 61 28 61 20 54 45 58   TABLE t4a(a TEX
1970: 54 2c 20 62 20 54 45 58 54 20 43 4f 4c 4c 41 54  T, b TEXT COLLAT
1980: 45 20 6e 6f 63 61 73 65 2c 20 63 29 3b 0a 20 20  E nocase, c);.  
1990: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 34 61 20  INSERT INTO t4a 
19a0: 56 41 4c 55 45 53 28 27 41 42 43 27 2c 27 61 62  VALUES('ABC','ab
19b0: 63 27 2c 31 29 3b 0a 20 20 49 4e 53 45 52 54 20  c',1);.  INSERT 
19c0: 49 4e 54 4f 20 74 34 61 20 56 41 4c 55 45 53 28  INTO t4a VALUES(
19d0: 27 64 65 66 27 2c 27 78 79 7a 27 2c 32 29 3b 0a  'def','xyz',2);.
19e0: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 34    INSERT INTO t4
19f0: 61 20 56 41 4c 55 45 53 28 27 67 68 69 27 2c 27  a VALUES('ghi','
1a00: 67 68 69 27 2c 33 29 3b 0a 20 20 53 45 4c 45 43  ghi',3);.  SELEC
1a10: 54 20 63 20 46 52 4f 4d 20 74 34 61 20 57 48 45  T c FROM t4a WHE
1a20: 52 45 20 61 3d 62 20 4f 52 44 45 52 20 42 59 20  RE a=b ORDER BY 
1a30: 63 3b 0a 7d 20 7b 33 7d 0a 64 6f 5f 65 78 65 63  c;.} {3}.do_exec
1a40: 73 71 6c 5f 74 65 73 74 20 69 6e 34 2d 34 2e 32  sql_test in4-4.2
1a50: 20 7b 0a 20 20 53 45 4c 45 43 54 20 63 20 46 52   {.  SELECT c FR
1a60: 4f 4d 20 74 34 61 20 57 48 45 52 45 20 62 3d 61  OM t4a WHERE b=a
1a70: 20 4f 52 44 45 52 20 42 59 20 63 3b 0a 7d 20 7b   ORDER BY c;.} {
1a80: 31 20 33 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f  1 3}.do_execsql_
1a90: 74 65 73 74 20 69 6e 34 2d 34 2e 33 20 7b 0a 20  test in4-4.3 {. 
1aa0: 20 53 45 4c 45 43 54 20 63 20 46 52 4f 4d 20 74   SELECT c FROM t
1ab0: 34 61 20 57 48 45 52 45 20 28 61 7c 7c 27 27 29  4a WHERE (a||'')
1ac0: 3d 62 20 4f 52 44 45 52 20 42 59 20 63 3b 0a 7d  =b ORDER BY c;.}
1ad0: 20 7b 31 20 33 7d 0a 64 6f 5f 65 78 65 63 73 71   {1 3}.do_execsq
1ae0: 6c 5f 74 65 73 74 20 69 6e 34 2d 34 2e 34 20 7b  l_test in4-4.4 {
1af0: 0a 20 20 53 45 4c 45 43 54 20 63 20 46 52 4f 4d  .  SELECT c FROM
1b00: 20 74 34 61 20 57 48 45 52 45 20 28 61 7c 7c 27   t4a WHERE (a||'
1b10: 27 29 3d 28 62 7c 7c 27 27 29 20 4f 52 44 45 52  ')=(b||'') ORDER
1b20: 20 42 59 20 63 3b 0a 7d 20 7b 33 7d 0a 64 6f 5f   BY c;.} {3}.do_
1b30: 65 78 65 63 73 71 6c 5f 74 65 73 74 20 69 6e 34  execsql_test in4
1b40: 2d 34 2e 35 20 7b 0a 20 20 53 45 4c 45 43 54 20  -4.5 {.  SELECT 
1b50: 63 20 46 52 4f 4d 20 74 34 61 20 57 48 45 52 45  c FROM t4a WHERE
1b60: 20 61 20 49 4e 20 28 62 29 20 4f 52 44 45 52 20   a IN (b) ORDER 
1b70: 42 59 20 63 3b 0a 7d 20 7b 33 7d 0a 64 6f 5f 65  BY c;.} {3}.do_e
1b80: 78 65 63 73 71 6c 5f 74 65 73 74 20 69 6e 34 2d  xecsql_test in4-
1b90: 34 2e 36 20 7b 0a 20 20 53 45 4c 45 43 54 20 63  4.6 {.  SELECT c
1ba0: 20 46 52 4f 4d 20 74 34 61 20 57 48 45 52 45 20   FROM t4a WHERE 
1bb0: 28 61 7c 7c 27 27 29 20 49 4e 20 28 62 29 20 4f  (a||'') IN (b) O
1bc0: 52 44 45 52 20 42 59 20 63 3b 0a 7d 20 7b 33 7d  RDER BY c;.} {3}
1bd0: 0a 0a 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65  ...do_execsql_te
1be0: 73 74 20 69 6e 34 2d 34 2e 31 31 20 7b 0a 20 20  st in4-4.11 {.  
1bf0: 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 34 62  CREATE TABLE t4b
1c00: 28 61 20 54 45 58 54 2c 20 62 20 4e 55 4d 45 52  (a TEXT, b NUMER
1c10: 49 43 2c 20 63 29 3b 0a 20 20 49 4e 53 45 52 54  IC, c);.  INSERT
1c20: 20 49 4e 54 4f 20 74 34 62 20 56 41 4c 55 45 53   INTO t4b VALUES
1c30: 28 27 31 2e 30 27 2c 31 2c 34 29 3b 0a 20 20 53  ('1.0',1,4);.  S
1c40: 45 4c 45 43 54 20 63 20 46 52 4f 4d 20 74 34 62  ELECT c FROM t4b
1c50: 20 57 48 45 52 45 20 61 3d 62 3b 0a 7d 20 7b 34   WHERE a=b;.} {4
1c60: 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73  }.do_execsql_tes
1c70: 74 20 69 6e 34 2d 34 2e 31 32 20 7b 0a 20 20 53  t in4-4.12 {.  S
1c80: 45 4c 45 43 54 20 63 20 46 52 4f 4d 20 74 34 62  ELECT c FROM t4b
1c90: 20 57 48 45 52 45 20 62 3d 61 3b 0a 7d 20 7b 34   WHERE b=a;.} {4
1ca0: 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73  }.do_execsql_tes
1cb0: 74 20 69 6e 34 2d 34 2e 31 33 20 7b 0a 20 20 53  t in4-4.13 {.  S
1cc0: 45 4c 45 43 54 20 63 20 46 52 4f 4d 20 74 34 62  ELECT c FROM t4b
1cd0: 20 57 48 45 52 45 20 2b 61 3d 62 3b 0a 7d 20 7b   WHERE +a=b;.} {
1ce0: 34 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65  4}.do_execsql_te
1cf0: 73 74 20 69 6e 34 2d 34 2e 31 34 20 7b 0a 20 20  st in4-4.14 {.  
1d00: 53 45 4c 45 43 54 20 63 20 46 52 4f 4d 20 74 34  SELECT c FROM t4
1d10: 62 20 57 48 45 52 45 20 61 3d 2b 62 3b 0a 7d 20  b WHERE a=+b;.} 
1d20: 7b 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65  {}.do_execsql_te
1d30: 73 74 20 69 6e 34 2d 34 2e 31 35 20 7b 0a 20 20  st in4-4.15 {.  
1d40: 53 45 4c 45 43 54 20 63 20 46 52 4f 4d 20 74 34  SELECT c FROM t4
1d50: 62 20 57 48 45 52 45 20 2b 62 3d 61 3b 0a 7d 20  b WHERE +b=a;.} 
1d60: 7b 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65  {}.do_execsql_te
1d70: 73 74 20 69 6e 34 2d 34 2e 31 36 20 7b 0a 20 20  st in4-4.16 {.  
1d80: 53 45 4c 45 43 54 20 63 20 46 52 4f 4d 20 74 34  SELECT c FROM t4
1d90: 62 20 57 48 45 52 45 20 62 3d 2b 61 3b 0a 7d 20  b WHERE b=+a;.} 
1da0: 7b 34 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74  {4}.do_execsql_t
1db0: 65 73 74 20 69 6e 34 2d 34 2e 31 37 20 7b 0a 20  est in4-4.17 {. 
1dc0: 20 53 45 4c 45 43 54 20 63 20 46 52 4f 4d 20 74   SELECT c FROM t
1dd0: 34 62 20 57 48 45 52 45 20 61 20 49 4e 20 28 62  4b WHERE a IN (b
1de0: 29 3b 0a 7d 20 7b 7d 0a 64 6f 5f 65 78 65 63 73  );.} {}.do_execs
1df0: 71 6c 5f 74 65 73 74 20 69 6e 34 2d 34 2e 31 38  ql_test in4-4.18
1e00: 20 7b 0a 20 20 53 45 4c 45 43 54 20 63 20 46 52   {.  SELECT c FR
1e10: 4f 4d 20 74 34 62 20 57 48 45 52 45 20 62 20 49  OM t4b WHERE b I
1e20: 4e 20 28 61 29 3b 0a 7d 20 7b 34 7d 0a 64 6f 5f  N (a);.} {4}.do_
1e30: 65 78 65 63 73 71 6c 5f 74 65 73 74 20 69 6e 34  execsql_test in4
1e40: 2d 34 2e 31 39 20 7b 0a 20 20 53 45 4c 45 43 54  -4.19 {.  SELECT
1e50: 20 63 20 46 52 4f 4d 20 74 34 62 20 57 48 45 52   c FROM t4b WHER
1e60: 45 20 2b 62 20 49 4e 20 28 61 29 3b 0a 7d 20 7b  E +b IN (a);.} {
1e70: 7d 0a 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65  }..do_execsql_te
1e80: 73 74 20 69 6e 34 2d 35 2e 31 20 7b 0a 20 20 43  st in4-5.1 {.  C
1e90: 52 45 41 54 45 20 54 41 42 4c 45 20 74 35 28 63  REATE TABLE t5(c
1ea0: 20 49 4e 54 45 47 45 52 20 50 52 49 4d 41 52 59   INTEGER PRIMARY
1eb0: 20 4b 45 59 2c 20 64 20 54 45 58 54 20 43 4f 4c   KEY, d TEXT COL
1ec0: 4c 41 54 45 20 6e 6f 63 61 73 65 29 3b 0a 20 20  LATE nocase);.  
1ed0: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 35 20 56  INSERT INTO t5 V
1ee0: 41 4c 55 45 53 28 31 37 2c 20 27 66 75 7a 7a 27  ALUES(17, 'fuzz'
1ef0: 29 3b 0a 20 20 53 45 4c 45 43 54 20 31 20 46 52  );.  SELECT 1 FR
1f00: 4f 4d 20 74 35 20 57 48 45 52 45 20 27 66 75 7a  OM t5 WHERE 'fuz
1f10: 7a 27 20 49 4e 20 28 64 29 3b 20 20 2d 2d 20 6d  z' IN (d);  -- m
1f20: 61 74 63 68 0a 20 20 53 45 4c 45 43 54 20 32 20  atch.  SELECT 2 
1f30: 46 52 4f 4d 20 74 35 20 57 48 45 52 45 20 27 46  FROM t5 WHERE 'F
1f40: 55 5a 5a 27 20 49 4e 20 28 64 29 3b 20 20 2d 2d  UZZ' IN (d);  --
1f50: 20 6e 6f 20 6d 61 74 63 68 0a 20 20 53 45 4c 45   no match.  SELE
1f60: 43 54 20 33 20 46 52 4f 4d 20 74 35 20 57 48 45  CT 3 FROM t5 WHE
1f70: 52 45 20 64 20 49 4e 20 28 27 66 75 7a 7a 27 29  RE d IN ('fuzz')
1f80: 3b 20 20 2d 2d 20 6d 61 74 63 68 0a 20 20 53 45  ;  -- match.  SE
1f90: 4c 45 43 54 20 34 20 46 52 4f 4d 20 74 35 20 57  LECT 4 FROM t5 W
1fa0: 48 45 52 45 20 64 20 49 4e 20 28 27 46 55 5a 5a  HERE d IN ('FUZZ
1fb0: 27 29 3b 20 20 2d 2d 20 6d 61 74 63 68 0a 7d 20  ');  -- match.} 
1fc0: 7b 31 20 33 20 34 7d 0a 0a 23 20 41 6e 20 65 78  {1 3 4}..# An ex
1fd0: 70 72 65 73 73 69 6f 6e 20 6f 66 20 74 68 65 20  pression of the 
1fe0: 66 6f 72 6d 20 22 78 20 49 4e 20 28 79 29 22 20  form "x IN (y)" 
1ff0: 63 61 6e 20 62 65 20 75 73 65 64 20 61 73 20 22  can be used as "
2000: 78 3d 79 22 20 62 79 20 74 68 65 0a 23 20 71 75  x=y" by the.# qu
2010: 65 72 79 20 70 6c 61 6e 6e 65 72 20 77 68 65 6e  ery planner when
2020: 20 63 6f 6d 70 75 74 69 6e 67 20 74 72 61 6e 73   computing trans
2030: 69 74 69 76 65 20 63 6f 6e 73 74 72 61 69 6e 74  itive constraint
2040: 73 20 6f 72 20 74 6f 20 72 75 6e 20 74 68 65 0a  s or to run the.
2050: 23 20 71 75 65 72 79 20 75 73 69 6e 67 20 61 6e  # query using an
2060: 20 69 6e 64 65 78 20 6f 6e 20 79 2e 0a 23 0a 64   index on y..#.d
2070: 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 69  o_execsql_test i
2080: 6e 34 2d 36 2e 31 20 7b 0a 20 20 43 52 45 41 54  n4-6.1 {.  CREAT
2090: 45 20 54 41 42 4c 45 20 74 36 61 28 61 20 49 4e  E TABLE t6a(a IN
20a0: 54 45 47 45 52 20 50 52 49 4d 41 52 59 20 4b 45  TEGER PRIMARY KE
20b0: 59 2c 20 62 29 3b 0a 20 20 49 4e 53 45 52 54 20  Y, b);.  INSERT 
20c0: 49 4e 54 4f 20 74 36 61 20 56 41 4c 55 45 53 28  INTO t6a VALUES(
20d0: 31 2c 32 29 2c 28 33 2c 34 29 2c 28 35 2c 36 29  1,2),(3,4),(5,6)
20e0: 3b 0a 20 20 43 52 45 41 54 45 20 54 41 42 4c 45  ;.  CREATE TABLE
20f0: 20 74 36 62 28 63 20 49 4e 54 45 47 45 52 20 50   t6b(c INTEGER P
2100: 52 49 4d 41 52 59 20 4b 45 59 2c 20 64 29 3b 0a  RIMARY KEY, d);.
2110: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 36    INSERT INTO t6
2120: 62 20 56 41 4c 55 45 53 28 34 2c 34 34 29 2c 28  b VALUES(4,44),(
2130: 35 2c 35 35 29 2c 28 36 2c 36 36 29 3b 0a 0a 20  5,55),(6,66);.. 
2140: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74   SELECT * FROM t
2150: 36 61 2c 20 74 36 62 20 57 48 45 52 45 20 61 3d  6a, t6b WHERE a=
2160: 33 20 41 4e 44 20 62 20 49 4e 20 28 63 29 3b 0a  3 AND b IN (c);.
2170: 7d 20 7b 33 20 34 20 34 20 34 34 7d 0a 64 6f 5f  } {3 4 4 44}.do_
2180: 65 78 65 63 73 71 6c 5f 74 65 73 74 20 69 6e 34  execsql_test in4
2190: 2d 36 2e 31 2d 65 71 70 20 7b 0a 20 20 45 58 50  -6.1-eqp {.  EXP
21a0: 4c 41 49 4e 20 51 55 45 52 59 20 50 4c 41 4e 0a  LAIN QUERY PLAN.
21b0: 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20    SELECT * FROM 
21c0: 74 36 61 2c 20 74 36 62 20 57 48 45 52 45 20 61  t6a, t6b WHERE a
21d0: 3d 33 20 41 4e 44 20 62 20 49 4e 20 28 63 29 3b  =3 AND b IN (c);
21e0: 0a 7d 20 7b 7e 2f 53 43 41 4e 2f 7d 0a 64 6f 5f  .} {~/SCAN/}.do_
21f0: 65 78 65 63 73 71 6c 5f 74 65 73 74 20 69 6e 34  execsql_test in4
2200: 2d 36 2e 32 20 7b 0a 20 20 53 45 4c 45 43 54 20  -6.2 {.  SELECT 
2210: 2a 20 46 52 4f 4d 20 74 36 61 2c 20 74 36 62 20  * FROM t6a, t6b 
2220: 57 48 45 52 45 20 61 3d 33 20 41 4e 44 20 63 20  WHERE a=3 AND c 
2230: 49 4e 20 28 62 29 3b 0a 7d 20 7b 33 20 34 20 34  IN (b);.} {3 4 4
2240: 20 34 34 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f   44}.do_execsql_
2250: 74 65 73 74 20 69 6e 34 2d 36 2e 32 2d 65 71 70  test in4-6.2-eqp
2260: 20 7b 0a 20 20 45 58 50 4c 41 49 4e 20 51 55 45   {.  EXPLAIN QUE
2270: 52 59 20 50 4c 41 4e 0a 20 20 53 45 4c 45 43 54  RY PLAN.  SELECT
2280: 20 2a 20 46 52 4f 4d 20 74 36 61 2c 20 74 36 62   * FROM t6a, t6b
2290: 20 57 48 45 52 45 20 61 3d 33 20 41 4e 44 20 63   WHERE a=3 AND c
22a0: 20 49 4e 20 28 62 29 3b 0a 7d 20 7b 7e 2f 53 43   IN (b);.} {~/SC
22b0: 41 4e 2f 7d 0a 0a 0a 66 69 6e 69 73 68 5f 74 65  AN/}...finish_te
22c0: 73 74 0a                                         st.