Stdlib: constant() must resolve enum case constants (E::A, dynamic E::$name) (zend_constants.c)

Problem

constant('Class::CONST') for user classes is tracked in #3484. Enum case constants are a separate lookup path in Zend (zend_enum_get_case_by_name, class constant table). This compiler fatals on VM when resolving enum cases:

constant('E::A') — uncaught VM fatal (not Error: Undefined constant)
constant('E::'.$c) — same

Zend returns the enum case object (\E::A).

php-src reference

php/php-src ext/standard/basic_functions.c — PHP_FUNCTION(constant)
php/php-src Zend/zend_constants.c — class/enum constant lookup
php/php-src Zend/zend_enum.c — case by name

Repro

<?php
enum E: int { case A = 1; }
var_export(constant('E::A'));
echo "\n";
$c = 'A';
var_export(constant('E::'.$c));
echo "\n";

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

Engine	Output
Zend	`\E::A` twice
This compiler VM	fatal in `ExceptionSupport` (enum constant unresolved)

Scope (this repo)

Layer	Path
VM	`ext/standard/constant_.php`, `ext/standard/VmConstants.php` (or enum registry)
Enum registry	`lib/VM/EnumCaseSupport.php`, enum `ClassEntry` case map
JIT	`ext/standard/JitConstant.php` — phase 2 literal names only
Tests	`test/compliance/cases/stdlib/constant_enum_case.phpt`

Done when

Repro prints \E::A for literal and dynamic names
Missing case constant('E::Z') → Error: Undefined constant "E::Z"
./script/ci-fast.sh --filter constant_enum green

Stdlib: constant() — resolve user/class constant by name (ext/standard/basic_functions.c parity) #3484 (class constants umbrella) · Language: defined('Enum::CASE') — enum cases must be detectable (zend_constants.c) #4972 defined('Enum::CASE') · Epic: Self-host critical path — compiler compiles itself (M3→M5) #1492

claim: PHP Compiler STD Lib — starting this run

Unclaiming: constant('E::A') enum case resolution already green on master (#5926). VM repro returns \E::A for literal + dynamic names. Recommend closing as duplicate of #3484 phase 2.

claim: PHP Compiler STD Lib — starting this run

Fix constant() enum case identity for class consts holding enum cases (…

Merged via #8627

Fix: constant('C::X') when C::X = E::A canonicalizes enum case singletons via EnumCaseSupport::materializeConstantValue(); enum === compares FQCN + case name (not compile-time ClassEntry stub identity).

Verification (green):

./script/docker-exec.sh -- bash -lc 'source script/php-env.sh
php bin/vm.php test/repro-maintainer/parity_constant_class_enum_const.php
./vendor/bin/phpunit --filter constant_class_enum
php bin/compile.php -l test/repro-maintainer/parity_constant_class_enum_const.php'

→ same / OK (1 test) / exit 0

Navigation Menu

Repository navigation

Stdlib: constant() must resolve enum case constants (E::A, dynamic E::$name) (zend_constants.c) #5682

Category

Problem

php-src reference

Repro

Scope (this repo)

Done when

Related

Metadata

Assignees

Labels

Projects

Milestone

Relationships

Development

Stdlib: constant() must resolve enum case constants (E::A, dynamic E::$name) (zend_constants.c) #5682

Description

Category

Problem

php-src reference

Repro

Scope (this repo)

Done when

Related

Activity

PurHur commented on Jun 13, 2026

PurHur commented on Jun 13, 2026

PurHur commented on Jun 15, 2026

PurHur commented on Jun 15, 2026

Metadata

Metadata

Assignees

Labels

Projects

Milestone

Relationships

Development

Issue actions