Files
ast-project/part1/results/3/bug_05e58dee-6b75-4aca-a70c-2f73604da5f9_logic.md
2026-06-24 13:47:14 +02:00

92 lines
2.0 KiB
Markdown
Raw Permalink Blame History

This file contains ambiguous Unicode characters
This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.
## 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
BEGIN DEFERRED;
CREATE TABLE t0 (c0, c1 NOT NULL DEFAULT x'36bf036c468fa1a358c1f1926eb427', c2, PRIMARY KEY (c0, c1));
INSERT INTO t0(c2) VALUES (NULL), (NULL);
INSERT INTO t0(c2) VALUES('a');
SELECT DISTINCT * FROM t0 WHERE NULL IS t0.c0;
SELECT * FROM t0 WHERE (( (0 IS NOT FALSE) OR NOT (0 IS FALSE OR (t0.c0 = 1)) ) IS 0);
SELECT ((0 IS NOT FALSE) OR NOT (0 IS FALSE OR (t0.c0 = 1)) ) IS 0 FROM t0;
SELECT ( (0 IS NOT FALSE) OR NOT (0 IS 0 OR (t0.c0 = 1)) ) IS 0 FROM t0;
SELECT ((0 IS NOT FALSE) OR NOT (0 IS FALSE OR (t0.c0 = 1)) ) FROM t0;
SELECT NOT (0 IS FALSE OR (t0.c0 = 1)) FROM t0;
SELECT * FROM t0 AS a FULL JOIN t0 AS b ON a.rowid = b.rowid;
COMMIT;
SELECT * FROM t0;
DELETE FROM t0 WHERE rowid = 35 RETURNING *;
INSERT INTO t0 SELECT * FROM t0;
ALTER TABLE t0 RENAME COLUMN c0 TO c0_r2848;
CREATE TRIGGER IF NOT EXISTS trg_t0_9604 AFTER UPDATE ON t0 FOR EACH ROW BEGIN INSERT INTO t0(c2) VALUES (NULL); END;
INSERT INTO t0 DEFAULT VALUES;
SELECT * FROM t0 WHERE c2 IN (SELECT c2 FROM t0 LIMIT 0);
```
## Actual output
```sql
|6¿lF¡£XÁñ’n´'|
|6¿lF¡£XÁñ’n´'|a
|6¿lF¡£XÁñ’n´'|
|6¿lF¡£XÁñ’n´'|
|6¿lF¡£XÁñ’n´'|a
1
1
1
1
1
1
0
0
0
0
0
0
|6¿lF¡£XÁñ’n´'|||6¿lF¡£XÁñ’n´'|
|6¿lF¡£XÁñ’n´'|||6¿lF¡£XÁñ’n´'|
|6¿lF¡£XÁñ’n´'|a||6¿lF¡£XÁñ’n´'|a
|6¿lF¡£XÁñ’n´'|
|6¿lF¡£XÁñ’n´'|
|6¿lF¡£XÁñ’n´'|a
```
## Expectation
```sql
|6¿^ClF¡£XÁñ’n´'|
|6¿^ClF¡£XÁñ’n´'|a
|6¿^ClF¡£XÁñ’n´'|
|6¿^ClF¡£XÁñ’n´'|
|6¿^ClF¡£XÁñ’n´'|a
1
1
1
1
1
1
0
0
0
0
0
0
|6¿^ClF¡£XÁñ’n´'|||6¿^ClF¡£XÁñ’n´'|
|6¿^ClF¡£XÁñ’n´'|||6¿^ClF¡£XÁñ’n´'|
|6¿^ClF¡£XÁñ’n´'|a||6¿^ClF¡£XÁñ’n´'|a
|6¿^ClF¡£XÁñ’n´'|
|6¿^ClF¡£XÁñ’n´'|
|6¿^ClF¡£XÁñ’n´'|a
```
## Flag
```
```