Fix parsing of table check constraints in CREATE TABLE

phpstan-baseline.neon

@@ -2147,12 +2147,12 @@ parameters:
 
 		-
 			message: "#^Dynamic call to static method PHPUnit\\\\Framework\\\\Assert\\:\\:assertEmpty\\(\\)\\.$#"
-			count: 2
+			count: 3
 			path: tests/Builder/CreateStatementTest.php
 
 		-
 			message: "#^Dynamic call to static method PHPUnit\\\\Framework\\\\Assert\\:\\:assertEquals\\(\\)\\.$#"
-			count: 35
+			count: 36
 			path: tests/Builder/CreateStatementTest.php
 
 		-

src/Components/CreateDefinition.php

@@ -201,6 +201,7 @@ public static function parse(Parser $parser, TokensList $list, array $options =
          *      0 -----------------------[ ( ]------------------------> 1
          *
          *      1 --------------------[ CONSTRAINT ]------------------> 1
+         *      1 ----------------------[ CHECK ]---------------------> 4
          *      1 -----------------------[ key ]----------------------> 2
          *      1 -------------[ constraint / column name ]-----------> 2
          *
@@ -244,6 +245,10 @@ public static function parse(Parser $parser, TokensList $list, array $options =
             } elseif ($state === 1) {
                 if ($token->type === Token::TYPE_KEYWORD && $token->keyword === 'CONSTRAINT') {
                     $expr->isConstraint = true;
+                } elseif ($token->type === Token::TYPE_KEYWORD && $token->keyword === 'CHECK') {
+                    // Table check constraint: [CONSTRAINT [symbol]] CHECK (expr)
+                    $expr->options = OptionsArray::parse($parser, $list, static::$FIELD_OPTIONS);
+                    $state = 4;
                 } elseif (($token->type === Token::TYPE_KEYWORD) && ($token->flags & Token::FLAG_KEYWORD_KEY)) {
                     $expr->key = Key::parse($parser, $list);
                     $state = 4;
@@ -290,7 +295,7 @@ public static function parse(Parser $parser, TokensList $list, array $options =
 
                 $state = 5;
             } elseif ($state === 5) {
-                if (! empty($expr->type) || ! empty($expr->key)) {
+                if (! empty($expr->type) || ! empty($expr->key) || $expr->options !== null) {
                     $ret[] = $expr;
                 }
 
@@ -310,7 +315,7 @@ public static function parse(Parser $parser, TokensList $list, array $options =
         }
 
         // Last iteration was not saved.
-        if (! empty($expr->type) || ! empty($expr->key)) {
+        if (! empty($expr->type) || ! empty($expr->key) || $expr->options !== null) {
             $ret[] = $expr;
         }
 

tests/Builder/CreateStatementTest.php

@@ -895,4 +895,19 @@ public function testBuildCreateTableWithUppercaseHexDefault(): void
         $this->assertEmpty($parser->errors);
         $this->assertStringContainsString("DEFAULT X'FF'", $parser->statements[0]->build());
     }
+
+    public function testBuildCreateTableCheckConstraint(): void
+    {
+        $sql = "CREATE TABLE `t` (\n"
+            . "  `a` int(11) DEFAULT NULL,\n"
+            . "  `b` int(11) DEFAULT NULL,\n"
+            . "  CONSTRAINT `chk_ab` CHECK (`a` < `b`),\n"
+            . "  CHECK (`b` > 0),\n"
+            . "  `c` int(11) DEFAULT NULL\n"
+            . ') ENGINE=InnoDB';
+
+        $parser = new Parser($sql);
+        $this->assertEmpty($parser->errors);
+        $this->assertEquals($sql, $parser->statements[0]->build());
+    }
 }

tests/Parser/CreateStatementTest.php

@@ -71,6 +71,7 @@ public static function createProvider(): array
             ['parser/parseCreateTableTimestampWithPrecision'],
             ['parser/parseCreateTableEnforcedCheck'],
             ['parser/parseCreateTableNotEnforcedCheck'],
+            ['parser/parseCreateTableCheckConstraint'],
             ['parser/parseCreateTableWithInvisibleKey'],
             ['parser/parseCreateTableWithParser'],
             ['parser/parseCreateTableUuidColumn_mariadb_100700'],

tests/data/parser/parseCreateTableCheckConstraint.in

@@ -0,0 +1,9 @@
+CREATE TABLE `t` (
+  `a` int(11) DEFAULT NULL,
+  `b` int(11) DEFAULT NULL CHECK (`b` > 0),
+  CONSTRAINT `chk_ab` CHECK (`a` < `b`),
+  CONSTRAINT CHECK (`a` <> 42),
+  CHECK (`b` != 0xDEAD),
+  CONSTRAINT `chk_not_enforced` CHECK (`a` > 0) NOT ENFORCED,
+  `c` int(11) DEFAULT NULL
+) ENGINE=InnoDB;