planner: fixed index out of range, in explicit partition pruning (pingcap#62468)

close pingcap#62458

Author: yihong0618

pkg/planner/core/point_get_plan.go

@@ -676,6 +676,10 @@ func isInExplicitPartitions(pi *model.PartitionInfo, idx int, names []ast.CIStr)
 	if len(names) == 0 {
 		return true
 	}
+	// partIdx can be -1 more to check issue #62458
+	if pi == nil || idx < 0 || idx >= len(pi.Definitions) {
+		return false
+	}
 	s := pi.Definitions[idx].Name.L
 	for _, name := range names {
 		if s == name.L {

tests/integrationtest/r/executor/issues.result

@@ -1037,6 +1037,9 @@ NULL
 SELECT IS_IPV6(NULL + INTERVAL 1 DAY);
 IS_IPV6(NULL + INTERVAL 1 DAY)
 NULL
+CREATE TABLE test_62458 (c1 INT, c2 VARCHAR(255)) PARTITION BY LIST (c1) (PARTITION p1 VALUES IN (1, 2, 3), PARTITION p2 VALUES IN (4, 5, 6));
+CREATE UNIQUE INDEX i ON test_62458 (c1);
+DELETE FROM test_62458 PARTITION (p1) WHERE c1 = 15;
 CREATE TABLE test_62457 (c INT) PARTITION BY RANGE (c) (PARTITION p VALUES LESS THAN (10));
 ALTER TABLE test_62457 ADD COLUMN c2 INT AS (JSON_EXTRACT(c, '$.number')) VIRTUAL;
 Error 3146 (22032): Invalid data type for JSON data in argument 1 to function json_extract; a JSON string or JSON type is required.

tests/integrationtest/t/executor/issues.test

@@ -791,6 +791,10 @@ SELECT IS_IPV4(IF(1, NULL, '127.0.0.1'));
 SELECT IS_IPV4_COMPAT(NULL);
 SELECT IS_IPV6(NULL + INTERVAL 1 DAY);
 
+# TestIssue62458 should no error
+CREATE TABLE test_62458 (c1 INT, c2 VARCHAR(255)) PARTITION BY LIST (c1) (PARTITION p1 VALUES IN (1, 2, 3), PARTITION p2 VALUES IN (4, 5, 6));
+CREATE UNIQUE INDEX i ON test_62458 (c1);
+DELETE FROM test_62458 PARTITION (p1) WHERE c1 = 15;
 # TestIssue62457 should raise error
 CREATE TABLE test_62457 (c INT) PARTITION BY RANGE (c) (PARTITION p VALUES LESS THAN (10));
 -- error 3146