Assertion failure at link_errno_read in ext/mysqli/mysqli_prop.c

Description

#17900

The following code:

<?php
try {
try { $cls = new mysqli(); } catch (\Throwable $_e) { $cls = new stdClass(); }
$path = $argv[1] ?? __FILE__;
if (is_file($path)) {
$code = file_get_contents($path);
if ($code !== false) {
eval('?>' . $code);
}
}
var_dump(get_defined_vars());
try { $cls->connect($fusion,$fusion,$fusion,$fusion,$fusion,$fusion); } catch (\Throwable $e) {};
} catch (\Throwable $_ffl_e) {}

Resulted in this output:

php: /home/fuzz/WorkSpace/fusion-fuzz/projects/php/php-src/ext/mysqli/mysqli_prop.c:225: zend_result link_errno_read(mysqli_object *, zval *, _Bool): Assertion `p' failed.
Aborted (core dumped)

To reproduce:

/home/fuzz/WorkSpace/fusion-fuzz/projects/php/php-src/sapi/cli/php  ./test.php

Commit:

55c4eb2a1b859c04c1eab8b17b15825e656e5a83

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

PHP Version

nightly

Operating System

No response

ext/mysqli/mysqli_prop.c の 225 行目から始め、提供された PHP スクリプトとデバッグ CLI コマンドを使って assertion を再現します。mysqli の接続呼び出しを通じて link_errno_read を追跡し、報告された状態を再現手順と比較します; 指定された構成でスクリプトがこの assertion によって abort しなくなれば完了です。