This is an automated cherry-pick of pingcap#38966

Signed-off-by: YangKeao <[email protected]>

planner/core/integration_test.go

@@ -4992,3 +4992,14 @@ func (s *testIntegrationSuite) TestExplainAnalyzeDMLCommit(c *C) {
 	c.Assert(err, IsNil)
 	tk.MustQuery("select * from t").Check(testkit.Rows())
 }
+
+func TestAutoIncrementCheckWithCheckConstraint(t *testing.T) {
+	store := testkit.CreateMockStore(t)
+	tk := testkit.NewTestKit(t, store)
+	tk.MustExec("use test")
+	tk.MustExec(`CREATE TABLE t (
+		id INTEGER NOT NULL AUTO_INCREMENT,
+		CHECK (id IN (0, 1)),
+		KEY idx_autoinc_id (id)
+	)`)
+}

planner/core/preprocess.go

@@ -566,6 +566,10 @@ func checkAutoIncrementOp(colDef *ast.ColumnDef, index int) (bool, error) {
 
 func isConstraintKeyTp(constraints []*ast.Constraint, colDef *ast.ColumnDef) bool {
 	for _, c := range constraints {
+		// ignore constraint check
+		if c.Tp == ast.ConstraintCheck {
+			continue
+		}
 		if c.Keys[0].Expr != nil {
 			continue
 		}