/ Hex Artifact Content
Login

Artifact 4eca9d345f06d5b0b0105f7a2ef9e7f22658827b:


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 31 30  lloc.test,v 1.10
01d0: 20 32 30 30 38 2f 30 38 2f 32 30 20 31 36 3a 33   2008/08/20 16:3
01e0: 35 3a 31 30 20 64 72 68 20 45 78 70 20 24 0a 0a  5:10 drh Exp $..
01f0: 73 65 74 20 74 65 73 74 64 69 72 20 5b 66 69 6c  set testdir [fil
0200: 65 20 64 69 72 6e 61 6d 65 20 24 61 72 67 76 30  e dirname $argv0
0210: 5d 0a 73 6f 75 72 63 65 20 24 74 65 73 74 64 69  ].source $testdi
0220: 72 2f 74 65 73 74 65 72 2e 74 63 6c 0a 0a 69 66  r/tester.tcl..if
0230: 63 61 70 61 62 6c 65 20 21 6d 65 6d 64 65 62 75  capable !memdebu
0240: 67 20 7b 0a 20 20 66 69 6e 69 73 68 5f 74 65 73  g {.  finish_tes
0250: 74 0a 20 20 72 65 74 75 72 6e 0a 7d 0a 0a 73 6f  t.  return.}..so
0260: 75 72 63 65 20 24 74 65 73 74 64 69 72 2f 6d 61  urce $testdir/ma
0270: 6c 6c 6f 63 5f 63 6f 6d 6d 6f 6e 2e 74 63 6c 0a  lloc_common.tcl.
0280: 73 6f 75 72 63 65 20 24 74 65 73 74 64 69 72 2f  source $testdir/
0290: 66 75 7a 7a 5f 63 6f 6d 6d 6f 6e 2e 74 63 6c 0a  fuzz_common.tcl.
02a0: 0a 69 66 20 7b 5b 69 6e 66 6f 20 65 78 69 73 74  .if {[info exist
02b0: 73 20 49 53 51 55 49 43 4b 5d 7d 20 7b 0a 20 20  s ISQUICK]} {.  
02c0: 73 65 74 20 3a 3a 52 45 50 45 41 54 53 20 32 30  set ::REPEATS 20
02d0: 0a 7d 20 65 6c 73 65 69 66 20 7b 5b 69 6e 66 6f  .} elseif {[info
02e0: 20 65 78 69 73 74 73 20 53 4f 41 4b 54 45 53 54   exists SOAKTEST
02f0: 5d 7d 20 7b 0a 20 20 73 65 74 20 3a 3a 52 45 50  ]} {.  set ::REP
0300: 45 41 54 53 20 31 30 30 0a 7d 20 65 6c 73 65 20  EATS 100.} else 
0310: 7b 0a 20 20 73 65 74 20 3a 3a 52 45 50 45 41 54  {.  set ::REPEAT
0320: 53 20 34 30 0a 7d 0a 0a 23 0a 23 20 55 73 61 67  S 40.}..#.# Usag
0330: 65 3a 20 64 6f 5f 66 75 7a 7a 79 5f 6d 61 6c 6c  e: do_fuzzy_mall
0340: 6f 63 5f 74 65 73 74 20 3c 74 65 73 74 6e 61 6d  oc_test <testnam
0350: 65 3e 20 3f 3c 6f 70 74 69 6f 6e 73 3e 3f 0a 23  e> ?<options>?.#
0360: 20 0a 23 20 20 20 20 20 2d 74 65 6d 70 6c 61 74   .#     -templat
0370: 65 0a 23 20 20 20 20 20 2d 73 71 6c 70 72 65 70  e.#     -sqlprep
0380: 0a 23 20 20 20 20 20 2d 72 65 70 65 61 74 73 0a  .#     -repeats.
0390: 23 20 20 20 20 20 0a 70 72 6f 63 20 64 6f 5f 66  #     .proc do_f
03a0: 75 7a 7a 79 5f 6d 61 6c 6c 6f 63 5f 74 65 73 74  uzzy_malloc_test
03b0: 20 7b 74 65 73 74 6e 61 6d 65 20 61 72 67 73 7d   {testname args}
03c0: 20 7b 0a 20 20 73 65 74 20 3a 3a 66 75 7a 7a 79   {.  set ::fuzzy
03d0: 6f 70 74 73 28 2d 72 65 70 65 61 74 73 29 20 24  opts(-repeats) $
03e0: 3a 3a 52 45 50 45 41 54 53 0a 20 20 73 65 74 20  ::REPEATS.  set 
03f0: 3a 3a 66 75 7a 7a 79 6f 70 74 73 28 2d 73 71 6c  ::fuzzyopts(-sql
0400: 70 72 65 70 29 20 7b 7d 0a 20 20 61 72 72 61 79  prep) {}.  array
0410: 20 73 65 74 20 3a 3a 66 75 7a 7a 79 6f 70 74 73   set ::fuzzyopts
0420: 20 24 61 72 67 73 0a 0a 20 20 73 71 6c 69 74 65   $args..  sqlite
0430: 33 5f 6d 65 6d 64 65 62 75 67 5f 66 61 69 6c 20  3_memdebug_fail 
0440: 2d 31 0a 20 20 64 62 20 63 6c 6f 73 65 0a 20 20  -1.  db close.  
0450: 66 69 6c 65 20 64 65 6c 65 74 65 20 74 65 73 74  file delete test
0460: 2e 64 62 20 74 65 73 74 2e 64 62 2d 6a 6f 75 72  .db test.db-jour
0470: 6e 61 6c 0a 20 20 73 71 6c 69 74 65 33 20 64 62  nal.  sqlite3 db
0480: 20 74 65 73 74 2e 64 62 0a 20 20 73 65 74 20 3a   test.db.  set :
0490: 3a 70 72 65 70 20 24 3a 3a 66 75 7a 7a 79 6f 70  :prep $::fuzzyop
04a0: 74 73 28 2d 73 71 6c 70 72 65 70 29 0a 20 20 65  ts(-sqlprep).  e
04b0: 78 65 63 73 71 6c 20 24 3a 3a 70 72 65 70 0a 20  xecsql $::prep. 
04c0: 20 73 65 74 20 6a 6a 20 30 0a 20 20 66 6f 72 20   set jj 0.  for 
04d0: 7b 73 65 74 20 69 69 20 30 7d 20 7b 24 69 69 20  {set ii 0} {$ii 
04e0: 3c 20 24 3a 3a 66 75 7a 7a 79 6f 70 74 73 28 2d  < $::fuzzyopts(-
04f0: 72 65 70 65 61 74 73 29 7d 20 7b 69 6e 63 72 20  repeats)} {incr 
0500: 69 69 7d 20 7b 0a 20 20 20 20 65 78 70 72 20 73  ii} {.    expr s
0510: 72 61 6e 64 28 24 6a 6a 29 0a 20 20 20 20 69 6e  rand($jj).    in
0520: 63 72 20 6a 6a 0a 20 20 20 20 73 65 74 20 3a 3a  cr jj.    set ::
0530: 73 71 6c 20 5b 73 75 62 73 74 20 24 3a 3a 66 75  sql [subst $::fu
0540: 7a 7a 79 6f 70 74 73 28 2d 74 65 6d 70 6c 61 74  zzyopts(-templat
0550: 65 29 5d 0a 20 20 20 20 23 20 70 75 74 73 20 66  e)].    # puts f
0560: 75 7a 79 79 2d 73 71 6c 3d 5c 5b 24 3a 3a 73 71  uzyy-sql=\[$::sq
0570: 6c 5c 5d 3b 20 66 6c 75 73 68 20 73 74 64 6f 75  l\]; flush stdou
0580: 74 0a 20 20 20 20 66 6f 72 65 61 63 68 20 7b 72  t.    foreach {r
0590: 63 20 72 65 73 7d 20 5b 63 61 74 63 68 73 71 6c  c res} [catchsql
05a0: 20 22 24 3a 3a 73 71 6c 22 5d 20 7b 7d 0a 20 20   "$::sql"] {}.  
05b0: 20 20 69 66 20 7b 24 72 63 3d 3d 30 7d 20 7b 0a    if {$rc==0} {.
05c0: 20 20 20 20 20 20 64 6f 5f 6d 61 6c 6c 6f 63 5f        do_malloc_
05d0: 74 65 73 74 20 24 74 65 73 74 6e 61 6d 65 2d 24  test $testname-$
05e0: 69 69 20 2d 73 71 6c 62 6f 64 79 20 24 3a 3a 73  ii -sqlbody $::s
05f0: 71 6c 20 2d 73 71 6c 70 72 65 70 20 24 3a 3a 70  ql -sqlprep $::p
0600: 72 65 70 0a 20 20 20 20 7d 20 65 6c 73 65 20 7b  rep.    } else {
0610: 0a 20 20 20 20 20 20 69 6e 63 72 20 69 69 20 2d  .      incr ii -
0620: 31 0a 20 20 20 20 7d 0a 20 20 7d 0a 7d 0a 0a 23  1.    }.  }.}..#
0630: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0640: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0650: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0660: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0670: 0a 23 20 54 65 73 74 20 6d 61 6c 6c 6f 63 20 66  .# Test malloc f
0680: 61 69 6c 75 72 65 20 64 75 72 69 6e 67 20 70 61  ailure during pa
0690: 72 73 69 6e 67 20 28 61 6e 64 20 65 78 65 63 75  rsing (and execu
06a0: 74 69 6f 6e 29 20 6f 66 20 61 20 66 75 7a 7a 69  tion) of a fuzzi
06b0: 6c 79 20 0a 23 20 67 65 6e 65 72 61 74 65 64 20  ly .# generated 
06c0: 65 78 70 72 65 73 73 69 6f 6e 73 2e 0a 23 0a 64  expressions..#.d
06d0: 6f 5f 66 75 7a 7a 79 5f 6d 61 6c 6c 6f 63 5f 74  o_fuzzy_malloc_t
06e0: 65 73 74 20 66 75 7a 7a 79 5f 6d 61 6c 6c 6f 63  est fuzzy_malloc
06f0: 2d 31 20 2d 74 65 6d 70 6c 61 74 65 20 7b 53 65  -1 -template {Se
0700: 6c 65 63 74 20 5b 45 78 70 72 5d 7d 0a 64 6f 5f  lect [Expr]}.do_
0710: 66 75 7a 7a 79 5f 6d 61 6c 6c 6f 63 5f 74 65 73  fuzzy_malloc_tes
0720: 74 20 66 75 7a 7a 79 5f 6d 61 6c 6c 6f 63 2d 32  t fuzzy_malloc-2
0730: 20 2d 74 65 6d 70 6c 61 74 65 20 7b 5b 53 65 6c   -template {[Sel
0740: 65 63 74 5d 7d 0a 0a 73 65 74 20 3a 3a 53 51 4c  ect]}..set ::SQL
0750: 50 52 45 50 20 7b 0a 20 20 42 45 47 49 4e 3b 0a  PREP {.  BEGIN;.
0760: 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45      CREATE TABLE
0770: 20 61 62 63 28 61 2c 20 62 2c 20 63 29 3b 0a 20   abc(a, b, c);. 
0780: 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20     CREATE TABLE 
0790: 64 65 66 28 61 2c 20 62 2c 20 63 29 3b 0a 20 20  def(a, b, c);.  
07a0: 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 67    CREATE TABLE g
07b0: 68 69 28 61 2c 20 62 2c 20 63 29 3b 0a 20 20 20  hi(a, b, c);.   
07c0: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 61 62 63   INSERT INTO abc
07d0: 20 56 41 4c 55 45 53 28 31 2e 35 2c 20 33 2c 20   VALUES(1.5, 3, 
07e0: 27 61 20 73 68 6f 72 74 20 73 74 72 69 6e 67 27  'a short string'
07f0: 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e  );.    INSERT IN
0800: 54 4f 20 64 65 66 20 56 41 4c 55 45 53 28 4e 55  TO def VALUES(NU
0810: 4c 4c 2c 20 58 27 41 42 43 44 45 46 27 2c 20 0a  LL, X'ABCDEF', .
0820: 20 20 20 20 20 20 20 20 27 61 20 6c 6f 6e 67 65          'a longe
0830: 72 20 73 74 72 69 6e 67 2e 20 4c 6f 6e 67 20 65  r string. Long e
0840: 6e 6f 75 67 68 20 74 68 61 74 20 69 74 20 64 6f  nough that it do
0850: 65 73 6e 27 27 74 20 66 69 74 20 69 6e 20 4d 65  esn''t fit in Me
0860: 6d 2e 7a 53 68 6f 72 74 27 29 3b 0a 20 20 20 20  m.zShort');.    
0870: 49 4e 53 45 52 54 20 49 4e 54 4f 20 67 68 69 20  INSERT INTO ghi 
0880: 56 41 4c 55 45 53 28 7a 65 72 6f 62 6c 6f 62 28  VALUES(zeroblob(
0890: 31 30 30 30 29 2c 20 27 68 65 6c 6c 6f 20 77 6f  1000), 'hello wo
08a0: 72 6c 64 27 2c 20 2d 31 32 35 37 39 30 30 39 38  rld', -125790098
08b0: 37 36 35 34 33 32 31 29 3b 0a 20 20 43 4f 4d 4d  7654321);.  COMM
08c0: 49 54 3b 0a 7d 0a 73 65 74 20 3a 3a 54 61 62 6c  IT;.}.set ::Tabl
08d0: 65 4c 69 73 74 20 20 5b 6c 69 73 74 20 61 62 63  eList  [list abc
08e0: 20 64 65 66 20 67 68 69 5d 0a 73 65 74 20 3a 3a   def ghi].set ::
08f0: 43 6f 6c 75 6d 6e 4c 69 73 74 20 5b 6c 69 73 74  ColumnList [list
0900: 20 61 20 62 20 63 5d 0a 0a 64 6f 5f 66 75 7a 7a   a b c]..do_fuzz
0910: 79 5f 6d 61 6c 6c 6f 63 5f 74 65 73 74 20 66 75  y_malloc_test fu
0920: 7a 7a 79 5f 6d 61 6c 6c 6f 63 2d 33 20 5c 0a 20  zzy_malloc-3 \. 
0930: 20 2d 74 65 6d 70 6c 61 74 65 20 7b 5b 53 65 6c   -template {[Sel
0940: 65 63 74 5d 7d 20 20 20 20 20 20 20 20 20 20 20  ect]}           
0950: 20 20 20 5c 0a 20 20 2d 73 71 6c 70 72 65 70 20     \.  -sqlprep 
0960: 24 3a 3a 53 51 4c 50 52 45 50 0a 0a 66 69 6e 69  $::SQLPREP..fini
0970: 73 68 5f 74 65 73 74 0a                          sh_test.