/ Hex Artifact Content
Login

Artifact 100283a3e6b8a3018c7fab7cfdaf03d1d6540fc66453114e248cf82b25784d3b:


0000: 23 20 32 30 31 37 2d 31 30 2d 31 31 0a 23 0a 23  # 2017-10-11.#.#
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 68 69 73 20 66 69 6c 65 20 69  **.# This file i
0170: 6d 70 6c 65 6d 65 6e 74 73 20 72 65 67 72 65 73  mplements regres
0180: 73 69 6f 6e 20 74 65 73 74 73 20 66 6f 72 20 53  sion tests for S
0190: 51 4c 69 74 65 20 6c 69 62 72 61 72 79 2e 20 20  QLite library.  
01a0: 54 68 65 0a 23 20 66 6f 63 75 73 20 6f 66 20 74  The.# focus of t
01b0: 68 69 73 20 66 69 6c 65 20 69 73 20 74 65 73 74  his file is test
01c0: 69 6e 67 20 74 68 65 20 63 68 65 63 6b 66 72 65  ing the checkfre
01d0: 65 6c 69 73 74 20 65 78 74 65 6e 73 69 6f 6e 2e  elist extension.
01e0: 0a 23 0a 0a 73 65 74 20 74 65 73 74 64 69 72 20  .#..set testdir 
01f0: 5b 66 69 6c 65 20 64 69 72 6e 61 6d 65 20 24 61  [file dirname $a
0200: 72 67 76 30 5d 0a 73 6f 75 72 63 65 20 24 74 65  rgv0].source $te
0210: 73 74 64 69 72 2f 74 65 73 74 65 72 2e 74 63 6c  stdir/tester.tcl
0220: 0a 73 65 74 20 74 65 73 74 70 72 65 66 69 78 20  .set testprefix 
0230: 63 68 65 63 6b 66 72 65 65 6c 69 73 74 0a 0a 69  checkfreelist..i
0240: 66 63 61 70 61 62 6c 65 20 21 76 74 61 62 7c 7c  fcapable !vtab||
0250: 21 63 6f 6d 70 6f 75 6e 64 20 7b 0a 20 20 66 69  !compound {.  fi
0260: 6e 69 73 68 5f 74 65 73 74 0a 20 20 72 65 74 75  nish_test.  retu
0270: 72 6e 0a 7d 0a 0a 69 66 20 7b 5b 66 69 6c 65 20  rn.}..if {[file 
0280: 65 78 69 73 74 73 20 2e 2e 2f 63 68 65 63 6b 66  exists ../checkf
0290: 72 65 65 6c 69 73 74 2e 73 6f 5d 3d 3d 30 7d 20  reelist.so]==0} 
02a0: 7b 0a 20 20 66 69 6e 69 73 68 5f 74 65 73 74 0a  {.  finish_test.
02b0: 20 20 72 65 74 75 72 6e 0a 7d 0a 0a 64 6f 5f 65    return.}..do_e
02c0: 78 65 63 73 71 6c 5f 74 65 73 74 20 31 2e 30 20  xecsql_test 1.0 
02d0: 7b 0a 20 20 43 52 45 41 54 45 20 54 41 42 4c 45  {.  CREATE TABLE
02e0: 20 74 31 28 61 2c 20 62 29 3b 0a 7d 0a 0a 64 62   t1(a, b);.}..db
02f0: 20 65 6e 61 62 6c 65 5f 6c 6f 61 64 5f 65 78 74   enable_load_ext
0300: 65 6e 73 69 6f 6e 20 31 0a 64 6f 5f 65 78 65 63  ension 1.do_exec
0310: 73 71 6c 5f 74 65 73 74 20 31 2e 31 20 7b 0a 20  sql_test 1.1 {. 
0320: 20 53 45 4c 45 43 54 20 6c 6f 61 64 5f 65 78 74   SELECT load_ext
0330: 65 6e 73 69 6f 6e 28 27 2e 2e 2f 63 68 65 63 6b  ension('../check
0340: 66 72 65 65 6c 69 73 74 2e 73 6f 27 29 3b 0a 7d  freelist.so');.}
0350: 20 7b 7b 7d 7d 0a 0a 64 6f 5f 65 78 65 63 73 71   {{}}..do_execsq
0360: 6c 5f 74 65 73 74 20 31 2e 32 20 7b 20 53 45 4c  l_test 1.2 { SEL
0370: 45 43 54 20 63 68 65 63 6b 66 72 65 65 6c 69 73  ECT checkfreelis
0380: 74 28 27 6d 61 69 6e 27 29 20 7d 20 7b 6f 6b 7d  t('main') } {ok}
0390: 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74  .do_execsql_test
03a0: 20 31 2e 33 20 7b 0a 20 20 57 49 54 48 20 73 28   1.3 {.  WITH s(
03b0: 69 29 20 41 53 20 28 0a 20 20 20 20 53 45 4c 45  i) AS (.    SELE
03c0: 43 54 20 31 20 55 4e 49 4f 4e 20 41 4c 4c 20 53  CT 1 UNION ALL S
03d0: 45 4c 45 43 54 20 69 2b 31 20 46 52 4f 4d 20 73  ELECT i+1 FROM s
03e0: 20 57 48 45 52 45 20 69 3c 31 30 30 30 30 0a 20   WHERE i<10000. 
03f0: 20 29 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f   ).  INSERT INTO
0400: 20 74 31 20 53 45 4c 45 43 54 20 72 61 6e 64 6f   t1 SELECT rando
0410: 6d 62 6c 6f 62 28 34 30 30 29 2c 20 72 61 6e 64  mblob(400), rand
0420: 6f 6d 62 6c 6f 62 28 34 30 30 29 20 46 52 4f 4d  omblob(400) FROM
0430: 20 73 3b 0a 20 20 44 45 4c 45 54 45 20 46 52 4f   s;.  DELETE FRO
0440: 4d 20 74 31 20 57 48 45 52 45 20 72 6f 77 69 64  M t1 WHERE rowid
0450: 25 33 3b 0a 20 20 50 52 41 47 4d 41 20 66 72 65  %3;.  PRAGMA fre
0460: 65 6c 69 73 74 5f 63 6f 75 6e 74 3b 0a 7d 20 7b  elist_count;.} {
0470: 36 37 32 36 7d 0a 0a 64 6f 5f 65 78 65 63 73 71  6726}..do_execsq
0480: 6c 5f 74 65 73 74 20 31 2e 34 20 7b 20 53 45 4c  l_test 1.4 { SEL
0490: 45 43 54 20 63 68 65 63 6b 66 72 65 65 6c 69 73  ECT checkfreelis
04a0: 74 28 27 6d 61 69 6e 27 29 20 7d 20 7b 6f 6b 7d  t('main') } {ok}
04b0: 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74  .do_execsql_test
04c0: 20 31 2e 35 20 7b 0a 20 20 57 49 54 48 20 66 72   1.5 {.  WITH fr
04d0: 65 65 6c 69 73 74 5f 74 72 75 6e 6b 28 69 2c 20  eelist_trunk(i, 
04e0: 64 2c 20 6e 29 20 41 53 20 28 0a 20 20 20 20 53  d, n) AS (.    S
04f0: 45 4c 45 43 54 20 31 2c 20 4e 55 4c 4c 2c 20 73  ELECT 1, NULL, s
0500: 71 6c 69 74 65 5f 72 65 61 64 69 6e 74 33 32 28  qlite_readint32(
0510: 64 61 74 61 2c 20 33 32 29 20 46 52 4f 4d 20 73  data, 32) FROM s
0520: 71 6c 69 74 65 5f 64 62 70 61 67 65 20 57 48 45  qlite_dbpage WHE
0530: 52 45 20 70 67 6e 6f 3d 31 0a 20 20 20 20 20 20  RE pgno=1.      
0540: 55 4e 49 4f 4e 20 41 4c 4c 0a 20 20 20 20 53 45  UNION ALL.    SE
0550: 4c 45 43 54 20 6e 2c 20 64 61 74 61 2c 20 73 71  LECT n, data, sq
0560: 6c 69 74 65 5f 72 65 61 64 69 6e 74 33 32 28 64  lite_readint32(d
0570: 61 74 61 29 20 0a 20 20 20 20 46 52 4f 4d 20 66  ata) .    FROM f
0580: 72 65 65 6c 69 73 74 5f 74 72 75 6e 6b 2c 20 73  reelist_trunk, s
0590: 71 6c 69 74 65 5f 64 62 70 61 67 65 20 57 48 45  qlite_dbpage WHE
05a0: 52 45 20 70 67 6e 6f 3d 6e 0a 20 20 29 0a 20 20  RE pgno=n.  ).  
05b0: 53 45 4c 45 43 54 20 69 20 46 52 4f 4d 20 66 72  SELECT i FROM fr
05c0: 65 65 6c 69 73 74 5f 74 72 75 6e 6b 20 57 48 45  eelist_trunk WHE
05d0: 52 45 20 69 21 3d 31 3b 0a 7d 20 7b 0a 20 20 31  RE i!=1;.} {.  1
05e0: 30 30 31 30 20 39 37 31 36 20 39 33 34 34 20 38  0010 9716 9344 8
05f0: 39 37 30 20 38 35 39 36 20 38 32 32 33 20 37 38  970 8596 8223 78
0600: 34 38 20 37 34 37 35 20 37 31 30 33 20 36 37 32  48 7475 7103 672
0610: 38 20 36 33 35 35 20 35 39 38 33 20 35 36 30 39  8 6355 5983 5609
0620: 20 35 32 33 35 0a 20 20 34 38 36 31 20 34 34 38   5235.  4861 448
0630: 38 20 34 31 31 33 20 33 37 34 31 20 33 33 36 38  8 4113 3741 3368
0640: 20 32 39 39 33 20 32 36 32 30 20 32 32 34 38 20   2993 2620 2248 
0650: 31 38 37 33 20 31 35 30 30 20 31 31 32 36 20 37  1873 1500 1126 7
0660: 35 33 20 33 37 38 20 35 0a 7d 0a 0a 64 6f 5f 65  53 378 5.}..do_e
0670: 78 65 63 73 71 6c 5f 74 65 73 74 20 31 2e 36 20  xecsql_test 1.6 
0680: 7b 20 53 45 4c 45 43 54 20 63 68 65 63 6b 66 72  { SELECT checkfr
0690: 65 65 6c 69 73 74 28 27 6d 61 69 6e 27 29 20 7d  eelist('main') }
06a0: 20 7b 6f 6b 7d 0a 0a 70 72 6f 63 20 73 65 74 5f   {ok}..proc set_
06b0: 69 6e 74 20 7b 62 6c 6f 62 20 69 64 78 20 6e 65  int {blob idx ne
06c0: 77 76 61 6c 7d 20 7b 0a 20 20 62 69 6e 61 72 79  wval} {.  binary
06d0: 20 73 63 61 6e 20 24 62 6c 6f 62 20 49 2a 20 69   scan $blob I* i
06e0: 6e 74 73 0a 20 20 6c 73 65 74 20 69 6e 74 73 20  nts.  lset ints 
06f0: 24 69 64 78 20 24 6e 65 77 76 61 6c 0a 20 20 62  $idx $newval.  b
0700: 69 6e 61 72 79 20 66 6f 72 6d 61 74 20 49 2a 20  inary format I* 
0710: 24 69 6e 74 73 0a 7d 0a 64 62 20 66 75 6e 63 20  $ints.}.db func 
0720: 73 65 74 5f 69 6e 74 20 73 65 74 5f 69 6e 74 0a  set_int set_int.
0730: 0a 70 72 6f 63 20 67 65 74 5f 69 6e 74 20 7b 62  .proc get_int {b
0740: 6c 6f 62 20 69 64 78 7d 20 7b 0a 20 20 62 69 6e  lob idx} {.  bin
0750: 61 72 79 20 73 63 61 6e 20 24 62 6c 6f 62 20 49  ary scan $blob I
0760: 2a 20 69 6e 74 73 0a 20 20 6c 69 6e 64 65 78 20  * ints.  lindex 
0770: 24 69 6e 74 73 20 24 69 64 78 0a 7d 0a 64 62 20  $ints $idx.}.db 
0780: 66 75 6e 63 20 67 65 74 5f 69 6e 74 20 67 65 74  func get_int get
0790: 5f 69 6e 74 0a 0a 64 6f 5f 65 78 65 63 73 71 6c  _int..do_execsql
07a0: 5f 74 65 73 74 20 31 2e 37 20 7b 0a 20 20 42 45  _test 1.7 {.  BE
07b0: 47 49 4e 3b 0a 20 20 20 20 55 50 44 41 54 45 20  GIN;.    UPDATE 
07c0: 73 71 6c 69 74 65 5f 64 62 70 61 67 65 20 0a 20  sqlite_dbpage . 
07d0: 20 20 20 20 20 53 45 54 20 64 61 74 61 20 3d 20       SET data = 
07e0: 73 65 74 5f 69 6e 74 28 64 61 74 61 2c 20 31 2c  set_int(data, 1,
07f0: 20 67 65 74 5f 69 6e 74 28 64 61 74 61 2c 20 31   get_int(data, 1
0800: 29 2d 31 29 20 0a 20 20 20 20 20 20 57 48 45 52  )-1) .      WHER
0810: 45 20 70 67 6e 6f 3d 34 38 36 31 3b 0a 20 20 20  E pgno=4861;.   
0820: 20 53 45 4c 45 43 54 20 63 68 65 63 6b 66 72 65   SELECT checkfre
0830: 65 6c 69 73 74 28 27 6d 61 69 6e 27 29 3b 0a 20  elist('main');. 
0840: 20 52 4f 4c 4c 42 41 43 4b 3b 0a 7d 20 7b 7b 66   ROLLBACK;.} {{f
0850: 72 65 65 2d 6c 69 73 74 20 63 6f 75 6e 74 20 6d  ree-list count m
0860: 69 73 6d 61 74 63 68 3a 20 61 63 74 75 61 6c 3d  ismatch: actual=
0870: 36 37 32 35 20 68 65 61 64 65 72 3d 36 37 32 36  6725 header=6726
0880: 7d 7d 0a 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74  }}..do_execsql_t
0890: 65 73 74 20 31 2e 38 20 7b 0a 20 20 42 45 47 49  est 1.8 {.  BEGI
08a0: 4e 3b 0a 20 20 20 20 55 50 44 41 54 45 20 73 71  N;.    UPDATE sq
08b0: 6c 69 74 65 5f 64 62 70 61 67 65 20 0a 20 20 20  lite_dbpage .   
08c0: 20 20 20 53 45 54 20 64 61 74 61 20 3d 20 73 65     SET data = se
08d0: 74 5f 69 6e 74 28 64 61 74 61 2c 20 35 2c 20 28  t_int(data, 5, (
08e0: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 70 72  SELECT * FROM pr
08f0: 61 67 6d 61 5f 70 61 67 65 5f 63 6f 75 6e 74 29  agma_page_count)
0900: 2b 31 29 0a 20 20 20 20 20 20 57 48 45 52 45 20  +1).      WHERE 
0910: 70 67 6e 6f 3d 34 38 36 31 3b 0a 20 20 20 20 53  pgno=4861;.    S
0920: 45 4c 45 43 54 20 63 68 65 63 6b 66 72 65 65 6c  ELECT checkfreel
0930: 69 73 74 28 27 6d 61 69 6e 27 29 3b 0a 20 20 52  ist('main');.  R
0940: 4f 4c 4c 42 41 43 4b 3b 0a 7d 20 7b 7b 6c 65 61  OLLBACK;.} {{lea
0950: 66 20 70 61 67 65 20 31 30 30 39 33 20 69 73 20  f page 10093 is 
0960: 6f 75 74 20 6f 66 20 72 61 6e 67 65 20 28 63 68  out of range (ch
0970: 69 6c 64 20 33 20 6f 66 20 74 72 75 6e 6b 20 70  ild 3 of trunk p
0980: 61 67 65 20 34 38 36 31 29 7d 7d 0a 0a 64 6f 5f  age 4861)}}..do_
0990: 65 78 65 63 73 71 6c 5f 74 65 73 74 20 31 2e 39  execsql_test 1.9
09a0: 20 7b 0a 20 20 42 45 47 49 4e 3b 0a 20 20 20 20   {.  BEGIN;.    
09b0: 55 50 44 41 54 45 20 73 71 6c 69 74 65 5f 64 62  UPDATE sqlite_db
09c0: 70 61 67 65 20 0a 20 20 20 20 20 20 53 45 54 20  page .      SET 
09d0: 64 61 74 61 20 3d 20 73 65 74 5f 69 6e 74 28 64  data = set_int(d
09e0: 61 74 61 2c 20 35 2c 20 30 29 0a 20 20 20 20 20  ata, 5, 0).     
09f0: 20 57 48 45 52 45 20 70 67 6e 6f 3d 34 38 36 31   WHERE pgno=4861
0a00: 3b 0a 20 20 20 20 53 45 4c 45 43 54 20 63 68 65  ;.    SELECT che
0a10: 63 6b 66 72 65 65 6c 69 73 74 28 27 6d 61 69 6e  ckfreelist('main
0a20: 27 29 3b 0a 20 20 52 4f 4c 4c 42 41 43 4b 3b 0a  ');.  ROLLBACK;.
0a30: 7d 20 7b 7b 6c 65 61 66 20 70 61 67 65 20 30 20  } {{leaf page 0 
0a40: 69 73 20 6f 75 74 20 6f 66 20 72 61 6e 67 65 20  is out of range 
0a50: 28 63 68 69 6c 64 20 33 20 6f 66 20 74 72 75 6e  (child 3 of trun
0a60: 6b 20 70 61 67 65 20 34 38 36 31 29 7d 7d 0a 0a  k page 4861)}}..
0a70: 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20  do_execsql_test 
0a80: 31 2e 31 30 20 7b 0a 20 20 42 45 47 49 4e 3b 0a  1.10 {.  BEGIN;.
0a90: 20 20 20 20 55 50 44 41 54 45 20 73 71 6c 69 74      UPDATE sqlit
0aa0: 65 5f 64 62 70 61 67 65 20 0a 20 20 20 20 20 20  e_dbpage .      
0ab0: 53 45 54 20 64 61 74 61 20 3d 20 73 65 74 5f 69  SET data = set_i
0ac0: 6e 74 28 64 61 74 61 2c 20 67 65 74 5f 69 6e 74  nt(data, get_int
0ad0: 28 64 61 74 61 2c 20 31 29 2b 31 2c 20 30 29 0a  (data, 1)+1, 0).
0ae0: 20 20 20 20 20 20 57 48 45 52 45 20 70 67 6e 6f        WHERE pgno
0af0: 3d 35 3b 0a 20 20 20 20 53 45 4c 45 43 54 20 63  =5;.    SELECT c
0b00: 68 65 63 6b 66 72 65 65 6c 69 73 74 28 27 6d 61  heckfreelist('ma
0b10: 69 6e 27 29 3b 0a 20 20 52 4f 4c 4c 42 41 43 4b  in');.  ROLLBACK
0b20: 3b 0a 7d 20 7b 7b 6c 65 61 66 20 70 61 67 65 20  ;.} {{leaf page 
0b30: 30 20 69 73 20 6f 75 74 20 6f 66 20 72 61 6e 67  0 is out of rang
0b40: 65 20 28 63 68 69 6c 64 20 32 34 37 20 6f 66 20  e (child 247 of 
0b50: 74 72 75 6e 6b 20 70 61 67 65 20 35 29 7d 7d 0a  trunk page 5)}}.
0b60: 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74  .do_execsql_test
0b70: 20 31 2e 31 31 20 7b 0a 20 20 42 45 47 49 4e 3b   1.11 {.  BEGIN;
0b80: 0a 20 20 20 20 55 50 44 41 54 45 20 73 71 6c 69  .    UPDATE sqli
0b90: 74 65 5f 64 62 70 61 67 65 20 0a 20 20 20 20 20  te_dbpage .     
0ba0: 20 53 45 54 20 64 61 74 61 20 3d 20 73 65 74 5f   SET data = set_
0bb0: 69 6e 74 28 64 61 74 61 2c 20 31 2c 20 32 34 39  int(data, 1, 249
0bc0: 29 0a 20 20 20 20 20 20 57 48 45 52 45 20 70 67  ).      WHERE pg
0bd0: 6e 6f 3d 35 3b 0a 20 20 20 20 53 45 4c 45 43 54  no=5;.    SELECT
0be0: 20 63 68 65 63 6b 66 72 65 65 6c 69 73 74 28 27   checkfreelist('
0bf0: 6d 61 69 6e 27 29 3b 0a 20 20 52 4f 4c 4c 42 41  main');.  ROLLBA
0c00: 43 4b 3b 0a 7d 20 7b 7b 6c 65 61 66 20 63 6f 75  CK;.} {{leaf cou
0c10: 6e 74 20 6f 75 74 20 6f 66 20 72 61 6e 67 65 20  nt out of range 
0c20: 28 32 34 39 29 20 6f 6e 20 74 72 75 6e 6b 20 70  (249) on trunk p
0c30: 61 67 65 20 35 7d 7d 0a 0a 66 69 6e 69 73 68 5f  age 5}}..finish_
0c40: 74 65 73 74 0a 0a                                test..