OLD | NEW |
| (Empty) |
1 # 2010 December 6 | |
2 # | |
3 # The author disclaims copyright to this source code. In place of | |
4 # a legal notice, here is a blessing: | |
5 # | |
6 # May you do good and not evil. | |
7 # May you find forgiveness for yourself and forgive others. | |
8 # May you share freely, never taking more than you give. | |
9 # | |
10 #*********************************************************************** | |
11 # This file implements regression tests for SQLite library. Specifically, | |
12 # it tests that ticket [80ba201079ea608071d22a57856b940ea3ac53ce] is | |
13 # resolved. That ticket is about an incorrect result that appears when | |
14 # an index is added. The root cause is that a constant is being used | |
15 # without initialization when the OR optimization applies in the WHERE clause. | |
16 # | |
17 | |
18 set testdir [file dirname $argv0] | |
19 source $testdir/tester.tcl | |
20 set ::testprefix tkt-80ba201079 | |
21 | |
22 do_test tkt-80ba2-100 { | |
23 db eval { | |
24 CREATE TABLE t1(a); | |
25 INSERT INTO t1 VALUES('A'); | |
26 CREATE TABLE t2(b); | |
27 INSERT INTO t2 VALUES('B'); | |
28 CREATE TABLE t3(c); | |
29 INSERT INTO t3 VALUES('C'); | |
30 SELECT * FROM t1, t2 | |
31 WHERE (a='A' AND b='X') | |
32 OR (a='A' AND EXISTS (SELECT * FROM t3 WHERE c='C')); | |
33 } | |
34 } {A B} | |
35 do_test tkt-80ba2-101 { | |
36 db eval { | |
37 CREATE INDEX i1 ON t1(a); | |
38 SELECT * FROM t1, t2 | |
39 WHERE (a='A' AND b='X') | |
40 OR (a='A' AND EXISTS (SELECT * FROM t3 WHERE c='C')); | |
41 } | |
42 } {A B} | |
43 do_test tkt-80ba2-102 { | |
44 optimization_control db factor-constants 0 | |
45 db cache flush | |
46 db eval { | |
47 SELECT * FROM t1, t2 | |
48 WHERE (a='A' AND b='X') | |
49 OR (a='A' AND EXISTS (SELECT * FROM t3 WHERE c='C')); | |
50 } | |
51 } {A B} | |
52 optimization_control db all 1 | |
53 | |
54 # Verify that the optimization_control command is actually working | |
55 # | |
56 do_test tkt-80ba2-150 { | |
57 optimization_control db factor-constants 1 | |
58 db cache flush | |
59 set x1 [db eval {EXPLAIN | |
60 SELECT * FROM t1, t2 | |
61 WHERE (a='A' AND b='X') | |
62 OR (a='A' AND EXISTS (SELECT * FROM t3 WHERE c='C'));}] | |
63 optimization_control db factor-constants 0 | |
64 db cache flush | |
65 set x2 [db eval {EXPLAIN | |
66 SELECT * FROM t1, t2 | |
67 WHERE (a='A' AND b='X') | |
68 OR (a='A' AND EXISTS (SELECT * FROM t3 WHERE c='C'));}] | |
69 | |
70 expr {$x1==$x2} | |
71 } {0} | |
72 | |
73 do_test tkt-80ba2-200 { | |
74 db eval { | |
75 CREATE TABLE entry_types ( | |
76 id integer primary key, | |
77 name text | |
78 ); | |
79 INSERT INTO "entry_types" VALUES(100,'cli_command'); | |
80 INSERT INTO "entry_types" VALUES(300,'object_change'); | |
81 CREATE TABLE object_changes ( | |
82 change_id integer primary key, | |
83 system_id int, | |
84 obj_id int, | |
85 obj_context text, | |
86 change_type int, | |
87 command_id int | |
88 ); | |
89 INSERT INTO "object_changes" VALUES(1551,1,114608,'exported_pools',1,2114); | |
90 INSERT INTO "object_changes" VALUES(2048,1,114608,'exported_pools',2,2319); | |
91 CREATE TABLE timeline ( | |
92 rowid integer primary key, | |
93 timestamp text, | |
94 system_id int, | |
95 entry_type int, | |
96 entry_id int | |
97 ); | |
98 INSERT INTO "timeline" VALUES(6735,'2010-11-21 17:08:27.000',1,300,2048); | |
99 INSERT INTO "timeline" VALUES(6825,'2010-11-21 17:09:21.000',1,300,2114); | |
100 SELECT entry_type, | |
101 entry_types.name, | |
102 entry_id | |
103 FROM timeline JOIN entry_types ON entry_type = entry_types.id | |
104 WHERE (entry_types.name = 'cli_command' AND entry_id=2114) | |
105 OR (entry_types.name = 'object_change' | |
106 AND entry_id IN (SELECT change_id | |
107 FROM object_changes | |
108 WHERE obj_context = 'exported_pools')); | |
109 } | |
110 } {300 object_change 2048} | |
111 do_test tkt-80ba2-201 { | |
112 db eval { | |
113 CREATE INDEX timeline_entry_id_idx on timeline(entry_id); | |
114 SELECT entry_type, | |
115 entry_types.name, | |
116 entry_id | |
117 FROM timeline JOIN entry_types ON entry_type = entry_types.id | |
118 WHERE (entry_types.name = 'cli_command' AND entry_id=2114) | |
119 OR (entry_types.name = 'object_change' | |
120 AND entry_id IN (SELECT change_id | |
121 FROM object_changes | |
122 WHERE obj_context = 'exported_pools')); | |
123 } | |
124 } {300 object_change 2048} | |
125 do_test tkt-80ba2-202 { | |
126 optimization_control db factor-constants 0 | |
127 db cache flush | |
128 db eval { | |
129 SELECT entry_type, | |
130 entry_types.name, | |
131 entry_id | |
132 FROM timeline JOIN entry_types ON entry_type = entry_types.id | |
133 WHERE (entry_types.name = 'cli_command' AND entry_id=2114) | |
134 OR (entry_types.name = 'object_change' | |
135 AND entry_id IN (SELECT change_id | |
136 FROM object_changes | |
137 WHERE obj_context = 'exported_pools')); | |
138 } | |
139 } {300 object_change 2048} | |
140 | |
141 #------------------------------------------------------------------------- | |
142 # | |
143 | |
144 drop_all_tables | |
145 do_execsql_test 301 { | |
146 CREATE TABLE t1(a, b, c); | |
147 CREATE INDEX i1 ON t1(a); | |
148 CREATE INDEX i2 ON t1(b); | |
149 CREATE TABLE t2(d, e); | |
150 | |
151 INSERT INTO t1 VALUES('A', 'B', 'C'); | |
152 INSERT INTO t2 VALUES('D', 'E'); | |
153 } | |
154 | |
155 do_execsql_test 302 { | |
156 SELECT * FROM t1, t2 WHERE | |
157 (a='A' AND d='E') OR | |
158 (b='B' AND c IN ('C', 'D', 'E')) | |
159 } {A B C D E} | |
160 | |
161 do_execsql_test 303 { | |
162 SELECT * FROM t1, t2 WHERE | |
163 (a='A' AND d='E') OR | |
164 (b='B' AND c IN (SELECT c FROM t1)) | |
165 } {A B C D E} | |
166 | |
167 ifcapable compound { | |
168 do_execsql_test 304 { | |
169 SELECT * FROM t1, t2 WHERE | |
170 (a='A' AND d='E') OR | |
171 (b='B' AND c IN (SELECT 'B' UNION SELECT 'C' UNION SELECT 'D')) | |
172 } {A B C D E} | |
173 } | |
174 | |
175 do_execsql_test 305 { | |
176 SELECT * FROM t1, t2 WHERE | |
177 (b='B' AND c IN ('C', 'D', 'E')) OR | |
178 (a='A' AND d='E') | |
179 } {A B C D E} | |
180 | |
181 do_execsql_test 306 { | |
182 SELECT * FROM t1, t2 WHERE | |
183 (b='B' AND c IN (SELECT c FROM t1)) OR | |
184 (a='A' AND d='E') | |
185 } {A B C D E} | |
186 | |
187 ifcapable compound { | |
188 do_execsql_test 307 { | |
189 SELECT * FROM t1, t2 WHERE | |
190 (b='B' AND c IN (SELECT 'B' UNION SELECT 'C' UNION SELECT 'D')) OR | |
191 (a='A' AND d='E') | |
192 } {A B C D E} | |
193 } | |
194 | |
195 finish_test | |
OLD | NEW |