1--TEST--
2JIT: ignored opcodes
3--INI--
4opcache.enable=1
5opcache.enable_cli=1
6opcache.file_update_protection=0
7opcache.jit=function
8;opcache.jit_debug=257
9zend_test.observer.enabled=1
10zend_test.observer.show_output=1
11zend_test.observer.observe_all=1
12zend_test.observer.show_opcode_in_user_handler=ZEND_EXIT, ZEND_BEGIN_SILENCE, ZEND_END_SILENCE
13--EXTENSIONS--
14opcache
15zend_test
16--FILE--
17<?php
18function test(): int
19{
20    return 0;
21}
22
23exit(@test());
24?>
25--EXPECTF--
26<!-- init '%s' -->
27<file '%s'>
28  <!-- opcode: 'ZEND_BEGIN_SILENCE' in user handler -->
29  <!-- opcode: 'ZEND_END_SILENCE' in user handler -->
30  <!-- opcode: 'ZEND_EXIT' in user handler -->
31  <!-- Exception: UnwindExit -->
32</file '%s'>
33