/ Hex Artifact Content
Login

Artifact 22de8a3eb27265aab723adc513bea0e76bef70c6:


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 31 30 20   in.test,v 1.10 
0200: 32 30 30 33 2f 30 34 2f 31 39 20 31 37 3a 32 37  2003/04/19 17:27
0210: 3a 32 35 20 64 72 68 20 45 78 70 20 24 0a 0a 73  :25 drh Exp $..s
0220: 65 74 20 74 65 73 74 64 69 72 20 5b 66 69 6c 65  et testdir [file
0230: 20 64 69 72 6e 61 6d 65 20 24 61 72 67 76 30 5d   dirname $argv0]
0240: 0a 73 6f 75 72 63 65 20 24 74 65 73 74 64 69 72  .source $testdir
0250: 2f 74 65 73 74 65 72 2e 74 63 6c 0a 0a 23 20 47  /tester.tcl..# G
0260: 65 6e 65 72 61 74 65 20 74 68 65 20 74 65 73 74  enerate the test
0270: 20 64 61 74 61 20 77 65 20 77 69 6c 6c 20 6e 65   data we will ne
0280: 65 64 20 66 6f 72 20 74 68 65 20 66 69 72 73 74  ed for the first
0290: 20 73 71 75 65 6e 63 65 73 20 6f 66 20 74 65 73   squences of tes
02a0: 74 73 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 69 6e  ts..#.do_test in
02b0: 2d 31 2e 30 20 7b 0a 20 20 73 65 74 20 66 64 20  -1.0 {.  set fd 
02c0: 5b 6f 70 65 6e 20 64 61 74 61 31 2e 74 78 74 20  [open data1.txt 
02d0: 77 5d 0a 20 20 66 6f 72 20 7b 73 65 74 20 69 20  w].  for {set i 
02e0: 31 7d 20 7b 24 69 3c 3d 31 30 7d 20 7b 69 6e 63  1} {$i<=10} {inc
02f0: 72 20 69 7d 20 7b 0a 20 20 20 20 70 75 74 73 20  r i} {.    puts 
0300: 24 66 64 20 22 24 69 5c 74 5b 65 78 70 72 20 7b  $fd "$i\t[expr {
0310: 69 6e 74 28 70 6f 77 28 32 2c 24 69 29 29 7d 5d  int(pow(2,$i))}]
0320: 22 0a 20 20 7d 0a 20 20 63 6c 6f 73 65 20 24 66  ".  }.  close $f
0330: 64 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20  d.  execsql {.  
0340: 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74    CREATE TABLE t
0350: 31 28 61 20 69 6e 74 2c 20 62 20 69 6e 74 29 3b  1(a int, b int);
0360: 0a 20 20 20 20 43 4f 50 59 20 74 31 20 46 52 4f  .    COPY t1 FRO
0370: 4d 20 27 64 61 74 61 31 2e 74 78 74 27 3b 0a 20  M 'data1.txt';. 
0380: 20 7d 0a 20 20 66 69 6c 65 20 64 65 6c 65 74 65   }.  file delete
0390: 20 2d 66 6f 72 63 65 20 64 61 74 61 31 2e 74 78   -force data1.tx
03a0: 74 0a 20 20 65 78 65 63 73 71 6c 20 7b 53 45 4c  t.  execsql {SEL
03b0: 45 43 54 20 63 6f 75 6e 74 28 2a 29 20 46 52 4f  ECT count(*) FRO
03c0: 4d 20 74 31 7d 0a 7d 20 7b 31 30 7d 0a 0a 23 20  M t1}.} {10}..# 
03d0: 44 6f 20 62 61 73 69 63 20 74 65 73 74 69 6e 67  Do basic testing
03e0: 20 6f 66 20 42 45 54 57 45 45 4e 2e 0a 23 0a 64   of BETWEEN..#.d
03f0: 6f 5f 74 65 73 74 20 69 6e 2d 31 2e 31 20 7b 0a  o_test in-1.1 {.
0400: 20 20 65 78 65 63 73 71 6c 20 7b 53 45 4c 45 43    execsql {SELEC
0410: 54 20 61 20 46 52 4f 4d 20 74 31 20 57 48 45 52  T a FROM t1 WHER
0420: 45 20 62 20 42 45 54 57 45 45 4e 20 31 30 20 41  E b BETWEEN 10 A
0430: 4e 44 20 35 30 20 4f 52 44 45 52 20 42 59 20 61  ND 50 ORDER BY a
0440: 7d 0a 7d 20 7b 34 20 35 7d 0a 64 6f 5f 74 65 73  }.} {4 5}.do_tes
0450: 74 20 69 6e 2d 31 2e 32 20 7b 0a 20 20 65 78 65  t in-1.2 {.  exe
0460: 63 73 71 6c 20 7b 53 45 4c 45 43 54 20 61 20 46  csql {SELECT a F
0470: 52 4f 4d 20 74 31 20 57 48 45 52 45 20 62 20 4e  ROM t1 WHERE b N
0480: 4f 54 20 42 45 54 57 45 45 4e 20 31 30 20 41 4e  OT BETWEEN 10 AN
0490: 44 20 35 30 20 4f 52 44 45 52 20 42 59 20 61 7d  D 50 ORDER BY a}
04a0: 0a 7d 20 7b 31 20 32 20 33 20 36 20 37 20 38 20  .} {1 2 3 6 7 8 
04b0: 39 20 31 30 7d 0a 64 6f 5f 74 65 73 74 20 69 6e  9 10}.do_test in
04c0: 2d 31 2e 33 20 7b 0a 20 20 65 78 65 63 73 71 6c  -1.3 {.  execsql
04d0: 20 7b 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20   {SELECT a FROM 
04e0: 74 31 20 57 48 45 52 45 20 62 20 42 45 54 57 45  t1 WHERE b BETWE
04f0: 45 4e 20 61 20 41 4e 44 20 61 2a 35 20 4f 52 44  EN a AND a*5 ORD
0500: 45 52 20 42 59 20 61 7d 0a 7d 20 7b 31 20 32 20  ER BY a}.} {1 2 
0510: 33 20 34 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 2d  3 4}.do_test in-
0520: 31 2e 34 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  1.4 {.  execsql 
0530: 7b 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74  {SELECT a FROM t
0540: 31 20 57 48 45 52 45 20 62 20 4e 4f 54 20 42 45  1 WHERE b NOT BE
0550: 54 57 45 45 4e 20 61 20 41 4e 44 20 61 2a 35 20  TWEEN a AND a*5 
0560: 4f 52 44 45 52 20 42 59 20 61 7d 0a 7d 20 7b 35  ORDER BY a}.} {5
0570: 20 36 20 37 20 38 20 39 20 31 30 7d 0a 64 6f 5f   6 7 8 9 10}.do_
0580: 74 65 73 74 20 69 6e 2d 31 2e 36 20 7b 0a 20 20  test in-1.6 {.  
0590: 65 78 65 63 73 71 6c 20 7b 53 45 4c 45 43 54 20  execsql {SELECT 
05a0: 61 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20  a FROM t1 WHERE 
05b0: 62 20 42 45 54 57 45 45 4e 20 61 20 41 4e 44 20  b BETWEEN a AND 
05c0: 61 2a 35 20 4f 52 20 62 3d 35 31 32 20 4f 52 44  a*5 OR b=512 ORD
05d0: 45 52 20 42 59 20 61 7d 0a 7d 20 7b 31 20 32 20  ER BY a}.} {1 2 
05e0: 33 20 34 20 39 7d 0a 64 6f 5f 74 65 73 74 20 69  3 4 9}.do_test i
05f0: 6e 2d 31 2e 37 20 7b 0a 20 20 65 78 65 63 73 71  n-1.7 {.  execsq
0600: 6c 20 7b 53 45 4c 45 43 54 20 61 2b 20 31 30 30  l {SELECT a+ 100
0610: 2a 28 61 20 42 45 54 57 45 45 4e 20 31 20 61 6e  *(a BETWEEN 1 an
0620: 64 20 33 29 20 46 52 4f 4d 20 74 31 20 4f 52 44  d 3) FROM t1 ORD
0630: 45 52 20 42 59 20 62 7d 0a 7d 20 7b 31 30 31 20  ER BY b}.} {101 
0640: 31 30 32 20 31 30 33 20 34 20 35 20 36 20 37 20  102 103 4 5 6 7 
0650: 38 20 39 20 31 30 7d 0a 0a 0a 23 20 54 65 73 74  8 9 10}...# Test
0660: 69 6e 67 20 6f 66 20 74 68 65 20 49 4e 20 6f 70  ing of the IN op
0670: 65 72 61 74 6f 72 20 75 73 69 6e 67 20 73 74 61  erator using sta
0680: 74 69 63 20 6c 69 73 74 73 20 6f 6e 20 74 68 65  tic lists on the
0690: 20 72 69 67 68 74 2d 68 61 6e 64 20 73 69 64 65   right-hand side
06a0: 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 32  ..#.do_test in-2
06b0: 2e 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b  .1 {.  execsql {
06c0: 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 31  SELECT a FROM t1
06d0: 20 57 48 45 52 45 20 62 20 49 4e 20 28 38 2c 31   WHERE b IN (8,1
06e0: 32 2c 31 36 2c 32 34 2c 33 32 29 20 4f 52 44 45  2,16,24,32) ORDE
06f0: 52 20 42 59 20 61 7d 0a 7d 20 7b 33 20 34 20 35  R BY a}.} {3 4 5
0700: 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 32 2e 32  }.do_test in-2.2
0710: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 53 45   {.  execsql {SE
0720: 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 31 20 57  LECT a FROM t1 W
0730: 48 45 52 45 20 62 20 4e 4f 54 20 49 4e 20 28 38  HERE b NOT IN (8
0740: 2c 31 32 2c 31 36 2c 32 34 2c 33 32 29 20 4f 52  ,12,16,24,32) OR
0750: 44 45 52 20 42 59 20 61 7d 0a 7d 20 7b 31 20 32  DER BY a}.} {1 2
0760: 20 36 20 37 20 38 20 39 20 31 30 7d 0a 64 6f 5f   6 7 8 9 10}.do_
0770: 74 65 73 74 20 69 6e 2d 32 2e 33 20 7b 0a 20 20  test in-2.3 {.  
0780: 65 78 65 63 73 71 6c 20 7b 53 45 4c 45 43 54 20  execsql {SELECT 
0790: 61 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20  a FROM t1 WHERE 
07a0: 62 20 49 4e 20 28 38 2c 31 32 2c 31 36 2c 32 34  b IN (8,12,16,24
07b0: 2c 33 32 29 20 4f 52 20 62 3d 35 31 32 20 4f 52  ,32) OR b=512 OR
07c0: 44 45 52 20 42 59 20 61 7d 0a 7d 20 7b 33 20 34  DER BY a}.} {3 4
07d0: 20 35 20 39 7d 0a 64 6f 5f 74 65 73 74 20 69 6e   5 9}.do_test in
07e0: 2d 32 2e 34 20 7b 0a 20 20 65 78 65 63 73 71 6c  -2.4 {.  execsql
07f0: 20 7b 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20   {SELECT a FROM 
0800: 74 31 20 57 48 45 52 45 20 62 20 4e 4f 54 20 49  t1 WHERE b NOT I
0810: 4e 20 28 38 2c 31 32 2c 31 36 2c 32 34 2c 33 32  N (8,12,16,24,32
0820: 29 20 4f 52 20 62 3d 35 31 32 20 4f 52 44 45 52  ) OR b=512 ORDER
0830: 20 42 59 20 61 7d 0a 7d 20 7b 31 20 32 20 36 20   BY a}.} {1 2 6 
0840: 37 20 38 20 39 20 31 30 7d 0a 64 6f 5f 74 65 73  7 8 9 10}.do_tes
0850: 74 20 69 6e 2d 32 2e 35 20 7b 0a 20 20 65 78 65  t in-2.5 {.  exe
0860: 63 73 71 6c 20 7b 53 45 4c 45 43 54 20 61 2b 31  csql {SELECT a+1
0870: 30 30 2a 28 62 20 49 4e 20 28 38 2c 31 36 2c 32  00*(b IN (8,16,2
0880: 34 29 29 20 46 52 4f 4d 20 74 31 20 4f 52 44 45  4)) FROM t1 ORDE
0890: 52 20 42 59 20 62 7d 0a 7d 20 7b 31 20 32 20 31  R BY b}.} {1 2 1
08a0: 30 33 20 31 30 34 20 35 20 36 20 37 20 38 20 39  03 104 5 6 7 8 9
08b0: 20 31 30 7d 0a 0a 64 6f 5f 74 65 73 74 20 69 6e   10}..do_test in
08c0: 2d 32 2e 36 20 7b 0a 20 20 73 65 74 20 76 20 5b  -2.6 {.  set v [
08d0: 63 61 74 63 68 20 7b 65 78 65 63 73 71 6c 20 7b  catch {execsql {
08e0: 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 31  SELECT a FROM t1
08f0: 20 57 48 45 52 45 20 62 20 49 4e 20 28 62 2b 31   WHERE b IN (b+1
0900: 30 2c 32 30 29 7d 7d 20 6d 73 67 5d 0a 20 20 6c  0,20)}} msg].  l
0910: 61 70 70 65 6e 64 20 76 20 24 6d 73 67 0a 7d 20  append v $msg.} 
0920: 7b 31 20 7b 72 69 67 68 74 2d 68 61 6e 64 20 73  {1 {right-hand s
0930: 69 64 65 20 6f 66 20 49 4e 20 6f 70 65 72 61 74  ide of IN operat
0940: 6f 72 20 6d 75 73 74 20 62 65 20 63 6f 6e 73 74  or must be const
0950: 61 6e 74 7d 7d 0a 64 6f 5f 74 65 73 74 20 69 6e  ant}}.do_test in
0960: 2d 32 2e 37 20 7b 0a 20 20 73 65 74 20 76 20 5b  -2.7 {.  set v [
0970: 63 61 74 63 68 20 7b 65 78 65 63 73 71 6c 20 7b  catch {execsql {
0980: 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 31  SELECT a FROM t1
0990: 20 57 48 45 52 45 20 62 20 49 4e 20 28 6d 61 78   WHERE b IN (max
09a0: 28 35 2c 31 30 2c 62 29 2c 32 30 29 7d 7d 20 6d  (5,10,b),20)}} m
09b0: 73 67 5d 0a 20 20 6c 61 70 70 65 6e 64 20 76 20  sg].  lappend v 
09c0: 24 6d 73 67 0a 7d 20 7b 31 20 7b 72 69 67 68 74  $msg.} {1 {right
09d0: 2d 68 61 6e 64 20 73 69 64 65 20 6f 66 20 49 4e  -hand side of IN
09e0: 20 6f 70 65 72 61 74 6f 72 20 6d 75 73 74 20 62   operator must b
09f0: 65 20 63 6f 6e 73 74 61 6e 74 7d 7d 0a 64 6f 5f  e constant}}.do_
0a00: 74 65 73 74 20 69 6e 2d 32 2e 38 20 7b 0a 20 20  test in-2.8 {.  
0a10: 65 78 65 63 73 71 6c 20 7b 53 45 4c 45 43 54 20  execsql {SELECT 
0a20: 61 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20  a FROM t1 WHERE 
0a30: 62 20 49 4e 20 28 38 2a 32 2c 36 34 2f 32 29 20  b IN (8*2,64/2) 
0a40: 4f 52 44 45 52 20 42 59 20 62 7d 0a 7d 20 7b 34  ORDER BY b}.} {4
0a50: 20 35 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 32   5}.do_test in-2
0a60: 2e 39 20 7b 0a 20 20 73 65 74 20 76 20 5b 63 61  .9 {.  set v [ca
0a70: 74 63 68 20 7b 65 78 65 63 73 71 6c 20 7b 53 45  tch {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 7d 20 6d 73 67 5d 0a  ,10),20)}} msg].
0ab0: 20 20 6c 61 70 70 65 6e 64 20 76 20 24 6d 73 67    lappend v $msg
0ac0: 0a 7d 20 7b 31 20 7b 72 69 67 68 74 2d 68 61 6e  .} {1 {right-han
0ad0: 64 20 73 69 64 65 20 6f 66 20 49 4e 20 6f 70 65  d side of IN ope
0ae0: 72 61 74 6f 72 20 6d 75 73 74 20 62 65 20 63 6f  rator must be co
0af0: 6e 73 74 61 6e 74 7d 7d 0a 64 6f 5f 74 65 73 74  nstant}}.do_test
0b00: 20 69 6e 2d 32 2e 31 30 20 7b 0a 20 20 73 65 74   in-2.10 {.  set
0b10: 20 76 20 5b 63 61 74 63 68 20 7b 65 78 65 63 73   v [catch {execs
0b20: 71 6c 20 7b 53 45 4c 45 43 54 20 61 20 46 52 4f  ql {SELECT a FRO
0b30: 4d 20 74 31 20 57 48 45 52 45 20 6d 69 6e 28 30  M t1 WHERE min(0
0b40: 2c 62 20 49 4e 20 28 61 2c 33 30 29 29 7d 7d 20  ,b IN (a,30))}} 
0b50: 6d 73 67 5d 0a 20 20 6c 61 70 70 65 6e 64 20 76  msg].  lappend v
0b60: 20 24 6d 73 67 0a 7d 20 7b 31 20 7b 72 69 67 68   $msg.} {1 {righ
0b70: 74 2d 68 61 6e 64 20 73 69 64 65 20 6f 66 20 49  t-hand side of I
0b80: 4e 20 6f 70 65 72 61 74 6f 72 20 6d 75 73 74 20  N operator must 
0b90: 62 65 20 63 6f 6e 73 74 61 6e 74 7d 7d 0a 64 6f  be constant}}.do
0ba0: 5f 74 65 73 74 20 69 6e 2d 32 2e 31 31 20 7b 0a  _test in-2.11 {.
0bb0: 20 20 73 65 74 20 76 20 5b 63 61 74 63 68 20 7b    set v [catch {
0bc0: 65 78 65 63 73 71 6c 20 7b 53 45 4c 45 43 54 20  execsql {SELECT 
0bd0: 61 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20  a FROM t1 WHERE 
0be0: 63 20 49 4e 20 28 31 30 2c 32 30 29 7d 7d 20 6d  c IN (10,20)}} m
0bf0: 73 67 5d 0a 20 20 6c 61 70 70 65 6e 64 20 76 20  sg].  lappend v 
0c00: 24 6d 73 67 0a 7d 20 7b 31 20 7b 6e 6f 20 73 75  $msg.} {1 {no su
0c10: 63 68 20 63 6f 6c 75 6d 6e 3a 20 63 7d 7d 0a 0a  ch column: c}}..
0c20: 23 20 54 65 73 74 69 6e 67 20 74 68 65 20 49 4e  # Testing the IN
0c30: 20 6f 70 65 72 61 74 6f 72 20 77 68 65 72 65 20   operator where 
0c40: 74 68 65 20 72 69 67 68 74 2d 68 61 6e 64 20 73  the right-hand s
0c50: 69 64 65 20 69 73 20 61 20 53 45 4c 45 43 54 0a  ide is a SELECT.
0c60: 23 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 33 2e 31  #.do_test in-3.1
0c70: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20   {.  execsql {. 
0c80: 20 20 20 53 45 4c 45 43 54 20 61 20 46 52 4f 4d     SELECT a FROM
0c90: 20 74 31 0a 20 20 20 20 57 48 45 52 45 20 62 20   t1.    WHERE b 
0ca0: 49 4e 20 28 53 45 4c 45 43 54 20 62 20 46 52 4f  IN (SELECT b FRO
0cb0: 4d 20 74 31 20 57 48 45 52 45 20 61 3c 35 29 0a  M t1 WHERE a<5).
0cc0: 20 20 20 20 4f 52 44 45 52 20 42 59 20 61 0a 20      ORDER BY a. 
0cd0: 20 7d 0a 7d 20 7b 31 20 32 20 33 20 34 7d 0a 64   }.} {1 2 3 4}.d
0ce0: 6f 5f 74 65 73 74 20 69 6e 2d 33 2e 32 20 7b 0a  o_test in-3.2 {.
0cf0: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
0d00: 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 31  SELECT a FROM t1
0d10: 0a 20 20 20 20 57 48 45 52 45 20 62 20 49 4e 20  .    WHERE b IN 
0d20: 28 53 45 4c 45 43 54 20 62 20 46 52 4f 4d 20 74  (SELECT b FROM t
0d30: 31 20 57 48 45 52 45 20 61 3c 35 29 20 4f 52 20  1 WHERE a<5) OR 
0d40: 62 3d 3d 35 31 32 0a 20 20 20 20 4f 52 44 45 52  b==512.    ORDER
0d50: 20 42 59 20 61 0a 20 20 7d 0a 7d 20 7b 31 20 32   BY a.  }.} {1 2
0d60: 20 33 20 34 20 39 7d 0a 64 6f 5f 74 65 73 74 20   3 4 9}.do_test 
0d70: 69 6e 2d 33 2e 33 20 7b 0a 20 20 65 78 65 63 73  in-3.3 {.  execs
0d80: 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20  ql {.    SELECT 
0d90: 61 20 2b 20 31 30 30 2a 28 62 20 49 4e 20 28 53  a + 100*(b IN (S
0da0: 45 4c 45 43 54 20 62 20 46 52 4f 4d 20 74 31 20  ELECT b FROM t1 
0db0: 57 48 45 52 45 20 61 3c 35 29 29 20 46 52 4f 4d  WHERE a<5)) FROM
0dc0: 20 74 31 20 4f 52 44 45 52 20 42 59 20 62 0a 20   t1 ORDER BY b. 
0dd0: 20 7d 0a 7d 20 7b 31 30 31 20 31 30 32 20 31 30   }.} {101 102 10
0de0: 33 20 31 30 34 20 35 20 36 20 37 20 38 20 39 20  3 104 5 6 7 8 9 
0df0: 31 30 7d 0a 0a 23 20 4d 61 6b 65 20 73 75 72 65  10}..# Make sure
0e00: 20 74 68 65 20 55 50 44 41 54 45 20 61 6e 64 20   the UPDATE and 
0e10: 44 45 4c 45 54 45 20 63 6f 6d 6d 61 6e 64 73 20  DELETE commands 
0e20: 77 6f 72 6b 20 77 69 74 68 20 49 4e 2d 53 45 4c  work with IN-SEL
0e30: 45 43 54 0a 23 0a 64 6f 5f 74 65 73 74 20 69 6e  ECT.#.do_test in
0e40: 2d 34 2e 31 20 7b 0a 20 20 65 78 65 63 73 71 6c  -4.1 {.  execsql
0e50: 20 7b 0a 20 20 20 20 55 50 44 41 54 45 20 74 31   {.    UPDATE t1
0e60: 20 53 45 54 20 62 3d 62 2a 32 20 0a 20 20 20 20   SET b=b*2 .    
0e70: 57 48 45 52 45 20 62 20 49 4e 20 28 53 45 4c 45  WHERE b IN (SELE
0e80: 43 54 20 62 20 46 52 4f 4d 20 74 31 20 57 48 45  CT b FROM t1 WHE
0e90: 52 45 20 61 3e 38 29 0a 20 20 7d 0a 20 20 65 78  RE a>8).  }.  ex
0ea0: 65 63 73 71 6c 20 7b 53 45 4c 45 43 54 20 62 20  ecsql {SELECT b 
0eb0: 46 52 4f 4d 20 74 31 20 4f 52 44 45 52 20 42 59  FROM t1 ORDER BY
0ec0: 20 62 7d 0a 7d 20 7b 32 20 34 20 38 20 31 36 20   b}.} {2 4 8 16 
0ed0: 33 32 20 36 34 20 31 32 38 20 32 35 36 20 31 30  32 64 128 256 10
0ee0: 32 34 20 32 30 34 38 7d 0a 64 6f 5f 74 65 73 74  24 2048}.do_test
0ef0: 20 69 6e 2d 34 2e 32 20 7b 0a 20 20 65 78 65 63   in-4.2 {.  exec
0f00: 73 71 6c 20 7b 0a 20 20 20 20 44 45 4c 45 54 45  sql {.    DELETE
0f10: 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 62   FROM t1 WHERE b
0f20: 20 49 4e 20 28 53 45 4c 45 43 54 20 62 20 46 52   IN (SELECT b FR
0f30: 4f 4d 20 74 31 20 57 48 45 52 45 20 61 3e 38 29  OM t1 WHERE a>8)
0f40: 0a 20 20 7d 0a 20 20 65 78 65 63 73 71 6c 20 7b  .  }.  execsql {
0f50: 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 31  SELECT a FROM t1
0f60: 20 4f 52 44 45 52 20 42 59 20 61 7d 0a 7d 20 7b   ORDER BY a}.} {
0f70: 31 20 32 20 33 20 34 20 35 20 36 20 37 20 38 7d  1 2 3 4 5 6 7 8}
0f80: 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 34 2e 33 20  .do_test in-4.3 
0f90: 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20  {.  execsql {.  
0fa0: 20 20 44 45 4c 45 54 45 20 46 52 4f 4d 20 74 31    DELETE FROM t1
0fb0: 20 57 48 45 52 45 20 62 20 4e 4f 54 20 49 4e 20   WHERE b NOT IN 
0fc0: 28 53 45 4c 45 43 54 20 62 20 46 52 4f 4d 20 74  (SELECT b FROM t
0fd0: 31 20 57 48 45 52 45 20 61 3e 34 29 0a 20 20 7d  1 WHERE a>4).  }
0fe0: 0a 20 20 65 78 65 63 73 71 6c 20 7b 53 45 4c 45  .  execsql {SELE
0ff0: 43 54 20 61 20 46 52 4f 4d 20 74 31 20 4f 52 44  CT a FROM t1 ORD
1000: 45 52 20 42 59 20 61 7d 0a 7d 20 7b 35 20 36 20  ER BY a}.} {5 6 
1010: 37 20 38 7d 0a 0a 23 20 44 6f 20 61 6e 20 49 4e  7 8}..# Do an IN
1020: 20 77 69 74 68 20 61 20 63 6f 6e 73 74 61 6e 74   with a constant
1030: 20 52 48 53 20 62 75 74 20 77 68 65 72 65 20 74   RHS but where t
1040: 68 65 20 52 48 53 20 68 61 73 20 6d 61 6e 79 2c  he RHS has many,
1050: 20 6d 61 6e 79 0a 23 20 65 6c 65 6d 65 6e 74 73   many.# elements
1060: 2e 20 20 57 65 20 6e 65 65 64 20 74 6f 20 74 65  .  We need to te
1070: 73 74 20 74 68 61 74 20 63 6f 6c 6c 69 73 69 6f  st that collisio
1080: 6e 73 20 69 6e 20 74 68 65 20 68 61 73 68 20 74  ns in the hash t
1090: 61 62 6c 65 0a 23 20 61 72 65 20 72 65 73 6f 6c  able.# are resol
10a0: 76 65 64 20 70 72 6f 70 65 72 6c 79 2e 0a 23 0a  ved properly..#.
10b0: 64 6f 5f 74 65 73 74 20 69 6e 2d 35 2e 31 20 7b  do_test in-5.1 {
10c0: 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20  .  execsql {.   
10d0: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
10e0: 56 41 4c 55 45 53 28 27 68 65 6c 6c 6f 27 2c 20  VALUES('hello', 
10f0: 27 77 6f 72 6c 64 27 29 3b 0a 20 20 20 20 53 45  'world');.    SE
1100: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 0a 20  LECT * FROM t1. 
1110: 20 20 20 57 48 45 52 45 20 61 20 49 4e 20 28 0a     WHERE a IN (.
1120: 20 20 20 20 20 20 20 27 44 6f 27 2c 27 61 6e 27         'Do','an'
1130: 2c 27 49 4e 27 2c 27 77 69 74 68 27 2c 27 61 27  ,'IN','with','a'
1140: 2c 27 63 6f 6e 73 74 61 6e 74 27 2c 27 52 48 53  ,'constant','RHS
1150: 27 2c 27 62 75 74 27 2c 27 77 68 65 72 65 27 2c  ','but','where',
1160: 27 74 68 65 27 2c 0a 20 20 20 20 20 20 20 27 68  'the',.       'h
1170: 61 73 27 2c 27 6d 61 6e 79 27 2c 27 65 6c 65 6d  as','many','elem
1180: 65 6e 74 73 27 2c 27 57 65 27 2c 27 6e 65 65 64  ents','We','need
1190: 27 2c 27 74 6f 27 2c 27 74 65 73 74 27 2c 27 74  ','to','test','t
11a0: 68 61 74 27 2c 0a 20 20 20 20 20 20 20 27 63 6f  hat',.       'co
11b0: 6c 6c 69 73 69 6f 6e 73 27 2c 27 68 61 73 68 27  llisions','hash'
11c0: 2c 27 74 61 62 6c 65 27 2c 27 61 72 65 27 2c 27  ,'table','are','
11d0: 72 65 73 6f 6c 76 65 64 27 2c 27 70 72 6f 70 65  resolved','prope
11e0: 72 6c 79 27 2c 0a 20 20 20 20 20 20 20 27 54 68  rly',.       'Th
11f0: 69 73 27 2c 27 69 6e 2d 73 65 74 27 2c 27 63 6f  is','in-set','co
1200: 6e 74 61 69 6e 73 27 2c 27 74 68 69 72 74 79 27  ntains','thirty'
1210: 2c 27 6f 6e 65 27 2c 27 65 6e 74 72 69 65 73 27  ,'one','entries'
1220: 2c 27 68 65 6c 6c 6f 27 29 3b 0a 20 20 7d 0a 7d  ,'hello');.  }.}
1230: 20 7b 68 65 6c 6c 6f 20 77 6f 72 6c 64 7d 0a 0a   {hello world}..
1240: 23 20 4d 61 6b 65 20 73 75 72 65 20 74 68 65 20  # Make sure the 
1250: 49 4e 20 6f 70 65 72 61 74 6f 72 20 77 6f 72 6b  IN operator work
1260: 73 20 77 69 74 68 20 49 4e 54 45 47 45 52 20 50  s with INTEGER P
1270: 52 49 4d 41 52 59 20 4b 45 59 20 66 69 65 6c 64  RIMARY KEY field
1280: 73 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 69 6e 2d  s..#.do_test in-
1290: 36 2e 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  6.1 {.  execsql 
12a0: 7b 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 42  {.    CREATE TAB
12b0: 4c 45 20 74 61 28 61 20 49 4e 54 45 47 45 52 20  LE ta(a INTEGER 
12c0: 50 52 49 4d 41 52 59 20 4b 45 59 2c 20 62 29 3b  PRIMARY KEY, b);
12d0: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
12e0: 20 74 61 20 56 41 4c 55 45 53 28 31 2c 31 29 3b   ta VALUES(1,1);
12f0: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
1300: 20 74 61 20 56 41 4c 55 45 53 28 32 2c 32 29 3b   ta VALUES(2,2);
1310: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
1320: 20 74 61 20 56 41 4c 55 45 53 28 33 2c 33 29 3b   ta VALUES(3,3);
1330: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
1340: 20 74 61 20 56 41 4c 55 45 53 28 34 2c 34 29 3b   ta VALUES(4,4);
1350: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
1360: 20 74 61 20 56 41 4c 55 45 53 28 36 2c 36 29 3b   ta VALUES(6,6);
1370: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
1380: 20 74 61 20 56 41 4c 55 45 53 28 38 2c 38 29 3b   ta VALUES(8,8);
1390: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
13a0: 20 74 61 20 56 41 4c 55 45 53 28 31 30 2c 0a 20   ta VALUES(10,. 
13b0: 20 20 20 20 20 20 27 54 68 69 73 20 69 73 20 61        'This is a
13c0: 20 6b 65 79 20 74 68 61 74 20 69 73 20 6c 6f 6e   key that is lon
13d0: 67 20 65 6e 6f 75 67 68 20 74 6f 20 72 65 71 75  g enough to requ
13e0: 69 72 65 20 61 20 6d 61 6c 6c 6f 63 20 69 6e 20  ire a malloc in 
13f0: 74 68 65 20 56 44 42 45 27 29 3b 0a 20 20 20 20  the VDBE');.    
1400: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 61  SELECT * FROM ta
1410: 20 57 48 45 52 45 20 61 3c 31 30 3b 0a 20 20 7d   WHERE a<10;.  }
1420: 0a 7d 20 7b 31 20 31 20 32 20 32 20 33 20 33 20  .} {1 1 2 2 3 3 
1430: 34 20 34 20 36 20 36 20 38 20 38 7d 0a 64 6f 5f  4 4 6 6 8 8}.do_
1440: 74 65 73 74 20 69 6e 2d 36 2e 32 20 7b 0a 20 20  test in-6.2 {.  
1450: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 43 52  execsql {.    CR
1460: 45 41 54 45 20 54 41 42 4c 45 20 74 62 28 61 20  EATE TABLE tb(a 
1470: 49 4e 54 45 47 45 52 20 50 52 49 4d 41 52 59 20  INTEGER PRIMARY 
1480: 4b 45 59 2c 20 62 29 3b 0a 20 20 20 20 49 4e 53  KEY, b);.    INS
1490: 45 52 54 20 49 4e 54 4f 20 74 62 20 56 41 4c 55  ERT INTO tb VALU
14a0: 45 53 28 31 2c 31 29 3b 0a 20 20 20 20 49 4e 53  ES(1,1);.    INS
14b0: 45 52 54 20 49 4e 54 4f 20 74 62 20 56 41 4c 55  ERT INTO tb VALU
14c0: 45 53 28 32 2c 32 29 3b 0a 20 20 20 20 49 4e 53  ES(2,2);.    INS
14d0: 45 52 54 20 49 4e 54 4f 20 74 62 20 56 41 4c 55  ERT INTO tb VALU
14e0: 45 53 28 33 2c 33 29 3b 0a 20 20 20 20 49 4e 53  ES(3,3);.    INS
14f0: 45 52 54 20 49 4e 54 4f 20 74 62 20 56 41 4c 55  ERT INTO tb VALU
1500: 45 53 28 35 2c 35 29 3b 0a 20 20 20 20 49 4e 53  ES(5,5);.    INS
1510: 45 52 54 20 49 4e 54 4f 20 74 62 20 56 41 4c 55  ERT INTO tb VALU
1520: 45 53 28 37 2c 37 29 3b 0a 20 20 20 20 49 4e 53  ES(7,7);.    INS
1530: 45 52 54 20 49 4e 54 4f 20 74 62 20 56 41 4c 55  ERT INTO tb VALU
1540: 45 53 28 39 2c 39 29 3b 0a 20 20 20 20 49 4e 53  ES(9,9);.    INS
1550: 45 52 54 20 49 4e 54 4f 20 74 62 20 56 41 4c 55  ERT INTO tb VALU
1560: 45 53 28 31 31 2c 0a 20 20 20 20 20 20 20 27 54  ES(11,.       'T
1570: 68 69 73 20 69 73 20 61 20 6b 65 79 20 74 68 61  his is a key tha
1580: 74 20 69 73 20 6c 6f 6e 67 20 65 6e 6f 75 67 68  t is long enough
1590: 20 74 6f 20 72 65 71 75 69 72 65 20 61 20 6d 61   to require a ma
15a0: 6c 6c 6f 63 20 69 6e 20 74 68 65 20 56 44 42 45  lloc in the VDBE
15b0: 27 29 3b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a  ');.    SELECT *
15c0: 20 46 52 4f 4d 20 74 62 20 57 48 45 52 45 20 61   FROM tb WHERE a
15d0: 3c 31 30 3b 0a 20 20 7d 0a 7d 20 7b 31 20 31 20  <10;.  }.} {1 1 
15e0: 32 20 32 20 33 20 33 20 35 20 35 20 37 20 37 20  2 2 3 3 5 5 7 7 
15f0: 39 20 39 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 2d  9 9}.do_test in-
1600: 36 2e 33 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  6.3 {.  execsql 
1610: 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 61 20 46  {.    SELECT a F
1620: 52 4f 4d 20 74 61 20 57 48 45 52 45 20 62 20 49  ROM ta WHERE b I
1630: 4e 20 28 53 45 4c 45 43 54 20 61 20 46 52 4f 4d  N (SELECT a FROM
1640: 20 74 62 29 3b 0a 20 20 7d 0a 7d 20 7b 31 20 32   tb);.  }.} {1 2
1650: 20 33 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 36   3}.do_test in-6
1660: 2e 34 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b  .4 {.  execsql {
1670: 0a 20 20 20 20 53 45 4c 45 43 54 20 61 20 46 52  .    SELECT a FR
1680: 4f 4d 20 74 61 20 57 48 45 52 45 20 62 20 4e 4f  OM ta WHERE b NO
1690: 54 20 49 4e 20 28 53 45 4c 45 43 54 20 61 20 46  T IN (SELECT a F
16a0: 52 4f 4d 20 74 62 29 3b 0a 20 20 7d 0a 7d 20 7b  ROM tb);.  }.} {
16b0: 34 20 36 20 38 20 31 30 7d 0a 64 6f 5f 74 65 73  4 6 8 10}.do_tes
16c0: 74 20 69 6e 2d 36 2e 35 20 7b 0a 20 20 65 78 65  t in-6.5 {.  exe
16d0: 63 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43  csql {.    SELEC
16e0: 54 20 61 20 46 52 4f 4d 20 74 61 20 57 48 45 52  T a FROM ta WHER
16f0: 45 20 62 20 49 4e 20 28 53 45 4c 45 43 54 20 62  E b IN (SELECT b
1700: 20 46 52 4f 4d 20 74 62 29 3b 0a 20 20 7d 0a 7d   FROM tb);.  }.}
1710: 20 7b 31 20 32 20 33 20 31 30 7d 0a 64 6f 5f 74   {1 2 3 10}.do_t
1720: 65 73 74 20 69 6e 2d 36 2e 36 20 7b 0a 20 20 65  est in-6.6 {.  e
1730: 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c  xecsql {.    SEL
1740: 45 43 54 20 61 20 46 52 4f 4d 20 74 61 20 57 48  ECT a FROM ta WH
1750: 45 52 45 20 62 20 4e 4f 54 20 49 4e 20 28 53 45  ERE b NOT IN (SE
1760: 4c 45 43 54 20 62 20 46 52 4f 4d 20 74 62 29 3b  LECT b FROM tb);
1770: 0a 20 20 7d 0a 7d 20 7b 34 20 36 20 38 7d 0a 64  .  }.} {4 6 8}.d
1780: 6f 5f 74 65 73 74 20 69 6e 2d 36 2e 37 20 7b 0a  o_test in-6.7 {.
1790: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
17a0: 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 61  SELECT a FROM ta
17b0: 20 57 48 45 52 45 20 61 20 49 4e 20 28 53 45 4c   WHERE a IN (SEL
17c0: 45 43 54 20 61 20 46 52 4f 4d 20 74 62 29 3b 0a  ECT a FROM tb);.
17d0: 20 20 7d 0a 7d 20 7b 31 20 32 20 33 7d 0a 64 6f    }.} {1 2 3}.do
17e0: 5f 74 65 73 74 20 69 6e 2d 36 2e 38 20 7b 0a 20  _test in-6.8 {. 
17f0: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 53   execsql {.    S
1800: 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 61 20  ELECT a FROM ta 
1810: 57 48 45 52 45 20 61 20 4e 4f 54 20 49 4e 20 28  WHERE a NOT IN (
1820: 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 62  SELECT a FROM tb
1830: 29 3b 0a 20 20 7d 0a 7d 20 7b 34 20 36 20 38 20  );.  }.} {4 6 8 
1840: 31 30 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 36  10}.do_test in-6
1850: 2e 39 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b  .9 {.  execsql {
1860: 0a 20 20 20 20 53 45 4c 45 43 54 20 61 20 46 52  .    SELECT a FR
1870: 4f 4d 20 74 61 20 57 48 45 52 45 20 61 20 49 4e  OM ta WHERE a IN
1880: 20 28 53 45 4c 45 43 54 20 62 20 46 52 4f 4d 20   (SELECT b FROM 
1890: 74 62 29 3b 0a 20 20 7d 0a 7d 20 7b 31 20 32 20  tb);.  }.} {1 2 
18a0: 33 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 36 2e  3}.do_test in-6.
18b0: 31 30 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b  10 {.  execsql {
18c0: 0a 20 20 20 20 53 45 4c 45 43 54 20 61 20 46 52  .    SELECT a FR
18d0: 4f 4d 20 74 61 20 57 48 45 52 45 20 61 20 4e 4f  OM ta WHERE a NO
18e0: 54 20 49 4e 20 28 53 45 4c 45 43 54 20 62 20 46  T IN (SELECT b F
18f0: 52 4f 4d 20 74 62 29 3b 0a 20 20 7d 0a 7d 20 7b  ROM tb);.  }.} {
1900: 34 20 36 20 38 20 31 30 7d 0a 0a 23 20 54 65 73  4 6 8 10}..# Tes
1910: 74 73 20 6f 66 20 49 4e 20 6f 70 65 72 61 74 6f  ts of IN operato
1920: 72 20 61 67 61 69 6e 73 74 20 65 6d 70 74 79 20  r against empty 
1930: 73 65 74 73 2e 20 20 28 54 69 63 6b 65 74 20 23  sets.  (Ticket #
1940: 31 38 35 29 0a 23 0a 64 6f 5f 74 65 73 74 20 69  185).#.do_test i
1950: 6e 2d 37 2e 31 20 7b 0a 20 20 65 78 65 63 73 71  n-7.1 {.  execsq
1960: 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 61  l {.    SELECT a
1970: 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 61   FROM t1 WHERE a
1980: 20 49 4e 20 28 29 3b 0a 20 20 7d 0a 7d 20 7b 7d   IN ();.  }.} {}
1990: 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 37 2e 32 20  .do_test in-7.2 
19a0: 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20  {.  execsql {.  
19b0: 20 20 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20    SELECT a FROM 
19c0: 74 31 20 57 48 45 52 45 20 61 20 49 4e 20 28 35  t1 WHERE a IN (5
19d0: 29 3b 0a 20 20 7d 0a 7d 20 7b 35 7d 0a 64 6f 5f  );.  }.} {5}.do_
19e0: 74 65 73 74 20 69 6e 2d 37 2e 33 20 7b 0a 20 20  test in-7.3 {.  
19f0: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 45  execsql {.    SE
1a00: 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 31 20 57  LECT a FROM t1 W
1a10: 48 45 52 45 20 61 20 4e 4f 54 20 49 4e 20 28 29  HERE a NOT IN ()
1a20: 20 4f 52 44 45 52 20 42 59 20 61 3b 0a 20 20 7d   ORDER BY a;.  }
1a30: 0a 7d 20 7b 35 20 36 20 37 20 38 20 68 65 6c 6c  .} {5 6 7 8 hell
1a40: 6f 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 37 2e  o}.do_test in-7.
1a50: 34 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a  4 {.  execsql {.
1a60: 20 20 20 20 53 45 4c 45 43 54 20 61 20 46 52 4f      SELECT a FRO
1a70: 4d 20 74 31 20 57 48 45 52 45 20 61 20 49 4e 20  M t1 WHERE a IN 
1a80: 28 35 29 20 41 4e 44 20 62 20 49 4e 20 28 29 3b  (5) AND b IN ();
1a90: 0a 20 20 7d 0a 7d 20 7b 7d 0a 64 6f 5f 74 65 73  .  }.} {}.do_tes
1aa0: 74 20 69 6e 2d 37 2e 35 20 7b 0a 20 20 65 78 65  t in-7.5 {.  exe
1ab0: 63 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43  csql {.    SELEC
1ac0: 54 20 61 20 46 52 4f 4d 20 74 31 20 57 48 45 52  T a FROM t1 WHER
1ad0: 45 20 61 20 49 4e 20 28 35 29 20 41 4e 44 20 62  E a IN (5) AND b
1ae0: 20 4e 4f 54 20 49 4e 20 28 29 3b 0a 20 20 7d 0a   NOT IN ();.  }.
1af0: 7d 20 7b 35 7d 0a 64 6f 5f 74 65 73 74 20 69 6e  } {5}.do_test in
1b00: 2d 37 2e 36 20 7b 0a 20 20 65 78 65 63 73 71 6c  -7.6 {.  execsql
1b10: 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 61 20   {.    SELECT a 
1b20: 46 52 4f 4d 20 74 61 20 57 48 45 52 45 20 61 20  FROM ta WHERE a 
1b30: 49 4e 20 28 29 3b 0a 20 20 7d 0a 7d 20 7b 7d 0a  IN ();.  }.} {}.
1b40: 64 6f 5f 74 65 73 74 20 69 6e 2d 37 2e 37 20 7b  do_test in-7.7 {
1b50: 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20  .  execsql {.   
1b60: 20 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74   SELECT a FROM t
1b70: 61 20 57 48 45 52 45 20 61 20 4e 4f 54 20 49 4e  a WHERE a NOT IN
1b80: 20 28 29 3b 0a 20 20 7d 0a 7d 20 7b 31 20 32 20   ();.  }.} {1 2 
1b90: 33 20 34 20 36 20 38 20 31 30 7d 0a 0a 64 6f 5f  3 4 6 8 10}..do_
1ba0: 74 65 73 74 20 69 6e 2d 38 2e 31 20 7b 0a 20 20  test in-8.1 {.  
1bb0: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 45  execsql {.    SE
1bc0: 4c 45 43 54 20 62 20 46 52 4f 4d 20 74 31 20 57  LECT b FROM t1 W
1bd0: 48 45 52 45 20 61 20 49 4e 20 28 27 68 65 6c 6c  HERE a IN ('hell
1be0: 6f 27 2c 27 74 68 65 72 65 27 29 0a 20 20 7d 0a  o','there').  }.
1bf0: 7d 20 7b 77 6f 72 6c 64 7d 0a 64 6f 5f 74 65 73  } {world}.do_tes
1c00: 74 20 69 6e 2d 38 2e 32 20 7b 0a 20 20 65 78 65  t in-8.2 {.  exe
1c10: 63 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43  csql {.    SELEC
1c20: 54 20 62 20 46 52 4f 4d 20 74 31 20 57 48 45 52  T b FROM t1 WHER
1c30: 45 20 61 20 49 4e 20 28 22 68 65 6c 6c 6f 22 2c  E a IN ("hello",
1c40: 27 74 68 65 72 65 27 29 0a 20 20 7d 0a 7d 20 7b  'there').  }.} {
1c50: 77 6f 72 6c 64 7d 0a 0a 0a 0a 66 69 6e 69 73 68  world}....finish
1c60: 5f 74 65 73 74 0a                                _test.