Stdlib: array_values()/array_merge() on enum case arrays coerces to backed scalars (ext/standard/array.c)

[PurHur]

Category

stdlib

Problem

array_values() and array_merge() (and similar reindexing/copy builtins) must return arrays whose elements remain enum case objects. This compiler copies backing integers (backed enums) instead of enum(E::A) objects.

php-src reference

• php/php-src Zend/zend_enum.c
• php/php-src ext/standard/array.c — php_array_values, php_array_merge

Repro

test/repro-maintainer/parity_array_values_merge_enum.php:

<?php
enum E: int { case A = 1; case B = 2; }
var_dump(array_values([E::B, E::A]));
var_dump(array_merge([E::A], [E::B]));

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

Call	Zend	VM today
array_values([E::B,E::A])	array(0=>enum(E::B),1=>enum(E::A))	array(0=>int(2),1=>int(1))
array_merge([E::A],[E::B])	enum cases	int(1), int(2)

Scope (this repo)

Layer	Path
VM	ext/standard/array_values.php, array_merge.php, lib/VM/EnumCaseSupport.php
JIT/AOT	phase 2
Tests	test/compliance/cases/stdlib/array_values_merge_enum.phpt

Done when

• Repro var_dump matches Zend on VM
• ./script/ci-fast.sh --filter array_values_merge_enum green

Related

• Stdlib: array_unique() on enum case arrays coerces to backed scalars (ext/standard/array.c) #5531 · Language: parent:: in enum — compile-time fatal (#5410) #5540 (sort family) · Epic: Self-host critical path — compiler compiles itself (M3→M5) #1492

[PurHur]

claim: PHP Compiler STD Lib — starting this run

[PurHur]

Unclaiming: array_values()/array_merge() enum case preservation already green on master. VM+JIT repro in test/repro-maintainer/parity_array_values_merge_enum.php matches Zend (enum(E::B), enum(E::A)). Recommend closing as duplicate.

[PurHur]

Already fixed — closing

Verified green on current master this run (Zend PHP 8.2 vs php bin/vm.php match for the issue repro). Issue body is stale; shared enum / string guards landed earlier.

claim: cursor-agent-lane-a — closing as already fixed (no PR).