ast-project/part1/results/3/bug_c9440de9-dac1-46f7-b9f3-f03d02762dda_logic.md

Summary

**No review yet**

Minimized query

.timer on
PRAGMA defer_foreign_keys = FALSE;
BEGIN DEFERRED TRANSACTION;
-- glob('[!0-9]', 'a')

ATTACH DATABASE (':memory:' || '') AS aux25;
-- sqlite_compileoption_used({v})

-- NOCASE

CREATE VIRTUAL TABLE t0 USING /**/ fts4("x", "y", "z");
DROP TABLE t0;
DETACH DATABASE aux25;
END TRANSACTION;
PRAGMA defer_foreign_keys = FALSE;
BEGIN DEFERRED TRANSACTION;
-- glob('[!0-9]', 'a')

ATTACH DATABASE (':memory:' || '') AS aux25;
-- sqlite_compileoption_used({v})

-- NOCASE

CREATE VIRTUAL TABLE t0 USING /**/ fts4("x", "y", "z");
DROP TABLE t0;
DETACH DATABASE aux25;
END TRANSACTION;
PRAGMA defer_foreign_keys = FALSE;
BEGIN DEFERRED TRANSACTION;
-- glob('[!0-9]', 'a')

ATTACH DATABASE (':memory:' || '') AS aux25;
-- sqlite_compileoption_used({v})

-- NOCASE

CREATE VIRTUAL TABLE t0 USING /**/ fts4("x", "y", "z");
DROP TABLE t0;
DETACH DATABASE aux25;
END TRANSACTION;

Actual output

Run Time: real 0.000 user 0.000045 sys 0.000000
Run Time: real 0.000 user 0.000005 sys 0.000000
Run Time: real 0.000 user 0.000103 sys 0.000000
Run Time: real 0.001 user 0.000358 sys 0.000000
Run Time: real 0.000 user 0.000202 sys 0.000000
Run Time: real 0.000 user 0.000006 sys 0.000000
Run Time: real 0.000 user 0.000005 sys 0.000000
Run Time: real 0.000 user 0.000003 sys 0.000000
Run Time: real 0.000 user 0.000001 sys 0.000000
Run Time: real 0.000 user 0.000025 sys 0.000000
Run Time: real 0.000 user 0.000252 sys 0.000000
Run Time: real 0.000 user 0.000161 sys 0.000000
Run Time: real 0.000 user 0.000004 sys 0.000000
Run Time: real 0.000 user 0.000003 sys 0.000000
Run Time: real 0.000 user 0.000002 sys 0.000000
Run Time: real 0.000 user 0.000001 sys 0.000000
Run Time: real 0.000 user 0.000022 sys 0.000000
Run Time: real 0.001 user 0.000242 sys 0.000000
Run Time: real 0.000 user 0.000140 sys 0.000000
Run Time: real 0.000 user 0.000003 sys 0.000000
Run Time: real 0.000 user 0.000003 sys 0.000000

Expectation

Run Time: real 0.000016 user 0.000000 sys 0.000024
Run Time: real 0.000002 user 0.000000 sys 0.000002
Run Time: real 0.000051 user 0.000000 sys 0.000052
Run Time: real 0.000199 user 0.000000 sys 0.000199
Run Time: real 0.000122 user 0.000000 sys 0.000123
Run Time: real 0.000004 user 0.000000 sys 0.000004
Run Time: real 0.000003 user 0.000000 sys 0.000003
Run Time: real 0.000001 user 0.000000 sys 0.000002
Run Time: real 0.000001 user 0.000000 sys 0.000003
Run Time: real 0.000015 user 0.000000 sys 0.000015
Run Time: real 0.000128 user 0.000000 sys 0.000129
Run Time: real 0.000086 user 0.000000 sys 0.000085
Run Time: real 0.000003 user 0.000000 sys 0.000003
Run Time: real 0.000002 user 0.000000 sys 0.000002
Run Time: real 0.000002 user 0.000000 sys 0.000002
Run Time: real 0.000001 user 0.000000 sys 0.000001
Run Time: real 0.000011 user 0.000000 sys 0.000011
Run Time: real 0.000110 user 0.000000 sys 0.000111
Run Time: real 0.000070 user 0.000000 sys 0.000071
Run Time: real 0.000002 user 0.000000 sys 0.000002
Run Time: real 0.000002 user 0.000000 sys 0.000002

Flag