Test with arg opt enabled

nielsdos · nielsdos · commit 24c31a6c3eb6 · 2023-04-28T20:00:52.000+02:00
diff --git a/Zend/Optimizer/dfa_pass.c b/Zend/Optimizer/dfa_pass.c
@@ -1091,12 +1091,12 @@ static void zend_dfa_optimize_send_copies(zend_op_array *op_array, zend_ssa *ssa
 		}
 
 		int ssa_cv = ssa_op->op1_use;
-
+#if 0
 		/* Argument move must not be observable in backtraces */
 		if (ssa->vars[ssa_cv].var < op_array->num_args) {
 			continue;
 		}
-
+#endif
 		/* Unsetting a CV is always fine if it gets overwritten afterwards.
 		 * Since type inference often infers very wide types, we are very loose in matching types. */
 		uint32_t type = ssa->var_info[ssa_cv].type;

Original file line number	Diff line number	Diff line change
`@@ -1091,12 +1091,12 @@ static void zend_dfa_optimize_send_copies(zend_op_array op_array, zend_ssa ssa`
`1091`	`1091`	`}`
`1092`	`1092`
`1093`	`1093`	`int ssa_cv = ssa_op->op1_use;`
`1094`		`-`
	`1094`	`+#if 0`
`1095`	`1095`	`/* Argument move must not be observable in backtraces */`
`1096`	`1096`	`if (ssa->vars[ssa_cv].var < op_array->num_args) {`
`1097`	`1097`	`continue;`
`1098`	`1098`	`}`
`1099`		`-`
	`1099`	`+#endif`
`1100`	`1100`	`/* Unsetting a CV is always fine if it gets overwritten afterwards.`
`1101`	`1101`	`* Since type inference often infers very wide types, we are very loose in matching types. */`
`1102`	`1102`	`uint32_t type = ssa->var_info[ssa_cv].type;`