Files
ast-project/part1/results/1/bug_86a97b4a-f2e4-45d5-a2fa-31e57048584a_logic.md
2026-06-24 13:47:14 +02:00

229 lines
7.7 KiB
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
SAVEPOINT sp6832;
.stats
ATTACH DATABASE ':memory:' AS aux65;
-- PRAGMA pragma_list;
SAVEPOINT sp5608;
.check
PRAGMA fullsync = ON;
PRAGMA mmap_size;
PRAGMA synchronous;
.connection close
CREATE TABLE t1(a INT, b INT);
INSERT INTO t1(a,b) VALUES(NULL,null),(null,null),(x'28b8c864227a',null);
CREATE UNIQUE INDEX t1b ON t1(abs(b));
SELECT quote(a), quote(b), '|' FROM t1 GROUP BY a, abs(b);
CREATE TRIGGER IF NOt EXISTS trg_t1_5402 AFTER UPDATE OF a ON t1 BEGIN SELECT RAISE(ABORT, 'abort'); END;
CREATE TABLE [T1] (
A VARCHAR(nullif(-(-(sinh(-(-(abs(-9223372036854775807)))))), 'same')),
X VARCHAR(10),
PRIMARY KEY (A, X),
UNIQUE (X)
);
CREATE TABLE T2 (
A VARCHAR(20),
Y VARCHAR(10) UNIQUE,
PRIMARY KEY (A, Y)
);
INSERT INTO T1 VALUES ('a', 'm');
INSERT INTO T1 VALUES ('b', 'n');
INSERT INTO T2 VALUES ('b', 'k');
SELECT A FROM T1 UNION ALL SELECT A FROM T2 ORDER BY A;
ALTER TABLE t1 RENAME TO t1_r4147;
SELECT COUNT(*) FROM t1;
ANALYZE;
SELECT * FROM t1 AS a INNER JOIN t1 AS b ON a.rowid = b.rowid;
PRAGMA legacy_alter_table = TRUE;
ALTER TABLE t1 ADD COLUMN extra_7898 DOUBLE PRECISION COLLATE NOCASE;
WITH RECURSIVE r AS (SELECT b FROM t1 WHERE b IS NOT NULL UNION ALL SELECT b FROM r WHERE b > 1 LIMIT 10) SELECT * FROM r;
SELECT MIN(b) FROM t1;
PRAGMA vdbe_listing = YES;
SELECT * FROM T2 t1 JOIN (SELECT * FROM T2) AS sub ON t1.Y = sub.Y;
ROLLBACK TO sp5608;
RELEASE sp5608;
CREATE TEMPORARY TABLE t0(x, y, z);
SELECT -99999999999999999999999999999999999999999999999999;
SELECT * FROM sqlite_temp_master WHERE sql GLOB '000[]***';
DROP TABLE t0;
ANALYZE;
SAVEPOINT sp5608;
.check
PRAGMA fullsync = ON;
PRAGMA mmap_size;
PRAGMA synchronous;
.connection close
CREATE TABLE t1(a INT, b INT);
INSERT INTO t1(a,b) VALUES(NULL,null),(null,null),(x'28b8c864227a',null);
CREATE UNIQUE INDEX t1b ON t1(abs(b));
SELECT quote(a), quote(b), '|' FROM t1 GROUP BY a, abs(b);
CREATE TRIGGER IF NOT EXISTS trg_t1_5402 AFTER UPDATE OF a ON t1 BEGIN SELECT RAISE(ABORT, 'abort'); END;
CREATE TABLE T1 (
A VARCHAR(20),
X VARCHAR(10),
PRIMARY KEY (A, X),
UNIQUE (X)
);
CREATE TABLE T2 (
A VARCHAR(20),
Y VARCHAR(10) UNIQUE,
PRIMARY KEY (A, Y)
);
INSERT INTO T1 VALUES ('a', 'm');
INSERT INTO T1 VALUES ('b', 'n');
INSERT INTO T2 VALUES ('b', 'k');
SELECT A FROM T1 UNION ALL SELECT A FROM T2 ORDER BY A;
ALTER TABLE t1 RENAME TO t1_r4147;
SELECT COUNT(*) FROM t1;
ANALYZE;
SELECT * FROM t1 AS a INNER JOIN t1 AS b ON a.rowid = b.rowid;
PRAGMA legacy_alter_table = TRUE;
ALTER TABLE t1 ADD COLUMN extra_7898 DOUBLE PRECISION COLLATE NOCASE;
WITH RECURSIVE r AS (SELECT b FROM t1 WHERE b IS NOT NULL UNION ALL SELECT b FROM r WHERE b > 1 LIMIT 10) SELECT * FROM r;
SELECT MIN(b) FROM t1;
PRAGMA vdbe_listing = YES;
SELECT * FROM T2 t1 JOIN (SELECT * FROM T2) AS sub ON t1.Y = sub.Y;
ROLLBACK TO sp5608;
RELEASE sp5608;
CREATE TEMPORARY TABLE t0(x, y, z);
SELECT -99999999999999999999999999999999999999999999999999;
SELECT * FROM sqlite_temp_master WHERE sql GLOB '000[]***';
DROP TABLE t0;
ANALYZE;
SAVEPOINT sp5608;
.check
PRAGMA fullsync = ON;
PRAGMA mmap_size;
PRAGMA synchronous;
.connection close
CREATE TABLE t1(a INT, b INT);
INSERT INTO t1(a,b) VALUES(NULL,null),(null,null),(x'28b8c864227a',null);
CREATE UNIQUE INDEX t1b ON t1(abs(b));
SELECT quote(a), quote(b), '|' FROM t1 GROUP BY a, abs(b);
CREATE TRIGGER IF NOT EXISTS trg_t1_5402 AFTER UPDATE OF a ON t1 BEGIN SELECT RAISE(ABORT, 'abort'); END;
CREATE TABLE T1 (
A VARCHAR(20),
X VARCHAR(10),
PRIMARY KEY (A, X),
UNIQUE (X)
);
CREATE TABLE T2 (
A VARCHAR(20),
Y VARCHAR(10) UNIQUE,
PRIMARY KEY (A, Y)
);
INSERT INTO T1 VALUES ('a', 'm');
INSERT INTO T1 VALUES ('b', 'n');
INSERT INTO T2 VALUES ('b', 'k');
SELECT A FROM T1 UNION ALL SELECT A FROM T2 ORDER BY A;
ALTER TABLE t1 RENAME TO t1_r4147;
SELECT COUNT(*) FROM t1;
ANALYZE;
SELECT * FROM t1 AS a INNER JOIN t1 AS b ON a.rowid = b.rowid;
PRAGMA legacy_alter_table = TRUE;
ALTER TABLE t1 ADD COLUMN extra_7898 DOUBLE PRECISION COLLATE NOCASE;
WITH RECURSIVE r AS (SELECT b FROM t1 WHERE b IS NOT NULL UNION ALL SELECT b FROM r WHERE b > 1 LIMIT 10) SELECT * FROM r;
SELECT MIN(b) FROM t1;
PRAGMA vdbe_listing = YES;
SELECT * FROM T2 t1 JOIN (SELECT * FROM T2) AS sub ON t1.Y = sub.Y;
ROLLBACK TO sp5608;
RELEASE sp5608;
CREATE TEMPORARY TABLE t0(x, y, z);
SELECT -99999999999999999999999999999999999999999999999999;
SELECT * FROM sqlite_temp_master WHERE sql GLOB '000[]***';
DROP TABLE t0;
ANALYZE;
DETACH DATABASE aux65;
ANALYZE t0;
CREATE TRIGGER IF NOT EXISTS trg_t1_664 BEFORE DELETE ON t1 FOR EACH ROW BEGIN INSERT INTO t1(b) VALUES (NULL); END;
INSERT INTO t1 DEFAULT VALUES;
ANALYZE;
CREATE VIEW IF NOT EXISTS v_t0_3180 AS SELECT z FROM t0;
INSERT INTO T1 VALUES (1, NULL) ON CONFLICT(A) DO UPDATE SET A = excluded.A, X = excluded.X;
REINDEX t1;
INSERT INTO T1 DEFAULT VALUES;
INSERT OR FAIL INTO T1 VALUES (-5, '');
SELECT SUM(b) FROM t1;
WITH a AS (SELECT a FROM t1), b AS (SELECT a FROM a), c AS (SELECT a FROM b) SELECT * FROM c;
INSERT INTO T2 SELECT * FROM T2;
INSERT INTO T1 VALUES (NULL, 1) ON CONFLICT(A) DO UPDATE SET A = excluded.A, X = excluded.X;
UPDATE T2 SET Y = json_object('k', Y) WHERE rowid = 1;
ALTER TABLE T1 DROP COLUMN A;
SELECT * FROM t0 AS a JOIN T2 AS b ON a.rowid = b.rowid;
ROLLBACK TRANSACTION TO SAVEPOINT sp6832;
RELEASE SAVEPOINT sp6832;
SELECT * FROM T2 WHERE Y IN (SELECT Y FROM T2 WHERE 1/0 = 0);SELECT * FROM T2 WHERE Y IN (SELECT Y FROM T2 LIMIT -1);
INSERT INTO T1 SELECT * FROM T1;
INSERT INTO T2 DEFAULT VALUES;
```
## Actual output
```sql
Memory Used: 62608 (max 62608) bytes
Number of Outstanding Allocations: 122 (max 122)
Number of Pcache Overflow Bytes: 4104 (max 4104) bytes
Largest Allocation: 48000 bytes
Largest Pcache Allocation: 4104 bytes
Lookaside Slots Used: 33 (max 37)
Successful lookaside attempts: 37
Lookaside failures due to size: 0
Lookaside failures due to OOM: 0
Pager Heap Usage: 4904 bytes
Page cache hits: 0
Page cache misses: 0
Page cache writes: 0
Page cache spills: 0
Schema Heap Usage: 0 bytes
Statement Heap/Lookaside Usage: 0 bytes
Bytes received by read(): 10409
Bytes sent to write(): 0
Read() system calls: 13
Write() system calls: 0
Bytes read from storage: 0
Bytes written to storage: 0
Cancelled write bytes: 0
```
## Expectation
```sql
Memory Used: 63416 (max 63416) bytes
Number of Outstanding Allocations: 132 (max 132)
Number of Pcache Overflow Bytes: 4104 (max 4104) bytes
Largest Allocation: 48000 bytes
Largest Pcache Allocation: 4104 bytes
Lookaside Slots Used: 49 (max 53)
Successful lookaside attempts: 53
Lookaside failures due to size: 0
Lookaside failures due to OOM: 0
Pager Heap Usage: 4904 bytes
Page cache hits: 0
Page cache misses: 0
Page cache writes: 0
Page cache spills: 0
Temporary data spilled to disk: 0
Schema Heap Usage: 0 bytes
Statement Heap/Lookaside Usage: 0 bytes
Bytes received by read(): 11185
Bytes sent to write(): 0
Read() system calls: 14
Write() system calls: 0
Bytes read from storage: 0
Bytes written to storage: 0
Cancelled write bytes: 0
```
## Flag
```
```