ast-project/part1/results/2/bug_ae6c64ff-4b98-4c72-b05f-109e3994f7f9_logic.md

Summary

**No review yet**

Minimized query

PRAGMA cell_size_check;
.parameter
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;
ALTER TABLE T1 ADD COLUMN extra_1823 FLOAT UNIQUE;

Actual output

0
.parameter CMD ...       Manage SQL parameter bindings
   clear                   Erase all bindings
   init                    Initialize the TEMP table that holds bindings
   list                    List the current parameter bindings
   set PARAMETER VALUE     Given SQL parameter PARAMETER a value of VALUE
                           PARAMETER should start with one of: $ : @ ?
   unset PARAMETER         Remove PARAMETER from the binding table
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

0
.parameter CMD ...       Manage SQL parameter bindings
   clear                   Erase all bindings
   init                    Initialize the TEMP table that holds bindings
   list                    List the current parameter bindings
   set PARAMETER VALUE     Given SQL parameter PARAMETER a value of VALUE
                           PARAMETER should start with one of: $ : @ ?
   unset PARAMETER         Remove PARAMETER from the binding table
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