Fix a case where a corrupt stat4 record could go unrecognized due to integer overflow.
[sqlite.git] / test / tkt1512.test
bloba2c39dbe48602453a3f61afb399af86420aaf288
1 # 2005 September 19
3 # The author disclaims copyright to this source code.  In place of
4 # a legal notice, here is a blessing:
6 #    May you do good and not evil.
7 #    May you find forgiveness for yourself and forgive others.
8 #    May you share freely, never taking more than you give.
10 #***********************************************************************
11 # This file implements regression tests for SQLite library.
13 # This file implements tests to verify that ticket #1512 is
14 # fixed.  
17 set testdir [file dirname $argv0]
18 source $testdir/tester.tcl
20 ifcapable {!vacuum || !autovacuum} {
21   finish_test
22   return
24 if {[db one {PRAGMA auto_vacuum}]} {
25   finish_test
26   return
29 do_test tkt1512-1.1 {
30   execsql {
31     CREATE TABLE t1(a,b);
32     INSERT INTO t1 VALUES(1,2);
33     INSERT INTO t1 VALUES(3,4);
34     SELECT * FROM t1
35   }
36 } {1 2 3 4}
37 do_test tkt1512-1.2 {
38   file size test.db
39 } {2048}
40 do_test tkt1512-1.3 {
41   execsql {
42     DROP TABLE t1;
43   }
44   file size test.db
45 } {2048}
46 do_test tkt1512-1.4 {
47   execsql {
48     VACUUM;
49   }
50   file size test.db
51 } {1024}
54 finish_test