sl@0: # 2007 Dec 12
sl@0: #
sl@0: # The author disclaims copyright to this source code. In place of
sl@0: # a legal notice, here is a blessing:
sl@0: #
sl@0: #    May you do good and not evil.
sl@0: #    May you find forgiveness for yourself and forgive others.
sl@0: #    May you share freely, never taking more than you give.
sl@0: #
sl@0: #***********************************************************************
sl@0: #
sl@0: # This file contains test cases for stressing database
sl@0: # changes that involve side effects that delete rows from
sl@0: # the table being changed.  Ticket #2832 shows that in
sl@0: # older versions of SQLite that behavior was implemented
sl@0: # incorrectly and resulted in corrupt database files.
sl@0: #
sl@0: # $Id: sidedelete.test,v 1.2 2008/08/04 03:51:24 danielk1977 Exp $
sl@0: #
sl@0: 
sl@0: set testdir [file dirname $argv0]
sl@0: source $testdir/tester.tcl
sl@0: 
sl@0: # The sequence table is created to store a sequence of integers
sl@0: # starting with 1.  This is used to reinitialize other tables
sl@0: # as part of other tests.
sl@0: #
sl@0: do_test sidedelete-1.1 {
sl@0:   execsql {
sl@0:     CREATE TABLE sequence(a INTEGER PRIMARY KEY);
sl@0:     INSERT INTO sequence VALUES(1);
sl@0:     INSERT INTO sequence VALUES(2);
sl@0:   }
sl@0:   for {set i 0} {$i<8} {incr i} {
sl@0:     execsql {
sl@0:       INSERT INTO sequence SELECT a+(SELECT max(a) FROM sequence) FROM sequence;
sl@0:     }
sl@0:   }
sl@0:   execsql {SELECT count(*) FROM sequence}
sl@0: } {512}
sl@0: 
sl@0: # Make a series of changes using an UPDATE OR REPLACE and a
sl@0: # correlated subquery.  This would cause database corruption
sl@0: # prior to the fix for ticket #2832.
sl@0: #
sl@0: do_test sidedelete-2.0 {
sl@0:   execsql {
sl@0:     CREATE TABLE t1(a PRIMARY KEY, b);
sl@0:     CREATE TABLE chng(a PRIMARY KEY, b);
sl@0:     SELECT count(*) FROM t1;
sl@0:     SELECT count(*) FROM chng;
sl@0:   }
sl@0: } {0 0}
sl@0: for {set i 2} {$i<=100} {incr i} {
sl@0:   set n [expr {($i+2)/2}]
sl@0:   do_test sidedelete-2.$i.1 {
sl@0:     execsql {
sl@0:       DELETE FROM t1;
sl@0:       INSERT INTO t1 SELECT a, a FROM sequence WHERE a<=$i;
sl@0:       DELETE FROM chng;
sl@0:       INSERT INTO chng SELECT a*2, a*2+1 FROM sequence WHERE a<=$i/2;
sl@0:       UPDATE OR REPLACE t1 SET a=(SELECT b FROM chng WHERE a=t1.a);
sl@0:       SELECT count(*), sum(a) FROM t1;
sl@0:     }
sl@0:   } [list $n [expr {$n*$n-1}]]
sl@0:   integrity_check sidedelete-2.$i.2
sl@0: }
sl@0: 
sl@0: # This will cause stacks leaks but not database corruption prior
sl@0: # to the #2832 fix.
sl@0: #
sl@0: do_test sidedelete-3.0 {
sl@0:   execsql {
sl@0:      DROP TABLE t1;
sl@0:      CREATE TABLE t1(a PRIMARY KEY);
sl@0:      SELECT * FROM t1;
sl@0:   }
sl@0: } {}
sl@0: for {set i 1} {$i<=100} {incr i} {
sl@0:   set n [expr {($i+1)/2}]
sl@0:   do_test sidedelete-3.$i.1 {
sl@0:     execsql {
sl@0:       DELETE FROM t1;
sl@0:       INSERT INTO t1 SELECT a FROM sequence WHERE a<=$i;
sl@0:       UPDATE OR REPLACE t1 SET a=a+1;
sl@0:       SELECT count(*), sum(a) FROM t1;
sl@0:     }
sl@0:   } [list $n [expr {$n*($n+1)}]]
sl@0:   integrity_check sidedelete-3.$i.2
sl@0: }
sl@0: 
sl@0: finish_test