/ Hex Artifact Content
Login

Artifact 1b1cd72d5f205ce34d5a31f3c4918f833e5e6a63:


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 35 20 32 30 30 37 2f 30 39 2f 31 32 20   1.5 2007/09/12 
0320: 31 37 3a 30 31 3a 34 35 20 64 61 6e 69 65 6c 6b  17:01:45 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 32 20 7b 0a 20 20 63 6f 75 6e 74 20 7b 53 45  .2 {.  count {SE
07b0: 4c 45 43 54 20 72 6f 77 69 64 20 46 52 4f 4d 20  LECT rowid FROM 
07c0: 74 31 20 57 48 45 52 45 20 2b 77 20 49 53 20 4e  t1 WHERE +w IS N
07d0: 55 4c 4c 7d 0a 7d 20 7b 37 20 36 7d 0a 64 6f 5f  ULL}.} {7 6}.do_
07e0: 74 65 73 74 20 77 68 65 72 65 34 2d 31 2e 33 20  test where4-1.3 
07f0: 7b 0a 20 20 63 6f 75 6e 74 20 7b 53 45 4c 45 43  {.  count {SELEC
0800: 54 20 72 6f 77 69 64 20 46 52 4f 4d 20 74 31 20  T rowid FROM t1 
0810: 57 48 45 52 45 20 77 3d 31 20 41 4e 44 20 78 20  WHERE w=1 AND x 
0820: 49 53 20 4e 55 4c 4c 7d 0a 7d 20 7b 32 20 32 7d  IS NULL}.} {2 2}
0830: 0a 64 6f 5f 74 65 73 74 20 77 68 65 72 65 34 2d  .do_test where4-
0840: 31 2e 34 20 7b 0a 20 20 63 6f 75 6e 74 20 7b 53  1.4 {.  count {S
0850: 45 4c 45 43 54 20 72 6f 77 69 64 20 46 52 4f 4d  ELECT rowid FROM
0860: 20 74 31 20 57 48 45 52 45 20 77 3d 31 20 41 4e   t1 WHERE w=1 AN
0870: 44 20 2b 78 20 49 53 20 4e 55 4c 4c 7d 0a 7d 20  D +x IS NULL}.} 
0880: 7b 32 20 33 7d 0a 64 6f 5f 74 65 73 74 20 77 68  {2 3}.do_test wh
0890: 65 72 65 34 2d 31 2e 35 20 7b 0a 20 20 63 6f 75  ere4-1.5 {.  cou
08a0: 6e 74 20 7b 53 45 4c 45 43 54 20 72 6f 77 69 64  nt {SELECT rowid
08b0: 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 77   FROM t1 WHERE w
08c0: 3d 31 20 41 4e 44 20 78 3e 30 7d 0a 7d 20 7b 31  =1 AND x>0}.} {1
08d0: 20 32 7d 0a 64 6f 5f 74 65 73 74 20 77 68 65 72   2}.do_test wher
08e0: 65 34 2d 31 2e 36 20 7b 0a 20 20 63 6f 75 6e 74  e4-1.6 {.  count
08f0: 20 7b 53 45 4c 45 43 54 20 72 6f 77 69 64 20 46   {SELECT rowid F
0900: 52 4f 4d 20 74 31 20 57 48 45 52 45 20 77 3d 31  ROM t1 WHERE w=1
0910: 20 41 4e 44 20 78 3c 39 7d 0a 7d 20 7b 31 20 33   AND x<9}.} {1 3
0920: 7d 0a 64 6f 5f 74 65 73 74 20 77 68 65 72 65 34  }.do_test where4
0930: 2d 31 2e 37 20 7b 0a 20 20 63 6f 75 6e 74 20 7b  -1.7 {.  count {
0940: 53 45 4c 45 43 54 20 72 6f 77 69 64 20 46 52 4f  SELECT rowid FRO
0950: 4d 20 74 31 20 57 48 45 52 45 20 77 3d 31 20 41  M t1 WHERE w=1 A
0960: 4e 44 20 78 20 49 53 20 4e 55 4c 4c 20 41 4e 44  ND x IS NULL AND
0970: 20 79 3d 33 7d 0a 7d 20 7b 32 20 32 7d 0a 64 6f   y=3}.} {2 2}.do
0980: 5f 74 65 73 74 20 77 68 65 72 65 34 2d 31 2e 38  _test where4-1.8
0990: 20 7b 0a 20 20 63 6f 75 6e 74 20 7b 53 45 4c 45   {.  count {SELE
09a0: 43 54 20 72 6f 77 69 64 20 46 52 4f 4d 20 74 31  CT rowid FROM t1
09b0: 20 57 48 45 52 45 20 77 3d 31 20 41 4e 44 20 78   WHERE w=1 AND x
09c0: 20 49 53 20 4e 55 4c 4c 20 41 4e 44 20 79 3e 32   IS NULL AND y>2
09d0: 7d 0a 7d 20 7b 32 20 32 7d 0a 64 6f 5f 74 65 73  }.} {2 2}.do_tes
09e0: 74 20 77 68 65 72 65 34 2d 31 2e 39 20 7b 0a 20  t where4-1.9 {. 
09f0: 20 63 6f 75 6e 74 20 7b 53 45 4c 45 43 54 20 72   count {SELECT r
0a00: 6f 77 69 64 20 46 52 4f 4d 20 74 31 20 57 48 45  owid FROM t1 WHE
0a10: 52 45 20 77 3d 27 61 27 20 41 4e 44 20 78 20 49  RE w='a' AND x I
0a20: 53 20 4e 55 4c 4c 20 41 4e 44 20 79 3d 27 63 27  S NULL AND y='c'
0a30: 7d 0a 7d 20 7b 34 20 32 7d 0a 64 6f 5f 74 65 73  }.} {4 2}.do_tes
0a40: 74 20 77 68 65 72 65 34 2d 31 2e 31 30 20 7b 0a  t where4-1.10 {.
0a50: 20 20 63 6f 75 6e 74 20 7b 53 45 4c 45 43 54 20    count {SELECT 
0a60: 72 6f 77 69 64 20 46 52 4f 4d 20 74 31 20 57 48  rowid FROM t1 WH
0a70: 45 52 45 20 77 3d 78 27 37 38 27 20 41 4e 44 20  ERE w=x'78' AND 
0a80: 78 20 49 53 20 4e 55 4c 4c 7d 0a 7d 20 7b 36 20  x IS NULL}.} {6 
0a90: 32 7d 0a 64 6f 5f 74 65 73 74 20 77 68 65 72 65  2}.do_test where
0aa0: 34 2d 31 2e 31 31 20 7b 0a 20 20 63 6f 75 6e 74  4-1.11 {.  count
0ab0: 20 7b 53 45 4c 45 43 54 20 72 6f 77 69 64 20 46   {SELECT rowid F
0ac0: 52 4f 4d 20 74 31 20 57 48 45 52 45 20 77 3d 78  ROM t1 WHERE w=x
0ad0: 27 37 38 27 20 41 4e 44 20 78 20 49 53 20 4e 55  '78' AND x IS NU
0ae0: 4c 4c 20 41 4e 44 20 79 3d 31 32 33 7d 0a 7d 20  LL AND y=123}.} 
0af0: 7b 31 7d 0a 64 6f 5f 74 65 73 74 20 77 68 65 72  {1}.do_test wher
0b00: 65 34 2d 31 2e 31 32 20 7b 0a 20 20 63 6f 75 6e  e4-1.12 {.  coun
0b10: 74 20 7b 53 45 4c 45 43 54 20 72 6f 77 69 64 20  t {SELECT rowid 
0b20: 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 77 3d  FROM t1 WHERE w=
0b30: 78 27 37 38 27 20 41 4e 44 20 78 20 49 53 20 4e  x'78' AND x IS N
0b40: 55 4c 4c 20 41 4e 44 20 79 3d 78 27 37 41 27 7d  ULL AND y=x'7A'}
0b50: 0a 7d 20 7b 36 20 32 7d 0a 64 6f 5f 74 65 73 74  .} {6 2}.do_test
0b60: 20 77 68 65 72 65 34 2d 31 2e 31 33 20 7b 0a 20   where4-1.13 {. 
0b70: 20 63 6f 75 6e 74 20 7b 53 45 4c 45 43 54 20 72   count {SELECT r
0b80: 6f 77 69 64 20 46 52 4f 4d 20 74 31 20 57 48 45  owid FROM t1 WHE
0b90: 52 45 20 77 20 49 53 20 4e 55 4c 4c 20 41 4e 44  RE w IS NULL AND
0ba0: 20 78 20 49 53 20 4e 55 4c 4c 7d 0a 7d 20 7b 37   x IS NULL}.} {7
0bb0: 20 32 7d 0a 64 6f 5f 74 65 73 74 20 77 68 65 72   2}.do_test wher
0bc0: 65 34 2d 31 2e 31 34 20 7b 0a 20 20 63 6f 75 6e  e4-1.14 {.  coun
0bd0: 74 20 7b 53 45 4c 45 43 54 20 72 6f 77 69 64 20  t {SELECT rowid 
0be0: 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 77 20  FROM t1 WHERE w 
0bf0: 49 53 20 4e 55 4c 4c 20 41 4e 44 20 78 20 49 53  IS NULL AND x IS
0c00: 20 4e 55 4c 4c 20 41 4e 44 20 79 20 49 53 20 4e   NULL AND y IS N
0c10: 55 4c 4c 7d 0a 7d 20 7b 37 20 32 7d 0a 64 6f 5f  ULL}.} {7 2}.do_
0c20: 74 65 73 74 20 77 68 65 72 65 34 2d 31 2e 31 35  test where4-1.15
0c30: 20 7b 0a 20 20 63 6f 75 6e 74 20 7b 53 45 4c 45   {.  count {SELE
0c40: 43 54 20 72 6f 77 69 64 20 46 52 4f 4d 20 74 31  CT rowid FROM t1
0c50: 20 57 48 45 52 45 20 77 20 49 53 20 4e 55 4c 4c   WHERE w IS NULL
0c60: 20 41 4e 44 20 78 20 49 53 20 4e 55 4c 4c 20 41   AND x IS NULL A
0c70: 4e 44 20 79 3c 30 7d 0a 7d 20 7b 32 7d 0a 64 6f  ND y<0}.} {2}.do
0c80: 5f 74 65 73 74 20 77 68 65 72 65 34 2d 31 2e 31  _test where4-1.1
0c90: 36 20 7b 0a 20 20 63 6f 75 6e 74 20 7b 53 45 4c  6 {.  count {SEL
0ca0: 45 43 54 20 72 6f 77 69 64 20 46 52 4f 4d 20 74  ECT rowid FROM t
0cb0: 31 20 57 48 45 52 45 20 77 20 49 53 20 4e 55 4c  1 WHERE w IS NUL
0cc0: 4c 20 41 4e 44 20 78 20 49 53 20 4e 55 4c 4c 20  L AND x IS NULL 
0cd0: 41 4e 44 20 79 3e 3d 30 7d 0a 7d 20 7b 31 7d 0a  AND y>=0}.} {1}.
0ce0: 0a 64 6f 5f 74 65 73 74 20 77 68 65 72 65 34 2d  .do_test where4-
0cf0: 32 2e 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  2.1 {.  execsql 
0d00: 7b 53 45 4c 45 43 54 20 72 6f 77 69 64 20 46 52  {SELECT rowid FR
0d10: 4f 4d 20 74 31 20 4f 52 44 45 52 20 42 59 20 77  OM t1 ORDER BY w
0d20: 2c 20 78 2c 20 79 7d 0a 7d 20 7b 37 20 32 20 31  , x, y}.} {7 2 1
0d30: 20 34 20 33 20 36 20 35 7d 0a 64 6f 5f 74 65 73   4 3 6 5}.do_tes
0d40: 74 20 77 68 65 72 65 34 2d 32 2e 32 20 7b 0a 20  t where4-2.2 {. 
0d50: 20 65 78 65 63 73 71 6c 20 7b 53 45 4c 45 43 54   execsql {SELECT
0d60: 20 72 6f 77 69 64 20 46 52 4f 4d 20 74 31 20 4f   rowid FROM t1 O
0d70: 52 44 45 52 20 42 59 20 77 20 44 45 53 43 2c 20  RDER BY w DESC, 
0d80: 78 2c 20 79 7d 0a 7d 20 7b 36 20 35 20 34 20 33  x, y}.} {6 5 4 3
0d90: 20 32 20 31 20 37 7d 0a 64 6f 5f 74 65 73 74 20   2 1 7}.do_test 
0da0: 77 68 65 72 65 34 2d 32 2e 33 20 7b 0a 20 20 65  where4-2.3 {.  e
0db0: 78 65 63 73 71 6c 20 7b 53 45 4c 45 43 54 20 72  xecsql {SELECT r
0dc0: 6f 77 69 64 20 46 52 4f 4d 20 74 31 20 4f 52 44  owid FROM t1 ORD
0dd0: 45 52 20 42 59 20 77 2c 20 78 20 44 45 53 43 2c  ER BY w, x DESC,
0de0: 20 79 7d 0a 7d 20 7b 37 20 31 20 32 20 33 20 34   y}.} {7 1 2 3 4
0df0: 20 35 20 36 7d 0a 0a 0a 23 20 54 69 63 6b 65 74   5 6}...# Ticket
0e00: 20 23 32 31 37 37 0a 23 0a 23 20 53 75 70 70 6f   #2177.#.# Suppo
0e10: 73 65 20 79 6f 75 20 68 61 76 65 20 61 20 6c 65  se you have a le
0e20: 66 74 20 6a 6f 69 6e 20 77 68 65 72 65 20 74 68  ft join where th
0e30: 65 20 72 69 67 68 74 20 74 61 62 6c 65 20 6f 66  e right table of
0e40: 20 74 68 65 20 6c 65 66 74 0a 23 20 6a 6f 69 6e   the left.# join
0e50: 20 28 74 68 65 20 6f 6e 65 20 74 68 61 74 20 63   (the one that c
0e60: 61 6e 20 62 65 20 4e 55 4c 4c 29 20 68 61 73 20  an be NULL) has 
0e70: 61 6e 20 69 6e 64 65 78 20 6f 6e 20 74 77 6f 20  an index on two 
0e80: 63 6f 6c 75 6d 6e 73 2e 0a 23 20 54 68 65 20 66  columns..# The f
0e90: 69 72 73 74 20 69 6e 64 65 78 65 64 20 63 6f 6c  irst indexed col
0ea0: 75 6d 6e 20 69 73 20 75 73 65 64 20 69 6e 20 74  umn is used in t
0eb0: 68 65 20 4f 4e 20 63 6c 61 75 73 65 20 6f 66 20  he ON clause of 
0ec0: 74 68 65 20 6a 6f 69 6e 2e 0a 23 20 54 68 65 20  the join..# The 
0ed0: 73 65 63 6f 6e 64 20 69 6e 64 65 78 65 64 20 63  second indexed c
0ee0: 6f 6c 75 6d 6e 20 69 73 20 75 73 65 64 20 69 6e  olumn is used in
0ef0: 20 74 68 65 20 57 48 45 52 45 20 63 6c 61 75 73   the WHERE claus
0f00: 65 20 77 69 74 68 20 61 6e 20 49 53 20 4e 55 4c  e with an IS NUL
0f10: 4c 0a 23 20 63 6f 6e 73 74 72 61 69 6e 74 2e 20  L.# constraint. 
0f20: 20 49 74 20 69 73 20 6e 6f 74 20 61 6c 6c 6f 77   It is not allow
0f30: 65 64 20 74 6f 20 75 73 65 20 74 68 65 20 49 53  ed to use the IS
0f40: 20 4e 55 4c 4c 20 6f 70 74 69 6d 69 7a 61 74 69   NULL optimizati
0f50: 6f 6e 20 74 6f 0a 23 20 6f 70 74 69 6d 69 7a 65  on to.# optimize
0f60: 20 74 68 65 20 71 75 65 72 79 20 62 65 63 61 75   the query becau
0f70: 73 65 20 74 68 65 20 73 65 63 6f 6e 64 20 63 6f  se the second co
0f80: 6c 75 6d 6e 20 6d 69 67 68 74 20 62 65 20 4e 55  lumn might be NU
0f90: 4c 4c 20 62 65 63 61 75 73 65 0a 23 20 74 68 65  LL because.# the
0fa0: 20 72 69 67 68 74 20 74 61 62 6c 65 20 64 69 64   right table did
0fb0: 20 6e 6f 74 20 6d 61 74 63 68 20 2d 20 73 6f 6d   not match - som
0fc0: 65 74 68 69 6e 67 20 74 68 65 20 69 6e 64 65 78  ething the index
0fd0: 20 64 6f 65 73 20 6e 6f 74 20 6b 6e 6f 77 0a 23   does not know.#
0fe0: 20 61 62 6f 75 74 2e 0a 23 0a 64 6f 5f 74 65 73   about..#.do_tes
0ff0: 74 20 77 68 65 72 65 34 2d 33 2e 31 20 7b 0a 20  t where4-3.1 {. 
1000: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 43   execsql {.    C
1010: 52 45 41 54 45 20 54 41 42 4c 45 20 74 32 28 61  REATE TABLE t2(a
1020: 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e  );.    INSERT IN
1030: 54 4f 20 74 32 20 56 41 4c 55 45 53 28 31 29 3b  TO t2 VALUES(1);
1040: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
1050: 20 74 32 20 56 41 4c 55 45 53 28 32 29 3b 0a 20   t2 VALUES(2);. 
1060: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
1070: 32 20 56 41 4c 55 45 53 28 33 29 3b 0a 20 20 20  2 VALUES(3);.   
1080: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 33   CREATE TABLE t3
1090: 28 78 2c 79 2c 55 4e 49 51 55 45 28 78 2c 79 29  (x,y,UNIQUE(x,y)
10a0: 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e  );.    INSERT IN
10b0: 54 4f 20 74 33 20 56 41 4c 55 45 53 28 31 2c 31  TO t3 VALUES(1,1
10c0: 31 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49  1);.    INSERT I
10d0: 4e 54 4f 20 74 33 20 56 41 4c 55 45 53 28 32 2c  NTO t3 VALUES(2,
10e0: 4e 55 4c 4c 29 3b 0a 20 0a 20 20 20 20 53 45 4c  NULL);. .    SEL
10f0: 45 43 54 20 2a 20 46 52 4f 4d 20 74 32 20 4c 45  ECT * FROM t2 LE
1100: 46 54 20 4a 4f 49 4e 20 74 33 20 4f 4e 20 61 3d  FT JOIN t3 ON a=
1110: 78 20 57 48 45 52 45 20 2b 79 20 49 53 20 4e 55  x WHERE +y IS NU
1120: 4c 4c 3b 0a 20 20 7d 0a 7d 20 7b 32 20 32 20 7b  LL;.  }.} {2 2 {
1130: 7d 20 33 20 7b 7d 20 7b 7d 7d 0a 64 6f 5f 74 65  } 3 {} {}}.do_te
1140: 73 74 20 77 68 65 72 65 34 2d 33 2e 32 20 7b 0a  st where4-3.2 {.
1150: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
1160: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 32  SELECT * FROM t2
1170: 20 4c 45 46 54 20 4a 4f 49 4e 20 74 33 20 4f 4e   LEFT JOIN t3 ON
1180: 20 61 3d 78 20 57 48 45 52 45 20 79 20 49 53 20   a=x WHERE y IS 
1190: 4e 55 4c 4c 3b 0a 20 20 7d 0a 7d 20 7b 32 20 32  NULL;.  }.} {2 2
11a0: 20 7b 7d 20 33 20 7b 7d 20 7b 7d 7d 0a 0a 23 20   {} 3 {} {}}..# 
11b0: 54 69 63 6b 65 74 20 23 32 31 38 39 2e 20 20 50  Ticket #2189.  P
11c0: 72 6f 62 61 62 6c 79 20 74 68 65 20 73 61 6d 65  robably the same
11d0: 20 62 75 67 20 61 73 20 23 32 31 37 37 2e 0a 23   bug as #2177..#
11e0: 0a 64 6f 5f 74 65 73 74 20 77 68 65 72 65 34 2d  .do_test where4-
11f0: 34 2e 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  4.1 {.  execsql 
1200: 7b 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 42  {.    CREATE TAB
1210: 4c 45 20 74 65 73 74 28 63 6f 6c 31 20 54 45 58  LE test(col1 TEX
1220: 54 20 50 52 49 4d 41 52 59 20 4b 45 59 29 3b 0a  T PRIMARY KEY);.
1230: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
1240: 74 65 73 74 28 63 6f 6c 31 29 20 76 61 6c 75 65  test(col1) value
1250: 73 28 27 61 27 29 3b 0a 20 20 20 20 49 4e 53 45  s('a');.    INSE
1260: 52 54 20 49 4e 54 4f 20 74 65 73 74 28 63 6f 6c  RT INTO test(col
1270: 31 29 20 76 61 6c 75 65 73 28 27 62 27 29 3b 0a  1) values('b');.
1280: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
1290: 74 65 73 74 28 63 6f 6c 31 29 20 76 61 6c 75 65  test(col1) value
12a0: 73 28 27 63 27 29 3b 0a 20 20 20 20 43 52 45 41  s('c');.    CREA
12b0: 54 45 20 54 41 42 4c 45 20 74 65 73 74 32 28 63  TE TABLE test2(c
12c0: 6f 6c 31 20 54 45 58 54 20 50 52 49 4d 41 52 59  ol1 TEXT PRIMARY
12d0: 20 4b 45 59 29 3b 0a 20 20 20 20 49 4e 53 45 52   KEY);.    INSER
12e0: 54 20 49 4e 54 4f 20 74 65 73 74 32 28 63 6f 6c  T INTO test2(col
12f0: 31 29 20 76 61 6c 75 65 73 28 27 61 27 29 3b 0a  1) values('a');.
1300: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
1310: 74 65 73 74 32 28 63 6f 6c 31 29 20 76 61 6c 75  test2(col1) valu
1320: 65 73 28 27 62 27 29 3b 0a 20 20 20 20 49 4e 53  es('b');.    INS
1330: 45 52 54 20 49 4e 54 4f 20 74 65 73 74 32 28 63  ERT INTO test2(c
1340: 6f 6c 31 29 20 76 61 6c 75 65 73 28 27 63 27 29  ol1) values('c')
1350: 3b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46  ;.    SELECT * F
1360: 52 4f 4d 20 74 65 73 74 20 74 31 20 4c 45 46 54  ROM test t1 LEFT
1370: 20 4f 55 54 45 52 20 4a 4f 49 4e 20 74 65 73 74   OUTER JOIN test
1380: 32 20 74 32 20 4f 4e 20 74 31 2e 63 6f 6c 31 20  2 t2 ON t1.col1 
1390: 3d 20 74 32 2e 63 6f 6c 31 0a 20 20 20 20 20 20  = t2.col1.      
13a0: 57 48 45 52 45 20 2b 74 32 2e 63 6f 6c 31 20 49  WHERE +t2.col1 I
13b0: 53 20 4e 55 4c 4c 3b 0a 20 20 7d 0a 7d 20 7b 7d  S NULL;.  }.} {}
13c0: 0a 64 6f 5f 74 65 73 74 20 77 68 65 72 65 34 2d  .do_test where4-
13d0: 34 2e 32 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  4.2 {.  execsql 
13e0: 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46  {.    SELECT * F
13f0: 52 4f 4d 20 74 65 73 74 20 74 31 20 4c 45 46 54  ROM test t1 LEFT
1400: 20 4f 55 54 45 52 20 4a 4f 49 4e 20 74 65 73 74   OUTER JOIN test
1410: 32 20 74 32 20 4f 4e 20 74 31 2e 63 6f 6c 31 20  2 t2 ON t1.col1 
1420: 3d 20 74 32 2e 63 6f 6c 31 0a 20 20 20 20 20 20  = t2.col1.      
1430: 57 48 45 52 45 20 74 32 2e 63 6f 6c 31 20 49 53  WHERE t2.col1 IS
1440: 20 4e 55 4c 4c 3b 0a 20 20 7d 0a 7d 20 7b 7d 0a   NULL;.  }.} {}.
1450: 64 6f 5f 74 65 73 74 20 77 68 65 72 65 34 2d 34  do_test where4-4
1460: 2e 33 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b  .3 {.  execsql {
1470: 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52  .    SELECT * FR
1480: 4f 4d 20 74 65 73 74 20 74 31 20 4c 45 46 54 20  OM test t1 LEFT 
1490: 4f 55 54 45 52 20 4a 4f 49 4e 20 74 65 73 74 32  OUTER JOIN test2
14a0: 20 74 32 20 4f 4e 20 74 31 2e 63 6f 6c 31 20 3d   t2 ON t1.col1 =
14b0: 20 74 32 2e 63 6f 6c 31 0a 20 20 20 20 20 20 57   t2.col1.      W
14c0: 48 45 52 45 20 2b 74 31 2e 63 6f 6c 31 20 49 53  HERE +t1.col1 IS
14d0: 20 4e 55 4c 4c 3b 0a 20 20 7d 0a 7d 20 7b 7d 0a   NULL;.  }.} {}.
14e0: 64 6f 5f 74 65 73 74 20 77 68 65 72 65 34 2d 34  do_test where4-4
14f0: 2e 34 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b  .4 {.  execsql {
1500: 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52  .    SELECT * FR
1510: 4f 4d 20 74 65 73 74 20 74 31 20 4c 45 46 54 20  OM test t1 LEFT 
1520: 4f 55 54 45 52 20 4a 4f 49 4e 20 74 65 73 74 32  OUTER JOIN test2
1530: 20 74 32 20 4f 4e 20 74 31 2e 63 6f 6c 31 20 3d   t2 ON t1.col1 =
1540: 20 74 32 2e 63 6f 6c 31 0a 20 20 20 20 20 20 57   t2.col1.      W
1550: 48 45 52 45 20 74 31 2e 63 6f 6c 31 20 49 53 20  HERE t1.col1 IS 
1560: 4e 55 4c 4c 3b 0a 20 20 7d 0a 7d 20 7b 7d 0a 0a  NULL;.  }.} {}..
1570: 23 20 54 69 63 6b 65 74 20 23 32 32 37 33 2e 20  # Ticket #2273. 
1580: 20 50 72 6f 62 6c 65 6d 73 20 77 69 74 68 20 49   Problems with I
1590: 4e 20 6f 70 65 72 61 74 6f 72 73 20 61 6e 64 20  N operators and 
15a0: 4e 55 4c 4c 73 2e 0a 23 0a 64 6f 5f 74 65 73 74  NULLs..#.do_test
15b0: 20 77 68 65 72 65 34 2d 35 2e 31 20 7b 0a 20 20   where4-5.1 {.  
15c0: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 43 52  execsql {.    CR
15d0: 45 41 54 45 20 54 41 42 4c 45 20 74 34 28 78 2c  EATE TABLE t4(x,
15e0: 79 2c 7a 2c 50 52 49 4d 41 52 59 20 4b 45 59 28  y,z,PRIMARY KEY(
15f0: 78 2c 79 29 29 3b 0a 20 20 7d 0a 20 20 65 78 65  x,y));.  }.  exe
1600: 63 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43  csql {.    SELEC
1610: 54 20 2a 0a 20 20 20 20 20 20 46 52 4f 4d 20 74  T *.      FROM t
1620: 32 20 4c 45 46 54 20 4a 4f 49 4e 20 74 34 20 62  2 LEFT JOIN t4 b
1630: 31 0a 20 20 20 20 20 20 20 20 20 20 20 20 20 20  1.              
1640: 4c 45 46 54 20 4a 4f 49 4e 20 74 34 20 62 32 20  LEFT JOIN t4 b2 
1650: 4f 4e 20 62 32 2e 78 3d 62 31 2e 78 20 41 4e 44  ON b2.x=b1.x AND
1660: 20 62 32 2e 79 20 49 4e 20 28 62 31 2e 79 29 3b   b2.y IN (b1.y);
1670: 0a 20 20 7d 0a 7d 20 7b 31 20 7b 7d 20 7b 7d 20  .  }.} {1 {} {} 
1680: 7b 7d 20 7b 7d 20 7b 7d 20 7b 7d 20 32 20 7b 7d  {} {} {} {} 2 {}
1690: 20 7b 7d 20 7b 7d 20 7b 7d 20 7b 7d 20 7b 7d 20   {} {} {} {} {} 
16a0: 33 20 7b 7d 20 7b 7d 20 7b 7d 20 7b 7d 20 7b 7d  3 {} {} {} {} {}
16b0: 20 7b 7d 7d 0a 64 6f 5f 74 65 73 74 20 77 68 65   {}}.do_test whe
16c0: 72 65 34 2d 35 2e 32 20 7b 0a 20 20 65 78 65 63  re4-5.2 {.  exec
16d0: 73 71 6c 20 7b 0a 20 20 20 20 49 4e 53 45 52 54  sql {.    INSERT
16e0: 20 49 4e 54 4f 20 74 34 20 56 41 4c 55 45 53 28   INTO t4 VALUES(
16f0: 31 2c 31 2c 31 31 29 3b 0a 20 20 20 20 49 4e 53  1,1,11);.    INS
1700: 45 52 54 20 49 4e 54 4f 20 74 34 20 56 41 4c 55  ERT INTO t4 VALU
1710: 45 53 28 31 2c 32 2c 31 32 29 3b 0a 20 20 20 20  ES(1,2,12);.    
1720: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 34 20 56  INSERT INTO t4 V
1730: 41 4c 55 45 53 28 31 2c 33 2c 31 33 29 3b 0a 20  ALUES(1,3,13);. 
1740: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
1750: 34 20 56 41 4c 55 45 53 28 32 2c 32 2c 32 32 29  4 VALUES(2,2,22)
1760: 3b 0a 20 20 20 20 53 45 4c 45 43 54 20 72 6f 77  ;.    SELECT row
1770: 69 64 20 46 52 4f 4d 20 74 34 20 57 48 45 52 45  id FROM t4 WHERE
1780: 20 78 20 49 4e 20 28 31 2c 39 2c 32 2c 35 29 20   x IN (1,9,2,5) 
1790: 41 4e 44 20 79 20 49 4e 20 28 31 2c 33 2c 4e 55  AND y IN (1,3,NU
17a0: 4c 4c 2c 32 29 20 41 4e 44 20 7a 21 3d 31 33 3b  LL,2) AND z!=13;
17b0: 0a 20 20 7d 0a 7d 20 7b 31 20 32 20 34 7d 0a 64  .  }.} {1 2 4}.d
17c0: 6f 5f 74 65 73 74 20 77 68 65 72 65 34 2d 35 2e  o_test where4-5.
17d0: 33 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a  3 {.  execsql {.
17e0: 20 20 20 20 53 45 4c 45 43 54 20 72 6f 77 69 64      SELECT rowid
17f0: 20 46 52 4f 4d 20 74 34 20 57 48 45 52 45 20 78   FROM t4 WHERE x
1800: 20 49 4e 20 28 31 2c 39 2c 4e 55 4c 4c 2c 32 29   IN (1,9,NULL,2)
1810: 20 41 4e 44 20 79 20 49 4e 20 28 31 2c 33 2c 32   AND y IN (1,3,2
1820: 29 20 41 4e 44 20 7a 21 3d 31 33 3b 0a 20 20 7d  ) AND z!=13;.  }
1830: 0a 7d 20 7b 31 20 32 20 34 7d 0a 64 6f 5f 74 65  .} {1 2 4}.do_te
1840: 73 74 20 77 68 65 72 65 34 2d 36 2e 31 20 7b 0a  st where4-6.1 {.
1850: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
1860: 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 35 28  CREATE TABLE t5(
1870: 61 2c 62 2c 63 2c 64 2c 65 2c 66 2c 55 4e 49 51  a,b,c,d,e,f,UNIQ
1880: 55 45 28 61 2c 62 2c 63 2c 64 2c 65 2c 66 29 29  UE(a,b,c,d,e,f))
1890: 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  ;.    INSERT INT
18a0: 4f 20 74 35 20 56 41 4c 55 45 53 28 31 2c 31 2c  O t5 VALUES(1,1,
18b0: 31 2c 31 2c 31 2c 31 31 31 31 31 29 3b 0a 20 20  1,1,1,11111);.  
18c0: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 35    INSERT INTO t5
18d0: 20 56 41 4c 55 45 53 28 32 2c 32 2c 32 2c 32 2c   VALUES(2,2,2,2,
18e0: 32 2c 32 32 32 32 32 29 3b 0a 20 20 20 20 49 4e  2,22222);.    IN
18f0: 53 45 52 54 20 49 4e 54 4f 20 74 35 20 56 41 4c  SERT INTO t5 VAL
1900: 55 45 53 28 31 2c 32 2c 33 2c 34 2c 35 2c 31 32  UES(1,2,3,4,5,12
1910: 33 34 35 29 3b 0a 20 20 20 20 49 4e 53 45 52 54  345);.    INSERT
1920: 20 49 4e 54 4f 20 74 35 20 56 41 4c 55 45 53 28   INTO t5 VALUES(
1930: 32 2c 33 2c 34 2c 35 2c 36 2c 32 33 34 35 36 29  2,3,4,5,6,23456)
1940: 3b 0a 20 20 7d 0a 20 20 65 78 65 63 73 71 6c 20  ;.  }.  execsql 
1950: 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 72 6f 77  {.    SELECT row
1960: 69 64 20 46 52 4f 4d 20 74 35 0a 20 20 20 20 20  id FROM t5.     
1970: 57 48 45 52 45 20 61 20 49 4e 20 28 31 2c 39 2c  WHERE a IN (1,9,
1980: 32 29 20 41 4e 44 20 62 3d 32 20 41 4e 44 20 63  2) AND b=2 AND c
1990: 20 49 4e 20 28 31 2c 32 2c 33 2c 34 29 20 41 4e   IN (1,2,3,4) AN
19a0: 44 20 64 3e 30 0a 20 20 7d 0a 7d 20 7b 33 20 32  D d>0.  }.} {3 2
19b0: 7d 0a 64 6f 5f 74 65 73 74 20 77 68 65 72 65 34  }.do_test where4
19c0: 2d 36 2e 32 20 7b 0a 20 20 65 78 65 63 73 71 6c  -6.2 {.  execsql
19d0: 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 72 6f   {.    SELECT ro
19e0: 77 69 64 20 46 52 4f 4d 20 74 35 0a 20 20 20 20  wid FROM t5.    
19f0: 20 57 48 45 52 45 20 61 20 49 4e 20 28 31 2c 4e   WHERE a IN (1,N
1a00: 55 4c 4c 2c 32 29 20 41 4e 44 20 62 3d 32 20 41  ULL,2) AND b=2 A
1a10: 4e 44 20 63 20 49 4e 20 28 31 2c 32 2c 33 2c 34  ND c IN (1,2,3,4
1a20: 29 20 41 4e 44 20 64 3e 30 0a 20 20 7d 0a 7d 20  ) AND d>0.  }.} 
1a30: 7b 33 20 32 7d 0a 64 6f 5f 74 65 73 74 20 77 68  {3 2}.do_test wh
1a40: 65 72 65 34 2d 37 2e 31 20 7b 0a 20 20 65 78 65  ere4-7.1 {.  exe
1a50: 63 73 71 6c 20 7b 0a 20 20 20 20 43 52 45 41 54  csql {.    CREAT
1a60: 45 20 54 41 42 4c 45 20 74 36 28 79 2c 7a 2c 50  E TABLE t6(y,z,P
1a70: 52 49 4d 41 52 59 20 4b 45 59 28 79 2c 7a 29 29  RIMARY KEY(y,z))
1a80: 3b 0a 20 20 7d 0a 20 20 65 78 65 63 73 71 6c 20  ;.  }.  execsql 
1a90: 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46  {.    SELECT * F
1aa0: 52 4f 4d 20 74 36 20 57 48 45 52 45 20 79 3d 4e  ROM t6 WHERE y=N
1ab0: 55 4c 4c 20 41 4e 44 20 7a 20 49 4e 20 28 27 68  ULL AND z IN ('h
1ac0: 65 6c 6c 6f 27 29 3b 0a 20 20 7d 0a 7d 20 7b 7d  ello');.  }.} {}
1ad0: 0a 0a 69 6e 74 65 67 72 69 74 79 5f 63 68 65 63  ..integrity_chec
1ae0: 6b 20 7b 77 68 65 72 65 34 2d 39 39 2e 30 7d 0a  k {where4-99.0}.
1af0: 0a 64 6f 5f 74 65 73 74 20 77 68 65 72 65 34 2d  .do_test where4-
1b00: 37 2e 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  7.1 {.  execsql 
1b10: 7b 0a 20 20 20 20 42 45 47 49 4e 3b 0a 20 20 20  {.    BEGIN;.   
1b20: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 38   CREATE TABLE t8
1b30: 28 61 2c 20 62 2c 20 63 2c 20 64 29 3b 0a 20 20  (a, b, c, d);.  
1b40: 20 20 43 52 45 41 54 45 20 49 4e 44 45 58 20 74    CREATE INDEX t
1b50: 38 5f 69 20 4f 4e 20 74 38 28 61 2c 20 62 2c 20  8_i ON t8(a, b, 
1b60: 63 29 3b 0a 20 20 20 20 43 52 45 41 54 45 20 54  c);.    CREATE T
1b70: 41 42 4c 45 20 74 37 28 69 29 3b 0a 0a 20 20 20  ABLE t7(i);..   
1b80: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 37 20   INSERT INTO t7 
1b90: 56 41 4c 55 45 53 28 31 29 3b 0a 20 20 20 20 49  VALUES(1);.    I
1ba0: 4e 53 45 52 54 20 49 4e 54 4f 20 74 37 20 53 45  NSERT INTO t7 SE
1bb0: 4c 45 43 54 20 69 2a 32 20 46 52 4f 4d 20 74 37  LECT i*2 FROM t7
1bc0: 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  ;.    INSERT INT
1bd0: 4f 20 74 37 20 53 45 4c 45 43 54 20 69 2a 32 20  O t7 SELECT i*2 
1be0: 46 52 4f 4d 20 74 37 3b 0a 20 20 20 20 49 4e 53  FROM t7;.    INS
1bf0: 45 52 54 20 49 4e 54 4f 20 74 37 20 53 45 4c 45  ERT INTO t7 SELE
1c00: 43 54 20 69 2a 32 20 46 52 4f 4d 20 74 37 3b 0a  CT i*2 FROM t7;.
1c10: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
1c20: 74 37 20 53 45 4c 45 43 54 20 69 2a 32 20 46 52  t7 SELECT i*2 FR
1c30: 4f 4d 20 74 37 3b 0a 20 20 20 20 49 4e 53 45 52  OM t7;.    INSER
1c40: 54 20 49 4e 54 4f 20 74 37 20 53 45 4c 45 43 54  T INTO t7 SELECT
1c50: 20 69 2a 32 20 46 52 4f 4d 20 74 37 3b 0a 20 20   i*2 FROM t7;.  
1c60: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 37    INSERT INTO t7
1c70: 20 53 45 4c 45 43 54 20 69 2a 32 20 46 52 4f 4d   SELECT i*2 FROM
1c80: 20 74 37 3b 0a 0a 20 20 20 20 43 4f 4d 4d 49 54   t7;..    COMMIT
1c90: 3b 0a 20 20 7d 0a 7d 20 7b 7d 0a 0a 23 20 41 74  ;.  }.} {}..# At
1ca0: 20 6f 6e 65 20 70 6f 69 6e 74 20 74 68 65 20 73   one point the s
1cb0: 75 62 2d 73 65 6c 65 63 74 20 69 6e 73 69 64 65  ub-select inside
1cc0: 20 74 68 65 20 61 67 67 72 65 67 61 74 65 20 73   the aggregate s
1cd0: 75 6d 28 29 20 66 75 6e 63 74 69 6f 6e 20 69 6e  um() function in
1ce0: 20 74 68 65 0a 23 20 66 6f 6c 6c 6f 77 69 6e 67   the.# following
1cf0: 20 71 75 65 72 79 20 77 61 73 20 6c 65 61 6b 69   query was leaki
1d00: 6e 67 20 61 20 63 6f 75 70 6c 65 20 6f 66 20 73  ng a couple of s
1d10: 74 61 63 6b 20 65 6e 74 72 69 65 73 2e 20 54 68  tack entries. Th
1d20: 69 73 20 71 75 65 72 79 20 0a 23 20 72 75 6e 73  is query .# runs
1d30: 20 74 68 65 20 53 45 4c 45 43 54 20 69 6e 20 61   the SELECT in a
1d40: 20 6c 6f 6f 70 20 65 6e 6f 75 67 68 20 74 69 6d   loop enough tim
1d50: 65 73 20 74 68 61 74 20 61 6e 20 61 73 73 65 72  es that an asser
1d60: 74 28 29 20 66 61 69 6c 73 2e 20 4f 72 20 72 61  t() fails. Or ra
1d70: 74 68 65 72 2c 0a 23 20 64 69 64 20 66 61 69 6c  ther,.# did fail
1d80: 20 62 65 66 6f 72 65 20 74 68 65 20 62 75 67 20   before the bug 
1d90: 77 61 73 20 66 69 78 65 64 2e 0a 23 0a 64 6f 5f  was fixed..#.do_
1da0: 74 65 73 74 20 77 68 65 72 65 34 2d 37 2e 32 20  test where4-7.2 
1db0: 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20  {.  execsql {.  
1dc0: 20 20 53 45 4c 45 43 54 20 73 75 6d 28 28 0a 20    SELECT sum((. 
1dd0: 20 20 20 20 20 53 45 4c 45 43 54 20 64 20 46 52       SELECT d FR
1de0: 4f 4d 20 74 38 20 57 48 45 52 45 20 61 20 3d 20  OM t8 WHERE a = 
1df0: 69 20 41 4e 44 20 62 20 3d 20 69 20 41 4e 44 20  i AND b = i AND 
1e00: 63 20 3c 20 4e 55 4c 4c 0a 20 20 20 20 29 29 20  c < NULL.    )) 
1e10: 46 52 4f 4d 20 74 37 3b 0a 20 20 7d 0a 7d 20 7b  FROM t7;.  }.} {
1e20: 7b 7d 7d 0a 0a 66 69 6e 69 73 68 5f 74 65 73 74  {}}..finish_test
1e30: 0a                                               .