Files
ast-project/part1/results/1/bug_f96812d5-e169-43d9-a4b0-3ebbb4b1fde8_logic.md
2026-06-24 13:47:14 +02:00

163 lines
5.2 KiB
Markdown

## Summary
<!--Explain briefly what goes wrong and explain why you believe this is a bug and not the intended behavior of SQLite (if it is not a crash).-->**No review yet**
## Minimized query
```sql
SAVEPOINT sp9924;
SAVEPOINT sp6317;
PRAGMA vdbe_addoptrace = OFF;
ATTACH DATABASE ':memory:' AS aux72;
PRAGMA query_only;
.headers on
SAVEPOINT sp5996;
PRAGMA secure_delete = OFF;
CREATE TABLE [T] (
a CLOB,
b REAL
);
INSERT INTO T VALUES (changes(),pi()), (json_patch(-(-(CAST(trim(2.718281828459045, 'xyz') AS FLOAT))), '{"key": null}'),-2.5), (3,0.0);
CREATE INDEX c
ON T(b);
SELECT * FROM T WHERE b IS NOT -2.5 AND b < 2.0;
SAVEPOINT sp5824;
CREATE TABLE main.[t1](a INTEGER PRIMARY KEY, b TEXT, c INT, d INT);
INSERT INTO t1 VALUES (CAST(CAST(json_object('k1', 1, 'k2', 1) AS MEDIUMINT) AS NONE), '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 TRIGGER IF NOT EXISTS trg_t1_5105 BEFORE UPDATE OF b ON t1 FOR EACH ROW BEGIN SELECT RAISE(FAIL, 'no'); END;
INSERT OR ROLLBACK INTO t1 VALUES ('x', 0, NULL, 'x');
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 t1;
CREATE TEMP VIEW IF NOT EXISTS v_t1_3561 AS SELECT c FROM t1;
DROP INDEX IF EXISTS t1;
INSERT INTO t1 VALUES (1, 'x', NULL, 1) ON CONFLICT(a) DO UPDATE SET a = excluded.a, b = /* ltrim({v}) */ excluded.b, c = excluded.c;
ALTER TABLE t1 ADD COLUMN extra_186 ANY COLLATE RTRIM;
DROP TRIGGER IF EXISTS t1;
VACUUM main;
SELECT TOTAL(a) FROM t1;
DROP INDEX IF EXISTS t1;
INSERT INTO t1 VALUES (NULL, NULL, NULL, NULL);
PRAGMA full_column_names;
ROLLBACK TRANSACTION TO SAVEPOINT sp5824;
RELEASE SAVEPOINT sp5824;
SELECT * FROM t1 AS a JOIN t1 AS b ON a.rowid = b.rowid;
CREATE TEMPORARY TABLE [t0](x, y, z);
SELECT -99999999999999999999999999999999999999999999999999;
SELECT * FROM sqlite_temp_master WHERE sql GLOB '000[]***';
DROP TABLE t0;
DROP TABLE IF EXISTS t0;
SELECT NTH_VALUE(y, -1) OVER (ORDER BY y GROUPS BETWEEN UNBOUNDED PRECEDING AND UNBOUNDED FOLLOWING) FROM t0;
INSERT OR ABORT INTO t1 VALUES (NULL, 0, NULL, 'x');
SELECT * FROM t1 CROSS JOIN T;
DELETE FROM t1 WHERE rowid = 94 RETURNING *;
REINDEX;
DELETE FROM T WHERE a > (SELECT AVG(a) FROM T);
CREATE TEMP VIEW IF NOT EXISTS v_t0_5386 AS SELECT y FROM t0;
INSERT INTO t0 VALUES (NULL, NULL, NULL);
WITH cte AS (SELECT * FROM t0 WHERE x IN (SELECT x FROM t0 LIMIT 5)) SELECT * FROM cte;
SELECT * FROM t0;
CREATE TEMP VIEW IF NOT EXISTS v_T_2978 AS SELECT a FROM T;
SELECT STRING_AGG(a, '|') FROM t1;
ALTER TABLE t1 RENAME TO t1_r9064;
CREATE TEMP VIEW IF NOT EXISTS v_t0_2687 AS SELECT x FROM t0;
SELECT GROUP_CONCAT(b, '|') FROM T;
SELECT * FROM t0 CROSS JOIN t1;
SELECT * FROM T;
INSERT INTO t0 VALUES (NULL, NULL, NULL);
SELECT STRING_AGG(b) FROM T;
INSERT INTO T VALUES (NULL, NULL) ON CONFLICT(a) DO UPDATE SET a = excluded.a, b = excluded.b;
DELETE FROM T WHERE a > (SELECT AVG(a) FROM T);
SELECT GROUP_CONCAT(y) FROM t0;
INSERT INTO t1 VALUES (NULL, NULL, NULL, NULL);
CREATE TEMP VIEW IF NOT EXISTS v_t0_8006 AS SELECT y FROM t0;
WITH cte(a, b, c) AS (SELECT c, c, c FROM t1) SELECT a, b, c FROM cte;
ROLLBACK TRANSACTION TO SAVEPOINT sp5996;
RELEASE SAVEPOINT sp5996;
SELECT MAX(z) FROM t0;
REINDEX;
INSERT OR REPLACE INTO T VALUES ('', NULL);
WITH a AS MATERIALIZED (SELECT * FROM t0), b AS NOT MATERIALIZED (SELECT * FROM a) SELECT * FROM b;
WITH n AS NOT MATERIALIZED (SELECT x FROM t0) SELECT * FROM n;
SELECT MIN(x) FROM t0;
SELECT NTH_VALUE(a, a) OVER (ORDER BY a ROWS BETWEEN CURRENT ROW AND UNBOUNDED FOLLOWING EXCLUDE GROUP) FROM T;
ALTER TABLE T ADD COLUMN extra_9827 FLOAT COLLATE NOCASE;
ALTER TABLE T ADD COLUMN extra_7874 DECIMAL(10,5) COLLATE RTRIM;
SELECT SUM(d) FROM t1;
INSERT INTO t0 VALUES (NULL, 1, 'x') ON CONFLICT(x) DO UPDATE SET x = excluded.x, y = excluded.y, z = excluded.z;
PRAGMA vdbe_trace = 1;
SELECT * FROM t0 WHERE (y, y) IN (SELECT y, y FROM t0);
REINDEX;
UPDATE t0 SET x = 44;
INSERT INTO t0 SELECT * FROM t0;
CREATE TEMPORARY VIEW IF NOT EXISTS v_t0_1830 AS SELECT y FROM t0;
SELECT * FROM (SELECT * FROM (SELECT * FROM t0) AS inner1) AS inner2;
SELECT * FROM T WHERE a = (SELECT a FROM T ORDER BY a LIMIT 1 OFFSET (SELECT COUNT(*) FROM T / 2));
SELECT * FROM T AS a INNER JOIN T AS b ON a.rowid = b.rowid;
INSERT INTO T DEFAULT VALUES;
ANALYZE T;
DETACH DATABASE aux72;
ALTER TABLE T DROP COLUMN a;
ROLLBACK TO sp6317;
RELEASE sp6317;
ROLLBACK TRANSACTION TO SAVEPOINT sp9924;
RELEASE SAVEPOINT sp9924;
```
## Actual output
```sql
0
secure_delete
0
a|b
3|0.0
CREATE TABLE "t2"("b","c","_ROWID_",PRIMARY KEY("b","c","_ROWID_"))WITHOUT ROWID;
WARNING: writing to an imposter table will corrupt the "t1bc" index!
b|c|_ROWID_
Braun|30|3
Wernher|10|0
von|20|2
b|c
Braun|30
Wernher|10
von|20
```
## Expectation
```sql
0
secure_delete
0
a|b
3|0.0
CREATE TABLE "t2"("b","c","_ROWID_",PRIMARY KEY("b","c","_ROWID_"))WITHOUT ROWID;
b|c|_ROWID_
Braun|30|3
Wernher|10|0
von|20|2
b|c
Braun|30
Wernher|10
von|20
```
## Flag
```
```