Files
ast-project/part1/results/1/bug_d303356e-fd7c-42ca-a52f-eaac7448c9f0_logic.md
2026-06-24 13:47:14 +02:00

2.7 KiB

Summary

**No review yet**

Minimized query

CREATE TABLE T (
  a INTEGER,
  b REAL
);
INSERT INTO T VALUES (1,1.5), (2,-2.5), (3,0.0);
CREATE INDEX c
ON T(b);
SELECT * FROM T WHERE b >= -2.5 AND b < 2.0;
SAVEPOINT sp5824;
CREATE TABLE main.t1(a INTEGER PRIMARY KEY, b TEXT, c INT, d INT);
INSERT INTO t1 VALUES (CAST(CAST(json_object('k1', 1, 'k2', 1) AS MEDIUMINT) AS NONE), 'Wernher', 10, 100);
INSERT INTO t1 VALUES (2, 'von', 20, 200);
INSERT INTO t1 VALUES (3, 'Braun', 30, 300);

CREATE INDEX t1bc ON t1(b, c);

PRAGMA writable_schema = ON;

.imposter t1bc t2

SELECT * FROM t2;

SELECT b, c FROM t1 ORDER BY b, c;

.quit
CREATE TRIGGER IF NOT EXISTS trg_t1_5105 BEFORE UPDATE OF b ON t1 FOR EACH ROW BEGIN SELECT RAISE(FAIL, 'no'); END;
INSERT OR ROLLBACK INTO t1 VALUES ('x', 0, NULL, 'x');
SELECT COUNT(*) FILTER (WHERE b IS NOT NULL), SUM(rowid) FILTER (WHERE +b > 0), COUNT(*) FILTER (WHERE 1=0), COUNT(*) FILTER (WHERE 1=1), COUNT(*) FILTER (WHERE NULL), AVG(b) FILTER (WHERE b > 0 AND b < 100), COUNT(*) FILTER (WHERE typeof(b) = "text") FROM t1;
CREATE TEMP  VIEW IF NOT EXISTS v_t1_3561 AS SELECT c FROM t1;
DROP INDEX IF EXISTS t1;
INSERT INTO t1 VALUES (1, 'x', NULL, 1) ON CONFLICT(a) DO UPDATE SET a = excluded.a, b = excluded.b, c = excluded.c;
ALTER TABLE t1 ADD COLUMN extra_186 ANY COLLATE RTRIM;
DROP TRIGGER IF EXISTS t1;
VACUUM main;
SELECT TOTAL(a) FROM t1;
DROP INDEX IF EXISTS t1;
INSERT INTO t1 VALUES (NULL, NULL, NULL, NULL);
PRAGMA full_column_names;
ROLLBACK TRANSACTION TO SAVEPOINT sp5824;
RELEASE SAVEPOINT sp5824;
SELECT * FROM t1 AS a RIGHT JOIN t1 AS b ON a.rowid = b.rowid;
CREATE TEMPORARY TABLE t0(x, y, z);
SELECT -99999999999999999999999999999999999999999999999999;
SELECT * FROM sqlite_temp_master WHERE sql GLOB '000[]***';
DROP TABLE t0;
DROP TABLE IF EXISTS t0;
SELECT NTH_VALUE(y, -1) OVER (ORDER BY y GROUPS BETWEEN UNBOUNDED PRECEDING AND UNBOUNDED FOLLOWING) FROM t0;
INSERT OR ABORT INTO t1 VALUES (NULL, 0, NULL, 'x');
SELECT * FROM t1 CROSS JOIN T;
DELETE FROM t1 WHERE rowid = 94 RETURNING *;
REINDEX;
DELETE FROM T WHERE a > (SELECT AVG(a) FROM T);

Actual output

2|-2.5
3|0.0
1|1.5
CREATE TABLE "t2"("b","c","_ROWID_",PRIMARY KEY("b","c","_ROWID_"))WITHOUT ROWID;
WARNING: writing to an imposter table will corrupt the "t1bc" index!
Braun|30|3
Wernher|10|0
von|20|2
Braun|30
Wernher|10
von|20

Expectation

2|-2.5
3|0.0
1|1.5
CREATE TABLE "t2"("b","c","_ROWID_",PRIMARY KEY("b","c","_ROWID_"))WITHOUT ROWID;
Braun|30|3
Wernher|10|0
von|20|2
Braun|30
Wernher|10
von|20

Flag