Merge branch 'PHP-8.3'

* PHP-8.3:
  [ci skip] NEWS
  [ci skip] NEWS
  Fix GH-13508: JITed QM_ASSIGN may be optimized out when op1 is null (#13610)

Author: arnaud-lb

ext/opcache/jit/zend_jit_trace.c

@@ -2881,7 +2881,7 @@ static zend_jit_reg_var* zend_jit_trace_allocate_registers(zend_jit_trace_rec *t
 					RA_IVAL_DEL(ssa_op->op1_use);
 					count--;
 				} else if (!zend_ssa_is_no_val_use(opline, ssa_op, ssa_op->op1_use)) {
-					zend_jit_trace_use_var(idx, ssa_op->op1_use, ssa_op->op1_def, ssa_op->op1_use_chain, 
+					zend_jit_trace_use_var(idx, ssa_op->op1_use, ssa_op->op1_def, ssa_op->op1_use_chain,
 						ra,
 						ssa, ssa_opcodes, op_array, op_array_ssa);
 					if (opline->op1_type != IS_CV) {

ext/opcache/tests/jit/qm_assign_004.phpt

@@ -0,0 +1,39 @@
+--TEST--
+JIT QM_ASSIGN: 004 missing type store
+--INI--
+opcache.enable=1
+opcache.enable_cli=1
+opcache.file_update_protection=0
+opcache.jit_buffer_size=1M
+--FILE--
+<?php
+
+function getPropertyScopes($props, $flags): array
+{
+    $propertyScopes = [];
+    foreach ($props as $prop) {
+        $tmp = 'x'.$flags;
+        $propertyScopes[] = $propertyScopes[] = ($flags & 1 ? false : null) . '';
+    }
+
+    return $propertyScopes;
+}
+
+var_dump(getPropertyScopes(['a'], 0));
+var_dump(getPropertyScopes(['a'], 0));
+?>
+DONE
+--EXPECT--
+array(2) {
+  [0]=>
+  string(0) ""
+  [1]=>
+  string(0) ""
+}
+array(2) {
+  [0]=>
+  string(0) ""
+  [1]=>
+  string(0) ""
+}
+DONE