Files
ast-project/part1/results/2/bug_fdadfb9b-bfa8-49fc-9725-4de40edc1473_logic.md
2026-06-24 13:47:14 +02:00

65 lines
1.2 KiB
Markdown
Raw Permalink Blame History

This file contains invisible Unicode characters
This file contains invisible Unicode characters that are indistinguishable to humans but may be processed differently by a computer. 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
ATTACH DATABASE ':memory:' AS aux77;
CREATE TABLE T (
a INTEGER,
b REAL
);
INSERT INTO T VALUES (x'a0111a6d16e129cab6a8620c20e85f7c',1.5), (2,-7.25), (3,0.0);
SELECT a,b FROm T WHERE NOT NOT (a >= 2) ORDER BY b;
REINDEX T;
DETACH DATABASE aux77;
ANALYZE T;
INSERT INTO T VALUES (NULL, NULL);
DELETE FROM T WHERE a IS NULL;
INSERT INTO T DEFAULT VALUES;
INSERT INTO T SELECT * FROM T;
REINDEX T;
UPDATE T SET a = CURRENT_TIMESTAMP WHERE a IS NOT NULL;
SELECT * FROM T WHERE EXISTS (SELECT 1 FROM T WHERE EXISTS (SELECT 1 FROM T));
ANALYZE T;
```
## Actual output
```sql
2|-7.25
3|0.0
 má)ʶ¨b è_||1.5
2026-05-15 11:38:21|1.5
2026-05-15 11:38:21|-7.25
2026-05-15 11:38:21|0.0
|
2026-05-15 11:38:21|1.5
2026-05-15 11:38:21|-7.25
2026-05-15 11:38:21|0.0
|
```
## Expectation
```sql
2|-7.25
3|0.0
 ^Q^Zm^)ʶ¨b^L è_||1.5
2026-05-15 11:38:21|1.5
2026-05-15 11:38:21|-7.25
2026-05-15 11:38:21|0.0
|
2026-05-15 11:38:21|1.5
2026-05-15 11:38:21|-7.25
2026-05-15 11:38:21|0.0
|
```
## Flag
```
```