/ Hex Artifact Content
Login

Artifact 9e1a0537949eb5483642b1140a5c39e5b4025939024b935398471fa552f4dabb:


0000: 23 20 32 30 31 35 2d 30 33 2d 31 32 0a 23 0a 23  # 2015-03-12.#.#
0010: 20 54 68 65 20 61 75 74 68 6f 72 20 64 69 73 63   The author disc
0020: 6c 61 69 6d 73 20 63 6f 70 79 72 69 67 68 74 20  laims copyright 
0030: 74 6f 20 74 68 69 73 20 73 6f 75 72 63 65 20 63  to this source c
0040: 6f 64 65 2e 20 20 49 6e 20 70 6c 61 63 65 20 6f  ode.  In place o
0050: 66 0a 23 20 61 20 6c 65 67 61 6c 20 6e 6f 74 69  f.# a legal noti
0060: 63 65 2c 20 68 65 72 65 20 69 73 20 61 20 62 6c  ce, here is a bl
0070: 65 73 73 69 6e 67 3a 0a 23 0a 23 20 20 20 20 4d  essing:.#.#    M
0080: 61 79 20 79 6f 75 20 64 6f 20 67 6f 6f 64 20 61  ay you do good a
0090: 6e 64 20 6e 6f 74 20 65 76 69 6c 2e 0a 23 20 20  nd not evil..#  
00a0: 20 20 4d 61 79 20 79 6f 75 20 66 69 6e 64 20 66    May you find f
00b0: 6f 72 67 69 76 65 6e 65 73 73 20 66 6f 72 20 79  orgiveness for y
00c0: 6f 75 72 73 65 6c 66 20 61 6e 64 20 66 6f 72 67  ourself and forg
00d0: 69 76 65 20 6f 74 68 65 72 73 2e 0a 23 20 20 20  ive others..#   
00e0: 20 4d 61 79 20 79 6f 75 20 73 68 61 72 65 20 66   May you share f
00f0: 72 65 65 6c 79 2c 20 6e 65 76 65 72 20 74 61 6b  reely, never tak
0100: 69 6e 67 20 6d 6f 72 65 20 74 68 61 6e 20 79 6f  ing more than yo
0110: 75 20 67 69 76 65 2e 0a 23 0a 23 2a 2a 2a 2a 2a  u 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 0a 23 20 54 65 73 74 20 74 68 61 74 20 64  **.# Test that d
0170: 65 74 65 72 6d 69 6e 69 73 74 69 63 20 73 63 61  eterministic sca
0180: 6c 61 72 20 66 75 6e 63 74 69 6f 6e 73 20 70 61  lar functions pa
0190: 73 73 65 64 20 63 6f 6e 73 74 61 6e 74 20 61 72  ssed constant ar
01a0: 67 75 6d 65 6e 74 73 0a 23 20 61 72 65 20 75 73  guments.# are us
01b0: 65 64 20 77 69 74 68 20 73 74 61 74 34 20 64 61  ed with stat4 da
01c0: 74 61 2e 0a 23 0a 0a 73 65 74 20 74 65 73 74 64  ta..#..set testd
01d0: 69 72 20 5b 66 69 6c 65 20 64 69 72 6e 61 6d 65  ir [file dirname
01e0: 20 24 61 72 67 76 30 5d 0a 73 6f 75 72 63 65 20   $argv0].source 
01f0: 24 74 65 73 74 64 69 72 2f 74 65 73 74 65 72 2e  $testdir/tester.
0200: 74 63 6c 0a 73 65 74 20 3a 3a 74 65 73 74 70 72  tcl.set ::testpr
0210: 65 66 69 78 20 61 6e 61 6c 79 7a 65 46 0a 0a 69  efix analyzeF..i
0220: 66 63 61 70 61 62 6c 65 20 7b 21 73 74 61 74 34  fcapable {!stat4
0230: 7d 20 7b 0a 20 20 66 69 6e 69 73 68 5f 74 65 73  } {.  finish_tes
0240: 74 0a 20 20 72 65 74 75 72 6e 0a 7d 0a 0a 70 72  t.  return.}..pr
0250: 6f 63 20 69 73 71 72 74 20 7b 69 7d 20 7b 20 65  oc isqrt {i} { e
0260: 78 70 72 20 7b 20 69 6e 74 28 73 71 72 74 28 24  xpr { int(sqrt($
0270: 69 29 29 20 7d 20 7d 0a 64 62 20 66 75 6e 63 20  i)) } }.db func 
0280: 69 73 71 72 74 20 69 73 71 72 74 0a 0a 64 6f 5f  isqrt isqrt..do_
0290: 65 78 65 63 73 71 6c 5f 74 65 73 74 20 31 2e 30  execsql_test 1.0
02a0: 20 7b 0a 20 20 43 52 45 41 54 45 20 54 41 42 4c   {.  CREATE TABL
02b0: 45 20 74 31 28 78 20 49 4e 54 45 47 45 52 2c 20  E t1(x INTEGER, 
02c0: 79 20 49 4e 54 45 47 45 52 29 3b 0a 20 20 57 49  y INTEGER);.  WI
02d0: 54 48 20 64 61 74 61 28 69 29 20 41 53 20 28 0a  TH data(i) AS (.
02e0: 20 20 20 20 53 45 4c 45 43 54 20 31 20 55 4e 49      SELECT 1 UNI
02f0: 4f 4e 20 41 4c 4c 20 53 45 4c 45 43 54 20 69 2b  ON ALL SELECT i+
0300: 31 20 46 52 4f 4d 20 64 61 74 61 0a 20 20 29 0a  1 FROM data.  ).
0310: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31    INSERT INTO t1
0320: 20 53 45 4c 45 43 54 20 69 73 71 72 74 28 69 29   SELECT isqrt(i)
0330: 2c 20 69 73 71 72 74 28 69 29 20 46 52 4f 4d 20  , isqrt(i) FROM 
0340: 64 61 74 61 20 4c 49 4d 49 54 20 34 30 30 3b 0a  data LIMIT 400;.
0350: 20 20 43 52 45 41 54 45 20 49 4e 44 45 58 20 74    CREATE INDEX t
0360: 31 78 20 4f 4e 20 74 31 28 78 29 3b 0a 20 20 43  1x ON t1(x);.  C
0370: 52 45 41 54 45 20 49 4e 44 45 58 20 74 31 79 20  REATE INDEX t1y 
0380: 4f 4e 20 74 31 28 79 29 3b 0a 20 20 41 4e 41 4c  ON t1(y);.  ANAL
0390: 59 5a 45 3b 0a 7d 0a 0a 70 72 6f 63 20 73 74 72  YZE;.}..proc str
03a0: 20 7b 61 7d 20 7b 20 72 65 74 75 72 6e 20 24 61   {a} { return $a
03b0: 20 7d 0a 64 62 20 66 75 6e 63 20 73 74 72 20 73   }.db func str s
03c0: 74 72 0a 0a 23 20 4e 6f 74 65 3a 20 74 65 73 74  tr..# Note: test
03d0: 73 20 37 20 74 6f 20 31 32 20 6d 69 67 68 74 20  s 7 to 12 might 
03e0: 62 65 20 75 6e 73 74 61 62 6c 65 20 2d 20 61 73  be unstable - as
03f0: 20 74 68 65 79 20 61 73 73 75 6d 65 20 53 51 4c   they assume SQL
0400: 69 74 65 20 77 69 6c 6c 0a 23 20 70 72 65 66 65  ite will.# prefe
0410: 72 20 74 68 65 20 65 78 70 72 65 73 73 69 6f 6e  r the expression
0420: 20 74 6f 20 74 68 65 20 72 69 67 68 74 20 6f 66   to the right of
0430: 20 74 68 65 20 41 4e 44 20 63 6c 61 75 73 65 2e   the AND clause.
0440: 20 57 68 69 63 68 20 6f 66 0a 23 20 63 6f 75 72   Which of.# cour
0450: 73 65 20 63 6f 75 6c 64 20 63 68 61 6e 67 65 2e  se could change.
0460: 0a 23 0a 23 20 4e 6f 74 65 20 32 3a 20 74 65 73  .#.# Note 2: tes
0470: 74 73 20 39 20 61 6e 64 20 31 30 20 64 65 70 65  ts 9 and 10 depe
0480: 6e 64 20 6f 6e 20 74 68 65 20 74 63 6c 20 69 6e  nd on the tcl in
0490: 74 65 72 66 61 63 65 20 63 72 65 61 74 69 6e 67  terface creating
04a0: 20 66 75 6e 63 74 69 6f 6e 73 0a 23 20 77 69 74   functions.# wit
04b0: 68 6f 75 74 20 74 68 65 20 53 51 4c 49 54 45 5f  hout the SQLITE_
04c0: 44 45 54 45 52 4d 49 4e 49 53 54 49 43 20 66 6c  DETERMINISTIC fl
04d0: 61 67 20 73 65 74 2e 0a 23 0a 66 6f 72 65 61 63  ag set..#.foreac
04e0: 68 20 7b 74 6e 20 77 68 65 72 65 20 69 64 78 7d  h {tn where idx}
04f0: 20 7b 0a 20 20 31 20 22 78 20 3d 20 34 20 41 4e   {.  1 "x = 4 AN
0500: 44 20 79 20 3d 20 31 39 22 20 20 20 20 20 7b 74  D y = 19"     {t
0510: 31 78 20 28 78 3d 3f 29 7d 0a 20 20 32 20 22 78  1x (x=?)}.  2 "x
0520: 20 3d 20 31 39 20 41 4e 44 20 79 20 3d 20 34 22   = 19 AND y = 4"
0530: 20 20 20 20 20 7b 74 31 79 20 28 79 3d 3f 29 7d       {t1y (y=?)}
0540: 0a 20 20 33 20 22 78 20 3d 20 27 34 27 20 41 4e  .  3 "x = '4' AN
0550: 44 20 79 20 3d 20 27 31 39 27 22 20 7b 74 31 78  D y = '19'" {t1x
0560: 20 28 78 3d 3f 29 7d 0a 20 20 34 20 22 78 20 3d   (x=?)}.  4 "x =
0570: 20 27 31 39 27 20 41 4e 44 20 79 20 3d 20 27 34   '19' AND y = '4
0580: 27 22 20 7b 74 31 79 20 28 79 3d 3f 29 7d 0a 20  '" {t1y (y=?)}. 
0590: 20 35 20 22 78 20 3d 20 73 75 62 73 74 72 28 27   5 "x = substr('
05a0: 35 31 39 35 27 2c 20 32 2c 20 32 29 20 41 4e 44  5195', 2, 2) AND
05b0: 20 79 20 3d 20 73 75 62 73 74 72 28 27 31 34 35   y = substr('145
05c0: 27 2c 20 32 2c 20 31 29 22 20 7b 74 31 79 20 28  ', 2, 1)" {t1y (
05d0: 79 3d 3f 29 7d 0a 20 20 36 20 22 78 20 3d 20 73  y=?)}.  6 "x = s
05e0: 75 62 73 74 72 28 27 31 34 35 27 2c 20 32 2c 20  ubstr('145', 2, 
05f0: 31 29 20 41 4e 44 20 79 20 3d 20 73 75 62 73 74  1) AND y = subst
0600: 72 28 27 35 31 39 35 27 2c 20 32 2c 20 32 29 22  r('5195', 2, 2)"
0610: 20 7b 74 31 78 20 28 78 3d 3f 29 7d 0a 0a 20 20   {t1x (x=?)}..  
0620: 37 20 20 22 78 20 3d 20 73 75 62 73 74 72 28 27  7  "x = substr('
0630: 35 31 39 35 27 2c 20 32 2c 20 32 2b 30 29 20 41  5195', 2, 2+0) A
0640: 4e 44 20 79 20 3d 20 73 75 62 73 74 72 28 27 31  ND y = substr('1
0650: 34 35 27 2c 20 32 2c 20 31 2b 30 29 22 20 7b 74  45', 2, 1+0)" {t
0660: 31 79 20 28 79 3d 3f 29 7d 0a 20 20 38 20 20 22  1y (y=?)}.  8  "
0670: 78 20 3d 20 73 75 62 73 74 72 28 27 31 34 35 27  x = substr('145'
0680: 2c 20 32 2c 20 31 2b 30 29 20 41 4e 44 20 79 20  , 2, 1+0) AND y 
0690: 3d 20 73 75 62 73 74 72 28 27 35 31 39 35 27 2c  = substr('5195',
06a0: 20 32 2c 20 32 2b 30 29 22 20 7b 74 31 79 20 28   2, 2+0)" {t1y (
06b0: 79 3d 3f 29 7d 0a 0a 20 20 39 20 20 22 78 20 3d  y=?)}..  9  "x =
06c0: 20 73 74 72 28 27 31 39 27 29 20 41 4e 44 20 79   str('19') AND y
06d0: 20 3d 20 73 74 72 28 27 34 27 29 22 20 7b 74 31   = str('4')" {t1
06e0: 79 20 28 79 3d 3f 29 7d 0a 20 20 31 30 20 22 78  y (y=?)}.  10 "x
06f0: 20 3d 20 73 74 72 28 27 34 27 29 20 41 4e 44 20   = str('4') AND 
0700: 79 20 3d 20 73 74 72 28 27 31 39 27 29 22 20 7b  y = str('19')" {
0710: 74 31 79 20 28 79 3d 3f 29 7d 0a 0a 20 20 31 31  t1y (y=?)}..  11
0720: 20 22 78 20 3d 20 6e 75 6c 6c 69 66 28 27 31 39   "x = nullif('19
0730: 27 2c 20 30 29 20 41 4e 44 20 79 20 3d 20 6e 75  ', 0) AND y = nu
0740: 6c 6c 69 66 28 27 34 27 2c 20 30 29 22 20 7b 74  llif('4', 0)" {t
0750: 31 79 20 28 79 3d 3f 29 7d 0a 20 20 31 32 20 22  1y (y=?)}.  12 "
0760: 78 20 3d 20 6e 75 6c 6c 69 66 28 27 34 27 2c 20  x = nullif('4', 
0770: 30 29 20 41 4e 44 20 79 20 3d 20 6e 75 6c 6c 69  0) AND y = nulli
0780: 66 28 27 31 39 27 2c 20 30 29 22 20 7b 74 31 79  f('19', 0)" {t1y
0790: 20 28 79 3d 3f 29 7d 0a 7d 20 7b 0a 20 20 73 65   (y=?)}.} {.  se
07a0: 74 20 72 65 73 20 22 53 45 41 52 43 48 20 54 41  t res "SEARCH TA
07b0: 42 4c 45 20 74 31 20 55 53 49 4e 47 20 49 4e 44  BLE t1 USING IND
07c0: 45 58 20 24 69 64 78 22 0a 20 20 64 6f 5f 65 71  EX $idx".  do_eq
07d0: 70 5f 74 65 73 74 20 31 2e 24 74 6e 20 22 53 45  p_test 1.$tn "SE
07e0: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 57  LECT * FROM t1 W
07f0: 48 45 52 45 20 24 77 68 65 72 65 22 20 24 72 65  HERE $where" $re
0800: 73 0a 7d 0a 0a 23 20 54 65 73 74 20 74 68 61 74  s.}..# Test that
0810: 20 66 75 6e 63 74 69 6f 6e 73 20 74 68 61 74 20   functions that 
0820: 64 6f 20 6e 6f 74 20 65 78 69 73 74 20 2d 20 22  do not exist - "
0830: 66 75 6e 63 28 29 22 20 2d 20 64 6f 20 6e 6f 74  func()" - do not
0840: 20 63 61 75 73 65 20 61 6e 20 65 72 72 6f 72 2e   cause an error.
0850: 0a 23 0a 64 6f 5f 63 61 74 63 68 73 71 6c 5f 74  .#.do_catchsql_t
0860: 65 73 74 20 32 2e 31 20 7b 0a 20 20 53 45 4c 45  est 2.1 {.  SELE
0870: 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 57 48 45  CT * FROM t1 WHE
0880: 52 45 20 78 20 3d 20 73 75 62 73 74 72 28 27 31  RE x = substr('1
0890: 34 35 27 2c 20 32 2c 20 31 29 20 41 4e 44 20 79  45', 2, 1) AND y
08a0: 20 3d 20 66 75 6e 63 28 31 2c 20 32 2c 20 33 29   = func(1, 2, 3)
08b0: 0a 7d 20 7b 31 20 7b 6e 6f 20 73 75 63 68 20 66  .} {1 {no such f
08c0: 75 6e 63 74 69 6f 6e 3a 20 66 75 6e 63 7d 7d 0a  unction: func}}.
08d0: 64 6f 5f 63 61 74 63 68 73 71 6c 5f 74 65 73 74  do_catchsql_test
08e0: 20 32 2e 32 20 7b 0a 20 20 55 50 44 41 54 45 20   2.2 {.  UPDATE 
08f0: 74 31 20 53 45 54 20 79 3d 79 2b 31 20 57 48 45  t1 SET y=y+1 WHE
0900: 52 45 20 78 20 3d 20 73 75 62 73 74 72 28 27 31  RE x = substr('1
0910: 34 35 27 2c 20 32 2c 20 31 29 20 41 4e 44 20 79  45', 2, 1) AND y
0920: 20 3d 20 66 75 6e 63 28 31 2c 20 32 2c 20 33 29   = func(1, 2, 3)
0930: 0a 7d 20 7b 31 20 7b 6e 6f 20 73 75 63 68 20 66  .} {1 {no such f
0940: 75 6e 63 74 69 6f 6e 3a 20 66 75 6e 63 7d 7d 0a  unction: func}}.
0950: 0a 0a 23 20 43 68 65 63 6b 20 74 68 61 74 20 66  ..# Check that f
0960: 75 6e 63 74 69 6f 6e 73 20 74 68 61 74 20 61 63  unctions that ac
0970: 63 65 70 74 20 7a 65 72 6f 20 61 72 67 75 6d 65  cept zero argume
0980: 6e 74 73 20 64 6f 20 6e 6f 74 20 63 61 75 73 65  nts do not cause
0990: 20 70 72 6f 62 6c 65 6d 73 2e 0a 23 0a 70 72 6f   problems..#.pro
09a0: 63 20 72 65 74 20 7b 78 7d 20 7b 20 72 65 74 75  c ret {x} { retu
09b0: 72 6e 20 24 78 20 7d 0a 0a 64 62 20 66 75 6e 63  rn $x }..db func
09c0: 20 64 65 74 34 20 2d 64 65 74 65 72 6d 69 6e 69   det4 -determini
09d0: 73 74 69 63 20 5b 6c 69 73 74 20 72 65 74 20 34  stic [list ret 4
09e0: 5d 0a 64 62 20 66 75 6e 63 20 6e 6f 6e 64 65 74  ].db func nondet
09f0: 34 20 5b 6c 69 73 74 20 72 65 74 20 34 5d 0a 64  4 [list ret 4].d
0a00: 62 20 66 75 6e 63 20 64 65 74 31 39 20 2d 64 65  b func det19 -de
0a10: 74 65 72 6d 69 6e 69 73 74 69 63 20 5b 6c 69 73  terministic [lis
0a20: 74 20 72 65 74 20 31 39 5d 0a 64 62 20 66 75 6e  t ret 19].db fun
0a30: 63 20 6e 6f 6e 64 65 74 31 39 20 5b 6c 69 73 74  c nondet19 [list
0a40: 20 72 65 74 20 31 39 5d 0a 0a 66 6f 72 65 61 63   ret 19]..foreac
0a50: 68 20 7b 74 6e 20 77 68 65 72 65 20 69 64 78 7d  h {tn where idx}
0a60: 20 7b 0a 20 20 31 20 22 78 20 3d 20 64 65 74 34   {.  1 "x = det4
0a70: 28 29 20 41 4e 44 20 79 20 3d 20 64 65 74 31 39  () AND y = det19
0a80: 28 29 22 20 20 20 20 20 7b 74 31 78 20 28 78 3d  ()"     {t1x (x=
0a90: 3f 29 7d 0a 20 20 32 20 22 78 20 3d 20 64 65 74  ?)}.  2 "x = det
0aa0: 31 39 28 29 20 41 4e 44 20 79 20 3d 20 64 65 74  19() AND y = det
0ab0: 34 28 29 22 20 20 20 20 20 7b 74 31 79 20 28 79  4()"     {t1y (y
0ac0: 3d 3f 29 7d 0a 0a 20 20 33 20 22 78 20 3d 20 6e  =?)}..  3 "x = n
0ad0: 6f 6e 64 65 74 34 28 29 20 41 4e 44 20 79 20 3d  ondet4() AND y =
0ae0: 20 6e 6f 6e 64 65 74 31 39 28 29 22 20 20 20 20   nondet19()"    
0af0: 20 7b 74 31 79 20 28 79 3d 3f 29 7d 0a 20 20 34   {t1y (y=?)}.  4
0b00: 20 22 78 20 3d 20 6e 6f 6e 64 65 74 31 39 28 29   "x = nondet19()
0b10: 20 41 4e 44 20 79 20 3d 20 6e 6f 6e 64 65 74 34   AND y = nondet4
0b20: 28 29 22 20 20 20 20 20 7b 74 31 79 20 28 79 3d  ()"     {t1y (y=
0b30: 3f 29 7d 0a 7d 20 7b 0a 20 20 73 65 74 20 72 65  ?)}.} {.  set re
0b40: 73 20 22 53 45 41 52 43 48 20 54 41 42 4c 45 20  s "SEARCH TABLE 
0b50: 74 31 20 55 53 49 4e 47 20 49 4e 44 45 58 20 24  t1 USING INDEX $
0b60: 69 64 78 22 0a 20 20 64 6f 5f 65 71 70 5f 74 65  idx".  do_eqp_te
0b70: 73 74 20 33 2e 24 74 6e 20 22 53 45 4c 45 43 54  st 3.$tn "SELECT
0b80: 20 2a 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45   * FROM t1 WHERE
0b90: 20 24 77 68 65 72 65 22 20 24 72 65 73 0a 7d 0a   $where" $res.}.
0ba0: 0a 0a 65 78 65 63 73 71 6c 20 7b 20 44 45 4c 45  ..execsql { DELE
0bb0: 54 45 20 46 52 4f 4d 20 74 31 20 7d 0a 0a 70 72  TE FROM t1 }..pr
0bc0: 6f 63 20 74 68 72 6f 77 5f 65 72 72 6f 72 20 7b  oc throw_error {
0bd0: 65 72 72 7d 20 7b 20 65 72 72 6f 72 20 24 65 72  err} { error $er
0be0: 72 20 7d 0a 64 62 20 66 75 6e 63 20 65 72 72 6f  r }.db func erro
0bf0: 72 20 2d 64 65 74 65 72 6d 69 6e 69 73 74 69 63  r -deterministic
0c00: 20 74 68 72 6f 77 5f 65 72 72 6f 72 0a 64 6f 5f   throw_error.do_
0c10: 63 61 74 63 68 73 71 6c 5f 74 65 73 74 20 34 2e  catchsql_test 4.
0c20: 31 20 7b 0a 20 20 53 45 4c 45 43 54 20 2a 20 46  1 {.  SELECT * F
0c30: 52 4f 4d 20 74 31 20 57 48 45 52 45 20 78 20 3d  ROM t1 WHERE x =
0c40: 20 65 72 72 6f 72 28 27 65 72 72 6f 72 20 6f 6e   error('error on
0c50: 65 27 29 20 41 4e 44 20 79 20 3d 20 34 3b 0a 7d  e') AND y = 4;.}
0c60: 20 7b 31 20 7b 65 72 72 6f 72 20 6f 6e 65 7d 7d   {1 {error one}}
0c70: 0a 0a 64 6f 5f 63 61 74 63 68 73 71 6c 5f 74 65  ..do_catchsql_te
0c80: 73 74 20 34 2e 32 20 7b 0a 20 20 53 45 4c 45 43  st 4.2 {.  SELEC
0c90: 54 20 2a 20 46 52 4f 4d 20 74 31 20 57 48 45 52  T * FROM t1 WHER
0ca0: 45 20 78 20 3d 20 7a 65 72 6f 62 6c 6f 62 28 32  E x = zeroblob(2
0cb0: 32 30 30 30 30 30 30 30 30 29 20 41 4e 44 20 79  200000000) AND y
0cc0: 20 3d 20 34 3b 0a 7d 20 7b 31 20 7b 73 74 72 69   = 4;.} {1 {stri
0cd0: 6e 67 20 6f 72 20 62 6c 6f 62 20 74 6f 6f 20 62  ng or blob too b
0ce0: 69 67 7d 7d 0a 0a 73 71 6c 69 74 65 33 5f 6c 69  ig}}..sqlite3_li
0cf0: 6d 69 74 20 64 62 20 53 51 4c 49 54 45 5f 4c 49  mit db SQLITE_LI
0d00: 4d 49 54 5f 4c 45 4e 47 54 48 20 31 30 30 30 30  MIT_LENGTH 10000
0d10: 30 30 0a 70 72 6f 63 20 64 73 74 72 20 7b 7d 20  00.proc dstr {} 
0d20: 7b 20 72 65 74 75 72 6e 20 5b 73 74 72 69 6e 67  { return [string
0d30: 20 72 65 70 65 61 74 20 78 20 31 31 30 30 30 30   repeat x 110000
0d40: 30 5d 20 7d 0a 64 62 20 66 75 6e 63 20 64 73 74  0] }.db func dst
0d50: 72 20 2d 64 65 74 65 72 6d 69 6e 69 73 74 69 63  r -deterministic
0d60: 20 64 73 74 72 0a 64 6f 5f 63 61 74 63 68 73 71   dstr.do_catchsq
0d70: 6c 5f 74 65 73 74 20 34 2e 33 20 7b 0a 20 20 53  l_test 4.3 {.  S
0d80: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20  ELECT * FROM t1 
0d90: 57 48 45 52 45 20 78 20 3d 20 64 73 74 72 28 29  WHERE x = dstr()
0da0: 20 41 4e 44 20 79 20 3d 20 31 31 3b 0a 7d 20 7b   AND y = 11;.} {
0db0: 31 20 7b 73 74 72 69 6e 67 20 6f 72 20 62 6c 6f  1 {string or blo
0dc0: 62 20 74 6f 6f 20 62 69 67 7d 7d 0a 0a 64 6f 5f  b too big}}..do_
0dd0: 63 61 74 63 68 73 71 6c 5f 74 65 73 74 20 34 2e  catchsql_test 4.
0de0: 34 20 7b 0a 20 20 53 45 4c 45 43 54 20 2a 20 46  4 {.  SELECT * F
0df0: 52 4f 4d 20 74 31 20 57 48 45 52 45 20 78 20 3d  ROM t1 WHERE x =
0e00: 20 74 65 73 74 5f 7a 65 72 6f 62 6c 6f 62 28 31   test_zeroblob(1
0e10: 31 30 30 30 30 30 29 20 41 4e 44 20 79 20 3d 20  100000) AND y = 
0e20: 34 3b 0a 7d 20 7b 31 20 7b 73 74 72 69 6e 67 20  4;.} {1 {string 
0e30: 6f 72 20 62 6c 6f 62 20 74 6f 6f 20 62 69 67 7d  or blob too big}
0e40: 7d 0a 0a 23 20 32 30 31 36 2d 31 32 2d 30 38 3a  }..# 2016-12-08:
0e50: 20 43 6f 6e 73 74 72 61 69 6e 74 73 20 6f 66 20   Constraints of 
0e60: 74 68 65 20 66 6f 72 6d 20 22 78 3d 3f 20 41 4e  the form "x=? AN
0e70: 44 20 78 20 49 53 20 4e 4f 54 20 4e 55 4c 4c 22  D x IS NOT NULL"
0e80: 20 77 65 72 65 20 62 65 69 6e 67 0a 23 20 6d 69   were being.# mi
0e90: 73 68 61 6e 64 6c 65 64 2e 20 20 54 68 65 20 73  shandled.  The s
0ea0: 71 6c 69 74 65 33 53 74 61 74 34 50 72 6f 62 65  qlite3Stat4Probe
0eb0: 53 65 74 56 61 6c 75 65 28 29 20 72 6f 75 74 69  SetValue() routi
0ec0: 6e 65 20 77 61 73 20 61 73 73 75 6d 69 6e 67 20  ne was assuming 
0ed0: 74 68 61 74 0a 23 20 76 61 6c 75 65 4e 65 77 28  that.# valueNew(
0ee0: 29 20 77 61 73 20 72 65 74 75 72 6e 69 6e 67 20  ) was returning 
0ef0: 61 20 4d 65 6d 20 6f 62 6a 65 63 74 20 74 68 61  a Mem object tha
0f00: 74 20 77 61 73 20 70 72 65 73 65 74 20 74 6f 20  t was preset to 
0f10: 4e 55 4c 4c 2c 20 77 68 69 63 68 20 69 73 0a 23  NULL, which is.#
0f20: 20 6e 6f 74 20 74 68 65 20 63 61 73 65 2e 20 20   not the case.  
0f30: 54 68 65 20 63 6f 6e 73 65 71 75 65 6e 63 65 20  The consequence 
0f40: 77 61 73 20 74 68 65 20 74 68 65 20 22 78 20 49  was the the "x I
0f50: 53 20 4e 4f 54 20 4e 55 4c 4c 22 20 63 6f 6e 73  S NOT NULL" cons
0f60: 74 72 61 69 6e 74 0a 23 20 77 61 73 20 75 73 65  traint.# was use
0f70: 64 20 74 6f 20 64 72 69 76 65 20 74 68 65 20 69  d to drive the i
0f80: 6e 64 65 78 20 28 76 69 61 20 74 68 65 20 22 78  ndex (via the "x
0f90: 3e 4e 55 4c 4c 22 20 70 73 65 75 64 6f 2d 63 6f  >NULL" pseudo-co
0fa0: 6e 73 74 72 61 69 6e 74 29 20 72 61 74 68 65 72  nstraint) rather
0fb0: 0a 23 20 74 68 61 6e 20 74 68 65 20 22 78 3d 3f  .# than the "x=?
0fc0: 22 20 63 6f 6e 73 74 72 61 69 6e 74 2e 0a 23 0a  " constraint..#.
0fd0: 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20  do_execsql_test 
0fe0: 35 2e 31 20 7b 0a 20 20 44 52 4f 50 20 54 41 42  5.1 {.  DROP TAB
0ff0: 4c 45 20 49 46 20 45 58 49 53 54 53 20 74 31 3b  LE IF EXISTS t1;
1000: 0a 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20  .  CREATE TABLE 
1010: 74 31 28 61 20 49 4e 54 45 47 45 52 20 50 52 49  t1(a INTEGER PRI
1020: 4d 41 52 59 20 4b 45 59 2c 20 62 20 54 45 58 54  MARY KEY, b TEXT
1030: 2c 20 63 20 49 4e 54 29 3b 0a 20 20 57 49 54 48  , c INT);.  WITH
1040: 20 52 45 43 55 52 53 49 56 45 20 63 28 78 29 20   RECURSIVE c(x) 
1050: 41 53 20 28 56 41 4c 55 45 53 28 31 29 20 55 4e  AS (VALUES(1) UN
1060: 49 4f 4e 20 41 4c 4c 20 53 45 4c 45 43 54 20 78  ION ALL SELECT x
1070: 2b 31 20 46 52 4f 4d 20 63 20 57 48 45 52 45 20  +1 FROM c WHERE 
1080: 78 3c 31 30 30 30 30 29 0a 20 20 20 20 49 4e 53  x<10000).    INS
1090: 45 52 54 20 49 4e 54 4f 20 74 31 28 61 2c 20 63  ERT INTO t1(a, c
10a0: 29 20 53 45 4c 45 43 54 20 78 2c 20 78 20 46 52  ) SELECT x, x FR
10b0: 4f 4d 20 63 3b 0a 20 20 55 50 44 41 54 45 20 74  OM c;.  UPDATE t
10c0: 31 20 53 45 54 20 62 3d 70 72 69 6e 74 66 28 27  1 SET b=printf('
10d0: 78 25 30 32 78 27 2c 61 2f 35 30 30 29 20 57 48  x%02x',a/500) WH
10e0: 45 52 45 20 61 3e 34 30 30 30 3b 0a 20 20 55 50  ERE a>4000;.  UP
10f0: 44 41 54 45 20 74 31 20 53 45 54 20 62 3d 27 78  DATE t1 SET b='x
1100: 79 7a 27 20 77 68 65 72 65 20 61 3e 3d 39 39 39  yz' where a>=999
1110: 38 3b 0a 20 20 43 52 45 41 54 45 20 49 4e 44 45  8;.  CREATE INDE
1120: 58 20 74 31 62 20 4f 4e 20 74 31 28 62 29 3b 0a  X t1b ON t1(b);.
1130: 20 20 41 4e 41 4c 59 5a 45 3b 0a 20 20 53 45 4c    ANALYZE;.  SEL
1140: 45 43 54 20 63 6f 75 6e 74 28 2a 29 2c 20 62 20  ECT count(*), b 
1150: 46 52 4f 4d 20 74 31 20 47 52 4f 55 50 20 42 59  FROM t1 GROUP BY
1160: 20 32 20 4f 52 44 45 52 20 42 59 20 32 3b 0a 7d   2 ORDER BY 2;.}
1170: 20 7b 34 30 30 30 20 7b 7d 20 34 39 39 20 78 30   {4000 {} 499 x0
1180: 38 20 35 30 30 20 78 30 39 20 35 30 30 20 78 30  8 500 x09 500 x0
1190: 61 20 35 30 30 20 78 30 62 20 35 30 30 20 78 30  a 500 x0b 500 x0
11a0: 63 20 35 30 30 20 78 30 64 20 35 30 30 20 78 30  c 500 x0d 500 x0
11b0: 65 20 35 30 30 20 78 30 66 20 35 30 30 20 78 31  e 500 x0f 500 x1
11c0: 30 20 35 30 30 20 78 31 31 20 35 30 30 20 78 31  0 500 x11 500 x1
11d0: 32 20 34 39 38 20 78 31 33 20 33 20 78 79 7a 7d  2 498 x13 3 xyz}
11e0: 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74  .do_execsql_test
11f0: 20 35 2e 32 20 7b 0a 20 20 65 78 70 6c 61 69 6e   5.2 {.  explain
1200: 20 71 75 65 72 79 20 70 6c 61 6e 0a 20 20 53 45   query plan.  SE
1210: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 57  LECT * FROM t1 W
1220: 48 45 52 45 20 62 3d 27 78 79 7a 27 20 41 4e 44  HERE b='xyz' AND
1230: 20 62 20 49 53 20 4e 4f 54 20 4e 55 4c 4c 20 4f   b IS NOT NULL O
1240: 52 44 45 52 20 42 59 20 2b 61 3b 0a 20 20 2f 2a  RDER BY +a;.  /*
1250: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20                  
1260: 20 20 76 2d 2d 2d 2d 20 53 68 6f 75 6c 64 20 62    v---- Should b
1270: 65 20 22 3d 22 2c 20 6e 6f 74 20 22 3e 22 20 20  e "=", not ">"  
1280: 2a 2f 0a 7d 20 7b 2f 55 53 49 4e 47 20 49 4e 44  */.} {/USING IND
1290: 45 58 20 74 31 62 20 2e 62 3d 2f 7d 0a 64 6f 5f  EX t1b .b=/}.do_
12a0: 65 78 65 63 73 71 6c 5f 74 65 73 74 20 35 2e 33  execsql_test 5.3
12b0: 20 7b 0a 20 20 53 45 4c 45 43 54 20 2a 20 46 52   {.  SELECT * FR
12c0: 4f 4d 20 74 31 20 57 48 45 52 45 20 62 3d 27 78  OM t1 WHERE b='x
12d0: 79 7a 27 20 41 4e 44 20 62 20 49 53 20 4e 4f 54  yz' AND b IS NOT
12e0: 20 4e 55 4c 4c 20 4f 52 44 45 52 20 42 59 20 2b   NULL ORDER BY +
12f0: 61 3b 0a 7d 20 7b 39 39 39 38 20 78 79 7a 20 39  a;.} {9998 xyz 9
1300: 39 39 38 20 39 39 39 39 20 78 79 7a 20 39 39 39  998 9999 xyz 999
1310: 39 20 31 30 30 30 30 20 78 79 7a 20 31 30 30 30  9 10000 xyz 1000
1320: 30 7d 0a 0a 66 69 6e 69 73 68 5f 74 65 73 74 0a  0}..finish_test.