do_operation ZEND_BOOL_NOT not invoked

Description

The object handler do_operation is not invoked for the opcode ZEND_BOOL_NOT.

With the supporting code for PHP 8.2 ext/zend_test https://github.com/ranvis/php-src/commit/2c542eef94de90b20b6e8d86ebeafee5408b12c9,
the following code:

<?php
$a = new DoOperationNoCast(5);
var_dump(!$a);

Resulted in this output:

bool(false)

But I expected this output instead:

object(DoOperationNoCast)#2 (1) {
  ["val":"DoOperationNoCast":private]=>
  int(0)
}

The code !$obj is evaluated as !(bool)$obj instead.
This appears to have been introduced on PHP 7.0, the commit https://github.com/php/php-src/commit/e6180ebb640408c7ded804f5f65282122a059ddb.

PHP Version

dev-PHP-8.2

Operating System

irrelevant

まず、PHP インタープリターによる ZEND_BOOL_NOT opcode とオブジェクトハンドラー do_operation の処理を追跡します。その際、ext/zend_test のサポートコードとリンクされた PHP 7.0 の変更をコンテキストとして使用します。提供されている DoOperationNoCast の例を PHP 8.2 で実行し、ハンドラーが呼び出され、結果が期待されるオブジェクト出力と一致することを確認します。