Add (void) cast

RFC: https://wiki.php.net/rfc/marking_return_value_as_important

Author: TimWolla

Zend/Optimizer/block_pass.c

@@ -274,7 +274,9 @@ static void zend_optimize_block(zend_basic_block *block, zend_op_array *op_array
 				 * If it's not local, then the other blocks successors must also eventually either FREE or consume the temporary,
 				 * hence removing the temporary is not safe in the general case, especially when other consumers are not FREE.
 				 * A FREE may not be removed without also removing the source's result, because otherwise that would cause a memory leak. */
-				if (opline->op1_type == IS_TMP_VAR) {
+				if (opline->extended_value == ZEND_FREE_VOID_CAST) {
+					/* Keep the ZEND_FREE opcode alive. */
+				} else if (opline->op1_type == IS_TMP_VAR) {
 					src = VAR_SOURCE(opline->op1);
 					if (src) {
 						switch (src->opcode) {

Zend/Optimizer/dce.c

@@ -80,7 +80,6 @@ static inline bool may_have_side_effects(
 		case ZEND_IS_IDENTICAL:
 		case ZEND_IS_NOT_IDENTICAL:
 		case ZEND_QM_ASSIGN:
-		case ZEND_FREE:
 		case ZEND_FE_FREE:
 		case ZEND_TYPE_CHECK:
 		case ZEND_DEFINED:
@@ -127,6 +126,8 @@ static inline bool may_have_side_effects(
 		case ZEND_ARRAY_KEY_EXISTS:
 			/* No side effects */
 			return 0;
+		case ZEND_FREE:
+			return opline->extended_value == ZEND_FREE_VOID_CAST;
 		case ZEND_ADD_ARRAY_ELEMENT:
 			/* TODO: We can't free two vars. Keep instruction alive. <?php [0, "$a" => "$b"]; */
 			if ((opline->op1_type & (IS_VAR|IS_TMP_VAR)) && (opline->op2_type & (IS_VAR|IS_TMP_VAR))) {

Zend/tests/type_casts/cast_to_void.phpt

@@ -0,0 +1,47 @@
+--TEST--
+casting different variables to void
+--FILE--
+<?php
+
+$r = fopen(__FILE__, "r");
+
+class test {
+    private $var1 = 1;
+    public $var2 = 2;
+    protected $var3 = 3;
+
+    function  __toString() {
+        return "10";
+    }
+}
+
+$o = new test;
+
+$vars = array(
+    "string",
+    "",
+    "\0",
+    "8754456",
+    9876545,
+    0.10,
+    array(),
+    array(1,2,3),
+    false,
+    true,
+    NULL,
+    $r,
+    $o
+);
+
+foreach ($vars as $var) {
+    (void)$var;
+}
+
+// Cast literals to verify behavior for optimized const zvals
+(void)"foo";
+(void)["foo", "bar"];
+
+echo "Done\n";
+?>
+--EXPECTF--
+Done

Zend/tests/type_casts/cast_to_void_destructor.phpt

@@ -0,0 +1,30 @@
+--TEST--
+casting to void destroys the value.
+--FILE--
+<?php
+
+class WithDestructor {
+	public function __destruct() {
+		echo __METHOD__, PHP_EOL;
+	}
+}
+
+function test(): WithDestructor {
+	return new WithDestructor();
+}
+
+function do_it(): void {
+	echo "Before", PHP_EOL;
+
+	(void)test();
+
+	echo "After", PHP_EOL;
+}
+
+do_it();
+
+?>
+--EXPECT--
+Before
+WithDestructor::__destruct
+After

Zend/tests/type_casts/cast_to_void_statement.phpt

@@ -0,0 +1,44 @@
+--TEST--
+casting to void is a statement
+--FILE--
+<?php
+
+$r = fopen(__FILE__, "r");
+
+class test {
+    private $var1 = 1;
+    public $var2 = 2;
+    protected $var3 = 3;
+
+    function  __toString() {
+        return "10";
+    }
+}
+
+$o = new test;
+
+$vars = array(
+    "string",
+    "",
+    "\0",
+    "8754456",
+    9876545,
+    0.10,
+    array(),
+    array(1,2,3),
+    false,
+    true,
+    NULL,
+    $r,
+    $o
+);
+
+foreach ($vars as $var) {
+    $tmp = (void)$var;
+    var_dump($tmp);
+}
+
+echo "Done\n";
+?>
+--EXPECTF--
+Parse error: syntax error, unexpected token "(void)" in %s on line %d

Zend/zend_ast.h

@@ -84,6 +84,7 @@ enum _zend_ast_kind {
 	ZEND_AST_UNARY_PLUS,
 	ZEND_AST_UNARY_MINUS,
 	ZEND_AST_CAST,
+	ZEND_AST_CAST_VOID,
 	ZEND_AST_EMPTY,
 	ZEND_AST_ISSET,
 	ZEND_AST_SILENCE,

Zend/zend_compile.c

@@ -10589,6 +10589,25 @@ static void zend_compile_include_or_eval(znode *result, zend_ast *ast) /* {{{ */
 }
 /* }}} */
 
+static void zend_compile_void_cast(znode *result, zend_ast *ast)
+{
+	zend_ast *expr_ast = ast->child[0];
+	znode expr_node;
+	zend_op *opline;
+
+	zend_do_extended_fcall_begin();
+	zend_compile_expr(&expr_node, expr_ast);
+
+	switch (expr_node.op_type) {
+		case IS_TMP_VAR:
+		case IS_VAR:
+		case IS_CONST:
+			opline = zend_emit_op(NULL, ZEND_FREE, &expr_node, NULL);
+			opline->extended_value = ZEND_FREE_VOID_CAST;
+			break;
+	}
+}
+
 static void zend_compile_isset_or_empty(znode *result, zend_ast *ast) /* {{{ */
 {
 	zend_ast *var_ast = ast->child[0];
@@ -11547,6 +11566,9 @@ static void zend_compile_stmt(zend_ast *ast) /* {{{ */
 		case ZEND_AST_THROW:
 			zend_compile_expr(NULL, ast);
 			break;
+		case ZEND_AST_CAST_VOID:
+			zend_compile_void_cast(NULL, ast);
+			break;
 		default:
 		{
 			znode result;

Zend/zend_compile.h

@@ -1092,6 +1092,7 @@ ZEND_API zend_string *zend_type_to_string(zend_type type);
 
 #define ZEND_FREE_ON_RETURN     (1<<0)
 #define ZEND_FREE_SWITCH        (1<<1)
+#define ZEND_FREE_VOID_CAST     (1<<2)
 
 #define ZEND_SEND_BY_VAL     0u
 #define ZEND_SEND_BY_REF     1u

Zend/zend_language_parser.y

@@ -217,6 +217,7 @@ static YYSIZE_T zend_yytnamerr(char*, const char*);
 %token T_OBJECT_CAST "'(object)'"
 %token T_BOOL_CAST   "'(bool)'"
 %token T_UNSET_CAST  "'(unset)'"
+%token T_VOID_CAST   "'(void)'"
 %token T_OBJECT_OPERATOR "'->'"
 %token T_NULLSAFE_OBJECT_OPERATOR "'?->'"
 %token T_DOUBLE_ARROW    "'=>'"
@@ -534,6 +535,7 @@ statement:
 			{ $$ = zend_ast_create(ZEND_AST_TRY, $3, $5, $6); }
 	|	T_GOTO T_STRING ';' { $$ = zend_ast_create(ZEND_AST_GOTO, $2); }
 	|	T_STRING ':' { $$ = zend_ast_create(ZEND_AST_LABEL, $1); }
+	|	T_VOID_CAST expr ';' { $$ = zend_ast_create(ZEND_AST_CAST_VOID, $2); }
 ;
 
 catch_list:

Zend/zend_language_scanner.l

@@ -1657,6 +1657,10 @@ OPTIONAL_WHITESPACE_OR_COMMENTS ({WHITESPACE}|{MULTI_LINE_COMMENT}|{SINGLE_LINE_
 	RETURN_TOKEN(T_UNSET_CAST);
 }
 
+<ST_IN_SCRIPTING>"("{TABS_AND_SPACES}("void"){TABS_AND_SPACES}")" {
+	RETURN_TOKEN(T_VOID_CAST);
+}
+
 <ST_IN_SCRIPTING>"eval" {
 	RETURN_TOKEN_WITH_IDENT(T_EVAL);
 }

Zend/zend_vm_def.h

@@ -3202,12 +3202,12 @@ ZEND_VM_COLD_CONST_HANDLER(47, ZEND_JMPNZ_EX, CONST|TMPVAR|CV, JMP_ADDR)
 	ZEND_VM_JMP(opline);
 }
 
-ZEND_VM_HANDLER(70, ZEND_FREE, TMPVAR, ANY)
+ZEND_VM_HANDLER(70, ZEND_FREE, CONST|TMPVAR, ANY)
 {
 	USE_OPLINE
 
 	SAVE_OPLINE();
-	zval_ptr_dtor_nogc(EX_VAR(opline->op1.var));
+	FREE_OP1();
 	ZEND_VM_NEXT_OPCODE_CHECK_EXCEPTION();
 }