Files
ast-project/part1/results/2/bug_caa66460-9c89-4340-b2f4-42dfd872e9f0_logic.md
2026-06-24 13:47:14 +02:00

56 lines
1019 B
Markdown

## Summary
<!--Explain briefly what goes wrong and explain why you believe this is a bug and not the intended behavior of SQLite (if it is not a crash).-->**No review yet**
## Minimized query
```sql
ATTACH DATABASE ':memory:' AS aux57;
.import corrupt001.db main
BEGIN DEFERRED TRANSACTION;
CREATE TABLE t0(c0);
INSERT INTO t0(c0) VALUES (NULL);
CREATE INDEX i0 ON t0(-(-(json_extract((1 + 0), '$.key')))) WHERE c0 NOT NULL;
SELECT 1 FROM t0 WHERE (t0.c0 IS FALSE) IS FALSE;
SELECT 1 FROM t0 WHERE (t0.c0 IS FALSE) BETWEEN FALSE AND TRUE;
UPDATE t0 SET c0 = 'x' WHERE c0 BETWEEN 0 AND 100 RETURNING *;
ANALYZE t0;
SELECT * FROM t0 WHERE c0 IN (SELECT c0 FROM t0 ORDER BY c0 LIMIT 1 OFFSET 1000);
END;
ANALYZE;
SELECT * FROM t0 AS a INNER JOIN t0 AS b ON a.rowid = b.rowid;
SELECT * FROM t0;
CREATE TEMP VIEW IF NOT EXISTS v_t0_2416 AS SELECT c0 FROM t0;
SELECT COUNT(*) FROM t0;
DETACH DATABASE aux57;
VACUUM main;
```
## Actual output
```sql
1
|
1
```
## Expectation
```sql
1
1
|
1
```
## Flag
```
```