admin/ast-project
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
main
ast-project/part1/results/3/bug_098c2e56-3c31-4fa1-9e3b-9fe05f1e6e52_logic.md
T
admin fd930e15cb ---
2026-06-24 13:47:14 +02:00

297 lines
6.1 KiB
Markdown
Raw Permalink Blame History

## 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
.stats vmstep
.open employee.db
ATTACH DATABASE ':memory:' AS aux72;
SAVEPOINT sp2695;
PRAGMA full_column_names = NO;
PRAGMA cache_spill = TRUE;
PRAGMA writable_schema = YES;
.timeout
CREATE VIRTUAL TABLE t0 USING fts4("x", "y", "z");
DROP TABLE t0;
ROLLBACK TRANSACTION TO SAVEPOINT sp2695;
RELEASE SAVEPOINT sp2695;
DETACH DATABASE aux72;
ATTACH DATABASE ':memory:' AS aux72;
SAVEPOINT sp2695;
PRAGMA full_column_names = NO;
PRAGMA cache_spill = TRUE;
PRAGMA writable_schema = YES;
.timeout
CREATE VIRTUAL TABLE t0 USING fts4("x", "y", "z");
DROP TABLE t0;
ROLLBACK TRANSACTION TO SAVEPOINT sp2695;
RELEASE SAVEPOINT sp2695;
DETACH DATABASE aux72;
ATTACH DATABASE ':memory:' AS aux72;
SAVEPOINT sp2695;
PRAGMA full_column_names = NO;
PRAGMA cache_spill = TRUE;
PRAGMA writable_schema = YES;
.timeout
CREATE VIRTUAL TABLE t0 USING fts4("x", "y", "z");
DROP TABLE t0;
ROLLBACK TRANSACTION TO SAVEPOINT sp2695;
RELEASE SAVEPOINT sp2695;
DETACH DATABASE aux72;
ATTACH DATABASE ':memory:' AS aux72;
SAVEPOINT sp2695;
PRAGMA full_column_names = NO;
PRAGMA cache_spill = TRUE;
PRAGMA writable_schema = YES;
.timeout
CREATE VIRTUAL TABLE t0 USING fts4("x", "y", "z");
DROP TABLE t0;
ROLLBACK TRANSACTION TO SAVEPOINT sp2695;
RELEASE SAVEPOINT sp2695;
DETACH DATABASE aux72;
ATTACH DATABASE ':memory:' AS aux72;
SAVEPOINT sp2695;
PRAGMA full_column_names = NO;
PRAGMA cache_spill = TRUE;
PRAGMA writable_schema = YES;
.timeout
CREATE VIRTUAL TABLE t0 USING fts4("x", "y", "z");
DROP TABLE t0;
ROLLBACK TRANSACTION TO SAVEPOINT sp2695;
RELEASE SAVEPOINT sp2695;
DETACH DATABASE aux72;
```
## Actual output
```sql
.stats vmstep
.open employee.db
ATTACH DATABASE ':memory:' AS aux72;
VM-steps: 7
SAVEPOINT sp2695;
VM-steps: 3
PRAGMA full_column_names = NO;
VM-steps: 4
PRAGMA cache_spill = TRUE;
VM-steps: 3
PRAGMA writable_schema = YES;
VM-steps: 4
.timeout
CREATE VIRTUAL TABLE t0 USING fts4("x", "y", "z");
VM-steps: 31
DROP TABLE t0;
VM-steps: 458
ROLLBACK TRANSACTION TO SAVEPOINT sp2695;
VM-steps: 3
RELEASE SAVEPOINT sp2695;
VM-steps: 2
DETACH DATABASE aux72;
VM-steps: 7
ATTACH DATABASE ':memory:' AS aux72;
VM-steps: 7
SAVEPOINT sp2695;
VM-steps: 3
PRAGMA full_column_names = NO;
VM-steps: 4
PRAGMA cache_spill = TRUE;
VM-steps: 3
PRAGMA writable_schema = YES;
VM-steps: 4
.timeout
CREATE VIRTUAL TABLE t0 USING fts4("x", "y", "z");
VM-steps: 31
DROP TABLE t0;
VM-steps: 458
ROLLBACK TRANSACTION TO SAVEPOINT sp2695;
VM-steps: 3
RELEASE SAVEPOINT sp2695;
VM-steps: 2
DETACH DATABASE aux72;
VM-steps: 7
ATTACH DATABASE ':memory:' AS aux72;
VM-steps: 7
SAVEPOINT sp2695;
VM-steps: 3
PRAGMA full_column_names = NO;
VM-steps: 4
PRAGMA cache_spill = TRUE;
VM-steps: 3
PRAGMA writable_schema = YES;
VM-steps: 4
.timeout
CREATE VIRTUAL TABLE t0 USING fts4("x", "y", "z");
VM-steps: 31
DROP TABLE t0;
VM-steps: 458
ROLLBACK TRANSACTION TO SAVEPOINT sp2695;
VM-steps: 3
RELEASE SAVEPOINT sp2695;
VM-steps: 2
DETACH DATABASE aux72;
VM-steps: 7
ATTACH DATABASE ':memory:' AS aux72;
VM-steps: 7
SAVEPOINT sp2695;
VM-steps: 3
PRAGMA full_column_names = NO;
VM-steps: 4
PRAGMA cache_spill = TRUE;
VM-steps: 3
PRAGMA writable_schema = YES;
VM-steps: 4
.timeout
CREATE VIRTUAL TABLE t0 USING fts4("x", "y", "z");
VM-steps: 31
DROP TABLE t0;
VM-steps: 458
ROLLBACK TRANSACTION TO SAVEPOINT sp2695;
VM-steps: 3
RELEASE SAVEPOINT sp2695;
VM-steps: 2
DETACH DATABASE aux72;
VM-steps: 7
ATTACH DATABASE ':memory:' AS aux72;
VM-steps: 7
SAVEPOINT sp2695;
VM-steps: 3
PRAGMA full_column_names = NO;
VM-steps: 4
PRAGMA cache_spill = TRUE;
VM-steps: 3
PRAGMA writable_schema = YES;
VM-steps: 4
.timeout
CREATE VIRTUAL TABLE t0 USING fts4("x", "y", "z");
VM-steps: 31
DROP TABLE t0;
VM-steps: 458
ROLLBACK TRANSACTION TO SAVEPOINT sp2695;
VM-steps: 3
RELEASE SAVEPOINT sp2695;
VM-steps: 2
DETACH DATABASE aux72;
VM-steps: 7
```
## Expectation
```sql
.stats vmstep
.open employee.db
ATTACH DATABASE ':memory:' AS aux72;
VM-steps: 8
SAVEPOINT sp2695;
VM-steps: 4
PRAGMA full_column_names = NO;
VM-steps: 5
PRAGMA cache_spill = TRUE;
VM-steps: 4
PRAGMA writable_schema = YES;
VM-steps: 5
.timeout
CREATE VIRTUAL TABLE t0 USING fts4("x", "y", "z");
VM-steps: 31
DROP TABLE t0;
VM-steps: 458
ROLLBACK TRANSACTION TO SAVEPOINT sp2695;
VM-steps: 4
RELEASE SAVEPOINT sp2695;
VM-steps: 3
DETACH DATABASE aux72;
VM-steps: 8
ATTACH DATABASE ':memory:' AS aux72;
VM-steps: 8
SAVEPOINT sp2695;
VM-steps: 4
PRAGMA full_column_names = NO;
VM-steps: 5
PRAGMA cache_spill = TRUE;
VM-steps: 4
PRAGMA writable_schema = YES;
VM-steps: 5
.timeout
CREATE VIRTUAL TABLE t0 USING fts4("x", "y", "z");
VM-steps: 31
DROP TABLE t0;
VM-steps: 458
ROLLBACK TRANSACTION TO SAVEPOINT sp2695;
VM-steps: 4
RELEASE SAVEPOINT sp2695;
VM-steps: 3
DETACH DATABASE aux72;
VM-steps: 8
ATTACH DATABASE ':memory:' AS aux72;
VM-steps: 8
SAVEPOINT sp2695;
VM-steps: 4
PRAGMA full_column_names = NO;
VM-steps: 5
PRAGMA cache_spill = TRUE;
VM-steps: 4
PRAGMA writable_schema = YES;
VM-steps: 5
.timeout
CREATE VIRTUAL TABLE t0 USING fts4("x", "y", "z");
VM-steps: 31
DROP TABLE t0;
VM-steps: 458
ROLLBACK TRANSACTION TO SAVEPOINT sp2695;
VM-steps: 4
RELEASE SAVEPOINT sp2695;
VM-steps: 3
DETACH DATABASE aux72;
VM-steps: 8
ATTACH DATABASE ':memory:' AS aux72;
VM-steps: 8
SAVEPOINT sp2695;
VM-steps: 4
PRAGMA full_column_names = NO;
VM-steps: 5
PRAGMA cache_spill = TRUE;
VM-steps: 4
PRAGMA writable_schema = YES;
VM-steps: 5
.timeout
CREATE VIRTUAL TABLE t0 USING fts4("x", "y", "z");
VM-steps: 31
DROP TABLE t0;
VM-steps: 458
ROLLBACK TRANSACTION TO SAVEPOINT sp2695;
VM-steps: 4
RELEASE SAVEPOINT sp2695;
VM-steps: 3
DETACH DATABASE aux72;
VM-steps: 8
ATTACH DATABASE ':memory:' AS aux72;
VM-steps: 8
SAVEPOINT sp2695;
VM-steps: 4
PRAGMA full_column_names = NO;
VM-steps: 5
PRAGMA cache_spill = TRUE;
VM-steps: 4
PRAGMA writable_schema = YES;
VM-steps: 5
.timeout
CREATE VIRTUAL TABLE t0 USING fts4("x", "y", "z");
VM-steps: 31
DROP TABLE t0;
VM-steps: 458
ROLLBACK TRANSACTION TO SAVEPOINT sp2695;
VM-steps: 4
RELEASE SAVEPOINT sp2695;
VM-steps: 3
DETACH DATABASE aux72;
VM-steps: 8
```
## Flag
```
-echo
```
Reference in New Issue View Git Blame Copy Permalink