Assertion failure at zend_lazy_object_del_info: `Assertion 'res == SUCCESS' failed.`

Description

The following code:

<?php
try {
$str = str_repeat('a', 1024 * 1024 * 1.25);
class C {
public $a;
}
$reflector = new ReflectionClass(C::class);
for ($i = 0; $i < 10000; $i++) {
$obj = $reflector->newLazyGhost(function ($obj) {});
$reflector->getProperty('a')->setRawValueWithoutLazyInitialization($obj, $obj);
}
} catch (\Throwable $_ffl_e) {}

Resulted in this output:

php: /home/fuzz/WorkSpace/fusion-fuzz/projects/php/php-src/Zend/zend_lazy_objects.c:164: void zend_lazy_object_del_info(const zend_object *): Assertion `res == SUCCESS' failed.
Aborted (core dumped)

To reproduce:

/home/fuzz/WorkSpace/fusion-fuzz/projects/php/php-src/sapi/cli/php  -d memory_limit=2M ./test.php

Commit:

fd8eaaf153f958c66068e3bc71b950ee33cb56e8

Configurations:

CC="clang-12" CXX="clang++-12" CFLAGS="-DZEND_VERIFY_TYPE_INFERENCE" CXXFLAGS="-DZEND_VERIFY_TYPE_INFERENCE" ./configure --enable-debug --enable-address-sanitizer --enable-undefined-sanitizer --enable-re2c-cgoto --enable-fpm --enable-litespeed --enable-phpdbg-debug --enable-zts --enable-bcmath --enable-calendar --enable-dba --enable-dl-test --enable-exif --enable-ftp --enable-gd --enable-gd-jis-conv --enable-mbstring --enable-pcntl --enable-shmop --enable-soap --enable-sockets --enable-sysvmsg --enable-zend-test --with-zlib --with-bz2 --with-curl --with-enchant --with-gettext --with-gmp --with-mhash --with-ldap --with-libedit --with-readline --with-snmp --with-sodium --with-xsl --with-zip --with-mysqli --with-pdo-mysql --with-pdo-pgsql --with-pgsql --with-sqlite3 --with-pdo-sqlite --with-webp --with-jpeg --with-freetype --enable-sigchild --with-readline --with-pcre-jit --with-iconv

Operating System:

Ubuntu 20.04 Host, Docker 0599jiangyc/flowfusion:latest

This bug was found by fusion-fuzz

related: #20905

PHP Version

nightly

Operating System

No response

失敗は Zend/zend_lazy_objects.c の 164 行目で報告されています。まず、指定された 2M のメモリ制限とデバッグ構成で、提供されている再現プログラム test.php を実行してください。zend_lazy_object_del_info と、関連する lazy object のクリーンアップパスを調査してください。再現プログラムがアサーション失敗で中断しなくなれば完了です。