Files
ast-project/part1/results/2/bug_41782f71-2a36-4747-9aa9-efc47b61fcd1_logic.md
2026-06-24 13:47:14 +02:00

4.8 KiB

Summary

**No review yet**

Minimized query

ATTACH DATABASE ':memory:' AS aux5;
.stats vmstep
PRAGMA wal_checkpoint('PASSIVE');
.prompt 'IPA eli isopropanoli on loistava puhdistusaine joka irrataa'
.width -(-((x'ff77' + jsonb_array(CAST(pi() AS DOUB))))) hex(unlikely(replace(x'449094d71496db26fb', '', 'x'))) NULL
CREATE TABLE t1(a INTEGER PRIMARY KEY, b TEXT, c INT, d INT);
-- PRAGMA empty_result_callbacks;

INSERT INTO t1 VALUES (CAST(nullif(-(-(1 ->> '$[0]')), NULL) AS CHAR(10)), '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

WITH _m AS MATERIALIZED (SELECT * FROM T2) SELECT * FROM t2;
SELECT b, c FROM t1 ORDER BY b, c;
.quit
.dump
CREATE TABLE T (
  a INTEGER,
  b REAL
);
INSERT INTO T VALUES (cosh(1),1.5), (2,-2.5), (3,0.0);
CREATE INDEX c
ON T(b);
SELECT * FROM T WHERE NOT NOT (NOT NOT (NOT b >= -2.5 AND b < 2.0)) ;
REINDEX T;
UPDATE T SET b = CURRENT_TIMESTAMP WHERE 1 RETURNING *;
INSERT INTO T SELECT * FROM T;
SELECT * FROM T WHERE EXISTS (SELECT 1 FROM T WHERE +a > 0);
CREATE TABLE T (
  A VARCHAR(10) PRIMARY KEY,
  B VARCHAR(15),
  C BIGINT,
  UNIQUE (B, C)
);
INSERT INTO T VALUES ('a', 'p', -9223372036854775808);
INSERT INTO T VALUES ('b', 'q', 4000);
INSERT INTO T VALUES ('c', 'r', 1700);
INSERT INTO T VALUES ('d', 'r', 9223372036854775807);
INSERT INTO T VALUES ('e', 's', 0);
SELECT A, C FROM T WHERE +C > 1200 AND C < 9999999999 ORDER BY C;
WITH m AS MATERIALIZED (SELECT * FROM T) SELECT m.a FROM m NATURAL JOIN m AS m2 ON m.a = m2.a;
ALTER TABLE T ADD COLUMN extra_7396 FLOA COLLATE NOCASE;
ALTER TABLE T ADD COLUMN extra_5763 BIGINT DEFAULT NULL;
SELECT * FROM T WHERE a IN (SELECT DISTINCT a FROM T);
DELETE FROM T WHERE +rowid = 52;
DELETE FROM T WHERE 1;
SELECT STRING_AGG(b) FROM T;
CREATE UNIQUE  INDEX IF NOT EXISTS idx_T_150 ON T((a + 1));
ALTER TABLE T RENAME COLUMN B TO B_r1410;
ALTER TABLE t1 DROP COLUMN a;
INSERT INTO t1 VALUES (NULL, NULL, NULL, NULL);
ALTER TABLE t1 DROP COLUMN d;
VACUUM;
INSERT INTO T SELECT * FROM T;
CREATE UNIQUE  INDEX IF NOT EXISTS idx_T_2079 ON T(C COLLATE NOCASE) WHERE C IS NOT NULL;
INSERT INTO T VALUES (1, 1, 'x') ON CONFLICT(A) DO UPDATE SET A = excluded.A, B = excluded.B, C = excluded.C;
SELECT * FROM t1;
ANALYZE;
CREATE TABLE T1 (
  A VARCHAR(15) PRIMARY KEY,
  B VARCHAR(30) NOT NULL UNIQUE
);
CREATE TABLE _m (
  A VARCHAR(10) PRIMARY KEY,
  X VARCHAR(15) NOT NULL,
  C BIGINT,
  FOREIGN KEY (X) REFERENCES T1(A)
);
INSERT INTO T1 VALUES ('p', 'x');
INSERT INTO T1 VALUES ('q', 'y');
INSERT INTO T2 VALUES ('a', 'p', 9223372036854775807);
INSERT INTO T2 VALUES ('b', 'q', -9223372036854775808);
SELECT X, SUM(C) AS D, COUNT(*) AS E FROM T2 GROUP BY X;
ANALYZE T2;
VACUUM main;
ALTER TABLE T ADD COLUMN extra_276 INT8 COLLATE RTRIM;
DROP TABLE IF EXISTS t1;
SELECT COUNT(*) FILTER (WHERE C IS NOT NULL), SUM(rowid) FILTER (WHERE C > 0), COUNT(*) FILTER (WHERE 1=0), COUNT(*) FILTER (WHERE 1=1), COUNT(*) FILTER (WHERE NULL), AVG(C) FILTER (WHERE C > 0 AND C < 100), COUNT(*) FILTER (WHERE typeof(C) = "text") FROM T2;

SELECT COUNT(*) FROM T;
INSERT INTO T2 VALUES (NULL, NULL, NULL);
ALTER TABLE T RENAME COLUMN A TO A_r7435;
SELECT SUM(a) OVER (ORDER BY a) FROM t1;
SELECT * FROM T2;
CREATE TEMP  VIEW IF NOT EXISTS v_T1_1714 AS SELECT B FROM T1;
REINDEX;
CREATE TABLE T (
  a INTEGER,
  b REAL,
  c REAL
);
INSERT INTO T VALUES (1,1.5,10.0), (2,-2.5,20.0), (3,-9e999,30.0);
SELECT * FROM T WHERE b < 2.0 ORDER BY b;
SELECT * FROM T1 AS a LEFT OUTER JOIN T AS b ON a.rowid = b.rowid;
SELECT STRING_AGG(A, '|') FROM T2;
REINDEX t1;
INSERT INTO T VALUES (1, NULL, NULL) ON CONFLICT(a) DO UPDATE SET a = excluded.a, b = excluded.b, c = excluded.c;
INSERT OR REPLACE INTO t1 VALUES (0, 7, 4, -10);
CREATE TEMP  VIEW IF NOT EXISTS v_T_4522 AS SELECT
b FROM T;
PRAGMA defer_foreign_keys = TRUE;
ALTER TABLE T RENAME COLUMN c TO c_r3156;
SELECT * FROM T AS a FULL JOIN T1 AS b ON a.rowid = b.rowid;
DETACH DATABASE aux5;

SELECT COUNT(*) FROM t1;
INSERT INTO t1 VALUES (NULL, NULL, NULL, NULL);

Actual output

0|-1|-1
VM-steps: 5
VM-steps: 30
VM-steps: 29
VM-steps: 16
VM-steps: 16
VM-steps: 56
VM-steps: 4
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
VM-steps: 21
Braun|30
Wernher|10
von|20
VM-steps: 19

Expectation

0|-1|-1
VM-steps: 6
VM-steps: 30
VM-steps: 29
VM-steps: 16
VM-steps: 16
VM-steps: 56
VM-steps: 5
CREATE TABLE "t2"("b","c","_ROWID_",PRIMARY KEY("b","c","_ROWID_"))WITHOUT ROWID;
Braun|30|3
Wernher|10|1
von|20|2
VM-steps: 21
Braun|30
Wernher|10
von|20
VM-steps: 19

Flag