No warning message when Zend DTrace is enabled that opcache.jit is implictly disabled

[yangyang198703]

Description

When Zend DTrace is enabled via USE_ZEND_DTRACE environment var, turning on opcache.jit would complain about JIT is incompatible with third party extensions that override zend_execute_ex(). JIT disabled.")

The behavior is expected in the code as we check the zend_execute_ex function has been replaced.

php-src/ext/opcache/jit/zend_jit.c

Lines 3450 to 3452 in 18cfd94

	if (zend_execute_ex != execute_ex) {
	if (strcmp(sapi_module.name, "phpdbg") != 0) {
	zend_error(E_WARNING, "JIT is incompatible with third party extensions that override zend_execute_ex(). JIT disabled.");

And it was replaced in the following code when DTRACE is enabled

php-src/Zend/zend.c

Line 962 in 25360ef

zend_execute_ex = dtrace_execute_ex;

The problem is that the warning message is not covering this case, and I suggest we should explictly warn users about the DTrace behavior blocking JIT to be enabled.

PHP Version

PHP 8.2.19

Operating System

Any