SQLite

View Ticket
Login
2019-12-09
15:52 Fixed ticket [bd8c2806]: PRAGMA integrity_check does not terminate on table with generated column plus 6 other changes (artifact: 260f1651 user: drh)
15:52
Fix the NOT NULL verification logic in PRAGMA integrity_check so that it works for generated columns whose value is the result of a comparison operator. Ticket [bd8c280671ba44a7] CVE-2019-19646. (check-in: f3b39c71 user: drh tags: trunk)
2019-12-08
00:23 New ticket [bd8c2806] PRAGMA integrity_check does not terminate on table with generated column. (artifact: 1f693d5e user: mrigger)

Ticket Hash: bd8c280671ba44a767d61c4aa0bb5aedc8ad72dd
Title: PRAGMA integrity_check does not terminate on table with generated column
Status: Fixed Type: Code_Defect
Severity: Important Priority: Immediate
Subsystem: Unknown Resolution: Fixed
Last Modified: 2019-12-09 15:52:20
Version Found In: 3.30.0
User Comments:
mrigger added on 2019-12-08 00:23:08:

Consider the following test case:

CREATE TABLE t0 (c0, c1 NOT NULL GENERATED ALWAYS AS (c0 = 0));
INSERT INTO t0(c0) VALUES (0);
PRAGMA integrity_check; -- hangs

The PRAGMA integrity_check unexpectedly does not terminate.