/ Hex Artifact Content
Login
SQLite training in Houston TX on 2019-11-05 (details)
Part of the 2019 Tcl Conference

Artifact 2fa2dfba1afe30eb830f327e7131dfadaa7a701d677de0eb65f9303d99e18fe0:


0000: 23 20 32 30 30 31 20 53 65 70 74 65 6d 62 65 72  # 2001 September
0010: 20 31 35 0a 23 0a 23 20 54 68 65 20 61 75 74 68   15.#.# The auth
0020: 6f 72 20 64 69 73 63 6c 61 69 6d 73 20 63 6f 70  or disclaims cop
0030: 79 72 69 67 68 74 20 74 6f 20 74 68 69 73 20 73  yright to this s
0040: 6f 75 72 63 65 20 63 6f 64 65 2e 20 20 49 6e 20  ource code.  In 
0050: 70 6c 61 63 65 20 6f 66 0a 23 20 61 20 6c 65 67  place of.# a leg
0060: 61 6c 20 6e 6f 74 69 63 65 2c 20 68 65 72 65 20  al notice, here 
0070: 69 73 20 61 20 62 6c 65 73 73 69 6e 67 3a 0a 23  is a blessing:.#
0080: 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20 64 6f  .#    May you do
0090: 20 67 6f 6f 64 20 61 6e 64 20 6e 6f 74 20 65 76   good and not ev
00a0: 69 6c 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75  il..#    May you
00b0: 20 66 69 6e 64 20 66 6f 72 67 69 76 65 6e 65 73   find forgivenes
00c0: 73 20 66 6f 72 20 79 6f 75 72 73 65 6c 66 20 61  s for yourself a
00d0: 6e 64 20 66 6f 72 67 69 76 65 20 6f 74 68 65 72  nd forgive other
00e0: 73 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20  s..#    May you 
00f0: 73 68 61 72 65 20 66 72 65 65 6c 79 2c 20 6e 65  share freely, ne
0100: 76 65 72 20 74 61 6b 69 6e 67 20 6d 6f 72 65 20  ver taking more 
0110: 74 68 61 6e 20 79 6f 75 20 67 69 76 65 2e 0a 23  than you give..#
0120: 0a 23 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  .#**************
0130: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0140: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0150: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0160: 2a 2a 2a 2a 2a 2a 2a 2a 2a 0a 23 20 54 68 69 73  *********.# This
0170: 20 66 69 6c 65 20 69 6d 70 6c 65 6d 65 6e 74 73   file implements
0180: 20 72 65 67 72 65 73 73 69 6f 6e 20 74 65 73 74   regression test
0190: 73 20 66 6f 72 20 53 51 4c 69 74 65 20 6c 69 62  s for SQLite lib
01a0: 72 61 72 79 2e 20 20 54 68 65 0a 23 20 66 6f 63  rary.  The.# foc
01b0: 75 73 20 6f 66 20 74 68 69 73 20 66 69 6c 65 20  us of this file 
01c0: 69 73 20 74 65 73 74 69 6e 67 20 74 68 65 20 49  is testing the I
01d0: 4e 20 61 6e 64 20 42 45 54 57 45 45 4e 20 6f 70  N and BETWEEN op
01e0: 65 72 61 74 6f 72 2e 0a 23 0a 23 20 24 49 64 3a  erator..#.# $Id:
01f0: 20 69 6e 2e 74 65 73 74 2c 76 20 31 2e 32 32 20   in.test,v 1.22 
0200: 32 30 30 38 2f 30 38 2f 30 34 20 30 33 3a 35 31  2008/08/04 03:51
0210: 3a 32 34 20 64 61 6e 69 65 6c 6b 31 39 37 37 20  :24 danielk1977 
0220: 45 78 70 20 24 0a 0a 73 65 74 20 74 65 73 74 64  Exp $..set testd
0230: 69 72 20 5b 66 69 6c 65 20 64 69 72 6e 61 6d 65  ir [file dirname
0240: 20 24 61 72 67 76 30 5d 0a 73 6f 75 72 63 65 20   $argv0].source 
0250: 24 74 65 73 74 64 69 72 2f 74 65 73 74 65 72 2e  $testdir/tester.
0260: 74 63 6c 0a 0a 23 20 47 65 6e 65 72 61 74 65 20  tcl..# Generate 
0270: 74 68 65 20 74 65 73 74 20 64 61 74 61 20 77 65  the test data we
0280: 20 77 69 6c 6c 20 6e 65 65 64 20 66 6f 72 20 74   will need for t
0290: 68 65 20 66 69 72 73 74 20 73 71 75 65 6e 63 65  he first squence
02a0: 73 20 6f 66 20 74 65 73 74 73 2e 0a 23 0a 64 6f  s of tests..#.do
02b0: 5f 74 65 73 74 20 69 6e 2d 31 2e 30 20 7b 0a 20  _test in-1.0 {. 
02c0: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 42   execsql {.    B
02d0: 45 47 49 4e 3b 0a 20 20 20 20 43 52 45 41 54 45  EGIN;.    CREATE
02e0: 20 54 41 42 4c 45 20 74 31 28 61 20 69 6e 74 2c   TABLE t1(a int,
02f0: 20 62 20 69 6e 74 29 3b 0a 20 20 7d 0a 20 20 66   b int);.  }.  f
0300: 6f 72 20 7b 73 65 74 20 69 20 31 7d 20 7b 24 69  or {set i 1} {$i
0310: 3c 3d 31 30 7d 20 7b 69 6e 63 72 20 69 7d 20 7b  <=10} {incr i} {
0320: 0a 20 20 20 20 65 78 65 63 73 71 6c 20 22 49 4e  .    execsql "IN
0330: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c  SERT INTO t1 VAL
0340: 55 45 53 28 24 69 2c 5b 65 78 70 72 20 7b 31 3c  UES($i,[expr {1<
0350: 3c 24 69 7d 5d 29 22 0a 20 20 7d 0a 20 20 65 78  <$i}])".  }.  ex
0360: 65 63 73 71 6c 20 7b 0a 20 20 20 20 43 4f 4d 4d  ecsql {.    COMM
0370: 49 54 3b 0a 20 20 20 20 53 45 4c 45 43 54 20 63  IT;.    SELECT c
0380: 6f 75 6e 74 28 2a 29 20 46 52 4f 4d 20 74 31 3b  ount(*) FROM t1;
0390: 0a 20 20 7d 0a 7d 20 7b 31 30 7d 0a 0a 23 20 44  .  }.} {10}..# D
03a0: 6f 20 62 61 73 69 63 20 74 65 73 74 69 6e 67 20  o basic testing 
03b0: 6f 66 20 42 45 54 57 45 45 4e 2e 0a 23 0a 64 6f  of BETWEEN..#.do
03c0: 5f 74 65 73 74 20 69 6e 2d 31 2e 31 20 7b 0a 20  _test in-1.1 {. 
03d0: 20 65 78 65 63 73 71 6c 20 7b 53 45 4c 45 43 54   execsql {SELECT
03e0: 20 61 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45   a FROM t1 WHERE
03f0: 20 62 20 42 45 54 57 45 45 4e 20 31 30 20 41 4e   b BETWEEN 10 AN
0400: 44 20 35 30 20 4f 52 44 45 52 20 42 59 20 61 7d  D 50 ORDER BY a}
0410: 0a 7d 20 7b 34 20 35 7d 0a 64 6f 5f 74 65 73 74  .} {4 5}.do_test
0420: 20 69 6e 2d 31 2e 32 20 7b 0a 20 20 65 78 65 63   in-1.2 {.  exec
0430: 73 71 6c 20 7b 53 45 4c 45 43 54 20 61 20 46 52  sql {SELECT a FR
0440: 4f 4d 20 74 31 20 57 48 45 52 45 20 62 20 4e 4f  OM t1 WHERE b NO
0450: 54 20 42 45 54 57 45 45 4e 20 31 30 20 41 4e 44  T BETWEEN 10 AND
0460: 20 35 30 20 4f 52 44 45 52 20 42 59 20 61 7d 0a   50 ORDER BY a}.
0470: 7d 20 7b 31 20 32 20 33 20 36 20 37 20 38 20 39  } {1 2 3 6 7 8 9
0480: 20 31 30 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 2d   10}.do_test in-
0490: 31 2e 33 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  1.3 {.  execsql 
04a0: 7b 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74  {SELECT a FROM t
04b0: 31 20 57 48 45 52 45 20 62 20 42 45 54 57 45 45  1 WHERE b BETWEE
04c0: 4e 20 61 20 41 4e 44 20 61 2a 35 20 4f 52 44 45  N a AND a*5 ORDE
04d0: 52 20 42 59 20 61 7d 0a 7d 20 7b 31 20 32 20 33  R BY a}.} {1 2 3
04e0: 20 34 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 31   4}.do_test in-1
04f0: 2e 34 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b  .4 {.  execsql {
0500: 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 31  SELECT a FROM t1
0510: 20 57 48 45 52 45 20 62 20 4e 4f 54 20 42 45 54   WHERE b NOT BET
0520: 57 45 45 4e 20 61 20 41 4e 44 20 61 2a 35 20 4f  WEEN a AND a*5 O
0530: 52 44 45 52 20 42 59 20 61 7d 0a 7d 20 7b 35 20  RDER BY a}.} {5 
0540: 36 20 37 20 38 20 39 20 31 30 7d 0a 64 6f 5f 74  6 7 8 9 10}.do_t
0550: 65 73 74 20 69 6e 2d 31 2e 36 20 7b 0a 20 20 65  est in-1.6 {.  e
0560: 78 65 63 73 71 6c 20 7b 53 45 4c 45 43 54 20 61  xecsql {SELECT a
0570: 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 62   FROM t1 WHERE b
0580: 20 42 45 54 57 45 45 4e 20 61 20 41 4e 44 20 61   BETWEEN a AND a
0590: 2a 35 20 4f 52 20 62 3d 35 31 32 20 4f 52 44 45  *5 OR b=512 ORDE
05a0: 52 20 42 59 20 61 7d 0a 7d 20 7b 31 20 32 20 33  R BY a}.} {1 2 3
05b0: 20 34 20 39 7d 0a 64 6f 5f 74 65 73 74 20 69 6e   4 9}.do_test in
05c0: 2d 31 2e 37 20 7b 0a 20 20 65 78 65 63 73 71 6c  -1.7 {.  execsql
05d0: 20 7b 53 45 4c 45 43 54 20 61 2b 20 31 30 30 2a   {SELECT a+ 100*
05e0: 28 61 20 42 45 54 57 45 45 4e 20 31 20 61 6e 64  (a BETWEEN 1 and
05f0: 20 33 29 20 46 52 4f 4d 20 74 31 20 4f 52 44 45   3) FROM t1 ORDE
0600: 52 20 42 59 20 62 7d 0a 7d 20 7b 31 30 31 20 31  R BY b}.} {101 1
0610: 30 32 20 31 30 33 20 34 20 35 20 36 20 37 20 38  02 103 4 5 6 7 8
0620: 20 39 20 31 30 7d 0a 0a 23 20 54 68 65 20 72 65   9 10}..# The re
0630: 73 74 20 6f 66 20 74 68 69 73 20 66 69 6c 65 20  st of this file 
0640: 63 6f 6e 63 65 6e 74 72 61 74 65 73 20 6f 6e 20  concentrates on 
0650: 74 65 73 74 69 6e 67 20 74 68 65 20 49 4e 20 6f  testing the IN o
0660: 70 65 72 61 74 6f 72 2e 0a 23 20 53 6b 69 70 20  perator..# Skip 
0670: 74 68 69 73 20 69 66 20 74 68 65 20 6c 69 62 72  this if the libr
0680: 61 72 79 20 69 73 20 63 6f 6d 70 69 6c 65 64 20  ary is compiled 
0690: 77 69 74 68 20 53 51 4c 49 54 45 5f 4f 4d 49 54  with SQLITE_OMIT
06a0: 5f 53 55 42 51 55 45 52 59 20 0a 23 20 28 62 65  _SUBQUERY .# (be
06b0: 63 61 75 73 65 20 74 68 65 20 49 4e 20 6f 70 65  cause the IN ope
06c0: 72 61 74 6f 72 20 69 73 20 75 6e 61 76 61 69 6c  rator is unavail
06d0: 61 62 6c 65 29 2e 0a 23 0a 69 66 63 61 70 61 62  able)..#.ifcapab
06e0: 6c 65 20 21 73 75 62 71 75 65 72 79 20 7b 0a 20  le !subquery {. 
06f0: 20 66 69 6e 69 73 68 5f 74 65 73 74 0a 20 20 72   finish_test.  r
0700: 65 74 75 72 6e 0a 7d 0a 0a 23 20 54 65 73 74 69  eturn.}..# Testi
0710: 6e 67 20 6f 66 20 74 68 65 20 49 4e 20 6f 70 65  ng of the IN ope
0720: 72 61 74 6f 72 20 75 73 69 6e 67 20 73 74 61 74  rator using stat
0730: 69 63 20 6c 69 73 74 73 20 6f 6e 20 74 68 65 20  ic lists on the 
0740: 72 69 67 68 74 2d 68 61 6e 64 20 73 69 64 65 2e  right-hand side.
0750: 0a 23 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 32 2e  .#.do_test in-2.
0760: 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 53  1 {.  execsql {S
0770: 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 31 20  ELECT a FROM t1 
0780: 57 48 45 52 45 20 62 20 49 4e 20 28 38 2c 31 32  WHERE b IN (8,12
0790: 2c 31 36 2c 32 34 2c 33 32 29 20 4f 52 44 45 52  ,16,24,32) ORDER
07a0: 20 42 59 20 61 7d 0a 7d 20 7b 33 20 34 20 35 7d   BY a}.} {3 4 5}
07b0: 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 32 2e 32 20  .do_test in-2.2 
07c0: 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 53 45 4c  {.  execsql {SEL
07d0: 45 43 54 20 61 20 46 52 4f 4d 20 74 31 20 57 48  ECT a FROM t1 WH
07e0: 45 52 45 20 62 20 4e 4f 54 20 49 4e 20 28 38 2c  ERE b NOT IN (8,
07f0: 31 32 2c 31 36 2c 32 34 2c 33 32 29 20 4f 52 44  12,16,24,32) ORD
0800: 45 52 20 42 59 20 61 7d 0a 7d 20 7b 31 20 32 20  ER BY a}.} {1 2 
0810: 36 20 37 20 38 20 39 20 31 30 7d 0a 64 6f 5f 74  6 7 8 9 10}.do_t
0820: 65 73 74 20 69 6e 2d 32 2e 33 20 7b 0a 20 20 65  est in-2.3 {.  e
0830: 78 65 63 73 71 6c 20 7b 53 45 4c 45 43 54 20 61  xecsql {SELECT a
0840: 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 62   FROM t1 WHERE b
0850: 20 49 4e 20 28 38 2c 31 32 2c 31 36 2c 32 34 2c   IN (8,12,16,24,
0860: 33 32 29 20 4f 52 20 62 3d 35 31 32 20 4f 52 44  32) OR b=512 ORD
0870: 45 52 20 42 59 20 61 7d 0a 7d 20 7b 33 20 34 20  ER BY a}.} {3 4 
0880: 35 20 39 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 2d  5 9}.do_test in-
0890: 32 2e 34 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  2.4 {.  execsql 
08a0: 7b 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74  {SELECT a FROM t
08b0: 31 20 57 48 45 52 45 20 62 20 4e 4f 54 20 49 4e  1 WHERE b NOT IN
08c0: 20 28 38 2c 31 32 2c 31 36 2c 32 34 2c 33 32 29   (8,12,16,24,32)
08d0: 20 4f 52 20 62 3d 35 31 32 20 4f 52 44 45 52 20   OR b=512 ORDER 
08e0: 42 59 20 61 7d 0a 7d 20 7b 31 20 32 20 36 20 37  BY a}.} {1 2 6 7
08f0: 20 38 20 39 20 31 30 7d 0a 64 6f 5f 74 65 73 74   8 9 10}.do_test
0900: 20 69 6e 2d 32 2e 35 20 7b 0a 20 20 65 78 65 63   in-2.5 {.  exec
0910: 73 71 6c 20 7b 53 45 4c 45 43 54 20 61 2b 31 30  sql {SELECT a+10
0920: 30 2a 28 62 20 49 4e 20 28 38 2c 31 36 2c 32 34  0*(b IN (8,16,24
0930: 29 29 20 46 52 4f 4d 20 74 31 20 4f 52 44 45 52  )) FROM t1 ORDER
0940: 20 42 59 20 62 7d 0a 7d 20 7b 31 20 32 20 31 30   BY b}.} {1 2 10
0950: 33 20 31 30 34 20 35 20 36 20 37 20 38 20 39 20  3 104 5 6 7 8 9 
0960: 31 30 7d 0a 0a 64 6f 5f 74 65 73 74 20 69 6e 2d  10}..do_test in-
0970: 32 2e 36 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  2.6 {.  execsql 
0980: 7b 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74  {SELECT a FROM t
0990: 31 20 57 48 45 52 45 20 62 20 49 4e 20 28 62 2b  1 WHERE b IN (b+
09a0: 38 2c 36 34 29 7d 0a 7d 20 7b 36 7d 0a 64 6f 5f  8,64)}.} {6}.do_
09b0: 74 65 73 74 20 69 6e 2d 32 2e 37 20 7b 0a 20 20  test in-2.7 {.  
09c0: 65 78 65 63 73 71 6c 20 7b 53 45 4c 45 43 54 20  execsql {SELECT 
09d0: 61 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20  a FROM t1 WHERE 
09e0: 62 20 49 4e 20 28 6d 61 78 28 35 2c 31 30 2c 62  b IN (max(5,10,b
09f0: 29 2c 32 30 29 7d 0a 7d 20 7b 34 20 35 20 36 20  ),20)}.} {4 5 6 
0a00: 37 20 38 20 39 20 31 30 7d 0a 64 6f 5f 74 65 73  7 8 9 10}.do_tes
0a10: 74 20 69 6e 2d 32 2e 38 20 7b 0a 20 20 65 78 65  t in-2.8 {.  exe
0a20: 63 73 71 6c 20 7b 53 45 4c 45 43 54 20 61 20 46  csql {SELECT a F
0a30: 52 4f 4d 20 74 31 20 57 48 45 52 45 20 62 20 49  ROM t1 WHERE b I
0a40: 4e 20 28 38 2a 32 2c 36 34 2f 32 29 20 4f 52 44  N (8*2,64/2) ORD
0a50: 45 52 20 42 59 20 62 7d 0a 7d 20 7b 34 20 35 7d  ER BY b}.} {4 5}
0a60: 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 32 2e 39 20  .do_test in-2.9 
0a70: 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 53 45 4c  {.  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 6d 61 78 28 35 2c  ERE b IN (max(5,
0aa0: 31 30 29 2c 32 30 29 7d 0a 7d 20 7b 7d 0a 64 6f  10),20)}.} {}.do
0ab0: 5f 74 65 73 74 20 69 6e 2d 32 2e 31 30 20 7b 0a  _test in-2.10 {.
0ac0: 20 20 65 78 65 63 73 71 6c 20 7b 53 45 4c 45 43    execsql {SELEC
0ad0: 54 20 61 20 46 52 4f 4d 20 74 31 20 57 48 45 52  T a FROM t1 WHER
0ae0: 45 20 6d 69 6e 28 30 2c 62 20 49 4e 20 28 61 2c  E min(0,b IN (a,
0af0: 33 30 29 29 7d 0a 7d 20 7b 7d 0a 64 6f 5f 74 65  30))}.} {}.do_te
0b00: 73 74 20 69 6e 2d 32 2e 31 31 20 7b 0a 20 20 73  st in-2.11 {.  s
0b10: 65 74 20 76 20 5b 63 61 74 63 68 20 7b 65 78 65  et v [catch {exe
0b20: 63 73 71 6c 20 7b 53 45 4c 45 43 54 20 61 20 46  csql {SELECT a F
0b30: 52 4f 4d 20 74 31 20 57 48 45 52 45 20 63 20 49  ROM t1 WHERE c I
0b40: 4e 20 28 31 30 2c 32 30 29 7d 7d 20 6d 73 67 5d  N (10,20)}} msg]
0b50: 0a 20 20 6c 61 70 70 65 6e 64 20 76 20 24 6d 73  .  lappend v $ms
0b60: 67 0a 7d 20 7b 31 20 7b 6e 6f 20 73 75 63 68 20  g.} {1 {no such 
0b70: 63 6f 6c 75 6d 6e 3a 20 63 7d 7d 0a 0a 23 20 54  column: c}}..# T
0b80: 65 73 74 69 6e 67 20 74 68 65 20 49 4e 20 6f 70  esting the IN op
0b90: 65 72 61 74 6f 72 20 77 68 65 72 65 20 74 68 65  erator where the
0ba0: 20 72 69 67 68 74 2d 68 61 6e 64 20 73 69 64 65   right-hand side
0bb0: 20 69 73 20 61 20 53 45 4c 45 43 54 0a 23 0a 64   is a SELECT.#.d
0bc0: 6f 5f 74 65 73 74 20 69 6e 2d 33 2e 31 20 7b 0a  o_test in-3.1 {.
0bd0: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
0be0: 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 31  SELECT a FROM t1
0bf0: 0a 20 20 20 20 57 48 45 52 45 20 62 20 49 4e 20  .    WHERE b IN 
0c00: 28 53 45 4c 45 43 54 20 62 20 46 52 4f 4d 20 74  (SELECT b FROM t
0c10: 31 20 57 48 45 52 45 20 61 3c 35 29 0a 20 20 20  1 WHERE a<5).   
0c20: 20 4f 52 44 45 52 20 42 59 20 61 0a 20 20 7d 0a   ORDER BY a.  }.
0c30: 7d 20 7b 31 20 32 20 33 20 34 7d 0a 64 6f 5f 74  } {1 2 3 4}.do_t
0c40: 65 73 74 20 69 6e 2d 33 2e 32 20 7b 0a 20 20 65  est in-3.2 {.  e
0c50: 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c  xecsql {.    SEL
0c60: 45 43 54 20 61 20 46 52 4f 4d 20 74 31 0a 20 20  ECT a FROM t1.  
0c70: 20 20 57 48 45 52 45 20 62 20 49 4e 20 28 53 45    WHERE b IN (SE
0c80: 4c 45 43 54 20 62 20 46 52 4f 4d 20 74 31 20 57  LECT b FROM t1 W
0c90: 48 45 52 45 20 61 3c 35 29 20 4f 52 20 62 3d 3d  HERE a<5) OR b==
0ca0: 35 31 32 0a 20 20 20 20 4f 52 44 45 52 20 42 59  512.    ORDER BY
0cb0: 20 61 0a 20 20 7d 0a 7d 20 7b 31 20 32 20 33 20   a.  }.} {1 2 3 
0cc0: 34 20 39 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 2d  4 9}.do_test in-
0cd0: 33 2e 33 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  3.3 {.  execsql 
0ce0: 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 61 20 2b  {.    SELECT a +
0cf0: 20 31 30 30 2a 28 62 20 49 4e 20 28 53 45 4c 45   100*(b IN (SELE
0d00: 43 54 20 62 20 46 52 4f 4d 20 74 31 20 57 48 45  CT b FROM t1 WHE
0d10: 52 45 20 61 3c 35 29 29 20 46 52 4f 4d 20 74 31  RE a<5)) FROM t1
0d20: 20 4f 52 44 45 52 20 42 59 20 62 0a 20 20 7d 0a   ORDER BY b.  }.
0d30: 7d 20 7b 31 30 31 20 31 30 32 20 31 30 33 20 31  } {101 102 103 1
0d40: 30 34 20 35 20 36 20 37 20 38 20 39 20 31 30 7d  04 5 6 7 8 9 10}
0d50: 0a 0a 23 20 4d 61 6b 65 20 73 75 72 65 20 74 68  ..# Make sure th
0d60: 65 20 55 50 44 41 54 45 20 61 6e 64 20 44 45 4c  e UPDATE and DEL
0d70: 45 54 45 20 63 6f 6d 6d 61 6e 64 73 20 77 6f 72  ETE commands wor
0d80: 6b 20 77 69 74 68 20 49 4e 2d 53 45 4c 45 43 54  k with IN-SELECT
0d90: 0a 23 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 34 2e  .#.do_test in-4.
0da0: 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a  1 {.  execsql {.
0db0: 20 20 20 20 55 50 44 41 54 45 20 74 31 20 53 45      UPDATE t1 SE
0dc0: 54 20 62 3d 62 2a 32 20 0a 20 20 20 20 57 48 45  T b=b*2 .    WHE
0dd0: 52 45 20 62 20 49 4e 20 28 53 45 4c 45 43 54 20  RE b IN (SELECT 
0de0: 62 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20  b FROM t1 WHERE 
0df0: 61 3e 38 29 0a 20 20 7d 0a 20 20 65 78 65 63 73  a>8).  }.  execs
0e00: 71 6c 20 7b 53 45 4c 45 43 54 20 62 20 46 52 4f  ql {SELECT b FRO
0e10: 4d 20 74 31 20 4f 52 44 45 52 20 42 59 20 62 7d  M t1 ORDER BY b}
0e20: 0a 7d 20 7b 32 20 34 20 38 20 31 36 20 33 32 20  .} {2 4 8 16 32 
0e30: 36 34 20 31 32 38 20 32 35 36 20 31 30 32 34 20  64 128 256 1024 
0e40: 32 30 34 38 7d 0a 64 6f 5f 74 65 73 74 20 69 6e  2048}.do_test in
0e50: 2d 34 2e 32 20 7b 0a 20 20 65 78 65 63 73 71 6c  -4.2 {.  execsql
0e60: 20 7b 0a 20 20 20 20 44 45 4c 45 54 45 20 46 52   {.    DELETE FR
0e70: 4f 4d 20 74 31 20 57 48 45 52 45 20 62 20 49 4e  OM t1 WHERE b IN
0e80: 20 28 53 45 4c 45 43 54 20 62 20 46 52 4f 4d 20   (SELECT b FROM 
0e90: 74 31 20 57 48 45 52 45 20 61 3e 38 29 0a 20 20  t1 WHERE a>8).  
0ea0: 7d 0a 20 20 65 78 65 63 73 71 6c 20 7b 53 45 4c  }.  execsql {SEL
0eb0: 45 43 54 20 61 20 46 52 4f 4d 20 74 31 20 4f 52  ECT a FROM t1 OR
0ec0: 44 45 52 20 42 59 20 61 7d 0a 7d 20 7b 31 20 32  DER BY a}.} {1 2
0ed0: 20 33 20 34 20 35 20 36 20 37 20 38 7d 0a 64 6f   3 4 5 6 7 8}.do
0ee0: 5f 74 65 73 74 20 69 6e 2d 34 2e 33 20 7b 0a 20  _test in-4.3 {. 
0ef0: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 44   execsql {.    D
0f00: 45 4c 45 54 45 20 46 52 4f 4d 20 74 31 20 57 48  ELETE FROM t1 WH
0f10: 45 52 45 20 62 20 4e 4f 54 20 49 4e 20 28 53 45  ERE b NOT IN (SE
0f20: 4c 45 43 54 20 62 20 46 52 4f 4d 20 74 31 20 57  LECT b FROM t1 W
0f30: 48 45 52 45 20 61 3e 34 29 0a 20 20 7d 0a 20 20  HERE a>4).  }.  
0f40: 65 78 65 63 73 71 6c 20 7b 53 45 4c 45 43 54 20  execsql {SELECT 
0f50: 61 20 46 52 4f 4d 20 74 31 20 4f 52 44 45 52 20  a FROM t1 ORDER 
0f60: 42 59 20 61 7d 0a 7d 20 7b 35 20 36 20 37 20 38  BY a}.} {5 6 7 8
0f70: 7d 0a 0a 23 20 44 6f 20 61 6e 20 49 4e 20 77 69  }..# Do an IN wi
0f80: 74 68 20 61 20 63 6f 6e 73 74 61 6e 74 20 52 48  th a constant RH
0f90: 53 20 62 75 74 20 77 68 65 72 65 20 74 68 65 20  S but where the 
0fa0: 52 48 53 20 68 61 73 20 6d 61 6e 79 2c 20 6d 61  RHS has many, ma
0fb0: 6e 79 0a 23 20 65 6c 65 6d 65 6e 74 73 2e 20 20  ny.# elements.  
0fc0: 57 65 20 6e 65 65 64 20 74 6f 20 74 65 73 74 20  We need to test 
0fd0: 74 68 61 74 20 63 6f 6c 6c 69 73 69 6f 6e 73 20  that collisions 
0fe0: 69 6e 20 74 68 65 20 68 61 73 68 20 74 61 62 6c  in the hash tabl
0ff0: 65 0a 23 20 61 72 65 20 72 65 73 6f 6c 76 65 64  e.# are resolved
1000: 20 70 72 6f 70 65 72 6c 79 2e 0a 23 0a 64 6f 5f   properly..#.do_
1010: 74 65 73 74 20 69 6e 2d 35 2e 31 20 7b 0a 20 20  test in-5.1 {.  
1020: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 49 4e  execsql {.    IN
1030: 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c  SERT INTO t1 VAL
1040: 55 45 53 28 27 68 65 6c 6c 6f 27 2c 20 27 77 6f  UES('hello', 'wo
1050: 72 6c 64 27 29 3b 0a 20 20 20 20 53 45 4c 45 43  rld');.    SELEC
1060: 54 20 2a 20 46 52 4f 4d 20 74 31 0a 20 20 20 20  T * FROM t1.    
1070: 57 48 45 52 45 20 61 20 49 4e 20 28 0a 20 20 20  WHERE a IN (.   
1080: 20 20 20 20 27 44 6f 27 2c 27 61 6e 27 2c 27 49      'Do','an','I
1090: 4e 27 2c 27 77 69 74 68 27 2c 27 61 27 2c 27 63  N','with','a','c
10a0: 6f 6e 73 74 61 6e 74 27 2c 27 52 48 53 27 2c 27  onstant','RHS','
10b0: 62 75 74 27 2c 27 77 68 65 72 65 27 2c 27 74 68  but','where','th
10c0: 65 27 2c 0a 20 20 20 20 20 20 20 27 68 61 73 27  e',.       'has'
10d0: 2c 27 6d 61 6e 79 27 2c 27 65 6c 65 6d 65 6e 74  ,'many','element
10e0: 73 27 2c 27 57 65 27 2c 27 6e 65 65 64 27 2c 27  s','We','need','
10f0: 74 6f 27 2c 27 74 65 73 74 27 2c 27 74 68 61 74  to','test','that
1100: 27 2c 0a 20 20 20 20 20 20 20 27 63 6f 6c 6c 69  ',.       'colli
1110: 73 69 6f 6e 73 27 2c 27 68 61 73 68 27 2c 27 74  sions','hash','t
1120: 61 62 6c 65 27 2c 27 61 72 65 27 2c 27 72 65 73  able','are','res
1130: 6f 6c 76 65 64 27 2c 27 70 72 6f 70 65 72 6c 79  olved','properly
1140: 27 2c 0a 20 20 20 20 20 20 20 27 54 68 69 73 27  ',.       'This'
1150: 2c 27 69 6e 2d 73 65 74 27 2c 27 63 6f 6e 74 61  ,'in-set','conta
1160: 69 6e 73 27 2c 27 74 68 69 72 74 79 27 2c 27 6f  ins','thirty','o
1170: 6e 65 27 2c 27 65 6e 74 72 69 65 73 27 2c 27 68  ne','entries','h
1180: 65 6c 6c 6f 27 29 3b 0a 20 20 7d 0a 7d 20 7b 68  ello');.  }.} {h
1190: 65 6c 6c 6f 20 77 6f 72 6c 64 7d 0a 0a 23 20 4d  ello world}..# M
11a0: 61 6b 65 20 73 75 72 65 20 74 68 65 20 49 4e 20  ake sure the IN 
11b0: 6f 70 65 72 61 74 6f 72 20 77 6f 72 6b 73 20 77  operator works w
11c0: 69 74 68 20 49 4e 54 45 47 45 52 20 50 52 49 4d  ith INTEGER PRIM
11d0: 41 52 59 20 4b 45 59 20 66 69 65 6c 64 73 2e 0a  ARY KEY fields..
11e0: 23 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 36 2e 31  #.do_test in-6.1
11f0: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20   {.  execsql {. 
1200: 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20     CREATE TABLE 
1210: 74 61 28 61 20 49 4e 54 45 47 45 52 20 50 52 49  ta(a INTEGER PRI
1220: 4d 41 52 59 20 4b 45 59 2c 20 62 29 3b 0a 20 20  MARY KEY, b);.  
1230: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 61    INSERT INTO ta
1240: 20 56 41 4c 55 45 53 28 31 2c 31 29 3b 0a 20 20   VALUES(1,1);.  
1250: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 61    INSERT INTO ta
1260: 20 56 41 4c 55 45 53 28 32 2c 32 29 3b 0a 20 20   VALUES(2,2);.  
1270: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 61    INSERT INTO ta
1280: 20 56 41 4c 55 45 53 28 33 2c 33 29 3b 0a 20 20   VALUES(3,3);.  
1290: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 61    INSERT INTO ta
12a0: 20 56 41 4c 55 45 53 28 34 2c 34 29 3b 0a 20 20   VALUES(4,4);.  
12b0: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 61    INSERT INTO ta
12c0: 20 56 41 4c 55 45 53 28 36 2c 36 29 3b 0a 20 20   VALUES(6,6);.  
12d0: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 61    INSERT INTO ta
12e0: 20 56 41 4c 55 45 53 28 38 2c 38 29 3b 0a 20 20   VALUES(8,8);.  
12f0: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 61    INSERT INTO ta
1300: 20 56 41 4c 55 45 53 28 31 30 2c 0a 20 20 20 20   VALUES(10,.    
1310: 20 20 20 27 54 68 69 73 20 69 73 20 61 20 6b 65     'This is a ke
1320: 79 20 74 68 61 74 20 69 73 20 6c 6f 6e 67 20 65  y that is long e
1330: 6e 6f 75 67 68 20 74 6f 20 72 65 71 75 69 72 65  nough to require
1340: 20 61 20 6d 61 6c 6c 6f 63 20 69 6e 20 74 68 65   a malloc in the
1350: 20 56 44 42 45 27 29 3b 0a 20 20 20 20 53 45 4c   VDBE');.    SEL
1360: 45 43 54 20 2a 20 46 52 4f 4d 20 74 61 20 57 48  ECT * FROM ta WH
1370: 45 52 45 20 61 3c 31 30 3b 0a 20 20 7d 0a 7d 20  ERE a<10;.  }.} 
1380: 7b 31 20 31 20 32 20 32 20 33 20 33 20 34 20 34  {1 1 2 2 3 3 4 4
1390: 20 36 20 36 20 38 20 38 7d 0a 64 6f 5f 74 65 73   6 6 8 8}.do_tes
13a0: 74 20 69 6e 2d 36 2e 32 20 7b 0a 20 20 65 78 65  t in-6.2 {.  exe
13b0: 63 73 71 6c 20 7b 0a 20 20 20 20 43 52 45 41 54  csql {.    CREAT
13c0: 45 20 54 41 42 4c 45 20 74 62 28 61 20 49 4e 54  E TABLE tb(a INT
13d0: 45 47 45 52 20 50 52 49 4d 41 52 59 20 4b 45 59  EGER PRIMARY KEY
13e0: 2c 20 62 29 3b 0a 20 20 20 20 49 4e 53 45 52 54  , b);.    INSERT
13f0: 20 49 4e 54 4f 20 74 62 20 56 41 4c 55 45 53 28   INTO tb VALUES(
1400: 31 2c 31 29 3b 0a 20 20 20 20 49 4e 53 45 52 54  1,1);.    INSERT
1410: 20 49 4e 54 4f 20 74 62 20 56 41 4c 55 45 53 28   INTO tb VALUES(
1420: 32 2c 32 29 3b 0a 20 20 20 20 49 4e 53 45 52 54  2,2);.    INSERT
1430: 20 49 4e 54 4f 20 74 62 20 56 41 4c 55 45 53 28   INTO tb VALUES(
1440: 33 2c 33 29 3b 0a 20 20 20 20 49 4e 53 45 52 54  3,3);.    INSERT
1450: 20 49 4e 54 4f 20 74 62 20 56 41 4c 55 45 53 28   INTO tb VALUES(
1460: 35 2c 35 29 3b 0a 20 20 20 20 49 4e 53 45 52 54  5,5);.    INSERT
1470: 20 49 4e 54 4f 20 74 62 20 56 41 4c 55 45 53 28   INTO tb VALUES(
1480: 37 2c 37 29 3b 0a 20 20 20 20 49 4e 53 45 52 54  7,7);.    INSERT
1490: 20 49 4e 54 4f 20 74 62 20 56 41 4c 55 45 53 28   INTO tb VALUES(
14a0: 39 2c 39 29 3b 0a 20 20 20 20 49 4e 53 45 52 54  9,9);.    INSERT
14b0: 20 49 4e 54 4f 20 74 62 20 56 41 4c 55 45 53 28   INTO tb VALUES(
14c0: 31 31 2c 0a 20 20 20 20 20 20 20 27 54 68 69 73  11,.       'This
14d0: 20 69 73 20 61 20 6b 65 79 20 74 68 61 74 20 69   is a key that i
14e0: 73 20 6c 6f 6e 67 20 65 6e 6f 75 67 68 20 74 6f  s long enough to
14f0: 20 72 65 71 75 69 72 65 20 61 20 6d 61 6c 6c 6f   require a mallo
1500: 63 20 69 6e 20 74 68 65 20 56 44 42 45 27 29 3b  c in the VDBE');
1510: 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52  .    SELECT * FR
1520: 4f 4d 20 74 62 20 57 48 45 52 45 20 61 3c 31 30  OM tb WHERE a<10
1530: 3b 0a 20 20 7d 0a 7d 20 7b 31 20 31 20 32 20 32  ;.  }.} {1 1 2 2
1540: 20 33 20 33 20 35 20 35 20 37 20 37 20 39 20 39   3 3 5 5 7 7 9 9
1550: 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 36 2e 33  }.do_test in-6.3
1560: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20   {.  execsql {. 
1570: 20 20 20 53 45 4c 45 43 54 20 61 20 46 52 4f 4d     SELECT a FROM
1580: 20 74 61 20 57 48 45 52 45 20 62 20 49 4e 20 28   ta WHERE b IN (
1590: 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 62  SELECT a FROM tb
15a0: 29 3b 0a 20 20 7d 0a 7d 20 7b 31 20 32 20 33 7d  );.  }.} {1 2 3}
15b0: 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 36 2e 34 20  .do_test in-6.4 
15c0: 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20  {.  execsql {.  
15d0: 20 20 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20    SELECT a FROM 
15e0: 74 61 20 57 48 45 52 45 20 62 20 4e 4f 54 20 49  ta WHERE b NOT I
15f0: 4e 20 28 53 45 4c 45 43 54 20 61 20 46 52 4f 4d  N (SELECT a FROM
1600: 20 74 62 29 3b 0a 20 20 7d 0a 7d 20 7b 34 20 36   tb);.  }.} {4 6
1610: 20 38 20 31 30 7d 0a 64 6f 5f 74 65 73 74 20 69   8 10}.do_test i
1620: 6e 2d 36 2e 35 20 7b 0a 20 20 65 78 65 63 73 71  n-6.5 {.  execsq
1630: 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 61  l {.    SELECT a
1640: 20 46 52 4f 4d 20 74 61 20 57 48 45 52 45 20 62   FROM ta WHERE b
1650: 20 49 4e 20 28 53 45 4c 45 43 54 20 62 20 46 52   IN (SELECT b FR
1660: 4f 4d 20 74 62 29 3b 0a 20 20 7d 0a 7d 20 7b 31  OM tb);.  }.} {1
1670: 20 32 20 33 20 31 30 7d 0a 64 6f 5f 74 65 73 74   2 3 10}.do_test
1680: 20 69 6e 2d 36 2e 36 20 7b 0a 20 20 65 78 65 63   in-6.6 {.  exec
1690: 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54  sql {.    SELECT
16a0: 20 61 20 46 52 4f 4d 20 74 61 20 57 48 45 52 45   a FROM ta WHERE
16b0: 20 62 20 4e 4f 54 20 49 4e 20 28 53 45 4c 45 43   b NOT IN (SELEC
16c0: 54 20 62 20 46 52 4f 4d 20 74 62 29 3b 0a 20 20  T b FROM tb);.  
16d0: 7d 0a 7d 20 7b 34 20 36 20 38 7d 0a 64 6f 5f 74  }.} {4 6 8}.do_t
16e0: 65 73 74 20 69 6e 2d 36 2e 37 20 7b 0a 20 20 65  est in-6.7 {.  e
16f0: 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c  xecsql {.    SEL
1700: 45 43 54 20 61 20 46 52 4f 4d 20 74 61 20 57 48  ECT a FROM ta WH
1710: 45 52 45 20 61 20 49 4e 20 28 53 45 4c 45 43 54  ERE a IN (SELECT
1720: 20 61 20 46 52 4f 4d 20 74 62 29 3b 0a 20 20 7d   a FROM tb);.  }
1730: 0a 7d 20 7b 31 20 32 20 33 7d 0a 64 6f 5f 74 65  .} {1 2 3}.do_te
1740: 73 74 20 69 6e 2d 36 2e 38 20 7b 0a 20 20 65 78  st in-6.8 {.  ex
1750: 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45  ecsql {.    SELE
1760: 43 54 20 61 20 46 52 4f 4d 20 74 61 20 57 48 45  CT a FROM ta WHE
1770: 52 45 20 61 20 4e 4f 54 20 49 4e 20 28 53 45 4c  RE a NOT IN (SEL
1780: 45 43 54 20 61 20 46 52 4f 4d 20 74 62 29 3b 0a  ECT a FROM tb);.
1790: 20 20 7d 0a 7d 20 7b 34 20 36 20 38 20 31 30 7d    }.} {4 6 8 10}
17a0: 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 36 2e 39 20  .do_test in-6.9 
17b0: 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20  {.  execsql {.  
17c0: 20 20 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20    SELECT a FROM 
17d0: 74 61 20 57 48 45 52 45 20 61 20 49 4e 20 28 53  ta WHERE a IN (S
17e0: 45 4c 45 43 54 20 62 20 46 52 4f 4d 20 74 62 29  ELECT b FROM tb)
17f0: 3b 0a 20 20 7d 0a 7d 20 7b 31 20 32 20 33 7d 0a  ;.  }.} {1 2 3}.
1800: 64 6f 5f 74 65 73 74 20 69 6e 2d 36 2e 31 30 20  do_test in-6.10 
1810: 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20  {.  execsql {.  
1820: 20 20 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20    SELECT a FROM 
1830: 74 61 20 57 48 45 52 45 20 61 20 4e 4f 54 20 49  ta WHERE a NOT I
1840: 4e 20 28 53 45 4c 45 43 54 20 62 20 46 52 4f 4d  N (SELECT b FROM
1850: 20 74 62 29 3b 0a 20 20 7d 0a 7d 20 7b 34 20 36   tb);.  }.} {4 6
1860: 20 38 20 31 30 7d 0a 0a 23 20 54 65 73 74 73 20   8 10}..# Tests 
1870: 6f 66 20 49 4e 20 6f 70 65 72 61 74 6f 72 20 61  of IN operator a
1880: 67 61 69 6e 73 74 20 65 6d 70 74 79 20 73 65 74  gainst empty set
1890: 73 2e 20 20 28 54 69 63 6b 65 74 20 23 31 38 35  s.  (Ticket #185
18a0: 29 0a 23 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 37  ).#.do_test in-7
18b0: 2e 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b  .1 {.  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 31 20 57 48 45 52 45 20 61 20 49 4e  OM t1 WHERE a IN
18e0: 20 28 29 3b 0a 20 20 7d 0a 7d 20 7b 7d 0a 64 6f   ();.  }.} {}.do
18f0: 5f 74 65 73 74 20 69 6e 2d 37 2e 32 20 7b 0a 20  _test in-7.2 {. 
1900: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 53   execsql {.    S
1910: 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 31 20  ELECT a FROM t1 
1920: 57 48 45 52 45 20 61 20 49 4e 20 28 35 29 3b 0a  WHERE a IN (5);.
1930: 20 20 7d 0a 7d 20 7b 35 7d 0a 64 6f 5f 74 65 73    }.} {5}.do_tes
1940: 74 20 69 6e 2d 37 2e 33 20 7b 0a 20 20 65 78 65  t in-7.3 {.  exe
1950: 63 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43  csql {.    SELEC
1960: 54 20 61 20 46 52 4f 4d 20 74 31 20 57 48 45 52  T a FROM t1 WHER
1970: 45 20 61 20 4e 4f 54 20 49 4e 20 28 29 20 4f 52  E a NOT IN () OR
1980: 44 45 52 20 42 59 20 61 3b 0a 20 20 7d 0a 7d 20  DER BY a;.  }.} 
1990: 7b 35 20 36 20 37 20 38 20 68 65 6c 6c 6f 7d 0a  {5 6 7 8 hello}.
19a0: 64 6f 5f 74 65 73 74 20 69 6e 2d 37 2e 34 20 7b  do_test in-7.4 {
19b0: 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20  .  execsql {.   
19c0: 20 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74   SELECT a FROM t
19d0: 31 20 57 48 45 52 45 20 61 20 49 4e 20 28 35 29  1 WHERE a IN (5)
19e0: 20 41 4e 44 20 62 20 49 4e 20 28 29 3b 0a 20 20   AND b IN ();.  
19f0: 7d 0a 7d 20 7b 7d 0a 64 6f 5f 74 65 73 74 20 69  }.} {}.do_test i
1a00: 6e 2d 37 2e 35 20 7b 0a 20 20 65 78 65 63 73 71  n-7.5 {.  execsq
1a10: 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 61  l {.    SELECT a
1a20: 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 61   FROM t1 WHERE a
1a30: 20 49 4e 20 28 35 29 20 41 4e 44 20 62 20 4e 4f   IN (5) AND b NO
1a40: 54 20 49 4e 20 28 29 3b 0a 20 20 7d 0a 7d 20 7b  T IN ();.  }.} {
1a50: 35 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 37 2e  5}.do_test in-7.
1a60: 36 2e 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  6.1 {.  execsql 
1a70: 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 61 20 46  {.    SELECT a F
1a80: 52 4f 4d 20 74 61 20 57 48 45 52 45 20 61 20 49  ROM ta WHERE a I
1a90: 4e 20 28 29 3b 0a 20 20 7d 0a 7d 20 7b 7d 0a 64  N ();.  }.} {}.d
1aa0: 6f 5f 74 65 73 74 20 69 6e 2d 37 2e 36 2e 32 20  o_test in-7.6.2 
1ab0: 7b 0a 20 20 64 62 20 73 74 61 74 75 73 20 73 74  {.  db status st
1ac0: 65 70 0a 7d 20 7b 30 7d 0a 64 6f 5f 74 65 73 74  ep.} {0}.do_test
1ad0: 20 69 6e 2d 37 2e 37 20 7b 0a 20 20 65 78 65 63   in-7.7 {.  exec
1ae0: 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54  sql {.    SELECT
1af0: 20 61 20 46 52 4f 4d 20 74 61 20 57 48 45 52 45   a FROM ta WHERE
1b00: 20 61 20 4e 4f 54 20 49 4e 20 28 29 3b 0a 20 20   a NOT IN ();.  
1b10: 7d 0a 7d 20 7b 31 20 32 20 33 20 34 20 36 20 38  }.} {1 2 3 4 6 8
1b20: 20 31 30 7d 0a 0a 64 6f 5f 74 65 73 74 20 69 6e   10}..do_test in
1b30: 2d 37 2e 38 2e 31 20 7b 0a 20 20 65 78 65 63 73  -7.8.1 {.  execs
1b40: 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20  ql {.    SELECT 
1b50: 2a 20 46 52 4f 4d 20 74 61 20 4c 45 46 54 20 4a  * FROM ta LEFT J
1b60: 4f 49 4e 20 74 62 20 4f 4e 20 28 74 61 2e 62 3d  OIN tb ON (ta.b=
1b70: 74 62 2e 62 29 20 57 48 45 52 45 20 74 61 2e 61  tb.b) WHERE ta.a
1b80: 20 49 4e 20 28 29 3b 0a 20 20 7d 0a 7d 20 7b 7d   IN ();.  }.} {}
1b90: 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 37 2e 38 2e  .do_test in-7.8.
1ba0: 32 20 7b 0a 20 20 64 62 20 73 74 61 74 75 73 20  2 {.  db status 
1bb0: 73 74 65 70 0a 7d 20 7b 30 7d 0a 0a 64 6f 5f 74  step.} {0}..do_t
1bc0: 65 73 74 20 69 6e 2d 38 2e 31 20 7b 0a 20 20 65  est in-8.1 {.  e
1bd0: 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c  xecsql {.    SEL
1be0: 45 43 54 20 62 20 46 52 4f 4d 20 74 31 20 57 48  ECT b FROM t1 WH
1bf0: 45 52 45 20 61 20 49 4e 20 28 27 68 65 6c 6c 6f  ERE a IN ('hello
1c00: 27 2c 27 74 68 65 72 65 27 29 0a 20 20 7d 0a 7d  ','there').  }.}
1c10: 20 7b 77 6f 72 6c 64 7d 0a 64 6f 5f 74 65 73 74   {world}.do_test
1c20: 20 69 6e 2d 38 2e 32 20 7b 0a 20 20 65 78 65 63   in-8.2 {.  exec
1c30: 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54  sql {.    SELECT
1c40: 20 62 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45   b FROM t1 WHERE
1c50: 20 61 20 49 4e 20 28 22 68 65 6c 6c 6f 22 2c 27   a IN ("hello",'
1c60: 74 68 65 72 65 27 29 0a 20 20 7d 0a 7d 20 7b 77  there').  }.} {w
1c70: 6f 72 6c 64 7d 0a 0a 23 20 54 65 73 74 20 63 6f  orld}..# Test co
1c80: 6e 73 74 72 75 63 74 73 20 6f 66 20 74 68 65 20  nstructs of the 
1c90: 66 6f 72 6d 3a 20 20 65 78 70 72 20 49 4e 20 74  form:  expr IN t
1ca0: 61 62 6c 65 6e 61 6d 65 0a 23 0a 64 6f 5f 74 65  ablename.#.do_te
1cb0: 73 74 20 69 6e 2d 39 2e 31 20 7b 0a 20 20 65 78  st in-9.1 {.  ex
1cc0: 65 63 73 71 6c 20 7b 0a 20 20 20 20 43 52 45 41  ecsql {.    CREA
1cd0: 54 45 20 54 41 42 4c 45 20 74 34 20 41 53 20 53  TE TABLE t4 AS S
1ce0: 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 62 3b  ELECT a FROM tb;
1cf0: 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52  .    SELECT * FR
1d00: 4f 4d 20 74 34 3b 20 20 20 20 0a 20 20 7d 0a 7d  OM t4;    .  }.}
1d10: 20 7b 31 20 32 20 33 20 35 20 37 20 39 20 31 31   {1 2 3 5 7 9 11
1d20: 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 39 2e 32  }.do_test in-9.2
1d30: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20   {.  execsql {. 
1d40: 20 20 20 53 45 4c 45 43 54 20 62 20 46 52 4f 4d     SELECT b FROM
1d50: 20 74 31 20 57 48 45 52 45 20 61 20 49 4e 20 74   t1 WHERE a IN t
1d60: 34 3b 0a 20 20 7d 0a 7d 20 7b 33 32 20 31 32 38  4;.  }.} {32 128
1d70: 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 39 2e 33  }.do_test in-9.3
1d80: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20   {.  execsql {. 
1d90: 20 20 20 53 45 4c 45 43 54 20 62 20 46 52 4f 4d     SELECT b FROM
1da0: 20 74 31 20 57 48 45 52 45 20 61 20 4e 4f 54 20   t1 WHERE a NOT 
1db0: 49 4e 20 74 34 3b 0a 20 20 7d 0a 7d 20 7b 36 34  IN t4;.  }.} {64
1dc0: 20 32 35 36 20 77 6f 72 6c 64 7d 0a 64 6f 5f 74   256 world}.do_t
1dd0: 65 73 74 20 69 6e 2d 39 2e 34 20 7b 0a 20 20 63  est in-9.4 {.  c
1de0: 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 53 45  atchsql {.    SE
1df0: 4c 45 43 54 20 62 20 46 52 4f 4d 20 74 31 20 57  LECT b FROM t1 W
1e00: 48 45 52 45 20 61 20 4e 4f 54 20 49 4e 20 74 62  HERE a NOT IN tb
1e10: 3b 0a 20 20 7d 0a 7d 20 7b 31 20 7b 73 75 62 2d  ;.  }.} {1 {sub-
1e20: 73 65 6c 65 63 74 20 72 65 74 75 72 6e 73 20 32  select returns 2
1e30: 20 63 6f 6c 75 6d 6e 73 20 2d 20 65 78 70 65 63   columns - expec
1e40: 74 65 64 20 31 7d 7d 0a 0a 23 20 49 4e 20 63 6c  ted 1}}..# IN cl
1e50: 61 75 73 65 73 20 69 6e 20 43 48 45 43 4b 20 63  auses in CHECK c
1e60: 6f 6e 73 74 72 61 69 6e 74 73 2e 20 20 54 69 63  onstraints.  Tic
1e70: 6b 65 74 20 23 31 36 34 35 0a 23 0a 64 6f 5f 74  ket #1645.#.do_t
1e80: 65 73 74 20 69 6e 2d 31 30 2e 31 20 7b 0a 20 20  est in-10.1 {.  
1e90: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 43 52  execsql {.    CR
1ea0: 45 41 54 45 20 54 41 42 4c 45 20 74 35 28 0a 20  EATE TABLE t5(. 
1eb0: 20 20 20 20 20 61 20 49 4e 54 45 47 45 52 2c 0a       a INTEGER,.
1ec0: 20 20 20 20 20 20 43 48 45 43 4b 28 20 61 20 49        CHECK( a I
1ed0: 4e 20 28 31 31 31 2c 32 32 32 2c 33 33 33 29 20  N (111,222,333) 
1ee0: 29 0a 20 20 20 20 29 3b 0a 20 20 20 20 49 4e 53  ).    );.    INS
1ef0: 45 52 54 20 49 4e 54 4f 20 74 35 20 56 41 4c 55  ERT INTO t5 VALU
1f00: 45 53 28 31 31 31 29 3b 0a 20 20 20 20 53 45 4c  ES(111);.    SEL
1f10: 45 43 54 20 2a 20 46 52 4f 4d 20 74 35 3b 0a 20  ECT * FROM t5;. 
1f20: 20 7d 0a 7d 20 7b 31 31 31 7d 0a 64 6f 5f 74 65   }.} {111}.do_te
1f30: 73 74 20 69 6e 2d 31 30 2e 32 20 7b 0a 20 20 63  st in-10.2 {.  c
1f40: 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 49 4e  atchsql {.    IN
1f50: 53 45 52 54 20 49 4e 54 4f 20 74 35 20 56 41 4c  SERT INTO t5 VAL
1f60: 55 45 53 28 34 29 3b 0a 20 20 7d 0a 7d 20 7b 31  UES(4);.  }.} {1
1f70: 20 7b 43 48 45 43 4b 20 63 6f 6e 73 74 72 61 69   {CHECK constrai
1f80: 6e 74 20 66 61 69 6c 65 64 3a 20 74 35 7d 7d 0a  nt failed: t5}}.
1f90: 0a 23 20 54 69 63 6b 65 74 20 23 31 38 32 31 0a  .# Ticket #1821.
1fa0: 23 0a 23 20 54 79 70 65 20 61 66 66 69 6e 69 74  #.# Type affinit
1fb0: 79 20 61 70 70 6c 69 65 64 20 74 6f 20 74 68 65  y applied to the
1fc0: 20 72 69 67 68 74 2d 68 61 6e 64 20 73 69 64 65   right-hand side
1fd0: 20 6f 66 20 61 6e 20 49 4e 20 6f 70 65 72 61 74   of an IN operat
1fe0: 6f 72 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 69 6e  or..#.do_test in
1ff0: 2d 31 31 2e 31 20 7b 0a 20 20 65 78 65 63 73 71  -11.1 {.  execsq
2000: 6c 20 7b 0a 20 20 20 20 43 52 45 41 54 45 20 54  l {.    CREATE T
2010: 41 42 4c 45 20 74 36 28 61 2c 62 20 4e 55 4d 45  ABLE t6(a,b NUME
2020: 52 49 43 29 3b 0a 20 20 20 20 49 4e 53 45 52 54  RIC);.    INSERT
2030: 20 49 4e 54 4f 20 74 36 20 56 41 4c 55 45 53 28   INTO t6 VALUES(
2040: 31 2c 32 29 3b 0a 20 20 20 20 49 4e 53 45 52 54  1,2);.    INSERT
2050: 20 49 4e 54 4f 20 74 36 20 56 41 4c 55 45 53 28   INTO t6 VALUES(
2060: 32 2c 33 29 3b 0a 20 20 20 20 53 45 4c 45 43 54  2,3);.    SELECT
2070: 20 2a 20 46 52 4f 4d 20 74 36 20 57 48 45 52 45   * FROM t6 WHERE
2080: 20 62 20 49 4e 20 28 32 29 3b 0a 20 20 7d 0a 7d   b IN (2);.  }.}
2090: 20 7b 31 20 32 7d 0a 64 6f 5f 74 65 73 74 20 69   {1 2}.do_test i
20a0: 6e 2d 31 31 2e 32 20 7b 0a 20 20 23 20 54 68 65  n-11.2 {.  # The
20b0: 20 27 32 27 20 73 68 6f 75 6c 64 20 62 65 20 63   '2' should be c
20c0: 6f 65 72 63 65 64 20 69 6e 74 6f 20 32 20 62 65  oerced into 2 be
20d0: 63 61 75 73 65 20 74 36 2e 62 20 69 73 20 4e 55  cause t6.b is NU
20e0: 4d 45 52 49 43 0a 20 20 65 78 65 63 73 71 6c 20  MERIC.  execsql 
20f0: 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46  {.    SELECT * F
2100: 52 4f 4d 20 74 36 20 57 48 45 52 45 20 62 20 49  ROM t6 WHERE b I
2110: 4e 20 28 27 32 27 29 3b 0a 20 20 7d 0a 7d 20 7b  N ('2');.  }.} {
2120: 31 20 32 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 2d  1 2}.do_test in-
2130: 31 31 2e 33 20 7b 0a 20 20 23 20 4e 6f 20 63 6f  11.3 {.  # No co
2140: 65 72 63 69 6f 6e 20 73 68 6f 75 6c 64 20 6f 63  ercion should oc
2150: 63 75 72 20 68 65 72 65 20 62 65 63 61 75 73 65  cur here because
2160: 20 6f 66 20 74 68 65 20 75 6e 61 72 79 20 2b 20   of the unary + 
2170: 62 65 66 6f 72 65 20 62 2e 0a 20 20 65 78 65 63  before b..  exec
2180: 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54  sql {.    SELECT
2190: 20 2a 20 46 52 4f 4d 20 74 36 20 57 48 45 52 45   * FROM t6 WHERE
21a0: 20 2b 62 20 49 4e 20 28 27 32 27 29 3b 0a 20 20   +b IN ('2');.  
21b0: 7d 0a 7d 20 7b 7d 0a 64 6f 5f 74 65 73 74 20 69  }.} {}.do_test i
21c0: 6e 2d 31 31 2e 34 20 7b 0a 20 20 23 20 4e 6f 20  n-11.4 {.  # No 
21d0: 63 6f 65 72 63 69 6f 6e 20 62 65 63 61 75 73 65  coercion because
21e0: 20 63 6f 6c 75 6d 6e 20 61 20 61 73 20 61 66 66   column a as aff
21f0: 69 6e 69 74 79 20 4e 4f 4e 45 0a 20 20 65 78 65  inity NONE.  exe
2200: 63 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43  csql {.    SELEC
2210: 54 20 2a 20 46 52 4f 4d 20 74 36 20 57 48 45 52  T * FROM t6 WHER
2220: 45 20 61 20 49 4e 20 28 27 32 27 29 3b 0a 20 20  E a IN ('2');.  
2230: 7d 0a 7d 20 7b 7d 0a 64 6f 5f 74 65 73 74 20 69  }.} {}.do_test i
2240: 6e 2d 31 31 2e 35 20 7b 0a 20 20 65 78 65 63 73  n-11.5 {.  execs
2250: 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20  ql {.    SELECT 
2260: 2a 20 46 52 4f 4d 20 74 36 20 57 48 45 52 45 20  * FROM t6 WHERE 
2270: 61 20 49 4e 20 28 32 29 3b 0a 20 20 7d 0a 7d 20  a IN (2);.  }.} 
2280: 7b 32 20 33 7d 0a 64 6f 5f 74 65 73 74 20 69 6e  {2 3}.do_test in
2290: 2d 31 31 2e 36 20 7b 0a 20 20 23 20 4e 6f 20 63  -11.6 {.  # No c
22a0: 6f 65 72 63 69 6f 6e 20 62 65 63 61 75 73 65 20  oercion because 
22b0: 63 6f 6c 75 6d 6e 20 61 20 61 73 20 61 66 66 69  column a as affi
22c0: 6e 69 74 79 20 4e 4f 4e 45 0a 20 20 65 78 65 63  nity NONE.  exec
22d0: 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54  sql {.    SELECT
22e0: 20 2a 20 46 52 4f 4d 20 74 36 20 57 48 45 52 45   * FROM t6 WHERE
22f0: 20 2b 61 20 49 4e 20 28 27 32 27 29 3b 0a 20 20   +a IN ('2');.  
2300: 7d 0a 7d 20 7b 7d 0a 0a 23 20 54 65 73 74 20 65  }.} {}..# Test e
2310: 72 72 6f 72 20 63 6f 6e 64 69 74 69 6f 6e 73 20  rror conditions 
2320: 77 69 74 68 20 65 78 70 72 65 73 73 69 6f 6e 73  with expressions
2330: 20 6f 66 20 74 68 65 20 66 6f 72 6d 20 49 4e 28   of the form IN(
2340: 3c 63 6f 6d 70 6f 75 6e 64 20 73 65 6c 65 63 74  <compound select
2350: 3e 29 2e 0a 23 0a 69 66 63 61 70 61 62 6c 65 20  >)..#.ifcapable 
2360: 63 6f 6d 70 6f 75 6e 64 20 7b 0a 64 6f 5f 74 65  compound {.do_te
2370: 73 74 20 69 6e 2d 31 32 2e 31 20 7b 0a 20 20 65  st in-12.1 {.  e
2380: 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 43 52 45  xecsql {.    CRE
2390: 41 54 45 20 54 41 42 4c 45 20 74 32 28 61 2c 20  ATE TABLE t2(a, 
23a0: 62 2c 20 63 29 3b 0a 20 20 20 20 43 52 45 41 54  b, c);.    CREAT
23b0: 45 20 54 41 42 4c 45 20 74 33 28 61 2c 20 62 2c  E TABLE t3(a, b,
23c0: 20 63 29 3b 0a 20 20 7d 0a 7d 20 7b 7d 0a 64 6f   c);.  }.} {}.do
23d0: 5f 74 65 73 74 20 69 6e 2d 31 32 2e 32 20 7b 0a  _test in-12.2 {.
23e0: 20 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20 20    catchsql {.   
23f0: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74   SELECT * FROM t
2400: 32 20 57 48 45 52 45 20 61 20 49 4e 20 28 0a 20  2 WHERE a IN (. 
2410: 20 20 20 20 20 53 45 4c 45 43 54 20 61 2c 20 62       SELECT a, b
2420: 20 46 52 4f 4d 20 74 33 20 55 4e 49 4f 4e 20 41   FROM t3 UNION A
2430: 4c 4c 20 53 45 4c 45 43 54 20 61 2c 20 62 20 46  LL SELECT a, b F
2440: 52 4f 4d 20 74 32 0a 20 20 20 20 29 3b 0a 20 20  ROM t2.    );.  
2450: 7d 0a 7d 20 7b 31 20 7b 73 75 62 2d 73 65 6c 65  }.} {1 {sub-sele
2460: 63 74 20 72 65 74 75 72 6e 73 20 32 20 63 6f 6c  ct returns 2 col
2470: 75 6d 6e 73 20 2d 20 65 78 70 65 63 74 65 64 20  umns - expected 
2480: 31 7d 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 31  1}}.do_test in-1
2490: 32 2e 33 20 7b 0a 20 20 63 61 74 63 68 73 71 6c  2.3 {.  catchsql
24a0: 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20   {.    SELECT * 
24b0: 46 52 4f 4d 20 74 32 20 57 48 45 52 45 20 61 20  FROM t2 WHERE a 
24c0: 49 4e 20 28 0a 20 20 20 20 20 20 53 45 4c 45 43  IN (.      SELEC
24d0: 54 20 61 2c 20 62 20 46 52 4f 4d 20 74 33 20 55  T a, b FROM t3 U
24e0: 4e 49 4f 4e 20 53 45 4c 45 43 54 20 61 2c 20 62  NION SELECT a, b
24f0: 20 46 52 4f 4d 20 74 32 0a 20 20 20 20 29 3b 0a   FROM t2.    );.
2500: 20 20 7d 0a 7d 20 7b 31 20 7b 73 75 62 2d 73 65    }.} {1 {sub-se
2510: 6c 65 63 74 20 72 65 74 75 72 6e 73 20 32 20 63  lect returns 2 c
2520: 6f 6c 75 6d 6e 73 20 2d 20 65 78 70 65 63 74 65  olumns - expecte
2530: 64 20 31 7d 7d 0a 64 6f 5f 74 65 73 74 20 69 6e  d 1}}.do_test in
2540: 2d 31 32 2e 34 20 7b 0a 20 20 63 61 74 63 68 73  -12.4 {.  catchs
2550: 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20  ql {.    SELECT 
2560: 2a 20 46 52 4f 4d 20 74 32 20 57 48 45 52 45 20  * FROM t2 WHERE 
2570: 61 20 49 4e 20 28 0a 20 20 20 20 20 20 53 45 4c  a IN (.      SEL
2580: 45 43 54 20 61 2c 20 62 20 46 52 4f 4d 20 74 33  ECT a, b FROM t3
2590: 20 45 58 43 45 50 54 20 53 45 4c 45 43 54 20 61   EXCEPT SELECT a
25a0: 2c 20 62 20 46 52 4f 4d 20 74 32 0a 20 20 20 20  , b FROM t2.    
25b0: 29 3b 0a 20 20 7d 0a 7d 20 7b 31 20 7b 73 75 62  );.  }.} {1 {sub
25c0: 2d 73 65 6c 65 63 74 20 72 65 74 75 72 6e 73 20  -select returns 
25d0: 32 20 63 6f 6c 75 6d 6e 73 20 2d 20 65 78 70 65  2 columns - expe
25e0: 63 74 65 64 20 31 7d 7d 0a 64 6f 5f 74 65 73 74  cted 1}}.do_test
25f0: 20 69 6e 2d 31 32 2e 35 20 7b 0a 20 20 63 61 74   in-12.5 {.  cat
2600: 63 68 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45  chsql {.    SELE
2610: 43 54 20 2a 20 46 52 4f 4d 20 74 32 20 57 48 45  CT * FROM t2 WHE
2620: 52 45 20 61 20 49 4e 20 28 0a 20 20 20 20 20 20  RE a IN (.      
2630: 53 45 4c 45 43 54 20 61 2c 20 62 20 46 52 4f 4d  SELECT a, b FROM
2640: 20 74 33 20 49 4e 54 45 52 53 45 43 54 20 53 45   t3 INTERSECT SE
2650: 4c 45 43 54 20 61 2c 20 62 20 46 52 4f 4d 20 74  LECT a, b FROM t
2660: 32 0a 20 20 20 20 29 3b 0a 20 20 7d 0a 7d 20 7b  2.    );.  }.} {
2670: 31 20 7b 73 75 62 2d 73 65 6c 65 63 74 20 72 65  1 {sub-select re
2680: 74 75 72 6e 73 20 32 20 63 6f 6c 75 6d 6e 73 20  turns 2 columns 
2690: 2d 20 65 78 70 65 63 74 65 64 20 31 7d 7d 0a 64  - expected 1}}.d
26a0: 6f 5f 74 65 73 74 20 69 6e 2d 31 32 2e 36 20 7b  o_test in-12.6 {
26b0: 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20  .  catchsql {.  
26c0: 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20    SELECT * FROM 
26d0: 74 32 20 57 48 45 52 45 20 61 20 49 4e 20 28 0a  t2 WHERE a IN (.
26e0: 20 20 20 20 20 20 53 45 4c 45 43 54 20 61 2c 20        SELECT a, 
26f0: 62 20 46 52 4f 4d 20 74 33 20 55 4e 49 4f 4e 20  b FROM t3 UNION 
2700: 41 4c 4c 20 53 45 4c 45 43 54 20 61 20 46 52 4f  ALL SELECT a FRO
2710: 4d 20 74 32 0a 20 20 20 20 29 3b 0a 20 20 7d 0a  M t2.    );.  }.
2720: 7d 20 7b 31 20 7b 53 45 4c 45 43 54 73 20 74 6f  } {1 {SELECTs to
2730: 20 74 68 65 20 6c 65 66 74 20 61 6e 64 20 72 69   the left and ri
2740: 67 68 74 20 6f 66 20 55 4e 49 4f 4e 20 41 4c 4c  ght of UNION ALL
2750: 20 64 6f 20 6e 6f 74 20 68 61 76 65 20 74 68 65   do not have the
2760: 20 73 61 6d 65 20 6e 75 6d 62 65 72 20 6f 66 20   same number of 
2770: 72 65 73 75 6c 74 20 63 6f 6c 75 6d 6e 73 7d 7d  result columns}}
2780: 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 31 32 2e 37  .do_test in-12.7
2790: 20 7b 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 0a   {.  catchsql {.
27a0: 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f      SELECT * FRO
27b0: 4d 20 74 32 20 57 48 45 52 45 20 61 20 49 4e 20  M t2 WHERE a IN 
27c0: 28 0a 20 20 20 20 20 20 53 45 4c 45 43 54 20 61  (.      SELECT a
27d0: 2c 20 62 20 46 52 4f 4d 20 74 33 20 55 4e 49 4f  , b FROM t3 UNIO
27e0: 4e 20 53 45 4c 45 43 54 20 61 20 46 52 4f 4d 20  N SELECT a FROM 
27f0: 74 32 0a 20 20 20 20 29 3b 0a 20 20 7d 0a 7d 20  t2.    );.  }.} 
2800: 7b 31 20 7b 53 45 4c 45 43 54 73 20 74 6f 20 74  {1 {SELECTs to t
2810: 68 65 20 6c 65 66 74 20 61 6e 64 20 72 69 67 68  he left and righ
2820: 74 20 6f 66 20 55 4e 49 4f 4e 20 64 6f 20 6e 6f  t of UNION do no
2830: 74 20 68 61 76 65 20 74 68 65 20 73 61 6d 65 20  t have the same 
2840: 6e 75 6d 62 65 72 20 6f 66 20 72 65 73 75 6c 74  number of result
2850: 20 63 6f 6c 75 6d 6e 73 7d 7d 0a 64 6f 5f 74 65   columns}}.do_te
2860: 73 74 20 69 6e 2d 31 32 2e 38 20 7b 0a 20 20 63  st in-12.8 {.  c
2870: 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 53 45  atchsql {.    SE
2880: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 32 20 57  LECT * FROM t2 W
2890: 48 45 52 45 20 61 20 49 4e 20 28 0a 20 20 20 20  HERE a IN (.    
28a0: 20 20 53 45 4c 45 43 54 20 61 2c 20 62 20 46 52    SELECT a, b FR
28b0: 4f 4d 20 74 33 20 45 58 43 45 50 54 20 53 45 4c  OM t3 EXCEPT SEL
28c0: 45 43 54 20 61 20 46 52 4f 4d 20 74 32 0a 20 20  ECT a FROM t2.  
28d0: 20 20 29 3b 0a 20 20 7d 0a 7d 20 7b 31 20 7b 53    );.  }.} {1 {S
28e0: 45 4c 45 43 54 73 20 74 6f 20 74 68 65 20 6c 65  ELECTs to the le
28f0: 66 74 20 61 6e 64 20 72 69 67 68 74 20 6f 66 20  ft and right of 
2900: 45 58 43 45 50 54 20 64 6f 20 6e 6f 74 20 68 61  EXCEPT do not ha
2910: 76 65 20 74 68 65 20 73 61 6d 65 20 6e 75 6d 62  ve the same numb
2920: 65 72 20 6f 66 20 72 65 73 75 6c 74 20 63 6f 6c  er of result col
2930: 75 6d 6e 73 7d 7d 0a 64 6f 5f 74 65 73 74 20 69  umns}}.do_test i
2940: 6e 2d 31 32 2e 39 20 7b 0a 20 20 63 61 74 63 68  n-12.9 {.  catch
2950: 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54  sql {.    SELECT
2960: 20 2a 20 46 52 4f 4d 20 74 32 20 57 48 45 52 45   * FROM t2 WHERE
2970: 20 61 20 49 4e 20 28 0a 20 20 20 20 20 20 53 45   a IN (.      SE
2980: 4c 45 43 54 20 61 2c 20 62 20 46 52 4f 4d 20 74  LECT a, b FROM t
2990: 33 20 49 4e 54 45 52 53 45 43 54 20 53 45 4c 45  3 INTERSECT SELE
29a0: 43 54 20 61 20 46 52 4f 4d 20 74 32 0a 20 20 20  CT a FROM t2.   
29b0: 20 29 3b 0a 20 20 7d 0a 7d 20 7b 31 20 7b 53 45   );.  }.} {1 {SE
29c0: 4c 45 43 54 73 20 74 6f 20 74 68 65 20 6c 65 66  LECTs to the lef
29d0: 74 20 61 6e 64 20 72 69 67 68 74 20 6f 66 20 49  t and right of I
29e0: 4e 54 45 52 53 45 43 54 20 64 6f 20 6e 6f 74 20  NTERSECT do not 
29f0: 68 61 76 65 20 74 68 65 20 73 61 6d 65 20 6e 75  have the same nu
2a00: 6d 62 65 72 20 6f 66 20 72 65 73 75 6c 74 20 63  mber of result c
2a10: 6f 6c 75 6d 6e 73 7d 7d 0a 7d 0a 0a 69 66 63 61  olumns}}.}..ifca
2a20: 70 61 62 6c 65 20 63 6f 6d 70 6f 75 6e 64 20 7b  pable compound {
2a30: 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 31 32 2e 31  .do_test in-12.1
2a40: 30 20 7b 0a 20 20 63 61 74 63 68 73 71 6c 20 7b  0 {.  catchsql {
2a50: 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52  .    SELECT * FR
2a60: 4f 4d 20 74 32 20 57 48 45 52 45 20 61 20 49 4e  OM t2 WHERE a IN
2a70: 20 28 0a 20 20 20 20 20 20 53 45 4c 45 43 54 20   (.      SELECT 
2a80: 61 20 46 52 4f 4d 20 74 33 20 55 4e 49 4f 4e 20  a FROM t3 UNION 
2a90: 41 4c 4c 20 53 45 4c 45 43 54 20 61 2c 20 62 20  ALL SELECT a, b 
2aa0: 46 52 4f 4d 20 74 32 0a 20 20 20 20 29 3b 0a 20  FROM t2.    );. 
2ab0: 20 7d 0a 7d 20 7b 31 20 7b 53 45 4c 45 43 54 73   }.} {1 {SELECTs
2ac0: 20 74 6f 20 74 68 65 20 6c 65 66 74 20 61 6e 64   to the left and
2ad0: 20 72 69 67 68 74 20 6f 66 20 55 4e 49 4f 4e 20   right of UNION 
2ae0: 41 4c 4c 20 64 6f 20 6e 6f 74 20 68 61 76 65 20  ALL do not have 
2af0: 74 68 65 20 73 61 6d 65 20 6e 75 6d 62 65 72 20  the same number 
2b00: 6f 66 20 72 65 73 75 6c 74 20 63 6f 6c 75 6d 6e  of result column
2b10: 73 7d 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 31  s}}.do_test in-1
2b20: 32 2e 31 31 20 7b 0a 20 20 63 61 74 63 68 73 71  2.11 {.  catchsq
2b30: 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a  l {.    SELECT *
2b40: 20 46 52 4f 4d 20 74 32 20 57 48 45 52 45 20 61   FROM t2 WHERE a
2b50: 20 49 4e 20 28 0a 20 20 20 20 20 20 53 45 4c 45   IN (.      SELE
2b60: 43 54 20 61 20 46 52 4f 4d 20 74 33 20 55 4e 49  CT a FROM t3 UNI
2b70: 4f 4e 20 53 45 4c 45 43 54 20 61 2c 20 62 20 46  ON SELECT a, b F
2b80: 52 4f 4d 20 74 32 0a 20 20 20 20 29 3b 0a 20 20  ROM t2.    );.  
2b90: 7d 0a 7d 20 7b 31 20 7b 53 45 4c 45 43 54 73 20  }.} {1 {SELECTs 
2ba0: 74 6f 20 74 68 65 20 6c 65 66 74 20 61 6e 64 20  to the left and 
2bb0: 72 69 67 68 74 20 6f 66 20 55 4e 49 4f 4e 20 64  right of UNION d
2bc0: 6f 20 6e 6f 74 20 68 61 76 65 20 74 68 65 20 73  o not have the s
2bd0: 61 6d 65 20 6e 75 6d 62 65 72 20 6f 66 20 72 65  ame number of re
2be0: 73 75 6c 74 20 63 6f 6c 75 6d 6e 73 7d 7d 0a 64  sult columns}}.d
2bf0: 6f 5f 74 65 73 74 20 69 6e 2d 31 32 2e 31 32 20  o_test in-12.12 
2c00: 7b 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 0a 20  {.  catchsql {. 
2c10: 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d     SELECT * FROM
2c20: 20 74 32 20 57 48 45 52 45 20 61 20 49 4e 20 28   t2 WHERE a IN (
2c30: 0a 20 20 20 20 20 20 53 45 4c 45 43 54 20 61 20  .      SELECT a 
2c40: 46 52 4f 4d 20 74 33 20 45 58 43 45 50 54 20 53  FROM t3 EXCEPT S
2c50: 45 4c 45 43 54 20 61 2c 20 62 20 46 52 4f 4d 20  ELECT a, b FROM 
2c60: 74 32 0a 20 20 20 20 29 3b 0a 20 20 7d 0a 7d 20  t2.    );.  }.} 
2c70: 7b 31 20 7b 53 45 4c 45 43 54 73 20 74 6f 20 74  {1 {SELECTs to t
2c80: 68 65 20 6c 65 66 74 20 61 6e 64 20 72 69 67 68  he left and righ
2c90: 74 20 6f 66 20 45 58 43 45 50 54 20 64 6f 20 6e  t of EXCEPT do n
2ca0: 6f 74 20 68 61 76 65 20 74 68 65 20 73 61 6d 65  ot have the same
2cb0: 20 6e 75 6d 62 65 72 20 6f 66 20 72 65 73 75 6c   number of resul
2cc0: 74 20 63 6f 6c 75 6d 6e 73 7d 7d 0a 64 6f 5f 74  t columns}}.do_t
2cd0: 65 73 74 20 69 6e 2d 31 32 2e 31 33 20 7b 0a 20  est in-12.13 {. 
2ce0: 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20   catchsql {.    
2cf0: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 32  SELECT * FROM t2
2d00: 20 57 48 45 52 45 20 61 20 49 4e 20 28 0a 20 20   WHERE a IN (.  
2d10: 20 20 20 20 53 45 4c 45 43 54 20 61 20 46 52 4f      SELECT a FRO
2d20: 4d 20 74 33 20 49 4e 54 45 52 53 45 43 54 20 53  M t3 INTERSECT S
2d30: 45 4c 45 43 54 20 61 2c 20 62 20 46 52 4f 4d 20  ELECT a, b FROM 
2d40: 74 32 0a 20 20 20 20 29 3b 0a 20 20 7d 0a 7d 20  t2.    );.  }.} 
2d50: 7b 31 20 7b 53 45 4c 45 43 54 73 20 74 6f 20 74  {1 {SELECTs to t
2d60: 68 65 20 6c 65 66 74 20 61 6e 64 20 72 69 67 68  he left and righ
2d70: 74 20 6f 66 20 49 4e 54 45 52 53 45 43 54 20 64  t of INTERSECT d
2d80: 6f 20 6e 6f 74 20 68 61 76 65 20 74 68 65 20 73  o not have the s
2d90: 61 6d 65 20 6e 75 6d 62 65 72 20 6f 66 20 72 65  ame number of re
2da0: 73 75 6c 74 20 63 6f 6c 75 6d 6e 73 7d 7d 0a 64  sult columns}}.d
2db0: 6f 5f 74 65 73 74 20 69 6e 2d 31 32 2e 31 34 20  o_test in-12.14 
2dc0: 7b 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 0a 20  {.  catchsql {. 
2dd0: 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d     SELECT * FROM
2de0: 20 74 32 20 57 48 45 52 45 20 61 20 49 4e 20 28   t2 WHERE a IN (
2df0: 0a 20 20 20 20 20 20 53 45 4c 45 43 54 20 61 2c  .      SELECT a,
2e00: 20 62 20 46 52 4f 4d 20 74 33 20 55 4e 49 4f 4e   b FROM t3 UNION
2e10: 20 41 4c 4c 20 53 45 4c 45 43 54 20 61 2c 20 62   ALL SELECT a, b
2e20: 20 46 52 4f 4d 20 74 32 0a 20 20 20 20 29 3b 0a   FROM t2.    );.
2e30: 20 20 7d 0a 7d 20 7b 31 20 7b 73 75 62 2d 73 65    }.} {1 {sub-se
2e40: 6c 65 63 74 20 72 65 74 75 72 6e 73 20 32 20 63  lect returns 2 c
2e50: 6f 6c 75 6d 6e 73 20 2d 20 65 78 70 65 63 74 65  olumns - expecte
2e60: 64 20 31 7d 7d 0a 64 6f 5f 74 65 73 74 20 69 6e  d 1}}.do_test in
2e70: 2d 31 32 2e 31 35 20 7b 0a 20 20 63 61 74 63 68  -12.15 {.  catch
2e80: 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54  sql {.    SELECT
2e90: 20 2a 20 46 52 4f 4d 20 74 32 20 57 48 45 52 45   * FROM t2 WHERE
2ea0: 20 61 20 49 4e 20 28 0a 20 20 20 20 20 20 53 45   a IN (.      SE
2eb0: 4c 45 43 54 20 61 2c 20 62 20 46 52 4f 4d 20 74  LECT a, b FROM t
2ec0: 33 20 55 4e 49 4f 4e 20 41 4c 4c 20 53 45 4c 45  3 UNION ALL SELE
2ed0: 43 54 20 61 20 46 52 4f 4d 20 74 32 0a 20 20 20  CT a FROM t2.   
2ee0: 20 29 3b 0a 20 20 7d 0a 7d 20 7b 31 20 7b 53 45   );.  }.} {1 {SE
2ef0: 4c 45 43 54 73 20 74 6f 20 74 68 65 20 6c 65 66  LECTs to the lef
2f00: 74 20 61 6e 64 20 72 69 67 68 74 20 6f 66 20 55  t and right of U
2f10: 4e 49 4f 4e 20 41 4c 4c 20 64 6f 20 6e 6f 74 20  NION ALL do not 
2f20: 68 61 76 65 20 74 68 65 20 73 61 6d 65 20 6e 75  have the same nu
2f30: 6d 62 65 72 20 6f 66 20 72 65 73 75 6c 74 20 63  mber of result c
2f40: 6f 6c 75 6d 6e 73 7d 7d 0a 7d 3b 20 23 69 66 63  olumns}}.}; #ifc
2f50: 61 70 61 62 6c 65 20 63 6f 6d 70 6f 75 6e 64 0a  apable compound.
2f60: 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ..#-------------
2f70: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2f80: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2f90: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2fa0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 54 68  -----------.# Th
2fb0: 65 20 66 6f 6c 6c 6f 77 69 6e 67 20 74 65 73 74  e following test
2fc0: 73 20 63 68 65 63 6b 20 74 68 61 74 20 4e 55 4c  s check that NUL
2fd0: 4c 20 69 73 20 68 61 6e 64 6c 65 64 20 63 6f 72  L is handled cor
2fe0: 72 65 63 74 6c 79 20 77 68 65 6e 20 69 74 20 0a  rectly when it .
2ff0: 23 20 61 70 70 65 61 72 73 20 61 73 20 70 61 72  # appears as par
3000: 74 20 6f 66 20 61 20 73 65 74 20 6f 66 20 76 61  t of a set of va
3010: 6c 75 65 73 20 6f 6e 20 74 68 65 20 72 69 67 68  lues on the righ
3020: 74 2d 68 61 6e 64 20 73 69 64 65 20 6f 66 20 61  t-hand side of a
3030: 6e 0a 23 20 49 4e 20 6f 72 20 4e 4f 54 20 49 4e  n.# IN or NOT IN
3040: 20 6f 70 65 72 61 74 6f 72 2e 0a 23 0a 23 20 57   operator..#.# W
3050: 68 65 6e 20 69 74 20 61 70 70 65 61 72 73 20 69  hen it appears i
3060: 6e 20 73 75 63 68 20 61 20 73 65 74 2c 20 4e 55  n such a set, NU
3070: 4c 4c 20 69 73 20 68 61 6e 64 6c 65 64 20 61 73  LL is handled as
3080: 20 61 6e 20 22 75 6e 6b 6e 6f 77 6e 20 76 61 6c   an "unknown val
3090: 75 65 22 2e 0a 23 20 49 66 2c 20 62 65 63 61 75  ue"..# If, becau
30a0: 73 65 20 6f 66 20 74 68 65 20 75 6e 6b 6e 6f 77  se of the unknow
30b0: 6e 20 76 61 6c 75 65 20 69 6e 20 74 68 65 20 73  n value in the s
30c0: 65 74 2c 20 74 68 65 20 72 65 73 75 6c 74 20 6f  et, the result o
30d0: 66 20 74 68 65 20 65 78 70 72 65 73 73 69 6f 6e  f the expression
30e0: 20 0a 23 20 63 61 6e 6e 6f 74 20 62 65 20 64 65   .# cannot be de
30f0: 74 65 72 6d 69 6e 65 64 2c 20 74 68 65 6e 20 69  termined, then i
3100: 74 20 69 74 73 65 6c 66 20 65 76 61 6c 75 61 74  t itself evaluat
3110: 65 73 20 74 6f 20 4e 55 4c 4c 2e 0a 23 0a 0a 23  es to NULL..#..#
3120: 20 57 61 72 6d 20 62 6f 64 79 20 74 65 73 74 20   Warm body test 
3130: 74 6f 20 64 65 6d 6f 6e 73 74 72 61 74 65 20 74  to demonstrate t
3140: 68 65 20 70 72 69 6e 63 69 70 6c 65 73 20 62 65  he principles be
3150: 69 6e 67 20 74 65 73 74 65 64 3a 0a 23 0a 64 6f  ing tested:.#.do
3160: 5f 74 65 73 74 20 69 6e 2d 31 33 2e 31 20 7b 0a  _test in-13.1 {.
3170: 20 20 64 62 20 6e 75 6c 6c 76 61 6c 75 65 20 22    db nullvalue "
3180: 6e 75 6c 6c 22 0a 20 20 65 78 65 63 73 71 6c 20  null".  execsql 
3190: 7b 20 53 45 4c 45 43 54 20 0a 20 20 20 20 31 20  { SELECT .    1 
31a0: 49 4e 20 28 4e 55 4c 4c 2c 20 31 2c 20 32 29 2c  IN (NULL, 1, 2),
31b0: 20 20 20 20 20 2d 2d 20 54 68 65 20 76 61 6c 75       -- The valu
31c0: 65 20 31 20 69 73 20 61 20 6d 65 6d 62 65 72 20  e 1 is a member 
31d0: 6f 66 20 74 68 65 20 73 65 74 2c 20 72 65 74 75  of the set, retu
31e0: 72 6e 20 74 72 75 65 2e 0a 20 20 20 20 33 20 49  rn true..    3 I
31f0: 4e 20 28 4e 55 4c 4c 2c 20 31 2c 20 32 29 2c 20  N (NULL, 1, 2), 
3200: 20 20 20 20 2d 2d 20 41 6d 62 69 67 75 6f 75 73      -- Ambiguous
3210: 2c 20 72 65 74 75 72 6e 20 4e 55 4c 4c 2e 0a 20  , return NULL.. 
3220: 20 20 20 31 20 4e 4f 54 20 49 4e 20 28 4e 55 4c     1 NOT IN (NUL
3230: 4c 2c 20 31 2c 20 32 29 2c 20 2d 2d 20 54 68 65  L, 1, 2), -- The
3240: 20 76 61 6c 75 65 20 31 20 69 73 20 61 20 6d 65   value 1 is a me
3250: 6d 62 65 72 20 6f 66 20 74 68 65 20 73 65 74 2c  mber of the set,
3260: 20 72 65 74 75 72 6e 20 66 61 6c 73 65 2e 0a 20   return false.. 
3270: 20 20 20 33 20 4e 4f 54 20 49 4e 20 28 4e 55 4c     3 NOT IN (NUL
3280: 4c 2c 20 31 2c 20 32 29 20 20 2d 2d 20 41 6d 62  L, 1, 2)  -- Amb
3290: 69 67 75 6f 75 73 2c 20 72 65 74 75 72 6e 20 4e  iguous, return N
32a0: 55 4c 4c 2e 0a 20 20 7d 0a 7d 20 7b 31 20 6e 75  ULL..  }.} {1 nu
32b0: 6c 6c 20 30 20 6e 75 6c 6c 7d 0a 0a 64 6f 5f 74  ll 0 null}..do_t
32c0: 65 73 74 20 69 6e 2d 31 33 2e 32 20 7b 0a 20 20  est in-13.2 {.  
32d0: 65 78 65 63 73 71 6c 20 7b 20 0a 20 20 20 20 43  execsql { .    C
32e0: 52 45 41 54 45 20 54 41 42 4c 45 20 74 37 28 61  REATE TABLE t7(a
32f0: 2c 20 62 2c 20 63 20 4e 4f 54 20 4e 55 4c 4c 29  , b, c NOT NULL)
3300: 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  ;.    INSERT INT
3310: 4f 20 74 37 20 56 41 4c 55 45 53 28 31 2c 20 20  O t7 VALUES(1,  
3320: 20 20 31 2c 20 31 29 3b 0a 20 20 20 20 49 4e 53    1, 1);.    INS
3330: 45 52 54 20 49 4e 54 4f 20 74 37 20 56 41 4c 55  ERT INTO t7 VALU
3340: 45 53 28 32 2c 20 20 20 20 32 2c 20 32 29 3b 0a  ES(2,    2, 2);.
3350: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
3360: 74 37 20 56 41 4c 55 45 53 28 33 2c 20 20 20 20  t7 VALUES(3,    
3370: 33 2c 20 33 29 3b 0a 20 20 20 20 49 4e 53 45 52  3, 3);.    INSER
3380: 54 20 49 4e 54 4f 20 74 37 20 56 41 4c 55 45 53  T INTO t7 VALUES
3390: 28 4e 55 4c 4c 2c 20 34 2c 20 34 29 3b 0a 20 20  (NULL, 4, 4);.  
33a0: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 37    INSERT INTO t7
33b0: 20 56 41 4c 55 45 53 28 4e 55 4c 4c 2c 20 35 2c   VALUES(NULL, 5,
33c0: 20 35 29 3b 0a 20 20 7d 0a 7d 20 7b 7d 0a 0a 64   5);.  }.} {}..d
33d0: 6f 5f 74 65 73 74 20 69 6e 2d 31 33 2e 33 20 7b  o_test in-13.3 {
33e0: 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 53 45 4c  .  execsql { SEL
33f0: 45 43 54 20 32 20 49 4e 20 28 53 45 4c 45 43 54  ECT 2 IN (SELECT
3400: 20 61 20 46 52 4f 4d 20 74 37 29 20 7d 0a 7d 20   a FROM t7) }.} 
3410: 7b 31 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 31  {1}.do_test in-1
3420: 33 2e 34 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  3.4 {.  execsql 
3430: 7b 20 53 45 4c 45 43 54 20 36 20 49 4e 20 28 53  { SELECT 6 IN (S
3440: 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 37 29  ELECT a FROM t7)
3450: 20 7d 0a 7d 20 7b 6e 75 6c 6c 7d 0a 0a 64 6f 5f   }.} {null}..do_
3460: 74 65 73 74 20 69 6e 2d 31 33 2e 35 20 7b 0a 20  test in-13.5 {. 
3470: 20 65 78 65 63 73 71 6c 20 7b 20 53 45 4c 45 43   execsql { SELEC
3480: 54 20 32 20 49 4e 20 28 53 45 4c 45 43 54 20 62  T 2 IN (SELECT b
3490: 20 46 52 4f 4d 20 74 37 29 20 7d 0a 7d 20 7b 31   FROM t7) }.} {1
34a0: 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 31 33 2e  }.do_test in-13.
34b0: 36 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 20  6 {.  execsql { 
34c0: 53 45 4c 45 43 54 20 36 20 49 4e 20 28 53 45 4c  SELECT 6 IN (SEL
34d0: 45 43 54 20 62 20 46 52 4f 4d 20 74 37 29 20 7d  ECT b FROM t7) }
34e0: 0a 7d 20 7b 30 7d 0a 0a 64 6f 5f 74 65 73 74 20  .} {0}..do_test 
34f0: 69 6e 2d 31 33 2e 37 20 7b 0a 20 20 65 78 65 63  in-13.7 {.  exec
3500: 73 71 6c 20 7b 20 53 45 4c 45 43 54 20 32 20 49  sql { SELECT 2 I
3510: 4e 20 28 53 45 4c 45 43 54 20 63 20 46 52 4f 4d  N (SELECT c FROM
3520: 20 74 37 29 20 7d 0a 7d 20 7b 31 7d 0a 64 6f 5f   t7) }.} {1}.do_
3530: 74 65 73 74 20 69 6e 2d 31 33 2e 38 20 7b 0a 20  test in-13.8 {. 
3540: 20 65 78 65 63 73 71 6c 20 7b 20 53 45 4c 45 43   execsql { SELEC
3550: 54 20 36 20 49 4e 20 28 53 45 4c 45 43 54 20 63  T 6 IN (SELECT c
3560: 20 46 52 4f 4d 20 74 37 29 20 7d 0a 7d 20 7b 30   FROM t7) }.} {0
3570: 7d 0a 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 31 33  }..do_test in-13
3580: 2e 39 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b  .9 {.  execsql {
3590: 0a 20 20 20 20 53 45 4c 45 43 54 0a 20 20 20 20  .    SELECT.    
35a0: 20 20 32 20 4e 4f 54 20 49 4e 20 28 53 45 4c 45    2 NOT IN (SELE
35b0: 43 54 20 61 20 46 52 4f 4d 20 74 37 29 2c 0a 20  CT a FROM t7),. 
35c0: 20 20 20 20 20 36 20 4e 4f 54 20 49 4e 20 28 53       6 NOT IN (S
35d0: 45 4c 45 43 54 20 61 20 46 52 4f 4d 20 74 37 29  ELECT a FROM t7)
35e0: 2c 0a 20 20 20 20 20 20 32 20 4e 4f 54 20 49 4e  ,.      2 NOT IN
35f0: 20 28 53 45 4c 45 43 54 20 62 20 46 52 4f 4d 20   (SELECT b FROM 
3600: 74 37 29 2c 0a 20 20 20 20 20 20 36 20 4e 4f 54  t7),.      6 NOT
3610: 20 49 4e 20 28 53 45 4c 45 43 54 20 62 20 46 52   IN (SELECT b FR
3620: 4f 4d 20 74 37 29 2c 0a 20 20 20 20 20 20 32 20  OM t7),.      2 
3630: 4e 4f 54 20 49 4e 20 28 53 45 4c 45 43 54 20 63  NOT IN (SELECT c
3640: 20 46 52 4f 4d 20 74 37 29 2c 0a 20 20 20 20 20   FROM t7),.     
3650: 20 36 20 4e 4f 54 20 49 4e 20 28 53 45 4c 45 43   6 NOT IN (SELEC
3660: 54 20 63 20 46 52 4f 4d 20 74 37 29 0a 20 20 7d  T c FROM t7).  }
3670: 20 0a 7d 20 7b 30 20 6e 75 6c 6c 20 30 20 31 20   .} {0 null 0 1 
3680: 30 20 31 7d 0a 0a 64 6f 5f 74 65 73 74 20 69 6e  0 1}..do_test in
3690: 2d 31 33 2e 31 30 20 7b 0a 20 20 65 78 65 63 73  -13.10 {.  execs
36a0: 71 6c 20 7b 20 0a 20 20 20 20 53 45 4c 45 43 54  ql { .    SELECT
36b0: 20 62 20 49 4e 20 28 0a 20 20 20 20 20 20 53 45   b IN (.      SE
36c0: 4c 45 43 54 20 69 6e 73 69 64 65 2e 61 20 0a 20  LECT inside.a . 
36d0: 20 20 20 20 20 46 52 4f 4d 20 74 37 20 41 53 20       FROM t7 AS 
36e0: 69 6e 73 69 64 65 20 0a 20 20 20 20 20 20 57 48  inside .      WH
36f0: 45 52 45 20 69 6e 73 69 64 65 2e 62 20 42 45 54  ERE inside.b BET
3700: 57 45 45 4e 20 6f 75 74 73 69 64 65 2e 62 2b 31  WEEN outside.b+1
3710: 20 41 4e 44 20 6f 75 74 73 69 64 65 2e 62 2b 32   AND outside.b+2
3720: 0a 20 20 20 20 29 0a 20 20 20 20 46 52 4f 4d 20  .    ).    FROM 
3730: 74 37 20 41 53 20 6f 75 74 73 69 64 65 20 4f 52  t7 AS outside OR
3740: 44 45 52 20 42 59 20 62 3b 0a 20 20 7d 0a 7d 20  DER BY b;.  }.} 
3750: 7b 30 20 6e 75 6c 6c 20 6e 75 6c 6c 20 6e 75 6c  {0 null null nul
3760: 6c 20 30 7d 0a 0a 64 6f 5f 74 65 73 74 20 69 6e  l 0}..do_test in
3770: 2d 31 33 2e 31 31 20 7b 0a 20 20 65 78 65 63 73  -13.11 {.  execs
3780: 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20  ql {.    SELECT 
3790: 62 20 4e 4f 54 20 49 4e 20 28 0a 20 20 20 20 20  b NOT IN (.     
37a0: 20 53 45 4c 45 43 54 20 69 6e 73 69 64 65 2e 61   SELECT inside.a
37b0: 20 0a 20 20 20 20 20 20 46 52 4f 4d 20 74 37 20   .      FROM t7 
37c0: 41 53 20 69 6e 73 69 64 65 20 0a 20 20 20 20 20  AS inside .     
37d0: 20 57 48 45 52 45 20 69 6e 73 69 64 65 2e 62 20   WHERE inside.b 
37e0: 42 45 54 57 45 45 4e 20 6f 75 74 73 69 64 65 2e  BETWEEN outside.
37f0: 62 2b 31 20 41 4e 44 20 6f 75 74 73 69 64 65 2e  b+1 AND outside.
3800: 62 2b 32 0a 20 20 20 20 29 0a 20 20 20 20 46 52  b+2.    ).    FR
3810: 4f 4d 20 74 37 20 41 53 20 6f 75 74 73 69 64 65  OM t7 AS outside
3820: 20 4f 52 44 45 52 20 42 59 20 62 3b 0a 20 20 7d   ORDER BY b;.  }
3830: 0a 7d 20 7b 31 20 6e 75 6c 6c 20 6e 75 6c 6c 20  .} {1 null null 
3840: 6e 75 6c 6c 20 31 7d 0a 0a 64 6f 5f 74 65 73 74  null 1}..do_test
3850: 20 69 6e 2d 31 33 2e 31 32 20 7b 0a 20 20 65 78   in-13.12 {.  ex
3860: 65 63 73 71 6c 20 7b 0a 20 20 20 20 43 52 45 41  ecsql {.    CREA
3870: 54 45 20 49 4e 44 45 58 20 69 31 20 4f 4e 20 74  TE INDEX i1 ON t
3880: 37 28 61 29 3b 0a 20 20 20 20 43 52 45 41 54 45  7(a);.    CREATE
3890: 20 49 4e 44 45 58 20 69 32 20 4f 4e 20 74 37 28   INDEX i2 ON t7(
38a0: 62 29 3b 0a 20 20 20 20 43 52 45 41 54 45 20 49  b);.    CREATE I
38b0: 4e 44 45 58 20 69 33 20 4f 4e 20 74 37 28 63 29  NDEX i3 ON t7(c)
38c0: 3b 0a 20 20 7d 0a 20 20 65 78 65 63 73 71 6c 20  ;.  }.  execsql 
38d0: 7b 0a 20 20 20 20 53 45 4c 45 43 54 0a 20 20 20  {.    SELECT.   
38e0: 20 20 20 32 20 49 4e 20 28 53 45 4c 45 43 54 20     2 IN (SELECT 
38f0: 61 20 46 52 4f 4d 20 74 37 29 2c 0a 20 20 20 20  a FROM t7),.    
3900: 20 20 36 20 49 4e 20 28 53 45 4c 45 43 54 20 61    6 IN (SELECT a
3910: 20 46 52 4f 4d 20 74 37 29 2c 0a 20 20 20 20 20   FROM t7),.     
3920: 20 32 20 49 4e 20 28 53 45 4c 45 43 54 20 62 20   2 IN (SELECT b 
3930: 46 52 4f 4d 20 74 37 29 2c 0a 20 20 20 20 20 20  FROM t7),.      
3940: 36 20 49 4e 20 28 53 45 4c 45 43 54 20 62 20 46  6 IN (SELECT b F
3950: 52 4f 4d 20 74 37 29 2c 0a 20 20 20 20 20 20 32  ROM t7),.      2
3960: 20 49 4e 20 28 53 45 4c 45 43 54 20 63 20 46 52   IN (SELECT c FR
3970: 4f 4d 20 74 37 29 2c 0a 20 20 20 20 20 20 36 20  OM t7),.      6 
3980: 49 4e 20 28 53 45 4c 45 43 54 20 63 20 46 52 4f  IN (SELECT c FRO
3990: 4d 20 74 37 29 0a 20 20 7d 20 0a 7d 20 7b 31 20  M t7).  } .} {1 
39a0: 6e 75 6c 6c 20 31 20 30 20 31 20 30 7d 0a 0a 64  null 1 0 1 0}..d
39b0: 6f 5f 74 65 73 74 20 69 6e 2d 31 33 2e 31 33 20  o_test in-13.13 
39c0: 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20  {.  execsql {.  
39d0: 20 20 53 45 4c 45 43 54 0a 20 20 20 20 20 20 32    SELECT.      2
39e0: 20 4e 4f 54 20 49 4e 20 28 53 45 4c 45 43 54 20   NOT IN (SELECT 
39f0: 61 20 46 52 4f 4d 20 74 37 29 2c 0a 20 20 20 20  a FROM t7),.    
3a00: 20 20 36 20 4e 4f 54 20 49 4e 20 28 53 45 4c 45    6 NOT IN (SELE
3a10: 43 54 20 61 20 46 52 4f 4d 20 74 37 29 2c 0a 20  CT a FROM t7),. 
3a20: 20 20 20 20 20 32 20 4e 4f 54 20 49 4e 20 28 53       2 NOT IN (S
3a30: 45 4c 45 43 54 20 62 20 46 52 4f 4d 20 74 37 29  ELECT b FROM t7)
3a40: 2c 0a 20 20 20 20 20 20 36 20 4e 4f 54 20 49 4e  ,.      6 NOT IN
3a50: 20 28 53 45 4c 45 43 54 20 62 20 46 52 4f 4d 20   (SELECT b FROM 
3a60: 74 37 29 2c 0a 20 20 20 20 20 20 32 20 4e 4f 54  t7),.      2 NOT
3a70: 20 49 4e 20 28 53 45 4c 45 43 54 20 63 20 46 52   IN (SELECT c FR
3a80: 4f 4d 20 74 37 29 2c 0a 20 20 20 20 20 20 36 20  OM t7),.      6 
3a90: 4e 4f 54 20 49 4e 20 28 53 45 4c 45 43 54 20 63  NOT IN (SELECT c
3aa0: 20 46 52 4f 4d 20 74 37 29 0a 20 20 7d 20 0a 7d   FROM t7).  } .}
3ab0: 20 7b 30 20 6e 75 6c 6c 20 30 20 31 20 30 20 31   {0 null 0 1 0 1
3ac0: 7d 0a 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 31 33  }..do_test in-13
3ad0: 2e 31 34 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  .14 {.  execsql 
3ae0: 7b 0a 20 20 20 20 42 45 47 49 4e 20 54 52 41 4e  {.    BEGIN TRAN
3af0: 53 41 43 54 49 4f 4e 3b 0a 20 20 20 20 43 52 45  SACTION;.    CRE
3b00: 41 54 45 20 54 41 42 4c 45 20 61 28 69 64 20 49  ATE TABLE a(id I
3b10: 4e 54 45 47 45 52 29 3b 0a 20 20 20 20 49 4e 53  NTEGER);.    INS
3b20: 45 52 54 20 49 4e 54 4f 20 61 20 56 41 4c 55 45  ERT INTO a VALUE
3b30: 53 28 31 29 3b 0a 20 20 20 20 49 4e 53 45 52 54  S(1);.    INSERT
3b40: 20 49 4e 54 4f 20 61 20 56 41 4c 55 45 53 28 32   INTO a VALUES(2
3b50: 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e  );.    INSERT IN
3b60: 54 4f 20 61 20 56 41 4c 55 45 53 28 33 29 3b 0a  TO a VALUES(3);.
3b70: 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45      CREATE TABLE
3b80: 20 62 28 69 64 20 49 4e 54 45 47 45 52 29 3b 0a   b(id INTEGER);.
3b90: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
3ba0: 62 20 56 41 4c 55 45 53 28 4e 55 4c 4c 29 3b 0a  b VALUES(NULL);.
3bb0: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
3bc0: 62 20 56 41 4c 55 45 53 28 33 29 3b 0a 20 20 20  b VALUES(3);.   
3bd0: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 62 20 56   INSERT INTO b V
3be0: 41 4c 55 45 53 28 34 29 3b 0a 20 20 20 20 49 4e  ALUES(4);.    IN
3bf0: 53 45 52 54 20 49 4e 54 4f 20 62 20 56 41 4c 55  SERT INTO b VALU
3c00: 45 53 28 35 29 3b 0a 20 20 20 20 43 4f 4d 4d 49  ES(5);.    COMMI
3c10: 54 3b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20  T;.    SELECT * 
3c20: 46 52 4f 4d 20 61 20 57 48 45 52 45 20 69 64 20  FROM a WHERE id 
3c30: 4e 4f 54 20 49 4e 20 28 53 45 4c 45 43 54 20 69  NOT IN (SELECT i
3c40: 64 20 46 52 4f 4d 20 62 29 3b 0a 20 20 7d 0a 7d  d FROM b);.  }.}
3c50: 20 7b 7d 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 31   {}.do_test in-1
3c60: 33 2e 31 34 20 7b 0a 20 20 65 78 65 63 73 71 6c  3.14 {.  execsql
3c70: 20 7b 0a 20 20 20 20 43 52 45 41 54 45 20 49 4e   {.    CREATE IN
3c80: 44 45 58 20 69 35 20 4f 4e 20 62 28 69 64 29 3b  DEX i5 ON b(id);
3c90: 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52  .    SELECT * FR
3ca0: 4f 4d 20 61 20 57 48 45 52 45 20 69 64 20 4e 4f  OM a WHERE id NO
3cb0: 54 20 49 4e 20 28 53 45 4c 45 43 54 20 69 64 20  T IN (SELECT id 
3cc0: 46 52 4f 4d 20 62 29 3b 0a 20 20 7d 0a 7d 20 7b  FROM b);.  }.} {
3cd0: 7d 0a 0a 64 6f 5f 74 65 73 74 20 69 6e 2d 31 33  }..do_test in-13
3ce0: 2e 31 35 20 7b 0a 20 20 63 61 74 63 68 73 71 6c  .15 {.  catchsql
3cf0: 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 30 20   {.    SELECT 0 
3d00: 57 48 45 52 45 20 28 53 45 4c 45 43 54 20 30 2c  WHERE (SELECT 0,
3d10: 30 29 20 4f 52 20 28 30 20 49 4e 20 28 31 2c 32  0) OR (0 IN (1,2
3d20: 29 29 3b 0a 20 20 7d 0a 7d 20 7b 31 20 7b 73 75  ));.  }.} {1 {su
3d30: 62 2d 73 65 6c 65 63 74 20 72 65 74 75 72 6e 73  b-select returns
3d40: 20 32 20 63 6f 6c 75 6d 6e 73 20 2d 20 65 78 70   2 columns - exp
3d50: 65 63 74 65 64 20 31 7d 7d 0a 0a 0a 64 6f 5f 74  ected 1}}...do_t
3d60: 65 73 74 20 69 6e 2d 31 33 2e 58 20 7b 0a 20 20  est in-13.X {.  
3d70: 64 62 20 6e 75 6c 6c 76 61 6c 75 65 20 22 22 0a  db nullvalue "".
3d80: 7d 20 7b 7d 0a 0a 23 20 41 74 20 6f 6e 65 20 70  } {}..# At one p
3d90: 6f 69 6e 74 20 74 68 65 20 66 6f 6c 6c 6f 77 69  oint the followi
3da0: 6e 67 20 77 61 73 20 63 61 75 73 69 6e 67 20 76  ng was causing v
3db0: 61 6c 67 72 69 6e 64 20 74 6f 20 72 65 70 6f 72  algrind to repor
3dc0: 74 20 61 20 22 6a 75 6d 70 0a 23 20 64 65 70 65  t a "jump.# depe
3dd0: 6e 64 73 20 6f 6e 20 75 6e 69 74 69 61 6c 69 7a  nds on unitializ
3de0: 65 64 20 6c 6f 63 61 74 69 6f 6e 22 20 70 72 6f  ed location" pro
3df0: 62 6c 65 6d 2e 0a 23 0a 64 6f 5f 65 78 65 63 73  blem..#.do_execs
3e00: 71 6c 5f 74 65 73 74 20 69 6e 2d 31 34 2e 30 20  ql_test in-14.0 
3e10: 7b 0a 20 20 43 52 45 41 54 45 20 54 41 42 4c 45  {.  CREATE TABLE
3e20: 20 63 31 28 61 29 3b 0a 20 20 49 4e 53 45 52 54   c1(a);.  INSERT
3e30: 20 49 4e 54 4f 20 63 31 20 56 41 4c 55 45 53 28   INTO c1 VALUES(
3e40: 31 29 2c 20 28 32 29 2c 20 28 34 29 2c 20 28 33  1), (2), (4), (3
3e50: 29 3b 0a 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f  );.}.do_execsql_
3e60: 74 65 73 74 20 69 6e 2d 31 34 2e 31 20 7b 0a 20  test in-14.1 {. 
3e70: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 63   SELECT * FROM c
3e80: 31 20 57 48 45 52 45 20 61 20 49 4e 20 28 53 45  1 WHERE a IN (SE
3e90: 4c 45 43 54 20 61 20 46 52 4f 4d 20 63 31 29 20  LECT a FROM c1) 
3ea0: 4f 52 44 45 52 20 42 59 20 31 0a 7d 20 7b 31 20  ORDER BY 1.} {1 
3eb0: 32 20 33 20 34 7d 0a 0a 66 69 6e 69 73 68 5f 74  2 3 4}..finish_t
3ec0: 65 73 74 0a                                      est.