ast-project/part1/results/2/bug_93f03234-93dd-4d7d-ac2c-0c6de137e51c_logic.md

Summary

**No review yet**

Minimized query

ATTACH DATABASE ':memory:' AS aux30;
.log ON
SAVEPOINT sp6089;
ATTACH DATABASE '' || (':memory:') AS aux56;
CREATE TABLE main.t1(a INTEGER PRIMARY KEY, b TEXT, c INT, d INT);
INSERT INTO t1 VALUES (1, ('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
PRAGMA ignore_check_constraints = 0;
DETACH DATABASE aux56;
INSERT INTO t1 SELECT * FROM t1;
PRAGMA recursive_triggers = OFF;
CREATE TRIGGER IF NOT EXISTS trg_t1_1212 AFTER UPDATE OF c ON t1 BEGIN SELECT RAISE(ROLLBACK, 'rb'); END;
RELEASE sp6089;
CREATE TRIGGER IF NOT EXISTS trg_t1_4991 BEFORE UPDATE OF a ON t1 FOR EACH ROW BEGIN SELECT RAISE(ABORT, 'abort'); END;
INSERT INTO t1 VALUES (1, 'x', 'x', 'x') ON CONFLICT(a) DO UPDATE SET a = excluded.a, b = excluded.b, c = excluded.c;
ALTER TABLE t1 ADD COLUMN extra_6256 CLOB DEFAULT '';
WITH RECURSIVE cnt(x) AS (VALUES(1) UNION ALL SELECT x+1 FROM cnt WHERE x<1) SELECT * FROM cnt;
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;
SELECT * FROM t1 NATURAL JOIN t1;
ALTER TABLE t1 RENAME COLUMN d TO d_r9145;
INSERT AND FAIL INTO t1 VALUES ('x', 'x', '', -7);
INSERT INTO t1 VALUES (NULL, NULL, NULL, NULL);
UPDATE t1 SET d = d + 1 RETURNING *;
WITH RECURSIVE fib(a,b) AS (VALUES(1,1) UNION ALL SELECT b, a+b FROM fib WHERE b<1000) SELECT a FROM fib;
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;
INSERT INTO T1 VALUES ('x', 'x') ON CONFLICT(A) DO UPDATE SET A = excluded.A, X = excluded.X;
ALTER TABLE T1 DROP COLUMN A;
CREATE TEMP  VIEW IF NOT EXISTS v_t1_7233 AS SELECT c FROM t1;
DETACH DATABASE aux30;
UPDATE T1 SET A = A + 1 WHERE rowid = 1;
INSERT INTO T1 SELECT * FROM T1;
CREATE TRIGGER IF NOT EXISTS trg_t1_9997 BEFORE UPDATE ON t1 FOR EACH ROW BEGIN SELECT RAISE(ROLLBACK, 'rb'); END;
DELETE FROM T1 WHERE 0;
INSERT INTO t1 DEFAULT VALUES;
ALTER TABLE T2 RENAME TO T2_r5714;
DELETE FROM T2 WHERE 1;
SELECT * FROM T2 WHERE Y > ALL (SELECT Y FROM T2);
SELECT * FROM T2;

Actual output

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|1
von|20|2
Braun|30
Wernher|10
von|20

Expectation

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

Flag