Files
ast-project/part1/results/3/bug_d40a81ed-a9f3-4c3d-ba16-97548fd6673f_logic.md
2026-06-24 13:47:14 +02:00

340 lines
13 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
PRAGMA vdbe_addoptrace = FALSE;
.imposter off
PRAGMA synchronous;
.stats
CREATE VIRTUAL TABLE t0 USING fts4("x", "y", "z");
DROP TABLE t0;
VACUUM main;
.stats
CREATE VIRTUAL TABLE t0 USING fts4("x", "y", "z");
DROP TABLE t0;
VACUUM main;
.stats
CREATE VIRTUAL TABLE t0 USING fts4("x", "y", "z");
DROP TABLE t0;
VACUUM main;
.stats
CREATE VIRTUAL TABLE t0 USING fts4("x", "y", "z");
DROP TABLE t0;
VACUUM main;
.stats
CREATE VIRTUAL TABLE t0 USING fts4("x", "y", "z");
DROP TABLE t0;
VACUUM main;
.stats
CREATE VIRTUAL TABLE t0 USING fts4("x", "y", "z");
DROP TABLE t0;
VACUUM main;
VACUUM main;
PRAGMA empty_result_callbacks = YES;
```
## Actual output
```sql
2
Memory Used: 67704 (max 67744) bytes
Number of Outstanding Allocations: 141 (max 142)
Number of Pcache Overflow Bytes: 8464 (max 8464) bytes
Largest Allocation: 48000 bytes
Largest Pcache Allocation: 4360 bytes
Lookaside Slots Used: 32 (max 75)
Successful lookaside attempts: 92
Lookaside failures due to size: 0
Lookaside failures due to OOM: 0
Pager Heap Usage: 9248 bytes
Page cache hits: 0
Page cache misses: 0
Page cache writes: 0
Page cache spills: 0
Schema Heap Usage: 736 bytes
Statement Heap/Lookaside Usage: 0 bytes
Bytes received by read(): 6952
Bytes sent to write(): 2
Read() system calls: 13
Write() system calls: 1
Bytes read from storage: 0
Bytes written to storage: 0
Cancelled write bytes: 0
Memory Used: 66952 (max 331000) bytes
Number of Outstanding Allocations: 123 (max 259)
Number of Pcache Overflow Bytes: 8464 (max 55144) bytes
Largest Allocation: 87200 bytes
Largest Pcache Allocation: 4360 bytes
Lookaside Slots Used: 32 (max 96)
Successful lookaside attempts: 1204
Lookaside failures due to size: 6
Lookaside failures due to OOM: 0
Pager Heap Usage: 9248 bytes
Page cache hits: 56
Page cache misses: 0
Page cache writes: 0
Page cache spills: 0
Schema Heap Usage: 0 bytes
Statement Heap/Lookaside Usage: 0 bytes
Bytes received by read(): 7302
Bytes sent to write(): 1010
Read() system calls: 16
Write() system calls: 2
Bytes read from storage: 0
Bytes written to storage: 0
Cancelled write bytes: 0
Memory Used: 66952 (max 331032) bytes
Number of Outstanding Allocations: 123 (max 263)
Number of Pcache Overflow Bytes: 8464 (max 55144) bytes
Largest Allocation: 87200 bytes
Largest Pcache Allocation: 4360 bytes
Lookaside Slots Used: 32 (max 96)
Successful lookaside attempts: 2316
Lookaside failures due to size: 12
Lookaside failures due to OOM: 0
Pager Heap Usage: 9248 bytes
Page cache hits: 58
Page cache misses: 0
Page cache writes: 0
Page cache spills: 0
Schema Heap Usage: 0 bytes
Statement Heap/Lookaside Usage: 0 bytes
Bytes received by read(): 7399
Bytes sent to write(): 2024
Read() system calls: 18
Write() system calls: 3
Bytes read from storage: 0
Bytes written to storage: 0
Cancelled write bytes: 0
Memory Used: 66952 (max 331032) bytes
Number of Outstanding Allocations: 123 (max 263)
Number of Pcache Overflow Bytes: 8464 (max 55144) bytes
Largest Allocation: 87200 bytes
Largest Pcache Allocation: 4360 bytes
Lookaside Slots Used: 32 (max 96)
Successful lookaside attempts: 3428
Lookaside failures due to size: 18
Lookaside failures due to OOM: 0
Pager Heap Usage: 9248 bytes
Page cache hits: 58
Page cache misses: 0
Page cache writes: 0
Page cache spills: 0
Schema Heap Usage: 0 bytes
Statement Heap/Lookaside Usage: 0 bytes
Bytes received by read(): 7496
Bytes sent to write(): 3039
Read() system calls: 20
Write() system calls: 4
Bytes read from storage: 0
Bytes written to storage: 0
Cancelled write bytes: 0
Memory Used: 66952 (max 331032) bytes
Number of Outstanding Allocations: 123 (max 263)
Number of Pcache Overflow Bytes: 8464 (max 55144) bytes
Largest Allocation: 87200 bytes
Largest Pcache Allocation: 4360 bytes
Lookaside Slots Used: 32 (max 96)
Successful lookaside attempts: 4540
Lookaside failures due to size: 24
Lookaside failures due to OOM: 0
Pager Heap Usage: 9248 bytes
Page cache hits: 58
Page cache misses: 0
Page cache writes: 0
Page cache spills: 0
Schema Heap Usage: 0 bytes
Statement Heap/Lookaside Usage: 0 bytes
Bytes received by read(): 7593
Bytes sent to write(): 4054
Read() system calls: 22
Write() system calls: 5
Bytes read from storage: 0
Bytes written to storage: 0
Cancelled write bytes: 0
Memory Used: 66952 (max 331032) bytes
Number of Outstanding Allocations: 123 (max 263)
Number of Pcache Overflow Bytes: 8464 (max 55144) bytes
Largest Allocation: 87200 bytes
Largest Pcache Allocation: 4360 bytes
Lookaside Slots Used: 32 (max 96)
Successful lookaside attempts: 5652
Lookaside failures due to size: 30
Lookaside failures due to OOM: 0
Pager Heap Usage: 9248 bytes
Page cache hits: 58
Page cache misses: 0
Page cache writes: 0
Page cache spills: 0
Schema Heap Usage: 0 bytes
Statement Heap/Lookaside Usage: 0 bytes
Bytes received by read(): 7690
Bytes sent to write(): 5069
Read() system calls: 24
Write() system calls: 6
Bytes read from storage: 0
Bytes written to storage: 0
Cancelled write bytes: 0
```
## Expectation
```sql
2
Memory Used: 68416 (max 68448) bytes
Number of Outstanding Allocations: 151 (max 152)
Number of Pcache Overflow Bytes: 8472 (max 8472) bytes
Largest Allocation: 48000 bytes
Largest Pcache Allocation: 4368 bytes
Lookaside Slots Used: 48 (max 86)
Successful lookaside attempts: 103
Lookaside failures due to size: 0
Lookaside failures due to OOM: 0
Pager Heap Usage: 9256 bytes
Page cache hits: 0
Page cache misses: 0
Page cache writes: 0
Page cache spills: 0
Temporary data spilled to disk: 0
Schema Heap Usage: 632 bytes
Statement Heap/Lookaside Usage: 0 bytes
Bytes received by read(): 7728
Bytes sent to write(): 2
Read() system calls: 14
Write() system calls: 1
Bytes read from storage: 0
Bytes written to storage: 0
Cancelled write bytes: 0
Memory Used: 71880 (max 331576) bytes
Number of Outstanding Allocations: 134 (max 262)
Number of Pcache Overflow Bytes: 12568 (max 55176) bytes
Largest Allocation: 87360 bytes
Largest Pcache Allocation: 4368 bytes
Lookaside Slots Used: 48 (max 104)
Successful lookaside attempts: 1109
Lookaside failures due to size: 6
Lookaside failures due to OOM: 0
Pager Heap Usage: 9256 bytes
Page cache hits: 56
Page cache misses: 0
Page cache writes: 0
Page cache spills: 0
Temporary data spilled to disk: 0
Schema Heap Usage: 0 bytes
Statement Heap/Lookaside Usage: 0 bytes
Bytes received by read(): 7866
Bytes sent to write(): 1050
Read() system calls: 17
Write() system calls: 2
Bytes read from storage: 0
Bytes written to storage: 0
Cancelled write bytes: 0
Memory Used: 71880 (max 331576) bytes
Number of Outstanding Allocations: 134 (max 262)
Number of Pcache Overflow Bytes: 12568 (max 55176) bytes
Largest Allocation: 87360 bytes
Largest Pcache Allocation: 4368 bytes
Lookaside Slots Used: 48 (max 104)
Successful lookaside attempts: 2115
Lookaside failures due to size: 12
Lookaside failures due to OOM: 0
Pager Heap Usage: 9256 bytes
Page cache hits: 58
Page cache misses: 0
Page cache writes: 0
Page cache spills: 0
Temporary data spilled to disk: 0
Schema Heap Usage: 0 bytes
Statement Heap/Lookaside Usage: 0 bytes
Bytes received by read(): 7963
Bytes sent to write(): 2105
Read() system calls: 19
Write() system calls: 3
Bytes read from storage: 0
Bytes written to storage: 0
Cancelled write bytes: 0
Memory Used: 71880 (max 331576) bytes
Number of Outstanding Allocations: 134 (max 262)
Number of Pcache Overflow Bytes: 12568 (max 55176) bytes
Largest Allocation: 87360 bytes
Largest Pcache Allocation: 4368 bytes
Lookaside Slots Used: 48 (max 104)
Successful lookaside attempts: 3121
Lookaside failures due to size: 18
Lookaside failures due to OOM: 0
Pager Heap Usage: 9256 bytes
Page cache hits: 58
Page cache misses: 0
Page cache writes: 0
Page cache spills: 0
Temporary data spilled to disk: 0
Schema Heap Usage: 0 bytes
Statement Heap/Lookaside Usage: 0 bytes
Bytes received by read(): 8060
Bytes sent to write(): 3161
Read() system calls: 21
Write() system calls: 4
Bytes read from storage: 0
Bytes written to storage: 0
Cancelled write bytes: 0
Memory Used: 71880 (max 331576) bytes
Number of Outstanding Allocations: 134 (max 262)
Number of Pcache Overflow Bytes: 12568 (max 55176) bytes
Largest Allocation: 87360 bytes
Largest Pcache Allocation: 4368 bytes
Lookaside Slots Used: 48 (max 104)
Successful lookaside attempts: 4127
Lookaside failures due to size: 24
Lookaside failures due to OOM: 0
Pager Heap Usage: 9256 bytes
Page cache hits: 58
Page cache misses: 0
Page cache writes: 0
Page cache spills: 0
Temporary data spilled to disk: 0
Schema Heap Usage: 0 bytes
Statement Heap/Lookaside Usage: 0 bytes
Bytes received by read(): 8157
Bytes sent to write(): 4217
Read() system calls: 23
Write() system calls: 5
Bytes read from storage: 0
Bytes written to storage: 0
Cancelled write bytes: 0
Memory Used: 71880 (max 331576) bytes
Number of Outstanding Allocations: 134 (max 262)
Number of Pcache Overflow Bytes: 12568 (max 55176) bytes
Largest Allocation: 87360 bytes
Largest Pcache Allocation: 4368 bytes
Lookaside Slots Used: 48 (max 104)
Successful lookaside attempts: 5133
Lookaside failures due to size: 30
Lookaside failures due to OOM: 0
Pager Heap Usage: 9256 bytes
Page cache hits: 58
Page cache misses: 0
Page cache writes: 0
Page cache spills: 0
Temporary data spilled to disk: 0
Schema Heap Usage: 0 bytes
Statement Heap/Lookaside Usage: 0 bytes
Bytes received by read(): 8254
Bytes sent to write(): 5273
Read() system calls: 25
Write() system calls: 6
Bytes read from storage: 0
Bytes written to storage: 0
Cancelled write bytes: 0
```
## Flag
```
```