Fix optimization of HAS_TYPE

Author: iluuu1994

Zend/Optimizer/block_pass.c

@@ -997,6 +997,14 @@ static void zend_optimize_block(zend_basic_block *block, zend_op_array *op_array
 					}
 				}
 				break;
+
+			case ZEND_HAS_TYPE:
+				if (opline->op1_type & (IS_TMP_VAR|IS_VAR)) {
+					/* Variable will be deleted later by FREE, so we can't optimize it */
+					Tsource[VAR_NUM(opline->op1.var)] = NULL;
+					break;
+				}
+				break;
 		}
 
 		/* get variable source */

Zend/zend_opcode.c

@@ -906,7 +906,8 @@ static bool keeps_op1_alive(zend_op *opline) {
 	 || opline->opcode == ZEND_FETCH_LIST_R
 	 || opline->opcode == ZEND_FETCH_LIST_W
 	 || opline->opcode == ZEND_COPY_TMP
-	 || opline->opcode == ZEND_EXT_STMT) {
+	 || opline->opcode == ZEND_EXT_STMT
+	 || opline->opcode == ZEND_HAS_TYPE) {
 		return true;
 	}
 	ZEND_ASSERT(opline->opcode != ZEND_FE_FETCH_R