Stdlib: array_key_exists() — TypeError for non-array second argument (ext/standard/array.c Z_PARAM_ARRAY)

[PurHur]

Category

stdlib

Problem

PHP 8+ array_key_exists() accepts only array as the second parameter (Z_PARAM_ARRAY). Zend throws TypeError with per-argument naming. This compiler raises LogicException with a build-specific message (array_key_exists() second argument must be an array in this compiler build), breaking instanceof TypeError checks and message parity.

php-src reference

• php/php-src ext/standard/array.c — PHP_FUNCTION(array_key_exists) / Z_PARAM_ARRAY

Repro

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

Zend: TypeError: array_key_exists(): Argument #2 ($array) must be of type array, C given

This compiler: LogicException: array_key_exists() second argument must be an array in this compiler build

Scope

• ext/standard/array_key_exists.php — VM + JIT argument validation
• Match Zend TypeError wording (#n ($name))

Done when

• Repro prints Zend-matching TypeError on VM
• ./script/ci-fast.sh --filter array_key_exists green when tests exist

Links

• Epic: Self-host critical path — compiler compiles itself (M3→M5) #1492

[PurHur]

claim: PHP Compiler STD Lib — starting this run

[PurHur]

Merged via #4762.

Verification (VM + AOT):
```
./script/docker-exec.sh -- bash -lc 'source script/php-env.sh
php test/repro-maintainer/array_key_exists_non_array.php
php bin/vm.php test/repro-maintainer/array_key_exists_non_array.php'

TypeError: array_key_exists(): Argument #2 ($array) must be of type array, C given

vendor/bin/phpunit --filter array_key_exists_non_array

OK (3 tests, 7 assertions)

```

php-src: ext/standard/array.c — Z_PARAM_ARRAY on argument #2.