Fix parsing of table-level CHECK constraints in CREATE TABLE

src/Parsers/CreateDefinitions.php

@@ -123,6 +123,7 @@ public static function parse(Parser $parser, TokensList $list, array $options =
          *      1 --------------------[ CONSTRAINT ]------------------> 1
          *      1 -----------------------[ key ]----------------------> 2
          *      1 -------------[ constraint / column name ]-----------> 2
+         *      1 ----------------------[ CHECK ]---------------------> 4
          *
          *      2 --------------------[ data type ]-------------------> 3
          *
@@ -165,6 +166,14 @@ public static function parse(Parser $parser, TokensList $list, array $options =
                 } elseif (($token->type === TokenType::Keyword) && ($token->flags & Token::FLAG_KEYWORD_KEY)) {
                     $expr->key = Keys::parse($parser, $list);
                     $state = 4;
+                } elseif ($token->type === TokenType::Keyword && $token->keyword === 'CHECK') {
+                    // Table-level CHECK constraint, optionally named:
+                    // [CONSTRAINT [symbol]] CHECK (expr) [[NOT] ENFORCED]
+                    // It has neither a data type nor a key, so it is
+                    // parsed with the field options, the same way a
+                    // column-level CHECK is parsed in state 3.
+                    $expr->options = OptionsArrays::parse($parser, $list, self::FIELD_OPTIONS);
+                    $state = 4;
                 } elseif ($token->type === TokenType::Symbol || $token->type === TokenType::None) {
                     $expr->name = $token->value;
                     if (! $expr->isConstraint) {
@@ -208,7 +217,7 @@ public static function parse(Parser $parser, TokensList $list, array $options =
 
                 $state = 5;
             } else {
-                if (! empty($expr->type) || ! empty($expr->key)) {
+                if (! empty($expr->type) || ! empty($expr->key) || ! empty($expr->options)) {
                     $ret[] = $expr;
                 }
 
@@ -228,7 +237,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) || ! empty($expr->options)) {
             $ret[] = $expr;
         }
 

tests/Parser/CreateStatementTest.php

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

tests/data/parser/parseCreateTableWithCheckConstraint.in

@@ -0,0 +1,11 @@
+CREATE TABLE table_name (
+  PrimaryKeyId INT UNSIGNED NOT NULL,
+  NextSequence INT UNSIGNED NOT NULL DEFAULT 1,
+  CreatedAt TIMESTAMP NOT NULL DEFAULT CURRENT_TIMESTAMP,
+  UpdatedAt TIMESTAMP NOT NULL DEFAULT CURRENT_TIMESTAMP
+    ON UPDATE CURRENT_TIMESTAMP,
+  PRIMARY KEY (PrimaryKeyId),
+  CONSTRAINT chk_next_sequence CHECK (NextSequence >= 1),
+  CONSTRAINT fk_name FOREIGN KEY (PrimaryKeyId) REFERENCES foreign_table_name (PrimaryKeyId)
+    ON UPDATE CASCADE ON DELETE CASCADE
+) ENGINE=InnoDB;