ast-project/part1/results/3/bug_1a8044ce-e16f-4809-9c38-a16243421b10_logic.md

Summary

**No review yet**

Minimized query

PRAGMA secure_delete = TRUE;
PRAGMA synchronous = 'EXTRA';
ATTACH DATABASE ':memory:' AS aux3;
SAVEPOINT sp3642;
PRAGMA vdbe_debug = NO;
SELECT atanh(randomblob(0))x0ACB29BM205381;
SELECT sqlite_compileoption_used('我的天你是怎么了');
SELECT 1 >> -999999999999999999999999999;
SELECT sqlite_compileoption_get($1);
SELECT sqlite_version();
PRAGMA recursive_triggers = -2173336511320358554;
PRAGMA cache_size;
.cd bugs
PRAGMA encoding=UTF16le;
CREATE TABLE tkt3376(a COLLATE nocase PRIMARY KEY);
INSERT INTO tkt3376 VALUES('abc');
INSERT INTO tkt3376 VALUES('ABX');
SELECT DISTINCT a FROM tkt3376;
WITH cte(x) AS (SELECT a FROM tkt3376) SELECT x FROM cte;
RELEASE sp3642;
PRAGMA temp_store_directory = "/tmp";
PRAGMA data_store_directory = "/tmp";
DELETE FROM tkt3376 WHERE 1;
INSERT INTO tkt3376 VALUES (NULL);
UPDATE tkt3376 SET a = CURRENT_TIMESTAMP WHERE 1 RETURNING *;
DETACH DATABASE aux3;
WITH cte AS (SELECT a, COUNT(*) FROM tkt3376 GROUP BY a) SELECT * FROM cte;
WITH cte AS (SELECT 1 AS x) SELECT x + 0.5 FROM cte;
REINDEX tkt3376;
SELECT * FROM tkt3376 AS a FULL JOIN tkt3376 AS b ON a.rowid = b.rowid;
SELECT * FROM tkt3376;
SELECT MIN(a) FROM tkt3376;
CREATE TABLE T (
  a INTEGER,
  b REAL,
  c REAL
);
INSERT INTO T VALUES (1,2.0,10.5), (1,-3.5,20.25), (2,9e999,-1.0);
WITH d AS (SELECT a,SUM(b*c) AS e FROM T GROUP BY a) SELECT * FROM d;
INSERT INTO T VALUES (NULL, NULL, NULL);
SELECT * FROM T WHERE (a) IN (SELECT a FROM T);
CREATE  INDEX IF NOT EXISTS idx_T_8734 ON T(a);
DROP TABLE IF EXISTS tkt3376;
VACUUM;

Actual output

1

0
0
ATOMIC_INTRINSICS=1
3.39.0
-2000
abc
ABX
abc
ABX
2026-05-15 11:46:00
2026-05-15 11:46:00|1
1.5
2026-05-15 11:46:00|2026-05-15 11:46:00
2026-05-15 11:46:00
2026-05-15 11:46:00
1|-49.875
2|-Inf
1|2.0|10.5
1|-3.5|20.25
2|Inf|-1.0

Expectation

1

0
0
ATOMIC_INTRINSICS=1
3.51.1
-2000
abc
ABX
abc
ABX
2026-05-15 11:46:00
2026-05-15 11:46:00|1
1.5
2026-05-15 11:46:00|2026-05-15 11:46:00
2026-05-15 11:46:00
2026-05-15 11:46:00
1|-49.875
2|-Inf
1|2.0|10.5
1|-3.5|20.25
2|Inf|-1.0

Flag