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

14 KiB

Summary

**No review yet**

Minimized query

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

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

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