SQLite

The following test case results in an error "database disk image is malformed", although the database does not seem to be corrupted:

<pre>
CREATE TABLE t0(c0);
CREATE VIRTUAL TABLE vt0 USING fts5(c0);
BEGIN TRANSACTION;
INSERT INTO vt0(c0) VALUES (NULL);
ALTER TABLE t0 ADD COLUMN c5 REAL;
INSERT INTO vt0(vt0) VALUES('integrity-check'); -- unexpected: database disk image is malformed
</pre>

A new test case for this same problem was provided on the SQLite mailing
list on 2019-11-18.  Thanks to "king lion", a Korean student who found this
new test case using a fuzzer.  Note, however, that the problem has already been
fixed in the 3.30.1 release.

<blockquote><verbatim>
BEGIN;
CREATE TABLE t1(a);
ALTER TABLE t1 ADD c CHECK (b>c);
PRAGMA writable_schema=on;
INSERT INTO t1 VALUES(2,3);
</verbatim></blockquote>