/ Hex Artifact Content
Login

Artifact b9cc3f32a990fa56669b668d237c6d53e983554ae80c0604992e18869a0b2dec:


0000: 23 20 32 30 31 37 2d 30 32 2d 31 37 0a 23 0a 23  # 2017-02-17.#.#
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 66 6f 72 20 74 68 65 20 6c 6f 67 69 63 20  s for the logic 
0190: 75 73 65 64 20 74 6f 20 65 73 74 69 6d 61 74 65  used to estimate
01a0: 20 77 68 65 6e 0a 23 20 72 75 6e 6e 69 6e 67 20   when.# running 
01b0: 41 4e 41 4c 59 5a 45 20 77 6f 75 6c 64 20 62 65  ANALYZE would be
01c0: 20 62 65 6e 65 66 69 63 69 61 6c 2e 0a 23 0a 23   beneficial..#.#
01d0: 20 4e 6f 74 65 20 74 68 61 74 20 74 68 69 73 20   Note that this 
01e0: 74 65 73 74 20 75 73 65 73 20 73 6f 6d 65 20 68  test uses some h
01f0: 61 72 64 2d 63 6f 64 65 64 20 62 69 74 6d 61 73  ard-coded bitmas
0200: 6b 20 76 61 6c 75 65 73 20 66 72 6f 6d 20 73 71  k values from sq
0210: 6c 69 74 65 49 6e 74 2e 68 2e 0a 23 20 49 66 20  liteInt.h..# If 
0220: 61 6e 79 20 6f 66 20 74 68 65 20 66 6f 6c 6c 6f  any of the follo
0230: 77 69 6e 67 20 63 6f 6e 73 74 61 6e 74 73 20 63  wing constants c
0240: 68 61 6e 67 65 73 3a 0a 23 0a 23 20 20 20 20 64  hanges:.#.#    d
0250: 65 66 69 6e 65 20 54 46 5f 48 61 73 53 74 61 74  efine TF_HasStat
0260: 31 20 20 20 30 78 30 30 31 30 0a 23 20 20 20 20  1   0x0010.#    
0270: 64 65 66 69 6e 65 20 54 46 5f 53 74 61 74 73 55  define TF_StatsU
0280: 73 65 64 20 20 30 78 30 31 30 30 0a 23 0a 23 20  sed  0x0100.#.# 
0290: 74 68 65 6e 20 73 6f 6d 65 20 6f 66 20 74 68 65  then some of the
02a0: 20 6d 61 67 69 63 20 6e 75 6d 62 65 72 73 20 69   magic numbers i
02b0: 6e 20 74 65 73 74 20 72 65 73 75 6c 74 73 20 62  n test results b
02c0: 65 6c 6f 77 20 6d 69 67 68 74 20 6e 65 65 64 20  elow might need 
02d0: 74 6f 20 62 65 0a 23 20 61 64 6a 75 73 74 65 64  to be.# adjusted
02e0: 2e 0a 23 0a 0a 73 65 74 20 74 65 73 74 64 69 72  ..#..set testdir
02f0: 20 5b 66 69 6c 65 20 64 69 72 6e 61 6d 65 20 24   [file dirname $
0300: 61 72 67 76 30 5d 0a 73 6f 75 72 63 65 20 24 74  argv0].source $t
0310: 65 73 74 64 69 72 2f 74 65 73 74 65 72 2e 74 63  estdir/tester.tc
0320: 6c 0a 0a 23 20 54 68 65 72 65 20 69 73 20 6e 6f  l..# There is no
0330: 74 68 69 6e 67 20 74 6f 20 74 65 73 74 20 69 66  thing to test if
0340: 20 41 4e 41 4c 59 5a 45 20 69 73 20 64 69 73 61   ANALYZE is disa
0350: 62 6c 65 20 66 6f 72 20 74 68 69 73 20 62 75 69  ble for this bui
0360: 6c 64 2e 0a 23 20 54 68 65 73 65 20 74 65 73 74  ld..# These test
0370: 73 20 61 6c 73 6f 20 75 73 65 20 22 50 52 41 47  s also use "PRAG
0380: 4d 41 20 73 74 61 74 73 22 20 77 68 69 63 68 20  MA stats" which 
0390: 61 72 65 20 6f 6e 6c 79 20 65 6e 61 62 6c 65 64  are only enabled
03a0: 20 66 6f 72 0a 23 20 64 65 62 75 67 67 69 6e 67   for.# debugging
03b0: 20 62 75 69 6c 64 73 2e 0a 23 0a 69 66 63 61 70   builds..#.ifcap
03c0: 61 62 6c 65 20 7b 21 64 65 62 75 67 20 7c 7c 20  able {!debug || 
03d0: 21 61 6e 61 6c 79 7a 65 20 7c 7c 20 21 76 74 61  !analyze || !vta
03e0: 62 7d 20 7b 0a 20 20 66 69 6e 69 73 68 5f 74 65  b} {.  finish_te
03f0: 73 74 0a 20 20 72 65 74 75 72 6e 0a 7d 0a 0a 64  st.  return.}..d
0400: 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 61  o_execsql_test a
0410: 75 74 6f 61 6e 61 6c 79 7a 65 31 2d 31 30 30 20  utoanalyze1-100 
0420: 7b 0a 20 20 2d 2d 20 42 75 69 6c 64 20 75 70 20  {.  -- Build up 
0430: 61 20 74 65 73 74 20 74 61 62 6c 65 20 77 69 74  a test table wit
0440: 68 20 73 6f 6d 65 20 69 6e 64 65 78 65 73 0a 20  h some indexes. 
0450: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 31   CREATE TABLE t1
0460: 28 61 20 49 4e 54 45 47 45 52 20 50 52 49 4d 41  (a INTEGER PRIMA
0470: 52 59 20 4b 45 59 2c 20 62 2c 20 63 2c 20 64 29  RY KEY, b, c, d)
0480: 3b 0a 20 20 43 52 45 41 54 45 20 55 4e 49 51 55  ;.  CREATE UNIQU
0490: 45 20 49 4e 44 45 58 20 74 31 62 63 20 4f 4e 20  E INDEX t1bc ON 
04a0: 74 31 28 62 2c 63 29 3b 0a 20 20 43 52 45 41 54  t1(b,c);.  CREAT
04b0: 45 20 49 4e 44 45 58 20 74 31 64 20 4f 4e 20 74  E INDEX t1d ON t
04c0: 31 28 64 29 3b 0a 20 20 57 49 54 48 20 52 45 43  1(d);.  WITH REC
04d0: 55 52 53 49 56 45 20 63 28 78 29 20 41 53 20 28  URSIVE c(x) AS (
04e0: 56 41 4c 55 45 53 28 31 29 20 55 4e 49 4f 4e 20  VALUES(1) UNION 
04f0: 41 4c 4c 20 53 45 4c 45 43 54 20 78 2b 31 20 46  ALL SELECT x+1 F
0500: 52 4f 4d 20 63 20 57 48 45 52 45 20 78 3c 31 30  ROM c WHERE x<10
0510: 30 29 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e  0).    INSERT IN
0520: 54 4f 20 74 31 28 61 2c 62 2c 63 2c 64 29 20 53  TO t1(a,b,c,d) S
0530: 45 4c 45 43 54 20 78 2c 20 78 2c 20 78 2c 20 78  ELECT x, x, x, x
0540: 20 46 52 4f 4d 20 63 3b 0a 20 20 2d 2d 20 56 65   FROM c;.  -- Ve
0550: 72 69 66 79 20 74 68 61 74 20 74 68 65 20 68 61  rify that the ha
0560: 73 53 74 61 74 31 20 66 6c 61 67 20 69 73 20 63  sStat1 flag is c
0570: 6c 65 61 72 20 6f 6e 20 6f 6e 20 69 6e 64 65 78  lear on on index
0580: 65 73 0a 20 20 53 45 4c 45 43 54 20 69 64 78 2c  es.  SELECT idx,
0590: 20 66 6c 67 73 20 46 52 4f 4d 20 70 72 61 67 6d   flgs FROM pragm
05a0: 61 5f 73 74 61 74 73 0a 20 20 20 57 48 45 52 45  a_stats.   WHERE
05b0: 20 69 64 78 20 49 53 20 4e 4f 54 20 4e 55 4c 4c   idx IS NOT NULL
05c0: 0a 20 20 20 4f 52 44 45 52 20 42 59 20 69 64 78  .   ORDER BY idx
05d0: 3b 0a 20 20 2d 2d 20 56 65 72 69 66 79 20 74 68  ;.  -- Verify th
05e0: 61 74 20 74 68 65 20 54 46 5f 48 61 73 53 74 61  at the TF_HasSta
05f0: 74 31 20 66 6c 61 67 20 69 73 20 63 6c 65 61 72  t1 flag is clear
0600: 20 6f 6e 20 74 68 65 20 74 61 62 6c 65 0a 20 20   on the table.  
0610: 53 45 4c 45 43 54 20 74 62 6c 2c 20 28 66 6c 67  SELECT tbl, (flg
0620: 73 20 26 20 30 78 31 30 29 21 3d 30 20 46 52 4f  s & 0x10)!=0 FRO
0630: 4d 20 70 72 61 67 6d 61 5f 73 74 61 74 73 20 57  M pragma_stats W
0640: 48 45 52 45 20 74 62 6c 3d 27 74 31 27 20 41 4e  HERE tbl='t1' AN
0650: 44 20 69 64 78 20 49 53 20 4e 55 4c 4c 3b 0a 7d  D idx IS NULL;.}
0660: 20 7b 74 31 62 63 20 30 20 74 31 64 20 30 20 74   {t1bc 0 t1d 0 t
0670: 31 20 30 7d 0a 0a 23 20 4e 6f 20 75 73 65 20 6f  1 0}..# No use o
0680: 66 20 73 74 61 74 31 20 72 65 63 6f 72 64 65 64  f stat1 recorded
0690: 20 73 6f 20 66 61 72 0a 64 6f 5f 65 78 65 63 73   so far.do_execs
06a0: 71 6c 5f 74 65 73 74 20 61 75 74 6f 61 6e 61 6c  ql_test autoanal
06b0: 79 7a 65 31 2d 31 31 30 20 7b 0a 20 20 53 45 4c  yze1-110 {.  SEL
06c0: 45 43 54 20 28 66 6c 67 73 20 26 20 30 78 30 31  ECT (flgs & 0x01
06d0: 30 30 29 21 3d 30 20 46 52 4f 4d 20 70 72 61 67  00)!=0 FROM prag
06e0: 6d 61 5f 73 74 61 74 73 20 57 48 45 52 45 20 74  ma_stats WHERE t
06f0: 62 6c 3d 27 74 31 27 20 41 4e 44 20 69 64 78 20  bl='t1' AND idx 
0700: 49 53 20 4e 55 4c 4c 3b 0a 7d 20 7b 30 7d 0a 0a  IS NULL;.} {0}..
0710: 23 20 41 63 63 65 73 73 20 75 73 69 6e 67 20 61  # Access using a
0720: 20 75 6e 69 71 75 65 20 69 6e 64 65 78 20 64 6f   unique index do
0730: 65 73 20 6e 6f 74 20 73 65 74 20 74 68 65 20 54  es not set the T
0740: 46 5f 53 74 61 74 73 55 73 65 64 20 66 6c 61 67  F_StatsUsed flag
0750: 2e 0a 23 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74  ..#.do_execsql_t
0760: 65 73 74 20 61 75 74 6f 61 6e 61 6c 79 7a 65 31  est autoanalyze1
0770: 2d 32 30 30 20 7b 0a 20 20 53 45 4c 45 43 54 20  -200 {.  SELECT 
0780: 2a 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20  * FROM t1 WHERE 
0790: 61 3d 35 35 3b 0a 7d 20 7b 35 35 20 35 35 20 35  a=55;.} {55 55 5
07a0: 35 20 35 35 7d 0a 64 6f 5f 65 78 65 63 73 71 6c  5 55}.do_execsql
07b0: 5f 74 65 73 74 20 61 75 74 6f 61 6e 61 6c 79 7a  _test autoanalyz
07c0: 65 31 2d 32 30 31 20 7b 0a 20 20 53 45 4c 45 43  e1-201 {.  SELEC
07d0: 54 20 28 66 6c 67 73 20 26 20 30 78 30 31 30 30  T (flgs & 0x0100
07e0: 29 21 3d 30 20 46 52 4f 4d 20 70 72 61 67 6d 61  )!=0 FROM pragma
07f0: 5f 73 74 61 74 73 20 57 48 45 52 45 20 74 62 6c  _stats WHERE tbl
0800: 3d 27 74 31 27 20 41 4e 44 20 69 64 78 20 49 53  ='t1' AND idx IS
0810: 20 4e 55 4c 4c 3b 0a 7d 20 7b 30 7d 0a 0a 64 6f   NULL;.} {0}..do
0820: 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 61 75  _execsql_test au
0830: 74 6f 61 6e 61 6c 79 7a 65 31 2d 32 31 30 20 7b  toanalyze1-210 {
0840: 0a 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d  .  SELECT * FROM
0850: 20 74 31 20 57 48 45 52 45 20 61 20 49 4e 20 28   t1 WHERE a IN (
0860: 35 35 2c 31 39 39 2c 32 39 39 29 3b 0a 7d 20 7b  55,199,299);.} {
0870: 35 35 20 35 35 20 35 35 20 35 35 7d 0a 64 6f 5f  55 55 55 55}.do_
0880: 65 78 65 63 73 71 6c 5f 74 65 73 74 20 61 75 74  execsql_test aut
0890: 6f 61 6e 61 6c 79 7a 65 31 2d 32 31 31 20 7b 0a  oanalyze1-211 {.
08a0: 20 20 53 45 4c 45 43 54 20 28 66 6c 67 73 20 26    SELECT (flgs &
08b0: 20 30 78 30 31 30 30 29 21 3d 30 20 46 52 4f 4d   0x0100)!=0 FROM
08c0: 20 70 72 61 67 6d 61 5f 73 74 61 74 73 20 57 48   pragma_stats WH
08d0: 45 52 45 20 74 62 6c 3d 27 74 31 27 20 41 4e 44  ERE tbl='t1' AND
08e0: 20 69 64 78 20 49 53 20 4e 55 4c 4c 3b 0a 7d 20   idx IS NULL;.} 
08f0: 7b 30 7d 0a 0a 64 6f 5f 65 78 65 63 73 71 6c 5f  {0}..do_execsql_
0900: 74 65 73 74 20 61 75 74 6f 61 6e 61 6c 79 7a 65  test autoanalyze
0910: 31 2d 32 32 30 20 7b 0a 20 20 53 45 4c 45 43 54  1-220 {.  SELECT
0920: 20 2a 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45   * FROM t1 WHERE
0930: 20 28 62 2c 63 29 3d 28 34 35 2c 34 35 29 3b 0a   (b,c)=(45,45);.
0940: 7d 20 7b 34 35 20 34 35 20 34 35 20 34 35 7d 0a  } {45 45 45 45}.
0950: 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20  do_execsql_test 
0960: 61 75 74 6f 61 6e 61 6c 79 7a 65 31 2d 32 32 31  autoanalyze1-221
0970: 20 7b 0a 20 20 53 45 4c 45 43 54 20 28 66 6c 67   {.  SELECT (flg
0980: 73 20 26 20 30 78 30 31 30 30 29 21 3d 30 20 46  s & 0x0100)!=0 F
0990: 52 4f 4d 20 70 72 61 67 6d 61 5f 73 74 61 74 73  ROM pragma_stats
09a0: 20 57 48 45 52 45 20 74 62 6c 3d 27 74 31 27 20   WHERE tbl='t1' 
09b0: 41 4e 44 20 69 64 78 20 49 53 20 4e 55 4c 4c 3b  AND idx IS NULL;
09c0: 0a 7d 20 7b 30 7d 0a 0a 23 20 41 6e 79 20 75 73  .} {0}..# Any us
09d0: 65 20 6f 66 20 74 68 65 20 6e 6f 6e 2d 75 6e 69  e of the non-uni
09e0: 71 75 65 20 74 31 64 20 69 6e 64 65 78 20 74 72  que t1d index tr
09f0: 69 67 67 65 72 73 20 74 68 65 20 75 73 65 20 6f  iggers the use o
0a00: 66 20 73 74 61 74 73 2e 0a 23 0a 73 71 6c 69 74  f stats..#.sqlit
0a10: 65 33 20 64 62 20 74 65 73 74 2e 64 62 0a 64 6f  e3 db test.db.do
0a20: 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 61 75  _execsql_test au
0a30: 74 6f 61 6e 61 6c 79 7a 65 31 2d 33 30 30 20 7b  toanalyze1-300 {
0a40: 0a 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d  .  SELECT * FROM
0a50: 20 74 31 20 57 48 45 52 45 20 64 3d 34 35 3b 0a   t1 WHERE d=45;.
0a60: 7d 20 7b 34 35 20 34 35 20 34 35 20 34 35 7d 0a  } {45 45 45 45}.
0a70: 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20  do_execsql_test 
0a80: 61 75 74 6f 61 6e 61 6c 79 7a 65 31 2d 33 30 31  autoanalyze1-301
0a90: 20 7b 0a 20 20 53 45 4c 45 43 54 20 28 66 6c 67   {.  SELECT (flg
0aa0: 73 20 26 20 30 78 30 31 30 30 29 21 3d 30 20 46  s & 0x0100)!=0 F
0ab0: 52 4f 4d 20 70 72 61 67 6d 61 5f 73 74 61 74 73  ROM pragma_stats
0ac0: 20 57 48 45 52 45 20 74 62 6c 3d 27 74 31 27 20   WHERE tbl='t1' 
0ad0: 41 4e 44 20 69 64 78 20 49 53 20 4e 55 4c 4c 3b  AND idx IS NULL;
0ae0: 0a 7d 20 7b 31 7d 0a 0a 73 71 6c 69 74 65 33 20  .} {1}..sqlite3 
0af0: 64 62 20 74 65 73 74 2e 64 62 0a 64 6f 5f 65 78  db test.db.do_ex
0b00: 65 63 73 71 6c 5f 74 65 73 74 20 61 75 74 6f 61  ecsql_test autoa
0b10: 6e 61 6c 79 7a 65 31 2d 33 31 30 20 7b 0a 20 20  nalyze1-310 {.  
0b20: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31  SELECT * FROM t1
0b30: 20 57 48 45 52 45 20 64 3d 34 35 20 41 4e 44 20   WHERE d=45 AND 
0b40: 61 3d 34 35 3b 0a 7d 20 7b 34 35 20 34 35 20 34  a=45;.} {45 45 4
0b50: 35 20 34 35 7d 0a 64 6f 5f 65 78 65 63 73 71 6c  5 45}.do_execsql
0b60: 5f 74 65 73 74 20 61 75 74 6f 61 6e 61 6c 79 7a  _test autoanalyz
0b70: 65 31 2d 33 31 31 20 7b 0a 20 20 53 45 4c 45 43  e1-311 {.  SELEC
0b80: 54 20 28 66 6c 67 73 20 26 20 30 78 30 31 30 30  T (flgs & 0x0100
0b90: 29 21 3d 30 20 46 52 4f 4d 20 70 72 61 67 6d 61  )!=0 FROM pragma
0ba0: 5f 73 74 61 74 73 20 57 48 45 52 45 20 74 62 6c  _stats WHERE tbl
0bb0: 3d 27 74 31 27 20 41 4e 44 20 69 64 78 20 49 53  ='t1' AND idx IS
0bc0: 20 4e 55 4c 4c 3b 0a 7d 20 7b 30 7d 20 20 3b 23   NULL;.} {0}  ;#
0bd0: 20 54 68 65 20 52 4f 57 49 44 20 6c 6f 6f 6b 75   The ROWID looku
0be0: 70 20 73 68 6f 72 74 2d 63 69 72 63 75 69 74 73  p short-circuits
0bf0: 20 74 68 65 20 64 3d 34 35 20 63 6f 6e 73 74 72   the d=45 constr
0c00: 61 69 6e 74 0a 0a 73 71 6c 69 74 65 33 20 64 62  aint..sqlite3 db
0c10: 20 74 65 73 74 2e 64 62 0a 64 6f 5f 65 78 65 63   test.db.do_exec
0c20: 73 71 6c 5f 74 65 73 74 20 61 75 74 6f 61 6e 61  sql_test autoana
0c30: 6c 79 7a 65 31 2d 33 32 30 20 7b 0a 20 20 53 45  lyze1-320 {.  SE
0c40: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 57  LECT * FROM t1 W
0c50: 48 45 52 45 20 64 3d 34 35 20 41 4e 44 20 61 20  HERE d=45 AND a 
0c60: 49 4e 20 28 34 35 2c 34 36 29 3b 0a 7d 20 7b 34  IN (45,46);.} {4
0c70: 35 20 34 35 20 34 35 20 34 35 7d 0a 64 6f 5f 65  5 45 45 45}.do_e
0c80: 78 65 63 73 71 6c 5f 74 65 73 74 20 61 75 74 6f  xecsql_test auto
0c90: 61 6e 61 6c 79 7a 65 31 2d 33 32 31 20 7b 0a 20  analyze1-321 {. 
0ca0: 20 53 45 4c 45 43 54 20 28 66 6c 67 73 20 26 20   SELECT (flgs & 
0cb0: 30 78 30 31 30 30 29 21 3d 30 20 46 52 4f 4d 20  0x0100)!=0 FROM 
0cc0: 70 72 61 67 6d 61 5f 73 74 61 74 73 20 57 48 45  pragma_stats WHE
0cd0: 52 45 20 74 62 6c 3d 27 74 31 27 20 41 4e 44 20  RE tbl='t1' AND 
0ce0: 69 64 78 20 49 53 20 4e 55 4c 4c 3b 0a 7d 20 7b  idx IS NULL;.} {
0cf0: 31 7d 0a 0a 23 20 41 6e 79 20 75 73 65 20 6f 66  1}..# Any use of
0d00: 20 70 72 65 66 69 78 20 6f 66 20 61 20 75 6e 69   prefix of a uni
0d10: 71 75 65 20 69 6e 64 65 78 20 74 72 69 67 67 65  que index trigge
0d20: 72 73 20 74 68 65 20 75 73 65 20 6f 66 20 73 74  rs the use of st
0d30: 61 74 73 0a 23 0a 73 71 6c 69 74 65 33 20 64 62  ats.#.sqlite3 db
0d40: 20 74 65 73 74 2e 64 62 0a 64 6f 5f 65 78 65 63   test.db.do_exec
0d50: 73 71 6c 5f 74 65 73 74 20 61 75 74 6f 61 6e 61  sql_test autoana
0d60: 6c 79 7a 65 31 2d 34 30 30 20 7b 0a 20 20 53 45  lyze1-400 {.  SE
0d70: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 20 57  LECT * FROM t1 W
0d80: 48 45 52 45 20 62 3d 34 35 3b 0a 7d 20 7b 34 35  HERE b=45;.} {45
0d90: 20 34 35 20 34 35 20 34 35 7d 0a 64 6f 5f 65 78   45 45 45}.do_ex
0da0: 65 63 73 71 6c 5f 74 65 73 74 20 61 75 74 6f 61  ecsql_test autoa
0db0: 6e 61 6c 79 7a 65 31 2d 34 30 31 20 7b 0a 20 20  nalyze1-401 {.  
0dc0: 53 45 4c 45 43 54 20 28 66 6c 67 73 20 26 20 30  SELECT (flgs & 0
0dd0: 78 30 31 30 30 29 21 3d 30 20 46 52 4f 4d 20 70  x0100)!=0 FROM p
0de0: 72 61 67 6d 61 5f 73 74 61 74 73 20 57 48 45 52  ragma_stats WHER
0df0: 45 20 74 62 6c 3d 27 74 31 27 20 41 4e 44 20 69  E tbl='t1' AND i
0e00: 64 78 20 49 53 20 4e 55 4c 4c 3b 0a 7d 20 7b 31  dx IS NULL;.} {1
0e10: 7d 0a 0a 23 20 54 68 65 20 54 46 5f 53 74 61 74  }..# The TF_Stat
0e20: 73 55 73 65 64 20 66 6c 61 67 20 69 73 20 72 65  sUsed flag is re
0e30: 73 65 74 20 77 68 65 6e 20 74 68 65 20 64 61 74  set when the dat
0e40: 61 62 61 73 65 20 69 73 20 72 65 6f 70 65 6e 65  abase is reopene
0e50: 64 0a 23 0a 73 71 6c 69 74 65 33 20 64 62 20 74  d.#.sqlite3 db t
0e60: 65 73 74 2e 64 62 0a 64 6f 5f 65 78 65 63 73 71  est.db.do_execsq
0e70: 6c 5f 74 65 73 74 20 61 75 74 6f 61 6e 61 6c 79  l_test autoanaly
0e80: 7a 65 31 2d 35 30 30 20 7b 0a 20 20 53 45 4c 45  ze1-500 {.  SELE
0e90: 43 54 20 28 66 6c 67 73 20 26 20 30 78 30 31 30  CT (flgs & 0x010
0ea0: 30 29 21 3d 30 20 46 52 4f 4d 20 70 72 61 67 6d  0)!=0 FROM pragm
0eb0: 61 5f 73 74 61 74 73 20 57 48 45 52 45 20 74 62  a_stats WHERE tb
0ec0: 6c 3d 27 74 31 27 20 41 4e 44 20 69 64 78 20 49  l='t1' AND idx I
0ed0: 53 20 4e 55 4c 4c 3b 0a 7d 20 7b 30 7d 0a 0a 66  S NULL;.} {0}..f
0ee0: 69 6e 69 73 68 5f 74 65 73 74 0a                 inish_test.