/ Hex Artifact Content
Login
SQLite training in Houston TX on 2019-11-05 (details)
Part of the 2019 Tcl Conference

Artifact 6f02fa2b4baa943bc6d6db323d5d07067967e728:


0000: 23 20 32 30 30 37 20 41 75 67 20 31 33 0a 23 0a  # 2007 Aug 13.#.
0010: 23 20 54 68 65 20 61 75 74 68 6f 72 20 64 69 73  # The author dis
0020: 63 6c 61 69 6d 73 20 63 6f 70 79 72 69 67 68 74  claims copyright
0030: 20 74 6f 20 74 68 69 73 20 73 6f 75 72 63 65 20   to this source 
0040: 63 6f 64 65 2e 20 20 49 6e 20 70 6c 61 63 65 20  code.  In place 
0050: 6f 66 0a 23 20 61 20 6c 65 67 61 6c 20 6e 6f 74  of.# a legal not
0060: 69 63 65 2c 20 68 65 72 65 20 69 73 20 61 20 62  ice, here is a b
0070: 6c 65 73 73 69 6e 67 3a 0a 23 0a 23 20 20 20 20  lessing:.#.#    
0080: 4d 61 79 20 79 6f 75 20 64 6f 20 67 6f 6f 64 20  May you do good 
0090: 61 6e 64 20 6e 6f 74 20 65 76 69 6c 2e 0a 23 20  and not evil..# 
00a0: 20 20 20 4d 61 79 20 79 6f 75 20 66 69 6e 64 20     May you find 
00b0: 66 6f 72 67 69 76 65 6e 65 73 73 20 66 6f 72 20  forgiveness for 
00c0: 79 6f 75 72 73 65 6c 66 20 61 6e 64 20 66 6f 72  yourself and for
00d0: 67 69 76 65 20 6f 74 68 65 72 73 2e 0a 23 20 20  give others..#  
00e0: 20 20 4d 61 79 20 79 6f 75 20 73 68 61 72 65 20    May you share 
00f0: 66 72 65 65 6c 79 2c 20 6e 65 76 65 72 20 74 61  freely, never ta
0100: 6b 69 6e 67 20 6d 6f 72 65 20 74 68 61 6e 20 79  king more than y
0110: 6f 75 20 67 69 76 65 2e 0a 23 0a 23 2a 2a 2a 2a  ou 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 2a 0a 23 20 0a 23 20 54 68 69 73 20 66 69  ***.# .# This fi
0170: 6c 65 20 74 65 73 74 73 20 61 73 70 65 63 74 73  le tests aspects
0180: 20 6f 66 20 74 68 65 20 6d 61 6c 6c 6f 63 20 66   of the malloc f
0190: 61 69 6c 75 72 65 20 77 68 69 6c 65 20 70 61 72  ailure while par
01a0: 73 69 6e 67 0a 23 20 43 52 45 41 54 45 20 54 41  sing.# CREATE TA
01b0: 42 4c 45 20 73 74 61 74 65 6d 65 6e 74 73 20 69  BLE statements i
01c0: 6e 20 61 75 74 6f 5f 76 61 63 75 75 6d 20 6d 6f  n auto_vacuum mo
01d0: 64 65 2e 0a 23 0a 23 20 24 49 64 3a 20 6d 61 6c  de..#.# $Id: mal
01e0: 6c 6f 63 43 2e 74 65 73 74 2c 76 20 31 2e 37 20  locC.test,v 1.7 
01f0: 32 30 30 37 2f 31 30 2f 30 33 20 30 38 3a 34 36  2007/10/03 08:46
0200: 3a 34 35 20 64 61 6e 69 65 6c 6b 31 39 37 37 20  :45 danielk1977 
0210: 45 78 70 20 24 0a 0a 73 65 74 20 74 65 73 74 64  Exp $..set testd
0220: 69 72 20 5b 66 69 6c 65 20 64 69 72 6e 61 6d 65  ir [file dirname
0230: 20 24 61 72 67 76 30 5d 0a 73 6f 75 72 63 65 20   $argv0].source 
0240: 24 74 65 73 74 64 69 72 2f 74 65 73 74 65 72 2e  $testdir/tester.
0250: 74 63 6c 0a 0a 23 20 4f 6e 6c 79 20 72 75 6e 20  tcl..# Only run 
0260: 74 68 65 73 65 20 74 65 73 74 73 20 69 66 20 6d  these tests if m
0270: 65 6d 6f 72 79 20 64 65 62 75 67 67 69 6e 67 20  emory debugging 
0280: 69 73 20 74 75 72 6e 65 64 20 6f 6e 2e 0a 23 0a  is turned on..#.
0290: 69 66 63 61 70 61 62 6c 65 20 21 6d 65 6d 64 65  ifcapable !memde
02a0: 62 75 67 7c 7c 21 63 6f 6d 70 6f 75 6e 64 20 7b  bug||!compound {
02b0: 0a 20 20 20 70 75 74 73 20 22 53 6b 69 70 70 69  .   puts "Skippi
02c0: 6e 67 20 6d 61 6c 6c 6f 63 43 20 74 65 73 74 73  ng mallocC tests
02d0: 3a 20 6e 6f 74 20 63 6f 6d 70 69 6c 65 64 20 77  : not compiled w
02e0: 69 74 68 20 2d 44 53 51 4c 49 54 45 5f 4d 45 4d  ith -DSQLITE_MEM
02f0: 44 45 42 55 47 2e 2e 2e 22 0a 20 20 20 66 69 6e  DEBUG...".   fin
0300: 69 73 68 5f 74 65 73 74 0a 20 20 20 72 65 74 75  ish_test.   retu
0310: 72 6e 0a 7d 0a 0a 23 20 47 65 6e 65 72 61 74 65  rn.}..# Generate
0320: 20 61 20 63 68 65 63 6b 73 75 6d 20 62 61 73 65   a checksum base
0330: 64 20 6f 6e 20 74 68 65 20 63 6f 6e 74 65 6e 74  d on the content
0340: 73 20 6f 66 20 74 68 65 20 64 61 74 61 62 61 73  s of the databas
0350: 65 2e 20 49 66 20 74 68 65 0a 23 20 63 68 65 63  e. If the.# chec
0360: 6b 73 75 6d 20 6f 66 20 74 77 6f 20 64 61 74 61  ksum of two data
0370: 62 61 73 65 73 20 69 73 20 74 68 65 20 73 61 6d  bases is the sam
0380: 65 2c 20 61 6e 64 20 74 68 65 20 69 6e 74 65 67  e, and the integ
0390: 72 69 74 79 2d 63 68 65 63 6b 20 70 61 73 73 65  rity-check passe
03a0: 73 0a 23 20 66 6f 72 20 62 6f 74 68 2c 20 74 68  s.# for both, th
03b0: 65 20 74 77 6f 20 64 61 74 61 62 61 73 65 73 20  e two databases 
03c0: 61 72 65 20 69 64 65 6e 74 69 63 61 6c 2e 0a 23  are identical..#
03d0: 0a 70 72 6f 63 20 63 6b 73 75 6d 20 7b 64 62 7d  .proc cksum {db}
03e0: 20 7b 0a 20 20 73 65 74 20 72 65 74 20 5b 6c 69   {.  set ret [li
03f0: 73 74 5d 0a 20 20 69 66 63 61 70 61 62 6c 65 20  st].  ifcapable 
0400: 74 65 6d 70 64 62 20 7b 0a 20 20 20 20 73 65 74  tempdb {.    set
0410: 20 73 71 6c 20 7b 0a 20 20 20 20 20 20 53 45 4c   sql {.      SEL
0420: 45 43 54 20 6e 61 6d 65 20 46 52 4f 4d 20 73 71  ECT name FROM sq
0430: 6c 69 74 65 5f 6d 61 73 74 65 72 20 57 48 45 52  lite_master WHER
0440: 45 20 74 79 70 65 20 3d 20 27 74 61 62 6c 65 27  E type = 'table'
0450: 20 55 4e 49 4f 4e 0a 20 20 20 20 20 20 53 45 4c   UNION.      SEL
0460: 45 43 54 20 6e 61 6d 65 20 46 52 4f 4d 20 73 71  ECT name FROM sq
0470: 6c 69 74 65 5f 74 65 6d 70 5f 6d 61 73 74 65 72  lite_temp_master
0480: 20 57 48 45 52 45 20 74 79 70 65 20 3d 20 27 74   WHERE type = 't
0490: 61 62 6c 65 27 20 55 4e 49 4f 4e 0a 20 20 20 20  able' UNION.    
04a0: 20 20 53 45 4c 45 43 54 20 27 73 71 6c 69 74 65    SELECT 'sqlite
04b0: 5f 6d 61 73 74 65 72 27 20 55 4e 49 4f 4e 0a 20  _master' UNION. 
04c0: 20 20 20 20 20 53 45 4c 45 43 54 20 27 73 71 6c       SELECT 'sql
04d0: 69 74 65 5f 74 65 6d 70 5f 6d 61 73 74 65 72 27  ite_temp_master'
04e0: 0a 20 20 20 20 7d 0a 20 20 7d 20 65 6c 73 65 20  .    }.  } else 
04f0: 7b 0a 20 20 20 20 73 65 74 20 73 71 6c 20 7b 0a  {.    set sql {.
0500: 20 20 20 20 20 20 53 45 4c 45 43 54 20 6e 61 6d        SELECT nam
0510: 65 20 46 52 4f 4d 20 73 71 6c 69 74 65 5f 6d 61  e FROM sqlite_ma
0520: 73 74 65 72 20 57 48 45 52 45 20 74 79 70 65 20  ster WHERE type 
0530: 3d 20 27 74 61 62 6c 65 27 20 55 4e 49 4f 4e 0a  = 'table' UNION.
0540: 20 20 20 20 20 20 53 45 4c 45 43 54 20 27 73 71        SELECT 'sq
0550: 6c 69 74 65 5f 6d 61 73 74 65 72 27 0a 20 20 20  lite_master'.   
0560: 20 7d 0a 20 20 7d 0a 20 20 73 65 74 20 74 62 6c   }.  }.  set tbl
0570: 6c 69 73 74 20 5b 24 64 62 20 65 76 61 6c 20 24  list [$db eval $
0580: 73 71 6c 5d 0a 20 20 73 65 74 20 74 78 74 20 7b  sql].  set txt {
0590: 7d 0a 20 20 66 6f 72 65 61 63 68 20 74 62 6c 20  }.  foreach tbl 
05a0: 24 74 62 6c 6c 69 73 74 20 7b 0a 20 20 20 20 61  $tbllist {.    a
05b0: 70 70 65 6e 64 20 74 78 74 20 5b 24 64 62 20 65  ppend txt [$db e
05c0: 76 61 6c 20 22 53 45 4c 45 43 54 20 2a 20 46 52  val "SELECT * FR
05d0: 4f 4d 20 24 74 62 6c 22 5d 0a 20 20 7d 0a 20 20  OM $tbl"].  }.  
05e0: 23 20 70 75 74 73 20 74 78 74 3d 24 74 78 74 0a  # puts txt=$txt.
05f0: 20 20 72 65 74 75 72 6e 20 5b 6d 64 35 20 24 74    return [md5 $t
0600: 78 74 5d 0a 7d 0a 0a 70 72 6f 63 20 64 6f 5f 6d  xt].}..proc do_m
0610: 61 6c 6c 6f 63 43 5f 74 65 73 74 20 7b 74 6e 20  allocC_test {tn 
0620: 61 72 67 73 7d 20 7b 0a 20 20 61 72 72 61 79 20  args} {.  array 
0630: 73 65 74 20 3a 3a 6d 61 6c 6c 6f 63 6f 70 74 73  set ::mallocopts
0640: 20 24 61 72 67 73 0a 20 20 73 65 74 20 73 75 6d   $args.  set sum
0650: 20 5b 63 6b 73 75 6d 20 64 62 5d 0a 0a 20 20 66   [cksum db]..  f
0660: 6f 72 20 7b 73 65 74 20 3a 3a 6e 20 31 7d 20 7b  or {set ::n 1} {
0670: 74 72 75 65 7d 20 7b 69 6e 63 72 20 3a 3a 6e 7d  true} {incr ::n}
0680: 20 7b 0a 0a 20 20 20 20 23 20 52 75 6e 20 74 68   {..    # Run th
0690: 65 20 53 51 4c 2e 20 4d 61 6c 6c 6f 63 20 6e 75  e SQL. Malloc nu
06a0: 6d 62 65 72 20 24 3a 3a 6e 20 69 73 20 73 65 74  mber $::n is set
06b0: 20 74 6f 20 66 61 69 6c 2e 20 41 20 6d 61 6c 6c   to fail. A mall
06c0: 6f 63 28 29 20 66 61 69 6c 75 72 65 0a 20 20 20  oc() failure.   
06d0: 20 23 20 6d 61 79 20 6f 72 20 6d 61 79 20 6e 6f   # may or may no
06e0: 74 20 62 65 20 72 65 70 6f 72 74 65 64 2e 0a 20  t be reported.. 
06f0: 20 20 20 73 71 6c 69 74 65 33 5f 6d 65 6d 64 65     sqlite3_memde
0700: 62 75 67 5f 66 61 69 6c 20 24 3a 3a 6e 20 2d 72  bug_fail $::n -r
0710: 65 70 65 61 74 20 31 0a 20 20 20 20 64 6f 5f 74  epeat 1.    do_t
0720: 65 73 74 20 6d 61 6c 6c 6f 63 43 2d 24 74 6e 2e  est mallocC-$tn.
0730: 24 3a 3a 6e 2e 31 20 7b 0a 20 20 20 20 20 20 73  $::n.1 {.      s
0740: 65 74 20 72 65 73 20 5b 63 61 74 63 68 73 71 6c  et res [catchsql
0750: 20 5b 73 74 72 69 6e 67 20 74 72 69 6d 20 24 3a   [string trim $:
0760: 3a 6d 61 6c 6c 6f 63 6f 70 74 73 28 2d 73 71 6c  :mallocopts(-sql
0770: 29 5d 5d 0a 20 20 20 20 20 20 73 65 74 20 72 63  )]].      set rc
0780: 20 5b 65 78 70 72 20 7b 20 0a 20 20 20 20 20 20   [expr { .      
0790: 20 20 30 3d 3d 5b 73 74 72 69 6e 67 20 63 6f 6d    0==[string com
07a0: 70 61 72 65 20 24 72 65 73 20 7b 31 20 7b 6f 75  pare $res {1 {ou
07b0: 74 20 6f 66 20 6d 65 6d 6f 72 79 7d 7d 5d 20 7c  t of memory}}] |
07c0: 7c 0a 20 20 20 20 20 20 20 20 5b 64 62 20 65 72  |.        [db er
07d0: 72 6f 72 63 6f 64 65 5d 20 3d 3d 20 33 30 38 32  rorcode] == 3082
07e0: 20 7c 7c 0a 20 20 20 20 20 20 20 20 30 3d 3d 5b   ||.        0==[
07f0: 6c 69 6e 64 65 78 20 24 72 65 73 20 30 5d 0a 20  lindex $res 0]. 
0800: 20 20 20 20 20 7d 5d 0a 20 20 20 20 20 20 69 66       }].      if
0810: 20 7b 24 72 63 21 3d 31 7d 20 7b 0a 20 20 20 20   {$rc!=1} {.    
0820: 20 20 20 20 70 75 74 73 20 22 45 72 72 6f 72 3a      puts "Error:
0830: 20 24 72 65 73 22 0a 20 20 20 20 20 20 7d 0a 20   $res".      }. 
0840: 20 20 20 20 20 73 65 74 20 72 63 0a 20 20 20 20       set rc.    
0850: 7d 20 7b 31 7d 0a 0a 20 20 20 20 23 20 49 66 20  } {1}..    # If 
0860: 24 3a 3a 6e 20 69 73 20 67 72 65 61 74 65 72 20  $::n is greater 
0870: 74 68 61 6e 20 74 68 65 20 6e 75 6d 62 65 72 20  than the number 
0880: 6f 66 20 6d 61 6c 6c 6f 63 28 29 20 63 61 6c 6c  of malloc() call
0890: 73 20 72 65 71 75 69 72 65 64 20 74 6f 0a 20 20  s required to.  
08a0: 20 20 23 20 65 78 65 63 75 74 65 20 74 68 65 20    # execute the 
08b0: 53 51 4c 2c 20 74 68 65 6e 20 74 68 69 73 20 74  SQL, then this t
08c0: 65 73 74 20 69 73 20 66 69 6e 69 73 68 65 64 2e  est is finished.
08d0: 20 42 72 65 61 6b 20 6f 75 74 20 6f 66 20 74 68   Break out of th
08e0: 65 20 6c 6f 6f 70 2e 0a 20 20 20 20 73 65 74 20  e loop..    set 
08f0: 6e 46 61 69 6c 20 5b 73 71 6c 69 74 65 33 5f 6d  nFail [sqlite3_m
0900: 65 6d 64 65 62 75 67 5f 66 61 69 6c 20 2d 31 5d  emdebug_fail -1]
0910: 0a 20 20 20 20 69 66 20 7b 24 6e 46 61 69 6c 3d  .    if {$nFail=
0920: 3d 30 7d 20 7b 0a 20 20 20 20 20 20 62 72 65 61  =0} {.      brea
0930: 6b 0a 20 20 20 20 7d 0a 0a 20 20 20 20 23 20 52  k.    }..    # R
0940: 65 63 6f 76 65 72 20 66 72 6f 6d 20 74 68 65 20  ecover from the 
0950: 6d 61 6c 6c 6f 63 20 66 61 69 6c 75 72 65 2e 0a  malloc failure..
0960: 20 20 20 20 23 0a 20 20 20 20 23 20 55 70 64 61      #.    # Upda
0970: 74 65 3a 20 54 68 65 20 6e 65 77 20 6d 61 6c 6c  te: The new mall
0980: 6f 63 28 29 20 66 61 69 6c 75 72 65 20 68 61 6e  oc() failure han
0990: 64 6c 69 6e 67 20 6d 65 61 6e 73 20 74 68 61 74  dling means that
09a0: 20 61 20 74 72 61 6e 73 61 63 74 69 6f 6e 20 6d   a transaction m
09b0: 61 79 0a 20 20 20 20 23 20 73 74 69 6c 6c 20 62  ay.    # still b
09c0: 65 20 61 63 74 69 76 65 20 65 76 65 6e 20 69 66  e active even if
09d0: 20 61 20 6d 61 6c 6c 6f 63 28 29 20 68 61 73 20   a malloc() has 
09e0: 66 61 69 6c 65 64 2e 20 42 75 74 20 77 68 65 6e  failed. But when
09f0: 20 74 68 65 73 65 20 74 65 73 74 73 20 77 65 72   these tests wer
0a00: 65 0a 20 20 20 20 23 20 77 72 69 74 74 65 6e 20  e.    # written 
0a10: 74 68 69 73 20 77 61 73 20 6e 6f 74 20 74 68 65  this was not the
0a20: 20 63 61 73 65 2e 20 53 6f 20 64 6f 20 61 20 6d   case. So do a m
0a30: 61 6e 75 61 6c 20 52 4f 4c 4c 42 41 43 4b 20 68  anual ROLLBACK h
0a40: 65 72 65 20 73 6f 20 74 68 61 74 20 74 68 65 0a  ere so that the.
0a50: 20 20 20 20 23 20 74 65 73 74 73 20 70 61 73 73      # tests pass
0a60: 2e 0a 20 20 20 20 64 6f 5f 74 65 73 74 20 6d 61  ..    do_test ma
0a70: 6c 6c 6f 63 43 2d 24 74 6e 2e 24 3a 3a 6e 2e 32  llocC-$tn.$::n.2
0a80: 20 7b 0a 20 20 20 20 20 20 63 61 74 63 68 20 7b   {.      catch {
0a90: 0a 20 20 20 20 20 20 20 20 65 78 65 63 73 71 6c  .        execsql
0aa0: 20 7b 0a 20 20 20 20 20 20 20 20 20 20 52 4f 4c   {.          ROL
0ab0: 4c 42 41 43 4b 3b 0a 20 20 20 20 20 20 20 20 7d  LBACK;.        }
0ac0: 0a 20 20 20 20 20 20 7d 0a 20 20 20 20 20 20 65  .      }.      e
0ad0: 78 70 72 20 30 0a 20 20 20 20 7d 20 7b 30 7d 0a  xpr 0.    } {0}.
0ae0: 0a 20 20 20 20 23 20 43 68 65 63 6b 73 75 6d 20  .    # Checksum 
0af0: 74 68 65 20 64 61 74 61 62 61 73 65 2e 0a 20 20  the database..  
0b00: 20 20 23 64 6f 5f 74 65 73 74 20 6d 61 6c 6c 6f    #do_test mallo
0b10: 63 43 2d 24 74 6e 2e 24 3a 3a 6e 2e 33 20 7b 0a  cC-$tn.$::n.3 {.
0b20: 20 20 20 20 23 20 20 63 6b 73 75 6d 20 64 62 0a      #  cksum db.
0b30: 20 20 20 20 23 7d 20 24 73 75 6d 0a 0a 20 20 20      #} $sum..   
0b40: 20 23 69 6e 74 65 67 72 69 74 79 5f 63 68 65 63   #integrity_chec
0b50: 6b 20 6d 61 6c 6c 6f 63 43 2d 24 74 6e 2e 24 3a  k mallocC-$tn.$:
0b60: 3a 6e 2e 34 0a 20 20 69 66 20 7b 24 3a 3a 6e 45  :n.4.  if {$::nE
0b70: 72 72 3e 31 7d 20 72 65 74 75 72 6e 0a 20 20 7d  rr>1} return.  }
0b80: 0a 20 20 75 6e 73 65 74 20 3a 3a 6d 61 6c 6c 6f  .  unset ::mallo
0b90: 63 6f 70 74 73 0a 7d 0a 0a 73 71 6c 69 74 65 33  copts.}..sqlite3
0ba0: 5f 65 78 74 65 6e 64 65 64 5f 72 65 73 75 6c 74  _extended_result
0bb0: 5f 63 6f 64 65 73 20 64 62 20 31 0a 0a 65 78 65  _codes db 1..exe
0bc0: 63 73 71 6c 20 7b 0a 20 20 50 52 41 47 4d 41 20  csql {.  PRAGMA 
0bd0: 61 75 74 6f 5f 76 61 63 75 75 6d 3d 31 3b 0a 20  auto_vacuum=1;. 
0be0: 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 30   CREATE TABLE t0
0bf0: 28 61 2c 20 62 2c 20 63 29 3b 0a 7d 0a 64 6f 5f  (a, b, c);.}.do_
0c00: 6d 61 6c 6c 6f 63 43 5f 74 65 73 74 20 31 20 2d  mallocC_test 1 -
0c10: 73 71 6c 20 7b 0a 20 20 42 45 47 49 4e 3b 0a 20  sql {.  BEGIN;. 
0c20: 20 2d 2d 20 41 6c 6c 6f 63 61 74 65 20 33 32 20   -- Allocate 32 
0c30: 6e 65 77 20 72 6f 6f 74 20 70 61 67 65 73 2e 20  new root pages. 
0c40: 54 68 69 73 20 77 69 6c 6c 20 65 78 65 72 63 69  This will exerci
0c50: 73 65 20 74 68 65 20 27 65 78 74 72 61 63 74 20  se the 'extract 
0c60: 73 70 65 63 69 66 69 63 20 0a 20 20 2d 2d 20 70  specific .  -- p
0c70: 61 67 65 20 66 72 6f 6d 20 74 68 65 20 66 72 65  age from the fre
0c80: 65 6c 69 73 74 27 20 63 6f 64 65 20 77 68 65 6e  elist' code when
0c90: 20 69 6e 20 61 75 74 6f 2d 76 61 63 75 75 6d 20   in auto-vacuum 
0ca0: 6d 6f 64 65 20 28 73 65 65 20 74 68 65 0a 20 20  mode (see the.  
0cb0: 2d 2d 20 61 6c 6c 6f 63 61 74 65 50 61 67 65 28  -- allocatePage(
0cc0: 29 20 72 6f 75 74 69 6e 65 20 69 6e 20 62 74 72  ) routine in btr
0cd0: 65 65 2e 63 29 2e 0a 20 20 43 52 45 41 54 45 20  ee.c)..  CREATE 
0ce0: 54 41 42 4c 45 20 74 31 28 61 20 55 4e 49 51 55  TABLE t1(a UNIQU
0cf0: 45 2c 20 62 20 55 4e 49 51 55 45 2c 20 63 20 55  E, b UNIQUE, c U
0d00: 4e 49 51 55 45 29 3b 0a 20 20 43 52 45 41 54 45  NIQUE);.  CREATE
0d10: 20 54 41 42 4c 45 20 74 32 28 61 20 55 4e 49 51   TABLE t2(a UNIQ
0d20: 55 45 2c 20 62 20 55 4e 49 51 55 45 2c 20 63 20  UE, b UNIQUE, c 
0d30: 55 4e 49 51 55 45 29 3b 0a 20 20 43 52 45 41 54  UNIQUE);.  CREAT
0d40: 45 20 54 41 42 4c 45 20 74 33 28 61 20 55 4e 49  E TABLE t3(a UNI
0d50: 51 55 45 2c 20 62 20 55 4e 49 51 55 45 2c 20 63  QUE, b UNIQUE, c
0d60: 20 55 4e 49 51 55 45 29 3b 0a 20 20 43 52 45 41   UNIQUE);.  CREA
0d70: 54 45 20 54 41 42 4c 45 20 74 34 28 61 20 55 4e  TE TABLE t4(a UN
0d80: 49 51 55 45 2c 20 62 20 55 4e 49 51 55 45 2c 20  IQUE, b UNIQUE, 
0d90: 63 20 55 4e 49 51 55 45 29 3b 0a 20 20 43 52 45  c UNIQUE);.  CRE
0da0: 41 54 45 20 54 41 42 4c 45 20 74 35 28 61 20 55  ATE TABLE t5(a U
0db0: 4e 49 51 55 45 2c 20 62 20 55 4e 49 51 55 45 2c  NIQUE, b UNIQUE,
0dc0: 20 63 20 55 4e 49 51 55 45 29 3b 0a 20 20 43 52   c UNIQUE);.  CR
0dd0: 45 41 54 45 20 54 41 42 4c 45 20 74 36 28 61 20  EATE TABLE t6(a 
0de0: 55 4e 49 51 55 45 2c 20 62 20 55 4e 49 51 55 45  UNIQUE, b UNIQUE
0df0: 2c 20 63 20 55 4e 49 51 55 45 29 3b 0a 20 20 43  , c UNIQUE);.  C
0e00: 52 45 41 54 45 20 54 41 42 4c 45 20 74 37 28 61  REATE TABLE t7(a
0e10: 20 55 4e 49 51 55 45 2c 20 62 20 55 4e 49 51 55   UNIQUE, b UNIQU
0e20: 45 2c 20 63 20 55 4e 49 51 55 45 29 3b 0a 20 20  E, c UNIQUE);.  
0e30: 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 38 28  CREATE TABLE t8(
0e40: 61 20 55 4e 49 51 55 45 2c 20 62 20 55 4e 49 51  a UNIQUE, b UNIQ
0e50: 55 45 2c 20 63 20 55 4e 49 51 55 45 29 3b 0a 0a  UE, c UNIQUE);..
0e60: 20 20 52 4f 4c 4c 42 41 43 4b 3b 0a 7d 0a 0a 66    ROLLBACK;.}..f
0e70: 69 6e 69 73 68 5f 74 65 73 74 0a                 inish_test.