/ Hex Artifact Content
Login

Artifact 166b58dfd77cc04f6afeeaef0cfc1087abf134d1:


0000: 23 0a 23 20 32 30 30 37 20 4d 61 79 20 31 30 0a  #.# 2007 May 10.
0010: 23 0a 23 20 54 68 65 20 61 75 74 68 6f 72 20 64  #.# The author d
0020: 69 73 63 6c 61 69 6d 73 20 63 6f 70 79 72 69 67  isclaims copyrig
0030: 68 74 20 74 6f 20 74 68 69 73 20 73 6f 75 72 63  ht to this sourc
0040: 65 20 63 6f 64 65 2e 20 20 49 6e 20 70 6c 61 63  e code.  In plac
0050: 65 20 6f 66 0a 23 20 61 20 6c 65 67 61 6c 20 6e  e of.# a legal n
0060: 6f 74 69 63 65 2c 20 68 65 72 65 20 69 73 20 61  otice, here is a
0070: 20 62 6c 65 73 73 69 6e 67 3a 0a 23 0a 23 20 20   blessing:.#.#  
0080: 20 20 4d 61 79 20 79 6f 75 20 64 6f 20 67 6f 6f    May you do goo
0090: 64 20 61 6e 64 20 6e 6f 74 20 65 76 69 6c 2e 0a  d and not evil..
00a0: 23 20 20 20 20 4d 61 79 20 79 6f 75 20 66 69 6e  #    May you fin
00b0: 64 20 66 6f 72 67 69 76 65 6e 65 73 73 20 66 6f  d forgiveness fo
00c0: 72 20 79 6f 75 72 73 65 6c 66 20 61 6e 64 20 66  r yourself and f
00d0: 6f 72 67 69 76 65 20 6f 74 68 65 72 73 2e 0a 23  orgive others..#
00e0: 20 20 20 20 4d 61 79 20 79 6f 75 20 73 68 61 72      May you shar
00f0: 65 20 66 72 65 65 6c 79 2c 20 6e 65 76 65 72 20  e freely, never 
0100: 74 61 6b 69 6e 67 20 6d 6f 72 65 20 74 68 61 6e  taking more than
0110: 20 79 6f 75 20 67 69 76 65 2e 0a 23 0a 23 2a 2a   you 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 2a 2a 0a 23 0a 23 20 54 68 69 73 20 66  *****.#.# This f
0170: 69 6c 65 20 74 65 73 74 73 20 6d 61 6c 6c 6f 63  ile tests malloc
0180: 20 66 61 69 6c 75 72 65 73 20 69 6e 20 63 6f 6e   failures in con
0190: 63 65 72 74 20 77 69 74 68 20 66 75 7a 7a 79 20  cert with fuzzy 
01a0: 53 51 4c 20 67 65 6e 65 72 61 74 69 6f 6e 2e 0a  SQL generation..
01b0: 23 0a 23 20 24 49 64 3a 20 66 75 7a 7a 5f 6d 61  #.# $Id: fuzz_ma
01c0: 6c 6c 6f 63 2e 74 65 73 74 2c 76 20 31 2e 39 20  lloc.test,v 1.9 
01d0: 32 30 30 37 2f 30 39 2f 30 33 20 31 35 3a 34 32  2007/09/03 15:42
01e0: 3a 34 38 20 64 72 68 20 45 78 70 20 24 0a 0a 73  :48 drh Exp $..s
01f0: 65 74 20 74 65 73 74 64 69 72 20 5b 66 69 6c 65  et testdir [file
0200: 20 64 69 72 6e 61 6d 65 20 24 61 72 67 76 30 5d   dirname $argv0]
0210: 0a 73 6f 75 72 63 65 20 24 74 65 73 74 64 69 72  .source $testdir
0220: 2f 74 65 73 74 65 72 2e 74 63 6c 0a 0a 69 66 63  /tester.tcl..ifc
0230: 61 70 61 62 6c 65 20 21 6d 65 6d 64 65 62 75 67  apable !memdebug
0240: 20 7b 0a 20 20 66 69 6e 69 73 68 5f 74 65 73 74   {.  finish_test
0250: 0a 20 20 72 65 74 75 72 6e 0a 7d 0a 0a 73 6f 75  .  return.}..sou
0260: 72 63 65 20 24 74 65 73 74 64 69 72 2f 6d 61 6c  rce $testdir/mal
0270: 6c 6f 63 5f 63 6f 6d 6d 6f 6e 2e 74 63 6c 0a 73  loc_common.tcl.s
0280: 6f 75 72 63 65 20 24 74 65 73 74 64 69 72 2f 66  ource $testdir/f
0290: 75 7a 7a 5f 63 6f 6d 6d 6f 6e 2e 74 63 6c 0a 0a  uzz_common.tcl..
02a0: 69 66 20 7b 5b 69 6e 66 6f 20 65 78 69 73 74 73  if {[info exists
02b0: 20 49 53 51 55 49 43 4b 5d 7d 20 7b 0a 20 20 73   ISQUICK]} {.  s
02c0: 65 74 20 3a 3a 52 45 50 45 41 54 53 20 32 30 0a  et ::REPEATS 20.
02d0: 7d 20 65 6c 73 65 69 66 20 7b 5b 69 6e 66 6f 20  } elseif {[info 
02e0: 65 78 69 73 74 73 20 53 4f 41 4b 54 45 53 54 5d  exists SOAKTEST]
02f0: 7d 20 7b 0a 20 20 73 65 74 20 3a 3a 52 45 50 45  } {.  set ::REPE
0300: 41 54 53 20 31 30 30 0a 7d 20 65 6c 73 65 20 7b  ATS 100.} else {
0310: 0a 20 20 73 65 74 20 3a 3a 52 45 50 45 41 54 53  .  set ::REPEATS
0320: 20 34 30 0a 7d 0a 0a 23 0a 23 20 55 73 61 67 65   40.}..#.# Usage
0330: 3a 20 64 6f 5f 66 75 7a 7a 79 5f 6d 61 6c 6c 6f  : do_fuzzy_mallo
0340: 63 5f 74 65 73 74 20 3c 74 65 73 74 6e 61 6d 65  c_test <testname
0350: 3e 20 3f 3c 6f 70 74 69 6f 6e 73 3e 3f 0a 23 20  > ?<options>?.# 
0360: 0a 23 20 20 20 20 20 2d 74 65 6d 70 6c 61 74 65  .#     -template
0370: 0a 23 20 20 20 20 20 2d 73 71 6c 70 72 65 70 0a  .#     -sqlprep.
0380: 23 20 20 20 20 20 2d 72 65 70 65 61 74 73 0a 23  #     -repeats.#
0390: 20 20 20 20 20 0a 70 72 6f 63 20 64 6f 5f 66 75       .proc do_fu
03a0: 7a 7a 79 5f 6d 61 6c 6c 6f 63 5f 74 65 73 74 20  zzy_malloc_test 
03b0: 7b 74 65 73 74 6e 61 6d 65 20 61 72 67 73 7d 20  {testname args} 
03c0: 7b 0a 20 20 73 65 74 20 3a 3a 66 75 7a 7a 79 6f  {.  set ::fuzzyo
03d0: 70 74 73 28 2d 72 65 70 65 61 74 73 29 20 24 3a  pts(-repeats) $:
03e0: 3a 52 45 50 45 41 54 53 0a 20 20 73 65 74 20 3a  :REPEATS.  set :
03f0: 3a 66 75 7a 7a 79 6f 70 74 73 28 2d 73 71 6c 70  :fuzzyopts(-sqlp
0400: 72 65 70 29 20 7b 7d 0a 20 20 61 72 72 61 79 20  rep) {}.  array 
0410: 73 65 74 20 3a 3a 66 75 7a 7a 79 6f 70 74 73 20  set ::fuzzyopts 
0420: 24 61 72 67 73 0a 0a 20 20 73 71 6c 69 74 65 33  $args..  sqlite3
0430: 5f 6d 65 6d 64 65 62 75 67 5f 66 61 69 6c 20 2d  _memdebug_fail -
0440: 31 0a 20 20 64 62 20 63 6c 6f 73 65 0a 20 20 66  1.  db close.  f
0450: 69 6c 65 20 64 65 6c 65 74 65 20 74 65 73 74 2e  ile delete test.
0460: 64 62 20 74 65 73 74 2e 64 62 2d 6a 6f 75 72 6e  db test.db-journ
0470: 61 6c 0a 20 20 73 71 6c 69 74 65 33 20 64 62 20  al.  sqlite3 db 
0480: 74 65 73 74 2e 64 62 0a 20 20 73 65 74 20 3a 3a  test.db.  set ::
0490: 70 72 65 70 20 24 3a 3a 66 75 7a 7a 79 6f 70 74  prep $::fuzzyopt
04a0: 73 28 2d 73 71 6c 70 72 65 70 29 0a 20 20 65 78  s(-sqlprep).  ex
04b0: 65 63 73 71 6c 20 24 3a 3a 70 72 65 70 0a 20 20  ecsql $::prep.  
04c0: 73 65 74 20 6a 6a 20 30 0a 20 20 66 6f 72 20 7b  set jj 0.  for {
04d0: 73 65 74 20 69 69 20 30 7d 20 7b 24 69 69 20 3c  set ii 0} {$ii <
04e0: 20 24 3a 3a 66 75 7a 7a 79 6f 70 74 73 28 2d 72   $::fuzzyopts(-r
04f0: 65 70 65 61 74 73 29 7d 20 7b 69 6e 63 72 20 69  epeats)} {incr i
0500: 69 7d 20 7b 0a 20 20 20 20 65 78 70 72 20 73 72  i} {.    expr sr
0510: 61 6e 64 28 24 6a 6a 29 0a 20 20 20 20 69 6e 63  and($jj).    inc
0520: 72 20 6a 6a 0a 20 20 20 20 73 65 74 20 3a 3a 73  r jj.    set ::s
0530: 71 6c 20 5b 73 75 62 73 74 20 24 3a 3a 66 75 7a  ql [subst $::fuz
0540: 7a 79 6f 70 74 73 28 2d 74 65 6d 70 6c 61 74 65  zyopts(-template
0550: 29 5d 0a 20 20 20 20 66 6f 72 65 61 63 68 20 7b  )].    foreach {
0560: 72 63 20 72 65 73 7d 20 5b 63 61 74 63 68 73 71  rc res} [catchsq
0570: 6c 20 22 24 3a 3a 73 71 6c 22 5d 20 7b 7d 0a 20  l "$::sql"] {}. 
0580: 20 20 20 69 66 20 7b 24 72 63 3d 3d 30 7d 20 7b     if {$rc==0} {
0590: 0a 20 20 20 20 20 20 64 6f 5f 6d 61 6c 6c 6f 63  .      do_malloc
05a0: 5f 74 65 73 74 20 24 74 65 73 74 6e 61 6d 65 2d  _test $testname-
05b0: 24 69 69 20 2d 73 71 6c 62 6f 64 79 20 24 3a 3a  $ii -sqlbody $::
05c0: 73 71 6c 20 2d 73 71 6c 70 72 65 70 20 24 3a 3a  sql -sqlprep $::
05d0: 70 72 65 70 0a 20 20 20 20 7d 20 65 6c 73 65 20  prep.    } else 
05e0: 7b 0a 20 20 20 20 20 20 69 6e 63 72 20 69 69 20  {.      incr ii 
05f0: 2d 31 0a 20 20 20 20 7d 0a 20 20 7d 0a 7d 0a 0a  -1.    }.  }.}..
0600: 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  #---------------
0610: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0620: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0630: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0640: 2d 0a 23 20 54 65 73 74 20 6d 61 6c 6c 6f 63 20  -.# Test malloc 
0650: 66 61 69 6c 75 72 65 20 64 75 72 69 6e 67 20 70  failure during p
0660: 61 72 73 69 6e 67 20 28 61 6e 64 20 65 78 65 63  arsing (and exec
0670: 75 74 69 6f 6e 29 20 6f 66 20 61 20 66 75 7a 7a  ution) of a fuzz
0680: 69 6c 79 20 0a 23 20 67 65 6e 65 72 61 74 65 64  ily .# generated
0690: 20 65 78 70 72 65 73 73 69 6f 6e 73 2e 0a 23 0a   expressions..#.
06a0: 64 6f 5f 66 75 7a 7a 79 5f 6d 61 6c 6c 6f 63 5f  do_fuzzy_malloc_
06b0: 74 65 73 74 20 66 75 7a 7a 79 5f 6d 61 6c 6c 6f  test fuzzy_mallo
06c0: 63 2d 31 20 2d 74 65 6d 70 6c 61 74 65 20 7b 53  c-1 -template {S
06d0: 65 6c 65 63 74 20 5b 45 78 70 72 5d 7d 0a 64 6f  elect [Expr]}.do
06e0: 5f 66 75 7a 7a 79 5f 6d 61 6c 6c 6f 63 5f 74 65  _fuzzy_malloc_te
06f0: 73 74 20 66 75 7a 7a 79 5f 6d 61 6c 6c 6f 63 2d  st fuzzy_malloc-
0700: 32 20 2d 74 65 6d 70 6c 61 74 65 20 7b 5b 53 65  2 -template {[Se
0710: 6c 65 63 74 5d 7d 0a 0a 73 65 74 20 3a 3a 53 51  lect]}..set ::SQ
0720: 4c 50 52 45 50 20 7b 0a 20 20 42 45 47 49 4e 3b  LPREP {.  BEGIN;
0730: 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c  .    CREATE TABL
0740: 45 20 61 62 63 28 61 2c 20 62 2c 20 63 29 3b 0a  E abc(a, b, c);.
0750: 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45      CREATE TABLE
0760: 20 64 65 66 28 61 2c 20 62 2c 20 63 29 3b 0a 20   def(a, b, c);. 
0770: 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20     CREATE TABLE 
0780: 67 68 69 28 61 2c 20 62 2c 20 63 29 3b 0a 20 20  ghi(a, b, c);.  
0790: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 61 62    INSERT INTO ab
07a0: 63 20 56 41 4c 55 45 53 28 31 2e 35 2c 20 33 2c  c VALUES(1.5, 3,
07b0: 20 27 61 20 73 68 6f 72 74 20 73 74 72 69 6e 67   'a short string
07c0: 27 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49  ');.    INSERT I
07d0: 4e 54 4f 20 64 65 66 20 56 41 4c 55 45 53 28 4e  NTO def VALUES(N
07e0: 55 4c 4c 2c 20 58 27 41 42 43 44 45 46 27 2c 20  ULL, X'ABCDEF', 
07f0: 0a 20 20 20 20 20 20 20 20 27 61 20 6c 6f 6e 67  .        'a long
0800: 65 72 20 73 74 72 69 6e 67 2e 20 4c 6f 6e 67 20  er string. Long 
0810: 65 6e 6f 75 67 68 20 74 68 61 74 20 69 74 20 64  enough that it d
0820: 6f 65 73 6e 27 27 74 20 66 69 74 20 69 6e 20 4d  oesn''t fit in M
0830: 65 6d 2e 7a 53 68 6f 72 74 27 29 3b 0a 20 20 20  em.zShort');.   
0840: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 67 68 69   INSERT INTO ghi
0850: 20 56 41 4c 55 45 53 28 7a 65 72 6f 62 6c 6f 62   VALUES(zeroblob
0860: 28 31 30 30 30 29 2c 20 27 68 65 6c 6c 6f 20 77  (1000), 'hello w
0870: 6f 72 6c 64 27 2c 20 2d 31 32 35 37 39 30 30 39  orld', -12579009
0880: 38 37 36 35 34 33 32 31 29 3b 0a 20 20 43 4f 4d  87654321);.  COM
0890: 4d 49 54 3b 0a 7d 0a 73 65 74 20 3a 3a 54 61 62  MIT;.}.set ::Tab
08a0: 6c 65 4c 69 73 74 20 20 5b 6c 69 73 74 20 61 62  leList  [list ab
08b0: 63 20 64 65 66 20 67 68 69 5d 0a 73 65 74 20 3a  c def ghi].set :
08c0: 3a 43 6f 6c 75 6d 6e 4c 69 73 74 20 5b 6c 69 73  :ColumnList [lis
08d0: 74 20 61 20 62 20 63 5d 0a 0a 64 6f 5f 66 75 7a  t a b c]..do_fuz
08e0: 7a 79 5f 6d 61 6c 6c 6f 63 5f 74 65 73 74 20 66  zy_malloc_test f
08f0: 75 7a 7a 79 5f 6d 61 6c 6c 6f 63 2d 33 20 5c 0a  uzzy_malloc-3 \.
0900: 20 20 2d 74 65 6d 70 6c 61 74 65 20 7b 5b 53 65    -template {[Se
0910: 6c 65 63 74 5d 7d 20 20 20 20 20 20 20 20 20 20  lect]}          
0920: 20 20 20 20 5c 0a 20 20 2d 73 71 6c 70 72 65 70      \.  -sqlprep
0930: 20 24 3a 3a 53 51 4c 50 52 45 50 0a 0a 66 69 6e   $::SQLPREP..fin
0940: 69 73 68 5f 74 65 73 74 0a                       ish_test.