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