Stdlib: preg_filter() — enum case subject must TypeError not LogicException (ext/pcre/php_pcre.c, php-src-strict)

[PurHur]

Category

stdlib — php-src-strict

Problem

Zend preg_filter() rejects enum case $subject operands with catchable TypeError (Argument #3 ($subject) must be of type array|string, … given). This compiler's ext/standard/preg_filter.php uses VmReflection::stringArg() / array checks that throw LogicException (preg_filter() subject must be a string or array in this compiler build) instead of TypeError.

Pairs #5859 (preg_replace() subject) and #5999 (other preg_* enum operands). preg_filter is not listed there.

php-src reference

• php/php-src ext/pcre/php_pcre.c
• php/php-src ext/standard/preg.c — preg_filter

PHP implementation target

• ext/standard/preg_filter.php — VmString::coerceStringBuiltinArg() + enum-case rejection before coercion
• JIT: ext/standard/JitPregFilter.php (pairs Stdlib: preg_filter() $limit / $flags — JIT/AOT lowering (ext/pcre/php_pcre.c parity) #4079)

Repro

test/repro/maintainer_preg_filter_enum.php:

<?php
declare(strict_types=1);
enum Color: string { case Red = 'red'; }
try {
    preg_filter('/red/', 'x', Color::Red);
} catch (Throwable $e) {
    echo get_class($e) . ': ' . $e->getMessage() . "\n";
}

./script/docker-exec.sh -- bash -lc '
php test/repro/maintainer_preg_filter_enum.php
php bin/vm.php test/repro/maintainer_preg_filter_enum.php
'

Zend: TypeError: preg_filter(): Argument #3 ($subject) must be of type array|string, Color given

VM (current): preg_filter() subject must be a string or array in this compiler build

Verification

• test/compliance/cases/stdlib/preg_filter_enum_typeerror.phpt
• VM parity first; JIT when JitPregFilter is wired

claim

Maintainer filed 2026-06-06 — live repro.

[PurHur]

Backlog-architect: shared repro + compliance gate tracked in #7390 (implement guards here; close both when PHPT green).

[PurHur]

claim: worker-lane-c — starting this run

[PurHur]

Merged in #7486.

Fix: preg_filter() $subject now validates via VmPreg::requireStringOrArraySubject() — enum cases throw catchable TypeError with Zend-shaped array|string message instead of LogicException.

Verification:

./script/docker-exec.sh -- bash -lc 'source script/php-env.sh
vendor/bin/phpunit --filter "PregFilterEnumTest|preg_filter_enum_typeerror"
php bin/vm.php test/repro/maintainer_preg_filter_enum.php'

→ OK (2 tests, 3 assertions) + TypeError: preg_filter(): Argument #3 ($subject) must be of type array|string, Color given