Files
ast-project/part1/results/3/bug_d68f6b52-809b-4202-98c0-a44480779a77_logic.md
2026-06-24 13:47:14 +02:00

363 lines
14 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 legacy_alter_table = ON;
PRAGMA empty_result_callbacks = TRUE;
ATTACH DATABASE ':memory:' AS aux12;
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;
DETACH DATABASE aux12;
CREATE TABLE T1 (
A VARCHAR(20) PRIMARY KEY,
X VARCHAR(10) UNIQUE
);
CREATE TABLE T2 (
A VARCHAR(20) PRIMARY KEY,
Y VARCHAR(10) UNIQUE
);
INSERT INTO T1 VALUES ('a', 'm');
INSERT INTO T1 VALUES ('b', 'n');
INSERT INTO T1 VALUES ('c', 'o');
INSERT INTO T2 VALUES ('b', 'k');
INSERT INTO T2 VALUES ('c', 'l');
SELECT A FROM T1 INTERSECT SELECT A FROM T2;
ALTER TABLE T2 RENAME COLUMN A TO A_r6452;
```
## Actual output
```sql
2
Memory Used: 79920 (max 79960) bytes
Number of Outstanding Allocations: 158 (max 159)
Number of Pcache Overflow Bytes: 16928 (max 16928) bytes
Largest Allocation: 48000 bytes
Largest Pcache Allocation: 4360 bytes
Lookaside Slots Used: 34 (max 80)
Successful lookaside attempts: 260
Lookaside failures due to size: 0
Lookaside failures due to OOM: 0
Pager Heap Usage: 18496 bytes
Page cache hits: 2
Page cache misses: 0
Page cache writes: 0
Page cache spills: 0
Schema Heap Usage: 1104 bytes
Statement Heap/Lookaside Usage: 0 bytes
Bytes received by read(): 7486
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: 78792 (max 343216) bytes
Number of Outstanding Allocations: 131 (max 276)
Number of Pcache Overflow Bytes: 16928 (max 63608) bytes
Largest Allocation: 87200 bytes
Largest Pcache Allocation: 4360 bytes
Lookaside Slots Used: 34 (max 97)
Successful lookaside attempts: 1372
Lookaside failures due to size: 6
Lookaside failures due to OOM: 0
Pager Heap Usage: 18496 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(): 7836
Bytes sent to write(): 1015
Read() system calls: 16
Write() system calls: 2
Bytes read from storage: 0
Bytes written to storage: 0
Cancelled write bytes: 0
Memory Used: 78792 (max 343232) bytes
Number of Outstanding Allocations: 131 (max 280)
Number of Pcache Overflow Bytes: 16928 (max 63608) bytes
Largest Allocation: 87200 bytes
Largest Pcache Allocation: 4360 bytes
Lookaside Slots Used: 34 (max 97)
Successful lookaside attempts: 2484
Lookaside failures due to size: 12
Lookaside failures due to OOM: 0
Pager Heap Usage: 18496 bytes
Page cache hits: 59
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(): 7933
Bytes sent to write(): 2031
Read() system calls: 18
Write() system calls: 3
Bytes read from storage: 0
Bytes written to storage: 0
Cancelled write bytes: 0
Memory Used: 78792 (max 343232) bytes
Number of Outstanding Allocations: 131 (max 280)
Number of Pcache Overflow Bytes: 16928 (max 63608) bytes
Largest Allocation: 87200 bytes
Largest Pcache Allocation: 4360 bytes
Lookaside Slots Used: 34 (max 97)
Successful lookaside attempts: 3596
Lookaside failures due to size: 18
Lookaside failures due to OOM: 0
Pager Heap Usage: 18496 bytes
Page cache hits: 59
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(): 8030
Bytes sent to write(): 3048
Read() system calls: 20
Write() system calls: 4
Bytes read from storage: 0
Bytes written to storage: 0
Cancelled write bytes: 0
Memory Used: 78792 (max 343248) bytes
Number of Outstanding Allocations: 131 (max 280)
Number of Pcache Overflow Bytes: 16928 (max 63624) bytes
Largest Allocation: 87200 bytes
Largest Pcache Allocation: 4360 bytes
Lookaside Slots Used: 34 (max 97)
Successful lookaside attempts: 4708
Lookaside failures due to size: 24
Lookaside failures due to OOM: 0
Pager Heap Usage: 18496 bytes
Page cache hits: 59
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(): 8127
Bytes sent to write(): 4065
Read() system calls: 22
Write() system calls: 5
Bytes read from storage: 0
Bytes written to storage: 0
Cancelled write bytes: 0
Memory Used: 78792 (max 343264) bytes
Number of Outstanding Allocations: 131 (max 280)
Number of Pcache Overflow Bytes: 16928 (max 63624) bytes
Largest Allocation: 87200 bytes
Largest Pcache Allocation: 4360 bytes
Lookaside Slots Used: 34 (max 97)
Successful lookaside attempts: 5820
Lookaside failures due to size: 30
Lookaside failures due to OOM: 0
Pager Heap Usage: 18496 bytes
Page cache hits: 59
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(): 8224
Bytes sent to write(): 5082
Read() system calls: 24
Write() system calls: 6
Bytes read from storage: 0
Bytes written to storage: 0
Cancelled write bytes: 0
b
c
```
## Expectation
```sql
2
Memory Used: 80568 (max 80600) bytes
Number of Outstanding Allocations: 168 (max 169)
Number of Pcache Overflow Bytes: 16944 (max 16944) bytes
Largest Allocation: 48000 bytes
Largest Pcache Allocation: 4368 bytes
Lookaside Slots Used: 50 (max 91)
Successful lookaside attempts: 256
Lookaside failures due to size: 0
Lookaside failures due to OOM: 0
Pager Heap Usage: 18512 bytes
Page cache hits: 2
Page cache misses: 0
Page cache writes: 0
Page cache spills: 0
Temporary data spilled to disk: 0
Schema Heap Usage: 944 bytes
Statement Heap/Lookaside Usage: 0 bytes
Bytes received by read(): 8262
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: 83720 (max 343728) bytes
Number of Outstanding Allocations: 142 (max 279)
Number of Pcache Overflow Bytes: 21040 (max 63648) bytes
Largest Allocation: 87360 bytes
Largest Pcache Allocation: 4368 bytes
Lookaside Slots Used: 50 (max 105)
Successful lookaside attempts: 1262
Lookaside failures due to size: 6
Lookaside failures due to OOM: 0
Pager Heap Usage: 18512 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(): 8400
Bytes sent to write(): 1053
Read() system calls: 17
Write() system calls: 2
Bytes read from storage: 0
Bytes written to storage: 0
Cancelled write bytes: 0
Memory Used: 83720 (max 343728) bytes
Number of Outstanding Allocations: 142 (max 279)
Number of Pcache Overflow Bytes: 21040 (max 63648) bytes
Largest Allocation: 87360 bytes
Largest Pcache Allocation: 4368 bytes
Lookaside Slots Used: 50 (max 105)
Successful lookaside attempts: 2268
Lookaside failures due to size: 12
Lookaside failures due to OOM: 0
Pager Heap Usage: 18512 bytes
Page cache hits: 59
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(): 8497
Bytes sent to write(): 2109
Read() system calls: 19
Write() system calls: 3
Bytes read from storage: 0
Bytes written to storage: 0
Cancelled write bytes: 0
Memory Used: 83720 (max 343728) bytes
Number of Outstanding Allocations: 142 (max 279)
Number of Pcache Overflow Bytes: 21040 (max 63648) bytes
Largest Allocation: 87360 bytes
Largest Pcache Allocation: 4368 bytes
Lookaside Slots Used: 50 (max 105)
Successful lookaside attempts: 3274
Lookaside failures due to size: 18
Lookaside failures due to OOM: 0
Pager Heap Usage: 18512 bytes
Page cache hits: 59
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(): 8594
Bytes sent to write(): 3166
Read() system calls: 21
Write() system calls: 4
Bytes read from storage: 0
Bytes written to storage: 0
Cancelled write bytes: 0
Memory Used: 83720 (max 343728) bytes
Number of Outstanding Allocations: 142 (max 279)
Number of Pcache Overflow Bytes: 21040 (max 63648) bytes
Largest Allocation: 87360 bytes
Largest Pcache Allocation: 4368 bytes
Lookaside Slots Used: 50 (max 105)
Successful lookaside attempts: 4280
Lookaside failures due to size: 24
Lookaside failures due to OOM: 0
Pager Heap Usage: 18512 bytes
Page cache hits: 59
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(): 8691
Bytes sent to write(): 4223
Read() system calls: 23
Write() system calls: 5
Bytes read from storage: 0
Bytes written to storage: 0
Cancelled write bytes: 0
Memory Used: 83720 (max 343728) bytes
Number of Outstanding Allocations: 142 (max 279)
Number of Pcache Overflow Bytes: 21040 (max 63648) bytes
Largest Allocation: 87360 bytes
Largest Pcache Allocation: 4368 bytes
Lookaside Slots Used: 50 (max 105)
Successful lookaside attempts: 5286
Lookaside failures due to size: 30
Lookaside failures due to OOM: 0
Pager Heap Usage: 18512 bytes
Page cache hits: 59
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(): 8788
Bytes sent to write(): 5280
Read() system calls: 25
Write() system calls: 6
Bytes read from storage: 0
Bytes written to storage: 0
Cancelled write bytes: 0
b
c
```
## Flag
```
```