/ Hex Artifact Content
Login

Artifact da107b2fd465e67aa9f419a4e313b26b76336fabf71059c51d0b3211a6ae3c51:


0000: 23 20 32 30 31 37 20 4a 61 6e 20 34 0a 23 0a 23  # 2017 Jan 4.#.#
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 0a 23  QLite library..#
01a0: 0a 0a 73 65 74 20 74 65 73 74 64 69 72 20 5b 66  ..set testdir [f
01b0: 69 6c 65 20 64 69 72 6e 61 6d 65 20 24 61 72 67  ile dirname $arg
01c0: 76 30 5d 0a 73 6f 75 72 63 65 20 24 74 65 73 74  v0].source $test
01d0: 64 69 72 2f 74 65 73 74 65 72 2e 74 63 6c 0a 73  dir/tester.tcl.s
01e0: 65 74 20 74 65 73 74 70 72 65 66 69 78 20 70 72  et testprefix pr
01f0: 61 67 6d 61 34 0a 0a 70 72 6f 63 20 64 6f 5f 70  agma4..proc do_p
0200: 72 61 67 6d 61 5f 6e 63 6f 6c 5f 74 65 73 74 20  ragma_ncol_test 
0210: 7b 74 6e 20 73 71 6c 20 6e 43 6f 6c 7d 20 7b 0a  {tn sql nCol} {.
0220: 20 20 73 65 74 20 3a 3a 73 74 6d 74 20 30 0a 20    set ::stmt 0. 
0230: 20 73 65 74 20 3a 3a 73 74 6d 74 20 5b 73 71 6c   set ::stmt [sql
0240: 69 74 65 33 5f 70 72 65 70 61 72 65 5f 76 32 20  ite3_prepare_v2 
0250: 64 62 20 24 73 71 6c 20 2d 31 20 64 75 6d 6d 79  db $sql -1 dummy
0260: 5d 0a 20 20 75 70 6c 65 76 65 6c 20 5b 6c 69 73  ].  uplevel [lis
0270: 74 20 64 6f 5f 74 65 73 74 20 24 74 6e 20 7b 20  t do_test $tn { 
0280: 73 71 6c 69 74 65 33 5f 63 6f 6c 75 6d 6e 5f 63  sqlite3_column_c
0290: 6f 75 6e 74 20 24 3a 3a 73 74 6d 74 20 7d 20 24  ount $::stmt } $
02a0: 6e 43 6f 6c 5d 0a 20 20 73 71 6c 69 74 65 33 5f  nCol].  sqlite3_
02b0: 66 69 6e 61 6c 69 7a 65 20 24 3a 3a 73 74 6d 74  finalize $::stmt
02c0: 0a 7d 0a 0a 23 20 49 66 20 74 68 65 72 65 20 69  .}..# If there i
02d0: 73 20 6e 6f 20 52 48 53 20 61 72 67 75 6d 65 6e  s no RHS argumen
02e0: 74 2c 20 74 68 65 20 66 6f 6c 6c 6f 77 69 6e 67  t, the following
02f0: 20 50 52 41 47 4d 41 20 73 74 61 74 65 6d 65 6e   PRAGMA statemen
0300: 74 73 20 6f 70 65 72 61 74 65 20 61 73 0a 23 20  ts operate as.# 
0310: 71 75 65 72 69 65 73 2c 20 72 65 74 75 72 6e 69  queries, returni
0320: 6e 67 20 61 20 73 69 6e 67 6c 65 20 72 6f 77 20  ng a single row 
0330: 63 6f 6e 74 61 69 6e 69 6e 67 20 61 20 73 69 6e  containing a sin
0340: 67 6c 65 20 63 6f 6c 75 6d 6e 2e 20 0a 23 0a 23  gle column. .#.#
0350: 20 4f 72 2c 20 69 66 20 74 68 65 72 65 20 69 73   Or, if there is
0360: 20 52 48 53 20 61 72 67 75 6d 65 6e 74 2c 20 74   RHS argument, t
0370: 68 65 79 20 72 65 74 75 72 6e 20 7a 65 72 6f 20  hey return zero 
0380: 72 6f 77 73 20 6f 66 20 7a 65 72 6f 20 63 6f 6c  rows of zero col
0390: 75 6d 6e 73 2e 0a 23 0a 66 6f 72 65 61 63 68 20  umns..#.foreach 
03a0: 7b 74 6e 20 73 71 6c 7d 20 7b 0a 20 20 31 20 22  {tn sql} {.  1 "
03b0: 50 52 41 47 4d 41 20 61 70 70 6c 69 63 61 74 69  PRAGMA applicati
03c0: 6f 6e 5f 69 64 20 3d 20 31 30 22 0a 20 20 32 20  on_id = 10".  2 
03d0: 22 50 52 41 47 4d 41 20 61 75 74 6f 6d 61 74 69  "PRAGMA automati
03e0: 63 5f 69 6e 64 65 78 20 3d 20 31 22 0a 20 20 33  c_index = 1".  3
03f0: 20 22 50 52 41 47 4d 41 20 61 75 74 6f 5f 76 61   "PRAGMA auto_va
0400: 63 75 75 6d 20 3d 20 31 22 0a 20 20 34 20 22 50  cuum = 1".  4 "P
0410: 52 41 47 4d 41 20 63 61 63 68 65 5f 73 69 7a 65  RAGMA cache_size
0420: 20 3d 20 2d 31 30 30 22 0a 20 20 35 20 22 50 52   = -100".  5 "PR
0430: 41 47 4d 41 20 63 61 63 68 65 5f 73 70 69 6c 6c  AGMA cache_spill
0440: 20 3d 20 31 22 0a 20 20 36 20 22 50 52 41 47 4d   = 1".  6 "PRAGM
0450: 41 20 63 65 6c 6c 5f 73 69 7a 65 5f 63 68 65 63  A cell_size_chec
0460: 6b 20 3d 20 31 22 0a 20 20 37 20 22 50 52 41 47  k = 1".  7 "PRAG
0470: 4d 41 20 63 68 65 63 6b 70 6f 69 6e 74 5f 66 75  MA checkpoint_fu
0480: 6c 6c 66 73 79 6e 63 20 3d 20 31 22 0a 20 20 38  llfsync = 1".  8
0490: 20 22 50 52 41 47 4d 41 20 63 6f 75 6e 74 5f 63   "PRAGMA count_c
04a0: 68 61 6e 67 65 73 20 3d 20 31 22 0a 20 20 39 20  hanges = 1".  9 
04b0: 22 50 52 41 47 4d 41 20 64 65 66 61 75 6c 74 5f  "PRAGMA default_
04c0: 63 61 63 68 65 5f 73 69 7a 65 20 3d 20 31 30 30  cache_size = 100
04d0: 22 0a 20 31 30 20 22 50 52 41 47 4d 41 20 64 65  ". 10 "PRAGMA de
04e0: 66 65 72 5f 66 6f 72 65 69 67 6e 5f 6b 65 79 73  fer_foreign_keys
04f0: 20 3d 20 31 22 0a 20 31 31 20 22 50 52 41 47 4d   = 1". 11 "PRAGM
0500: 41 20 65 6d 70 74 79 5f 72 65 73 75 6c 74 5f 63  A empty_result_c
0510: 61 6c 6c 62 61 63 6b 73 20 3d 20 31 22 0a 20 31  allbacks = 1". 1
0520: 32 20 22 50 52 41 47 4d 41 20 65 6e 63 6f 64 69  2 "PRAGMA encodi
0530: 6e 67 20 3d 20 27 75 74 66 2d 38 27 22 0a 20 31  ng = 'utf-8'". 1
0540: 33 20 22 50 52 41 47 4d 41 20 66 6f 72 65 69 67  3 "PRAGMA foreig
0550: 6e 5f 6b 65 79 73 20 3d 20 31 22 0a 20 31 34 20  n_keys = 1". 14 
0560: 22 50 52 41 47 4d 41 20 66 75 6c 6c 5f 63 6f 6c  "PRAGMA full_col
0570: 75 6d 6e 5f 6e 61 6d 65 73 20 3d 20 31 22 0a 20  umn_names = 1". 
0580: 31 35 20 22 50 52 41 47 4d 41 20 66 75 6c 6c 66  15 "PRAGMA fullf
0590: 73 79 6e 63 20 3d 20 31 22 0a 20 31 36 20 22 50  sync = 1". 16 "P
05a0: 52 41 47 4d 41 20 69 67 6e 6f 72 65 5f 63 68 65  RAGMA ignore_che
05b0: 63 6b 5f 63 6f 6e 73 74 72 61 69 6e 74 73 20 3d  ck_constraints =
05c0: 20 31 22 0a 20 31 37 20 22 50 52 41 47 4d 41 20   1". 17 "PRAGMA 
05d0: 6c 65 67 61 63 79 5f 66 69 6c 65 5f 66 6f 72 6d  legacy_file_form
05e0: 61 74 20 3d 20 31 22 0a 20 31 38 20 22 50 52 41  at = 1". 18 "PRA
05f0: 47 4d 41 20 70 61 67 65 5f 73 69 7a 65 20 3d 20  GMA page_size = 
0600: 35 31 31 22 0a 20 31 39 20 22 50 52 41 47 4d 41  511". 19 "PRAGMA
0610: 20 70 61 67 65 5f 73 69 7a 65 20 3d 20 35 31 32   page_size = 512
0620: 22 0a 20 32 30 20 22 50 52 41 47 4d 41 20 71 75  ". 20 "PRAGMA qu
0630: 65 72 79 5f 6f 6e 6c 79 20 3d 20 66 61 6c 73 65  ery_only = false
0640: 22 0a 20 32 31 20 22 50 52 41 47 4d 41 20 72 65  ". 21 "PRAGMA re
0650: 61 64 5f 75 6e 63 6f 6d 6d 69 74 74 65 64 20 3d  ad_uncommitted =
0660: 20 74 72 75 65 22 0a 20 32 32 20 22 50 52 41 47   true". 22 "PRAG
0670: 4d 41 20 72 65 63 75 72 73 69 76 65 5f 74 72 69  MA recursive_tri
0680: 67 67 65 72 73 20 3d 20 66 61 6c 73 65 22 0a 20  ggers = false". 
0690: 32 33 20 22 50 52 41 47 4d 41 20 72 65 76 65 72  23 "PRAGMA rever
06a0: 73 65 5f 75 6e 6f 72 64 65 72 65 64 5f 73 65 6c  se_unordered_sel
06b0: 65 63 74 73 20 3d 20 66 61 6c 73 65 22 0a 20 32  ects = false". 2
06c0: 34 20 22 50 52 41 47 4d 41 20 73 63 68 65 6d 61  4 "PRAGMA schema
06d0: 5f 76 65 72 73 69 6f 6e 20 3d 20 32 31 31 22 0a  _version = 211".
06e0: 20 32 35 20 22 50 52 41 47 4d 41 20 73 68 6f 72   25 "PRAGMA shor
06f0: 74 5f 63 6f 6c 75 6d 6e 5f 6e 61 6d 65 73 20 3d  t_column_names =
0700: 20 31 22 0a 20 32 36 20 22 50 52 41 47 4d 41 20   1". 26 "PRAGMA 
0710: 73 79 6e 63 68 72 6f 6e 6f 75 73 20 3d 20 66 75  synchronous = fu
0720: 6c 6c 22 0a 20 32 37 20 22 50 52 41 47 4d 41 20  ll". 27 "PRAGMA 
0730: 74 65 6d 70 5f 73 74 6f 72 65 5f 64 69 72 65 63  temp_store_direc
0740: 74 6f 72 79 20 3d 20 27 2f 74 6d 70 27 22 0a 20  tory = '/tmp'". 
0750: 32 38 20 22 50 52 41 47 4d 41 20 74 65 6d 70 5f  28 "PRAGMA temp_
0760: 73 74 6f 72 65 5f 64 69 72 65 63 74 6f 72 79 20  store_directory 
0770: 3d 20 27 27 22 0a 20 32 39 20 22 50 52 41 47 4d  = ''". 29 "PRAGM
0780: 41 20 74 65 6d 70 5f 73 74 6f 72 65 20 3d 20 6d  A temp_store = m
0790: 65 6d 6f 72 79 22 0a 20 33 30 20 22 50 52 41 47  emory". 30 "PRAG
07a0: 4d 41 20 75 73 65 72 5f 76 65 72 73 69 6f 6e 20  MA user_version 
07b0: 3d 20 34 30 35 22 0a 20 33 31 20 22 50 52 41 47  = 405". 31 "PRAG
07c0: 4d 41 20 77 72 69 74 61 62 6c 65 5f 73 63 68 65  MA writable_sche
07d0: 6d 61 20 3d 20 31 22 0a 7d 20 7b 0a 20 20 72 65  ma = 1".} {.  re
07e0: 73 65 74 5f 64 62 0a 0a 20 20 23 20 57 69 74 68  set_db..  # With
07f0: 6f 75 74 20 52 48 53 3a 0a 20 20 64 6f 5f 70 72  out RHS:.  do_pr
0800: 61 67 6d 61 5f 6e 63 6f 6c 5f 74 65 73 74 20 31  agma_ncol_test 1
0810: 2e 24 74 6e 2e 31 20 5b 6c 69 6e 64 65 78 20 5b  .$tn.1 [lindex [
0820: 73 70 6c 69 74 20 24 73 71 6c 20 3d 5d 20 30 5d  split $sql =] 0]
0830: 20 31 0a 20 20 20 0a 20 20 23 20 57 69 74 68 20   1.   .  # With 
0840: 52 48 53 3a 0a 20 20 64 6f 5f 70 72 61 67 6d 61  RHS:.  do_pragma
0850: 5f 6e 63 6f 6c 5f 74 65 73 74 20 31 2e 24 74 6e  _ncol_test 1.$tn
0860: 2e 32 20 24 73 71 6c 20 20 30 0a 7d 0a 0a 23 20  .2 $sql  0.}..# 
0870: 54 68 65 73 65 20 70 72 61 67 6d 61 73 20 73 68  These pragmas sh
0880: 6f 75 6c 64 20 6e 65 76 65 72 20 72 65 74 75 72  ould never retur
0890: 6e 20 61 6e 79 20 76 61 6c 75 65 73 2e 0a 23 0a  n any values..#.
08a0: 66 6f 72 65 61 63 68 20 7b 74 6e 20 73 71 6c 7d  foreach {tn sql}
08b0: 20 7b 0a 20 20 31 20 22 50 52 41 47 4d 41 20 73   {.  1 "PRAGMA s
08c0: 68 72 69 6e 6b 5f 6d 65 6d 6f 72 79 22 0a 20 20  hrink_memory".  
08d0: 32 20 22 50 52 41 47 4d 41 20 73 68 72 69 6e 6b  2 "PRAGMA shrink
08e0: 5f 6d 65 6d 6f 72 79 20 3d 20 31 30 22 0a 20 20  _memory = 10".  
08f0: 33 20 22 50 52 41 47 4d 41 20 63 61 73 65 5f 73  3 "PRAGMA case_s
0900: 65 6e 73 69 74 69 76 65 5f 6c 69 6b 65 20 3d 20  ensitive_like = 
0910: 30 22 0a 20 20 34 20 22 50 52 41 47 4d 41 20 63  0".  4 "PRAGMA c
0920: 61 73 65 5f 73 65 6e 73 69 74 69 76 65 5f 6c 69  ase_sensitive_li
0930: 6b 65 20 3d 20 31 22 0a 20 20 35 20 22 50 52 41  ke = 1".  5 "PRA
0940: 47 4d 41 20 63 61 73 65 5f 73 65 6e 73 69 74 69  GMA case_sensiti
0950: 76 65 5f 6c 69 6b 65 22 0a 7d 20 7b 0a 0a 20 20  ve_like".} {..  
0960: 64 6f 5f 70 72 61 67 6d 61 5f 6e 63 6f 6c 5f 74  do_pragma_ncol_t
0970: 65 73 74 20 32 2e 24 74 6e 2e 31 20 24 73 71 6c  est 2.$tn.1 $sql
0980: 20 30 0a 7d 0a 0a 23 20 45 58 50 4c 41 49 4e 20   0.}..# EXPLAIN 
0990: 6f 6e 20 61 20 50 52 41 47 4d 41 20 69 6e 74 65  on a PRAGMA inte
09a0: 67 72 69 74 79 5f 63 68 65 63 6b 2e 0a 23 20 56  grity_check..# V
09b0: 65 72 69 66 79 20 74 68 61 74 20 74 68 61 74 20  erify that that 
09c0: 50 34 5f 49 4e 54 41 52 52 41 59 20 61 72 67 75  P4_INTARRAY argu
09d0: 6d 65 6e 74 20 74 6f 20 4f 50 5f 49 6e 74 65 67  ment to OP_Integ
09e0: 72 69 74 79 43 6b 20 69 73 20 72 65 6e 64 65 72  rityCk is render
09f0: 65 64 0a 23 20 63 6f 72 72 65 63 74 6c 79 2e 0a  ed.# correctly..
0a00: 23 0a 64 62 20 63 6c 6f 73 65 0a 66 6f 72 63 65  #.db close.force
0a10: 64 65 6c 65 74 65 20 74 65 73 74 2e 64 62 0a 73  delete test.db.s
0a20: 71 6c 69 74 65 33 20 64 62 20 74 65 73 74 2e 64  qlite3 db test.d
0a30: 62 0a 64 6f 5f 74 65 73 74 20 70 72 61 67 6d 61  b.do_test pragma
0a40: 34 2d 32 2e 31 30 30 20 7b 0a 20 20 64 62 20 65  4-2.100 {.  db e
0a50: 76 61 6c 20 7b 0a 20 20 20 20 50 52 41 47 4d 41  val {.    PRAGMA
0a60: 20 70 61 67 65 5f 73 69 7a 65 3d 35 31 32 3b 0a   page_size=512;.
0a70: 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45      CREATE TABLE
0a80: 20 74 31 28 78 29 3b 0a 20 20 20 20 57 49 54 48   t1(x);.    WITH
0a90: 20 52 45 43 55 52 53 49 56 45 20 63 28 78 29 20   RECURSIVE c(x) 
0aa0: 41 53 20 28 56 41 4c 55 45 53 28 31 29 20 55 4e  AS (VALUES(1) UN
0ab0: 49 4f 4e 20 41 4c 4c 20 53 45 4c 45 43 54 20 78  ION ALL SELECT x
0ac0: 2b 31 20 46 52 4f 4d 20 63 20 57 48 45 52 45 20  +1 FROM c WHERE 
0ad0: 78 3c 31 30 30 30 30 29 0a 20 20 20 20 49 4e 53  x<10000).    INS
0ae0: 45 52 54 20 49 4e 54 4f 20 74 31 28 78 29 20 53  ERT INTO t1(x) S
0af0: 45 4c 45 43 54 20 7a 65 72 6f 62 6c 6f 62 28 33  ELECT zeroblob(3
0b00: 30 30 29 20 46 52 4f 4d 20 63 3b 0a 20 20 20 20  00) FROM c;.    
0b10: 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 32 28  CREATE TABLE t2(
0b20: 79 29 3b 0a 20 20 20 20 44 52 4f 50 20 54 41 42  y);.    DROP TAB
0b30: 4c 45 20 74 31 3b 0a 20 20 7d 0a 20 20 73 74 72  LE t1;.  }.  str
0b40: 69 6e 67 20 6d 61 70 20 7b 5c 5b 20 78 20 5c 5d  ing map {\[ x \]
0b50: 20 78 20 5c 31 37 33 20 7b 7d 20 5c 31 37 35 20   x \173 {} \175 
0b60: 7b 7d 7d 20 5c 0a 20 20 20 20 5b 64 62 20 65 76  {}} \.    [db ev
0b70: 61 6c 20 7b 45 58 50 4c 41 49 4e 20 50 52 41 47  al {EXPLAIN PRAG
0b80: 4d 41 20 69 6e 74 65 67 72 69 74 79 5f 63 68 65  MA integrity_che
0b90: 63 6b 7d 5d 0a 7d 20 7b 2f 20 49 6e 74 65 67 72  ck}].} {/ Integr
0ba0: 69 74 79 43 6b 20 32 20 32 20 31 20 78 5b 30 2d  ityCk 2 2 1 x[0-
0bb0: 39 5d 2b 2c 31 78 20 2f 7d 0a 0a 66 69 6e 69 73  9]+,1x /}..finis
0bc0: 68 5f 74 65 73 74 0a                             h_test.