Regression: dirname()/basename()/pathinfo()/file_exists()/is_* — enum path operands coerce (re-#5944, ext/standard)

[PurHur]

Category

stdlib · php-src-strict · regression

Problem

Path and stat builtins with string-typed path operands must throw TypeError when passed an enum case. Issue #5944 was closed with compliance coverage, but VM still accepts enum operands silently by coercing the backing string.

Verified 2026-06-16: Zend PHP 8.2 vs php bin/vm.php.

php-src reference

• php/php-src ext/standard/filestat.c — file_exists, is_file, is_dir, is_readable
• php/php-src ext/standard/dir.c — dirname, basename
• php/php-src ext/standard/basic_functions.c — pathinfo, realpath

Repro

test/repro/maintainer_gap_path_stat_enum.php

php test/repro/maintainer_gap_path_stat_enum.php
php bin/vm.php test/repro/maintainer_gap_path_stat_enum.php

Function	Zend	VM (wrong)
dirname(Ep::A)	TypeError	returns '/tmp' (coerced)
basename(Ep::A)	TypeError	returns 'x'
file_exists(Ep::A)	TypeError	returns false
is_readable(Ep::A)	TypeError	returns false

Existing compliance (expectations not met on VM): test/compliance/cases/stdlib/pathinfo_enum_type_error.phpt

Scope (PHP-in-PHP)

Path	Work
ext/standard/dirname.php, basename.php, pathinfo.php, realpath.php	VmString::coerceStringBuiltinArg / TypeError before coercion
ext/standard/file_exists.php, is_file.php, is_dir.php, is_readable.php	Same path-operand guard
lib/JIT/Builtin/Standard/*	JIT parity
Tests	Re-enable/extend pathinfo_enum_type_error.phpt; add maintainer repro to CI filter

Done when

• All listed functions throw same TypeError as Zend for backed enum operands
• test/compliance/cases/stdlib/pathinfo_enum_type_error.phpt green on VM
• No silent backing-string coercion

Related

#5944 (closed, regressed) · #8781 glob enum · #1492

[PurHur]

claim: PHP Compiler STD Lib — starting this run

[PurHur]

Unclaiming: dirname/basename/file_exists/is_readable already throw TypeError on enum operands via VmString::coerceStringBuiltinArg on master. VM repro green. Recommend closing as duplicate unless repro differs.

[PurHur]

claim: worker-lane-c — starting this run (verify fixed + add missing maintainer repro, close #8948)