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

Inizia tracciando la gestione da parte dell’interprete PHP dell’opcode ZEND_BOOL_NOT e dell’handler degli oggetti do_operation, usando come contesto il codice di supporto ext/zend_test e la modifica collegata di PHP 7.0. Esegui l’esempio DoOperationNoCast fornito su PHP 8.2 e verifica che l’handler venga invocato e che il risultato corrisponda all’output dell’oggetto previsto.