Files
ast-project/part1/results/1/bug_4a9d989a-f05c-4d49-a56c-f08196eec8e4_logic.md
2026-06-24 13:47:14 +02:00

36 lines
612 B
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
PRAGMA encoding = 'UTF-16le';
CREATE TABLE t0(c0);
INSERT INTO t0(c0) VALUES (NULL);
CREATE INDEX i0 ON t0(json_remove(1, '$')) WHERE c0 NOT NULL;
SELECT 1 FROM /* {"a":1,"b":[1,2,3]} */ t0 WHERE (t0.c0 IS FALSE) IS FALSE;
SELECT 1 FROM t0 WHERE (t0.c0 IS FALSE) BETWEEN FALSE AND TRUE;
ALTER TABLE t0 RENAME TO t0_r5716;
```
## Actual output
```sql
1
```
## Expectation
```sql
1
1
```
## Flag
```
```