Files
ast-project/part1/results/3/bug_cccdbcbf-1e04-4c71-9391-d83cb06a1059_logic.md
2026-06-24 13:47:14 +02:00

4.1 KiB

Summary

**No review yet**

Minimized query

.version
.exit -10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
BEGIN DEFERRED TRANSACTION;
CREATE TABLE T (
  a BIGINT PRECISION,
  b REAL
);
INSERT INTO T VALUES (tanh((abs(random() % 100) * 1)),1.5), (2,-2.5), (3,0.0);
CREATE INDEX c
ON T(b);
SELECT * FROM T WHERE b >= -2.5 AND b < 2.0;
PRAGMA count_changes = TRUE;
SAVEPOINT sp7022;
-- .headers on

ATTACH DATABASE ':memory:' AS aux8;
.version
.check
PRAGMA journal_size_limit = hex(randomblob(julianday((-(-(-(-((0 + 10))))) * 1))));
BEGIN TRANSACTION;
PRAGMA fullsync = NO;
PRAGMA secure_delete = NO;
ATTACH DATABASE '' || (':memory:') AS aux70;
SAVEPOINT sp6394;
creATE VIRTUAL TABLE t0 USING fts3("x", "y", "z");
DROP TABLE t0;
ROLLBACK TO sp6394;
RELEASE sp6394;
DETACH DATABASE  aux70;
CREATE TABLE T (
  A VARCHAR(15) PRIMARY KEY,
  B VARCHAR(30) NOT NULL,
  C BIGINT UNIQUE
);
INSERT INTO T VALUES ('a', 'x', -9223372036854775808);
INSERT INTO T VALUES ('b', 'y', -1000000);
INSERT INTO T VALUES ('c', 'y', 0);
INSERT INTO T VALUES ('d', 'y', 42);
INSERT INTO T VALUES ('e', 'x', 9223372036854775807);
INSERT INTO T VALUES ('f',  'z', 2147483648);
SELECT * FROM T WHERE +C > 0 ORDER BY C DESC;
ROLLBACK;
PRAGMA count_changes = OFF;
INSERT INTO T VALUES (NULL, 1, 'x') ON CONFLICT(A) DO UPDATE SET A = excluded.A, B = excluded.B, C = excluded.C;
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 T;
ALTER TABLE T RENAME TO T_r2797;
SELECT * FROM T WHERE C < ALL (SELECT C FROM T);
SELECT STRING_AGG(B, '|') FROM T;
DETACH DATABASE aux8;
ROLLBACK TRANSACTION TO SAVEPOINT sp7022;
RELEASE SAVEPOINT sp7022;
PRAGMA query_only = FALSE;
CREATE TEMPORARY  VIEW IF NOT EXISTS v_T_4274 AS SELECT C FROM T;
ALTER TABLE T RENAME COLUMN B TO B_r861;
ANALYZE T;
ALTER TABLE T ADD COLUMN extra_9205 INT2;
DROP TRIGGER IF EXISTS T;
ROLLBACK;
INSERT INTO T VALUES (NULL, NULL, NULL);
CREATE TEMPORARY  VIEW IF NOT EXISTS v_T_2428 AS SELECT C FROM T;
INSERT INTO T VALUES (NULL, NULL, NULL);
CREATE TRIGGER IF NOT EXISTS trg_T_4417 AFTER UPDATE ON T FOR EACH ROW BEGIN SELECT RAISE(ABORT, 'abort'); END;
REINDEX;
DROP INDEX IF EXISTS T;
SELECT * FROM (SELECT * FROM T) AS sub;
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 T;
DELETE FROM T WHERE rowid = 83;

Actual output

1
SQLite 3.39.0 2022-05-10 23:28:12 764b71267e0b31ff7eaf2a0def7526a1a02dce4d5b456dea060d97ed342ealt1
gcc-14.2.0

Expectation

1
SQLite 3.51.1 2025-11-28 17:28:25 281fc0e9afc38674b9b0991943b9e9d1e64c6cbdb133d35f6f5c87ff6af38a88
zlib version 1.3.1
gcc-11.4.0 (64-bit)

Flag

-cmd "SELECT 1;"