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

Commencez par retracer la gestion par l’interpréteur PHP de l’opcode ZEND_BOOL_NOT et du gestionnaire d’objets do_operation, en utilisant comme contexte le code de prise en charge ext/zend_test et la modification liée de PHP 7.0. Exécutez l’exemple DoOperationNoCast fourni sur PHP 8.2 et vérifiez que le gestionnaire est invoqué et que le résultat correspond à la sortie d’objet attendue.