Implement match blocks

Author: iluuu1994

Zend/tests/match/block_arg_return.phpt

@@ -0,0 +1,10 @@
+--TEST--
+Match expression block must not use return
+--FILE--
+<?php
+foo(match (1) {
+    1 => { return; null }
+});
+?>
+--EXPECTF--
+Fatal error: Match expression whose result is used must not contain return, break, continue or goto in %s on line %d

Zend/tests/match/block_basic.phpt

@@ -0,0 +1,32 @@
+--TEST--
+Basic match blocks
+--FILE--
+<?php
+function foo() {
+    echo "foo()\n";
+}
+
+function bar() {
+    return 3;
+}
+
+function test($value) {
+    var_dump(match ($value) {
+        1 => { 1 },
+        2 => { $x = 2; $x },
+        3 => {
+            foo();
+            bar()
+        },
+    });
+}
+
+test(1);
+test(2);
+test(3);
+?>
+--EXPECT--
+int(1)
+int(2)
+foo()
+int(3)

Zend/tests/match/block_expr_break_escape.phpt

@@ -0,0 +1,10 @@
+--TEST--
+Match expression block must not use break
+--FILE--
+<?php
+var_dump(match ($value) {
+    1 => { break; [] },
+});
+?>
+--EXPECTF--
+Fatal error: Match expression whose result is used must not contain return, break, continue or goto in %s on line %d

Zend/tests/match/block_expr_break_no_escape.phpt

@@ -0,0 +1,17 @@
+--TEST--
+Match expression block may use break if block is not escaped
+--FILE--
+<?php
+var_dump(match (1) {
+    1 => {
+        foreach ([1, 2, 3] as $value) {
+            echo $value, "\n";
+            break;
+        }
+        42
+    },
+});
+?>
+--EXPECT--
+1
+int(42)

Zend/tests/match/block_expr_goto_escape.phpt

@@ -0,0 +1,14 @@
+--TEST--
+Match expression block must not use goto
+--FILE--
+<?php
+var_dump(match (1) {
+    1 => {
+        goto after;
+        42
+    },
+});
+after:
+?>
+--EXPECTF--
+Fatal error: Match expression whose result is used must not contain return, break, continue or goto in %s on line %d

Zend/tests/match/block_expr_goto_into.phpt

@@ -0,0 +1,14 @@
+--TEST--
+May not goto into match expression block
+--FILE--
+<?php
+goto in;
+var_dump(match (1) {
+    1 => {
+in:
+        42
+    },
+});
+?>
+--EXPECTF--
+Fatal error: 'goto' into loop or switch statement is disallowed in %s on line %d

Zend/tests/match/block_expr_no_result.phpt

@@ -0,0 +1,12 @@
+--TEST--
+Match expression block must return a value
+--FILE--
+<?php
+var_dump(match (1) {
+    1 => {
+        echo "Not returning anything\n";
+    },
+});
+?>
+--EXPECTF--
+Fatal error: Blocks of match expression with used result must return a value. Did you mean to omit the last semicolon? in %s on line %d

Zend/tests/match/block_expr_return.phpt

@@ -0,0 +1,10 @@
+--TEST--
+Match expression block must not use return
+--FILE--
+<?php
+var_dump(match ($value) {
+    1 => { return; [] },
+});
+?>
+--EXPECTF--
+Fatal error: Match expression whose result is used must not contain return, break, continue or goto in %s on line %d

Zend/tests/match/block_expr_throw.phpt

@@ -0,0 +1,20 @@
+--TEST--
+Throwing match expression block must clean up live-vars
+--FILE--
+<?php
+
+function throw_($value) {
+    var_dump([new \stdClass] + match ($value) {
+        1 => { throw new Exception('Exception with live var'); [] },
+    });
+}
+
+try {
+    throw_(1);
+} catch (Exception $e) {
+    echo $e->getMessage(), "\n";
+}
+
+?>
+--EXPECT--
+Exception with live var

Zend/tests/match/block_stmt_break_escape.phpt

@@ -0,0 +1,16 @@
+--TEST--
+Match statement block may break out of block
+--FILE--
+<?php
+match (1) {
+    1 => {
+        echo "Before break\n";
+        break;
+        echo "After break\n";
+    },
+};
+echo "After match\n";
+?>
+--EXPECT--
+Before break
+After match

Zend/tests/match/block_stmt_continue_escape.phpt

@@ -0,0 +1,17 @@
+--TEST--
+Match statement block may continue out of block, with a warning
+--FILE--
+<?php
+match (1) {
+    1 => {
+        echo "Before continue\n";
+        continue;
+        echo "After continue\n";
+    },
+};
+echo "After match\n";
+?>
+--EXPECTF--
+Warning: "continue" targeting switch is equivalent to "break" in %s on line %d
+Before continue
+After match

Zend/tests/match/block_stmt_goto_escape.phpt

@@ -0,0 +1,17 @@
+--TEST--
+May escape match statement block with goto
+--FILE--
+<?php
+match (1) {
+    1 => {
+        echo "Before goto\n";
+        goto after;
+        echo "After goto\n";
+    },
+};
+after:
+echo "After match\n";
+?>
+--EXPECT--
+Before goto
+After match

Zend/tests/match/block_stmt_goto_into.phpt

@@ -0,0 +1,14 @@
+--TEST--
+May not goto into match statement block
+--FILE--
+<?php
+goto in;
+match (1) {
+    1 => {
+in:
+        echo "Inside match block\n";
+    },
+};
+?>
+--EXPECTF--
+Fatal error: 'goto' into loop or switch statement is disallowed in %s on line %d

Zend/tests/match/block_stmt_with_result.phpt

@@ -0,0 +1,10 @@
+--TEST--
+Match statement block must not return a value
+--FILE--
+<?php
+match (1) {
+    1 => { 42 },
+};
+?>
+--EXPECTF--
+Fatal error: Blocks of match expression with unused result must not return a value in %s on line %d

Zend/zend_ast.h

@@ -148,6 +148,7 @@ enum _zend_ast_kind {
 	ZEND_AST_ATTRIBUTE,
 	ZEND_AST_MATCH,
 	ZEND_AST_MATCH_ARM,
+	ZEND_AST_MATCH_ARM_BLOCK,
 	ZEND_AST_NAMED_ARG,
 
 	/* 3 child nodes */