Repository navigation
Stdlib: array_find()/array_find_key() must preserve enum cases in predicate callbacks (ext/standard/array.c) #5638
Description
Category
stdlib
Problem
array_find() / array_find_key() exist on this compiler (PHP 8.4 subset) and already return enum cases from the array when the predicate matches. The remaining gap is callback operand parity: predicate closures must receive enum case objects, not backed scalars, and strict identity (===) must match Zend.
php-src reference
- php/php-src
ext/standard/array.c—php_array_find,php_array_find_key(PHP 8.4)
Repro
<?php
enum E: int { case A = 1; case B = 2; }
$found = array_find([E::A, E::B], function ($v) {
if (!($v instanceof E)) {
throw new RuntimeException('expected enum object, got ' . get_debug_type($v));
}
return $v === E::B;
});
var_dump($found);./script/docker-exec.sh -- bash -lc 'source script/php-env.sh
php repro.php 2>/dev/null || echo "Zend skip: array_find needs PHP 8.4"
./phpc run repro.php
'| Runtime | $found |
Callback $v type |
|---|---|---|
| Zend 8.4+ | E::B |
E object |
| VM | must not throw; enum(E::B) |
object, not int(2) |
Scope (this repo)
| Area | Path |
|---|---|
| Stdlib | ext/standard/array_find.php, array_find_key.php |
| VM | lib/VM.php — callback arg marshalling for enum cases |
| JIT/AOT | #4009 phase 2 — closure callbacks |
Done when
- Repro completes without
RuntimeException;var_dumpshowsenum(E::B) -
array_find_keysibling test with same enum array -
./script/ci-fast.sh --filter array_find_enumgreen
Related
- Stdlib: array_find / array_any / array_all / array_find_key — JIT/AOT Closure callbacks (ext/standard/array.c parity) #4009 — JIT/AOT closure callbacks for array_find family
- Stdlib: array_reduce() on enum case arrays — closure callbacks must preserve enum objects (ext/standard/array.c) #5626 —
array_reduceenum callback preservation
Activity
PurHur commentedon Jun 14, 2026
claim: PHP Compiler STD Lib — starting this run
Fix array_find JIT/AOT LLVM control flow for enum callback arrays (#5638
PurHur commentedon Jun 14, 2026
Merged via #8515.
What changed:
ArrayFindHelperLLVM control-flow fixes (correctBasicBlockmerge target + builder positioning) soarray_find()with closure callbacks on enum arrays compiles through AOT lint. Added VM/JIT compliance PHPT (array_find_enum*,array_find_key_enum) and AOT compile-only probe.Verification (green):
test/repro/array_find_enum.php→enum(E::B)php bin/compile.php -l test/repro/array_find_enum.php→ exit 0vendor/bin/phpunit --filter 'array_find_enum|array_find_key_enum|ArrayFind'→ OKFollow-up: user-defined enum AOT execute still segfaults (
var_dump(E::B)→unknown()); that is a broader user-enum runtime gap, not array_find callback marshalling (VM/JIT parity is green).