ast-project/part1/results/2/bug_7cdef70c-c0bc-4b70-908e-6d1bb165c8ad_logic.md

Summary

**No review yet**

Minimized query

.print https://yewtu.be/watch?v=dQw4w9WgXcQ
CREATE TABLE t1(a INTEGER PRIMARY KEY, b TEXT, c INT, d INT);
INSERT INTO t1 VALUES (CAST(1 AS CHARINT), '' || ('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 VIRTUAL TABLE t0 USING fts4("x", "y", "z");
DROP TABLE t0;
.backup main output.db
PRAGMA wal_checkpoint('RESTART');
CREATE TABLE T1 (
  a INTEGER,
  b REAL
);
CREATE TABLE T2 (
  a INTEGER,
  b REAL
);
INSERT INTO T1 VALUES (abs('123'),date(9223372036854775808, 'start of month'));
INSERT INTO T2 VALUES (1,-1.0),(2,9e999);
INSERT OR REPLACE INTO T1
WITH _m AS MATERIALIZED (SELECT * FROM T2) SELECT * FROM _m;
SELECT * FROM T1;
SELECT * FROM T1 WHERE NOT NOT (EXISTS (SELECT 1 FROM T1 WHERE b = NULL)) ;
SELECT GROUP_CONCAT(a, '|') FROM T1;
INSERT INTO T2 VALUES (NULL, NULL);
SELECT * FROM (SELECT b, COUNT(*) FROM T1 GROUP BY b) AS sub;
INSERT OR FAIL INTO T1 VALUES (NULL, 0);
DELETE FROM T2 WHERE 1 RETURNING *;
ALTER TABLE T1 RENAME COLUMN b TO b_r6786;
SELECT * FROM T2 WHERE (a) IN (SELECT a FROM T2);
DELETE FROM t1 WHERE 1 RETURNING *;
SELECT MIN(c) FROM t1;
SELECT * FROM t1 WHERE EXISTS (SELECT 1 FROM t1);
CREATE  INDEX IF NOT EXISTS idx_T2_3017 ON T2(b) WHERE b IS NOT NULL;
REINDEX t1;
WITH cte AS (SELECT * FROM T2) SELECT (SELECT COUNT(*) FROM cte) AS total, * FROM cte LIMIT 1;

Actual output

https://yewtu.be/watch?v=dQw4w9WgXcQ
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

https://yewtu.be/watch?v=dQw4w9WgXcQ
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