/ Hex Artifact Content
Login

Artifact 4a371bfcc607f41d233701bdec33ac2972908ba8:


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 73 65 74 20 74 65 73  ster.tcl.set tes
0380: 74 70 72 65 66 69 78 20 77 68 65 72 65 34 0a 0a  tprefix where4..
0390: 69 66 63 61 70 61 62 6c 65 20 21 74 63 6c 76 61  ifcapable !tclva
03a0: 72 7c 7c 21 62 6c 6f 62 6c 69 74 20 7b 0a 20 20  r||!bloblit {.  
03b0: 66 69 6e 69 73 68 5f 74 65 73 74 0a 20 20 72 65  finish_test.  re
03c0: 74 75 72 6e 0a 7d 0a 0a 23 20 42 75 69 6c 64 20  turn.}..# Build 
03d0: 73 6f 6d 65 20 74 65 73 74 20 64 61 74 61 0a 23  some test data.#
03e0: 0a 64 6f 5f 74 65 73 74 20 77 68 65 72 65 34 2d  .do_test where4-
03f0: 31 2e 30 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  1.0 {.  execsql 
0400: 7b 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 42  {.    CREATE TAB
0410: 4c 45 20 74 31 28 77 2c 20 78 2c 20 79 29 3b 0a  LE t1(w, x, y);.
0420: 20 20 20 20 43 52 45 41 54 45 20 49 4e 44 45 58      CREATE INDEX
0430: 20 69 31 77 78 79 20 4f 4e 20 74 31 28 77 2c 78   i1wxy ON t1(w,x
0440: 2c 79 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20  ,y);.    INSERT 
0450: 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 31  INTO t1 VALUES(1
0460: 2c 32 2c 33 29 3b 0a 20 20 20 20 49 4e 53 45 52  ,2,3);.    INSER
0470: 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53  T INTO t1 VALUES
0480: 28 31 2c 4e 55 4c 4c 2c 33 29 3b 0a 20 20 20 20  (1,NULL,3);.    
0490: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56  INSERT INTO t1 V
04a0: 41 4c 55 45 53 28 27 61 27 2c 27 62 27 2c 27 63  ALUES('a','b','c
04b0: 27 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49  ');.    INSERT I
04c0: 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 27 61  NTO t1 VALUES('a
04d0: 27 2c 4e 55 4c 4c 2c 27 63 27 29 3b 0a 20 20 20  ',NULL,'c');.   
04e0: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20   INSERT INTO t1 
04f0: 56 41 4c 55 45 53 28 58 27 37 38 27 2c 78 27 37  VALUES(X'78',x'7
0500: 39 27 2c 78 27 37 61 27 29 3b 0a 20 20 20 20 49  9',x'7a');.    I
0510: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41  NSERT INTO t1 VA
0520: 4c 55 45 53 28 58 27 37 38 27 2c 4e 55 4c 4c 2c  LUES(X'78',NULL,
0530: 58 27 37 41 27 29 3b 0a 20 20 20 20 49 4e 53 45  X'7A');.    INSE
0540: 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45  RT INTO t1 VALUE
0550: 53 28 4e 55 4c 4c 2c 4e 55 4c 4c 2c 4e 55 4c 4c  S(NULL,NULL,NULL
0560: 29 3b 0a 20 20 20 20 53 45 4c 45 43 54 20 63 6f  );.    SELECT co
0570: 75 6e 74 28 2a 29 20 46 52 4f 4d 20 74 31 3b 0a  unt(*) FROM t1;.
0580: 20 20 7d 0a 7d 20 7b 37 7d 0a 0a 23 20 44 6f 20    }.} {7}..# Do 
0590: 61 6e 20 53 51 4c 20 73 74 61 74 65 6d 65 6e 74  an SQL statement
05a0: 2e 20 20 41 70 70 65 6e 64 20 74 68 65 20 73 65  .  Append the se
05b0: 61 72 63 68 20 63 6f 75 6e 74 20 74 6f 20 74 68  arch count to th
05c0: 65 20 65 6e 64 20 6f 66 20 74 68 65 20 72 65 73  e end of the res
05d0: 75 6c 74 2e 0a 23 0a 70 72 6f 63 20 63 6f 75 6e  ult..#.proc coun
05e0: 74 20 73 71 6c 20 7b 0a 20 20 73 65 74 20 3a 3a  t sql {.  set ::
05f0: 73 71 6c 69 74 65 5f 73 65 61 72 63 68 5f 63 6f  sqlite_search_co
0600: 75 6e 74 20 30 0a 20 20 72 65 74 75 72 6e 20 5b  unt 0.  return [
0610: 63 6f 6e 63 61 74 20 5b 65 78 65 63 73 71 6c 20  concat [execsql 
0620: 24 73 71 6c 5d 20 24 3a 3a 73 71 6c 69 74 65 5f  $sql] $::sqlite_
0630: 73 65 61 72 63 68 5f 63 6f 75 6e 74 5d 0a 7d 0a  search_count].}.
0640: 0a 23 20 56 65 72 69 66 79 20 74 68 61 74 20 71  .# Verify that q
0650: 75 65 72 69 65 73 20 75 73 65 20 61 6e 20 69 6e  ueries use an in
0660: 64 65 78 2e 20 20 57 65 20 61 72 65 20 75 73 69  dex.  We are usi
0670: 6e 67 20 74 68 65 20 73 70 65 63 69 61 6c 20 76  ng the special v
0680: 61 72 69 61 62 6c 65 0a 23 20 22 73 71 6c 69 74  ariable.# "sqlit
0690: 65 5f 73 65 61 72 63 68 5f 63 6f 75 6e 74 22 20  e_search_count" 
06a0: 77 68 69 63 68 20 74 61 6c 6c 79 73 20 74 68 65  which tallys the
06b0: 20 6e 75 6d 62 65 72 20 6f 66 20 65 78 65 63 75   number of execu
06c0: 74 69 6f 6e 73 20 6f 66 20 4d 6f 76 65 54 6f 0a  tions of MoveTo.
06d0: 23 20 61 6e 64 20 4e 65 78 74 20 6f 70 65 72 61  # and Next opera
06e0: 74 6f 72 73 20 69 6e 20 74 68 65 20 56 44 42 45  tors in the VDBE
06f0: 2e 20 20 42 79 20 76 65 72 69 66 69 6e 67 20 74  .  By verifing t
0700: 68 61 74 20 74 68 65 20 73 65 61 72 63 68 20 63  hat the search c
0710: 6f 75 6e 74 20 69 73 0a 23 20 73 6d 61 6c 6c 20  ount is.# small 
0720: 77 65 20 63 61 6e 20 62 65 20 61 73 73 75 72 65  we can be assure
0730: 64 20 74 68 61 74 20 69 6e 64 69 63 65 73 20 61  d that indices a
0740: 72 65 20 62 65 69 6e 67 20 75 73 65 64 20 70 72  re being used pr
0750: 6f 70 65 72 6c 79 2e 0a 23 0a 64 6f 5f 74 65 73  operly..#.do_tes
0760: 74 20 77 68 65 72 65 34 2d 31 2e 31 20 7b 0a 20  t where4-1.1 {. 
0770: 20 63 6f 75 6e 74 20 7b 53 45 4c 45 43 54 20 72   count {SELECT r
0780: 6f 77 69 64 20 46 52 4f 4d 20 74 31 20 57 48 45  owid FROM t1 WHE
0790: 52 45 20 77 20 49 53 20 4e 55 4c 4c 7d 0a 7d 20  RE w IS NULL}.} 
07a0: 7b 37 20 32 7d 0a 64 6f 5f 74 65 73 74 20 77 68  {7 2}.do_test wh
07b0: 65 72 65 34 2d 31 2e 31 62 20 7b 0a 20 20 75 6e  ere4-1.1b {.  un
07c0: 73 65 74 20 2d 6e 6f 63 6f 6d 70 6c 61 69 6e 20  set -nocomplain 
07d0: 6e 75 6c 6c 0a 20 20 63 6f 75 6e 74 20 7b 53 45  null.  count {SE
07e0: 4c 45 43 54 20 72 6f 77 69 64 20 46 52 4f 4d 20  LECT rowid FROM 
07f0: 74 31 20 57 48 45 52 45 20 77 20 49 53 20 24 6e  t1 WHERE w IS $n
0800: 75 6c 6c 7d 0a 7d 20 7b 37 20 32 7d 0a 64 6f 5f  ull}.} {7 2}.do_
0810: 74 65 73 74 20 77 68 65 72 65 34 2d 31 2e 32 20  test where4-1.2 
0820: 7b 0a 20 20 63 6f 75 6e 74 20 7b 53 45 4c 45 43  {.  count {SELEC
0830: 54 20 72 6f 77 69 64 20 46 52 4f 4d 20 74 31 20  T rowid FROM t1 
0840: 57 48 45 52 45 20 2b 77 20 49 53 20 4e 55 4c 4c  WHERE +w IS NULL
0850: 7d 0a 7d 20 7b 37 20 36 7d 0a 64 6f 5f 74 65 73  }.} {7 6}.do_tes
0860: 74 20 77 68 65 72 65 34 2d 31 2e 33 20 7b 0a 20  t where4-1.3 {. 
0870: 20 63 6f 75 6e 74 20 7b 53 45 4c 45 43 54 20 72   count {SELECT r
0880: 6f 77 69 64 20 46 52 4f 4d 20 74 31 20 57 48 45  owid FROM t1 WHE
0890: 52 45 20 77 3d 31 20 41 4e 44 20 78 20 49 53 20  RE w=1 AND x IS 
08a0: 4e 55 4c 4c 7d 0a 7d 20 7b 32 20 32 7d 0a 64 6f  NULL}.} {2 2}.do
08b0: 5f 74 65 73 74 20 77 68 65 72 65 34 2d 31 2e 34  _test where4-1.4
08c0: 20 7b 0a 20 20 63 6f 75 6e 74 20 7b 53 45 4c 45   {.  count {SELE
08d0: 43 54 20 72 6f 77 69 64 20 46 52 4f 4d 20 74 31  CT rowid FROM t1
08e0: 20 57 48 45 52 45 20 77 3d 31 20 41 4e 44 20 2b   WHERE w=1 AND +
08f0: 78 20 49 53 20 4e 55 4c 4c 7d 0a 7d 20 7b 32 20  x IS NULL}.} {2 
0900: 33 7d 0a 64 6f 5f 74 65 73 74 20 77 68 65 72 65  3}.do_test where
0910: 34 2d 31 2e 35 20 7b 0a 20 20 63 6f 75 6e 74 20  4-1.5 {.  count 
0920: 7b 53 45 4c 45 43 54 20 72 6f 77 69 64 20 46 52  {SELECT rowid FR
0930: 4f 4d 20 74 31 20 57 48 45 52 45 20 77 3d 31 20  OM t1 WHERE w=1 
0940: 41 4e 44 20 78 3e 30 7d 0a 7d 20 7b 31 20 32 7d  AND x>0}.} {1 2}
0950: 0a 64 6f 5f 74 65 73 74 20 77 68 65 72 65 34 2d  .do_test where4-
0960: 31 2e 36 20 7b 0a 20 20 63 6f 75 6e 74 20 7b 53  1.6 {.  count {S
0970: 45 4c 45 43 54 20 72 6f 77 69 64 20 46 52 4f 4d  ELECT rowid FROM
0980: 20 74 31 20 57 48 45 52 45 20 77 3d 31 20 41 4e   t1 WHERE w=1 AN
0990: 44 20 78 3c 39 7d 0a 7d 20 7b 31 20 32 7d 0a 64  D x<9}.} {1 2}.d
09a0: 6f 5f 74 65 73 74 20 77 68 65 72 65 34 2d 31 2e  o_test where4-1.
09b0: 37 20 7b 0a 20 20 63 6f 75 6e 74 20 7b 53 45 4c  7 {.  count {SEL
09c0: 45 43 54 20 72 6f 77 69 64 20 46 52 4f 4d 20 74  ECT rowid FROM t
09d0: 31 20 57 48 45 52 45 20 77 3d 31 20 41 4e 44 20  1 WHERE w=1 AND 
09e0: 78 20 49 53 20 4e 55 4c 4c 20 41 4e 44 20 79 3d  x IS NULL AND y=
09f0: 33 7d 0a 7d 20 7b 32 20 32 7d 0a 64 6f 5f 74 65  3}.} {2 2}.do_te
0a00: 73 74 20 77 68 65 72 65 34 2d 31 2e 38 20 7b 0a  st where4-1.8 {.
0a10: 20 20 63 6f 75 6e 74 20 7b 53 45 4c 45 43 54 20    count {SELECT 
0a20: 72 6f 77 69 64 20 46 52 4f 4d 20 74 31 20 57 48  rowid FROM t1 WH
0a30: 45 52 45 20 77 3d 31 20 41 4e 44 20 78 20 49 53  ERE w=1 AND x IS
0a40: 20 4e 55 4c 4c 20 41 4e 44 20 79 3e 32 7d 0a 7d   NULL AND y>2}.}
0a50: 20 7b 32 20 32 7d 0a 64 6f 5f 74 65 73 74 20 77   {2 2}.do_test w
0a60: 68 65 72 65 34 2d 31 2e 39 20 7b 0a 20 20 63 6f  here4-1.9 {.  co
0a70: 75 6e 74 20 7b 53 45 4c 45 43 54 20 72 6f 77 69  unt {SELECT rowi
0a80: 64 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20  d FROM t1 WHERE 
0a90: 77 3d 27 61 27 20 41 4e 44 20 78 20 49 53 20 4e  w='a' AND x IS N
0aa0: 55 4c 4c 20 41 4e 44 20 79 3d 27 63 27 7d 0a 7d  ULL AND y='c'}.}
0ab0: 20 7b 34 20 32 7d 0a 64 6f 5f 74 65 73 74 20 77   {4 2}.do_test w
0ac0: 68 65 72 65 34 2d 31 2e 31 30 20 7b 0a 20 20 63  here4-1.10 {.  c
0ad0: 6f 75 6e 74 20 7b 53 45 4c 45 43 54 20 72 6f 77  ount {SELECT row
0ae0: 69 64 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45  id FROM t1 WHERE
0af0: 20 77 3d 78 27 37 38 27 20 41 4e 44 20 78 20 49   w=x'78' AND x I
0b00: 53 20 4e 55 4c 4c 7d 0a 7d 20 7b 36 20 32 7d 0a  S NULL}.} {6 2}.
0b10: 64 6f 5f 74 65 73 74 20 77 68 65 72 65 34 2d 31  do_test where4-1
0b20: 2e 31 31 20 7b 0a 20 20 63 6f 75 6e 74 20 7b 53  .11 {.  count {S
0b30: 45 4c 45 43 54 20 72 6f 77 69 64 20 46 52 4f 4d  ELECT rowid FROM
0b40: 20 74 31 20 57 48 45 52 45 20 77 3d 78 27 37 38   t1 WHERE w=x'78
0b50: 27 20 41 4e 44 20 78 20 49 53 20 4e 55 4c 4c 20  ' AND x IS NULL 
0b60: 41 4e 44 20 79 3d 31 32 33 7d 0a 7d 20 7b 30 7d  AND y=123}.} {0}
0b70: 0a 64 6f 5f 74 65 73 74 20 77 68 65 72 65 34 2d  .do_test where4-
0b80: 31 2e 31 32 20 7b 0a 20 20 63 6f 75 6e 74 20 7b  1.12 {.  count {
0b90: 53 45 4c 45 43 54 20 72 6f 77 69 64 20 46 52 4f  SELECT rowid FRO
0ba0: 4d 20 74 31 20 57 48 45 52 45 20 77 3d 78 27 37  M t1 WHERE w=x'7
0bb0: 38 27 20 41 4e 44 20 78 20 49 53 20 4e 55 4c 4c  8' AND x IS NULL
0bc0: 20 41 4e 44 20 79 3d 78 27 37 41 27 7d 0a 7d 20   AND y=x'7A'}.} 
0bd0: 7b 36 20 32 7d 0a 64 6f 5f 74 65 73 74 20 77 68  {6 2}.do_test wh
0be0: 65 72 65 34 2d 31 2e 31 33 20 7b 0a 20 20 63 6f  ere4-1.13 {.  co
0bf0: 75 6e 74 20 7b 53 45 4c 45 43 54 20 72 6f 77 69  unt {SELECT rowi
0c00: 64 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20  d FROM t1 WHERE 
0c10: 77 20 49 53 20 4e 55 4c 4c 20 41 4e 44 20 78 20  w IS NULL AND x 
0c20: 49 53 20 4e 55 4c 4c 7d 0a 7d 20 7b 37 20 32 7d  IS NULL}.} {7 2}
0c30: 0a 64 6f 5f 74 65 73 74 20 77 68 65 72 65 34 2d  .do_test where4-
0c40: 31 2e 31 34 20 7b 0a 20 20 63 6f 75 6e 74 20 7b  1.14 {.  count {
0c50: 53 45 4c 45 43 54 20 72 6f 77 69 64 20 46 52 4f  SELECT rowid FRO
0c60: 4d 20 74 31 20 57 48 45 52 45 20 77 20 49 53 20  M t1 WHERE w IS 
0c70: 4e 55 4c 4c 20 41 4e 44 20 78 20 49 53 20 4e 55  NULL AND x IS NU
0c80: 4c 4c 20 41 4e 44 20 79 20 49 53 20 4e 55 4c 4c  LL AND y IS NULL
0c90: 7d 0a 7d 20 7b 37 20 32 7d 0a 64 6f 5f 74 65 73  }.} {7 2}.do_tes
0ca0: 74 20 77 68 65 72 65 34 2d 31 2e 31 35 20 7b 0a  t where4-1.15 {.
0cb0: 20 20 63 6f 75 6e 74 20 7b 53 45 4c 45 43 54 20    count {SELECT 
0cc0: 72 6f 77 69 64 20 46 52 4f 4d 20 74 31 20 57 48  rowid FROM t1 WH
0cd0: 45 52 45 20 77 20 49 53 20 4e 55 4c 4c 20 41 4e  ERE w IS NULL AN
0ce0: 44 20 78 20 49 53 20 4e 55 4c 4c 20 41 4e 44 20  D x IS NULL AND 
0cf0: 79 3c 30 7d 0a 7d 20 7b 31 7d 0a 64 6f 5f 74 65  y<0}.} {1}.do_te
0d00: 73 74 20 77 68 65 72 65 34 2d 31 2e 31 36 20 7b  st where4-1.16 {
0d10: 0a 20 20 63 6f 75 6e 74 20 7b 53 45 4c 45 43 54  .  count {SELECT
0d20: 20 72 6f 77 69 64 20 46 52 4f 4d 20 74 31 20 57   rowid FROM t1 W
0d30: 48 45 52 45 20 77 20 49 53 20 4e 55 4c 4c 20 41  HERE w IS NULL A
0d40: 4e 44 20 78 20 49 53 20 4e 55 4c 4c 20 41 4e 44  ND x IS NULL AND
0d50: 20 79 3e 3d 30 7d 0a 7d 20 7b 31 7d 0a 0a 64 6f   y>=0}.} {1}..do
0d60: 5f 74 65 73 74 20 77 68 65 72 65 34 2d 32 2e 31  _test where4-2.1
0d70: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 53 45   {.  execsql {SE
0d80: 4c 45 43 54 20 72 6f 77 69 64 20 46 52 4f 4d 20  LECT rowid FROM 
0d90: 74 31 20 4f 52 44 45 52 20 42 59 20 77 2c 20 78  t1 ORDER BY w, x
0da0: 2c 20 79 7d 0a 7d 20 7b 37 20 32 20 31 20 34 20  , y}.} {7 2 1 4 
0db0: 33 20 36 20 35 7d 0a 64 6f 5f 74 65 73 74 20 77  3 6 5}.do_test w
0dc0: 68 65 72 65 34 2d 32 2e 32 20 7b 0a 20 20 65 78  here4-2.2 {.  ex
0dd0: 65 63 73 71 6c 20 7b 53 45 4c 45 43 54 20 72 6f  ecsql {SELECT ro
0de0: 77 69 64 20 46 52 4f 4d 20 74 31 20 4f 52 44 45  wid FROM t1 ORDE
0df0: 52 20 42 59 20 77 20 44 45 53 43 2c 20 78 2c 20  R BY w DESC, x, 
0e00: 79 7d 0a 7d 20 7b 36 20 35 20 34 20 33 20 32 20  y}.} {6 5 4 3 2 
0e10: 31 20 37 7d 0a 64 6f 5f 74 65 73 74 20 77 68 65  1 7}.do_test whe
0e20: 72 65 34 2d 32 2e 33 20 7b 0a 20 20 65 78 65 63  re4-2.3 {.  exec
0e30: 73 71 6c 20 7b 53 45 4c 45 43 54 20 72 6f 77 69  sql {SELECT rowi
0e40: 64 20 46 52 4f 4d 20 74 31 20 4f 52 44 45 52 20  d FROM t1 ORDER 
0e50: 42 59 20 77 2c 20 78 20 44 45 53 43 2c 20 79 7d  BY w, x DESC, y}
0e60: 0a 7d 20 7b 37 20 31 20 32 20 33 20 34 20 35 20  .} {7 1 2 3 4 5 
0e70: 36 7d 0a 0a 0a 23 20 54 69 63 6b 65 74 20 23 32  6}...# Ticket #2
0e80: 31 37 37 0a 23 0a 23 20 53 75 70 70 6f 73 65 20  177.#.# Suppose 
0e90: 79 6f 75 20 68 61 76 65 20 61 20 6c 65 66 74 20  you have a left 
0ea0: 6a 6f 69 6e 20 77 68 65 72 65 20 74 68 65 20 72  join where the r
0eb0: 69 67 68 74 20 74 61 62 6c 65 20 6f 66 20 74 68  ight table of th
0ec0: 65 20 6c 65 66 74 0a 23 20 6a 6f 69 6e 20 28 74  e left.# join (t
0ed0: 68 65 20 6f 6e 65 20 74 68 61 74 20 63 61 6e 20  he one that can 
0ee0: 62 65 20 4e 55 4c 4c 29 20 68 61 73 20 61 6e 20  be NULL) has an 
0ef0: 69 6e 64 65 78 20 6f 6e 20 74 77 6f 20 63 6f 6c  index on two col
0f00: 75 6d 6e 73 2e 0a 23 20 54 68 65 20 66 69 72 73  umns..# The firs
0f10: 74 20 69 6e 64 65 78 65 64 20 63 6f 6c 75 6d 6e  t indexed column
0f20: 20 69 73 20 75 73 65 64 20 69 6e 20 74 68 65 20   is used in the 
0f30: 4f 4e 20 63 6c 61 75 73 65 20 6f 66 20 74 68 65  ON clause of the
0f40: 20 6a 6f 69 6e 2e 0a 23 20 54 68 65 20 73 65 63   join..# The sec
0f50: 6f 6e 64 20 69 6e 64 65 78 65 64 20 63 6f 6c 75  ond indexed colu
0f60: 6d 6e 20 69 73 20 75 73 65 64 20 69 6e 20 74 68  mn is used in th
0f70: 65 20 57 48 45 52 45 20 63 6c 61 75 73 65 20 77  e WHERE clause w
0f80: 69 74 68 20 61 6e 20 49 53 20 4e 55 4c 4c 0a 23  ith an IS NULL.#
0f90: 20 63 6f 6e 73 74 72 61 69 6e 74 2e 20 20 49 74   constraint.  It
0fa0: 20 69 73 20 6e 6f 74 20 61 6c 6c 6f 77 65 64 20   is not allowed 
0fb0: 74 6f 20 75 73 65 20 74 68 65 20 49 53 20 4e 55  to use the IS NU
0fc0: 4c 4c 20 6f 70 74 69 6d 69 7a 61 74 69 6f 6e 20  LL optimization 
0fd0: 74 6f 0a 23 20 6f 70 74 69 6d 69 7a 65 20 74 68  to.# optimize th
0fe0: 65 20 71 75 65 72 79 20 62 65 63 61 75 73 65 20  e query because 
0ff0: 74 68 65 20 73 65 63 6f 6e 64 20 63 6f 6c 75 6d  the second colum
1000: 6e 20 6d 69 67 68 74 20 62 65 20 4e 55 4c 4c 20  n might be NULL 
1010: 62 65 63 61 75 73 65 0a 23 20 74 68 65 20 72 69  because.# the ri
1020: 67 68 74 20 74 61 62 6c 65 20 64 69 64 20 6e 6f  ght table did no
1030: 74 20 6d 61 74 63 68 20 2d 20 73 6f 6d 65 74 68  t match - someth
1040: 69 6e 67 20 74 68 65 20 69 6e 64 65 78 20 64 6f  ing the index do
1050: 65 73 20 6e 6f 74 20 6b 6e 6f 77 0a 23 20 61 62  es not know.# ab
1060: 6f 75 74 2e 0a 23 0a 64 6f 5f 74 65 73 74 20 77  out..#.do_test w
1070: 68 65 72 65 34 2d 33 2e 31 20 7b 0a 20 20 65 78  here4-3.1 {.  ex
1080: 65 63 73 71 6c 20 7b 0a 20 20 20 20 43 52 45 41  ecsql {.    CREA
1090: 54 45 20 54 41 42 4c 45 20 74 32 28 61 29 3b 0a  TE TABLE t2(a);.
10a0: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
10b0: 74 32 20 56 41 4c 55 45 53 28 31 29 3b 0a 20 20  t2 VALUES(1);.  
10c0: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32    INSERT INTO t2
10d0: 20 56 41 4c 55 45 53 28 32 29 3b 0a 20 20 20 20   VALUES(2);.    
10e0: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20 56  INSERT INTO t2 V
10f0: 41 4c 55 45 53 28 33 29 3b 0a 20 20 20 20 43 52  ALUES(3);.    CR
1100: 45 41 54 45 20 54 41 42 4c 45 20 74 33 28 78 2c  EATE TABLE t3(x,
1110: 79 2c 55 4e 49 51 55 45 28 22 78 22 2c 27 79 27  y,UNIQUE("x",'y'
1120: 20 41 53 43 29 29 3b 20 2d 2d 20 47 6f 6f 66 79   ASC)); -- Goofy
1130: 20 73 79 6e 74 61 78 20 61 6c 6c 6f 77 65 64 0a   syntax allowed.
1140: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
1150: 74 33 20 56 41 4c 55 45 53 28 31 2c 31 31 29 3b  t3 VALUES(1,11);
1160: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
1170: 20 74 33 20 56 41 4c 55 45 53 28 32 2c 4e 55 4c   t3 VALUES(2,NUL
1180: 4c 29 3b 0a 20 0a 20 20 20 20 53 45 4c 45 43 54  L);. .    SELECT
1190: 20 2a 20 46 52 4f 4d 20 74 32 20 4c 45 46 54 20   * FROM t2 LEFT 
11a0: 4a 4f 49 4e 20 74 33 20 4f 4e 20 61 3d 78 20 57  JOIN t3 ON a=x W
11b0: 48 45 52 45 20 2b 79 20 49 53 20 4e 55 4c 4c 3b  HERE +y IS NULL;
11c0: 0a 20 20 7d 0a 7d 20 7b 32 20 32 20 7b 7d 20 33  .  }.} {2 2 {} 3
11d0: 20 7b 7d 20 7b 7d 7d 0a 64 6f 5f 74 65 73 74 20   {} {}}.do_test 
11e0: 77 68 65 72 65 34 2d 33 2e 32 20 7b 0a 20 20 65  where4-3.2 {.  e
11f0: 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c  xecsql {.    SEL
1200: 45 43 54 20 2a 20 46 52 4f 4d 20 74 32 20 4c 45  ECT * FROM t2 LE
1210: 46 54 20 4a 4f 49 4e 20 74 33 20 4f 4e 20 61 3d  FT JOIN t3 ON a=
1220: 78 20 57 48 45 52 45 20 79 20 49 53 20 4e 55 4c  x WHERE y IS NUL
1230: 4c 3b 0a 20 20 7d 0a 7d 20 7b 32 20 32 20 7b 7d  L;.  }.} {2 2 {}
1240: 20 33 20 7b 7d 20 7b 7d 7d 0a 64 6f 5f 74 65 73   3 {} {}}.do_tes
1250: 74 20 77 68 65 72 65 34 2d 33 2e 33 20 7b 0a 20  t where4-3.3 {. 
1260: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 53   execsql {.    S
1270: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 32 20  ELECT * FROM t2 
1280: 4c 45 46 54 20 4a 4f 49 4e 20 74 33 20 4f 4e 20  LEFT JOIN t3 ON 
1290: 61 3d 78 20 57 48 45 52 45 20 4e 55 4c 4c 20 69  a=x WHERE NULL i
12a0: 73 20 79 3b 0a 20 20 7d 0a 7d 20 7b 32 20 32 20  s y;.  }.} {2 2 
12b0: 7b 7d 20 33 20 7b 7d 20 7b 7d 7d 0a 64 6f 5f 74  {} 3 {} {}}.do_t
12c0: 65 73 74 20 77 68 65 72 65 34 2d 33 2e 34 20 7b  est where4-3.4 {
12d0: 0a 20 20 75 6e 73 65 74 20 2d 6e 6f 63 6f 6d 70  .  unset -nocomp
12e0: 6c 61 69 6e 20 6e 75 6c 6c 0a 20 20 65 78 65 63  lain null.  exec
12f0: 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54  sql {.    SELECT
1300: 20 2a 20 46 52 4f 4d 20 74 32 20 4c 45 46 54 20   * FROM t2 LEFT 
1310: 4a 4f 49 4e 20 74 33 20 4f 4e 20 61 3d 78 20 57  JOIN t3 ON a=x W
1320: 48 45 52 45 20 79 20 49 53 20 24 6e 75 6c 6c 3b  HERE y IS $null;
1330: 0a 20 20 7d 0a 7d 20 7b 32 20 32 20 7b 7d 20 33  .  }.} {2 2 {} 3
1340: 20 7b 7d 20 7b 7d 7d 0a 0a 23 20 54 69 63 6b 65   {} {}}..# Ticke
1350: 74 20 23 32 31 38 39 2e 20 20 50 72 6f 62 61 62  t #2189.  Probab
1360: 6c 79 20 74 68 65 20 73 61 6d 65 20 62 75 67 20  ly the same bug 
1370: 61 73 20 23 32 31 37 37 2e 0a 23 0a 64 6f 5f 74  as #2177..#.do_t
1380: 65 73 74 20 77 68 65 72 65 34 2d 34 2e 31 20 7b  est where4-4.1 {
1390: 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20  .  execsql {.   
13a0: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 65   CREATE TABLE te
13b0: 73 74 28 63 6f 6c 31 20 54 45 58 54 20 50 52 49  st(col1 TEXT PRI
13c0: 4d 41 52 59 20 4b 45 59 29 3b 0a 20 20 20 20 49  MARY KEY);.    I
13d0: 4e 53 45 52 54 20 49 4e 54 4f 20 74 65 73 74 28  NSERT INTO test(
13e0: 63 6f 6c 31 29 20 76 61 6c 75 65 73 28 27 61 27  col1) values('a'
13f0: 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e  );.    INSERT IN
1400: 54 4f 20 74 65 73 74 28 63 6f 6c 31 29 20 76 61  TO test(col1) va
1410: 6c 75 65 73 28 27 62 27 29 3b 0a 20 20 20 20 49  lues('b');.    I
1420: 4e 53 45 52 54 20 49 4e 54 4f 20 74 65 73 74 28  NSERT INTO test(
1430: 63 6f 6c 31 29 20 76 61 6c 75 65 73 28 27 63 27  col1) values('c'
1440: 29 3b 0a 20 20 20 20 43 52 45 41 54 45 20 54 41  );.    CREATE TA
1450: 42 4c 45 20 74 65 73 74 32 28 63 6f 6c 31 20 54  BLE test2(col1 T
1460: 45 58 54 20 50 52 49 4d 41 52 59 20 4b 45 59 29  EXT PRIMARY KEY)
1470: 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  ;.    INSERT INT
1480: 4f 20 74 65 73 74 32 28 63 6f 6c 31 29 20 76 61  O test2(col1) va
1490: 6c 75 65 73 28 27 61 27 29 3b 0a 20 20 20 20 49  lues('a');.    I
14a0: 4e 53 45 52 54 20 49 4e 54 4f 20 74 65 73 74 32  NSERT INTO test2
14b0: 28 63 6f 6c 31 29 20 76 61 6c 75 65 73 28 27 62  (col1) values('b
14c0: 27 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49  ');.    INSERT I
14d0: 4e 54 4f 20 74 65 73 74 32 28 63 6f 6c 31 29 20  NTO test2(col1) 
14e0: 76 61 6c 75 65 73 28 27 63 27 29 3b 0a 20 20 20  values('c');.   
14f0: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74   SELECT * FROM t
1500: 65 73 74 20 74 31 20 4c 45 46 54 20 4f 55 54 45  est t1 LEFT OUTE
1510: 52 20 4a 4f 49 4e 20 74 65 73 74 32 20 74 32 20  R JOIN test2 t2 
1520: 4f 4e 20 74 31 2e 63 6f 6c 31 20 3d 20 74 32 2e  ON t1.col1 = t2.
1530: 63 6f 6c 31 0a 20 20 20 20 20 20 57 48 45 52 45  col1.      WHERE
1540: 20 2b 74 32 2e 63 6f 6c 31 20 49 53 20 4e 55 4c   +t2.col1 IS NUL
1550: 4c 3b 0a 20 20 7d 0a 7d 20 7b 7d 0a 64 6f 5f 74  L;.  }.} {}.do_t
1560: 65 73 74 20 77 68 65 72 65 34 2d 34 2e 32 20 7b  est where4-4.2 {
1570: 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20  .  execsql {.   
1580: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74   SELECT * FROM t
1590: 65 73 74 20 74 31 20 4c 45 46 54 20 4f 55 54 45  est t1 LEFT OUTE
15a0: 52 20 4a 4f 49 4e 20 74 65 73 74 32 20 74 32 20  R JOIN test2 t2 
15b0: 4f 4e 20 74 31 2e 63 6f 6c 31 20 3d 20 74 32 2e  ON t1.col1 = t2.
15c0: 63 6f 6c 31 0a 20 20 20 20 20 20 57 48 45 52 45  col1.      WHERE
15d0: 20 74 32 2e 63 6f 6c 31 20 49 53 20 4e 55 4c 4c   t2.col1 IS NULL
15e0: 3b 0a 20 20 7d 0a 7d 20 7b 7d 0a 64 6f 5f 74 65  ;.  }.} {}.do_te
15f0: 73 74 20 77 68 65 72 65 34 2d 34 2e 33 20 7b 0a  st where4-4.3 {.
1600: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
1610: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 65  SELECT * FROM te
1620: 73 74 20 74 31 20 4c 45 46 54 20 4f 55 54 45 52  st t1 LEFT OUTER
1630: 20 4a 4f 49 4e 20 74 65 73 74 32 20 74 32 20 4f   JOIN test2 t2 O
1640: 4e 20 74 31 2e 63 6f 6c 31 20 3d 20 74 32 2e 63  N t1.col1 = t2.c
1650: 6f 6c 31 0a 20 20 20 20 20 20 57 48 45 52 45 20  ol1.      WHERE 
1660: 2b 74 31 2e 63 6f 6c 31 20 49 53 20 4e 55 4c 4c  +t1.col1 IS NULL
1670: 3b 0a 20 20 7d 0a 7d 20 7b 7d 0a 64 6f 5f 74 65  ;.  }.} {}.do_te
1680: 73 74 20 77 68 65 72 65 34 2d 34 2e 34 20 7b 0a  st where4-4.4 {.
1690: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
16a0: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 65  SELECT * FROM te
16b0: 73 74 20 74 31 20 4c 45 46 54 20 4f 55 54 45 52  st t1 LEFT OUTER
16c0: 20 4a 4f 49 4e 20 74 65 73 74 32 20 74 32 20 4f   JOIN test2 t2 O
16d0: 4e 20 74 31 2e 63 6f 6c 31 20 3d 20 74 32 2e 63  N t1.col1 = t2.c
16e0: 6f 6c 31 0a 20 20 20 20 20 20 57 48 45 52 45 20  ol1.      WHERE 
16f0: 74 31 2e 63 6f 6c 31 20 49 53 20 4e 55 4c 4c 3b  t1.col1 IS NULL;
1700: 0a 20 20 7d 0a 7d 20 7b 7d 0a 0a 23 20 54 69 63  .  }.} {}..# Tic
1710: 6b 65 74 20 23 32 32 37 33 2e 20 20 50 72 6f 62  ket #2273.  Prob
1720: 6c 65 6d 73 20 77 69 74 68 20 49 4e 20 6f 70 65  lems with IN ope
1730: 72 61 74 6f 72 73 20 61 6e 64 20 4e 55 4c 4c 73  rators and NULLs
1740: 2e 0a 23 0a 69 66 63 61 70 61 62 6c 65 20 73 75  ..#.ifcapable su
1750: 62 71 75 65 72 79 20 7b 0a 64 6f 5f 74 65 73 74  bquery {.do_test
1760: 20 77 68 65 72 65 34 2d 35 2e 31 20 7b 0a 20 20   where4-5.1 {.  
1770: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 2d 2d  execsql {.    --
1780: 20 41 6c 6c 6f 77 20 74 68 65 20 27 78 27 20 73   Allow the 'x' s
1790: 79 6e 74 61 78 20 66 6f 72 20 62 61 63 6b 77 61  yntax for backwa
17a0: 72 64 73 20 63 6f 6d 70 61 74 69 62 69 6c 69 74  rds compatibilit
17b0: 79 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 42  y.    CREATE TAB
17c0: 4c 45 20 74 34 28 78 2c 79 2c 7a 2c 50 52 49 4d  LE t4(x,y,z,PRIM
17d0: 41 52 59 20 4b 45 59 28 27 78 27 20 41 53 43 2c  ARY KEY('x' ASC,
17e0: 20 22 79 22 20 41 53 43 29 29 3b 0a 20 20 7d 0a   "y" ASC));.  }.
17f0: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
1800: 53 45 4c 45 43 54 20 2a 0a 20 20 20 20 20 20 46  SELECT *.      F
1810: 52 4f 4d 20 74 32 20 4c 45 46 54 20 4a 4f 49 4e  ROM t2 LEFT JOIN
1820: 20 74 34 20 62 31 0a 20 20 20 20 20 20 20 20 20   t4 b1.         
1830: 20 20 20 20 20 4c 45 46 54 20 4a 4f 49 4e 20 74       LEFT JOIN t
1840: 34 20 62 32 20 4f 4e 20 62 32 2e 78 3d 62 31 2e  4 b2 ON b2.x=b1.
1850: 78 20 41 4e 44 20 62 32 2e 79 20 49 4e 20 28 62  x AND b2.y IN (b
1860: 31 2e 79 29 3b 0a 20 20 7d 0a 7d 20 7b 31 20 7b  1.y);.  }.} {1 {
1870: 7d 20 7b 7d 20 7b 7d 20 7b 7d 20 7b 7d 20 7b 7d  } {} {} {} {} {}
1880: 20 32 20 7b 7d 20 7b 7d 20 7b 7d 20 7b 7d 20 7b   2 {} {} {} {} {
1890: 7d 20 7b 7d 20 33 20 7b 7d 20 7b 7d 20 7b 7d 20  } {} 3 {} {} {} 
18a0: 7b 7d 20 7b 7d 20 7b 7d 7d 0a 64 6f 5f 74 65 73  {} {} {}}.do_tes
18b0: 74 20 77 68 65 72 65 34 2d 35 2e 32 20 7b 0a 20  t where4-5.2 {. 
18c0: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 49   execsql {.    I
18d0: 4e 53 45 52 54 20 49 4e 54 4f 20 74 34 20 56 41  NSERT INTO t4 VA
18e0: 4c 55 45 53 28 31 2c 31 2c 31 31 29 3b 0a 20 20  LUES(1,1,11);.  
18f0: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 34    INSERT INTO t4
1900: 20 56 41 4c 55 45 53 28 31 2c 32 2c 31 32 29 3b   VALUES(1,2,12);
1910: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  .    INSERT INTO
1920: 20 74 34 20 56 41 4c 55 45 53 28 31 2c 33 2c 31   t4 VALUES(1,3,1
1930: 33 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49  3);.    INSERT I
1940: 4e 54 4f 20 74 34 20 56 41 4c 55 45 53 28 32 2c  NTO t4 VALUES(2,
1950: 32 2c 32 32 29 3b 0a 20 20 20 20 53 45 4c 45 43  2,22);.    SELEC
1960: 54 20 72 6f 77 69 64 20 46 52 4f 4d 20 74 34 20  T rowid FROM t4 
1970: 57 48 45 52 45 20 78 20 49 4e 20 28 31 2c 39 2c  WHERE x IN (1,9,
1980: 32 2c 35 29 20 41 4e 44 20 79 20 49 4e 20 28 31  2,5) AND y IN (1
1990: 2c 33 2c 4e 55 4c 4c 2c 32 29 20 41 4e 44 20 7a  ,3,NULL,2) AND z
19a0: 21 3d 31 33 3b 0a 20 20 7d 0a 7d 20 7b 31 20 32  !=13;.  }.} {1 2
19b0: 20 34 7d 0a 64 6f 5f 74 65 73 74 20 77 68 65 72   4}.do_test wher
19c0: 65 34 2d 35 2e 33 20 7b 0a 20 20 65 78 65 63 73  e4-5.3 {.  execs
19d0: 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20  ql {.    SELECT 
19e0: 72 6f 77 69 64 20 46 52 4f 4d 20 74 34 20 57 48  rowid FROM t4 WH
19f0: 45 52 45 20 78 20 49 4e 20 28 31 2c 39 2c 4e 55  ERE x IN (1,9,NU
1a00: 4c 4c 2c 32 29 20 41 4e 44 20 79 20 49 4e 20 28  LL,2) AND y IN (
1a10: 31 2c 33 2c 32 29 20 41 4e 44 20 7a 21 3d 31 33  1,3,2) AND z!=13
1a20: 3b 0a 20 20 7d 0a 7d 20 7b 31 20 32 20 34 7d 0a  ;.  }.} {1 2 4}.
1a30: 64 6f 5f 74 65 73 74 20 77 68 65 72 65 34 2d 36  do_test where4-6
1a40: 2e 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b  .1 {.  execsql {
1a50: 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c  .    CREATE TABL
1a60: 45 20 74 35 28 61 2c 62 2c 63 2c 64 2c 65 2c 66  E t5(a,b,c,d,e,f
1a70: 2c 55 4e 49 51 55 45 28 61 2c 62 2c 63 2c 64 2c  ,UNIQUE(a,b,c,d,
1a80: 65 2c 66 29 29 3b 0a 20 20 20 20 49 4e 53 45 52  e,f));.    INSER
1a90: 54 20 49 4e 54 4f 20 74 35 20 56 41 4c 55 45 53  T INTO t5 VALUES
1aa0: 28 31 2c 31 2c 31 2c 31 2c 31 2c 31 31 31 31 31  (1,1,1,1,1,11111
1ab0: 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e  );.    INSERT IN
1ac0: 54 4f 20 74 35 20 56 41 4c 55 45 53 28 32 2c 32  TO t5 VALUES(2,2
1ad0: 2c 32 2c 32 2c 32 2c 32 32 32 32 32 29 3b 0a 20  ,2,2,2,22222);. 
1ae0: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
1af0: 35 20 56 41 4c 55 45 53 28 31 2c 32 2c 33 2c 34  5 VALUES(1,2,3,4
1b00: 2c 35 2c 31 32 33 34 35 29 3b 0a 20 20 20 20 49  ,5,12345);.    I
1b10: 4e 53 45 52 54 20 49 4e 54 4f 20 74 35 20 56 41  NSERT INTO t5 VA
1b20: 4c 55 45 53 28 32 2c 33 2c 34 2c 35 2c 36 2c 32  LUES(2,3,4,5,6,2
1b30: 33 34 35 36 29 3b 0a 20 20 7d 0a 20 20 65 78 65  3456);.  }.  exe
1b40: 63 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43  csql {.    SELEC
1b50: 54 20 72 6f 77 69 64 20 46 52 4f 4d 20 74 35 0a  T rowid FROM t5.
1b60: 20 20 20 20 20 57 48 45 52 45 20 61 20 49 4e 20       WHERE a IN 
1b70: 28 31 2c 39 2c 32 29 20 41 4e 44 20 62 3d 32 20  (1,9,2) AND b=2 
1b80: 41 4e 44 20 63 20 49 4e 20 28 31 2c 32 2c 33 2c  AND c IN (1,2,3,
1b90: 34 29 20 41 4e 44 20 64 3e 30 0a 20 20 7d 0a 7d  4) AND d>0.  }.}
1ba0: 20 7b 33 20 32 7d 0a 64 6f 5f 74 65 73 74 20 77   {3 2}.do_test w
1bb0: 68 65 72 65 34 2d 36 2e 32 20 7b 0a 20 20 65 78  here4-6.2 {.  ex
1bc0: 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45  ecsql {.    SELE
1bd0: 43 54 20 72 6f 77 69 64 20 46 52 4f 4d 20 74 35  CT rowid FROM t5
1be0: 0a 20 20 20 20 20 57 48 45 52 45 20 61 20 49 4e  .     WHERE a IN
1bf0: 20 28 31 2c 4e 55 4c 4c 2c 32 29 20 41 4e 44 20   (1,NULL,2) AND 
1c00: 62 3d 32 20 41 4e 44 20 63 20 49 4e 20 28 31 2c  b=2 AND c IN (1,
1c10: 32 2c 33 2c 34 29 20 41 4e 44 20 64 3e 30 0a 20  2,3,4) AND d>0. 
1c20: 20 7d 0a 7d 20 7b 33 20 32 7d 0a 64 6f 5f 74 65   }.} {3 2}.do_te
1c30: 73 74 20 77 68 65 72 65 34 2d 37 2e 31 20 7b 0a  st where4-7.1 {.
1c40: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
1c50: 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 36 28  CREATE TABLE t6(
1c60: 79 2c 7a 2c 50 52 49 4d 41 52 59 20 4b 45 59 28  y,z,PRIMARY KEY(
1c70: 79 2c 7a 29 29 3b 0a 20 20 7d 0a 20 20 65 78 65  y,z));.  }.  exe
1c80: 63 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43  csql {.    SELEC
1c90: 54 20 2a 20 46 52 4f 4d 20 74 36 20 57 48 45 52  T * FROM t6 WHER
1ca0: 45 20 79 3d 4e 55 4c 4c 20 41 4e 44 20 7a 20 49  E y=NULL AND z I
1cb0: 4e 20 28 27 68 65 6c 6c 6f 27 29 3b 0a 20 20 7d  N ('hello');.  }
1cc0: 0a 7d 20 7b 7d 0a 0a 69 6e 74 65 67 72 69 74 79  .} {}..integrity
1cd0: 5f 63 68 65 63 6b 20 7b 77 68 65 72 65 34 2d 39  _check {where4-9
1ce0: 39 2e 30 7d 0a 0a 64 6f 5f 74 65 73 74 20 77 68  9.0}..do_test wh
1cf0: 65 72 65 34 2d 37 2e 31 20 7b 0a 20 20 65 78 65  ere4-7.1 {.  exe
1d00: 63 73 71 6c 20 7b 0a 20 20 20 20 42 45 47 49 4e  csql {.    BEGIN
1d10: 3b 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 42  ;.    CREATE TAB
1d20: 4c 45 20 74 38 28 61 2c 20 62 2c 20 63 2c 20 64  LE t8(a, b, c, d
1d30: 29 3b 0a 20 20 20 20 43 52 45 41 54 45 20 49 4e  );.    CREATE IN
1d40: 44 45 58 20 74 38 5f 69 20 4f 4e 20 74 38 28 61  DEX t8_i ON t8(a
1d50: 2c 20 62 2c 20 63 29 3b 0a 20 20 20 20 43 52 45  , b, c);.    CRE
1d60: 41 54 45 20 54 41 42 4c 45 20 74 37 28 69 29 3b  ATE TABLE t7(i);
1d70: 0a 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  ..    INSERT INT
1d80: 4f 20 74 37 20 56 41 4c 55 45 53 28 31 29 3b 0a  O t7 VALUES(1);.
1d90: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20      INSERT INTO 
1da0: 74 37 20 53 45 4c 45 43 54 20 69 2a 32 20 46 52  t7 SELECT i*2 FR
1db0: 4f 4d 20 74 37 3b 0a 20 20 20 20 49 4e 53 45 52  OM t7;.    INSER
1dc0: 54 20 49 4e 54 4f 20 74 37 20 53 45 4c 45 43 54  T INTO t7 SELECT
1dd0: 20 69 2a 32 20 46 52 4f 4d 20 74 37 3b 0a 20 20   i*2 FROM t7;.  
1de0: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 37    INSERT INTO t7
1df0: 20 53 45 4c 45 43 54 20 69 2a 32 20 46 52 4f 4d   SELECT i*2 FROM
1e00: 20 74 37 3b 0a 20 20 20 20 49 4e 53 45 52 54 20   t7;.    INSERT 
1e10: 49 4e 54 4f 20 74 37 20 53 45 4c 45 43 54 20 69  INTO t7 SELECT i
1e20: 2a 32 20 46 52 4f 4d 20 74 37 3b 0a 20 20 20 20  *2 FROM t7;.    
1e30: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 37 20 53  INSERT INTO t7 S
1e40: 45 4c 45 43 54 20 69 2a 32 20 46 52 4f 4d 20 74  ELECT i*2 FROM t
1e50: 37 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e  7;.    INSERT IN
1e60: 54 4f 20 74 37 20 53 45 4c 45 43 54 20 69 2a 32  TO t7 SELECT i*2
1e70: 20 46 52 4f 4d 20 74 37 3b 0a 0a 20 20 20 20 43   FROM t7;..    C
1e80: 4f 4d 4d 49 54 3b 0a 20 20 7d 0a 7d 20 7b 7d 0a  OMMIT;.  }.} {}.
1e90: 0a 23 20 41 74 20 6f 6e 65 20 70 6f 69 6e 74 20  .# At one point 
1ea0: 74 68 65 20 73 75 62 2d 73 65 6c 65 63 74 20 69  the sub-select i
1eb0: 6e 73 69 64 65 20 74 68 65 20 61 67 67 72 65 67  nside the aggreg
1ec0: 61 74 65 20 73 75 6d 28 29 20 66 75 6e 63 74 69  ate sum() functi
1ed0: 6f 6e 20 69 6e 20 74 68 65 0a 23 20 66 6f 6c 6c  on in the.# foll
1ee0: 6f 77 69 6e 67 20 71 75 65 72 79 20 77 61 73 20  owing query was 
1ef0: 6c 65 61 6b 69 6e 67 20 61 20 63 6f 75 70 6c 65  leaking a couple
1f00: 20 6f 66 20 73 74 61 63 6b 20 65 6e 74 72 69 65   of stack entrie
1f10: 73 2e 20 54 68 69 73 20 71 75 65 72 79 20 0a 23  s. This query .#
1f20: 20 72 75 6e 73 20 74 68 65 20 53 45 4c 45 43 54   runs the SELECT
1f30: 20 69 6e 20 61 20 6c 6f 6f 70 20 65 6e 6f 75 67   in a loop enoug
1f40: 68 20 74 69 6d 65 73 20 74 68 61 74 20 61 6e 20  h times that an 
1f50: 61 73 73 65 72 74 28 29 20 66 61 69 6c 73 2e 20  assert() fails. 
1f60: 4f 72 20 72 61 74 68 65 72 2c 0a 23 20 64 69 64  Or rather,.# did
1f70: 20 66 61 69 6c 20 62 65 66 6f 72 65 20 74 68 65   fail before the
1f80: 20 62 75 67 20 77 61 73 20 66 69 78 65 64 2e 0a   bug was fixed..
1f90: 23 0a 64 6f 5f 74 65 73 74 20 77 68 65 72 65 34  #.do_test where4
1fa0: 2d 37 2e 32 20 7b 0a 20 20 65 78 65 63 73 71 6c  -7.2 {.  execsql
1fb0: 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 73 75   {.    SELECT su
1fc0: 6d 28 28 0a 20 20 20 20 20 20 53 45 4c 45 43 54  m((.      SELECT
1fd0: 20 64 20 46 52 4f 4d 20 74 38 20 57 48 45 52 45   d FROM t8 WHERE
1fe0: 20 61 20 3d 20 69 20 41 4e 44 20 62 20 3d 20 69   a = i AND b = i
1ff0: 20 41 4e 44 20 63 20 3c 20 4e 55 4c 4c 0a 20 20   AND c < NULL.  
2000: 20 20 29 29 20 46 52 4f 4d 20 74 37 3b 0a 20 20    )) FROM t7;.  
2010: 7d 0a 7d 20 7b 7b 7d 7d 0a 0a 7d 3b 20 23 69 66  }.} {{}}..}; #if
2020: 63 61 70 61 62 6c 65 20 73 75 62 71 75 65 72 79  capable subquery
2030: 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ..#-------------
2040: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2050: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2060: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
2070: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 56  ------------.# V
2080: 65 72 69 66 79 20 74 68 61 74 20 22 49 53 20 3f  erify that "IS ?
2090: 22 20 77 69 74 68 20 61 20 4e 55 4c 4c 20 62 6f  " with a NULL bo
20a0: 75 6e 64 20 74 6f 20 74 68 65 20 76 61 72 69 61  und to the varia
20b0: 62 6c 65 20 61 6c 73 6f 20 66 75 6e 63 74 69 6f  ble also functio
20c0: 6e 73 0a 23 20 63 6f 72 72 65 63 74 6c 79 2e 0a  ns.# correctly..
20d0: 0a 75 6e 73 65 74 20 2d 6e 6f 63 6f 6d 70 6c 61  .unset -nocompla
20e0: 69 6e 20 6e 75 6c 6c 0a 0a 64 6f 5f 65 78 65 63  in null..do_exec
20f0: 73 71 6c 5f 74 65 73 74 20 38 2e 31 20 7b 0a 20  sql_test 8.1 {. 
2100: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 75 39   CREATE TABLE u9
2110: 28 61 20 55 4e 49 51 55 45 2c 20 62 29 3b 0a 20  (a UNIQUE, b);. 
2120: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 75 39 20   INSERT INTO u9 
2130: 56 41 4c 55 45 53 28 4e 55 4c 4c 2c 20 31 29 3b  VALUES(NULL, 1);
2140: 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 75  .  INSERT INTO u
2150: 39 20 56 41 4c 55 45 53 28 4e 55 4c 4c 2c 20 32  9 VALUES(NULL, 2
2160: 29 3b 0a 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f  );.}.do_execsql_
2170: 74 65 73 74 20 38 2e 32 20 7b 20 53 45 4c 45 43  test 8.2 { SELEC
2180: 54 20 2a 20 46 52 4f 4d 20 75 39 20 57 48 45 52  T * FROM u9 WHER
2190: 45 20 61 20 49 53 20 4e 55 4c 4c 20 20 7d 20 7b  E a IS NULL  } {
21a0: 7b 7d 20 31 20 7b 7d 20 32 7d 0a 64 6f 5f 65 78  {} 1 {} 2}.do_ex
21b0: 65 63 73 71 6c 5f 74 65 73 74 20 38 2e 32 20 7b  ecsql_test 8.2 {
21c0: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 75   SELECT * FROM u
21d0: 39 20 57 48 45 52 45 20 61 20 49 53 20 24 6e 75  9 WHERE a IS $nu
21e0: 6c 6c 20 7d 20 7b 7b 7d 20 31 20 7b 7d 20 32 7d  ll } {{} 1 {} 2}
21f0: 0a 0a 0a 0a 0a 66 69 6e 69 73 68 5f 74 65 73 74  .....finish_test
2200: 0a                                               .