Incorrect result of an anti-semi-join query

[zyguan]

Bug Report

Please answer these questions before submitting your issue. Thanks!

1. Minimal reproduce step (Required)

drop table if exists t1, t2;
create table t1 (c_int int);
create table t2 (c_int int);
insert into t1 values (1), (2), (3);
insert into t2 values (1), (null);
select * from t1 where c_int not in (select c_int from t2 where t1.c_int = t2.c_int);

2. What did you expect to see? (Required)

+-------+
| c_int |
+-------+
|     2 |
|     3 |
+-------+

3. What did you see instead (Required)

Empty set

4. What is your TiDB version? (Required)

master @ 6831e48
release-4.0 @ 61f1150

[time-and-fate]

/label sig/execution

[zyguan]

drop table if exists t1, t2;
create table t1 (c_int int);
create table t2 (c_int int);
insert into t1 values (1), (2), (3);
insert into t2 values (1), (null);
select * from t1 where c_int <> all (select c_int from t2 where t1.c_int = t2.c_int);

Found similar problem when using <> all (an alias of not in). @eurekaka

[eurekaka]

@zyguan hmmm, that is another code path of generating anti-semi-join. I will fix this later.