[PurHur]

Summary

• Route file_get_contents() / readfile() through VmStreamPath::coerceNonEmptyPathArgForFrame() so caller strict_types rejects null with TypeError before empty-path ValueError.
• Route file_put_contents() through VmFilestatArg::filenameArgForFrame() for the same strict-null guard (shared with Regression: getimagesize()/md5_file()/sha1_file() null under strict_types — ValueError not TypeError (ext/standard/image.c, ext/standard/md5.c) #17060).
• PHP-in-PHP only — no C runtime changes; JIT already used JitStringBuiltinArg::lowerPath() strict-null path.

Closes #17063

Root cause

VM execute paths called coerceNonEmptyPathArg() / coerceFilenameArg() without the frame-aware InternalStrictArg::rejectNullString() step, so null coerced to "" and raised ValueError: Path cannot be empty instead of Zend's TypeError.

Verification

./script/docker-exec.sh -- bash -lc 'source script/php-env.sh && php bin/vm.php test/repro/maintainer_gap_file_io_null_strict.php'
# file_get_contents=TypeError
# readfile=TypeError
# file_put_contents=TypeError

./script/docker-exec.sh -- bash -lc 'source script/php-env.sh && vendor/bin/phpunit --filter file_io_null_strict_typeerror'
# OK (4 tests, 4 assertions) — VM + JIT compliance

Made with Cursor