AryaWu/sqlite

1#2# 2007 May 103#4# The author disclaims copyright to this source code.  In place of5# a legal notice, here is a blessing:6#7#    May you do good and not evil.8#    May you find forgiveness for yourself and forgive others.9#    May you share freely, never taking more than you give.10#11#***********************************************************************12#13# This file tests malloc failures in concert with fuzzy SQL generation.14#15# $Id: fuzz_malloc.test,v 1.10 2008/08/20 16:35:10 drh Exp $16 17set testdir [file dirname $argv0]18source $testdir/tester.tcl19 20source $testdir/malloc_common.tcl21source $testdir/fuzz_common.tcl22 23if {[info exists G(isquick)]} {24  set ::REPEATS 2025} elseif {[info exists G(issoak)]} {26  set ::REPEATS 10027} else {28  set ::REPEATS 4029}30 31#32# Usage: do_fuzzy_malloc_test <testname> ?<options>?33# 34#     -template35#     -sqlprep36#     -repeats37#     38proc do_fuzzy_malloc_test {testname args} {39  set ::fuzzyopts(-repeats) $::REPEATS40  set ::fuzzyopts(-sqlprep) {}41  array set ::fuzzyopts $args42 43  sqlite3_memdebug_fail -144  db close45  delete_file test.db test.db-journal46  sqlite3 db test.db47  set ::prep $::fuzzyopts(-sqlprep)48  execsql $::prep49  set jj 050  for {set ii 0} {$ii < $::fuzzyopts(-repeats)} {incr ii} {51    expr srand($jj)52    incr jj53    set ::sql [subst $::fuzzyopts(-template)]54    # puts fuzyy-sql=\[$::sql\]; flush stdout55    foreach {rc ::fmtres} [catchsql "$::sql"] {}56    if {$rc==0} {57      set nErr1 [set_test_counter errors]58      do_faultsim_test $testname-$ii -faults oom* -body {59        execsql $::sql60      } -test {61        if {$testrc && $testresult!="datatype mismatch"} { 62          faultsim_test_result {0 {}}63        }64      }65      if {[set_test_counter errors]>$nErr1} {66        puts "Previous fuzzy-sql=\[$::sql\]"67        flush stdout68      }69    } else {70      incr ii -171    }72  }73}74 75#----------------------------------------------------------------76# Test malloc failure during parsing (and execution) of a fuzzily 77# generated expressions.78#79do_fuzzy_malloc_test fuzzy_malloc-1 -template {Select [Expr]}80do_fuzzy_malloc_test fuzzy_malloc-2 -template {[Select]}81 82set ::SQLPREP {83  BEGIN;84    CREATE TABLE abc(a, b, c);85    CREATE TABLE def(a, b, c);86    CREATE TABLE ghi(a, b, c);87    INSERT INTO abc VALUES(1.5, 3, 'a short string');88    INSERT INTO def VALUES(NULL, X'ABCDEF', 89        'a longer string. Long enough that it doesn''t fit in Mem.zShort');90    INSERT INTO ghi VALUES(zeroblob(1000), 'hello world', -1257900987654321);91  COMMIT;92}93set ::TableList  [list abc def ghi]94set ::ColumnList [list a b c]95 96do_fuzzy_malloc_test fuzzy_malloc-3 \97  -template {[Select]}              \98  -sqlprep $::SQLPREP99 100finish_test101