mirror of
https://github.com/MariaDB/server.git
synced 2025-10-30 04:26:45 +03:00
c5975eaea1
Item_in_subselect::pushed_cond_guards[] array is allocated only when left_expr->maybe_null. And it is used (for row expressions) when left_expr->element_index(i)->maybe_null. For left_expr being a multi-column subquery, its maybe_null is always false when the subquery doesn't use tables (see Item_singlerow_subselect::fix_length_and_dec() and subselect_single_select_engine::fix_length_and_dec()), otherwise it's always true. But row elements can be NULL regardless, so let's always allocate pushed_cond_guards for multi-column subqueries, no matter whether its maybe_null was forced to true or false.
106 lines
2.2 KiB
Plaintext
106 lines
2.2 KiB
Plaintext
# Initialize tables for the test
|
|
|
|
--disable_warnings
|
|
drop table if exists x1;
|
|
drop table if exists x2;
|
|
--enable_warnings
|
|
|
|
set @tmp_subselect_nulls=@@optimizer_switch;
|
|
set optimizer_switch='semijoin=off';
|
|
|
|
create table x1(k int primary key, d1 int, d2 int);
|
|
create table x2(k int primary key, d1 int, d2 int);
|
|
|
|
insert into x1 values
|
|
(10, 10, 10),
|
|
(20, 20, 20),
|
|
(21, 20, null),
|
|
(30, null, 30),
|
|
(40, 40, 40);
|
|
insert into x2 values
|
|
(10, 10, 10),
|
|
(20, 20, 20),
|
|
(21, 20, null),
|
|
(30, null, 30);
|
|
|
|
# Test various IN and EXISTS queries with NULL values and UNKNOWN
|
|
# Q1 T=(10, 20) U=(21,30) F=(40)
|
|
select *
|
|
from x1
|
|
where (d1, d2) in (select d1, d2
|
|
from x2);
|
|
select *
|
|
from x1
|
|
where (d1, d2) in (select d1, d2
|
|
from x2) is true;
|
|
select *
|
|
from x1
|
|
where (d1, d2) in (select d1, d2
|
|
from x2) is false;
|
|
select *
|
|
from x1
|
|
where (d1, d2) in (select d1, d2
|
|
from x2) is unknown;
|
|
|
|
# Q2 T=(10, 20) U=(30) F=(21, 40)
|
|
select *
|
|
from x1
|
|
where d1 in (select d1
|
|
from x2
|
|
where x1.d2=x2.d2);
|
|
select *
|
|
from x1
|
|
where d1 in (select d1
|
|
from x2
|
|
where x1.d2=x2.d2) is true;
|
|
select *
|
|
from x1
|
|
where d1 in (select d1
|
|
from x2
|
|
where x1.d2=x2.d2) is false;
|
|
select *
|
|
from x1
|
|
where d1 in (select d1
|
|
from x2
|
|
where x1.d2=x2.d2) is unknown;
|
|
|
|
# Q3 T=(10, 20) U=() F=(21, 30, 40)
|
|
select *
|
|
from x1
|
|
where 1 in (select 1
|
|
from x2
|
|
where x1.d1=x2.d1 and x1.d2=x2.d2);
|
|
select *
|
|
from x1
|
|
where 1 in (select 1
|
|
from x2
|
|
where x1.d1=x2.d1 and x1.d2=x2.d2) is true;
|
|
select *
|
|
from x1
|
|
where 1 in (select 1
|
|
from x2
|
|
where x1.d1=x2.d1 and x1.d2=x2.d2) is false;
|
|
select *
|
|
from x1
|
|
where 1 in (select 1
|
|
from x2
|
|
where x1.d1=x2.d1 and x1.d2=x2.d2) is unknown;
|
|
|
|
# Q4 T=(10, 20) F=(21, 30, 40)
|
|
select *
|
|
from x1
|
|
where exists (select *
|
|
from x2
|
|
where x1.d1=x2.d1 and x1.d2=x2.d2);
|
|
|
|
set optimizer_switch= @tmp_subselect_nulls;
|
|
|
|
drop table x1;
|
|
drop table x2;
|
|
|
|
#
|
|
# MDEV-7339 Server crashes in Item_func_trig_cond::val_int
|
|
#
|
|
select (select 1, 2) in (select 3, 4);
|
|
select (select NULL, NULL) in (select 3, 4);
|