/ Hex Artifact Content
Login

Artifact 3171a2b3170a8223665c1a4f26be5f3eda36cc4b:


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 39 20 32   in.test,v 1.9 2
0200: 30 30 33 2f 30 31 2f 33 31 20 31 37 3a 31 36 3a  003/01/31 17:16:
0210: 33 37 20 64 72 68 20 45 78 70 20 24 0a 0a 73 65  37 drh Exp $..se
0220: 74 20 74 65 73 74 64 69 72 20 5b 66 69 6c 65 20  t testdir [file 
0230: 64 69 72 6e 61 6d 65 20 24 61 72 67 76 30 5d 0a  dirname $argv0].
0240: 73 6f 75 72 63 65 20 24 74 65 73 74 64 69 72 2f  source $testdir/
0250: 74 65 73 74 65 72 2e 74 63 6c 0a 0a 23 20 47 65  tester.tcl..# Ge
0260: 6e 65 72 61 74 65 20 74 68 65 20 74 65 73 74 20  nerate the test 
0270: 64 61 74 61 20 77 65 20 77 69 6c 6c 20 6e 65 65  data we will nee
0280: 64 20 66 6f 72 20 74 68 65 20 66 69 72 73 74 20  d for the first 
0290: 73 71 75 65 6e 63 65 73 20 6f 66 20 74 65 73 74  squences of test
02a0: 73 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 69 6e 2d  s..#.do_test in-
02b0: 31 2e 30 20 7b 0a 20 20 73 65 74 20 66 64 20 5b  1.0 {.  set fd [
02c0: 6f 70 65 6e 20 64 61 74 61 31 2e 74 78 74 20 77  open data1.txt w
02d0: 5d 0a 20 20 66 6f 72 20 7b 73 65 74 20 69 20 31  ].  for {set i 1
02e0: 7d 20 7b 24 69 3c 3d 31 30 7d 20 7b 69 6e 63 72  } {$i<=10} {incr
02f0: 20 69 7d 20 7b 0a 20 20 20 20 70 75 74 73 20 24   i} {.    puts $
0300: 66 64 20 22 24 69 5c 74 5b 65 78 70 72 20 7b 69  fd "$i\t[expr {i
0310: 6e 74 28 70 6f 77 28 32 2c 24 69 29 29 7d 5d 22  nt(pow(2,$i))}]"
0320: 0a 20 20 7d 0a 20 20 63 6c 6f 73 65 20 24 66 64  .  }.  close $fd
0330: 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20  .  execsql {.   
0340: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 31   CREATE TABLE t1
0350: 28 61 20 69 6e 74 2c 20 62 20 69 6e 74 29 3b 0a  (a int, b int);.
0360: 20 20 20 20 43 4f 50 59 20 74 31 20 46 52 4f 4d      COPY t1 FROM
0370: 20 27 64 61 74 61 31 2e 74 78 74 27 3b 0a 20 20   'data1.txt';.  
0380: 7d 0a 20 20 66 69 6c 65 20 64 65 6c 65 74 65 20  }.  file delete 
0390: 2d 66 6f 72 63 65 20 64 61 74 61 31 2e 74 78 74  -force data1.txt
03a0: 0a 20 20 65 78 65 63 73 71 6c 20 7b 53 45 4c 45  .  execsql {SELE
03b0: 43 54 20 63 6f 75 6e 74 28 2a 29 20 46 52 4f 4d  CT count(*) FROM
03c0: 20 74 31 7d 0a 7d 20 7b 31 30 7d 0a 0a 23 20 44   t1}.} {10}..# D
03d0: 6f 20 62 61 73 69 63 20 74 65 73 74 69 6e 67 20  o basic testing 
03e0: 6f 66 20 42 45 54 57 45 45 4e 2e 0a 23 0a 64 6f  of BETWEEN..#.do
03f0: 5f 74 65 73 74 20 69 6e 2d 31 2e 31 20 7b 0a 20  _test in-1.1 {. 
0400: 20 65 78 65 63 73 71 6c 20 7b 53 45 4c 45 43 54   execsql {SELECT
0410: 20 61 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45   a FROM t1 WHERE
0420: 20 62 20 42 45 54 57 45 45 4e 20 31 30 20 41 4e   b BETWEEN 10 AN
0430: 44 20 35 30 20 4f 52 44 45 52 20 42 59 20 61 7d  D 50 ORDER BY a}
0440: 0a 7d 20 7b 34 20 35 7d 0a 64 6f 5f 74 65 73 74  .} {4 5}.do_test
0450: 20 69 6e 2d 31 2e 32 20 7b 0a 20 20 65 78 65 63   in-1.2 {.  exec
0460: 73 71 6c 20 7b 53 45 4c 45 43 54 20 61 20 46 52  sql {SELECT a FR
0470: 4f 4d 20 74 31 20 57 48 45 52 45 20 62 20 4e 4f  OM t1 WHERE b NO
0480: 54 20 42 45 54 57 45 45 4e 20 31 30 20 41 4e 44  T BETWEEN 10 AND
0490: 20 35 30 20 4f 52 44 45 52 20 42 59 20 61 7d 0a   50 ORDER BY a}.
04a0: 7d 20 7b 31 20 32 20 33 20 36 20 37 20 38 20 39  } {1 2 3 6 7 8 9
04b0: 20 31 30 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 2d   10}.do_test in-
04c0: 31 2e 33 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  1.3 {.  execsql 
04d0: 7b 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74  {SELECT a FROM t
04e0: 31 20 57 48 45 52 45 20 62 20 42 45 54 57 45 45  1 WHERE b BETWEE
04f0: 4e 20 61 20 41 4e 44 20 61 2a 35 20 4f 52 44 45  N a AND a*5 ORDE
0500: 52 20 42 59 20 61 7d 0a 7d 20 7b 31 20 32 20 33  R BY a}.} {1 2 3
0510: 20 34 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 31   4}.do_test in-1
0520: 2e 34 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b  .4 {.  execsql {
0530: 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 31  SELECT a FROM t1
0540: 20 57 48 45 52 45 20 62 20 4e 4f 54 20 42 45 54   WHERE b NOT BET
0550: 57 45 45 4e 20 61 20 41 4e 44 20 61 2a 35 20 4f  WEEN a AND a*5 O
0560: 52 44 45 52 20 42 59 20 61 7d 0a 7d 20 7b 35 20  RDER BY a}.} {5 
0570: 36 20 37 20 38 20 39 20 31 30 7d 0a 64 6f 5f 74  6 7 8 9 10}.do_t
0580: 65 73 74 20 69 6e 2d 31 2e 36 20 7b 0a 20 20 65  est in-1.6 {.  e
0590: 78 65 63 73 71 6c 20 7b 53 45 4c 45 43 54 20 61  xecsql {SELECT a
05a0: 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 62   FROM t1 WHERE b
05b0: 20 42 45 54 57 45 45 4e 20 61 20 41 4e 44 20 61   BETWEEN a AND a
05c0: 2a 35 20 4f 52 20 62 3d 35 31 32 20 4f 52 44 45  *5 OR b=512 ORDE
05d0: 52 20 42 59 20 61 7d 0a 7d 20 7b 31 20 32 20 33  R BY a}.} {1 2 3
05e0: 20 34 20 39 7d 0a 64 6f 5f 74 65 73 74 20 69 6e   4 9}.do_test in
05f0: 2d 31 2e 37 20 7b 0a 20 20 65 78 65 63 73 71 6c  -1.7 {.  execsql
0600: 20 7b 53 45 4c 45 43 54 20 61 2b 20 31 30 30 2a   {SELECT a+ 100*
0610: 28 61 20 42 45 54 57 45 45 4e 20 31 20 61 6e 64  (a BETWEEN 1 and
0620: 20 33 29 20 46 52 4f 4d 20 74 31 20 4f 52 44 45   3) FROM t1 ORDE
0630: 52 20 42 59 20 62 7d 0a 7d 20 7b 31 30 31 20 31  R BY b}.} {101 1
0640: 30 32 20 31 30 33 20 34 20 35 20 36 20 37 20 38  02 103 4 5 6 7 8
0650: 20 39 20 31 30 7d 0a 0a 0a 23 20 54 65 73 74 69   9 10}...# Testi
0660: 6e 67 20 6f 66 20 74 68 65 20 49 4e 20 6f 70 65  ng of the IN ope
0670: 72 61 74 6f 72 20 75 73 69 6e 67 20 73 74 61 74  rator using stat
0680: 69 63 20 6c 69 73 74 73 20 6f 6e 20 74 68 65 20  ic lists on the 
0690: 72 69 67 68 74 2d 68 61 6e 64 20 73 69 64 65 2e  right-hand side.
06a0: 0a 23 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 32 2e  .#.do_test in-2.
06b0: 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 53  1 {.  execsql {S
06c0: 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 31 20  ELECT a FROM t1 
06d0: 57 48 45 52 45 20 62 20 49 4e 20 28 38 2c 31 32  WHERE b IN (8,12
06e0: 2c 31 36 2c 32 34 2c 33 32 29 20 4f 52 44 45 52  ,16,24,32) ORDER
06f0: 20 42 59 20 61 7d 0a 7d 20 7b 33 20 34 20 35 7d   BY a}.} {3 4 5}
0700: 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 32 2e 32 20  .do_test in-2.2 
0710: 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 53 45 4c  {.  execsql {SEL
0720: 45 43 54 20 61 20 46 52 4f 4d 20 74 31 20 57 48  ECT a FROM t1 WH
0730: 45 52 45 20 62 20 4e 4f 54 20 49 4e 20 28 38 2c  ERE b NOT IN (8,
0740: 31 32 2c 31 36 2c 32 34 2c 33 32 29 20 4f 52 44  12,16,24,32) ORD
0750: 45 52 20 42 59 20 61 7d 0a 7d 20 7b 31 20 32 20  ER BY a}.} {1 2 
0760: 36 20 37 20 38 20 39 20 31 30 7d 0a 64 6f 5f 74  6 7 8 9 10}.do_t
0770: 65 73 74 20 69 6e 2d 32 2e 33 20 7b 0a 20 20 65  est in-2.3 {.  e
0780: 78 65 63 73 71 6c 20 7b 53 45 4c 45 43 54 20 61  xecsql {SELECT a
0790: 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 62   FROM t1 WHERE b
07a0: 20 49 4e 20 28 38 2c 31 32 2c 31 36 2c 32 34 2c   IN (8,12,16,24,
07b0: 33 32 29 20 4f 52 20 62 3d 35 31 32 20 4f 52 44  32) OR b=512 ORD
07c0: 45 52 20 42 59 20 61 7d 0a 7d 20 7b 33 20 34 20  ER BY a}.} {3 4 
07d0: 35 20 39 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 2d  5 9}.do_test in-
07e0: 32 2e 34 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  2.4 {.  execsql 
07f0: 7b 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74  {SELECT a FROM t
0800: 31 20 57 48 45 52 45 20 62 20 4e 4f 54 20 49 4e  1 WHERE b NOT IN
0810: 20 28 38 2c 31 32 2c 31 36 2c 32 34 2c 33 32 29   (8,12,16,24,32)
0820: 20 4f 52 20 62 3d 35 31 32 20 4f 52 44 45 52 20   OR b=512 ORDER 
0830: 42 59 20 61 7d 0a 7d 20 7b 31 20 32 20 36 20 37  BY a}.} {1 2 6 7
0840: 20 38 20 39 20 31 30 7d 0a 64 6f 5f 74 65 73 74   8 9 10}.do_test
0850: 20 69 6e 2d 32 2e 35 20 7b 0a 20 20 65 78 65 63   in-2.5 {.  exec
0860: 73 71 6c 20 7b 53 45 4c 45 43 54 20 61 2b 31 30  sql {SELECT a+10
0870: 30 2a 28 62 20 49 4e 20 28 38 2c 31 36 2c 32 34  0*(b IN (8,16,24
0880: 29 29 20 46 52 4f 4d 20 74 31 20 4f 52 44 45 52  )) FROM t1 ORDER
0890: 20 42 59 20 62 7d 0a 7d 20 7b 31 20 32 20 31 30   BY b}.} {1 2 10
08a0: 33 20 31 30 34 20 35 20 36 20 37 20 38 20 39 20  3 104 5 6 7 8 9 
08b0: 31 30 7d 0a 0a 64 6f 5f 74 65 73 74 20 69 6e 2d  10}..do_test in-
08c0: 32 2e 36 20 7b 0a 20 20 73 65 74 20 76 20 5b 63  2.6 {.  set v [c
08d0: 61 74 63 68 20 7b 65 78 65 63 73 71 6c 20 7b 53  atch {execsql {S
08e0: 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 31 20  ELECT a FROM t1 
08f0: 57 48 45 52 45 20 62 20 49 4e 20 28 62 2b 31 30  WHERE b IN (b+10
0900: 2c 32 30 29 7d 7d 20 6d 73 67 5d 0a 20 20 6c 61  ,20)}} msg].  la
0910: 70 70 65 6e 64 20 76 20 24 6d 73 67 0a 7d 20 7b  ppend v $msg.} {
0920: 31 20 7b 72 69 67 68 74 2d 68 61 6e 64 20 73 69  1 {right-hand si
0930: 64 65 20 6f 66 20 49 4e 20 6f 70 65 72 61 74 6f  de of IN operato
0940: 72 20 6d 75 73 74 20 62 65 20 63 6f 6e 73 74 61  r must be consta
0950: 6e 74 7d 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 2d  nt}}.do_test in-
0960: 32 2e 37 20 7b 0a 20 20 73 65 74 20 76 20 5b 63  2.7 {.  set v [c
0970: 61 74 63 68 20 7b 65 78 65 63 73 71 6c 20 7b 53  atch {execsql {S
0980: 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 31 20  ELECT a FROM t1 
0990: 57 48 45 52 45 20 62 20 49 4e 20 28 6d 61 78 28  WHERE b IN (max(
09a0: 35 2c 31 30 2c 62 29 2c 32 30 29 7d 7d 20 6d 73  5,10,b),20)}} ms
09b0: 67 5d 0a 20 20 6c 61 70 70 65 6e 64 20 76 20 24  g].  lappend v $
09c0: 6d 73 67 0a 7d 20 7b 31 20 7b 72 69 67 68 74 2d  msg.} {1 {right-
09d0: 68 61 6e 64 20 73 69 64 65 20 6f 66 20 49 4e 20  hand side of IN 
09e0: 6f 70 65 72 61 74 6f 72 20 6d 75 73 74 20 62 65  operator must be
09f0: 20 63 6f 6e 73 74 61 6e 74 7d 7d 0a 64 6f 5f 74   constant}}.do_t
0a00: 65 73 74 20 69 6e 2d 32 2e 38 20 7b 0a 20 20 65  est in-2.8 {.  e
0a10: 78 65 63 73 71 6c 20 7b 53 45 4c 45 43 54 20 61  xecsql {SELECT a
0a20: 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 62   FROM t1 WHERE b
0a30: 20 49 4e 20 28 38 2a 32 2c 36 34 2f 32 29 20 4f   IN (8*2,64/2) O
0a40: 52 44 45 52 20 42 59 20 62 7d 0a 7d 20 7b 34 20  RDER BY b}.} {4 
0a50: 35 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 32 2e  5}.do_test in-2.
0a60: 39 20 7b 0a 20 20 73 65 74 20 76 20 5b 63 61 74  9 {.  set v [cat
0a70: 63 68 20 7b 65 78 65 63 73 71 6c 20 7b 53 45 4c  ch {execsql {SEL
0a80: 45 43 54 20 61 20 46 52 4f 4d 20 74 31 20 57 48  ECT a FROM t1 WH
0a90: 45 52 45 20 62 20 49 4e 20 28 78 79 7a 28 35 2c  ERE b IN (xyz(5,
0aa0: 31 30 29 2c 32 30 29 7d 7d 20 6d 73 67 5d 0a 20  10),20)}} msg]. 
0ab0: 20 6c 61 70 70 65 6e 64 20 76 20 24 6d 73 67 0a   lappend v $msg.
0ac0: 7d 20 7b 31 20 7b 6e 6f 20 73 75 63 68 20 66 75  } {1 {no such fu
0ad0: 6e 63 74 69 6f 6e 3a 20 78 79 7a 7d 7d 0a 64 6f  nction: xyz}}.do
0ae0: 5f 74 65 73 74 20 69 6e 2d 32 2e 31 30 20 7b 0a  _test in-2.10 {.
0af0: 20 20 73 65 74 20 76 20 5b 63 61 74 63 68 20 7b    set v [catch {
0b00: 65 78 65 63 73 71 6c 20 7b 53 45 4c 45 43 54 20  execsql {SELECT 
0b10: 61 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20  a FROM t1 WHERE 
0b20: 6d 69 6e 28 30 2c 62 20 49 4e 20 28 61 2c 33 30  min(0,b IN (a,30
0b30: 29 29 7d 7d 20 6d 73 67 5d 0a 20 20 6c 61 70 70  ))}} msg].  lapp
0b40: 65 6e 64 20 76 20 24 6d 73 67 0a 7d 20 7b 31 20  end v $msg.} {1 
0b50: 7b 72 69 67 68 74 2d 68 61 6e 64 20 73 69 64 65  {right-hand side
0b60: 20 6f 66 20 49 4e 20 6f 70 65 72 61 74 6f 72 20   of IN operator 
0b70: 6d 75 73 74 20 62 65 20 63 6f 6e 73 74 61 6e 74  must be constant
0b80: 7d 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 32 2e  }}.do_test in-2.
0b90: 31 31 20 7b 0a 20 20 73 65 74 20 76 20 5b 63 61  11 {.  set v [ca
0ba0: 74 63 68 20 7b 65 78 65 63 73 71 6c 20 7b 53 45  tch {execsql {SE
0bb0: 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 31 20 57  LECT a FROM t1 W
0bc0: 48 45 52 45 20 63 20 49 4e 20 28 31 30 2c 32 30  HERE c IN (10,20
0bd0: 29 7d 7d 20 6d 73 67 5d 0a 20 20 6c 61 70 70 65  )}} msg].  lappe
0be0: 6e 64 20 76 20 24 6d 73 67 0a 7d 20 7b 31 20 7b  nd v $msg.} {1 {
0bf0: 6e 6f 20 73 75 63 68 20 63 6f 6c 75 6d 6e 3a 20  no such column: 
0c00: 63 7d 7d 0a 0a 23 20 54 65 73 74 69 6e 67 20 74  c}}..# Testing t
0c10: 68 65 20 49 4e 20 6f 70 65 72 61 74 6f 72 20 77  he IN operator w
0c20: 68 65 72 65 20 74 68 65 20 72 69 67 68 74 2d 68  here the right-h
0c30: 61 6e 64 20 73 69 64 65 20 69 73 20 61 20 53 45  and side is a SE
0c40: 4c 45 43 54 0a 23 0a 64 6f 5f 74 65 73 74 20 69  LECT.#.do_test i
0c50: 6e 2d 33 2e 31 20 7b 0a 20 20 65 78 65 63 73 71  n-3.1 {.  execsq
0c60: 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 61  l {.    SELECT a
0c70: 20 46 52 4f 4d 20 74 31 0a 20 20 20 20 57 48 45   FROM t1.    WHE
0c80: 52 45 20 62 20 49 4e 20 28 53 45 4c 45 43 54 20  RE b IN (SELECT 
0c90: 62 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20  b FROM t1 WHERE 
0ca0: 61 3c 35 29 0a 20 20 20 20 4f 52 44 45 52 20 42  a<5).    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 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 33   4}.do_test in-3
0cd0: 2e 32 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b  .2 {.  execsql {
0ce0: 0a 20 20 20 20 53 45 4c 45 43 54 20 61 20 46 52  .    SELECT a FR
0cf0: 4f 4d 20 74 31 0a 20 20 20 20 57 48 45 52 45 20  OM t1.    WHERE 
0d00: 62 20 49 4e 20 28 53 45 4c 45 43 54 20 62 20 46  b IN (SELECT b F
0d10: 52 4f 4d 20 74 31 20 57 48 45 52 45 20 61 3c 35  ROM t1 WHERE a<5
0d20: 29 20 4f 52 20 62 3d 3d 35 31 32 0a 20 20 20 20  ) OR b==512.    
0d30: 4f 52 44 45 52 20 42 59 20 61 0a 20 20 7d 0a 7d  ORDER BY a.  }.}
0d40: 20 7b 31 20 32 20 33 20 34 20 39 7d 0a 64 6f 5f   {1 2 3 4 9}.do_
0d50: 74 65 73 74 20 69 6e 2d 33 2e 33 20 7b 0a 20 20  test in-3.3 {.  
0d60: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 45  execsql {.    SE
0d70: 4c 45 43 54 20 61 20 2b 20 31 30 30 2a 28 62 20  LECT a + 100*(b 
0d80: 49 4e 20 28 53 45 4c 45 43 54 20 62 20 46 52 4f  IN (SELECT b FRO
0d90: 4d 20 74 31 20 57 48 45 52 45 20 61 3c 35 29 29  M t1 WHERE a<5))
0da0: 20 46 52 4f 4d 20 74 31 20 4f 52 44 45 52 20 42   FROM t1 ORDER B
0db0: 59 20 62 0a 20 20 7d 0a 7d 20 7b 31 30 31 20 31  Y b.  }.} {101 1
0dc0: 30 32 20 31 30 33 20 31 30 34 20 35 20 36 20 37  02 103 104 5 6 7
0dd0: 20 38 20 39 20 31 30 7d 0a 0a 23 20 4d 61 6b 65   8 9 10}..# Make
0de0: 20 73 75 72 65 20 74 68 65 20 55 50 44 41 54 45   sure the UPDATE
0df0: 20 61 6e 64 20 44 45 4c 45 54 45 20 63 6f 6d 6d   and DELETE comm
0e00: 61 6e 64 73 20 77 6f 72 6b 20 77 69 74 68 20 49  ands work with I
0e10: 4e 2d 53 45 4c 45 43 54 0a 23 0a 64 6f 5f 74 65  N-SELECT.#.do_te
0e20: 73 74 20 69 6e 2d 34 2e 31 20 7b 0a 20 20 65 78  st in-4.1 {.  ex
0e30: 65 63 73 71 6c 20 7b 0a 20 20 20 20 55 50 44 41  ecsql {.    UPDA
0e40: 54 45 20 74 31 20 53 45 54 20 62 3d 62 2a 32 20  TE t1 SET b=b*2 
0e50: 0a 20 20 20 20 57 48 45 52 45 20 62 20 49 4e 20  .    WHERE b IN 
0e60: 28 53 45 4c 45 43 54 20 62 20 46 52 4f 4d 20 74  (SELECT b FROM t
0e70: 31 20 57 48 45 52 45 20 61 3e 38 29 0a 20 20 7d  1 WHERE a>8).  }
0e80: 0a 20 20 65 78 65 63 73 71 6c 20 7b 53 45 4c 45  .  execsql {SELE
0e90: 43 54 20 62 20 46 52 4f 4d 20 74 31 20 4f 52 44  CT b FROM t1 ORD
0ea0: 45 52 20 42 59 20 62 7d 0a 7d 20 7b 32 20 34 20  ER BY b}.} {2 4 
0eb0: 38 20 31 36 20 33 32 20 36 34 20 31 32 38 20 32  8 16 32 64 128 2
0ec0: 35 36 20 31 30 32 34 20 32 30 34 38 7d 0a 64 6f  56 1024 2048}.do
0ed0: 5f 74 65 73 74 20 69 6e 2d 34 2e 32 20 7b 0a 20  _test in-4.2 {. 
0ee0: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 44   execsql {.    D
0ef0: 45 4c 45 54 45 20 46 52 4f 4d 20 74 31 20 57 48  ELETE FROM t1 WH
0f00: 45 52 45 20 62 20 49 4e 20 28 53 45 4c 45 43 54  ERE b IN (SELECT
0f10: 20 62 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45   b FROM t1 WHERE
0f20: 20 61 3e 38 29 0a 20 20 7d 0a 20 20 65 78 65 63   a>8).  }.  exec
0f30: 73 71 6c 20 7b 53 45 4c 45 43 54 20 61 20 46 52  sql {SELECT a FR
0f40: 4f 4d 20 74 31 20 4f 52 44 45 52 20 42 59 20 61  OM t1 ORDER BY a
0f50: 7d 0a 7d 20 7b 31 20 32 20 33 20 34 20 35 20 36  }.} {1 2 3 4 5 6
0f60: 20 37 20 38 7d 0a 64 6f 5f 74 65 73 74 20 69 6e   7 8}.do_test in
0f70: 2d 34 2e 33 20 7b 0a 20 20 65 78 65 63 73 71 6c  -4.3 {.  execsql
0f80: 20 7b 0a 20 20 20 20 44 45 4c 45 54 45 20 46 52   {.    DELETE FR
0f90: 4f 4d 20 74 31 20 57 48 45 52 45 20 62 20 4e 4f  OM t1 WHERE b NO
0fa0: 54 20 49 4e 20 28 53 45 4c 45 43 54 20 62 20 46  T IN (SELECT b F
0fb0: 52 4f 4d 20 74 31 20 57 48 45 52 45 20 61 3e 34  ROM t1 WHERE a>4
0fc0: 29 0a 20 20 7d 0a 20 20 65 78 65 63 73 71 6c 20  ).  }.  execsql 
0fd0: 7b 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74  {SELECT a FROM t
0fe0: 31 20 4f 52 44 45 52 20 42 59 20 61 7d 0a 7d 20  1 ORDER BY a}.} 
0ff0: 7b 35 20 36 20 37 20 38 7d 0a 0a 23 20 44 6f 20  {5 6 7 8}..# Do 
1000: 61 6e 20 49 4e 20 77 69 74 68 20 61 20 63 6f 6e  an IN with a con
1010: 73 74 61 6e 74 20 52 48 53 20 62 75 74 20 77 68  stant RHS but wh
1020: 65 72 65 20 74 68 65 20 52 48 53 20 68 61 73 20  ere the RHS has 
1030: 6d 61 6e 79 2c 20 6d 61 6e 79 0a 23 20 65 6c 65  many, many.# ele
1040: 6d 65 6e 74 73 2e 20 20 57 65 20 6e 65 65 64 20  ments.  We need 
1050: 74 6f 20 74 65 73 74 20 74 68 61 74 20 63 6f 6c  to test that col
1060: 6c 69 73 69 6f 6e 73 20 69 6e 20 74 68 65 20 68  lisions in the h
1070: 61 73 68 20 74 61 62 6c 65 0a 23 20 61 72 65 20  ash table.# are 
1080: 72 65 73 6f 6c 76 65 64 20 70 72 6f 70 65 72 6c  resolved properl
1090: 79 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 69 6e 2d  y..#.do_test in-
10a0: 35 2e 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  5.1 {.  execsql 
10b0: 7b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  {.    INSERT INT
10c0: 4f 20 74 31 20 56 41 4c 55 45 53 28 27 68 65 6c  O t1 VALUES('hel
10d0: 6c 6f 27 2c 20 27 77 6f 72 6c 64 27 29 3b 0a 20  lo', 'world');. 
10e0: 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d     SELECT * FROM
10f0: 20 74 31 0a 20 20 20 20 57 48 45 52 45 20 61 20   t1.    WHERE a 
1100: 49 4e 20 28 0a 20 20 20 20 20 20 20 27 44 6f 27  IN (.       'Do'
1110: 2c 27 61 6e 27 2c 27 49 4e 27 2c 27 77 69 74 68  ,'an','IN','with
1120: 27 2c 27 61 27 2c 27 63 6f 6e 73 74 61 6e 74 27  ','a','constant'
1130: 2c 27 52 48 53 27 2c 27 62 75 74 27 2c 27 77 68  ,'RHS','but','wh
1140: 65 72 65 27 2c 27 74 68 65 27 2c 0a 20 20 20 20  ere','the',.    
1150: 20 20 20 27 68 61 73 27 2c 27 6d 61 6e 79 27 2c     'has','many',
1160: 27 65 6c 65 6d 65 6e 74 73 27 2c 27 57 65 27 2c  'elements','We',
1170: 27 6e 65 65 64 27 2c 27 74 6f 27 2c 27 74 65 73  'need','to','tes
1180: 74 27 2c 27 74 68 61 74 27 2c 0a 20 20 20 20 20  t','that',.     
1190: 20 20 27 63 6f 6c 6c 69 73 69 6f 6e 73 27 2c 27    'collisions','
11a0: 68 61 73 68 27 2c 27 74 61 62 6c 65 27 2c 27 61  hash','table','a
11b0: 72 65 27 2c 27 72 65 73 6f 6c 76 65 64 27 2c 27  re','resolved','
11c0: 70 72 6f 70 65 72 6c 79 27 2c 0a 20 20 20 20 20  properly',.     
11d0: 20 20 27 54 68 69 73 27 2c 27 69 6e 2d 73 65 74    'This','in-set
11e0: 27 2c 27 63 6f 6e 74 61 69 6e 73 27 2c 27 74 68  ','contains','th
11f0: 69 72 74 79 27 2c 27 6f 6e 65 27 2c 27 65 6e 74  irty','one','ent
1200: 72 69 65 73 27 2c 27 68 65 6c 6c 6f 27 29 3b 0a  ries','hello');.
1210: 20 20 7d 0a 7d 20 7b 68 65 6c 6c 6f 20 77 6f 72    }.} {hello wor
1220: 6c 64 7d 0a 0a 23 20 4d 61 6b 65 20 73 75 72 65  ld}..# Make sure
1230: 20 74 68 65 20 49 4e 20 6f 70 65 72 61 74 6f 72   the IN operator
1240: 20 77 6f 72 6b 73 20 77 69 74 68 20 49 4e 54 45   works with INTE
1250: 47 45 52 20 50 52 49 4d 41 52 59 20 4b 45 59 20  GER PRIMARY KEY 
1260: 66 69 65 6c 64 73 2e 0a 23 0a 64 6f 5f 74 65 73  fields..#.do_tes
1270: 74 20 69 6e 2d 36 2e 31 20 7b 0a 20 20 65 78 65  t in-6.1 {.  exe
1280: 63 73 71 6c 20 7b 0a 20 20 20 20 43 52 45 41 54  csql {.    CREAT
1290: 45 20 54 41 42 4c 45 20 74 61 28 61 20 49 4e 54  E TABLE ta(a INT
12a0: 45 47 45 52 20 50 52 49 4d 41 52 59 20 4b 45 59  EGER PRIMARY KEY
12b0: 2c 20 62 29 3b 0a 20 20 20 20 49 4e 53 45 52 54  , b);.    INSERT
12c0: 20 49 4e 54 4f 20 74 61 20 56 41 4c 55 45 53 28   INTO ta VALUES(
12d0: 31 2c 31 29 3b 0a 20 20 20 20 49 4e 53 45 52 54  1,1);.    INSERT
12e0: 20 49 4e 54 4f 20 74 61 20 56 41 4c 55 45 53 28   INTO ta VALUES(
12f0: 32 2c 32 29 3b 0a 20 20 20 20 49 4e 53 45 52 54  2,2);.    INSERT
1300: 20 49 4e 54 4f 20 74 61 20 56 41 4c 55 45 53 28   INTO ta VALUES(
1310: 33 2c 33 29 3b 0a 20 20 20 20 49 4e 53 45 52 54  3,3);.    INSERT
1320: 20 49 4e 54 4f 20 74 61 20 56 41 4c 55 45 53 28   INTO ta VALUES(
1330: 34 2c 34 29 3b 0a 20 20 20 20 49 4e 53 45 52 54  4,4);.    INSERT
1340: 20 49 4e 54 4f 20 74 61 20 56 41 4c 55 45 53 28   INTO ta VALUES(
1350: 36 2c 36 29 3b 0a 20 20 20 20 49 4e 53 45 52 54  6,6);.    INSERT
1360: 20 49 4e 54 4f 20 74 61 20 56 41 4c 55 45 53 28   INTO ta VALUES(
1370: 38 2c 38 29 3b 0a 20 20 20 20 49 4e 53 45 52 54  8,8);.    INSERT
1380: 20 49 4e 54 4f 20 74 61 20 56 41 4c 55 45 53 28   INTO ta VALUES(
1390: 31 30 2c 0a 20 20 20 20 20 20 20 27 54 68 69 73  10,.       'This
13a0: 20 69 73 20 61 20 6b 65 79 20 74 68 61 74 20 69   is a key that i
13b0: 73 20 6c 6f 6e 67 20 65 6e 6f 75 67 68 20 74 6f  s long enough to
13c0: 20 72 65 71 75 69 72 65 20 61 20 6d 61 6c 6c 6f   require a mallo
13d0: 63 20 69 6e 20 74 68 65 20 56 44 42 45 27 29 3b  c in the VDBE');
13e0: 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52  .    SELECT * FR
13f0: 4f 4d 20 74 61 20 57 48 45 52 45 20 61 3c 31 30  OM ta WHERE a<10
1400: 3b 0a 20 20 7d 0a 7d 20 7b 31 20 31 20 32 20 32  ;.  }.} {1 1 2 2
1410: 20 33 20 33 20 34 20 34 20 36 20 36 20 38 20 38   3 3 4 4 6 6 8 8
1420: 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 36 2e 32  }.do_test in-6.2
1430: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20   {.  execsql {. 
1440: 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20     CREATE TABLE 
1450: 74 62 28 61 20 49 4e 54 45 47 45 52 20 50 52 49  tb(a INTEGER PRI
1460: 4d 41 52 59 20 4b 45 59 2c 20 62 29 3b 0a 20 20  MARY KEY, b);.  
1470: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 62    INSERT INTO tb
1480: 20 56 41 4c 55 45 53 28 31 2c 31 29 3b 0a 20 20   VALUES(1,1);.  
1490: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 62    INSERT INTO tb
14a0: 20 56 41 4c 55 45 53 28 32 2c 32 29 3b 0a 20 20   VALUES(2,2);.  
14b0: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 62    INSERT INTO tb
14c0: 20 56 41 4c 55 45 53 28 33 2c 33 29 3b 0a 20 20   VALUES(3,3);.  
14d0: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 62    INSERT INTO tb
14e0: 20 56 41 4c 55 45 53 28 35 2c 35 29 3b 0a 20 20   VALUES(5,5);.  
14f0: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 62    INSERT INTO tb
1500: 20 56 41 4c 55 45 53 28 37 2c 37 29 3b 0a 20 20   VALUES(7,7);.  
1510: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 62    INSERT INTO tb
1520: 20 56 41 4c 55 45 53 28 39 2c 39 29 3b 0a 20 20   VALUES(9,9);.  
1530: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 62    INSERT INTO tb
1540: 20 56 41 4c 55 45 53 28 31 31 2c 0a 20 20 20 20   VALUES(11,.    
1550: 20 20 20 27 54 68 69 73 20 69 73 20 61 20 6b 65     'This is a ke
1560: 79 20 74 68 61 74 20 69 73 20 6c 6f 6e 67 20 65  y that is long e
1570: 6e 6f 75 67 68 20 74 6f 20 72 65 71 75 69 72 65  nough to require
1580: 20 61 20 6d 61 6c 6c 6f 63 20 69 6e 20 74 68 65   a malloc in the
1590: 20 56 44 42 45 27 29 3b 0a 20 20 20 20 53 45 4c   VDBE');.    SEL
15a0: 45 43 54 20 2a 20 46 52 4f 4d 20 74 62 20 57 48  ECT * FROM tb WH
15b0: 45 52 45 20 61 3c 31 30 3b 0a 20 20 7d 0a 7d 20  ERE a<10;.  }.} 
15c0: 7b 31 20 31 20 32 20 32 20 33 20 33 20 35 20 35  {1 1 2 2 3 3 5 5
15d0: 20 37 20 37 20 39 20 39 7d 0a 64 6f 5f 74 65 73   7 7 9 9}.do_tes
15e0: 74 20 69 6e 2d 36 2e 33 20 7b 0a 20 20 65 78 65  t in-6.3 {.  exe
15f0: 63 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43  csql {.    SELEC
1600: 54 20 61 20 46 52 4f 4d 20 74 61 20 57 48 45 52  T a FROM ta WHER
1610: 45 20 62 20 49 4e 20 28 53 45 4c 45 43 54 20 61  E b IN (SELECT a
1620: 20 46 52 4f 4d 20 74 62 29 3b 0a 20 20 7d 0a 7d   FROM tb);.  }.}
1630: 20 7b 31 20 32 20 33 7d 0a 64 6f 5f 74 65 73 74   {1 2 3}.do_test
1640: 20 69 6e 2d 36 2e 34 20 7b 0a 20 20 65 78 65 63   in-6.4 {.  exec
1650: 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54  sql {.    SELECT
1660: 20 61 20 46 52 4f 4d 20 74 61 20 57 48 45 52 45   a FROM ta WHERE
1670: 20 62 20 4e 4f 54 20 49 4e 20 28 53 45 4c 45 43   b NOT IN (SELEC
1680: 54 20 61 20 46 52 4f 4d 20 74 62 29 3b 0a 20 20  T a FROM tb);.  
1690: 7d 0a 7d 20 7b 34 20 36 20 38 20 31 30 7d 0a 64  }.} {4 6 8 10}.d
16a0: 6f 5f 74 65 73 74 20 69 6e 2d 36 2e 35 20 7b 0a  o_test in-6.5 {.
16b0: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
16c0: 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 61  SELECT a FROM ta
16d0: 20 57 48 45 52 45 20 62 20 49 4e 20 28 53 45 4c   WHERE b IN (SEL
16e0: 45 43 54 20 62 20 46 52 4f 4d 20 74 62 29 3b 0a  ECT b FROM tb);.
16f0: 20 20 7d 0a 7d 20 7b 31 20 32 20 33 20 31 30 7d    }.} {1 2 3 10}
1700: 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 36 2e 36 20  .do_test in-6.6 
1710: 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20  {.  execsql {.  
1720: 20 20 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20    SELECT a FROM 
1730: 74 61 20 57 48 45 52 45 20 62 20 4e 4f 54 20 49  ta WHERE b NOT I
1740: 4e 20 28 53 45 4c 45 43 54 20 62 20 46 52 4f 4d  N (SELECT b FROM
1750: 20 74 62 29 3b 0a 20 20 7d 0a 7d 20 7b 34 20 36   tb);.  }.} {4 6
1760: 20 38 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 36   8}.do_test in-6
1770: 2e 37 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b  .7 {.  execsql {
1780: 0a 20 20 20 20 53 45 4c 45 43 54 20 61 20 46 52  .    SELECT a FR
1790: 4f 4d 20 74 61 20 57 48 45 52 45 20 61 20 49 4e  OM ta WHERE a IN
17a0: 20 28 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20   (SELECT a FROM 
17b0: 74 62 29 3b 0a 20 20 7d 0a 7d 20 7b 31 20 32 20  tb);.  }.} {1 2 
17c0: 33 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 36 2e  3}.do_test in-6.
17d0: 38 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a  8 {.  execsql {.
17e0: 20 20 20 20 53 45 4c 45 43 54 20 61 20 46 52 4f      SELECT a FRO
17f0: 4d 20 74 61 20 57 48 45 52 45 20 61 20 4e 4f 54  M ta WHERE a NOT
1800: 20 49 4e 20 28 53 45 4c 45 43 54 20 61 20 46 52   IN (SELECT a FR
1810: 4f 4d 20 74 62 29 3b 0a 20 20 7d 0a 7d 20 7b 34  OM tb);.  }.} {4
1820: 20 36 20 38 20 31 30 7d 0a 64 6f 5f 74 65 73 74   6 8 10}.do_test
1830: 20 69 6e 2d 36 2e 39 20 7b 0a 20 20 65 78 65 63   in-6.9 {.  exec
1840: 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54  sql {.    SELECT
1850: 20 61 20 46 52 4f 4d 20 74 61 20 57 48 45 52 45   a FROM ta WHERE
1860: 20 61 20 49 4e 20 28 53 45 4c 45 43 54 20 62 20   a IN (SELECT b 
1870: 46 52 4f 4d 20 74 62 29 3b 0a 20 20 7d 0a 7d 20  FROM tb);.  }.} 
1880: 7b 31 20 32 20 33 7d 0a 64 6f 5f 74 65 73 74 20  {1 2 3}.do_test 
1890: 69 6e 2d 36 2e 31 30 20 7b 0a 20 20 65 78 65 63  in-6.10 {.  exec
18a0: 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54  sql {.    SELECT
18b0: 20 61 20 46 52 4f 4d 20 74 61 20 57 48 45 52 45   a FROM ta WHERE
18c0: 20 61 20 4e 4f 54 20 49 4e 20 28 53 45 4c 45 43   a NOT IN (SELEC
18d0: 54 20 62 20 46 52 4f 4d 20 74 62 29 3b 0a 20 20  T b FROM tb);.  
18e0: 7d 0a 7d 20 7b 34 20 36 20 38 20 31 30 7d 0a 0a  }.} {4 6 8 10}..
18f0: 23 20 54 65 73 74 73 20 6f 66 20 49 4e 20 6f 70  # Tests of IN op
1900: 65 72 61 74 6f 72 20 61 67 61 69 6e 73 74 20 65  erator against e
1910: 6d 70 74 79 20 73 65 74 73 2e 20 20 28 54 69 63  mpty sets.  (Tic
1920: 6b 65 74 20 23 31 38 35 29 0a 23 0a 64 6f 5f 74  ket #185).#.do_t
1930: 65 73 74 20 69 6e 2d 37 2e 31 20 7b 0a 20 20 65  est in-7.1 {.  e
1940: 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c  xecsql {.    SEL
1950: 45 43 54 20 61 20 46 52 4f 4d 20 74 31 20 57 48  ECT a FROM t1 WH
1960: 45 52 45 20 61 20 49 4e 20 28 29 3b 0a 20 20 7d  ERE a IN ();.  }
1970: 0a 7d 20 7b 7d 0a 64 6f 5f 74 65 73 74 20 69 6e  .} {}.do_test in
1980: 2d 37 2e 32 20 7b 0a 20 20 65 78 65 63 73 71 6c  -7.2 {.  execsql
1990: 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 61 20   {.    SELECT a 
19a0: 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 61 20  FROM t1 WHERE a 
19b0: 49 4e 20 28 35 29 3b 0a 20 20 7d 0a 7d 20 7b 35  IN (5);.  }.} {5
19c0: 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 37 2e 33  }.do_test in-7.3
19d0: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20   {.  execsql {. 
19e0: 20 20 20 53 45 4c 45 43 54 20 61 20 46 52 4f 4d     SELECT a FROM
19f0: 20 74 31 20 57 48 45 52 45 20 61 20 4e 4f 54 20   t1 WHERE a NOT 
1a00: 49 4e 20 28 29 20 4f 52 44 45 52 20 42 59 20 61  IN () ORDER BY a
1a10: 3b 0a 20 20 7d 0a 7d 20 7b 35 20 36 20 37 20 38  ;.  }.} {5 6 7 8
1a20: 20 68 65 6c 6c 6f 7d 0a 64 6f 5f 74 65 73 74 20   hello}.do_test 
1a30: 69 6e 2d 37 2e 34 20 7b 0a 20 20 65 78 65 63 73  in-7.4 {.  execs
1a40: 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20  ql {.    SELECT 
1a50: 61 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20  a FROM t1 WHERE 
1a60: 61 20 49 4e 20 28 35 29 20 41 4e 44 20 62 20 49  a IN (5) AND b I
1a70: 4e 20 28 29 3b 0a 20 20 7d 0a 7d 20 7b 7d 0a 64  N ();.  }.} {}.d
1a80: 6f 5f 74 65 73 74 20 69 6e 2d 37 2e 35 20 7b 0a  o_test in-7.5 {.
1a90: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
1aa0: 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 31  SELECT a FROM t1
1ab0: 20 57 48 45 52 45 20 61 20 49 4e 20 28 35 29 20   WHERE a IN (5) 
1ac0: 41 4e 44 20 62 20 4e 4f 54 20 49 4e 20 28 29 3b  AND b NOT IN ();
1ad0: 0a 20 20 7d 0a 7d 20 7b 35 7d 0a 64 6f 5f 74 65  .  }.} {5}.do_te
1ae0: 73 74 20 69 6e 2d 37 2e 36 20 7b 0a 20 20 65 78  st in-7.6 {.  ex
1af0: 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45  ecsql {.    SELE
1b00: 43 54 20 61 20 46 52 4f 4d 20 74 61 20 57 48 45  CT a FROM ta WHE
1b10: 52 45 20 61 20 49 4e 20 28 29 3b 0a 20 20 7d 0a  RE a IN ();.  }.
1b20: 7d 20 7b 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 2d  } {}.do_test in-
1b30: 37 2e 37 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  7.7 {.  execsql 
1b40: 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 61 20 46  {.    SELECT a F
1b50: 52 4f 4d 20 74 61 20 57 48 45 52 45 20 61 20 4e  ROM ta WHERE a N
1b60: 4f 54 20 49 4e 20 28 29 3b 0a 20 20 7d 0a 7d 20  OT IN ();.  }.} 
1b70: 7b 31 20 32 20 33 20 34 20 36 20 38 20 31 30 7d  {1 2 3 4 6 8 10}
1b80: 0a 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 38 2e 31  ..do_test in-8.1
1b90: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20   {.  execsql {. 
1ba0: 20 20 20 53 45 4c 45 43 54 20 62 20 46 52 4f 4d     SELECT b FROM
1bb0: 20 74 31 20 57 48 45 52 45 20 61 20 49 4e 20 28   t1 WHERE a IN (
1bc0: 27 68 65 6c 6c 6f 27 2c 27 74 68 65 72 65 27 29  'hello','there')
1bd0: 0a 20 20 7d 0a 7d 20 7b 77 6f 72 6c 64 7d 0a 64  .  }.} {world}.d
1be0: 6f 5f 74 65 73 74 20 69 6e 2d 38 2e 32 20 7b 0a  o_test in-8.2 {.
1bf0: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
1c00: 53 45 4c 45 43 54 20 62 20 46 52 4f 4d 20 74 31  SELECT b FROM t1
1c10: 20 57 48 45 52 45 20 61 20 49 4e 20 28 22 68 65   WHERE a IN ("he
1c20: 6c 6c 6f 22 2c 27 74 68 65 72 65 27 29 0a 20 20  llo",'there').  
1c30: 7d 0a 7d 20 7b 77 6f 72 6c 64 7d 0a 0a 0a 0a 66  }.} {world}....f
1c40: 69 6e 69 73 68 5f 74 65 73 74 0a                 inish_test.