# 2008 Feb 1
#
# The author disclaims copyright to this source code. In place of
# a legal notice, here is a blessing:
#
#    May you do good and not evil.
#    May you find forgiveness for yourself and forgive others.
#    May you share freely, never taking more than you give.
#
#***********************************************************************
#
# This file is to test that ticket #2920 is fixed.
#
# $Id: tkt2920.test,v 1.1 2008/02/02 02:48:52 drh Exp $
#

set testdir [file dirname $argv0]
source $testdir/tester.tcl

# Create a database file that is full.
#
do_test tkt2920-1.1 {
  db eval {
    PRAGMA page_size=1024;
    PRAGMA max_page_count=40;
    PRAGMA auto_vacuum=0;
    CREATE TABLE filler (fill);
  }
  file size test.db
} {2048}
do_test tkt2920-1.2 {
  db eval BEGIN
  for {set i 0} {$i<34} {incr i} {
    db eval {INSERT INTO filler VALUES(randomblob(1024))}
  }
  db eval COMMIT
}  {}

# Try to add a single new page to the full database.  We get
# a disk full error.  But this does not corrupt the database.
#
do_test tkt2920-1.3 {
  db eval BEGIN
  catchsql {
     INSERT INTO filler VALUES(randomblob(1024))
  }
} {1 {database or disk is full}}
integrity_check tkt2920-1.4

# Increase the maximum size of the database file by 1 page,
# but then try to add a two-page record.  This also fails.
#
do_test tkt2920-1.5 {
  db eval {PRAGMA max_page_count=41}
  catchsql {
     INSERT INTO filler VALUES(randomblob(2048))
  }
} {1 {database or disk is full}}
integrity_check tkt2920-1.6

# Increase the maximum size of the database by one more page.
# This time the insert works.
#
do_test tkt2920-1.7 {
  db eval {PRAGMA max_page_count=42}
  catchsql {
     INSERT INTO filler VALUES(randomblob(2048))
  }
} {0 {}}
integrity_check tkt2920-1.8

# The previous errors cancelled the transaction.
#
do_test tkt2920-1.9 {
  catchsql {COMMIT}
} {1 {cannot commit - no transaction is active}}

finish_test