/ Hex Artifact Content
Login

Artifact 7e15e1cc524524e7b2c4595ec85c75501d22f4ff:


0000: 23 20 32 30 31 33 2d 31 31 2d 31 33 0a 23 0a 23  # 2013-11-13.#.#
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 0a 23 20 54 68 69 73 20 66 69 6c 65  **.#.# This file
0170: 20 69 6d 70 6c 65 6d 65 6e 74 73 20 74 65 73 74   implements test
0180: 73 20 6f 66 20 74 68 65 20 22 73 6b 69 70 2d 73  s of the "skip-s
0190: 63 61 6e 22 20 71 75 65 72 79 20 73 74 72 61 74  can" query strat
01a0: 65 67 79 2e 0a 23 0a 0a 73 65 74 20 74 65 73 74  egy..#..set test
01b0: 64 69 72 20 5b 66 69 6c 65 20 64 69 72 6e 61 6d  dir [file dirnam
01c0: 65 20 24 61 72 67 76 30 5d 0a 73 6f 75 72 63 65  e $argv0].source
01d0: 20 24 74 65 73 74 64 69 72 2f 74 65 73 74 65 72   $testdir/tester
01e0: 2e 74 63 6c 0a 0a 64 6f 5f 65 78 65 63 73 71 6c  .tcl..do_execsql
01f0: 5f 74 65 73 74 20 73 6b 69 70 73 63 61 6e 31 2d  _test skipscan1-
0200: 31 2e 31 20 7b 0a 20 20 43 52 45 41 54 45 20 54  1.1 {.  CREATE T
0210: 41 42 4c 45 20 74 31 28 61 20 54 45 58 54 2c 20  ABLE t1(a TEXT, 
0220: 62 20 49 4e 54 2c 20 63 20 49 4e 54 2c 20 64 20  b INT, c INT, d 
0230: 49 4e 54 29 3b 0a 20 20 43 52 45 41 54 45 20 49  INT);.  CREATE I
0240: 4e 44 45 58 20 74 31 61 62 63 20 4f 4e 20 74 31  NDEX t1abc ON t1
0250: 28 61 2c 62 2c 63 29 3b 0a 20 20 49 4e 53 45 52  (a,b,c);.  INSER
0260: 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53  T INTO t1 VALUES
0270: 28 27 61 62 63 27 2c 31 32 33 2c 34 2c 35 29 3b  ('abc',123,4,5);
0280: 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74  .  INSERT INTO t
0290: 31 20 56 41 4c 55 45 53 28 27 61 62 63 27 2c 32  1 VALUES('abc',2
02a0: 33 34 2c 35 2c 36 29 3b 0a 20 20 49 4e 53 45 52  34,5,6);.  INSER
02b0: 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53  T INTO t1 VALUES
02c0: 28 27 61 62 63 27 2c 32 33 34 2c 36 2c 37 29 3b  ('abc',234,6,7);
02d0: 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74  .  INSERT INTO t
02e0: 31 20 56 41 4c 55 45 53 28 27 61 62 63 27 2c 33  1 VALUES('abc',3
02f0: 34 35 2c 37 2c 38 29 3b 0a 20 20 49 4e 53 45 52  45,7,8);.  INSER
0300: 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53  T INTO t1 VALUES
0310: 28 27 64 65 66 27 2c 35 36 37 2c 38 2c 39 29 3b  ('def',567,8,9);
0320: 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74  .  INSERT INTO t
0330: 31 20 56 41 4c 55 45 53 28 27 64 65 66 27 2c 33  1 VALUES('def',3
0340: 34 35 2c 39 2c 31 30 29 3b 0a 20 20 49 4e 53 45  45,9,10);.  INSE
0350: 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45  RT INTO t1 VALUE
0360: 53 28 27 62 63 64 27 2c 31 30 30 2c 36 2c 31 31  S('bcd',100,6,11
0370: 29 3b 0a 0a 20 20 2f 2a 20 46 61 6b 65 20 74 68  );..  /* Fake th
0380: 65 20 73 71 6c 69 74 65 5f 73 74 61 74 31 20 74  e sqlite_stat1 t
0390: 61 62 6c 65 20 73 6f 20 74 68 61 74 20 74 68 65  able so that the
03a0: 20 71 75 65 72 79 20 70 6c 61 6e 6e 65 72 20 62   query planner b
03b0: 65 6c 69 65 76 65 73 0a 20 20 2a 2a 20 74 68 65  elieves.  ** the
03c0: 20 74 61 62 6c 65 20 63 6f 6e 74 61 69 6e 73 20   table contains 
03d0: 74 68 6f 75 73 61 6e 64 73 20 6f 66 20 72 6f 77  thousands of row
03e0: 73 20 61 6e 64 20 74 68 61 74 20 74 68 65 20 66  s and that the f
03f0: 69 72 73 74 20 66 65 77 0a 20 20 2a 2a 20 63 6f  irst few.  ** co
0400: 6c 75 6d 6e 73 20 61 72 65 20 6e 6f 74 20 73 65  lumns are not se
0410: 6c 65 63 74 69 76 65 2e 20 2a 2f 0a 20 20 41 4e  lective. */.  AN
0420: 41 4c 59 5a 45 3b 0a 20 20 44 45 4c 45 54 45 20  ALYZE;.  DELETE 
0430: 46 52 4f 4d 20 73 71 6c 69 74 65 5f 73 74 61 74  FROM sqlite_stat
0440: 31 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  1;.  INSERT INTO
0450: 20 73 71 6c 69 74 65 5f 73 74 61 74 31 20 56 41   sqlite_stat1 VA
0460: 4c 55 45 53 28 27 74 31 27 2c 27 74 31 61 62 63  LUES('t1','t1abc
0470: 27 2c 27 31 30 30 30 30 20 35 30 30 30 20 32 30  ','10000 5000 20
0480: 30 30 20 31 30 27 29 3b 0a 20 20 41 4e 41 4c 59  00 10');.  ANALY
0490: 5a 45 20 73 71 6c 69 74 65 5f 6d 61 73 74 65 72  ZE sqlite_master
04a0: 3b 0a 7d 20 7b 7d 0a 0a 23 20 53 69 6d 70 6c 65  ;.} {}..# Simple
04b0: 20 71 75 65 72 69 65 73 20 74 68 61 74 20 6c 65   queries that le
04c0: 61 76 65 20 74 68 65 20 66 69 72 73 74 20 6f 6e  ave the first on
04d0: 65 20 6f 72 20 74 77 6f 20 63 6f 6c 75 6d 6e 73  e or two columns
04e0: 20 6f 66 20 74 68 65 0a 23 20 69 6e 64 65 78 20   of the.# index 
04f0: 75 6e 63 6f 6e 73 74 72 61 69 6e 74 65 64 2e 0a  unconstrainted..
0500: 23 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73  #.do_execsql_tes
0510: 74 20 73 6b 69 70 73 63 61 6e 31 2d 31 2e 32 20  t skipscan1-1.2 
0520: 7b 0a 20 20 53 45 4c 45 43 54 20 61 2c 62 2c 63  {.  SELECT a,b,c
0530: 2c 64 2c 27 7c 27 20 46 52 4f 4d 20 74 31 20 57  ,d,'|' FROM t1 W
0540: 48 45 52 45 20 62 3d 33 34 35 20 4f 52 44 45 52  HERE b=345 ORDER
0550: 20 42 59 20 61 3b 0a 7d 20 7b 61 62 63 20 33 34   BY a;.} {abc 34
0560: 35 20 37 20 38 20 7c 20 64 65 66 20 33 34 35 20  5 7 8 | def 345 
0570: 39 20 31 30 20 7c 7d 0a 64 6f 5f 65 78 65 63 73  9 10 |}.do_execs
0580: 71 6c 5f 74 65 73 74 20 73 6b 69 70 73 63 61 6e  ql_test skipscan
0590: 31 2d 31 2e 32 65 71 70 20 7b 0a 20 20 45 58 50  1-1.2eqp {.  EXP
05a0: 4c 41 49 4e 20 51 55 45 52 59 20 50 4c 41 4e 0a  LAIN QUERY PLAN.
05b0: 20 20 53 45 4c 45 43 54 20 61 2c 62 2c 63 2c 64    SELECT a,b,c,d
05c0: 2c 27 7c 27 20 46 52 4f 4d 20 74 31 20 57 48 45  ,'|' FROM t1 WHE
05d0: 52 45 20 62 3d 33 34 35 20 4f 52 44 45 52 20 42  RE b=345 ORDER B
05e0: 59 20 61 3b 0a 7d 20 7b 2f 2a 20 55 53 49 4e 47  Y a;.} {/* USING
05f0: 20 49 4e 44 45 58 20 74 31 61 62 63 20 28 41 4e   INDEX t1abc (AN
0600: 59 28 61 29 20 41 4e 44 20 62 3d 3f 29 2a 2f 7d  Y(a) AND b=?)*/}
0610: 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74  .do_execsql_test
0620: 20 73 6b 69 70 73 63 61 6e 31 2d 31 2e 32 73 6f   skipscan1-1.2so
0630: 72 74 20 7b 0a 20 20 45 58 50 4c 41 49 4e 20 51  rt {.  EXPLAIN Q
0640: 55 45 52 59 20 50 4c 41 4e 0a 20 20 53 45 4c 45  UERY PLAN.  SELE
0650: 43 54 20 61 2c 62 2c 63 2c 64 2c 27 7c 27 20 46  CT a,b,c,d,'|' F
0660: 52 4f 4d 20 74 31 20 57 48 45 52 45 20 62 3d 33  ROM t1 WHERE b=3
0670: 34 35 20 4f 52 44 45 52 20 42 59 20 61 3b 0a 7d  45 ORDER BY a;.}
0680: 20 7b 7e 2f 2a 4f 52 44 45 52 20 42 59 2a 2f 7d   {~/*ORDER BY*/}
0690: 0a 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73  ..do_execsql_tes
06a0: 74 20 73 6b 69 70 73 63 61 6e 31 2d 31 2e 33 20  t skipscan1-1.3 
06b0: 7b 0a 20 20 53 45 4c 45 43 54 20 61 2c 62 2c 63  {.  SELECT a,b,c
06c0: 2c 64 2c 27 7c 27 20 46 52 4f 4d 20 74 31 20 57  ,d,'|' FROM t1 W
06d0: 48 45 52 45 20 62 3d 33 34 35 20 4f 52 44 45 52  HERE b=345 ORDER
06e0: 20 42 59 20 61 20 44 45 53 43 3b 0a 7d 20 7b 64   BY a DESC;.} {d
06f0: 65 66 20 33 34 35 20 39 20 31 30 20 7c 20 61 62  ef 345 9 10 | ab
0700: 63 20 33 34 35 20 37 20 38 20 7c 7d 0a 64 6f 5f  c 345 7 8 |}.do_
0710: 65 78 65 63 73 71 6c 5f 74 65 73 74 20 73 6b 69  execsql_test ski
0720: 70 73 63 61 6e 31 2d 31 2e 33 65 71 70 20 7b 0a  pscan1-1.3eqp {.
0730: 20 20 45 58 50 4c 41 49 4e 20 51 55 45 52 59 20    EXPLAIN QUERY 
0740: 50 4c 41 4e 0a 20 20 53 45 4c 45 43 54 20 61 2c  PLAN.  SELECT a,
0750: 62 2c 63 2c 64 2c 27 7c 27 20 46 52 4f 4d 20 74  b,c,d,'|' FROM t
0760: 31 20 57 48 45 52 45 20 62 3d 33 34 35 20 4f 52  1 WHERE b=345 OR
0770: 44 45 52 20 42 59 20 61 3b 0a 7d 20 7b 2f 2a 20  DER BY a;.} {/* 
0780: 55 53 49 4e 47 20 49 4e 44 45 58 20 74 31 61 62  USING INDEX t1ab
0790: 63 20 28 41 4e 59 28 61 29 20 41 4e 44 20 62 3d  c (ANY(a) AND b=
07a0: 3f 29 2a 2f 7d 0a 64 6f 5f 65 78 65 63 73 71 6c  ?)*/}.do_execsql
07b0: 5f 74 65 73 74 20 73 6b 69 70 73 63 61 6e 31 2d  _test skipscan1-
07c0: 31 2e 33 73 6f 72 74 20 7b 0a 20 20 45 58 50 4c  1.3sort {.  EXPL
07d0: 41 49 4e 20 51 55 45 52 59 20 50 4c 41 4e 0a 20  AIN QUERY PLAN. 
07e0: 20 53 45 4c 45 43 54 20 61 2c 62 2c 63 2c 64 2c   SELECT a,b,c,d,
07f0: 27 7c 27 20 46 52 4f 4d 20 74 31 20 57 48 45 52  '|' FROM t1 WHER
0800: 45 20 62 3d 33 34 35 20 4f 52 44 45 52 20 42 59  E b=345 ORDER BY
0810: 20 61 3b 0a 7d 20 7b 7e 2f 2a 4f 52 44 45 52 20   a;.} {~/*ORDER 
0820: 42 59 2a 2f 7d 0a 0a 64 6f 5f 65 78 65 63 73 71  BY*/}..do_execsq
0830: 6c 5f 74 65 73 74 20 73 6b 69 70 73 63 61 6e 31  l_test skipscan1
0840: 2d 31 2e 34 20 7b 0a 20 20 53 45 4c 45 43 54 20  -1.4 {.  SELECT 
0850: 61 2c 62 2c 63 2c 64 2c 27 7c 27 20 46 52 4f 4d  a,b,c,d,'|' FROM
0860: 20 74 31 20 57 48 45 52 45 20 63 3d 36 20 4f 52   t1 WHERE c=6 OR
0870: 44 45 52 20 42 59 20 61 2c 20 62 2c 20 63 3b 0a  DER BY a, b, c;.
0880: 7d 20 7b 61 62 63 20 32 33 34 20 36 20 37 20 7c  } {abc 234 6 7 |
0890: 20 62 63 64 20 31 30 30 20 36 20 31 31 20 7c 7d   bcd 100 6 11 |}
08a0: 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74  .do_execsql_test
08b0: 20 73 6b 69 70 73 63 61 6e 31 2d 31 2e 34 65 71   skipscan1-1.4eq
08c0: 70 20 7b 0a 20 20 45 58 50 4c 41 49 4e 20 51 55  p {.  EXPLAIN QU
08d0: 45 52 59 20 50 4c 41 4e 0a 20 20 53 45 4c 45 43  ERY PLAN.  SELEC
08e0: 54 20 61 2c 62 2c 63 2c 64 2c 27 7c 27 20 46 52  T a,b,c,d,'|' FR
08f0: 4f 4d 20 74 31 20 57 48 45 52 45 20 63 3d 36 20  OM t1 WHERE c=6 
0900: 4f 52 44 45 52 20 42 59 20 61 2c 20 62 2c 20 63  ORDER BY a, b, c
0910: 3b 0a 7d 20 7b 2f 2a 20 55 53 49 4e 47 20 49 4e  ;.} {/* USING IN
0920: 44 45 58 20 74 31 61 62 63 20 28 41 4e 59 28 61  DEX t1abc (ANY(a
0930: 29 20 41 4e 44 20 41 4e 59 28 62 29 20 41 4e 44  ) AND ANY(b) AND
0940: 20 63 3d 3f 29 2a 2f 7d 0a 64 6f 5f 65 78 65 63   c=?)*/}.do_exec
0950: 73 71 6c 5f 74 65 73 74 20 73 6b 69 70 73 63 61  sql_test skipsca
0960: 6e 31 2d 31 2e 34 73 6f 72 74 20 7b 0a 20 20 45  n1-1.4sort {.  E
0970: 58 50 4c 41 49 4e 20 51 55 45 52 59 20 50 4c 41  XPLAIN QUERY PLA
0980: 4e 0a 20 20 53 45 4c 45 43 54 20 61 2c 62 2c 63  N.  SELECT a,b,c
0990: 2c 64 2c 27 7c 27 20 46 52 4f 4d 20 74 31 20 57  ,d,'|' FROM t1 W
09a0: 48 45 52 45 20 63 3d 36 20 4f 52 44 45 52 20 42  HERE c=6 ORDER B
09b0: 59 20 61 2c 20 62 2c 20 63 3b 0a 7d 20 7b 7e 2f  Y a, b, c;.} {~/
09c0: 2a 4f 52 44 45 52 20 42 59 2a 2f 7d 0a 0a 64 6f  *ORDER BY*/}..do
09d0: 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 73 6b  _execsql_test sk
09e0: 69 70 73 63 61 6e 31 2d 31 2e 35 20 7b 0a 20 20  ipscan1-1.5 {.  
09f0: 53 45 4c 45 43 54 20 61 2c 62 2c 63 2c 64 2c 27  SELECT a,b,c,d,'
0a00: 7c 27 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45  |' FROM t1 WHERE
0a10: 20 63 20 49 4e 20 28 36 2c 37 29 20 4f 52 44 45   c IN (6,7) ORDE
0a20: 52 20 42 59 20 61 2c 20 62 2c 20 63 3b 0a 7d 20  R BY a, b, c;.} 
0a30: 7b 61 62 63 20 32 33 34 20 36 20 37 20 7c 20 61  {abc 234 6 7 | a
0a40: 62 63 20 33 34 35 20 37 20 38 20 7c 20 62 63 64  bc 345 7 8 | bcd
0a50: 20 31 30 30 20 36 20 31 31 20 7c 7d 0a 64 6f 5f   100 6 11 |}.do_
0a60: 65 78 65 63 73 71 6c 5f 74 65 73 74 20 73 6b 69  execsql_test ski
0a70: 70 73 63 61 6e 31 2d 31 2e 35 65 71 70 20 7b 0a  pscan1-1.5eqp {.
0a80: 20 20 45 58 50 4c 41 49 4e 20 51 55 45 52 59 20    EXPLAIN QUERY 
0a90: 50 4c 41 4e 0a 20 20 53 45 4c 45 43 54 20 61 2c  PLAN.  SELECT a,
0aa0: 62 2c 63 2c 64 2c 27 7c 27 20 46 52 4f 4d 20 74  b,c,d,'|' FROM t
0ab0: 31 20 57 48 45 52 45 20 63 20 49 4e 20 28 36 2c  1 WHERE c IN (6,
0ac0: 37 29 20 4f 52 44 45 52 20 42 59 20 61 2c 20 62  7) ORDER BY a, b
0ad0: 2c 20 63 3b 0a 7d 20 7b 2f 2a 20 55 53 49 4e 47  , c;.} {/* USING
0ae0: 20 49 4e 44 45 58 20 74 31 61 62 63 20 28 41 4e   INDEX t1abc (AN
0af0: 59 28 61 29 20 41 4e 44 20 41 4e 59 28 62 29 20  Y(a) AND ANY(b) 
0b00: 41 4e 44 20 63 3d 3f 29 2a 2f 7d 0a 64 6f 5f 65  AND c=?)*/}.do_e
0b10: 78 65 63 73 71 6c 5f 74 65 73 74 20 73 6b 69 70  xecsql_test skip
0b20: 73 63 61 6e 31 2d 31 2e 35 73 6f 72 74 20 7b 0a  scan1-1.5sort {.
0b30: 20 20 45 58 50 4c 41 49 4e 20 51 55 45 52 59 20    EXPLAIN QUERY 
0b40: 50 4c 41 4e 0a 20 20 53 45 4c 45 43 54 20 61 2c  PLAN.  SELECT a,
0b50: 62 2c 63 2c 64 2c 27 7c 27 20 46 52 4f 4d 20 74  b,c,d,'|' FROM t
0b60: 31 20 57 48 45 52 45 20 63 20 49 4e 20 28 36 2c  1 WHERE c IN (6,
0b70: 37 29 20 4f 52 44 45 52 20 42 59 20 61 2c 20 62  7) ORDER BY a, b
0b80: 2c 20 63 3b 0a 7d 20 7b 7e 2f 2a 4f 52 44 45 52  , c;.} {~/*ORDER
0b90: 20 42 59 2a 2f 7d 0a 0a 64 6f 5f 65 78 65 63 73   BY*/}..do_execs
0ba0: 71 6c 5f 74 65 73 74 20 73 6b 69 70 73 63 61 6e  ql_test skipscan
0bb0: 31 2d 31 2e 36 20 7b 0a 20 20 53 45 4c 45 43 54  1-1.6 {.  SELECT
0bc0: 20 61 2c 62 2c 63 2c 64 2c 27 7c 27 20 46 52 4f   a,b,c,d,'|' FRO
0bd0: 4d 20 74 31 20 57 48 45 52 45 20 63 20 42 45 54  M t1 WHERE c BET
0be0: 57 45 45 4e 20 36 20 41 4e 44 20 37 20 4f 52 44  WEEN 6 AND 7 ORD
0bf0: 45 52 20 42 59 20 61 2c 20 62 2c 20 63 3b 0a 7d  ER BY a, b, c;.}
0c00: 20 7b 61 62 63 20 32 33 34 20 36 20 37 20 7c 20   {abc 234 6 7 | 
0c10: 61 62 63 20 33 34 35 20 37 20 38 20 7c 20 62 63  abc 345 7 8 | bc
0c20: 64 20 31 30 30 20 36 20 31 31 20 7c 7d 0a 64 6f  d 100 6 11 |}.do
0c30: 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 73 6b  _execsql_test sk
0c40: 69 70 73 63 61 6e 31 2d 31 2e 36 65 71 70 20 7b  ipscan1-1.6eqp {
0c50: 0a 20 20 45 58 50 4c 41 49 4e 20 51 55 45 52 59  .  EXPLAIN QUERY
0c60: 20 50 4c 41 4e 0a 20 20 53 45 4c 45 43 54 20 61   PLAN.  SELECT a
0c70: 2c 62 2c 63 2c 64 2c 27 7c 27 20 46 52 4f 4d 20  ,b,c,d,'|' FROM 
0c80: 74 31 20 57 48 45 52 45 20 63 20 42 45 54 57 45  t1 WHERE c BETWE
0c90: 45 4e 20 36 20 41 4e 44 20 37 20 4f 52 44 45 52  EN 6 AND 7 ORDER
0ca0: 20 42 59 20 61 2c 20 62 2c 20 63 3b 0a 7d 20 7b   BY a, b, c;.} {
0cb0: 2f 2a 20 55 53 49 4e 47 20 49 4e 44 45 58 20 74  /* USING INDEX t
0cc0: 31 61 62 63 20 28 41 4e 59 28 61 29 20 41 4e 44  1abc (ANY(a) AND
0cd0: 20 41 4e 59 28 62 29 20 41 4e 44 20 63 3e 3f 20   ANY(b) AND c>? 
0ce0: 41 4e 44 20 63 3c 3f 29 2a 2f 7d 0a 64 6f 5f 65  AND c<?)*/}.do_e
0cf0: 78 65 63 73 71 6c 5f 74 65 73 74 20 73 6b 69 70  xecsql_test skip
0d00: 73 63 61 6e 31 2d 31 2e 36 73 6f 72 74 20 7b 0a  scan1-1.6sort {.
0d10: 20 20 45 58 50 4c 41 49 4e 20 51 55 45 52 59 20    EXPLAIN QUERY 
0d20: 50 4c 41 4e 0a 20 20 53 45 4c 45 43 54 20 61 2c  PLAN.  SELECT a,
0d30: 62 2c 63 2c 64 2c 27 7c 27 20 46 52 4f 4d 20 74  b,c,d,'|' FROM t
0d40: 31 20 57 48 45 52 45 20 63 20 42 45 54 57 45 45  1 WHERE c BETWEE
0d50: 4e 20 36 20 41 4e 44 20 37 20 4f 52 44 45 52 20  N 6 AND 7 ORDER 
0d60: 42 59 20 61 2c 20 62 2c 20 63 3b 0a 7d 20 7b 7e  BY a, b, c;.} {~
0d70: 2f 2a 4f 52 44 45 52 20 42 59 2a 2f 7d 0a 0a 64  /*ORDER BY*/}..d
0d80: 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 73  o_execsql_test s
0d90: 6b 69 70 73 63 61 6e 31 2d 31 2e 37 20 7b 0a 20  kipscan1-1.7 {. 
0da0: 20 53 45 4c 45 43 54 20 61 2c 62 2c 63 2c 64 2c   SELECT a,b,c,d,
0db0: 27 7c 27 20 46 52 4f 4d 20 74 31 20 57 48 45 52  '|' FROM t1 WHER
0dc0: 45 20 62 20 49 4e 20 28 32 33 34 2c 20 33 34 35  E b IN (234, 345
0dd0: 29 20 41 4e 44 20 63 20 42 45 54 57 45 45 4e 20  ) AND c BETWEEN 
0de0: 36 20 41 4e 44 20 37 0a 20 20 20 4f 52 44 45 52  6 AND 7.   ORDER
0df0: 20 42 59 20 61 2c 20 62 3b 0a 7d 20 7b 61 62 63   BY a, b;.} {abc
0e00: 20 32 33 34 20 36 20 37 20 7c 20 61 62 63 20 33   234 6 7 | abc 3
0e10: 34 35 20 37 20 38 20 7c 7d 0a 64 6f 5f 65 78 65  45 7 8 |}.do_exe
0e20: 63 73 71 6c 5f 74 65 73 74 20 73 6b 69 70 73 63  csql_test skipsc
0e30: 61 6e 31 2d 31 2e 37 65 71 70 20 7b 0a 20 20 45  an1-1.7eqp {.  E
0e40: 58 50 4c 41 49 4e 20 51 55 45 52 59 20 50 4c 41  XPLAIN QUERY PLA
0e50: 4e 0a 20 20 53 45 4c 45 43 54 20 61 2c 62 2c 63  N.  SELECT a,b,c
0e60: 2c 64 2c 27 7c 27 20 46 52 4f 4d 20 74 31 20 57  ,d,'|' FROM t1 W
0e70: 48 45 52 45 20 62 20 49 4e 20 28 32 33 34 2c 20  HERE b IN (234, 
0e80: 33 34 35 29 20 41 4e 44 20 63 20 42 45 54 57 45  345) AND c BETWE
0e90: 45 4e 20 36 20 41 4e 44 20 37 0a 20 20 20 4f 52  EN 6 AND 7.   OR
0ea0: 44 45 52 20 42 59 20 61 2c 20 62 3b 0a 7d 20 7b  DER BY a, b;.} {
0eb0: 2f 2a 20 55 53 49 4e 47 20 49 4e 44 45 58 20 74  /* USING INDEX t
0ec0: 31 61 62 63 20 28 41 4e 59 28 61 29 20 41 4e 44  1abc (ANY(a) AND
0ed0: 20 62 3d 3f 20 41 4e 44 20 63 3e 3f 20 41 4e 44   b=? AND c>? AND
0ee0: 20 63 3c 3f 29 2a 2f 7d 0a 64 6f 5f 65 78 65 63   c<?)*/}.do_exec
0ef0: 73 71 6c 5f 74 65 73 74 20 73 6b 69 70 73 63 61  sql_test skipsca
0f00: 6e 31 2d 31 2e 37 73 6f 72 74 20 7b 0a 20 20 45  n1-1.7sort {.  E
0f10: 58 50 4c 41 49 4e 20 51 55 45 52 59 20 50 4c 41  XPLAIN QUERY PLA
0f20: 4e 0a 20 20 53 45 4c 45 43 54 20 61 2c 62 2c 63  N.  SELECT a,b,c
0f30: 2c 64 2c 27 7c 27 20 46 52 4f 4d 20 74 31 20 57  ,d,'|' FROM t1 W
0f40: 48 45 52 45 20 62 20 49 4e 20 28 32 33 34 2c 20  HERE b IN (234, 
0f50: 33 34 35 29 20 41 4e 44 20 63 20 42 45 54 57 45  345) AND c BETWE
0f60: 45 4e 20 36 20 41 4e 44 20 37 0a 20 20 20 4f 52  EN 6 AND 7.   OR
0f70: 44 45 52 20 42 59 20 61 2c 20 62 3b 0a 7d 20 7b  DER BY a, b;.} {
0f80: 7e 2f 2a 4f 52 44 45 52 20 42 59 2a 2f 7d 0a 0a  ~/*ORDER BY*/}..
0f90: 0a 23 20 4a 6f 69 6e 73 0a 23 0a 64 6f 5f 65 78  .# Joins.#.do_ex
0fa0: 65 63 73 71 6c 5f 74 65 73 74 20 73 6b 69 70 73  ecsql_test skips
0fb0: 63 61 6e 31 2d 31 2e 35 31 20 7b 0a 20 20 43 52  can1-1.51 {.  CR
0fc0: 45 41 54 45 20 54 41 42 4c 45 20 74 31 6a 28 78  EATE TABLE t1j(x
0fd0: 20 54 45 58 54 2c 20 79 20 49 4e 54 45 47 45 52   TEXT, y INTEGER
0fe0: 29 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  );.  INSERT INTO
0ff0: 20 74 31 6a 20 56 41 4c 55 45 53 28 27 6f 6e 65   t1j VALUES('one
1000: 27 2c 31 29 2c 28 27 73 69 78 27 2c 36 29 2c 28  ',1),('six',6),(
1010: 27 6e 69 6e 74 79 2d 6e 69 6e 65 27 2c 39 39 29  'ninty-nine',99)
1020: 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20  ;.  INSERT INTO 
1030: 73 71 6c 69 74 65 5f 73 74 61 74 31 20 56 41 4c  sqlite_stat1 VAL
1040: 55 45 53 28 27 74 31 6a 27 2c 6e 75 6c 6c 2c 27  UES('t1j',null,'
1050: 33 27 29 3b 0a 20 20 41 4e 41 4c 59 5a 45 20 73  3');.  ANALYZE s
1060: 71 6c 69 74 65 5f 6d 61 73 74 65 72 3b 0a 20 20  qlite_master;.  
1070: 53 45 4c 45 43 54 20 78 2c 20 61 2c 20 62 2c 20  SELECT x, a, b, 
1080: 63 2c 20 64 2c 20 27 7c 27 20 46 52 4f 4d 20 74  c, d, '|' FROM t
1090: 31 6a 2c 20 74 31 20 57 48 45 52 45 20 63 3d 79  1j, t1 WHERE c=y
10a0: 20 4f 52 44 45 52 20 42 59 20 2b 61 3b 0a 7d 20   ORDER BY +a;.} 
10b0: 7b 73 69 78 20 61 62 63 20 32 33 34 20 36 20 37  {six abc 234 6 7
10c0: 20 7c 20 73 69 78 20 62 63 64 20 31 30 30 20 36   | six bcd 100 6
10d0: 20 31 31 20 7c 7d 0a 64 6f 5f 65 78 65 63 73 71   11 |}.do_execsq
10e0: 6c 5f 74 65 73 74 20 73 6b 69 70 73 63 61 6e 31  l_test skipscan1
10f0: 2d 31 2e 35 31 65 71 70 20 7b 0a 20 20 45 58 50  -1.51eqp {.  EXP
1100: 4c 41 49 4e 20 51 55 45 52 59 20 50 4c 41 4e 0a  LAIN QUERY PLAN.
1110: 20 20 53 45 4c 45 43 54 20 78 2c 20 61 2c 20 62    SELECT x, a, b
1120: 2c 20 63 2c 20 64 2c 20 27 7c 27 20 46 52 4f 4d  , c, d, '|' FROM
1130: 20 74 31 6a 2c 20 74 31 20 57 48 45 52 45 20 63   t1j, t1 WHERE c
1140: 3d 79 20 4f 52 44 45 52 20 42 59 20 2b 61 3b 0a  =y ORDER BY +a;.
1150: 7d 20 7b 2f 2a 20 49 4e 44 45 58 20 74 31 61 62  } {/* INDEX t1ab
1160: 63 20 28 41 4e 59 28 61 29 20 41 4e 44 20 41 4e  c (ANY(a) AND AN
1170: 59 28 62 29 20 41 4e 44 20 63 3d 3f 29 2a 2f 7d  Y(b) AND c=?)*/}
1180: 0a 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73  ..do_execsql_tes
1190: 74 20 73 6b 69 70 73 63 61 6e 31 2d 31 2e 35 32  t skipscan1-1.52
11a0: 20 7b 0a 20 20 53 45 4c 45 43 54 20 78 2c 20 61   {.  SELECT x, a
11b0: 2c 20 62 2c 20 63 2c 20 64 2c 20 27 7c 27 20 46  , b, c, d, '|' F
11c0: 52 4f 4d 20 74 31 6a 20 4c 45 46 54 20 4a 4f 49  ROM t1j LEFT JOI
11d0: 4e 20 74 31 20 4f 4e 20 63 3d 79 20 4f 52 44 45  N t1 ON c=y ORDE
11e0: 52 20 42 59 20 2b 79 2c 20 2b 61 3b 0a 7d 20 7b  R BY +y, +a;.} {
11f0: 6f 6e 65 20 7b 7d 20 7b 7d 20 7b 7d 20 7b 7d 20  one {} {} {} {} 
1200: 7c 20 73 69 78 20 61 62 63 20 32 33 34 20 36 20  | six abc 234 6 
1210: 37 20 7c 20 73 69 78 20 62 63 64 20 31 30 30 20  7 | six bcd 100 
1220: 36 20 31 31 20 7c 20 6e 69 6e 74 79 2d 6e 69 6e  6 11 | ninty-nin
1230: 65 20 7b 7d 20 7b 7d 20 7b 7d 20 7b 7d 20 7c 7d  e {} {} {} {} |}
1240: 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74  .do_execsql_test
1250: 20 73 6b 69 70 73 63 61 6e 31 2d 31 2e 35 32 65   skipscan1-1.52e
1260: 71 70 20 7b 0a 20 20 45 58 50 4c 41 49 4e 20 51  qp {.  EXPLAIN Q
1270: 55 45 52 59 20 50 4c 41 4e 0a 20 20 53 45 4c 45  UERY PLAN.  SELE
1280: 43 54 20 78 2c 20 61 2c 20 62 2c 20 63 2c 20 64  CT x, a, b, c, d
1290: 2c 20 27 7c 27 20 46 52 4f 4d 20 74 31 6a 20 4c  , '|' FROM t1j L
12a0: 45 46 54 20 4a 4f 49 4e 20 74 31 20 4f 4e 20 63  EFT JOIN t1 ON c
12b0: 3d 79 20 4f 52 44 45 52 20 42 59 20 2b 79 2c 20  =y ORDER BY +y, 
12c0: 2b 61 3b 0a 7d 20 7b 2f 2a 20 49 4e 44 45 58 20  +a;.} {/* INDEX 
12d0: 74 31 61 62 63 20 28 41 4e 59 28 61 29 20 41 4e  t1abc (ANY(a) AN
12e0: 44 20 41 4e 59 28 62 29 20 41 4e 44 20 63 3d 3f  D ANY(b) AND c=?
12f0: 29 2a 2f 7d 0a 0a 64 6f 5f 65 78 65 63 73 71 6c  )*/}..do_execsql
1300: 5f 74 65 73 74 20 73 6b 69 70 73 63 61 6e 31 2d  _test skipscan1-
1310: 32 2e 31 20 7b 0a 20 20 43 52 45 41 54 45 20 54  2.1 {.  CREATE T
1320: 41 42 4c 45 20 74 32 28 61 20 54 45 58 54 2c 20  ABLE t2(a TEXT, 
1330: 62 20 49 4e 54 2c 20 63 20 49 4e 54 2c 20 64 20  b INT, c INT, d 
1340: 49 4e 54 2c 0a 20 20 20 20 20 20 20 20 20 20 20  INT,.           
1350: 20 20 20 20 20 20 20 50 52 49 4d 41 52 59 20 4b         PRIMARY K
1360: 45 59 28 61 2c 62 2c 63 29 29 3b 0a 20 20 49 4e  EY(a,b,c));.  IN
1370: 53 45 52 54 20 49 4e 54 4f 20 74 32 20 53 45 4c  SERT INTO t2 SEL
1380: 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 3b 0a 0a  ECT * FROM t1;..
1390: 20 20 2f 2a 20 46 61 6b 65 20 74 68 65 20 73 71    /* Fake the sq
13a0: 6c 69 74 65 5f 73 74 61 74 31 20 74 61 62 6c 65  lite_stat1 table
13b0: 20 73 6f 20 74 68 61 74 20 74 68 65 20 71 75 65   so that the que
13c0: 72 79 20 70 6c 61 6e 6e 65 72 20 62 65 6c 69 65  ry planner belie
13d0: 76 65 73 0a 20 20 2a 2a 20 74 68 65 20 74 61 62  ves.  ** the tab
13e0: 6c 65 20 63 6f 6e 74 61 69 6e 73 20 74 68 6f 75  le contains thou
13f0: 73 61 6e 64 73 20 6f 66 20 72 6f 77 73 20 61 6e  sands of rows an
1400: 64 20 74 68 61 74 20 74 68 65 20 66 69 72 73 74  d that the first
1410: 20 66 65 77 0a 20 20 2a 2a 20 63 6f 6c 75 6d 6e   few.  ** column
1420: 73 20 61 72 65 20 6e 6f 74 20 73 65 6c 65 63 74  s are not select
1430: 69 76 65 2e 20 2a 2f 0a 20 20 41 4e 41 4c 59 5a  ive. */.  ANALYZ
1440: 45 3b 0a 20 20 55 50 44 41 54 45 20 73 71 6c 69  E;.  UPDATE sqli
1450: 74 65 5f 73 74 61 74 31 20 53 45 54 20 73 74 61  te_stat1 SET sta
1460: 74 3d 27 31 30 30 30 30 20 35 30 30 30 20 32 30  t='10000 5000 20
1470: 30 30 20 31 30 27 20 57 48 45 52 45 20 69 64 78  00 10' WHERE idx
1480: 20 4e 4f 54 20 4e 55 4c 4c 3b 0a 20 20 41 4e 41   NOT NULL;.  ANA
1490: 4c 59 5a 45 20 73 71 6c 69 74 65 5f 6d 61 73 74  LYZE sqlite_mast
14a0: 65 72 3b 0a 7d 20 7b 7d 0a 0a 64 6f 5f 65 78 65  er;.} {}..do_exe
14b0: 63 73 71 6c 5f 74 65 73 74 20 73 6b 69 70 73 63  csql_test skipsc
14c0: 61 6e 31 2d 32 2e 32 20 7b 0a 20 20 53 45 4c 45  an1-2.2 {.  SELE
14d0: 43 54 20 61 2c 62 2c 63 2c 64 2c 27 7c 27 20 46  CT a,b,c,d,'|' F
14e0: 52 4f 4d 20 74 32 20 57 48 45 52 45 20 62 3d 33  ROM t2 WHERE b=3
14f0: 34 35 20 4f 52 44 45 52 20 42 59 20 61 3b 0a 7d  45 ORDER BY a;.}
1500: 20 7b 61 62 63 20 33 34 35 20 37 20 38 20 7c 20   {abc 345 7 8 | 
1510: 64 65 66 20 33 34 35 20 39 20 31 30 20 7c 7d 0a  def 345 9 10 |}.
1520: 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20  do_execsql_test 
1530: 73 6b 69 70 73 63 61 6e 31 2d 32 2e 32 65 71 70  skipscan1-2.2eqp
1540: 20 7b 0a 20 20 45 58 50 4c 41 49 4e 20 51 55 45   {.  EXPLAIN QUE
1550: 52 59 20 50 4c 41 4e 0a 20 20 53 45 4c 45 43 54  RY PLAN.  SELECT
1560: 20 61 2c 62 2c 63 2c 64 2c 27 7c 27 20 46 52 4f   a,b,c,d,'|' FRO
1570: 4d 20 74 32 20 57 48 45 52 45 20 62 3d 33 34 35  M t2 WHERE b=345
1580: 20 4f 52 44 45 52 20 42 59 20 61 3b 0a 7d 20 7b   ORDER BY a;.} {
1590: 2f 2a 20 55 53 49 4e 47 20 49 4e 44 45 58 20 73  /* USING INDEX s
15a0: 71 6c 69 74 65 5f 61 75 74 6f 69 6e 64 65 78 5f  qlite_autoindex_
15b0: 74 32 5f 31 20 28 41 4e 59 28 61 29 20 41 4e 44  t2_1 (ANY(a) AND
15c0: 20 62 3d 3f 29 2a 2f 7d 0a 64 6f 5f 65 78 65 63   b=?)*/}.do_exec
15d0: 73 71 6c 5f 74 65 73 74 20 73 6b 69 70 73 63 61  sql_test skipsca
15e0: 6e 31 2d 32 2e 32 73 6f 72 74 20 7b 0a 20 20 45  n1-2.2sort {.  E
15f0: 58 50 4c 41 49 4e 20 51 55 45 52 59 20 50 4c 41  XPLAIN QUERY PLA
1600: 4e 0a 20 20 53 45 4c 45 43 54 20 61 2c 62 2c 63  N.  SELECT a,b,c
1610: 2c 64 2c 27 7c 27 20 46 52 4f 4d 20 74 32 20 57  ,d,'|' FROM t2 W
1620: 48 45 52 45 20 62 3d 33 34 35 20 4f 52 44 45 52  HERE b=345 ORDER
1630: 20 42 59 20 61 3b 0a 7d 20 7b 7e 2f 2a 4f 52 44   BY a;.} {~/*ORD
1640: 45 52 20 42 59 2a 2f 7d 0a 0a 0a 64 6f 5f 65 78  ER BY*/}...do_ex
1650: 65 63 73 71 6c 5f 74 65 73 74 20 73 6b 69 70 73  ecsql_test skips
1660: 63 61 6e 31 2d 33 2e 31 20 7b 0a 20 20 43 52 45  can1-3.1 {.  CRE
1670: 41 54 45 20 54 41 42 4c 45 20 74 33 28 61 20 54  ATE TABLE t3(a T
1680: 45 58 54 2c 20 62 20 49 4e 54 2c 20 63 20 49 4e  EXT, b INT, c IN
1690: 54 2c 20 64 20 49 4e 54 2c 0a 20 20 20 20 20 20  T, d INT,.      
16a0: 20 20 20 20 20 20 20 20 20 20 20 20 50 52 49 4d              PRIM
16b0: 41 52 59 20 4b 45 59 28 61 2c 62 2c 63 29 29 20  ARY KEY(a,b,c)) 
16c0: 57 49 54 48 4f 55 54 20 52 4f 57 49 44 3b 0a 20  WITHOUT ROWID;. 
16d0: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 33 20   INSERT INTO t3 
16e0: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31  SELECT * FROM t1
16f0: 3b 0a 0a 20 20 2f 2a 20 46 61 6b 65 20 74 68 65  ;..  /* Fake the
1700: 20 73 71 6c 69 74 65 5f 73 74 61 74 31 20 74 61   sqlite_stat1 ta
1710: 62 6c 65 20 73 6f 20 74 68 61 74 20 74 68 65 20  ble so that the 
1720: 71 75 65 72 79 20 70 6c 61 6e 6e 65 72 20 62 65  query planner be
1730: 6c 69 65 76 65 73 0a 20 20 2a 2a 20 74 68 65 20  lieves.  ** the 
1740: 74 61 62 6c 65 20 63 6f 6e 74 61 69 6e 73 20 74  table contains t
1750: 68 6f 75 73 61 6e 64 73 20 6f 66 20 72 6f 77 73  housands of rows
1760: 20 61 6e 64 20 74 68 61 74 20 74 68 65 20 66 69   and that the fi
1770: 72 73 74 20 66 65 77 0a 20 20 2a 2a 20 63 6f 6c  rst few.  ** col
1780: 75 6d 6e 73 20 61 72 65 20 6e 6f 74 20 73 65 6c  umns are not sel
1790: 65 63 74 69 76 65 2e 20 2a 2f 0a 20 20 41 4e 41  ective. */.  ANA
17a0: 4c 59 5a 45 3b 0a 20 20 55 50 44 41 54 45 20 73  LYZE;.  UPDATE s
17b0: 71 6c 69 74 65 5f 73 74 61 74 31 20 53 45 54 20  qlite_stat1 SET 
17c0: 73 74 61 74 3d 27 31 30 30 30 30 20 35 30 30 30  stat='10000 5000
17d0: 20 32 30 30 30 20 31 30 27 20 57 48 45 52 45 20   2000 10' WHERE 
17e0: 69 64 78 20 4e 4f 54 20 4e 55 4c 4c 3b 0a 20 20  idx NOT NULL;.  
17f0: 41 4e 41 4c 59 5a 45 20 73 71 6c 69 74 65 5f 6d  ANALYZE sqlite_m
1800: 61 73 74 65 72 3b 0a 7d 20 7b 7d 0a 0a 64 6f 5f  aster;.} {}..do_
1810: 65 78 65 63 73 71 6c 5f 74 65 73 74 20 73 6b 69  execsql_test ski
1820: 70 73 63 61 6e 31 2d 33 2e 32 20 7b 0a 20 20 53  pscan1-3.2 {.  S
1830: 45 4c 45 43 54 20 61 2c 62 2c 63 2c 64 2c 27 7c  ELECT a,b,c,d,'|
1840: 27 20 46 52 4f 4d 20 74 33 20 57 48 45 52 45 20  ' FROM t3 WHERE 
1850: 62 3d 33 34 35 20 4f 52 44 45 52 20 42 59 20 61  b=345 ORDER BY a
1860: 3b 0a 7d 20 7b 61 62 63 20 33 34 35 20 37 20 38  ;.} {abc 345 7 8
1870: 20 7c 20 64 65 66 20 33 34 35 20 39 20 31 30 20   | def 345 9 10 
1880: 7c 7d 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65  |}.do_execsql_te
1890: 73 74 20 73 6b 69 70 73 63 61 6e 31 2d 33 2e 32  st skipscan1-3.2
18a0: 65 71 70 20 7b 0a 20 20 45 58 50 4c 41 49 4e 20  eqp {.  EXPLAIN 
18b0: 51 55 45 52 59 20 50 4c 41 4e 0a 20 20 53 45 4c  QUERY PLAN.  SEL
18c0: 45 43 54 20 61 2c 62 2c 63 2c 64 2c 27 7c 27 20  ECT a,b,c,d,'|' 
18d0: 46 52 4f 4d 20 74 33 20 57 48 45 52 45 20 62 3d  FROM t3 WHERE b=
18e0: 33 34 35 20 4f 52 44 45 52 20 42 59 20 61 3b 0a  345 ORDER BY a;.
18f0: 7d 20 7b 2f 2a 20 50 52 49 4d 41 52 59 20 4b 45  } {/* PRIMARY KE
1900: 59 20 28 41 4e 59 28 61 29 20 41 4e 44 20 62 3d  Y (ANY(a) AND b=
1910: 3f 29 2a 2f 7d 0a 64 6f 5f 65 78 65 63 73 71 6c  ?)*/}.do_execsql
1920: 5f 74 65 73 74 20 73 6b 69 70 73 63 61 6e 31 2d  _test skipscan1-
1930: 33 2e 32 73 6f 72 74 20 7b 0a 20 20 45 58 50 4c  3.2sort {.  EXPL
1940: 41 49 4e 20 51 55 45 52 59 20 50 4c 41 4e 0a 20  AIN QUERY PLAN. 
1950: 20 53 45 4c 45 43 54 20 61 2c 62 2c 63 2c 64 2c   SELECT a,b,c,d,
1960: 27 7c 27 20 46 52 4f 4d 20 74 33 20 57 48 45 52  '|' FROM t3 WHER
1970: 45 20 62 3d 33 34 35 20 4f 52 44 45 52 20 42 59  E b=345 ORDER BY
1980: 20 61 3b 0a 7d 20 7b 7e 2f 2a 4f 52 44 45 52 20   a;.} {~/*ORDER 
1990: 42 59 2a 2f 7d 0a 0a 23 20 54 69 63 6b 65 74 20  BY*/}..# Ticket 
19a0: 35 32 30 30 37 30 65 63 37 66 62 61 61 63 3a 20  520070ec7fbaac: 
19b0: 41 72 72 61 79 20 6f 76 65 72 72 75 6e 20 69 6e  Array overrun in
19c0: 20 74 68 65 20 73 6b 69 70 2d 73 63 61 6e 20 6f   the skip-scan o
19d0: 70 74 69 6d 69 7a 61 74 69 6f 6e 0a 23 20 32 30  ptimization.# 20
19e0: 31 33 2d 31 32 2d 32 32 0a 23 0a 64 6f 5f 65 78  13-12-22.#.do_ex
19f0: 65 63 73 71 6c 5f 74 65 73 74 20 73 6b 69 70 73  ecsql_test skips
1a00: 63 61 6e 31 2d 34 2e 31 20 7b 0a 20 20 43 52 45  can1-4.1 {.  CRE
1a10: 41 54 45 20 54 41 42 4c 45 20 74 34 28 61 2c 62  ATE TABLE t4(a,b
1a20: 2c 63 2c 64 2c 65 2c 66 2c 67 2c 68 2c 69 29 3b  ,c,d,e,f,g,h,i);
1a30: 0a 20 20 43 52 45 41 54 45 20 49 4e 44 45 58 20  .  CREATE INDEX 
1a40: 74 34 61 6c 6c 20 4f 4e 20 74 34 28 61 2c 62 2c  t4all ON t4(a,b,
1a50: 63 2c 64 2c 65 2c 66 2c 67 2c 68 29 3b 0a 20 20  c,d,e,f,g,h);.  
1a60: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 34 20 56  INSERT INTO t4 V
1a70: 41 4c 55 45 53 28 31 2c 32 2c 33 2c 34 2c 35 2c  ALUES(1,2,3,4,5,
1a80: 36 2c 37 2c 38 2c 39 29 3b 0a 20 20 41 4e 41 4c  6,7,8,9);.  ANAL
1a90: 59 5a 45 3b 0a 20 20 44 45 4c 45 54 45 20 46 52  YZE;.  DELETE FR
1aa0: 4f 4d 20 73 71 6c 69 74 65 5f 73 74 61 74 31 3b  OM sqlite_stat1;
1ab0: 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 73  .  INSERT INTO s
1ac0: 71 6c 69 74 65 5f 73 74 61 74 31 20 0a 20 20 20  qlite_stat1 .   
1ad0: 20 56 41 4c 55 45 53 28 27 74 34 27 2c 27 74 34   VALUES('t4','t4
1ae0: 61 6c 6c 27 2c 27 36 35 35 33 36 30 20 31 36 33  all','655360 163
1af0: 38 34 30 20 34 30 39 36 30 20 31 30 32 34 30 20  840 40960 10240 
1b00: 32 35 36 30 20 36 34 30 20 31 36 30 20 34 30 20  2560 640 160 40 
1b10: 31 30 27 29 3b 0a 20 20 41 4e 41 4c 59 5a 45 20  10');.  ANALYZE 
1b20: 73 71 6c 69 74 65 5f 6d 61 73 74 65 72 3b 0a 20  sqlite_master;. 
1b30: 20 53 45 4c 45 43 54 20 69 20 46 52 4f 4d 20 74   SELECT i FROM t
1b40: 34 20 57 48 45 52 45 20 61 3d 31 3b 0a 20 20 53  4 WHERE a=1;.  S
1b50: 45 4c 45 43 54 20 69 20 46 52 4f 4d 20 74 34 20  ELECT i FROM t4 
1b60: 57 48 45 52 45 20 62 3d 32 3b 0a 20 20 53 45 4c  WHERE b=2;.  SEL
1b70: 45 43 54 20 69 20 46 52 4f 4d 20 74 34 20 57 48  ECT i FROM t4 WH
1b80: 45 52 45 20 63 3d 33 3b 0a 20 20 53 45 4c 45 43  ERE c=3;.  SELEC
1b90: 54 20 69 20 46 52 4f 4d 20 74 34 20 57 48 45 52  T i FROM t4 WHER
1ba0: 45 20 64 3d 34 3b 0a 20 20 53 45 4c 45 43 54 20  E d=4;.  SELECT 
1bb0: 69 20 46 52 4f 4d 20 74 34 20 57 48 45 52 45 20  i FROM t4 WHERE 
1bc0: 65 3d 35 3b 0a 20 20 53 45 4c 45 43 54 20 69 20  e=5;.  SELECT i 
1bd0: 46 52 4f 4d 20 74 34 20 57 48 45 52 45 20 66 3d  FROM t4 WHERE f=
1be0: 36 3b 0a 20 20 53 45 4c 45 43 54 20 69 20 46 52  6;.  SELECT i FR
1bf0: 4f 4d 20 74 34 20 57 48 45 52 45 20 67 3d 37 3b  OM t4 WHERE g=7;
1c00: 0a 20 20 53 45 4c 45 43 54 20 69 20 46 52 4f 4d  .  SELECT i FROM
1c10: 20 74 34 20 57 48 45 52 45 20 68 3d 38 3b 0a 7d   t4 WHERE h=8;.}
1c20: 20 7b 39 20 39 20 39 20 39 20 39 20 39 20 39 20   {9 9 9 9 9 9 9 
1c30: 39 7d 0a 0a 23 20 4d 61 6b 65 20 73 75 72 65 20  9}..# Make sure 
1c40: 73 6b 69 70 2d 73 63 61 6e 20 63 6f 73 74 20 63  skip-scan cost c
1c50: 6f 6d 70 75 74 61 74 69 6f 6e 20 69 6e 20 74 68  omputation in th
1c60: 65 20 71 75 65 72 79 20 70 6c 61 6e 6e 65 72 20  e query planner 
1c70: 74 61 6b 65 73 20 69 6e 74 6f 0a 23 20 61 63 63  takes into.# acc
1c80: 6f 75 6e 74 20 74 68 65 20 66 61 63 74 20 74 68  ount the fact th
1c90: 61 74 20 74 68 65 20 73 65 65 6b 20 6d 75 73 74  at the seek must
1ca0: 20 6f 63 63 75 72 20 6d 75 6c 74 69 70 6c 65 20   occur multiple 
1cb0: 74 69 6d 65 73 2e 0a 23 0a 23 20 50 72 69 6f 72  times..#.# Prior
1cc0: 20 74 6f 20 32 30 31 34 2d 30 33 2d 31 30 2c 20   to 2014-03-10, 
1cd0: 74 68 65 20 63 6f 73 74 73 20 77 65 72 65 20 63  the costs were c
1ce0: 6f 6d 70 75 74 65 64 20 69 6e 63 6f 72 72 65 63  omputed incorrec
1cf0: 74 6c 79 20 77 68 69 63 68 20 77 6f 75 6c 64 0a  tly which would.
1d00: 23 20 63 61 75 73 65 20 69 6e 64 65 78 20 74 35  # cause index t5
1d10: 69 32 20 74 6f 20 62 65 20 75 73 65 64 20 69 6e  i2 to be used in
1d20: 73 74 65 61 64 20 6f 66 20 74 35 69 31 20 6f 6e  stead of t5i1 on
1d30: 20 74 68 65 20 73 6b 69 70 73 63 61 6e 31 2d 35   the skipscan1-5
1d40: 2e 33 2e 0a 23 0a 64 6f 5f 65 78 65 63 73 71 6c  .3..#.do_execsql
1d50: 5f 74 65 73 74 20 73 6b 69 70 73 63 61 6e 31 2d  _test skipscan1-
1d60: 35 2e 31 20 7b 0a 20 20 43 52 45 41 54 45 20 54  5.1 {.  CREATE T
1d70: 41 42 4c 45 20 74 35 28 0a 20 20 20 20 69 64 20  ABLE t5(.    id 
1d80: 49 4e 54 45 47 45 52 20 50 52 49 4d 41 52 59 20  INTEGER PRIMARY 
1d90: 4b 45 59 2c 0a 20 20 20 20 6c 6f 63 20 54 45 58  KEY,.    loc TEX
1da0: 54 2c 0a 20 20 20 20 6c 61 6e 67 20 49 4e 54 45  T,.    lang INTE
1db0: 47 45 52 2c 0a 20 20 20 20 75 74 79 70 65 20 49  GER,.    utype I
1dc0: 4e 54 45 47 45 52 2c 0a 20 20 20 20 78 61 20 49  NTEGER,.    xa I
1dd0: 4e 54 45 47 45 52 2c 0a 20 20 20 20 78 64 20 49  NTEGER,.    xd I
1de0: 4e 54 45 47 45 52 2c 0a 20 20 20 20 78 68 20 49  NTEGER,.    xh I
1df0: 4e 54 45 47 45 52 0a 20 20 29 3b 0a 20 20 43 52  NTEGER.  );.  CR
1e00: 45 41 54 45 20 49 4e 44 45 58 20 74 35 69 31 20  EATE INDEX t5i1 
1e10: 6f 6e 20 74 35 28 6c 6f 63 2c 20 78 68 2c 20 78  on t5(loc, xh, x
1e20: 61 2c 20 75 74 79 70 65 2c 20 6c 61 6e 67 29 3b  a, utype, lang);
1e30: 0a 20 20 43 52 45 41 54 45 20 49 4e 44 45 58 20  .  CREATE INDEX 
1e40: 74 35 69 32 20 4f 4e 20 74 35 28 78 64 2c 6c 6f  t5i2 ON t5(xd,lo
1e50: 63 2c 75 74 79 70 65 2c 6c 61 6e 67 29 3b 0a 20  c,utype,lang);. 
1e60: 20 45 58 50 4c 41 49 4e 20 51 55 45 52 59 20 50   EXPLAIN QUERY P
1e70: 4c 41 4e 0a 20 20 20 20 53 45 4c 45 43 54 20 78  LAN.    SELECT x
1e80: 68 2c 20 6c 6f 63 20 46 52 4f 4d 20 74 35 20 57  h, loc FROM t5 W
1e90: 48 45 52 45 20 6c 6f 63 20 3e 3d 20 27 4d 27 20  HERE loc >= 'M' 
1ea0: 41 4e 44 20 6c 6f 63 20 3c 20 27 4e 27 3b 0a 7d  AND loc < 'N';.}
1eb0: 20 7b 2f 2e 2a 43 4f 56 45 52 49 4e 47 20 49 4e   {/.*COVERING IN
1ec0: 44 45 58 20 74 35 69 31 20 2e 2a 2f 7d 0a 64 6f  DEX t5i1 .*/}.do
1ed0: 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 73 6b  _execsql_test sk
1ee0: 69 70 73 63 61 6e 31 2d 35 2e 32 20 7b 0a 20 20  ipscan1-5.2 {.  
1ef0: 41 4e 41 4c 59 5a 45 3b 0a 20 20 44 45 4c 45 54  ANALYZE;.  DELET
1f00: 45 20 46 52 4f 4d 20 73 71 6c 69 74 65 5f 73 74  E FROM sqlite_st
1f10: 61 74 31 3b 0a 20 20 44 52 4f 50 20 54 41 42 4c  at1;.  DROP TABL
1f20: 45 20 49 46 20 45 58 49 53 54 53 20 73 71 6c 69  E IF EXISTS sqli
1f30: 74 65 5f 73 74 61 74 34 3b 0a 20 20 44 52 4f 50  te_stat4;.  DROP
1f40: 20 54 41 42 4c 45 20 49 46 20 45 58 49 53 54 53   TABLE IF EXISTS
1f50: 20 73 71 6c 69 74 65 5f 73 74 61 74 33 3b 0a 20   sqlite_stat3;. 
1f60: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 73 71 6c   INSERT INTO sql
1f70: 69 74 65 5f 73 74 61 74 31 20 56 41 4c 55 45 53  ite_stat1 VALUES
1f80: 28 27 74 35 27 2c 27 74 35 69 31 27 2c 27 32 37  ('t5','t5i1','27
1f90: 30 32 39 33 31 20 33 20 32 20 32 20 32 20 32 27  02931 3 2 2 2 2'
1fa0: 29 3b 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f  );.  INSERT INTO
1fb0: 20 73 71 6c 69 74 65 5f 73 74 61 74 31 20 56 41   sqlite_stat1 VA
1fc0: 4c 55 45 53 28 27 74 35 27 2c 27 74 35 69 32 27  LUES('t5','t5i2'
1fd0: 2c 27 32 37 30 32 39 33 31 20 36 38 36 20 32 20  ,'2702931 686 2 
1fe0: 32 20 32 27 29 3b 0a 20 20 41 4e 41 4c 59 5a 45  2 2');.  ANALYZE
1ff0: 20 73 71 6c 69 74 65 5f 6d 61 73 74 65 72 3b 0a   sqlite_master;.
2000: 7d 20 7b 7d 0a 64 62 20 63 61 63 68 65 20 66 6c  } {}.db cache fl
2010: 75 73 68 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74  ush.do_execsql_t
2020: 65 73 74 20 73 6b 69 70 73 63 61 6e 31 2d 35 2e  est skipscan1-5.
2030: 33 20 7b 0a 20 20 45 58 50 4c 41 49 4e 20 51 55  3 {.  EXPLAIN QU
2040: 45 52 59 20 50 4c 41 4e 0a 20 20 20 20 53 45 4c  ERY PLAN.    SEL
2050: 45 43 54 20 78 68 2c 20 6c 6f 63 20 46 52 4f 4d  ECT xh, loc FROM
2060: 20 74 35 20 57 48 45 52 45 20 6c 6f 63 20 3e 3d   t5 WHERE loc >=
2070: 20 27 4d 27 20 41 4e 44 20 6c 6f 63 20 3c 20 27   'M' AND loc < '
2080: 4e 27 3b 0a 7d 20 7b 2f 2e 2a 43 4f 56 45 52 49  N';.} {/.*COVERI
2090: 4e 47 20 49 4e 44 45 58 20 74 35 69 31 20 2e 2a  NG INDEX t5i1 .*
20a0: 2f 7d 0a 0a 23 20 54 68 65 20 63 6f 6c 75 6d 6e  /}..# The column
20b0: 20 75 73 65 64 20 62 79 20 74 68 65 20 73 6b 69   used by the ski
20c0: 70 2d 73 63 61 6e 20 6e 65 65 64 73 20 74 6f 20  p-scan needs to 
20d0: 62 65 20 73 75 66 66 69 63 69 65 6e 74 6c 79 20  be sufficiently 
20e0: 73 65 6c 65 63 74 69 76 65 2e 0a 23 20 53 65 65  selective..# See
20f0: 20 74 68 65 20 70 72 69 76 61 74 65 20 65 6d 61   the private ema
2100: 69 6c 20 66 72 6f 6d 20 41 64 69 20 5a 61 69 6d  il from Adi Zaim
2110: 69 20 74 6f 20 64 72 68 40 73 71 6c 69 74 65 2e  i to drh@sqlite.
2120: 6f 72 67 20 6f 6e 20 32 30 31 34 2d 30 39 2d 32  org on 2014-09-2
2130: 32 2e 0a 23 0a 64 62 20 63 6c 6f 73 65 0a 66 6f  2..#.db close.fo
2140: 72 63 65 64 65 6c 65 74 65 20 74 65 73 74 2e 64  rcedelete test.d
2150: 62 0a 73 71 6c 69 74 65 33 20 64 62 20 74 65 73  b.sqlite3 db tes
2160: 74 2e 64 62 0a 64 6f 5f 65 78 65 63 73 71 6c 5f  t.db.do_execsql_
2170: 74 65 73 74 20 73 6b 69 70 73 63 61 6e 31 2d 36  test skipscan1-6
2180: 2e 31 20 7b 0a 20 20 43 52 45 41 54 45 20 54 41  .1 {.  CREATE TA
2190: 42 4c 45 20 74 31 28 61 2c 62 2c 63 2c 64 2c 65  BLE t1(a,b,c,d,e
21a0: 2c 66 2c 67 2c 68 20 76 61 72 63 68 61 72 28 33  ,f,g,h varchar(3
21b0: 30 30 29 29 3b 0a 20 20 43 52 45 41 54 45 20 49  00));.  CREATE I
21c0: 4e 44 45 58 20 74 31 61 62 20 4f 4e 20 74 31 28  NDEX t1ab ON t1(
21d0: 61 2c 62 29 3b 0a 20 20 41 4e 41 4c 59 5a 45 20  a,b);.  ANALYZE 
21e0: 73 71 6c 69 74 65 5f 6d 61 73 74 65 72 3b 0a 20  sqlite_master;. 
21f0: 20 2d 2d 20 4f 6e 6c 79 20 74 77 6f 20 64 69 73   -- Only two dis
2200: 74 69 6e 63 74 20 76 61 6c 75 65 73 20 66 6f 72  tinct values for
2210: 20 74 68 65 20 73 6b 69 70 2d 73 63 61 6e 20 63   the skip-scan c
2220: 6f 6c 75 6d 6e 2e 20 20 53 6b 69 70 2d 73 63 61  olumn.  Skip-sca
2230: 6e 20 69 73 20 6e 6f 74 20 75 73 65 64 2e 0a 20  n is not used.. 
2240: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 73 71 6c   INSERT INTO sql
2250: 69 74 65 5f 73 74 61 74 31 20 56 41 4c 55 45 53  ite_stat1 VALUES
2260: 28 27 74 31 27 2c 27 74 31 61 62 27 2c 27 35 30  ('t1','t1ab','50
2270: 30 30 30 30 20 32 35 30 30 30 30 20 31 32 35 30  0000 250000 1250
2280: 30 30 27 29 3b 0a 20 20 41 4e 41 4c 59 5a 45 20  00');.  ANALYZE 
2290: 73 71 6c 69 74 65 5f 6d 61 73 74 65 72 3b 0a 20  sqlite_master;. 
22a0: 20 45 58 50 4c 41 49 4e 20 51 55 45 52 59 20 50   EXPLAIN QUERY P
22b0: 4c 41 4e 20 53 45 4c 45 43 54 20 2a 20 46 52 4f  LAN SELECT * FRO
22c0: 4d 20 74 31 20 57 48 45 52 45 20 62 3d 31 3b 0a  M t1 WHERE b=1;.
22d0: 7d 20 7b 7e 2f 41 4e 59 2f 7d 0a 64 6f 5f 65 78  } {~/ANY/}.do_ex
22e0: 65 63 73 71 6c 5f 74 65 73 74 20 73 6b 69 70 73  ecsql_test skips
22f0: 63 61 6e 31 2d 36 2e 32 20 7b 0a 20 20 2d 2d 20  can1-6.2 {.  -- 
2300: 46 6f 75 72 20 64 69 73 74 69 6e 63 74 20 76 61  Four distinct va
2310: 6c 75 65 73 20 66 6f 72 20 74 68 65 20 73 6b 69  lues for the ski
2320: 70 2d 73 63 61 6e 20 63 6f 6c 75 6d 6e 2e 20 20  p-scan column.  
2330: 53 6b 69 70 2d 73 63 61 6e 20 69 73 20 75 73 65  Skip-scan is use
2340: 64 2e 0a 20 20 55 50 44 41 54 45 20 73 71 6c 69  d..  UPDATE sqli
2350: 74 65 5f 73 74 61 74 31 20 53 45 54 20 73 74 61  te_stat1 SET sta
2360: 74 3d 27 35 30 30 30 30 30 20 32 35 30 30 30 30  t='500000 250000
2370: 20 36 32 35 30 30 27 3b 0a 20 20 41 4e 41 4c 59   62500';.  ANALY
2380: 5a 45 20 73 71 6c 69 74 65 5f 6d 61 73 74 65 72  ZE sqlite_master
2390: 3b 0a 20 20 45 58 50 4c 41 49 4e 20 51 55 45 52  ;.  EXPLAIN QUER
23a0: 59 20 50 4c 41 4e 20 53 45 4c 45 43 54 20 2a 20  Y PLAN SELECT * 
23b0: 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 62 3d  FROM t1 WHERE b=
23c0: 31 3b 0a 7d 20 7b 2f 41 4e 59 2e 61 2e 20 41 4e  1;.} {/ANY.a. AN
23d0: 44 20 62 3d 2f 7d 0a 64 6f 5f 65 78 65 63 73 71  D b=/}.do_execsq
23e0: 6c 5f 74 65 73 74 20 73 6b 69 70 73 63 61 6e 31  l_test skipscan1
23f0: 2d 36 2e 33 20 7b 0a 20 20 2d 2d 20 54 77 6f 20  -6.3 {.  -- Two 
2400: 64 69 73 74 69 6e 63 74 20 76 61 6c 75 65 73 20  distinct values 
2410: 66 6f 72 20 74 68 65 20 73 6b 69 70 2d 73 63 61  for the skip-sca
2420: 6e 20 63 6f 6c 75 6d 6e 20 61 67 61 69 6e 2e 20  n column again. 
2430: 20 53 6b 69 70 2d 73 63 61 6e 20 69 73 20 6e 6f   Skip-scan is no
2440: 74 20 75 73 65 64 2e 0a 20 20 55 50 44 41 54 45  t used..  UPDATE
2450: 20 73 71 6c 69 74 65 5f 73 74 61 74 31 20 53 45   sqlite_stat1 SE
2460: 54 20 73 74 61 74 3d 27 35 30 30 30 30 30 20 31  T stat='500000 1
2470: 32 35 30 30 30 20 36 32 35 30 30 27 3b 0a 20 20  25000 62500';.  
2480: 41 4e 41 4c 59 5a 45 20 73 71 6c 69 74 65 5f 6d  ANALYZE sqlite_m
2490: 61 73 74 65 72 3b 0a 20 20 45 58 50 4c 41 49 4e  aster;.  EXPLAIN
24a0: 20 51 55 45 52 59 20 50 4c 41 4e 20 53 45 4c 45   QUERY PLAN SELE
24b0: 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 57 48 45  CT * FROM t1 WHE
24c0: 52 45 20 62 3d 31 3b 0a 7d 20 7b 7e 2f 41 4e 59  RE b=1;.} {~/ANY
24d0: 2f 7d 0a 0a 66 69 6e 69 73 68 5f 74 65 73 74 0a  /}..finish_test.