| Index: third_party/sqlite/src/test/tkt-80ba201079.test
|
| diff --git a/third_party/sqlite/src/test/tkt-80ba201079.test b/third_party/sqlite/src/test/tkt-80ba201079.test
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..95e99b5a5ba37b4652893737a4030a153e23a322
|
| --- /dev/null
|
| +++ b/third_party/sqlite/src/test/tkt-80ba201079.test
|
| @@ -0,0 +1,191 @@
|
| +# 2010 December 6
|
| +#
|
| +# The author disclaims copyright to this source code. In place of
|
| +# a legal notice, here is a blessing:
|
| +#
|
| +# May you do good and not evil.
|
| +# May you find forgiveness for yourself and forgive others.
|
| +# May you share freely, never taking more than you give.
|
| +#
|
| +#***********************************************************************
|
| +# This file implements regression tests for SQLite library. Specifically,
|
| +# it tests that ticket [80ba201079ea608071d22a57856b940ea3ac53ce] is
|
| +# resolved. That ticket is about an incorrect result that appears when
|
| +# an index is added. The root cause is that a constant is being used
|
| +# without initialization when the OR optimization applies in the WHERE clause.
|
| +#
|
| +
|
| +set testdir [file dirname $argv0]
|
| +source $testdir/tester.tcl
|
| +set ::testprefix tkt-80ba2
|
| +
|
| +do_test tkt-80ba2-100 {
|
| + db eval {
|
| + CREATE TABLE t1(a);
|
| + INSERT INTO t1 VALUES('A');
|
| + CREATE TABLE t2(b);
|
| + INSERT INTO t2 VALUES('B');
|
| + CREATE TABLE t3(c);
|
| + INSERT INTO t3 VALUES('C');
|
| + SELECT * FROM t1, t2
|
| + WHERE (a='A' AND b='X')
|
| + OR (a='A' AND EXISTS (SELECT * FROM t3 WHERE c='C'));
|
| + }
|
| +} {A B}
|
| +do_test tkt-80ba2-101 {
|
| + db eval {
|
| + CREATE INDEX i1 ON t1(a);
|
| + SELECT * FROM t1, t2
|
| + WHERE (a='A' AND b='X')
|
| + OR (a='A' AND EXISTS (SELECT * FROM t3 WHERE c='C'));
|
| + }
|
| +} {A B}
|
| +do_test tkt-80ba2-102 {
|
| + optimization_control db factor-constants 0
|
| + db cache flush
|
| + db eval {
|
| + SELECT * FROM t1, t2
|
| + WHERE (a='A' AND b='X')
|
| + OR (a='A' AND EXISTS (SELECT * FROM t3 WHERE c='C'));
|
| + }
|
| +} {A B}
|
| +optimization_control db all 1
|
| +
|
| +# Verify that the optimization_control command is actually working
|
| +#
|
| +do_test tkt-80ba2-150 {
|
| + optimization_control db factor-constants 1
|
| + db cache flush
|
| + set x1 [db eval {EXPLAIN
|
| + SELECT * FROM t1, t2
|
| + WHERE (a='A' AND b='X')
|
| + OR (a='A' AND EXISTS (SELECT * FROM t3 WHERE c='C'));}]
|
| + optimization_control db factor-constants 0
|
| + db cache flush
|
| + set x2 [db eval {EXPLAIN
|
| + SELECT * FROM t1, t2
|
| + WHERE (a='A' AND b='X')
|
| + OR (a='A' AND EXISTS (SELECT * FROM t3 WHERE c='C'));}]
|
| +
|
| + expr {$x1==$x2}
|
| +} {0}
|
| +
|
| +do_test tkt-80ba2-200 {
|
| + db eval {
|
| + CREATE TABLE entry_types (
|
| + id integer primary key,
|
| + name text
|
| + );
|
| + INSERT INTO "entry_types" VALUES(100,'cli_command');
|
| + INSERT INTO "entry_types" VALUES(300,'object_change');
|
| + CREATE TABLE object_changes (
|
| + change_id integer primary key,
|
| + system_id int,
|
| + obj_id int,
|
| + obj_context text,
|
| + change_type int,
|
| + command_id int
|
| + );
|
| + INSERT INTO "object_changes" VALUES(1551,1,114608,'exported_pools',1,2114);
|
| + INSERT INTO "object_changes" VALUES(2048,1,114608,'exported_pools',2,2319);
|
| + CREATE TABLE timeline (
|
| + rowid integer primary key,
|
| + timestamp text,
|
| + system_id int,
|
| + entry_type int,
|
| + entry_id int
|
| + );
|
| + INSERT INTO "timeline" VALUES(6735,'2010-11-21 17:08:27.000',1,300,2048);
|
| + INSERT INTO "timeline" VALUES(6825,'2010-11-21 17:09:21.000',1,300,2114);
|
| + SELECT entry_type,
|
| + entry_types.name,
|
| + entry_id
|
| + FROM timeline JOIN entry_types ON entry_type = entry_types.id
|
| + WHERE (entry_types.name = 'cli_command' AND entry_id=2114)
|
| + OR (entry_types.name = 'object_change'
|
| + AND entry_id IN (SELECT change_id
|
| + FROM object_changes
|
| + WHERE obj_context = 'exported_pools'));
|
| + }
|
| +} {300 object_change 2048}
|
| +do_test tkt-80ba2-201 {
|
| + db eval {
|
| + CREATE INDEX timeline_entry_id_idx on timeline(entry_id);
|
| + SELECT entry_type,
|
| + entry_types.name,
|
| + entry_id
|
| + FROM timeline JOIN entry_types ON entry_type = entry_types.id
|
| + WHERE (entry_types.name = 'cli_command' AND entry_id=2114)
|
| + OR (entry_types.name = 'object_change'
|
| + AND entry_id IN (SELECT change_id
|
| + FROM object_changes
|
| + WHERE obj_context = 'exported_pools'));
|
| + }
|
| +} {300 object_change 2048}
|
| +do_test tkt-80ba2-202 {
|
| + optimization_control db factor-constants 0
|
| + db cache flush
|
| + db eval {
|
| + SELECT entry_type,
|
| + entry_types.name,
|
| + entry_id
|
| + FROM timeline JOIN entry_types ON entry_type = entry_types.id
|
| + WHERE (entry_types.name = 'cli_command' AND entry_id=2114)
|
| + OR (entry_types.name = 'object_change'
|
| + AND entry_id IN (SELECT change_id
|
| + FROM object_changes
|
| + WHERE obj_context = 'exported_pools'));
|
| + }
|
| +} {300 object_change 2048}
|
| +
|
| +#-------------------------------------------------------------------------
|
| +#
|
| +
|
| +drop_all_tables
|
| +do_execsql_test 301 {
|
| + CREATE TABLE t1(a, b, c);
|
| + CREATE INDEX i1 ON t1(a);
|
| + CREATE INDEX i2 ON t1(b);
|
| + CREATE TABLE t2(d, e);
|
| +
|
| + INSERT INTO t1 VALUES('A', 'B', 'C');
|
| + INSERT INTO t2 VALUES('D', 'E');
|
| +}
|
| +
|
| +do_execsql_test 302 {
|
| + SELECT * FROM t1, t2 WHERE
|
| + (a='A' AND d='E') OR
|
| + (b='B' AND c IN ('C', 'D', 'E'))
|
| +} {A B C D E}
|
| +
|
| +do_execsql_test 303 {
|
| + SELECT * FROM t1, t2 WHERE
|
| + (a='A' AND d='E') OR
|
| + (b='B' AND c IN (SELECT c FROM t1))
|
| +} {A B C D E}
|
| +
|
| +do_execsql_test 304 {
|
| + SELECT * FROM t1, t2 WHERE
|
| + (a='A' AND d='E') OR
|
| + (b='B' AND c IN (SELECT 'B' UNION SELECT 'C' UNION SELECT 'D'))
|
| +} {A B C D E}
|
| +
|
| +do_execsql_test 305 {
|
| + SELECT * FROM t1, t2 WHERE
|
| + (b='B' AND c IN ('C', 'D', 'E')) OR
|
| + (a='A' AND d='E')
|
| +} {A B C D E}
|
| +
|
| +do_execsql_test 306 {
|
| + SELECT * FROM t1, t2 WHERE
|
| + (b='B' AND c IN (SELECT c FROM t1)) OR
|
| + (a='A' AND d='E')
|
| +} {A B C D E}
|
| +
|
| +do_execsql_test 307 {
|
| + SELECT * FROM t1, t2 WHERE
|
| + (b='B' AND c IN (SELECT 'B' UNION SELECT 'C' UNION SELECT 'D')) OR
|
| + (a='A' AND d='E')
|
| +} {A B C D E}
|
| +
|
| +finish_test
|
|
|