Stdlib: dirname()/basename()/realpath()/pathinfo() — enum path operands must TypeError (ext/standard)

[PurHur]

Category

stdlib (php-src-strict)

Problem

Path builtins accept backed enum case path operands on VM (dirname, basename, realpath succeed; pathinfo throws generic build Error) while Zend throws TypeError on all four.

Distinct from filesystem stat/stream path guards (#5735 covers file_get_contents/fopen/… but not the pathinfo family).

php-src reference

• php/php-src ext/standard/url.c — php_dirname, php_basename
• php/php-src ext/standard/filestat.c — php_realpath
• php/php-src ext/standard/basic_functions.c — PHP_FUNCTION(pathinfo)

Repro (verified 2026-06-04)

<?php
enum Ep: string { case P = '/tmp/foo/bar.php'; }
foreach (['dirname', 'basename', 'realpath', 'pathinfo'] as $fn) {
    try {
        $fn(Ep::P);
        echo "{$fn} ok\n";
    } catch (Throwable $e) {
        echo $fn, ' ', $e::class, ': ', $e->getMessage(), "\n";
    }
}

docker info >/dev/null
./script/docker-exec.sh -- bash -lc 'php repro.php'
./script/docker-exec.sh -- bash -lc 'php bin/vm.php repro.php'

Function	Zend PHP 8.2	VM (today)
dirname	TypeError	succeeds ❌
basename	TypeError	succeeds ❌
realpath	TypeError	succeeds ❌
pathinfo	TypeError	generic Error message ❌

Scope (PHP-in-PHP)

Layer	Path
VM	ext/standard/dirname.php, basename.php, realpath.php, pathinfo.php — path arg validator rejecting TYPE_ENUM_CASE
JIT	matching Jit* lowerers
Tests	test/compliance/cases/stdlib/pathinfo_enum_type_error.phpt

Acceptance

• All four throw TypeError matching Zend on enum path operands
• No silent path coercion via backing string
• ./script/ci-fast.sh --filter pathinfo_enum green

Related

• Stdlib: filesystem path builtins — enum path operands must TypeError (ext/standard/filestat.c) #5735 filesystem path builtins · Stdlib: string builtins must TypeError on enum case operands (ext/standard/string.c) #5524 · Stdlib: builtin argument count errors should be ArgumentCountError (not LogicException) #4145 · Epic: Self-host critical path — compiler compiles itself (M3→M5) #1492

[PurHur]

claim: PHP Compiler STD Lib — starting this run

[PurHur]

Merged via #7492.

Verification (green):

• `vendor/bin/phpunit --filter pathinfo_enum_type_error` — VM + JIT compliance (2/2)
• `php bin/compile.php -l` on issue repro — AOT lint OK

All four path builtins now throw catchable `TypeError` on backed enum path operands matching Zend (`Ep given`), via `VmString::coerceStringBuiltinArg` / `JitStringBuiltinArg` in `ext/standard/{dirname,basename,realpath,pathinfo}.php`.