ast-project/part1/results/3/bug_78c7fdba-0ee7-4147-b0d2-1b0924ed70a2_logic.md

Summary

**No review yet**

Minimized query

PRAGMA legacy_file_format;
SAVEPOINT sp8726;
.shell pwd
SAVEPOINT sp6087;
CREATE TABLE t1(a INTEGER PRIMARY KEY, b TEXT, c INT, d INT);
INSERT INTO t1 VALUES ((trunc(-2147483647) * 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
CREATE TABLE T (
  a INTEGER,
  b TEXT,
  c REAL
);
INSERT INTO T VALUES (1,'a',1.25), (2,'b',-3.5), (3,'c',9e999);
WITH d AS (SELECT * FROM T) SELECT * FROM d WHERE c > 0;
CREATE  INDEX IF NOT EXISTS idx_t1_1739 ON t1(lower(d)) WHERE d > 0;
RELEASE sp6087;
VACUUM;
ALTER TABLE t1 RENAME COLUMN d TO d_r6958;
WITH cte AS (SELECT d, AVG(d) AS avg_val FROM t1 GROUP BY d HAVING AVG(d) > 0) SELECT * FROM cte;
WITH cte(a, b) AS (VALUES(1, "a"),(2, "b"),(3, "c")) SELECT * FROM cte;
DROP INDEX IF EXISTS T;
SELECT * FROM T AS a LEFT JOIN T AS b ON a.rowid = b.rowid;

SELECT COUNT(*) FROM t1;
ROLLBACK TRANSACTION TO SAVEPOINT sp8726;
RELEASE SAVEPOINT sp8726;
CREATE UNIQUE  INDEX IF NOT EXISTS idx_t1_7522 ON t1(lower(d));
INSERT INTO t1 VALUES (NULL, NULL, 1, 1) ON CONFLICT(a) DO UPDATE SET a = excluded.a, b = excluded.b, c = excluded.c;
INSERT OR IGNORE INTO t1 VALUES (NULL, 0, '', 'x');

Actual output

/fuzzer
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|-2147483647
von|20|2
Braun|30
Wernher|10
von|20

Expectation

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

Flag