/ Hex Artifact Content
Login

Artifact 0e646aeab8840c399cfbfa43daab46fd609cf04a:


0000: 23 20 32 30 31 34 2d 31 31 2d 31 32 0a 23 0a 23  # 2014-11-12.#.#
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 65 73 74 20 74 68 61 74  **.#.# Test that
0170: 20 65 72 72 6f 72 73 20 65 6e 63 6f 75 6e 74 65   errors encounte
0180: 72 65 64 20 64 75 72 69 6e 67 20 61 20 52 4f 4c  red during a ROL
0190: 4c 42 41 43 4b 20 6f 70 65 72 61 74 69 6f 6e 20  LBACK operation 
01a0: 63 6f 72 72 65 63 74 6c 79 20 0a 23 20 61 66 66  correctly .# aff
01b0: 65 63 74 20 6f 6e 67 6f 69 6e 67 20 53 51 4c 20  ect ongoing SQL 
01c0: 73 74 61 74 65 6d 65 6e 74 73 2e 0a 23 0a 0a 73  statements..#..s
01d0: 65 74 20 74 65 73 74 64 69 72 20 5b 66 69 6c 65  et testdir [file
01e0: 20 64 69 72 6e 61 6d 65 20 24 61 72 67 76 30 5d   dirname $argv0]
01f0: 0a 73 6f 75 72 63 65 20 24 74 65 73 74 64 69 72  .source $testdir
0200: 2f 74 65 73 74 65 72 2e 74 63 6c 0a 73 6f 75 72  /tester.tcl.sour
0210: 63 65 20 24 74 65 73 74 64 69 72 2f 6d 61 6c 6c  ce $testdir/mall
0220: 6f 63 5f 63 6f 6d 6d 6f 6e 2e 74 63 6c 0a 73 65  oc_common.tcl.se
0230: 74 20 74 65 73 74 70 72 65 66 69 78 20 72 6f 6c  t testprefix rol
0240: 6c 62 61 63 6b 66 61 75 6c 74 0a 0a 0a 70 72 6f  lbackfault...pro
0250: 63 20 69 6e 74 32 68 65 78 20 7b 69 7d 20 7b 20  c int2hex {i} { 
0260: 66 6f 72 6d 61 74 20 25 2e 32 58 20 24 69 20 7d  format %.2X $i }
0270: 0a 64 62 20 66 75 6e 63 20 69 6e 74 32 68 65 78  .db func int2hex
0280: 20 69 6e 74 32 68 65 78 0a 64 6f 5f 65 78 65 63   int2hex.do_exec
0290: 73 71 6c 5f 74 65 73 74 20 31 2e 30 20 7b 0a 20  sql_test 1.0 {. 
02a0: 20 53 45 4c 45 43 54 20 69 6e 74 32 68 65 78 28   SELECT int2hex(
02b0: 30 29 2c 20 69 6e 74 32 68 65 78 28 31 30 30 29  0), int2hex(100)
02c0: 2c 20 69 6e 74 32 68 65 78 28 32 35 35 29 0a 7d  , int2hex(255).}
02d0: 20 7b 30 30 20 36 34 20 46 46 7d 0a 64 6f 5f 65   {00 64 FF}.do_e
02e0: 78 65 63 73 71 6c 5f 74 65 73 74 20 31 2e 31 20  xecsql_test 1.1 
02f0: 7b 0a 20 20 43 52 45 41 54 45 20 54 41 42 4c 45  {.  CREATE TABLE
0300: 20 74 31 28 69 2c 20 68 29 3b 0a 20 20 43 52 45   t1(i, h);.  CRE
0310: 41 54 45 20 49 4e 44 45 58 20 69 31 20 4f 4e 20  ATE INDEX i1 ON 
0320: 74 31 28 68 29 3b 0a 20 20 57 49 54 48 20 64 61  t1(h);.  WITH da
0330: 74 61 28 61 2c 20 62 29 20 41 53 20 28 0a 20 20  ta(a, b) AS (.  
0340: 20 20 53 45 4c 45 43 54 20 31 2c 20 69 6e 74 32    SELECT 1, int2
0350: 68 65 78 28 31 29 0a 20 20 20 20 20 20 55 4e 49  hex(1).      UNI
0360: 4f 4e 20 41 4c 4c 0a 20 20 20 20 53 45 4c 45 43  ON ALL.    SELEC
0370: 54 20 61 2b 31 2c 20 69 6e 74 32 68 65 78 28 61  T a+1, int2hex(a
0380: 2b 31 29 20 46 52 4f 4d 20 64 61 74 61 20 57 48  +1) FROM data WH
0390: 45 52 45 20 61 3c 34 30 0a 20 20 29 0a 20 20 49  ERE a<40.  ).  I
03a0: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 53 45  NSERT INTO t1 SE
03b0: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 64 61 74 61  LECT * FROM data
03c0: 3b 0a 7d 20 7b 7d 0a 0a 66 6f 72 65 61 63 68 20  ;.} {}..foreach 
03d0: 66 20 7b 6f 6f 6d 20 69 6f 65 72 72 7d 20 7b 0a  f {oom ioerr} {.
03e0: 20 20 64 6f 5f 66 61 75 6c 74 73 69 6d 5f 74 65    do_faultsim_te
03f0: 73 74 20 31 2e 32 20 2d 66 61 75 6c 74 73 20 24  st 1.2 -faults $
0400: 66 2a 20 2d 70 72 65 70 20 7b 0a 20 20 20 20 73  f* -prep {.    s
0410: 65 74 20 73 71 6c 31 20 7b 20 53 45 4c 45 43 54  et sql1 { SELECT
0420: 20 69 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45   i FROM t1 WHERE
0430: 20 28 69 25 32 29 3d 3d 30 20 7d 0a 20 20 20 20   (i%2)==0 }.    
0440: 73 65 74 20 73 71 6c 32 20 7b 20 53 45 4c 45 43  set sql2 { SELEC
0450: 54 20 69 20 46 52 4f 4d 20 74 31 20 57 48 45 52  T i FROM t1 WHER
0460: 45 20 28 69 25 32 29 3d 3d 30 20 4f 52 44 45 52  E (i%2)==0 ORDER
0470: 20 42 59 20 68 20 7d 0a 20 20 20 20 73 65 74 20   BY h }.    set 
0480: 3a 3a 73 31 20 5b 73 71 6c 69 74 65 33 5f 70 72  ::s1 [sqlite3_pr
0490: 65 70 61 72 65 20 64 62 20 24 73 71 6c 31 20 2d  epare db $sql1 -
04a0: 31 20 64 75 6d 6d 79 5d 0a 20 20 20 20 73 65 74  1 dummy].    set
04b0: 20 3a 3a 73 32 20 5b 73 71 6c 69 74 65 33 5f 70   ::s2 [sqlite3_p
04c0: 72 65 70 61 72 65 20 64 62 20 24 73 71 6c 32 20  repare db $sql2 
04d0: 2d 31 20 64 75 6d 6d 79 5d 0a 20 20 0a 20 20 20  -1 dummy].  .   
04e0: 20 66 6f 72 20 7b 73 65 74 20 69 20 30 7d 20 7b   for {set i 0} {
04f0: 24 69 20 3c 20 31 30 7d 20 7b 69 6e 63 72 20 69  $i < 10} {incr i
0500: 7d 20 7b 20 73 71 6c 69 74 65 33 5f 73 74 65 70  } { sqlite3_step
0510: 20 24 3a 3a 73 31 20 7d 0a 20 20 20 20 66 6f 72   $::s1 }.    for
0520: 20 7b 73 65 74 20 69 20 30 7d 20 7b 24 69 20 3c   {set i 0} {$i <
0530: 20 33 7d 20 20 7b 69 6e 63 72 20 69 7d 20 7b 20   3}  {incr i} { 
0540: 73 71 6c 69 74 65 33 5f 73 74 65 70 20 24 3a 3a  sqlite3_step $::
0550: 73 32 20 7d 0a 20 20 0a 20 20 20 20 65 78 65 63  s2 }.  .    exec
0560: 73 71 6c 20 7b 0a 20 20 20 20 20 20 42 45 47 49  sql {.      BEGI
0570: 4e 3b 20 44 45 4c 45 54 45 20 46 52 4f 4d 20 74  N; DELETE FROM t
0580: 31 20 57 48 45 52 45 20 28 69 25 32 29 0a 20 20  1 WHERE (i%2).  
0590: 20 20 7d 0a 20 20 7d 20 2d 62 6f 64 79 20 7b 0a    }.  } -body {.
05a0: 20 20 20 20 65 78 65 63 73 71 6c 20 7b 20 52 4f      execsql { RO
05b0: 4c 4c 42 41 43 4b 20 7d 0a 20 20 7d 20 2d 74 65  LLBACK }.  } -te
05c0: 73 74 20 7b 0a 20 20 0a 20 20 20 20 73 65 74 20  st {.  .    set 
05d0: 72 65 73 31 20 5b 6c 69 73 74 5d 0a 20 20 20 20  res1 [list].    
05e0: 73 65 74 20 72 65 73 32 20 5b 6c 69 73 74 5d 0a  set res2 [list].
05f0: 20 20 20 20 77 68 69 6c 65 20 7b 22 53 51 4c 49      while {"SQLI
0600: 54 45 5f 52 4f 57 22 20 3d 3d 20 5b 73 71 6c 69  TE_ROW" == [sqli
0610: 74 65 33 5f 73 74 65 70 20 24 3a 3a 73 31 5d 7d  te3_step $::s1]}
0620: 20 7b 0a 20 20 20 20 20 20 6c 61 70 70 65 6e 64   {.      lappend
0630: 20 72 65 73 31 20 5b 73 71 6c 69 74 65 33 5f 63   res1 [sqlite3_c
0640: 6f 6c 75 6d 6e 5f 74 65 78 74 20 24 3a 3a 73 31  olumn_text $::s1
0650: 20 30 5d 0a 20 20 20 20 7d 0a 20 20 20 20 77 68   0].    }.    wh
0660: 69 6c 65 20 7b 22 53 51 4c 49 54 45 5f 52 4f 57  ile {"SQLITE_ROW
0670: 22 20 3d 3d 20 5b 73 71 6c 69 74 65 33 5f 73 74  " == [sqlite3_st
0680: 65 70 20 24 3a 3a 73 32 5d 7d 20 7b 0a 20 20 20  ep $::s2]} {.   
0690: 20 20 20 6c 61 70 70 65 6e 64 20 72 65 73 32 20     lappend res2 
06a0: 5b 73 71 6c 69 74 65 33 5f 63 6f 6c 75 6d 6e 5f  [sqlite3_column_
06b0: 74 65 78 74 20 24 3a 3a 73 32 20 30 5d 0a 20 20  text $::s2 0].  
06c0: 20 20 7d 0a 20 20 20 20 73 65 74 20 72 63 31 20    }.    set rc1 
06d0: 5b 73 71 6c 69 74 65 33 5f 66 69 6e 61 6c 69 7a  [sqlite3_finaliz
06e0: 65 20 24 3a 3a 73 31 5d 0a 20 20 20 20 73 65 74  e $::s1].    set
06f0: 20 72 63 32 20 5b 73 71 6c 69 74 65 33 5f 66 69   rc2 [sqlite3_fi
0700: 6e 61 6c 69 7a 65 20 24 3a 3a 73 32 5d 0a 20 20  nalize $::s2].  
0710: 0a 20 20 20 20 63 61 74 63 68 73 71 6c 20 7b 20  .    catchsql { 
0720: 52 4f 4c 4c 42 41 43 4b 20 7d 0a 20 20 0a 20 20  ROLLBACK }.  .  
0730: 20 20 69 66 20 7b 24 72 63 31 3d 3d 22 53 51 4c    if {$rc1=="SQL
0740: 49 54 45 5f 4f 4b 22 20 26 26 20 24 72 63 32 3d  ITE_OK" && $rc2=
0750: 3d 22 53 51 4c 49 54 45 5f 4f 4b 22 20 0a 20 20  ="SQLITE_OK" .  
0760: 20 20 20 26 26 20 24 72 65 73 31 3d 3d 22 32 32     && $res1=="22
0770: 20 32 34 20 32 36 20 32 38 20 33 30 20 33 32 20   24 26 28 30 32 
0780: 33 34 20 33 36 20 33 38 20 34 30 22 0a 20 20 20  34 36 38 40".   
0790: 20 20 26 26 20 24 72 65 73 32 3d 3d 22 38 20 31    && $res2=="8 1
07a0: 30 20 31 32 20 31 34 20 31 36 20 31 38 20 32 30  0 12 14 16 18 20
07b0: 20 32 32 20 32 34 20 32 36 20 32 38 20 33 30 20   22 24 26 28 30 
07c0: 33 32 20 33 34 20 33 36 20 33 38 20 34 30 22 0a  32 34 36 38 40".
07d0: 20 20 20 20 7d 20 7b 0a 20 20 20 20 20 20 23 20      } {.      # 
07e0: 54 68 69 73 20 69 73 20 4f 6b 2e 0a 20 20 20 20  This is Ok..    
07f0: 7d 20 65 6c 73 65 69 66 20 7b 24 72 63 31 21 3d  } elseif {$rc1!=
0800: 22 53 51 4c 49 54 45 5f 4f 4b 22 20 26 26 20 24  "SQLITE_OK" && $
0810: 72 63 32 21 3d 22 53 51 4c 49 54 45 5f 4f 4b 22  rc2!="SQLITE_OK"
0820: 20 26 26 20 24 72 65 73 31 3d 3d 22 22 20 26 26   && $res1=="" &&
0830: 24 72 65 73 32 3d 3d 22 22 7d 20 7b 0a 20 20 20  $res2==""} {.   
0840: 20 20 20 23 20 41 6c 73 6f 20 4f 6b 2e 0a 20 20     # Also Ok..  
0850: 20 20 7d 20 65 6c 73 65 20 7b 0a 20 20 20 20 20    } else {.     
0860: 20 65 72 72 6f 72 20 22 73 74 61 74 65 6d 65 6e   error "statemen
0870: 74 73 20 64 6f 6e 27 74 20 6c 6f 6f 6b 20 72 69  ts don't look ri
0880: 67 68 74 22 0a 20 20 20 20 7d 0a 20 20 7d 0a 7d  ght".    }.  }.}
0890: 0a 0a 0a 66 69 6e 69 73 68 5f 74 65 73 74 0a     ...finish_test.