Files
ast-project/part1/results/3/bug_7c5af329-30d3-4fb3-8326-548c0b034d44_logic.md
2026-06-24 13:47:14 +02:00

611 lines
25 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
SAVEPOINT sp356;
PRAGMA temp_store = 'MEMORY';
PRAGMA read_uncommitted;
PRAGMA user_version = -1.0;
.stats stmt
CREATE TABLE t1(a INTEGER PRIMARY KEY, b);
CREATE VIRTUAL TABLE t2 USING rtree(id,x0,x1);
INSERT INTO t1 VALUES(1,'apple'),(2,'fig'),(3,'pear');
INSERT INTO t2 VALUES(1,1.0,2.0),(2,2.0,3.0),(3,1.5,3.5);
CREATE TRIGGER r1 AFTER UPDATE ON t1 BEGIN
DELETE FROM t2 WHERE id = OLD.a;
END;
ALTER TABLE t1 RENAME TO t3;
UPDATE t3 SET b='peach' WHERE a=2;
ROLLBACK TO sp356;
RELEASE sp356;
```
## Actual output
```sql
0
Number of output columns: 0
Memory Used: 80520 (max 86200) bytes
Number of Outstanding Allocations: 165 (max 178)
Number of Pcache Overflow Bytes: 16928 (max 16928) bytes
Largest Allocation: 48000 bytes
Largest Pcache Allocation: 4360 bytes
Lookaside Slots Used: 33 (max 89)
Successful lookaside attempts: 130
Lookaside failures due to size: 0
Lookaside failures due to OOM: 0
Pager Heap Usage: 13592 bytes
Page cache hits: 4
Page cache misses: 0
Page cache writes: 0
Page cache spills: 0
Schema Heap Usage: 1008 bytes
Statement Heap/Lookaside Usage: 2448 bytes
Fullscan Steps: 0
Sort Operations: 0
Autoindex Inserts: 0
Virtual Machine Steps: 30
Reprepare operations: 0
Number of times run: 1
Memory used by prepared stmt: 2448
Bytes received by read(): 7065
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
Number of output columns: 0
Memory Used: 109032 (max 116296) bytes
Number of Outstanding Allocations: 267 (max 281)
Number of Pcache Overflow Bytes: 30008 (max 30008) bytes
Largest Allocation: 48000 bytes
Largest Pcache Allocation: 4360 bytes
Lookaside Slots Used: 36 (max 93)
Successful lookaside attempts: 468
Lookaside failures due to size: 0
Lookaside failures due to OOM: 0
Pager Heap Usage: 26624 bytes
Page cache hits: 13
Page cache misses: 0
Page cache writes: 0
Page cache spills: 0
Schema Heap Usage: 2304 bytes
Statement Heap/Lookaside Usage: 15448 bytes
Fullscan Steps: 0
Sort Operations: 0
Autoindex Inserts: 0
Virtual Machine Steps: 31
Reprepare operations: 0
Number of times run: 1
Memory used by prepared stmt: 2736
Bytes received by read(): 7159
Bytes sent to write(): 1334
Read() system calls: 16
Write() system calls: 2
Bytes read from storage: 0
Bytes written to storage: 0
Cancelled write bytes: 0
Number of output columns: 0
Memory Used: 106256 (max 116296) bytes
Number of Outstanding Allocations: 256 (max 281)
Number of Pcache Overflow Bytes: 30008 (max 30008) bytes
Largest Allocation: 48000 bytes
Largest Pcache Allocation: 4360 bytes
Lookaside Slots Used: 48 (max 93)
Successful lookaside attempts: 501
Lookaside failures due to size: 0
Lookaside failures due to OOM: 0
Pager Heap Usage: 26624 bytes
Page cache hits: 1
Page cache misses: 0
Page cache writes: 0
Page cache spills: 0
Schema Heap Usage: 2328 bytes
Statement Heap/Lookaside Usage: 17464 bytes
Fullscan Steps: 0
Sort Operations: 0
Autoindex Inserts: 0
Virtual Machine Steps: 47
Reprepare operations: 0
Number of times run: 1
Memory used by prepared stmt: 4752
Bytes received by read(): 7256
Bytes sent to write(): 2673
Read() system calls: 18
Write() system calls: 3
Bytes read from storage: 0
Bytes written to storage: 0
Cancelled write bytes: 0
Number of output columns: 0
Memory Used: 106256 (max 116936) bytes
Number of Outstanding Allocations: 256 (max 281)
Number of Pcache Overflow Bytes: 30008 (max 30008) bytes
Largest Allocation: 48000 bytes
Largest Pcache Allocation: 4360 bytes
Lookaside Slots Used: 52 (max 93)
Successful lookaside attempts: 554
Lookaside failures due to size: 0
Lookaside failures due to OOM: 0
Pager Heap Usage: 26624 bytes
Page cache hits: 12
Page cache misses: 0
Page cache writes: 0
Page cache spills: 0
Schema Heap Usage: 2328 bytes
Statement Heap/Lookaside Usage: 19864 bytes
Fullscan Steps: 0
Sort Operations: 0
Autoindex Inserts: 0
Virtual Machine Steps: 35
Reprepare operations: 0
Number of times run: 1
Memory used by prepared stmt: 4624
Bytes received by read(): 7353
Bytes sent to write(): 4011
Read() system calls: 20
Write() system calls: 4
Bytes read from storage: 0
Bytes written to storage: 0
Cancelled write bytes: 0
Number of output columns: 0
Memory Used: 108432 (max 116936) bytes
Number of Outstanding Allocations: 274 (max 283)
Number of Pcache Overflow Bytes: 30008 (max 30008) bytes
Largest Allocation: 48000 bytes
Largest Pcache Allocation: 4360 bytes
Lookaside Slots Used: 41 (max 96)
Successful lookaside attempts: 628
Lookaside failures due to size: 0
Lookaside failures due to OOM: 0
Pager Heap Usage: 26624 bytes
Page cache hits: 2
Page cache misses: 0
Page cache writes: 0
Page cache spills: 0
Schema Heap Usage: 2792 bytes
Statement Heap/Lookaside Usage: 16944 bytes
Fullscan Steps: 0
Sort Operations: 0
Autoindex Inserts: 0
Virtual Machine Steps: 15
Reprepare operations: 0
Number of times run: 1
Memory used by prepared stmt: 1704
Bytes received by read(): 7450
Bytes sent to write(): 5350
Read() system calls: 22
Write() system calls: 5
Bytes read from storage: 0
Bytes written to storage: 0
Cancelled write bytes: 0
Number of output columns: 0
Memory Used: 154368 (max 212224) bytes
Number of Outstanding Allocations: 382 (max 446)
Number of Pcache Overflow Bytes: 42576 (max 80280) bytes
Largest Allocation: 48000 bytes
Largest Pcache Allocation: 4360 bytes
Lookaside Slots Used: 99 (max 123)
Successful lookaside attempts: 950
Lookaside failures due to size: 3
Lookaside failures due to OOM: 188
Pager Heap Usage: 35840 bytes
Page cache hits: 10
Page cache misses: 0
Page cache writes: 0
Page cache spills: 0
Schema Heap Usage: 2784 bytes
Statement Heap/Lookaside Usage: 69368 bytes
Fullscan Steps: 15
Sort Operations: 0
Autoindex Inserts: 0
Virtual Machine Steps: 323
Reprepare operations: 0
Number of times run: 1
Memory used by prepared stmt: 43944
Bytes received by read(): 7547
Bytes sent to write(): 6688
Read() system calls: 24
Write() system calls: 6
Bytes read from storage: 0
Bytes written to storage: 0
Cancelled write bytes: 0
Number of output columns: 0
Memory Used: 137936 (max 212224) bytes
Number of Outstanding Allocations: 340 (max 446)
Number of Pcache Overflow Bytes: 42576 (max 80280) bytes
Largest Allocation: 48000 bytes
Largest Pcache Allocation: 4360 bytes
Lookaside Slots Used: 58 (max 123)
Successful lookaside attempts: 1008
Lookaside failures due to size: 3
Lookaside failures due to OOM: 188
Pager Heap Usage: 35840 bytes
Page cache hits: 6
Page cache misses: 0
Page cache writes: 0
Page cache spills: 0
Schema Heap Usage: 2808 bytes
Statement Heap/Lookaside Usage: 34544 bytes
Fullscan Steps: 0
Sort Operations: 0
Autoindex Inserts: 0
Virtual Machine Steps: 33
Reprepare operations: 0
Number of times run: 2
Memory used by prepared stmt: 6592
Bytes received by read(): 7644
Bytes sent to write(): 8033
Read() system calls: 26
Write() system calls: 7
Bytes read from storage: 0
Bytes written to storage: 0
Cancelled write bytes: 0
Number of output columns: 0
Memory Used: 135064 (max 212224) bytes
Number of Outstanding Allocations: 273 (max 446)
Number of Pcache Overflow Bytes: 42576 (max 80280) bytes
Largest Allocation: 48000 bytes
Largest Pcache Allocation: 4360 bytes
Lookaside Slots Used: 44 (max 123)
Successful lookaside attempts: 1012
Lookaside failures due to size: 3
Lookaside failures due to OOM: 188
Pager Heap Usage: 35840 bytes
Page cache hits: 0
Page cache misses: 0
Page cache writes: 0
Page cache spills: 0
Schema Heap Usage: 0 bytes
Statement Heap/Lookaside Usage: 30608 bytes
Fullscan Steps: 0
Sort Operations: 0
Autoindex Inserts: 0
Virtual Machine Steps: 3
Reprepare operations: 0
Number of times run: 1
Memory used by prepared stmt: 2656
Bytes received by read(): 7741
Bytes sent to write(): 9375
Read() system calls: 28
Write() system calls: 8
Bytes read from storage: 0
Bytes written to storage: 0
Cancelled write bytes: 0
Number of output columns: 0
Memory Used: 86904 (max 212224) bytes
Number of Outstanding Allocations: 133 (max 446)
Number of Pcache Overflow Bytes: 25136 (max 80280) bytes
Largest Allocation: 48000 bytes
Largest Pcache Allocation: 4360 bytes
Lookaside Slots Used: 37 (max 123)
Successful lookaside attempts: 1016
Lookaside failures due to size: 3
Lookaside failures due to OOM: 188
Pager Heap Usage: 18464 bytes
Page cache hits: 0
Page cache misses: 0
Page cache writes: 0
Page cache spills: 0
Schema Heap Usage: 0 bytes
Statement Heap/Lookaside Usage: 2656 bytes
Fullscan Steps: 0
Sort Operations: 0
Autoindex Inserts: 0
Virtual Machine Steps: 2
Reprepare operations: 0
Number of times run: 1
Memory used by prepared stmt: 2656
Bytes received by read(): 7838
Bytes sent to write(): 10713
Read() system calls: 31
Write() system calls: 9
Bytes read from storage: 0
Bytes written to storage: 0
Cancelled write bytes: 0
```
## Expectation
```sql
0
Number of output columns: 0
Memory Used: 81016 (max 86648) bytes
Number of Outstanding Allocations: 175 (max 188)
Number of Pcache Overflow Bytes: 16936 (max 16936) bytes
Largest Allocation: 48000 bytes
Largest Pcache Allocation: 4368 bytes
Lookaside Slots Used: 49 (max 98)
Successful lookaside attempts: 139
Lookaside failures due to size: 0
Lookaside failures due to OOM: 0
Pager Heap Usage: 13608 bytes
Page cache hits: 4
Page cache misses: 0
Page cache writes: 0
Page cache spills: 0
Temporary data spilled to disk: 0
Schema Heap Usage: 856 bytes
Statement Heap/Lookaside Usage: 2320 bytes
Fullscan Steps: 0
Sort Operations: 0
Autoindex Inserts: 0
Virtual Machine Steps: 30
Reprepare operations: 0
Number of times run: 1
Memory used by prepared stmt: 2320
Bytes received by read(): 7585
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
Number of output columns: 0
Memory Used: 109048 (max 116144) bytes
Number of Outstanding Allocations: 276 (max 290)
Number of Pcache Overflow Bytes: 30040 (max 30040) bytes
Largest Allocation: 48000 bytes
Largest Pcache Allocation: 4368 bytes
Lookaside Slots Used: 52 (max 102)
Successful lookaside attempts: 449
Lookaside failures due to size: 0
Lookaside failures due to OOM: 0
Pager Heap Usage: 26664 bytes
Page cache hits: 13
Page cache misses: 0
Page cache writes: 0
Page cache spills: 0
Temporary data spilled to disk: 0
Schema Heap Usage: 2136 bytes
Statement Heap/Lookaside Usage: 14880 bytes
Fullscan Steps: 0
Sort Operations: 0
Autoindex Inserts: 0
Virtual Machine Steps: 31
Reprepare operations: 0
Number of times run: 1
Memory used by prepared stmt: 2600
Bytes received by read(): 7679
Bytes sent to write(): 1372
Read() system calls: 16
Write() system calls: 2
Bytes read from storage: 0
Bytes written to storage: 0
Cancelled write bytes: 0
Number of output columns: 0
Memory Used: 106400 (max 116144) bytes
Number of Outstanding Allocations: 265 (max 290)
Number of Pcache Overflow Bytes: 30040 (max 30040) bytes
Largest Allocation: 48000 bytes
Largest Pcache Allocation: 4368 bytes
Lookaside Slots Used: 64 (max 102)
Successful lookaside attempts: 485
Lookaside failures due to size: 0
Lookaside failures due to OOM: 0
Pager Heap Usage: 26664 bytes
Page cache hits: 1
Page cache misses: 0
Page cache writes: 0
Page cache spills: 0
Temporary data spilled to disk: 0
Schema Heap Usage: 2144 bytes
Statement Heap/Lookaside Usage: 17032 bytes
Fullscan Steps: 0
Sort Operations: 0
Autoindex Inserts: 0
Virtual Machine Steps: 47
Reprepare operations: 0
Number of times run: 1
Memory used by prepared stmt: 4752
Bytes received by read(): 7776
Bytes sent to write(): 2751
Read() system calls: 18
Write() system calls: 3
Bytes read from storage: 0
Bytes written to storage: 0
Cancelled write bytes: 0
Number of output columns: 0
Memory Used: 106400 (max 116992) bytes
Number of Outstanding Allocations: 265 (max 290)
Number of Pcache Overflow Bytes: 30040 (max 30040) bytes
Largest Allocation: 48000 bytes
Largest Pcache Allocation: 4368 bytes
Lookaside Slots Used: 68 (max 102)
Successful lookaside attempts: 541
Lookaside failures due to size: 0
Lookaside failures due to OOM: 0
Pager Heap Usage: 26664 bytes
Page cache hits: 12
Page cache misses: 0
Page cache writes: 0
Page cache spills: 0
Temporary data spilled to disk: 0
Schema Heap Usage: 2144 bytes
Statement Heap/Lookaside Usage: 19432 bytes
Fullscan Steps: 0
Sort Operations: 0
Autoindex Inserts: 0
Virtual Machine Steps: 35
Reprepare operations: 0
Number of times run: 1
Memory used by prepared stmt: 4624
Bytes received by read(): 7873
Bytes sent to write(): 4129
Read() system calls: 20
Write() system calls: 4
Bytes read from storage: 0
Bytes written to storage: 0
Cancelled write bytes: 0
Number of output columns: 0
Memory Used: 108440 (max 116992) bytes
Number of Outstanding Allocations: 283 (max 292)
Number of Pcache Overflow Bytes: 30040 (max 30040) bytes
Largest Allocation: 48000 bytes
Largest Pcache Allocation: 4368 bytes
Lookaside Slots Used: 57 (max 105)
Successful lookaside attempts: 608
Lookaside failures due to size: 0
Lookaside failures due to OOM: 0
Pager Heap Usage: 26664 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: 2576 bytes
Statement Heap/Lookaside Usage: 16416 bytes
Fullscan Steps: 0
Sort Operations: 0
Autoindex Inserts: 0
Virtual Machine Steps: 15
Reprepare operations: 0
Number of times run: 1
Memory used by prepared stmt: 1608
Bytes received by read(): 7970
Bytes sent to write(): 5508
Read() system calls: 22
Write() system calls: 5
Bytes read from storage: 0
Bytes written to storage: 0
Cancelled write bytes: 0
Number of output columns: 0
Memory Used: 153248 (max 210824) bytes
Number of Outstanding Allocations: 364 (max 437)
Number of Pcache Overflow Bytes: 42608 (max 80312) bytes
Largest Allocation: 48000 bytes
Largest Pcache Allocation: 4368 bytes
Lookaside Slots Used: 95 (max 123)
Successful lookaside attempts: 927
Lookaside failures due to size: 3
Lookaside failures due to OOM: 136
Pager Heap Usage: 35896 bytes
Page cache hits: 10
Page cache misses: 0
Page cache writes: 0
Page cache spills: 0
Temporary data spilled to disk: 0
Schema Heap Usage: 2560 bytes
Statement Heap/Lookaside Usage: 56608 bytes
Fullscan Steps: 15
Sort Operations: 0
Autoindex Inserts: 0
Virtual Machine Steps: 323
Reprepare operations: 0
Number of times run: 1
Memory used by prepared stmt: 32048
Bytes received by read(): 8067
Bytes sent to write(): 6886
Read() system calls: 24
Write() system calls: 6
Bytes read from storage: 0
Bytes written to storage: 0
Cancelled write bytes: 0
Number of output columns: 0
Memory Used: 137560 (max 210824) bytes
Number of Outstanding Allocations: 346 (max 437)
Number of Pcache Overflow Bytes: 42608 (max 80312) bytes
Largest Allocation: 48000 bytes
Largest Pcache Allocation: 4368 bytes
Lookaside Slots Used: 74 (max 123)
Successful lookaside attempts: 985
Lookaside failures due to size: 3
Lookaside failures due to OOM: 136
Pager Heap Usage: 35896 bytes
Page cache hits: 6
Page cache misses: 0
Page cache writes: 0
Page cache spills: 0
Temporary data spilled to disk: 0
Schema Heap Usage: 2568 bytes
Statement Heap/Lookaside Usage: 33680 bytes
Fullscan Steps: 0
Sort Operations: 0
Autoindex Inserts: 0
Virtual Machine Steps: 33
Reprepare operations: 0
Number of times run: 2
Memory used by prepared stmt: 6592
Bytes received by read(): 8164
Bytes sent to write(): 8270
Read() system calls: 26
Write() system calls: 7
Bytes read from storage: 0
Bytes written to storage: 0
Cancelled write bytes: 0
Number of output columns: 0
Memory Used: 134992 (max 210824) bytes
Number of Outstanding Allocations: 279 (max 437)
Number of Pcache Overflow Bytes: 42608 (max 80312) bytes
Largest Allocation: 48000 bytes
Largest Pcache Allocation: 4368 bytes
Lookaside Slots Used: 60 (max 123)
Successful lookaside attempts: 989
Lookaside failures due to size: 3
Lookaside failures due to OOM: 136
Pager Heap Usage: 35896 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: 0 bytes
Statement Heap/Lookaside Usage: 29744 bytes
Fullscan Steps: 0
Sort Operations: 0
Autoindex Inserts: 0
Virtual Machine Steps: 4
Reprepare operations: 0
Number of times run: 1
Memory used by prepared stmt: 2656
Bytes received by read(): 8261
Bytes sent to write(): 9650
Read() system calls: 28
Write() system calls: 8
Bytes read from storage: 0
Bytes written to storage: 0
Cancelled write bytes: 0
Number of output columns: 0
Memory Used: 87712 (max 210824) bytes
Number of Outstanding Allocations: 143 (max 437)
Number of Pcache Overflow Bytes: 25136 (max 80312) bytes
Largest Allocation: 48000 bytes
Largest Pcache Allocation: 4368 bytes
Lookaside Slots Used: 53 (max 123)
Successful lookaside attempts: 993
Lookaside failures due to size: 3
Lookaside failures due to OOM: 136
Pager Heap Usage: 18488 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: 0 bytes
Statement Heap/Lookaside Usage: 2656 bytes
Fullscan Steps: 0
Sort Operations: 0
Autoindex Inserts: 0
Virtual Machine Steps: 3
Reprepare operations: 0
Number of times run: 1
Memory used by prepared stmt: 2656
Bytes received by read(): 8358
Bytes sent to write(): 11026
Read() system calls: 31
Write() system calls: 9
Bytes read from storage: 0
Bytes written to storage: 0
Cancelled write bytes: 0
```
## Flag
```
```