Language: BackedEnum::from() invalid value — ValueError not 'Method call on non-object' (Zend/zend_enum.c)

[PurHur]

Category

language | php-src-strict

Problem

BackedEnum::from($invalid) must throw ValueError: {value} is not a valid backing value for enum {Enum}. The VM emits Method call on non-object instead — wrong exception and message; likely enum case/scalar confusion in static enum method dispatch.

php-src reference

• php/php-src Zend/zend_enum.c — zim_BackedEnum_from, zend_enum_from_base
• php/php-src Zend/zend_enum.stub.php — BackedEnum::from() / tryFrom()

Repro

test/repro/enum_from_invalid.php:

<?php
enum E: int { case A = 1; }
try {
    E::from(99);
} catch (Throwable $e) {
    echo get_class($e) . ': ' . $e->getMessage();
}
echo "\n";

source script/php-env.sh
php test/repro/enum_from_invalid.php
php bin/vm.php test/repro/enum_from_invalid.php

Call	Zend	VM today
E::from(99)	ValueError: 99 is not a valid backing value for enum E	Method call on non-object
E::tryFrom(99)	null	verify same dispatch path

Scope (PHP-in-PHP)

Layer	Path
VM	BackedEnum::from / tryFrom builtins under enum static dispatch
Shared	lib/VM/EnumCaseSupport.php — preserve enum class entry for static calls
Tests	test/compliance/cases/language/backed_enum_from_value_error.phpt

Done when (php-src-strict)

• Invalid backing value throws ValueError with Zend message on VM
• Valid backing value returns correct enum case object (not scalar)
• tryFrom() returns null for invalid, case object for valid
• Related enum static API (Regression: Enum::cases() / UnitEnum::cases() returns empty array — re-#9682/#5462 (Zend/zend_enum.c) #9876 cases()) tracked separately

Related

#9876 · #9846 · #9847 · #9730 · #1492

[PurHur]

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

[PurHur]

Merged via #10725.

Verification: BackedEnum::from(99) on int-backed enum already throws ValueError: 99 is not a valid backing value for enum E on VM/JIT (via EnumFromHandler + BackedEnum::valueErrorMessage()). Added maintainer repro test/repro/enum_from_invalid.php and compliance guard test/compliance/cases/language/backed_enum_from_value_error.phpt.

./script/docker-exec.sh -- bash -lc 'source script/php-env.sh
php test/repro/enum_from_invalid.php
php bin/vm.php test/repro/enum_from_invalid.php
./vendor/bin/phpunit --filter backed_enum_from_value_error'

All green — stale regression filing; closing.