xref: /sqlite-3.40.0/test/tkt1473.test (revision ec7429ae)
1# 2005 September 19
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.
12#
13# This file implements tests to verify that ticket #1473 has been
14# fixed.
15#
16
17set testdir [file dirname $argv0]
18source $testdir/tester.tcl
19
20do_test tkt1473-1.1 {
21  execsql {
22    CREATE TABLE t1(a,b);
23    INSERT INTO t1 VALUES(1,2);
24    INSERT INTO t1 VALUES(3,4);
25    SELECT * FROM t1
26  }
27} {1 2 3 4}
28
29do_test tkt1473-1.2 {
30  execsql {
31    SELECT 1 FROM t1 WHERE a=1 UNION ALL SELECT 2 FROM t1 WHERE b=0
32  }
33} {1}
34do_test tkt1473-1.3 {
35  execsql {
36    SELECT 1 FROM t1 WHERE a=1 UNION SELECT 2 FROM t1 WHERE b=0
37  }
38} {1}
39do_test tkt1473-1.4 {
40  execsql {
41    SELECT 1 FROM t1 WHERE a=1 UNION ALL SELECT 2 FROM t1 WHERE b=4
42  }
43} {1 2}
44do_test tkt1473-1.5 {
45  execsql {
46    SELECT 1 FROM t1 WHERE a=1 UNION SELECT 2 FROM t1 WHERE b=4
47  }
48} {1 2}
49do_test tkt1473-1.6 {
50  execsql {
51    SELECT 1 FROM t1 WHERE a=0 UNION ALL SELECT 2 FROM t1 WHERE b=4
52  }
53} {2}
54do_test tkt1473-1.7 {
55  execsql {
56    SELECT 1 FROM t1 WHERE a=0 UNION SELECT 2 FROM t1 WHERE b=4
57  }
58} {2}
59do_test tkt1473-1.8 {
60  execsql {
61    SELECT 1 FROM t1 WHERE a=0 UNION ALL SELECT 2 FROM t1 WHERE b=0
62  }
63} {}
64do_test tkt1473-1.9 {
65  execsql {
66    SELECT 1 FROM t1 WHERE a=0 UNION SELECT 2 FROM t1 WHERE b=0
67  }
68} {}
69
70do_test tkt1473-2.2 {
71  execsql {
72    SELECT (SELECT 1 FROM t1 WHERE a=1 UNION ALL SELECT 2 FROM t1 WHERE b=0)
73  }
74} {1}
75do_test tkt1473-2.3 {
76  execsql {
77    SELECT (SELECT 1 FROM t1 WHERE a=1 UNION SELECT 2 FROM t1 WHERE b=0)
78  }
79} {1}
80do_test tkt1473-2.4 {
81  execsql {
82    SELECT (SELECT 1 FROM t1 WHERE a=1 UNION ALL SELECT 2 FROM t1 WHERE b=4)
83  }
84} {1}
85do_test tkt1473-2.5 {
86  execsql {
87    SELECT (SELECT 1 FROM t1 WHERE a=1 UNION SELECT 2 FROM t1 WHERE b=4)
88  }
89} {1}
90do_test tkt1473-2.6 {
91  execsql {
92    SELECT (SELECT 1 FROM t1 WHERE a=0 UNION ALL SELECT 2 FROM t1 WHERE b=4)
93  }
94} {2}
95do_test tkt1473-2.7 {
96  execsql {
97    SELECT (SELECT 1 FROM t1 WHERE a=0 UNION SELECT 2 FROM t1 WHERE b=4)
98  }
99} {2}
100do_test tkt1473-2.8 {
101  execsql {
102    SELECT (SELECT 1 FROM t1 WHERE a=0 UNION ALL SELECT 2 FROM t1 WHERE b=0)
103  }
104} {{}}
105do_test tkt1473-2.9 {
106  execsql {
107    SELECT (SELECT 1 FROM t1 WHERE a=0 UNION SELECT 2 FROM t1 WHERE b=0)
108  }
109} {{}}
110
111do_test tkt1473-3.2 {
112  execsql {
113    SELECT EXISTS
114      (SELECT 1 FROM t1 WHERE a=1 UNION ALL SELECT 2 FROM t1 WHERE b=0)
115  }
116} {1}
117do_test tkt1473-3.3 {
118  execsql {
119    SELECT EXISTS
120      (SELECT 1 FROM t1 WHERE a=1 UNION SELECT 2 FROM t1 WHERE b=0)
121  }
122} {1}
123do_test tkt1473-3.4 {
124  execsql {
125    SELECT EXISTS
126      (SELECT 1 FROM t1 WHERE a=1 UNION ALL SELECT 2 FROM t1 WHERE b=4)
127  }
128} {1}
129do_test tkt1473-3.5 {
130  execsql {
131    SELECT EXISTS
132      (SELECT 1 FROM t1 WHERE a=1 UNION SELECT 2 FROM t1 WHERE b=4)
133  }
134} {1}
135do_test tkt1473-3.6 {
136  execsql {
137    SELECT EXISTS
138      (SELECT 1 FROM t1 WHERE a=0 UNION ALL SELECT 2 FROM t1 WHERE b=4)
139  }
140} {1}
141do_test tkt1473-3.7 {
142  execsql {
143    SELECT EXISTS
144      (SELECT 1 FROM t1 WHERE a=0 UNION SELECT 2 FROM t1 WHERE b=4)
145  }
146} {1}
147do_test tkt1473-3.8 {
148  execsql {
149    SELECT EXISTS
150      (SELECT 1 FROM t1 WHERE a=0 UNION ALL SELECT 2 FROM t1 WHERE b=0)
151  }
152} {0}
153do_test tkt1473-3.9 {
154  execsql {
155    SELECT EXISTS
156      (SELECT 1 FROM t1 WHERE a=0 UNION SELECT 2 FROM t1 WHERE b=0)
157  }
158} {0}
159
160do_test tkt1473-4.1 {
161  execsql {
162    CREATE TABLE t2(x,y);
163    INSERT INTO t2 VALUES(1,2);
164    INSERT INTO t2 SELECT x+2, y+2 FROM t2;
165    INSERT INTO t2 SELECT x+4, y+4 FROM t2;
166    INSERT INTO t2 SELECT x+8, y+8 FROM t2;
167    INSERT INTO t2 SELECT x+16, y+16 FROM t2;
168    INSERT INTO t2 SELECT x+32, y+32 FROM t2;
169    INSERT INTO t2 SELECT x+64, y+64 FROM t2;
170    SELECT count(*), sum(x), sum(y) FROM t2;
171  }
172} {64 4096 4160}
173do_test tkt1473-4.2 {
174  execsql {
175    SELECT 1 FROM t2 WHERE x=0
176    UNION ALL
177    SELECT 2 FROM t2 WHERE x=1
178    UNION ALL
179    SELECT 3 FROM t2 WHERE x=2
180    UNION ALL
181    SELECT 4 FROM t2 WHERE x=3
182    UNION ALL
183    SELECT 5 FROM t2 WHERE x=4
184    UNION ALL
185    SELECT 6 FROM t2 WHERE y=0
186    UNION ALL
187    SELECT 7 FROM t2 WHERE y=1
188    UNION ALL
189    SELECT 8 FROM t2 WHERE y=2
190    UNION ALL
191    SELECT 9 FROM t2 WHERE y=3
192    UNION ALL
193    SELECT 10 FROM t2 WHERE y=4
194  }
195} {2 4 8 10}
196do_test tkt1473-4.3 {
197  execsql {
198    SELECT (
199      SELECT 1 FROM t2 WHERE x=0
200      UNION ALL
201      SELECT 2 FROM t2 WHERE x=1
202      UNION ALL
203      SELECT 3 FROM t2 WHERE x=2
204      UNION ALL
205      SELECT 4 FROM t2 WHERE x=3
206      UNION ALL
207      SELECT 5 FROM t2 WHERE x=4
208      UNION ALL
209      SELECT 6 FROM t2 WHERE y=0
210      UNION ALL
211      SELECT 7 FROM t2 WHERE y=1
212      UNION ALL
213      SELECT 8 FROM t2 WHERE y=2
214      UNION ALL
215      SELECT 9 FROM t2 WHERE y=3
216      UNION ALL
217      SELECT 10 FROM t2 WHERE y=4
218    )
219  }
220} {2}
221do_test tkt1473-4.4 {
222  execsql {
223    SELECT (
224      SELECT 1 FROM t2 WHERE x=0
225      UNION ALL
226      SELECT 2 FROM t2 WHERE x=-1
227      UNION ALL
228      SELECT 3 FROM t2 WHERE x=2
229      UNION ALL
230      SELECT 4 FROM t2 WHERE x=3
231      UNION ALL
232      SELECT 5 FROM t2 WHERE x=4
233      UNION ALL
234      SELECT 6 FROM t2 WHERE y=0
235      UNION ALL
236      SELECT 7 FROM t2 WHERE y=1
237      UNION ALL
238      SELECT 8 FROM t2 WHERE y=2
239      UNION ALL
240      SELECT 9 FROM t2 WHERE y=3
241      UNION ALL
242      SELECT 10 FROM t2 WHERE y=4
243    )
244  }
245} {4}
246do_test tkt1473-4.5 {
247  execsql {
248    SELECT (
249      SELECT 1 FROM t2 WHERE x=0
250      UNION ALL
251      SELECT 2 FROM t2 WHERE x=-1
252      UNION ALL
253      SELECT 3 FROM t2 WHERE x=2
254      UNION ALL
255      SELECT 4 FROM t2 WHERE x=-1
256      UNION ALL
257      SELECT 5 FROM t2 WHERE x=4
258      UNION ALL
259      SELECT 6 FROM t2 WHERE y=0
260      UNION ALL
261      SELECT 7 FROM t2 WHERE y=1
262      UNION ALL
263      SELECT 8 FROM t2 WHERE y=2
264      UNION ALL
265      SELECT 9 FROM t2 WHERE y=3
266      UNION ALL
267      SELECT 10 FROM t2 WHERE y=-4
268    )
269  }
270} {8}
271do_test tkt1473-4.6 {
272  execsql {
273    SELECT (
274      SELECT 1 FROM t2 WHERE x=0
275      UNION ALL
276      SELECT 2 FROM t2 WHERE x=-1
277      UNION ALL
278      SELECT 3 FROM t2 WHERE x=2
279      UNION ALL
280      SELECT 4 FROM t2 WHERE x=-2
281      UNION ALL
282      SELECT 5 FROM t2 WHERE x=4
283      UNION ALL
284      SELECT 6 FROM t2 WHERE y=0
285      UNION ALL
286      SELECT 7 FROM t2 WHERE y=1
287      UNION ALL
288      SELECT 8 FROM t2 WHERE y=-3
289      UNION ALL
290      SELECT 9 FROM t2 WHERE y=3
291      UNION ALL
292      SELECT 10 FROM t2 WHERE y=4
293    )
294  }
295} {10}
296do_test tkt1473-4.7 {
297  execsql {
298    SELECT (
299      SELECT 1 FROM t2 WHERE x=0
300      UNION ALL
301      SELECT 2 FROM t2 WHERE x=-1
302      UNION ALL
303      SELECT 3 FROM t2 WHERE x=2
304      UNION ALL
305      SELECT 4 FROM t2 WHERE x=-2
306      UNION ALL
307      SELECT 5 FROM t2 WHERE x=4
308      UNION ALL
309      SELECT 6 FROM t2 WHERE y=0
310      UNION ALL
311      SELECT 7 FROM t2 WHERE y=1
312      UNION ALL
313      SELECT 8 FROM t2 WHERE y=-3
314      UNION ALL
315      SELECT 9 FROM t2 WHERE y=3
316      UNION ALL
317      SELECT 10 FROM t2 WHERE y=-4
318    )
319  }
320} {{}}
321
322do_test tkt1473-5.3 {
323  execsql {
324    SELECT EXISTS (
325      SELECT 1 FROM t2 WHERE x=0
326      UNION ALL
327      SELECT 2 FROM t2 WHERE x=1
328      UNION ALL
329      SELECT 3 FROM t2 WHERE x=2
330      UNION ALL
331      SELECT 4 FROM t2 WHERE x=3
332      UNION ALL
333      SELECT 5 FROM t2 WHERE x=4
334      UNION ALL
335      SELECT 6 FROM t2 WHERE y=0
336      UNION ALL
337      SELECT 7 FROM t2 WHERE y=1
338      UNION ALL
339      SELECT 8 FROM t2 WHERE y=2
340      UNION ALL
341      SELECT 9 FROM t2 WHERE y=3
342      UNION ALL
343      SELECT 10 FROM t2 WHERE y=4
344    )
345  }
346} {1}
347do_test tkt1473-5.4 {
348  execsql {
349    SELECT EXISTS (
350      SELECT 1 FROM t2 WHERE x=0
351      UNION ALL
352      SELECT 2 FROM t2 WHERE x=-1
353      UNION ALL
354      SELECT 3 FROM t2 WHERE x=2
355      UNION ALL
356      SELECT 4 FROM t2 WHERE x=3
357      UNION ALL
358      SELECT 5 FROM t2 WHERE x=4
359      UNION ALL
360      SELECT 6 FROM t2 WHERE y=0
361      UNION ALL
362      SELECT 7 FROM t2 WHERE y=1
363      UNION ALL
364      SELECT 8 FROM t2 WHERE y=2
365      UNION ALL
366      SELECT 9 FROM t2 WHERE y=3
367      UNION ALL
368      SELECT 10 FROM t2 WHERE y=4
369    )
370  }
371} {1}
372
373do_test tkt1473-5.5 {
374  execsql {
375    SELECT EXISTS (
376      SELECT 1 FROM t2 WHERE x=0
377      UNION ALL
378      SELECT 2 FROM t2 WHERE x=-1
379      UNION ALL
380      SELECT 3 FROM t2 WHERE x=2
381      UNION ALL
382      SELECT 4 FROM t2 WHERE x=-1
383      UNION ALL
384      SELECT 5 FROM t2 WHERE x=4
385      UNION ALL
386      SELECT 6 FROM t2 WHERE y=0
387      UNION ALL
388      SELECT 7 FROM t2 WHERE y=1
389      UNION ALL
390      SELECT 8 FROM t2 WHERE y=2
391      UNION ALL
392      SELECT 9 FROM t2 WHERE y=3
393      UNION ALL
394      SELECT 10 FROM t2 WHERE y=-4
395    )
396  }
397} {1}
398do_test tkt1473-5.6 {
399  execsql {
400    SELECT EXISTS (
401      SELECT 1 FROM t2 WHERE x=0
402      UNION ALL
403      SELECT 2 FROM t2 WHERE x=-1
404      UNION ALL
405      SELECT 3 FROM t2 WHERE x=2
406      UNION ALL
407      SELECT 4 FROM t2 WHERE x=-2
408      UNION ALL
409      SELECT 5 FROM t2 WHERE x=4
410      UNION ALL
411      SELECT 6 FROM t2 WHERE y=0
412      UNION ALL
413      SELECT 7 FROM t2 WHERE y=1
414      UNION ALL
415      SELECT 8 FROM t2 WHERE y=-3
416      UNION ALL
417      SELECT 9 FROM t2 WHERE y=3
418      UNION ALL
419      SELECT 10 FROM t2 WHERE y=4
420    )
421  }
422} {1}
423do_test tkt1473-5.7 {
424  execsql {
425    SELECT EXISTS (
426      SELECT 1 FROM t2 WHERE x=0
427      UNION ALL
428      SELECT 2 FROM t2 WHERE x=-1
429      UNION ALL
430      SELECT 3 FROM t2 WHERE x=2
431      UNION ALL
432      SELECT 4 FROM t2 WHERE x=-2
433      UNION ALL
434      SELECT 5 FROM t2 WHERE x=4
435      UNION ALL
436      SELECT 6 FROM t2 WHERE y=0
437      UNION ALL
438      SELECT 7 FROM t2 WHERE y=1
439      UNION ALL
440      SELECT 8 FROM t2 WHERE y=-3
441      UNION ALL
442      SELECT 9 FROM t2 WHERE y=3
443      UNION ALL
444      SELECT 10 FROM t2 WHERE y=-4
445    )
446  }
447} {0}
448
449do_test tkt1473-6.3 {
450  execsql {
451    SELECT EXISTS (
452      SELECT 1 FROM t2 WHERE x=0
453      UNION
454      SELECT 2 FROM t2 WHERE x=1
455      UNION
456      SELECT 3 FROM t2 WHERE x=2
457      UNION
458      SELECT 4 FROM t2 WHERE x=3
459      UNION
460      SELECT 5 FROM t2 WHERE x=4
461      UNION
462      SELECT 6 FROM t2 WHERE y=0
463      UNION
464      SELECT 7 FROM t2 WHERE y=1
465      UNION
466      SELECT 8 FROM t2 WHERE y=2
467      UNION
468      SELECT 9 FROM t2 WHERE y=3
469      UNION
470      SELECT 10 FROM t2 WHERE y=4
471    )
472  }
473} {1}
474do_test tkt1473-6.4 {
475  execsql {
476    SELECT EXISTS (
477      SELECT 1 FROM t2 WHERE x=0
478      UNION
479      SELECT 2 FROM t2 WHERE x=-1
480      UNION
481      SELECT 3 FROM t2 WHERE x=2
482      UNION
483      SELECT 4 FROM t2 WHERE x=3
484      UNION
485      SELECT 5 FROM t2 WHERE x=4
486      UNION
487      SELECT 6 FROM t2 WHERE y=0
488      UNION
489      SELECT 7 FROM t2 WHERE y=1
490      UNION
491      SELECT 8 FROM t2 WHERE y=2
492      UNION
493      SELECT 9 FROM t2 WHERE y=3
494      UNION
495      SELECT 10 FROM t2 WHERE y=4
496    )
497  }
498} {1}
499
500do_test tkt1473-6.5 {
501  execsql {
502    SELECT EXISTS (
503      SELECT 1 FROM t2 WHERE x=0
504      UNION
505      SELECT 2 FROM t2 WHERE x=-1
506      UNION
507      SELECT 3 FROM t2 WHERE x=2
508      UNION
509      SELECT 4 FROM t2 WHERE x=-1
510      UNION
511      SELECT 5 FROM t2 WHERE x=4
512      UNION
513      SELECT 6 FROM t2 WHERE y=0
514      UNION
515      SELECT 7 FROM t2 WHERE y=1
516      UNION
517      SELECT 8 FROM t2 WHERE y=2
518      UNION
519      SELECT 9 FROM t2 WHERE y=3
520      UNION
521      SELECT 10 FROM t2 WHERE y=-4
522    )
523  }
524} {1}
525do_test tkt1473-6.6 {
526  execsql {
527    SELECT EXISTS (
528      SELECT 1 FROM t2 WHERE x=0
529      UNION
530      SELECT 2 FROM t2 WHERE x=-1
531      UNION
532      SELECT 3 FROM t2 WHERE x=2
533      UNION
534      SELECT 4 FROM t2 WHERE x=-2
535      UNION
536      SELECT 5 FROM t2 WHERE x=4
537      UNION
538      SELECT 6 FROM t2 WHERE y=0
539      UNION
540      SELECT 7 FROM t2 WHERE y=1
541      UNION
542      SELECT 8 FROM t2 WHERE y=-3
543      UNION
544      SELECT 9 FROM t2 WHERE y=3
545      UNION
546      SELECT 10 FROM t2 WHERE y=4
547    )
548  }
549} {1}
550do_test tkt1473-6.7 {
551  execsql {
552    SELECT EXISTS (
553      SELECT 1 FROM t2 WHERE x=0
554      UNION
555      SELECT 2 FROM t2 WHERE x=-1
556      UNION
557      SELECT 3 FROM t2 WHERE x=2
558      UNION
559      SELECT 4 FROM t2 WHERE x=-2
560      UNION
561      SELECT 5 FROM t2 WHERE x=4
562      UNION
563      SELECT 6 FROM t2 WHERE y=0
564      UNION
565      SELECT 7 FROM t2 WHERE y=1
566      UNION
567      SELECT 8 FROM t2 WHERE y=-3
568      UNION
569      SELECT 9 FROM t2 WHERE y=3
570      UNION
571      SELECT 10 FROM t2 WHERE y=-4
572    )
573  }
574} {0}
575do_test tkt1473-6.8 {
576  execsql {
577    SELECT EXISTS (
578      SELECT 1 FROM t2 WHERE x=0
579      UNION
580      SELECT 2 FROM t2 WHERE x=-1
581      UNION
582      SELECT 3 FROM t2 WHERE x=2
583      UNION
584      SELECT 4 FROM t2 WHERE x=-2
585      UNION
586      SELECT 5 FROM t2 WHERE x=4
587      UNION ALL
588      SELECT 6 FROM t2 WHERE y=0
589      UNION
590      SELECT 7 FROM t2 WHERE y=1
591      UNION
592      SELECT 8 FROM t2 WHERE y=-3
593      UNION
594      SELECT 9 FROM t2 WHERE y=3
595      UNION
596      SELECT 10 FROM t2 WHERE y=4
597    )
598  }
599} {1}
600do_test tkt1473-6.9 {
601  execsql {
602    SELECT EXISTS (
603      SELECT 1 FROM t2 WHERE x=0
604      UNION
605      SELECT 2 FROM t2 WHERE x=-1
606      UNION
607      SELECT 3 FROM t2 WHERE x=2
608      UNION
609      SELECT 4 FROM t2 WHERE x=-2
610      UNION
611      SELECT 5 FROM t2 WHERE x=4
612      UNION ALL
613      SELECT 6 FROM t2 WHERE y=0
614      UNION
615      SELECT 7 FROM t2 WHERE y=1
616      UNION
617      SELECT 8 FROM t2 WHERE y=-3
618      UNION
619      SELECT 9 FROM t2 WHERE y=3
620      UNION
621      SELECT 10 FROM t2 WHERE y=-4
622    )
623  }
624} {0}
625
626do_test tkt1473-7.1 {
627  execsql {
628    SELECT 1 FROM t2 WHERE x=1 EXCEPT SELECT 2 FROM t2 WHERE y=2
629  }
630} {1}
631do_test tkt1473-7.2 {
632  execsql {
633    SELECT (
634      SELECT 1 FROM t2 WHERE x=1 EXCEPT SELECT 2 FROM t2 WHERE y=2
635    )
636  }
637} {1}
638do_test tkt1473-7.3 {
639  execsql {
640    SELECT EXISTS (
641      SELECT 1 FROM t2 WHERE x=1 EXCEPT SELECT 2 FROM t2 WHERE y=2
642    )
643  }
644} {1}
645do_test tkt1473-7.4 {
646  execsql {
647    SELECT (
648      SELECT 1 FROM t2 WHERE x=0 EXCEPT SELECT 2 FROM t2 WHERE y=2
649    )
650  }
651} {{}}
652do_test tkt1473-7.5 {
653  execsql {
654    SELECT EXISTS (
655      SELECT 1 FROM t2 WHERE x=0 EXCEPT SELECT 2 FROM t2 WHERE y=2
656    )
657  }
658} {0}
659
660do_test tkt1473-8.1 {
661  execsql {
662    SELECT 1 FROM t2 WHERE x=1 INTERSECT SELECT 2 FROM t2 WHERE y=2
663  }
664} {}
665do_test tkt1473-8.1 {
666  execsql {
667    SELECT 1 FROM t2 WHERE x=1 INTERSECT SELECT 1 FROM t2 WHERE y=2
668  }
669} {1}
670do_test tkt1473-8.3 {
671  execsql {
672    SELECT (
673      SELECT 1 FROM t2 WHERE x=1 INTERSECT SELECT 2 FROM t2 WHERE y=2
674    )
675  }
676} {{}}
677do_test tkt1473-8.4 {
678  execsql {
679    SELECT (
680      SELECT 1 FROM t2 WHERE x=1 INTERSECT SELECT 1 FROM t2 WHERE y=2
681    )
682  }
683} {1}
684do_test tkt1473-8.5 {
685  execsql {
686    SELECT EXISTS (
687      SELECT 1 FROM t2 WHERE x=1 INTERSECT SELECT 2 FROM t2 WHERE y=2
688    )
689  }
690} {0}
691do_test tkt1473-8.6 {
692  execsql {
693    SELECT EXISTS (
694      SELECT 1 FROM t2 WHERE x=1 INTERSECT SELECT 1 FROM t2 WHERE y=2
695    )
696  }
697} {1}
698do_test tkt1473-8.7 {
699  execsql {
700    SELECT (
701      SELECT 1 FROM t2 WHERE x=0 INTERSECT SELECT 1 FROM t2 WHERE y=2
702    )
703  }
704} {{}}
705do_test tkt1473-8.8 {
706  execsql {
707    SELECT EXISTS (
708      SELECT 1 FROM t2 WHERE x=1 INTERSECT SELECT 1 FROM t2 WHERE y=0
709    )
710  }
711} {0}
712
713
714
715
716finish_test
717