/ Hex Artifact Content
Login

Artifact 0aa3e509dddf81f93380396e40e9bb386904c1054924ba8fa9bcdfe85a8e7721:


0000: 23 20 32 30 31 37 20 4a 75 6e 20 32 34 0a 23 0a  # 2017 Jun 24.#.
0010: 23 20 54 68 65 20 61 75 74 68 6f 72 20 64 69 73  # The author dis
0020: 63 6c 61 69 6d 73 20 63 6f 70 79 72 69 67 68 74  claims copyright
0030: 20 74 6f 20 74 68 69 73 20 73 6f 75 72 63 65 20   to this source 
0040: 63 6f 64 65 2e 20 20 49 6e 20 70 6c 61 63 65 20  code.  In place 
0050: 6f 66 0a 23 20 61 20 6c 65 67 61 6c 20 6e 6f 74  of.# a legal not
0060: 69 63 65 2c 20 68 65 72 65 20 69 73 20 61 20 62  ice, here is a b
0070: 6c 65 73 73 69 6e 67 3a 0a 23 0a 23 20 20 20 20  lessing:.#.#    
0080: 4d 61 79 20 79 6f 75 20 64 6f 20 67 6f 6f 64 20  May you do good 
0090: 61 6e 64 20 6e 6f 74 20 65 76 69 6c 2e 0a 23 20  and not evil..# 
00a0: 20 20 20 4d 61 79 20 79 6f 75 20 66 69 6e 64 20     May you find 
00b0: 66 6f 72 67 69 76 65 6e 65 73 73 20 66 6f 72 20  forgiveness for 
00c0: 79 6f 75 72 73 65 6c 66 20 61 6e 64 20 66 6f 72  yourself and for
00d0: 67 69 76 65 20 6f 74 68 65 72 73 2e 0a 23 20 20  give others..#  
00e0: 20 20 4d 61 79 20 79 6f 75 20 73 68 61 72 65 20    May you share 
00f0: 66 72 65 65 6c 79 2c 20 6e 65 76 65 72 20 74 61  freely, never ta
0100: 6b 69 6e 67 20 6d 6f 72 65 20 74 68 61 6e 20 79  king more than y
0110: 6f 75 20 67 69 76 65 2e 0a 23 0a 23 2a 2a 2a 2a  ou 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 0a 23 0a 23 20 54 65 73 74 20 74 68 61  ***.#.# Test tha
0170: 74 20 70 61 72 74 69 61 6c 20 69 6e 64 65 78 65  t partial indexe
0180: 73 20 77 6f 72 6b 20 77 69 74 68 20 62 6f 75 6e  s work with boun
0190: 64 20 76 61 72 69 61 62 6c 65 73 2e 0a 23 0a 0a  d variables..#..
01a0: 73 65 74 20 74 65 73 74 64 69 72 20 5b 66 69 6c  set testdir [fil
01b0: 65 20 64 69 72 6e 61 6d 65 20 24 61 72 67 76 30  e dirname $argv0
01c0: 5d 0a 73 6f 75 72 63 65 20 24 74 65 73 74 64 69  ].source $testdi
01d0: 72 2f 74 65 73 74 65 72 2e 74 63 6c 0a 73 65 74  r/tester.tcl.set
01e0: 20 74 65 73 74 70 72 65 66 69 78 20 69 6e 64 65   testprefix inde
01f0: 78 39 0a 0a 70 72 6f 63 20 73 71 6c 75 73 65 73  x9..proc sqluses
0200: 20 7b 73 71 6c 7d 20 7b 0a 20 20 61 72 72 61 79   {sql} {.  array
0210: 20 75 6e 73 65 74 20 3a 3a 54 0a 20 20 75 70 6c   unset ::T.  upl
0220: 65 76 65 6c 20 5b 6c 69 73 74 20 64 62 20 65 76  evel [list db ev
0230: 61 6c 20 22 45 58 50 4c 41 49 4e 20 24 73 71 6c  al "EXPLAIN $sql
0240: 22 20 61 20 7b 0a 20 20 20 20 69 66 20 7b 24 61  " a {.    if {$a
0250: 28 6f 70 63 6f 64 65 29 3d 3d 22 4f 70 65 6e 52  (opcode)=="OpenR
0260: 65 61 64 22 7d 20 7b 20 73 65 74 20 3a 3a 54 28  ead"} { set ::T(
0270: 24 61 28 70 32 29 29 20 31 20 7d 0a 20 20 7d 5d  $a(p2)) 1 }.  }]
0280: 0a 0a 20 20 73 65 74 20 69 6e 20 5b 6a 6f 69 6e  ..  set in [join
0290: 20 5b 61 72 72 61 79 20 6e 61 6d 65 73 20 3a 3a   [array names ::
02a0: 54 5d 20 2c 5d 0a 20 20 64 62 20 65 76 61 6c 20  T] ,].  db eval 
02b0: 22 53 45 4c 45 43 54 20 6e 61 6d 65 20 46 52 4f  "SELECT name FRO
02c0: 4d 20 73 71 6c 69 74 65 5f 6d 61 73 74 65 72 20  M sqlite_master 
02d0: 57 48 45 52 45 20 72 6f 6f 74 70 61 67 65 20 49  WHERE rootpage I
02e0: 4e 20 28 24 69 6e 29 20 4f 52 44 45 52 20 42 59  N ($in) ORDER BY
02f0: 20 31 22 0a 7d 0a 0a 70 72 6f 63 20 64 6f 5f 73   1".}..proc do_s
0300: 71 6c 75 73 65 73 5f 74 65 73 74 20 7b 74 6e 20  qluses_test {tn 
0310: 73 71 6c 20 6f 62 6a 65 63 74 73 7d 20 7b 0a 20  sql objects} {. 
0320: 20 75 70 6c 65 76 65 6c 20 5b 6c 69 73 74 20 64   uplevel [list d
0330: 6f 5f 74 65 73 74 20 24 74 6e 20 5b 6c 69 73 74  o_test $tn [list
0340: 20 73 71 6c 75 73 65 73 20 24 73 71 6c 5d 20 24   sqluses $sql] $
0350: 6f 62 6a 65 63 74 73 5d 0a 7d 0a 0a 64 6f 5f 65  objects].}..do_e
0360: 78 65 63 73 71 6c 5f 74 65 73 74 20 31 2e 30 20  xecsql_test 1.0 
0370: 7b 0a 20 20 43 52 45 41 54 45 20 54 41 42 4c 45  {.  CREATE TABLE
0380: 20 74 31 28 78 2c 20 79 29 3b 0a 20 20 43 52 45   t1(x, y);.  CRE
0390: 41 54 45 20 49 4e 44 45 58 20 74 31 78 20 4f 4e  ATE INDEX t1x ON
03a0: 20 74 31 28 78 29 20 57 48 45 52 45 20 79 3d 34   t1(x) WHERE y=4
03b0: 35 3b 0a 7d 0a 73 65 74 20 79 20 5b 65 78 70 72  5;.}.set y [expr
03c0: 20 34 35 5d 0a 64 6f 5f 73 71 6c 75 73 65 73 5f   45].do_sqluses_
03d0: 74 65 73 74 20 31 2e 31 20 7b 20 53 45 4c 45 43  test 1.1 { SELEC
03e0: 54 20 2a 20 46 52 4f 4d 20 74 31 20 57 48 45 52  T * FROM t1 WHER
03f0: 45 20 78 3d 3f 20 41 4e 44 20 79 3d 24 79 20 7d  E x=? AND y=$y }
0400: 20 7b 74 31 20 74 31 78 7d 0a 73 65 74 20 79 20   {t1 t1x}.set y 
0410: 5b 65 78 70 72 20 34 35 2e 31 5d 0a 64 6f 5f 73  [expr 45.1].do_s
0420: 71 6c 75 73 65 73 5f 74 65 73 74 20 31 2e 32 20  qluses_test 1.2 
0430: 7b 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20  { SELECT * FROM 
0440: 74 31 20 57 48 45 52 45 20 78 3d 3f 20 41 4e 44  t1 WHERE x=? AND
0450: 20 79 3d 24 79 20 7d 20 7b 74 31 7d 0a 73 65 74   y=$y } {t1}.set
0460: 20 79 20 5b 65 78 70 72 20 34 34 5d 0a 64 6f 5f   y [expr 44].do_
0470: 73 71 6c 75 73 65 73 5f 74 65 73 74 20 31 2e 33  sqluses_test 1.3
0480: 20 7b 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d   { SELECT * FROM
0490: 20 74 31 20 57 48 45 52 45 20 78 3d 3f 20 41 4e   t1 WHERE x=? AN
04a0: 44 20 79 3d 24 79 20 7d 20 7b 74 31 7d 0a 75 6e  D y=$y } {t1}.un
04b0: 73 65 74 20 2d 6e 6f 63 6f 6d 70 6c 61 69 6e 20  set -nocomplain 
04c0: 79 0a 64 6f 5f 73 71 6c 75 73 65 73 5f 74 65 73  y.do_sqluses_tes
04d0: 74 20 31 2e 34 20 7b 20 53 45 4c 45 43 54 20 2a  t 1.4 { SELECT *
04e0: 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 78   FROM t1 WHERE x
04f0: 3d 3f 20 41 4e 44 20 79 3d 24 79 20 7d 20 7b 74  =? AND y=$y } {t
0500: 31 7d 0a 73 65 74 20 79 20 5b 73 74 72 69 6e 67  1}.set y [string
0510: 20 72 61 6e 67 65 20 22 34 35 22 20 30 20 65 6e   range "45" 0 en
0520: 64 5d 0a 64 6f 5f 73 71 6c 75 73 65 73 5f 74 65  d].do_sqluses_te
0530: 73 74 20 31 2e 35 20 7b 20 53 45 4c 45 43 54 20  st 1.5 { SELECT 
0540: 2a 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20  * FROM t1 WHERE 
0550: 78 3d 3f 20 41 4e 44 20 79 3d 24 79 20 7d 20 7b  x=? AND y=$y } {
0560: 74 31 7d 0a 0a 64 6f 5f 65 78 65 63 73 71 6c 5f  t1}..do_execsql_
0570: 74 65 73 74 20 32 2e 30 20 7b 0a 20 20 43 52 45  test 2.0 {.  CRE
0580: 41 54 45 20 49 4e 44 45 58 20 74 31 78 32 20 4f  ATE INDEX t1x2 O
0590: 4e 20 74 31 28 78 29 20 57 48 45 52 45 20 79 3d  N t1(x) WHERE y=
05a0: 2d 32 30 31 31 31 30 30 30 31 31 31 0a 7d 0a 64  -20111000111.}.d
05b0: 6f 5f 73 71 6c 75 73 65 73 5f 74 65 73 74 20 32  o_sqluses_test 2
05c0: 2e 31 20 7b 20 53 45 4c 45 43 54 20 2a 20 46 52  .1 { SELECT * FR
05d0: 4f 4d 20 74 31 20 57 48 45 52 45 20 79 3d 24 79  OM t1 WHERE y=$y
05e0: 20 4f 52 44 45 52 20 42 59 20 78 20 7d 20 7b 74   ORDER BY x } {t
05f0: 31 7d 0a 73 65 74 20 79 20 5b 65 78 70 72 20 2d  1}.set y [expr -
0600: 32 30 31 31 31 30 30 30 31 31 31 5d 0a 64 6f 5f  20111000111].do_
0610: 73 71 6c 75 73 65 73 5f 74 65 73 74 20 32 2e 32  sqluses_test 2.2
0620: 20 7b 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d   { SELECT * FROM
0630: 20 74 31 20 57 48 45 52 45 20 79 3d 24 79 20 4f   t1 WHERE y=$y O
0640: 52 44 45 52 20 42 59 20 78 20 7d 20 7b 74 31 20  RDER BY x } {t1 
0650: 74 31 78 32 7d 0a 73 65 74 20 79 20 5b 65 78 70  t1x2}.set y [exp
0660: 72 20 2d 32 30 31 31 31 30 30 30 31 31 30 5d 0a  r -20111000110].
0670: 64 6f 5f 73 71 6c 75 73 65 73 5f 74 65 73 74 20  do_sqluses_test 
0680: 32 2e 33 20 7b 20 53 45 4c 45 43 54 20 2a 20 46  2.3 { SELECT * F
0690: 52 4f 4d 20 74 31 20 57 48 45 52 45 20 79 3d 24  ROM t1 WHERE y=$
06a0: 79 20 4f 52 44 45 52 20 42 59 20 78 20 7d 20 7b  y ORDER BY x } {
06b0: 74 31 7d 0a 73 65 74 20 79 20 5b 65 78 70 72 20  t1}.set y [expr 
06c0: 2d 32 30 31 31 31 30 30 30 31 31 32 5d 0a 64 6f  -20111000112].do
06d0: 5f 73 71 6c 75 73 65 73 5f 74 65 73 74 20 32 2e  _sqluses_test 2.
06e0: 34 20 7b 20 53 45 4c 45 43 54 20 2a 20 46 52 4f  4 { SELECT * FRO
06f0: 4d 20 74 31 20 57 48 45 52 45 20 79 3d 24 79 20  M t1 WHERE y=$y 
0700: 4f 52 44 45 52 20 42 59 20 78 20 7d 20 7b 74 31  ORDER BY x } {t1
0710: 7d 0a 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65  }..do_execsql_te
0720: 73 74 20 33 2e 30 20 7b 0a 20 20 43 52 45 41 54  st 3.0 {.  CREAT
0730: 45 20 49 4e 44 45 58 20 74 31 78 33 20 4f 4e 20  E INDEX t1x3 ON 
0740: 74 31 28 78 29 20 57 48 45 52 45 20 79 3d 39 32  t1(x) WHERE y=92
0750: 32 33 33 37 32 30 33 36 38 35 34 37 37 35 38 30  2337203685477580
0760: 37 0a 7d 0a 73 65 74 20 79 20 5b 65 78 70 72 20  7.}.set y [expr 
0770: 39 32 32 33 33 37 32 30 33 36 38 35 34 37 37 35  9223372036854775
0780: 38 30 37 5d 0a 64 6f 5f 73 71 6c 75 73 65 73 5f  807].do_sqluses_
0790: 74 65 73 74 20 33 2e 31 20 7b 20 53 45 4c 45 43  test 3.1 { SELEC
07a0: 54 20 2a 20 46 52 4f 4d 20 74 31 20 57 48 45 52  T * FROM t1 WHER
07b0: 45 20 79 3d 24 79 20 4f 52 44 45 52 20 42 59 20  E y=$y ORDER BY 
07c0: 78 20 7d 20 7b 74 31 20 74 31 78 33 7d 0a 73 65  x } {t1 t1x3}.se
07d0: 74 20 79 20 5b 65 78 70 72 20 39 32 32 33 33 37  t y [expr 922337
07e0: 32 30 33 36 38 35 34 37 37 35 38 30 38 5d 0a 64  2036854775808].d
07f0: 6f 5f 73 71 6c 75 73 65 73 5f 74 65 73 74 20 33  o_sqluses_test 3
0800: 2e 32 20 7b 20 53 45 4c 45 43 54 20 2a 20 46 52  .2 { SELECT * FR
0810: 4f 4d 20 74 31 20 57 48 45 52 45 20 79 3d 24 79  OM t1 WHERE y=$y
0820: 20 4f 52 44 45 52 20 42 59 20 78 20 7d 20 7b 74   ORDER BY x } {t
0830: 31 7d 0a 73 65 74 20 79 20 5b 65 78 70 72 20 39  1}.set y [expr 9
0840: 32 32 33 33 37 32 30 33 36 38 35 34 37 37 35 38  2233720368547758
0850: 30 36 5d 0a 64 6f 5f 73 71 6c 75 73 65 73 5f 74  06].do_sqluses_t
0860: 65 73 74 20 33 2e 33 20 7b 20 53 45 4c 45 43 54  est 3.3 { SELECT
0870: 20 2a 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45   * FROM t1 WHERE
0880: 20 79 3d 24 79 20 4f 52 44 45 52 20 42 59 20 78   y=$y ORDER BY x
0890: 20 7d 20 7b 74 31 7d 0a 64 62 20 63 61 63 68 65   } {t1}.db cache
08a0: 20 66 6c 75 73 68 0a 73 71 6c 69 74 65 33 5f 64   flush.sqlite3_d
08b0: 62 5f 63 6f 6e 66 69 67 20 64 62 20 51 50 53 47  b_config db QPSG
08c0: 20 31 0a 73 65 74 20 79 20 5b 65 78 70 72 20 39   1.set y [expr 9
08d0: 32 32 33 33 37 32 30 33 36 38 35 34 37 37 35 38  2233720368547758
08e0: 30 37 5d 0a 64 6f 5f 73 71 6c 75 73 65 73 5f 74  07].do_sqluses_t
08f0: 65 73 74 20 33 2e 34 20 7b 20 53 45 4c 45 43 54  est 3.4 { SELECT
0900: 20 2a 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45   * FROM t1 WHERE
0910: 20 79 3d 24 79 20 4f 52 44 45 52 20 42 59 20 78   y=$y ORDER BY x
0920: 20 7d 20 7b 74 31 7d 0a 73 65 74 20 79 20 5b 65   } {t1}.set y [e
0930: 78 70 72 20 39 32 32 33 33 37 32 30 33 36 38 35  xpr 922337203685
0940: 34 37 37 35 38 30 38 5d 0a 64 6f 5f 73 71 6c 75  4775808].do_sqlu
0950: 73 65 73 5f 74 65 73 74 20 33 2e 35 20 7b 20 53  ses_test 3.5 { S
0960: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20  ELECT * FROM t1 
0970: 57 48 45 52 45 20 79 3d 24 79 20 4f 52 44 45 52  WHERE y=$y ORDER
0980: 20 42 59 20 78 20 7d 20 7b 74 31 7d 0a 73 71 6c   BY x } {t1}.sql
0990: 69 74 65 33 5f 64 62 5f 63 6f 6e 66 69 67 20 64  ite3_db_config d
09a0: 62 20 51 50 53 47 20 30 0a 64 62 20 63 61 63 68  b QPSG 0.db cach
09b0: 65 20 66 6c 75 73 68 0a 0a 0a 64 6f 5f 65 78 65  e flush...do_exe
09c0: 63 73 71 6c 5f 74 65 73 74 20 34 2e 30 20 7b 0a  csql_test 4.0 {.
09d0: 20 20 43 52 45 41 54 45 20 49 4e 44 45 58 20 74    CREATE INDEX t
09e0: 31 78 34 20 4f 4e 20 74 31 28 78 29 20 57 48 45  1x4 ON t1(x) WHE
09f0: 52 45 20 79 3d 2d 39 32 32 33 33 37 32 30 33 36  RE y=-9223372036
0a00: 38 35 34 37 37 35 38 30 38 0a 7d 0a 73 65 74 20  854775808.}.set 
0a10: 79 20 5b 65 78 70 72 20 2d 39 32 32 33 33 37 32  y [expr -9223372
0a20: 30 33 36 38 35 34 37 37 35 38 30 38 5d 0a 64 6f  036854775808].do
0a30: 5f 73 71 6c 75 73 65 73 5f 74 65 73 74 20 34 2e  _sqluses_test 4.
0a40: 31 20 7b 20 53 45 4c 45 43 54 20 2a 20 46 52 4f  1 { SELECT * FRO
0a50: 4d 20 74 31 20 57 48 45 52 45 20 79 3d 24 79 20  M t1 WHERE y=$y 
0a60: 4f 52 44 45 52 20 42 59 20 78 20 7d 20 7b 74 31  ORDER BY x } {t1
0a70: 20 74 31 78 34 7d 0a 73 65 74 20 79 20 5b 65 78   t1x4}.set y [ex
0a80: 70 72 20 2d 39 32 32 33 33 37 32 30 33 36 38 35  pr -922337203685
0a90: 34 37 37 35 38 30 37 5d 0a 64 6f 5f 73 71 6c 75  4775807].do_sqlu
0aa0: 73 65 73 5f 74 65 73 74 20 34 2e 32 20 7b 20 53  ses_test 4.2 { S
0ab0: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20  ELECT * FROM t1 
0ac0: 57 48 45 52 45 20 79 3d 24 79 20 4f 52 44 45 52  WHERE y=$y ORDER
0ad0: 20 42 59 20 78 20 7d 20 7b 74 31 7d 0a 73 65 74   BY x } {t1}.set
0ae0: 20 79 20 5b 65 78 70 72 20 2d 39 32 32 33 33 37   y [expr -922337
0af0: 32 30 33 36 38 35 34 37 37 35 38 30 39 5d 0a 64  2036854775809].d
0b00: 6f 5f 73 71 6c 75 73 65 73 5f 74 65 73 74 20 34  o_sqluses_test 4
0b10: 2e 33 20 7b 20 53 45 4c 45 43 54 20 2a 20 46 52  .3 { SELECT * FR
0b20: 4f 4d 20 74 31 20 57 48 45 52 45 20 79 3d 24 79  OM t1 WHERE y=$y
0b30: 20 4f 52 44 45 52 20 42 59 20 78 20 7d 20 7b 74   ORDER BY x } {t
0b40: 31 7d 0a 73 65 74 20 79 20 5b 65 78 70 72 20 2d  1}.set y [expr -
0b50: 39 32 32 33 33 37 32 30 33 36 38 35 34 37 37 35  9223372036854775
0b60: 38 30 38 5d 0a 64 6f 5f 73 71 6c 75 73 65 73 5f  808].do_sqluses_
0b70: 74 65 73 74 20 34 2e 34 20 7b 20 53 45 4c 45 43  test 4.4 { SELEC
0b80: 54 20 2a 20 46 52 4f 4d 20 74 31 20 57 48 45 52  T * FROM t1 WHER
0b90: 45 20 24 79 3d 79 20 4f 52 44 45 52 20 42 59 20  E $y=y ORDER BY 
0ba0: 78 20 7d 20 7b 74 31 20 74 31 78 34 7d 0a 64 62  x } {t1 t1x4}.db
0bb0: 20 63 61 63 68 65 20 66 6c 75 73 68 0a 73 71 6c   cache flush.sql
0bc0: 69 74 65 33 5f 64 62 5f 63 6f 6e 66 69 67 20 64  ite3_db_config d
0bd0: 62 20 51 50 53 47 20 31 0a 64 6f 5f 73 71 6c 75  b QPSG 1.do_sqlu
0be0: 73 65 73 5f 74 65 73 74 20 34 2e 35 20 7b 20 53  ses_test 4.5 { S
0bf0: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20  ELECT * FROM t1 
0c00: 57 48 45 52 45 20 24 79 3d 79 20 4f 52 44 45 52  WHERE $y=y ORDER
0c10: 20 42 59 20 78 20 7d 20 7b 74 31 7d 0a 73 71 6c   BY x } {t1}.sql
0c20: 69 74 65 33 5f 64 62 5f 63 6f 6e 66 69 67 20 64  ite3_db_config d
0c30: 62 20 51 50 53 47 20 30 0a 64 62 20 63 61 63 68  b QPSG 0.db cach
0c40: 65 20 66 6c 75 73 68 0a 0a 66 69 6e 69 73 68 5f  e flush..finish_
0c50: 74 65 73 74 0a                                   test.