File tree Expand file tree Collapse file tree 1 file changed +13
-5
lines changed Expand file tree Collapse file tree 1 file changed +13
-5
lines changed Original file line number Diff line number Diff line change @@ -4228,11 +4228,19 @@ ZEND_EXT_API int zend_jit_check_support(void)
4228
4228
}
4229
4229
4230
4230
for (i = 0 ; i <= 256 ; i ++ ) {
4231
- if (zend_get_user_opcode_handler (i ) != NULL ) {
4232
- zend_error (E_WARNING , "JIT is incompatible with third party extensions that setup user opcode handlers. JIT disabled." );
4233
- JIT_G (enabled ) = 0 ;
4234
- JIT_G (on ) = 0 ;
4235
- return FAILURE ;
4231
+ switch (i ) {
4232
+ /* JIT has no effect on these opcodes */
4233
+ case ZEND_BEGIN_SILENCE :
4234
+ case ZEND_END_SILENCE :
4235
+ case ZEND_EXIT :
4236
+ break ;
4237
+ default :
4238
+ if (zend_get_user_opcode_handler (i ) != NULL ) {
4239
+ zend_error (E_WARNING , "JIT is incompatible with third party extensions that setup user opcode handlers. JIT disabled." );
4240
+ JIT_G (enabled ) = 0 ;
4241
+ JIT_G (on ) = 0 ;
4242
+ return FAILURE ;
4243
+ }
4236
4244
}
4237
4245
}
4238
4246
You can’t perform that action at this time.
0 commit comments