/ Hex Artifact Content
Login

Artifact a4603fa0d018bd4b9430dac840c9c522af421dd5:


0000: 23 20 32 30 30 36 20 4f 63 74 6f 62 65 72 20 32  # 2006 October 2
0010: 37 0a 23 0a 23 20 54 68 65 20 61 75 74 68 6f 72  7.#.# The author
0020: 20 64 69 73 63 6c 61 69 6d 73 20 63 6f 70 79 72   disclaims copyr
0030: 69 67 68 74 20 74 6f 20 74 68 69 73 20 73 6f 75  ight to this sou
0040: 72 63 65 20 63 6f 64 65 2e 20 20 49 6e 20 70 6c  rce code.  In pl
0050: 61 63 65 20 6f 66 0a 23 20 61 20 6c 65 67 61 6c  ace of.# a legal
0060: 20 6e 6f 74 69 63 65 2c 20 68 65 72 65 20 69 73   notice, here is
0070: 20 61 20 62 6c 65 73 73 69 6e 67 3a 0a 23 0a 23   a blessing:.#.#
0080: 20 20 20 20 4d 61 79 20 79 6f 75 20 64 6f 20 67      May you do g
0090: 6f 6f 64 20 61 6e 64 20 6e 6f 74 20 65 76 69 6c  ood and not evil
00a0: 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20 66  ..#    May you f
00b0: 69 6e 64 20 66 6f 72 67 69 76 65 6e 65 73 73 20  ind forgiveness 
00c0: 66 6f 72 20 79 6f 75 72 73 65 6c 66 20 61 6e 64  for yourself and
00d0: 20 66 6f 72 67 69 76 65 20 6f 74 68 65 72 73 2e   forgive others.
00e0: 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20 73 68  .#    May you sh
00f0: 61 72 65 20 66 72 65 65 6c 79 2c 20 6e 65 76 65  are freely, neve
0100: 72 20 74 61 6b 69 6e 67 20 6d 6f 72 65 20 74 68  r taking more th
0110: 61 6e 20 79 6f 75 20 67 69 76 65 2e 0a 23 0a 23  an you give..#.#
0120: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0130: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0140: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0150: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0160: 2a 2a 2a 2a 2a 2a 2a 0a 23 20 54 68 69 73 20 66  *******.# This f
0170: 69 6c 65 20 69 6d 70 6c 65 6d 65 6e 74 73 20 72  ile implements r
0180: 65 67 72 65 73 73 69 6f 6e 20 74 65 73 74 73 20  egression tests 
0190: 66 6f 72 20 53 51 4c 69 74 65 20 6c 69 62 72 61  for SQLite libra
01a0: 72 79 2e 20 20 54 68 65 0a 23 20 66 6f 63 75 73  ry.  The.# focus
01b0: 20 6f 66 20 74 68 69 73 20 66 69 6c 65 20 69 73   of this file is
01c0: 20 74 65 73 74 69 6e 67 20 74 68 65 20 75 73 65   testing the use
01d0: 20 6f 66 20 69 6e 64 69 63 65 73 20 69 6e 20 57   of indices in W
01e0: 48 45 52 45 20 63 6c 61 75 73 65 73 2e 0a 23 20  HERE clauses..# 
01f0: 54 68 69 73 20 66 69 6c 65 20 77 61 73 20 63 72  This file was cr
0200: 65 61 74 65 64 20 77 68 65 6e 20 73 75 70 70 6f  eated when suppo
0210: 72 74 20 66 6f 72 20 6f 70 74 69 6d 69 7a 69 6e  rt for optimizin
0220: 67 20 49 53 20 4e 55 4c 4c 20 70 68 72 61 73 65  g IS NULL phrase
0230: 73 0a 23 20 77 61 73 20 61 64 64 65 64 2e 20 20  s.# was added.  
0240: 41 6e 64 20 73 6f 20 74 68 65 20 70 72 69 6e 63  And so the princ
0250: 69 70 6c 65 20 70 75 72 70 6f 73 65 20 6f 66 20  iple purpose of 
0260: 74 68 69 73 20 66 69 6c 65 20 69 73 20 74 6f 20  this file is to 
0270: 74 65 73 74 0a 23 20 74 68 61 74 20 49 53 20 4e  test.# that IS N
0280: 55 4c 4c 20 70 68 72 61 73 65 73 20 61 72 65 20  ULL phrases are 
0290: 63 6f 72 72 65 63 74 6c 79 20 6f 70 74 69 6d 69  correctly optimi
02a0: 7a 65 64 2e 20 20 42 75 74 20 79 6f 75 20 63 61  zed.  But you ca
02b0: 6e 20 6e 65 76 65 72 0a 23 20 68 61 76 65 20 74  n never.# have t
02c0: 6f 6f 20 6d 61 6e 79 20 74 65 73 74 73 2c 20 73  oo many tests, s
02d0: 6f 20 73 6f 6d 65 20 6f 74 68 65 72 20 74 65 73  o some other tes
02e0: 74 73 20 61 72 65 20 74 68 72 6f 77 6e 20 69 6e  ts are thrown in
02f0: 20 61 73 20 77 65 6c 6c 2e 0a 23 0a 23 20 24 49   as well..#.# $I
0300: 64 3a 20 77 68 65 72 65 34 2e 74 65 73 74 2c 76  d: where4.test,v
0310: 20 31 2e 36 20 32 30 30 37 2f 31 32 2f 31 30 20   1.6 2007/12/10 
0320: 30 35 3a 30 33 3a 34 38 20 64 61 6e 69 65 6c 6b  05:03:48 danielk
0330: 31 39 37 37 20 45 78 70 20 24 0a 0a 73 65 74 20  1977 Exp $..set 
0340: 74 65 73 74 64 69 72 20 5b 66 69 6c 65 20 64 69  testdir [file di
0350: 72 6e 61 6d 65 20 24 61 72 67 76 30 5d 0a 73 6f  rname $argv0].so
0360: 75 72 63 65 20 24 74 65 73 74 64 69 72 2f 74 65  urce $testdir/te
0370: 73 74 65 72 2e 74 63 6c 0a 0a 69 66 63 61 70 61  ster.tcl..ifcapa
0380: 62 6c 65 20 21 74 63 6c 76 61 72 7c 7c 21 62 6c  ble !tclvar||!bl
0390: 6f 62 6c 69 74 20 7b 0a 20 20 66 69 6e 69 73 68  oblit {.  finish
03a0: 5f 74 65 73 74 0a 20 20 72 65 74 75 72 6e 0a 7d  _test.  return.}
03b0: 0a 0a 23 20 42 75 69 6c 64 20 73 6f 6d 65 20 74  ..# Build some t
03c0: 65 73 74 20 64 61 74 61 0a 23 0a 64 6f 5f 74 65  est data.#.do_te
03d0: 73 74 20 77 68 65 72 65 34 2d 31 2e 30 20 7b 0a  st where4-1.0 {.
03e0: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
03f0: 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 31 28  CREATE TABLE t1(
0400: 77 2c 20 78 2c 20 79 29 3b 0a 20 20 20 20 43 52  w, x, y);.    CR
0410: 45 41 54 45 20 49 4e 44 45 58 20 69 31 77 78 79  EATE INDEX i1wxy
0420: 20 4f 4e 20 74 31 28 77 2c 78 2c 79 29 3b 0a 20   ON t1(w,x,y);. 
0430: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
0440: 31 20 56 41 4c 55 45 53 28 31 2c 32 2c 33 29 3b  1 VALUES(1,2,3);
0450: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
0460: 20 74 31 20 56 41 4c 55 45 53 28 31 2c 4e 55 4c   t1 VALUES(1,NUL
0470: 4c 2c 33 29 3b 0a 20 20 20 20 49 4e 53 45 52 54  L,3);.    INSERT
0480: 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28   INTO t1 VALUES(
0490: 27 61 27 2c 27 62 27 2c 27 63 27 29 3b 0a 20 20  'a','b','c');.  
04a0: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31    INSERT INTO t1
04b0: 20 56 41 4c 55 45 53 28 27 61 27 2c 4e 55 4c 4c   VALUES('a',NULL
04c0: 2c 27 63 27 29 3b 0a 20 20 20 20 49 4e 53 45 52  ,'c');.    INSER
04d0: 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53  T INTO t1 VALUES
04e0: 28 58 27 37 38 27 2c 78 27 37 39 27 2c 78 27 37  (X'78',x'79',x'7
04f0: 61 27 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20  a');.    INSERT 
0500: 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 58  INTO t1 VALUES(X
0510: 27 37 38 27 2c 4e 55 4c 4c 2c 58 27 37 41 27 29  '78',NULL,X'7A')
0520: 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  ;.    INSERT INT
0530: 4f 20 74 31 20 56 41 4c 55 45 53 28 4e 55 4c 4c  O t1 VALUES(NULL
0540: 2c 4e 55 4c 4c 2c 4e 55 4c 4c 29 3b 0a 20 20 20  ,NULL,NULL);.   
0550: 20 53 45 4c 45 43 54 20 63 6f 75 6e 74 28 2a 29   SELECT count(*)
0560: 20 46 52 4f 4d 20 74 31 3b 0a 20 20 7d 0a 7d 20   FROM t1;.  }.} 
0570: 7b 37 7d 0a 0a 23 20 44 6f 20 61 6e 20 53 51 4c  {7}..# Do an SQL
0580: 20 73 74 61 74 65 6d 65 6e 74 2e 20 20 41 70 70   statement.  App
0590: 65 6e 64 20 74 68 65 20 73 65 61 72 63 68 20 63  end the search c
05a0: 6f 75 6e 74 20 74 6f 20 74 68 65 20 65 6e 64 20  ount to the end 
05b0: 6f 66 20 74 68 65 20 72 65 73 75 6c 74 2e 0a 23  of the result..#
05c0: 0a 70 72 6f 63 20 63 6f 75 6e 74 20 73 71 6c 20  .proc count sql 
05d0: 7b 0a 20 20 73 65 74 20 3a 3a 73 71 6c 69 74 65  {.  set ::sqlite
05e0: 5f 73 65 61 72 63 68 5f 63 6f 75 6e 74 20 30 0a  _search_count 0.
05f0: 20 20 72 65 74 75 72 6e 20 5b 63 6f 6e 63 61 74    return [concat
0600: 20 5b 65 78 65 63 73 71 6c 20 24 73 71 6c 5d 20   [execsql $sql] 
0610: 24 3a 3a 73 71 6c 69 74 65 5f 73 65 61 72 63 68  $::sqlite_search
0620: 5f 63 6f 75 6e 74 5d 0a 7d 0a 0a 23 20 56 65 72  _count].}..# Ver
0630: 69 66 79 20 74 68 61 74 20 71 75 65 72 69 65 73  ify that queries
0640: 20 75 73 65 20 61 6e 20 69 6e 64 65 78 2e 20 20   use an index.  
0650: 57 65 20 61 72 65 20 75 73 69 6e 67 20 74 68 65  We are using the
0660: 20 73 70 65 63 69 61 6c 20 76 61 72 69 61 62 6c   special variabl
0670: 65 0a 23 20 22 73 71 6c 69 74 65 5f 73 65 61 72  e.# "sqlite_sear
0680: 63 68 5f 63 6f 75 6e 74 22 20 77 68 69 63 68 20  ch_count" which 
0690: 74 61 6c 6c 79 73 20 74 68 65 20 6e 75 6d 62 65  tallys the numbe
06a0: 72 20 6f 66 20 65 78 65 63 75 74 69 6f 6e 73 20  r of executions 
06b0: 6f 66 20 4d 6f 76 65 54 6f 0a 23 20 61 6e 64 20  of MoveTo.# and 
06c0: 4e 65 78 74 20 6f 70 65 72 61 74 6f 72 73 20 69  Next operators i
06d0: 6e 20 74 68 65 20 56 44 42 45 2e 20 20 42 79 20  n the VDBE.  By 
06e0: 76 65 72 69 66 69 6e 67 20 74 68 61 74 20 74 68  verifing that th
06f0: 65 20 73 65 61 72 63 68 20 63 6f 75 6e 74 20 69  e search count i
0700: 73 0a 23 20 73 6d 61 6c 6c 20 77 65 20 63 61 6e  s.# small we can
0710: 20 62 65 20 61 73 73 75 72 65 64 20 74 68 61 74   be assured that
0720: 20 69 6e 64 69 63 65 73 20 61 72 65 20 62 65 69   indices are bei
0730: 6e 67 20 75 73 65 64 20 70 72 6f 70 65 72 6c 79  ng used properly
0740: 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 77 68 65 72  ..#.do_test wher
0750: 65 34 2d 31 2e 31 20 7b 0a 20 20 63 6f 75 6e 74  e4-1.1 {.  count
0760: 20 7b 53 45 4c 45 43 54 20 72 6f 77 69 64 20 46   {SELECT rowid F
0770: 52 4f 4d 20 74 31 20 57 48 45 52 45 20 77 20 49  ROM t1 WHERE w I
0780: 53 20 4e 55 4c 4c 7d 0a 7d 20 7b 37 20 32 7d 0a  S NULL}.} {7 2}.
0790: 64 6f 5f 74 65 73 74 20 77 68 65 72 65 34 2d 31  do_test where4-1
07a0: 2e 31 62 20 7b 0a 20 20 75 6e 73 65 74 20 2d 6e  .1b {.  unset -n
07b0: 6f 63 6f 6d 70 6c 61 69 6e 20 6e 75 6c 6c 0a 20  ocomplain null. 
07c0: 20 63 6f 75 6e 74 20 7b 53 45 4c 45 43 54 20 72   count {SELECT r
07d0: 6f 77 69 64 20 46 52 4f 4d 20 74 31 20 57 48 45  owid FROM t1 WHE
07e0: 52 45 20 77 20 49 53 20 24 6e 75 6c 6c 7d 0a 7d  RE w IS $null}.}
07f0: 20 7b 37 20 32 7d 0a 64 6f 5f 74 65 73 74 20 77   {7 2}.do_test w
0800: 68 65 72 65 34 2d 31 2e 32 20 7b 0a 20 20 63 6f  here4-1.2 {.  co
0810: 75 6e 74 20 7b 53 45 4c 45 43 54 20 72 6f 77 69  unt {SELECT rowi
0820: 64 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20  d FROM t1 WHERE 
0830: 2b 77 20 49 53 20 4e 55 4c 4c 7d 0a 7d 20 7b 37  +w IS NULL}.} {7
0840: 20 36 7d 0a 64 6f 5f 74 65 73 74 20 77 68 65 72   6}.do_test wher
0850: 65 34 2d 31 2e 33 20 7b 0a 20 20 63 6f 75 6e 74  e4-1.3 {.  count
0860: 20 7b 53 45 4c 45 43 54 20 72 6f 77 69 64 20 46   {SELECT rowid F
0870: 52 4f 4d 20 74 31 20 57 48 45 52 45 20 77 3d 31  ROM t1 WHERE w=1
0880: 20 41 4e 44 20 78 20 49 53 20 4e 55 4c 4c 7d 0a   AND x IS NULL}.
0890: 7d 20 7b 32 20 32 7d 0a 64 6f 5f 74 65 73 74 20  } {2 2}.do_test 
08a0: 77 68 65 72 65 34 2d 31 2e 34 20 7b 0a 20 20 63  where4-1.4 {.  c
08b0: 6f 75 6e 74 20 7b 53 45 4c 45 43 54 20 72 6f 77  ount {SELECT row
08c0: 69 64 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45  id FROM t1 WHERE
08d0: 20 77 3d 31 20 41 4e 44 20 2b 78 20 49 53 20 4e   w=1 AND +x IS N
08e0: 55 4c 4c 7d 0a 7d 20 7b 32 20 33 7d 0a 64 6f 5f  ULL}.} {2 3}.do_
08f0: 74 65 73 74 20 77 68 65 72 65 34 2d 31 2e 35 20  test where4-1.5 
0900: 7b 0a 20 20 63 6f 75 6e 74 20 7b 53 45 4c 45 43  {.  count {SELEC
0910: 54 20 72 6f 77 69 64 20 46 52 4f 4d 20 74 31 20  T rowid FROM t1 
0920: 57 48 45 52 45 20 77 3d 31 20 41 4e 44 20 78 3e  WHERE w=1 AND x>
0930: 30 7d 0a 7d 20 7b 31 20 32 7d 0a 64 6f 5f 74 65  0}.} {1 2}.do_te
0940: 73 74 20 77 68 65 72 65 34 2d 31 2e 36 20 7b 0a  st where4-1.6 {.
0950: 20 20 63 6f 75 6e 74 20 7b 53 45 4c 45 43 54 20    count {SELECT 
0960: 72 6f 77 69 64 20 46 52 4f 4d 20 74 31 20 57 48  rowid FROM t1 WH
0970: 45 52 45 20 77 3d 31 20 41 4e 44 20 78 3c 39 7d  ERE w=1 AND x<9}
0980: 0a 7d 20 7b 31 20 32 7d 0a 64 6f 5f 74 65 73 74  .} {1 2}.do_test
0990: 20 77 68 65 72 65 34 2d 31 2e 37 20 7b 0a 20 20   where4-1.7 {.  
09a0: 63 6f 75 6e 74 20 7b 53 45 4c 45 43 54 20 72 6f  count {SELECT ro
09b0: 77 69 64 20 46 52 4f 4d 20 74 31 20 57 48 45 52  wid FROM t1 WHER
09c0: 45 20 77 3d 31 20 41 4e 44 20 78 20 49 53 20 4e  E w=1 AND x IS N
09d0: 55 4c 4c 20 41 4e 44 20 79 3d 33 7d 0a 7d 20 7b  ULL AND y=3}.} {
09e0: 32 20 32 7d 0a 64 6f 5f 74 65 73 74 20 77 68 65  2 2}.do_test whe
09f0: 72 65 34 2d 31 2e 38 20 7b 0a 20 20 63 6f 75 6e  re4-1.8 {.  coun
0a00: 74 20 7b 53 45 4c 45 43 54 20 72 6f 77 69 64 20  t {SELECT rowid 
0a10: 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 77 3d  FROM t1 WHERE w=
0a20: 31 20 41 4e 44 20 78 20 49 53 20 4e 55 4c 4c 20  1 AND x IS NULL 
0a30: 41 4e 44 20 79 3e 32 7d 0a 7d 20 7b 32 20 32 7d  AND y>2}.} {2 2}
0a40: 0a 64 6f 5f 74 65 73 74 20 77 68 65 72 65 34 2d  .do_test where4-
0a50: 31 2e 39 20 7b 0a 20 20 63 6f 75 6e 74 20 7b 53  1.9 {.  count {S
0a60: 45 4c 45 43 54 20 72 6f 77 69 64 20 46 52 4f 4d  ELECT rowid FROM
0a70: 20 74 31 20 57 48 45 52 45 20 77 3d 27 61 27 20   t1 WHERE w='a' 
0a80: 41 4e 44 20 78 20 49 53 20 4e 55 4c 4c 20 41 4e  AND x IS NULL AN
0a90: 44 20 79 3d 27 63 27 7d 0a 7d 20 7b 34 20 32 7d  D y='c'}.} {4 2}
0aa0: 0a 64 6f 5f 74 65 73 74 20 77 68 65 72 65 34 2d  .do_test where4-
0ab0: 31 2e 31 30 20 7b 0a 20 20 63 6f 75 6e 74 20 7b  1.10 {.  count {
0ac0: 53 45 4c 45 43 54 20 72 6f 77 69 64 20 46 52 4f  SELECT rowid FRO
0ad0: 4d 20 74 31 20 57 48 45 52 45 20 77 3d 78 27 37  M t1 WHERE w=x'7
0ae0: 38 27 20 41 4e 44 20 78 20 49 53 20 4e 55 4c 4c  8' AND x IS NULL
0af0: 7d 0a 7d 20 7b 36 20 32 7d 0a 64 6f 5f 74 65 73  }.} {6 2}.do_tes
0b00: 74 20 77 68 65 72 65 34 2d 31 2e 31 31 20 7b 0a  t where4-1.11 {.
0b10: 20 20 63 6f 75 6e 74 20 7b 53 45 4c 45 43 54 20    count {SELECT 
0b20: 72 6f 77 69 64 20 46 52 4f 4d 20 74 31 20 57 48  rowid FROM t1 WH
0b30: 45 52 45 20 77 3d 78 27 37 38 27 20 41 4e 44 20  ERE w=x'78' AND 
0b40: 78 20 49 53 20 4e 55 4c 4c 20 41 4e 44 20 79 3d  x IS NULL AND y=
0b50: 31 32 33 7d 0a 7d 20 7b 31 7d 0a 64 6f 5f 74 65  123}.} {1}.do_te
0b60: 73 74 20 77 68 65 72 65 34 2d 31 2e 31 32 20 7b  st where4-1.12 {
0b70: 0a 20 20 63 6f 75 6e 74 20 7b 53 45 4c 45 43 54  .  count {SELECT
0b80: 20 72 6f 77 69 64 20 46 52 4f 4d 20 74 31 20 57   rowid FROM t1 W
0b90: 48 45 52 45 20 77 3d 78 27 37 38 27 20 41 4e 44  HERE w=x'78' AND
0ba0: 20 78 20 49 53 20 4e 55 4c 4c 20 41 4e 44 20 79   x IS NULL AND y
0bb0: 3d 78 27 37 41 27 7d 0a 7d 20 7b 36 20 32 7d 0a  =x'7A'}.} {6 2}.
0bc0: 64 6f 5f 74 65 73 74 20 77 68 65 72 65 34 2d 31  do_test where4-1
0bd0: 2e 31 33 20 7b 0a 20 20 63 6f 75 6e 74 20 7b 53  .13 {.  count {S
0be0: 45 4c 45 43 54 20 72 6f 77 69 64 20 46 52 4f 4d  ELECT rowid FROM
0bf0: 20 74 31 20 57 48 45 52 45 20 77 20 49 53 20 4e   t1 WHERE w IS N
0c00: 55 4c 4c 20 41 4e 44 20 78 20 49 53 20 4e 55 4c  ULL AND x IS NUL
0c10: 4c 7d 0a 7d 20 7b 37 20 32 7d 0a 64 6f 5f 74 65  L}.} {7 2}.do_te
0c20: 73 74 20 77 68 65 72 65 34 2d 31 2e 31 34 20 7b  st where4-1.14 {
0c30: 0a 20 20 63 6f 75 6e 74 20 7b 53 45 4c 45 43 54  .  count {SELECT
0c40: 20 72 6f 77 69 64 20 46 52 4f 4d 20 74 31 20 57   rowid FROM t1 W
0c50: 48 45 52 45 20 77 20 49 53 20 4e 55 4c 4c 20 41  HERE w IS NULL A
0c60: 4e 44 20 78 20 49 53 20 4e 55 4c 4c 20 41 4e 44  ND x IS NULL AND
0c70: 20 79 20 49 53 20 4e 55 4c 4c 7d 0a 7d 20 7b 37   y IS NULL}.} {7
0c80: 20 32 7d 0a 64 6f 5f 74 65 73 74 20 77 68 65 72   2}.do_test wher
0c90: 65 34 2d 31 2e 31 35 20 7b 0a 20 20 63 6f 75 6e  e4-1.15 {.  coun
0ca0: 74 20 7b 53 45 4c 45 43 54 20 72 6f 77 69 64 20  t {SELECT rowid 
0cb0: 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 77 20  FROM t1 WHERE w 
0cc0: 49 53 20 4e 55 4c 4c 20 41 4e 44 20 78 20 49 53  IS NULL AND x IS
0cd0: 20 4e 55 4c 4c 20 41 4e 44 20 79 3c 30 7d 0a 7d   NULL AND y<0}.}
0ce0: 20 7b 31 7d 0a 64 6f 5f 74 65 73 74 20 77 68 65   {1}.do_test whe
0cf0: 72 65 34 2d 31 2e 31 36 20 7b 0a 20 20 63 6f 75  re4-1.16 {.  cou
0d00: 6e 74 20 7b 53 45 4c 45 43 54 20 72 6f 77 69 64  nt {SELECT rowid
0d10: 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 77   FROM t1 WHERE w
0d20: 20 49 53 20 4e 55 4c 4c 20 41 4e 44 20 78 20 49   IS NULL AND x I
0d30: 53 20 4e 55 4c 4c 20 41 4e 44 20 79 3e 3d 30 7d  S NULL AND y>=0}
0d40: 0a 7d 20 7b 31 7d 0a 0a 64 6f 5f 74 65 73 74 20  .} {1}..do_test 
0d50: 77 68 65 72 65 34 2d 32 2e 31 20 7b 0a 20 20 65  where4-2.1 {.  e
0d60: 78 65 63 73 71 6c 20 7b 53 45 4c 45 43 54 20 72  xecsql {SELECT r
0d70: 6f 77 69 64 20 46 52 4f 4d 20 74 31 20 4f 52 44  owid FROM t1 ORD
0d80: 45 52 20 42 59 20 77 2c 20 78 2c 20 79 7d 0a 7d  ER BY w, x, y}.}
0d90: 20 7b 37 20 32 20 31 20 34 20 33 20 36 20 35 7d   {7 2 1 4 3 6 5}
0da0: 0a 64 6f 5f 74 65 73 74 20 77 68 65 72 65 34 2d  .do_test where4-
0db0: 32 2e 32 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  2.2 {.  execsql 
0dc0: 7b 53 45 4c 45 43 54 20 72 6f 77 69 64 20 46 52  {SELECT rowid FR
0dd0: 4f 4d 20 74 31 20 4f 52 44 45 52 20 42 59 20 77  OM t1 ORDER BY w
0de0: 20 44 45 53 43 2c 20 78 2c 20 79 7d 0a 7d 20 7b   DESC, x, y}.} {
0df0: 36 20 35 20 34 20 33 20 32 20 31 20 37 7d 0a 64  6 5 4 3 2 1 7}.d
0e00: 6f 5f 74 65 73 74 20 77 68 65 72 65 34 2d 32 2e  o_test where4-2.
0e10: 33 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 53  3 {.  execsql {S
0e20: 45 4c 45 43 54 20 72 6f 77 69 64 20 46 52 4f 4d  ELECT rowid FROM
0e30: 20 74 31 20 4f 52 44 45 52 20 42 59 20 77 2c 20   t1 ORDER BY w, 
0e40: 78 20 44 45 53 43 2c 20 79 7d 0a 7d 20 7b 37 20  x DESC, y}.} {7 
0e50: 31 20 32 20 33 20 34 20 35 20 36 7d 0a 0a 0a 23  1 2 3 4 5 6}...#
0e60: 20 54 69 63 6b 65 74 20 23 32 31 37 37 0a 23 0a   Ticket #2177.#.
0e70: 23 20 53 75 70 70 6f 73 65 20 79 6f 75 20 68 61  # Suppose you ha
0e80: 76 65 20 61 20 6c 65 66 74 20 6a 6f 69 6e 20 77  ve a left join w
0e90: 68 65 72 65 20 74 68 65 20 72 69 67 68 74 20 74  here the right t
0ea0: 61 62 6c 65 20 6f 66 20 74 68 65 20 6c 65 66 74  able of the left
0eb0: 0a 23 20 6a 6f 69 6e 20 28 74 68 65 20 6f 6e 65  .# join (the one
0ec0: 20 74 68 61 74 20 63 61 6e 20 62 65 20 4e 55 4c   that can be NUL
0ed0: 4c 29 20 68 61 73 20 61 6e 20 69 6e 64 65 78 20  L) has an index 
0ee0: 6f 6e 20 74 77 6f 20 63 6f 6c 75 6d 6e 73 2e 0a  on two columns..
0ef0: 23 20 54 68 65 20 66 69 72 73 74 20 69 6e 64 65  # The first inde
0f00: 78 65 64 20 63 6f 6c 75 6d 6e 20 69 73 20 75 73  xed column is us
0f10: 65 64 20 69 6e 20 74 68 65 20 4f 4e 20 63 6c 61  ed in the ON cla
0f20: 75 73 65 20 6f 66 20 74 68 65 20 6a 6f 69 6e 2e  use of the join.
0f30: 0a 23 20 54 68 65 20 73 65 63 6f 6e 64 20 69 6e  .# The second in
0f40: 64 65 78 65 64 20 63 6f 6c 75 6d 6e 20 69 73 20  dexed column is 
0f50: 75 73 65 64 20 69 6e 20 74 68 65 20 57 48 45 52  used in the WHER
0f60: 45 20 63 6c 61 75 73 65 20 77 69 74 68 20 61 6e  E clause with an
0f70: 20 49 53 20 4e 55 4c 4c 0a 23 20 63 6f 6e 73 74   IS NULL.# const
0f80: 72 61 69 6e 74 2e 20 20 49 74 20 69 73 20 6e 6f  raint.  It is no
0f90: 74 20 61 6c 6c 6f 77 65 64 20 74 6f 20 75 73 65  t allowed to use
0fa0: 20 74 68 65 20 49 53 20 4e 55 4c 4c 20 6f 70 74   the IS NULL opt
0fb0: 69 6d 69 7a 61 74 69 6f 6e 20 74 6f 0a 23 20 6f  imization to.# o
0fc0: 70 74 69 6d 69 7a 65 20 74 68 65 20 71 75 65 72  ptimize the quer
0fd0: 79 20 62 65 63 61 75 73 65 20 74 68 65 20 73 65  y because the se
0fe0: 63 6f 6e 64 20 63 6f 6c 75 6d 6e 20 6d 69 67 68  cond column migh
0ff0: 74 20 62 65 20 4e 55 4c 4c 20 62 65 63 61 75 73  t be NULL becaus
1000: 65 0a 23 20 74 68 65 20 72 69 67 68 74 20 74 61  e.# the right ta
1010: 62 6c 65 20 64 69 64 20 6e 6f 74 20 6d 61 74 63  ble did not matc
1020: 68 20 2d 20 73 6f 6d 65 74 68 69 6e 67 20 74 68  h - something th
1030: 65 20 69 6e 64 65 78 20 64 6f 65 73 20 6e 6f 74  e index does not
1040: 20 6b 6e 6f 77 0a 23 20 61 62 6f 75 74 2e 0a 23   know.# about..#
1050: 0a 64 6f 5f 74 65 73 74 20 77 68 65 72 65 34 2d  .do_test where4-
1060: 33 2e 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  3.1 {.  execsql 
1070: 7b 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 42  {.    CREATE TAB
1080: 4c 45 20 74 32 28 61 29 3b 0a 20 20 20 20 49 4e  LE t2(a);.    IN
1090: 53 45 52 54 20 49 4e 54 4f 20 74 32 20 56 41 4c  SERT INTO t2 VAL
10a0: 55 45 53 28 31 29 3b 0a 20 20 20 20 49 4e 53 45  UES(1);.    INSE
10b0: 52 54 20 49 4e 54 4f 20 74 32 20 56 41 4c 55 45  RT INTO t2 VALUE
10c0: 53 28 32 29 3b 0a 20 20 20 20 49 4e 53 45 52 54  S(2);.    INSERT
10d0: 20 49 4e 54 4f 20 74 32 20 56 41 4c 55 45 53 28   INTO t2 VALUES(
10e0: 33 29 3b 0a 20 20 20 20 43 52 45 41 54 45 20 54  3);.    CREATE T
10f0: 41 42 4c 45 20 74 33 28 78 2c 79 2c 55 4e 49 51  ABLE t3(x,y,UNIQ
1100: 55 45 28 78 2c 79 29 29 3b 0a 20 20 20 20 49 4e  UE(x,y));.    IN
1110: 53 45 52 54 20 49 4e 54 4f 20 74 33 20 56 41 4c  SERT INTO t3 VAL
1120: 55 45 53 28 31 2c 31 31 29 3b 0a 20 20 20 20 49  UES(1,11);.    I
1130: 4e 53 45 52 54 20 49 4e 54 4f 20 74 33 20 56 41  NSERT INTO t3 VA
1140: 4c 55 45 53 28 32 2c 4e 55 4c 4c 29 3b 0a 20 0a  LUES(2,NULL);. .
1150: 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f      SELECT * FRO
1160: 4d 20 74 32 20 4c 45 46 54 20 4a 4f 49 4e 20 74  M t2 LEFT JOIN t
1170: 33 20 4f 4e 20 61 3d 78 20 57 48 45 52 45 20 2b  3 ON a=x WHERE +
1180: 79 20 49 53 20 4e 55 4c 4c 3b 0a 20 20 7d 0a 7d  y IS NULL;.  }.}
1190: 20 7b 32 20 32 20 7b 7d 20 33 20 7b 7d 20 7b 7d   {2 2 {} 3 {} {}
11a0: 7d 0a 64 6f 5f 74 65 73 74 20 77 68 65 72 65 34  }.do_test where4
11b0: 2d 33 2e 32 20 7b 0a 20 20 65 78 65 63 73 71 6c  -3.2 {.  execsql
11c0: 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20   {.    SELECT * 
11d0: 46 52 4f 4d 20 74 32 20 4c 45 46 54 20 4a 4f 49  FROM t2 LEFT JOI
11e0: 4e 20 74 33 20 4f 4e 20 61 3d 78 20 57 48 45 52  N t3 ON a=x WHER
11f0: 45 20 79 20 49 53 20 4e 55 4c 4c 3b 0a 20 20 7d  E y IS NULL;.  }
1200: 0a 7d 20 7b 32 20 32 20 7b 7d 20 33 20 7b 7d 20  .} {2 2 {} 3 {} 
1210: 7b 7d 7d 0a 64 6f 5f 74 65 73 74 20 77 68 65 72  {}}.do_test wher
1220: 65 34 2d 33 2e 33 20 7b 0a 20 20 65 78 65 63 73  e4-3.3 {.  execs
1230: 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20  ql {.    SELECT 
1240: 2a 20 46 52 4f 4d 20 74 32 20 4c 45 46 54 20 4a  * FROM t2 LEFT J
1250: 4f 49 4e 20 74 33 20 4f 4e 20 61 3d 78 20 57 48  OIN t3 ON a=x WH
1260: 45 52 45 20 4e 55 4c 4c 20 69 73 20 79 3b 0a 20  ERE NULL is y;. 
1270: 20 7d 0a 7d 20 7b 32 20 32 20 7b 7d 20 33 20 7b   }.} {2 2 {} 3 {
1280: 7d 20 7b 7d 7d 0a 64 6f 5f 74 65 73 74 20 77 68  } {}}.do_test wh
1290: 65 72 65 34 2d 33 2e 34 20 7b 0a 20 20 75 6e 73  ere4-3.4 {.  uns
12a0: 65 74 20 2d 6e 6f 63 6f 6d 70 6c 61 69 6e 20 6e  et -nocomplain n
12b0: 75 6c 6c 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a  ull.  execsql {.
12c0: 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f      SELECT * FRO
12d0: 4d 20 74 32 20 4c 45 46 54 20 4a 4f 49 4e 20 74  M t2 LEFT JOIN t
12e0: 33 20 4f 4e 20 61 3d 78 20 57 48 45 52 45 20 79  3 ON a=x WHERE y
12f0: 20 49 53 20 24 6e 75 6c 6c 3b 0a 20 20 7d 0a 7d   IS $null;.  }.}
1300: 20 7b 32 20 32 20 7b 7d 20 33 20 7b 7d 20 7b 7d   {2 2 {} 3 {} {}
1310: 7d 0a 0a 23 20 54 69 63 6b 65 74 20 23 32 31 38  }..# Ticket #218
1320: 39 2e 20 20 50 72 6f 62 61 62 6c 79 20 74 68 65  9.  Probably the
1330: 20 73 61 6d 65 20 62 75 67 20 61 73 20 23 32 31   same bug as #21
1340: 37 37 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 77 68  77..#.do_test wh
1350: 65 72 65 34 2d 34 2e 31 20 7b 0a 20 20 65 78 65  ere4-4.1 {.  exe
1360: 63 73 71 6c 20 7b 0a 20 20 20 20 43 52 45 41 54  csql {.    CREAT
1370: 45 20 54 41 42 4c 45 20 74 65 73 74 28 63 6f 6c  E TABLE test(col
1380: 31 20 54 45 58 54 20 50 52 49 4d 41 52 59 20 4b  1 TEXT PRIMARY K
1390: 45 59 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20  EY);.    INSERT 
13a0: 49 4e 54 4f 20 74 65 73 74 28 63 6f 6c 31 29 20  INTO test(col1) 
13b0: 76 61 6c 75 65 73 28 27 61 27 29 3b 0a 20 20 20  values('a');.   
13c0: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 65 73   INSERT INTO tes
13d0: 74 28 63 6f 6c 31 29 20 76 61 6c 75 65 73 28 27  t(col1) values('
13e0: 62 27 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20  b');.    INSERT 
13f0: 49 4e 54 4f 20 74 65 73 74 28 63 6f 6c 31 29 20  INTO test(col1) 
1400: 76 61 6c 75 65 73 28 27 63 27 29 3b 0a 20 20 20  values('c');.   
1410: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 65   CREATE TABLE te
1420: 73 74 32 28 63 6f 6c 31 20 54 45 58 54 20 50 52  st2(col1 TEXT PR
1430: 49 4d 41 52 59 20 4b 45 59 29 3b 0a 20 20 20 20  IMARY KEY);.    
1440: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 65 73 74  INSERT INTO test
1450: 32 28 63 6f 6c 31 29 20 76 61 6c 75 65 73 28 27  2(col1) values('
1460: 61 27 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20  a');.    INSERT 
1470: 49 4e 54 4f 20 74 65 73 74 32 28 63 6f 6c 31 29  INTO test2(col1)
1480: 20 76 61 6c 75 65 73 28 27 62 27 29 3b 0a 20 20   values('b');.  
1490: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 65    INSERT INTO te
14a0: 73 74 32 28 63 6f 6c 31 29 20 76 61 6c 75 65 73  st2(col1) values
14b0: 28 27 63 27 29 3b 0a 20 20 20 20 53 45 4c 45 43  ('c');.    SELEC
14c0: 54 20 2a 20 46 52 4f 4d 20 74 65 73 74 20 74 31  T * FROM test t1
14d0: 20 4c 45 46 54 20 4f 55 54 45 52 20 4a 4f 49 4e   LEFT OUTER JOIN
14e0: 20 74 65 73 74 32 20 74 32 20 4f 4e 20 74 31 2e   test2 t2 ON t1.
14f0: 63 6f 6c 31 20 3d 20 74 32 2e 63 6f 6c 31 0a 20  col1 = t2.col1. 
1500: 20 20 20 20 20 57 48 45 52 45 20 2b 74 32 2e 63       WHERE +t2.c
1510: 6f 6c 31 20 49 53 20 4e 55 4c 4c 3b 0a 20 20 7d  ol1 IS NULL;.  }
1520: 0a 7d 20 7b 7d 0a 64 6f 5f 74 65 73 74 20 77 68  .} {}.do_test wh
1530: 65 72 65 34 2d 34 2e 32 20 7b 0a 20 20 65 78 65  ere4-4.2 {.  exe
1540: 63 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43  csql {.    SELEC
1550: 54 20 2a 20 46 52 4f 4d 20 74 65 73 74 20 74 31  T * FROM test t1
1560: 20 4c 45 46 54 20 4f 55 54 45 52 20 4a 4f 49 4e   LEFT OUTER JOIN
1570: 20 74 65 73 74 32 20 74 32 20 4f 4e 20 74 31 2e   test2 t2 ON t1.
1580: 63 6f 6c 31 20 3d 20 74 32 2e 63 6f 6c 31 0a 20  col1 = t2.col1. 
1590: 20 20 20 20 20 57 48 45 52 45 20 74 32 2e 63 6f       WHERE t2.co
15a0: 6c 31 20 49 53 20 4e 55 4c 4c 3b 0a 20 20 7d 0a  l1 IS NULL;.  }.
15b0: 7d 20 7b 7d 0a 64 6f 5f 74 65 73 74 20 77 68 65  } {}.do_test whe
15c0: 72 65 34 2d 34 2e 33 20 7b 0a 20 20 65 78 65 63  re4-4.3 {.  exec
15d0: 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54  sql {.    SELECT
15e0: 20 2a 20 46 52 4f 4d 20 74 65 73 74 20 74 31 20   * FROM test t1 
15f0: 4c 45 46 54 20 4f 55 54 45 52 20 4a 4f 49 4e 20  LEFT OUTER JOIN 
1600: 74 65 73 74 32 20 74 32 20 4f 4e 20 74 31 2e 63  test2 t2 ON t1.c
1610: 6f 6c 31 20 3d 20 74 32 2e 63 6f 6c 31 0a 20 20  ol1 = t2.col1.  
1620: 20 20 20 20 57 48 45 52 45 20 2b 74 31 2e 63 6f      WHERE +t1.co
1630: 6c 31 20 49 53 20 4e 55 4c 4c 3b 0a 20 20 7d 0a  l1 IS NULL;.  }.
1640: 7d 20 7b 7d 0a 64 6f 5f 74 65 73 74 20 77 68 65  } {}.do_test whe
1650: 72 65 34 2d 34 2e 34 20 7b 0a 20 20 65 78 65 63  re4-4.4 {.  exec
1660: 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54  sql {.    SELECT
1670: 20 2a 20 46 52 4f 4d 20 74 65 73 74 20 74 31 20   * FROM test t1 
1680: 4c 45 46 54 20 4f 55 54 45 52 20 4a 4f 49 4e 20  LEFT OUTER JOIN 
1690: 74 65 73 74 32 20 74 32 20 4f 4e 20 74 31 2e 63  test2 t2 ON t1.c
16a0: 6f 6c 31 20 3d 20 74 32 2e 63 6f 6c 31 0a 20 20  ol1 = t2.col1.  
16b0: 20 20 20 20 57 48 45 52 45 20 74 31 2e 63 6f 6c      WHERE t1.col
16c0: 31 20 49 53 20 4e 55 4c 4c 3b 0a 20 20 7d 0a 7d  1 IS NULL;.  }.}
16d0: 20 7b 7d 0a 0a 23 20 54 69 63 6b 65 74 20 23 32   {}..# Ticket #2
16e0: 32 37 33 2e 20 20 50 72 6f 62 6c 65 6d 73 20 77  273.  Problems w
16f0: 69 74 68 20 49 4e 20 6f 70 65 72 61 74 6f 72 73  ith IN operators
1700: 20 61 6e 64 20 4e 55 4c 4c 73 2e 0a 23 0a 69 66   and NULLs..#.if
1710: 63 61 70 61 62 6c 65 20 73 75 62 71 75 65 72 79  capable subquery
1720: 20 7b 0a 64 6f 5f 74 65 73 74 20 77 68 65 72 65   {.do_test where
1730: 34 2d 35 2e 31 20 7b 0a 20 20 65 78 65 63 73 71  4-5.1 {.  execsq
1740: 6c 20 7b 0a 20 20 20 20 43 52 45 41 54 45 20 54  l {.    CREATE T
1750: 41 42 4c 45 20 74 34 28 78 2c 79 2c 7a 2c 50 52  ABLE t4(x,y,z,PR
1760: 49 4d 41 52 59 20 4b 45 59 28 78 2c 79 29 29 3b  IMARY KEY(x,y));
1770: 0a 20 20 7d 0a 20 20 65 78 65 63 73 71 6c 20 7b  .  }.  execsql {
1780: 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 0a 20 20  .    SELECT *.  
1790: 20 20 20 20 46 52 4f 4d 20 74 32 20 4c 45 46 54      FROM t2 LEFT
17a0: 20 4a 4f 49 4e 20 74 34 20 62 31 0a 20 20 20 20   JOIN t4 b1.    
17b0: 20 20 20 20 20 20 20 20 20 20 4c 45 46 54 20 4a            LEFT J
17c0: 4f 49 4e 20 74 34 20 62 32 20 4f 4e 20 62 32 2e  OIN t4 b2 ON b2.
17d0: 78 3d 62 31 2e 78 20 41 4e 44 20 62 32 2e 79 20  x=b1.x AND b2.y 
17e0: 49 4e 20 28 62 31 2e 79 29 3b 0a 20 20 7d 0a 7d  IN (b1.y);.  }.}
17f0: 20 7b 31 20 7b 7d 20 7b 7d 20 7b 7d 20 7b 7d 20   {1 {} {} {} {} 
1800: 7b 7d 20 7b 7d 20 32 20 7b 7d 20 7b 7d 20 7b 7d  {} {} 2 {} {} {}
1810: 20 7b 7d 20 7b 7d 20 7b 7d 20 33 20 7b 7d 20 7b   {} {} {} 3 {} {
1820: 7d 20 7b 7d 20 7b 7d 20 7b 7d 20 7b 7d 7d 0a 64  } {} {} {} {}}.d
1830: 6f 5f 74 65 73 74 20 77 68 65 72 65 34 2d 35 2e  o_test where4-5.
1840: 32 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a  2 {.  execsql {.
1850: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
1860: 74 34 20 56 41 4c 55 45 53 28 31 2c 31 2c 31 31  t4 VALUES(1,1,11
1870: 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e  );.    INSERT IN
1880: 54 4f 20 74 34 20 56 41 4c 55 45 53 28 31 2c 32  TO t4 VALUES(1,2
1890: 2c 31 32 29 3b 0a 20 20 20 20 49 4e 53 45 52 54  ,12);.    INSERT
18a0: 20 49 4e 54 4f 20 74 34 20 56 41 4c 55 45 53 28   INTO t4 VALUES(
18b0: 31 2c 33 2c 31 33 29 3b 0a 20 20 20 20 49 4e 53  1,3,13);.    INS
18c0: 45 52 54 20 49 4e 54 4f 20 74 34 20 56 41 4c 55  ERT INTO t4 VALU
18d0: 45 53 28 32 2c 32 2c 32 32 29 3b 0a 20 20 20 20  ES(2,2,22);.    
18e0: 53 45 4c 45 43 54 20 72 6f 77 69 64 20 46 52 4f  SELECT rowid FRO
18f0: 4d 20 74 34 20 57 48 45 52 45 20 78 20 49 4e 20  M t4 WHERE x IN 
1900: 28 31 2c 39 2c 32 2c 35 29 20 41 4e 44 20 79 20  (1,9,2,5) AND y 
1910: 49 4e 20 28 31 2c 33 2c 4e 55 4c 4c 2c 32 29 20  IN (1,3,NULL,2) 
1920: 41 4e 44 20 7a 21 3d 31 33 3b 0a 20 20 7d 0a 7d  AND z!=13;.  }.}
1930: 20 7b 31 20 32 20 34 7d 0a 64 6f 5f 74 65 73 74   {1 2 4}.do_test
1940: 20 77 68 65 72 65 34 2d 35 2e 33 20 7b 0a 20 20   where4-5.3 {.  
1950: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 45  execsql {.    SE
1960: 4c 45 43 54 20 72 6f 77 69 64 20 46 52 4f 4d 20  LECT rowid FROM 
1970: 74 34 20 57 48 45 52 45 20 78 20 49 4e 20 28 31  t4 WHERE x IN (1
1980: 2c 39 2c 4e 55 4c 4c 2c 32 29 20 41 4e 44 20 79  ,9,NULL,2) AND y
1990: 20 49 4e 20 28 31 2c 33 2c 32 29 20 41 4e 44 20   IN (1,3,2) AND 
19a0: 7a 21 3d 31 33 3b 0a 20 20 7d 0a 7d 20 7b 31 20  z!=13;.  }.} {1 
19b0: 32 20 34 7d 0a 64 6f 5f 74 65 73 74 20 77 68 65  2 4}.do_test whe
19c0: 72 65 34 2d 36 2e 31 20 7b 0a 20 20 65 78 65 63  re4-6.1 {.  exec
19d0: 73 71 6c 20 7b 0a 20 20 20 20 43 52 45 41 54 45  sql {.    CREATE
19e0: 20 54 41 42 4c 45 20 74 35 28 61 2c 62 2c 63 2c   TABLE t5(a,b,c,
19f0: 64 2c 65 2c 66 2c 55 4e 49 51 55 45 28 61 2c 62  d,e,f,UNIQUE(a,b
1a00: 2c 63 2c 64 2c 65 2c 66 29 29 3b 0a 20 20 20 20  ,c,d,e,f));.    
1a10: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 35 20 56  INSERT INTO t5 V
1a20: 41 4c 55 45 53 28 31 2c 31 2c 31 2c 31 2c 31 2c  ALUES(1,1,1,1,1,
1a30: 31 31 31 31 31 29 3b 0a 20 20 20 20 49 4e 53 45  11111);.    INSE
1a40: 52 54 20 49 4e 54 4f 20 74 35 20 56 41 4c 55 45  RT INTO t5 VALUE
1a50: 53 28 32 2c 32 2c 32 2c 32 2c 32 2c 32 32 32 32  S(2,2,2,2,2,2222
1a60: 32 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49  2);.    INSERT I
1a70: 4e 54 4f 20 74 35 20 56 41 4c 55 45 53 28 31 2c  NTO t5 VALUES(1,
1a80: 32 2c 33 2c 34 2c 35 2c 31 32 33 34 35 29 3b 0a  2,3,4,5,12345);.
1a90: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
1aa0: 74 35 20 56 41 4c 55 45 53 28 32 2c 33 2c 34 2c  t5 VALUES(2,3,4,
1ab0: 35 2c 36 2c 32 33 34 35 36 29 3b 0a 20 20 7d 0a  5,6,23456);.  }.
1ac0: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
1ad0: 53 45 4c 45 43 54 20 72 6f 77 69 64 20 46 52 4f  SELECT rowid FRO
1ae0: 4d 20 74 35 0a 20 20 20 20 20 57 48 45 52 45 20  M t5.     WHERE 
1af0: 61 20 49 4e 20 28 31 2c 39 2c 32 29 20 41 4e 44  a IN (1,9,2) AND
1b00: 20 62 3d 32 20 41 4e 44 20 63 20 49 4e 20 28 31   b=2 AND c IN (1
1b10: 2c 32 2c 33 2c 34 29 20 41 4e 44 20 64 3e 30 0a  ,2,3,4) AND d>0.
1b20: 20 20 7d 0a 7d 20 7b 33 20 32 7d 0a 64 6f 5f 74    }.} {3 2}.do_t
1b30: 65 73 74 20 77 68 65 72 65 34 2d 36 2e 32 20 7b  est where4-6.2 {
1b40: 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20  .  execsql {.   
1b50: 20 53 45 4c 45 43 54 20 72 6f 77 69 64 20 46 52   SELECT rowid FR
1b60: 4f 4d 20 74 35 0a 20 20 20 20 20 57 48 45 52 45  OM t5.     WHERE
1b70: 20 61 20 49 4e 20 28 31 2c 4e 55 4c 4c 2c 32 29   a IN (1,NULL,2)
1b80: 20 41 4e 44 20 62 3d 32 20 41 4e 44 20 63 20 49   AND b=2 AND c I
1b90: 4e 20 28 31 2c 32 2c 33 2c 34 29 20 41 4e 44 20  N (1,2,3,4) AND 
1ba0: 64 3e 30 0a 20 20 7d 0a 7d 20 7b 33 20 32 7d 0a  d>0.  }.} {3 2}.
1bb0: 64 6f 5f 74 65 73 74 20 77 68 65 72 65 34 2d 37  do_test where4-7
1bc0: 2e 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b  .1 {.  execsql {
1bd0: 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c  .    CREATE TABL
1be0: 45 20 74 36 28 79 2c 7a 2c 50 52 49 4d 41 52 59  E t6(y,z,PRIMARY
1bf0: 20 4b 45 59 28 79 2c 7a 29 29 3b 0a 20 20 7d 0a   KEY(y,z));.  }.
1c00: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
1c10: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 36  SELECT * FROM t6
1c20: 20 57 48 45 52 45 20 79 3d 4e 55 4c 4c 20 41 4e   WHERE y=NULL AN
1c30: 44 20 7a 20 49 4e 20 28 27 68 65 6c 6c 6f 27 29  D z IN ('hello')
1c40: 3b 0a 20 20 7d 0a 7d 20 7b 7d 0a 0a 69 6e 74 65  ;.  }.} {}..inte
1c50: 67 72 69 74 79 5f 63 68 65 63 6b 20 7b 77 68 65  grity_check {whe
1c60: 72 65 34 2d 39 39 2e 30 7d 0a 0a 64 6f 5f 74 65  re4-99.0}..do_te
1c70: 73 74 20 77 68 65 72 65 34 2d 37 2e 31 20 7b 0a  st where4-7.1 {.
1c80: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
1c90: 42 45 47 49 4e 3b 0a 20 20 20 20 43 52 45 41 54  BEGIN;.    CREAT
1ca0: 45 20 54 41 42 4c 45 20 74 38 28 61 2c 20 62 2c  E TABLE t8(a, b,
1cb0: 20 63 2c 20 64 29 3b 0a 20 20 20 20 43 52 45 41   c, d);.    CREA
1cc0: 54 45 20 49 4e 44 45 58 20 74 38 5f 69 20 4f 4e  TE INDEX t8_i ON
1cd0: 20 74 38 28 61 2c 20 62 2c 20 63 29 3b 0a 20 20   t8(a, b, c);.  
1ce0: 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74    CREATE TABLE t
1cf0: 37 28 69 29 3b 0a 0a 20 20 20 20 49 4e 53 45 52  7(i);..    INSER
1d00: 54 20 49 4e 54 4f 20 74 37 20 56 41 4c 55 45 53  T INTO t7 VALUES
1d10: 28 31 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20  (1);.    INSERT 
1d20: 49 4e 54 4f 20 74 37 20 53 45 4c 45 43 54 20 69  INTO t7 SELECT i
1d30: 2a 32 20 46 52 4f 4d 20 74 37 3b 0a 20 20 20 20  *2 FROM t7;.    
1d40: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 37 20 53  INSERT INTO t7 S
1d50: 45 4c 45 43 54 20 69 2a 32 20 46 52 4f 4d 20 74  ELECT i*2 FROM t
1d60: 37 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e  7;.    INSERT IN
1d70: 54 4f 20 74 37 20 53 45 4c 45 43 54 20 69 2a 32  TO t7 SELECT i*2
1d80: 20 46 52 4f 4d 20 74 37 3b 0a 20 20 20 20 49 4e   FROM t7;.    IN
1d90: 53 45 52 54 20 49 4e 54 4f 20 74 37 20 53 45 4c  SERT INTO t7 SEL
1da0: 45 43 54 20 69 2a 32 20 46 52 4f 4d 20 74 37 3b  ECT i*2 FROM t7;
1db0: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
1dc0: 20 74 37 20 53 45 4c 45 43 54 20 69 2a 32 20 46   t7 SELECT i*2 F
1dd0: 52 4f 4d 20 74 37 3b 0a 20 20 20 20 49 4e 53 45  ROM t7;.    INSE
1de0: 52 54 20 49 4e 54 4f 20 74 37 20 53 45 4c 45 43  RT INTO t7 SELEC
1df0: 54 20 69 2a 32 20 46 52 4f 4d 20 74 37 3b 0a 0a  T i*2 FROM t7;..
1e00: 20 20 20 20 43 4f 4d 4d 49 54 3b 0a 20 20 7d 0a      COMMIT;.  }.
1e10: 7d 20 7b 7d 0a 0a 23 20 41 74 20 6f 6e 65 20 70  } {}..# At one p
1e20: 6f 69 6e 74 20 74 68 65 20 73 75 62 2d 73 65 6c  oint the sub-sel
1e30: 65 63 74 20 69 6e 73 69 64 65 20 74 68 65 20 61  ect inside the a
1e40: 67 67 72 65 67 61 74 65 20 73 75 6d 28 29 20 66  ggregate sum() f
1e50: 75 6e 63 74 69 6f 6e 20 69 6e 20 74 68 65 0a 23  unction in the.#
1e60: 20 66 6f 6c 6c 6f 77 69 6e 67 20 71 75 65 72 79   following query
1e70: 20 77 61 73 20 6c 65 61 6b 69 6e 67 20 61 20 63   was leaking a c
1e80: 6f 75 70 6c 65 20 6f 66 20 73 74 61 63 6b 20 65  ouple of stack e
1e90: 6e 74 72 69 65 73 2e 20 54 68 69 73 20 71 75 65  ntries. This que
1ea0: 72 79 20 0a 23 20 72 75 6e 73 20 74 68 65 20 53  ry .# runs the S
1eb0: 45 4c 45 43 54 20 69 6e 20 61 20 6c 6f 6f 70 20  ELECT in a loop 
1ec0: 65 6e 6f 75 67 68 20 74 69 6d 65 73 20 74 68 61  enough times tha
1ed0: 74 20 61 6e 20 61 73 73 65 72 74 28 29 20 66 61  t an assert() fa
1ee0: 69 6c 73 2e 20 4f 72 20 72 61 74 68 65 72 2c 0a  ils. Or rather,.
1ef0: 23 20 64 69 64 20 66 61 69 6c 20 62 65 66 6f 72  # did fail befor
1f00: 65 20 74 68 65 20 62 75 67 20 77 61 73 20 66 69  e the bug was fi
1f10: 78 65 64 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 77  xed..#.do_test w
1f20: 68 65 72 65 34 2d 37 2e 32 20 7b 0a 20 20 65 78  here4-7.2 {.  ex
1f30: 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45  ecsql {.    SELE
1f40: 43 54 20 73 75 6d 28 28 0a 20 20 20 20 20 20 53  CT sum((.      S
1f50: 45 4c 45 43 54 20 64 20 46 52 4f 4d 20 74 38 20  ELECT d FROM t8 
1f60: 57 48 45 52 45 20 61 20 3d 20 69 20 41 4e 44 20  WHERE a = i AND 
1f70: 62 20 3d 20 69 20 41 4e 44 20 63 20 3c 20 4e 55  b = i AND c < NU
1f80: 4c 4c 0a 20 20 20 20 29 29 20 46 52 4f 4d 20 74  LL.    )) FROM t
1f90: 37 3b 0a 20 20 7d 0a 7d 20 7b 7b 7d 7d 0a 0a 7d  7;.  }.} {{}}..}
1fa0: 3b 20 23 69 66 63 61 70 61 62 6c 65 20 73 75 62  ; #ifcapable sub
1fb0: 71 75 65 72 79 0a 0a 66 69 6e 69 73 68 5f 74 65  query..finish_te
1fc0: 73 74 0a                                         st.