SELECT execution failed when using opt_rule_blacklist

[Nickelth]

Bug Report

Please answer these questions before submitting your issue. Thanks!

1. Minimal reproduce step (Required)

CREATE TABLE t0(c0 INTEGER UNSIGNED );
CREATE TABLE t1(c0 BOOL , c1 CHAR, c2 INT);
insert into t0 values(1), (2), (3);
insert into t1 values(0, 'a', 1), (1, 'b', 2), (1, 'c', 3);
INSERT INTO mysql.opt_rule_blacklist VALUES("predicate_push_down");
ADMIN reload opt_rule_blacklist;
SELECT t1.c0 FROM  t0 RIGHT JOIN t1 ON (NOT (false));

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

+------+
| c0   |
+------+
|    1 |
|    1 |
|    0 |
|    1 |
|    1 |
|    0 |
|    1 |
|    1 |
|    0 |
+------+

3. What did you see instead (Required)

ERROR 8118 (HY000): Failed to build executor

4. What is your TiDB version? (Required)

release version 8.0.0

[yibin87]

/sig planner

[yibin87]

/remove-sig execution

[yibin87]

SQL executes correctly without using opt_rule_blacklist, change to plan issue.

[hi-rustin]

I will take a look.

[hi-rustin]

Debug note:

The normal plan:

mysql> EXPLAIN SELECT t1.c0 FROM t0 RIGHT JOIN t1 ON (NOT (false));
+-----------------------------+--------------+-----------+---------------+--------------------------------+
| id                          | estRows      | task      | access object | operator info                  |
+-----------------------------+--------------+-----------+---------------+--------------------------------+
| HashJoin_6                  | 100000000.00 | root      |               | CARTESIAN right outer join     |
| ├─TableReader_11(Build)     | 10000.00     | root      |               | data:TableFullScan_10          |
| │ └─TableFullScan_10        | 10000.00     | cop[tikv] | table:t1      | keep order:false, stats:pseudo |
| └─TableReader_9(Probe)      | 10000.00     | root      |               | data:TableFullScan_8           |
|   └─TableFullScan_8         | 10000.00     | cop[tikv] | table:t0      | keep order:false, stats:pseudo |
+-----------------------------+--------------+-----------+---------------+--------------------------------+
5 rows in set (0.00 sec)