Stdlib: hash()/hash_hmac()/md5()/sha1()/crc32() — enum case operands must TypeError (ext/hash, ext/standard)

[PurHur]

Problem

Digest builtins must reject enum case operands with TypeError (PHP 8 typed signatures). This build coerces backed enum cases to strings/ints and computes a digest, so hash('sha256', E::A) silently succeeds.

Related but separate:

• Stdlib: hash() / hash_hmac() — TypeError for non-string operands (ext/hash/hash.c) #4951 — TypeError for array/object operands (today LogicException)
• Stdlib: hash_equals() enum case operand must TypeError (ext/standard/hash.c) #5760 — hash_equals() enum parity only

php-src reference

• php/php-src ext/hash/hash.c — php_hash_data, php_hash_hmac
• php/php-src ext/standard/basic_functions.c — php_md5, php_sha1, php_crc32
• Zend: enum IS_OBJECT / zend_enum — not coerced via string cast for these APIs

Repro

<?php
enum E: string { case A = 'x'; }

foreach ([
    ['hash', fn () => hash('sha256', E::A)],
    ['hash_hmac', fn () => hash_hmac('sha256', E::A, 'key')],
    ['md5', fn () => md5(E::A)],
    ['sha1', fn () => sha1(E::A)],
    ['crc32', fn () => crc32(E::A)],
] as [$name, $call]) {
    try {
        $call();
        echo "$name: no throw\n";
    } catch (Throwable $e) {
        echo "$name: ", get_class($e), ': ', $e->getMessage(), "\n";
    }
}

php repro.php
./script/docker-exec.sh -- bash -lc 'source script/php-env.sh && php bin/vm.php repro.php'

Builtin	Zend	VM (today)
hash('sha256', E::A)	TypeError (arg #2 $data)	digest hex (coerced)
hash_hmac(..., E::A, 'key')	TypeError (arg #2 $data)	digest hex
md5(E::A)	TypeError (arg #1 $string)	md5 hex
sha1(E::A)	TypeError	sha1 hex
crc32(E::A)	TypeError	integer

Scope (PHP-in-PHP)

Path	Notes
ext/standard/VmHash.php, hash_.php, hash_hmac.php	VM strict checks before VmString::coerceOperand
ext/standard/VmString.php or dedicated guard	md5/sha1/crc32 if routed through coercion
lib/JIT/	mirror checks on JIT digest paths

Prefer EnumCaseSupport::isEnumCaseVariable() + TypeError templates matching Zend message text.

Done when

• All repro rows throw TypeError on VM (and JIT/AOT where builtins are lowered).
• Compliance .phpt under test/compliance/cases/stdlib/.
• No new C in runtime/ for this check.

Related

• Stdlib: hash() / hash_hmac() — TypeError for non-string operands (ext/hash/hash.c) #4951, Stdlib: hash_equals() enum case operand must TypeError (ext/standard/hash.c) #5760, Bootstrap: hash()/hash_hmac() — native VM digests without host \\hash() (ext/hash, VmHash.php) #4790 (bootstrap native digests)

[PurHur]

claim: cursor-agent-lane-c — starting this run

[PurHur]

Merged via #5782.

Verification: php bin/vm.php test/repro/parity_hash_digest_enum_typeerror.php — all five builtins throw TypeError with Zend messages. PHPUnit --filter hash_digest_enum green.

[PurHur]

Self-host-only enum-case guard skipping can opt into PHP_COMPILER_RUNTIME_STRICT=php-compiler once static proof lands; default CI/compliance stays php-src-strict (#7361, lib/RuntimeStrictness.php).