Language: gettype() JIT — enum case and boxed enum must return object (ext/standard/basic_functions.c)

[PurHur]

Category

language | stdlib

Problem

VM gettype() already maps Variable::TYPE_ENUM_CASE to 'object' (ext/standard/gettype.php). JIT path uses JitGettype::boxed() / TYPE_OBJECT only — enum cases passed as boxed __value__ can hit LogicException: gettype() does not support this value type on MCJIT execute.

Blocked for end-to-end repro until #5491 (backed enum compile) is fixed; then JIT tier must match Zend.

php-src reference

• php/php-src ext/standard/basic_functions.c — PHP_FUNCTION(gettype) (IS_OBJECT for enums)

Repro (after #5491)

<?php
enum E: string { case A = 'x'; }
echo gettype(E::A), "\n";

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

Runtime	Output
Zend	object
VM (expected)	object
JIT today	fatal LogicException or wrong type label

Scope (this repo)

Layer	Path
VM	ext/standard/gettype.php — verify enum case path
JIT	ext/standard/JitGettype.php, gettype.php::call() — handle TYPE_ENUM_CASE / boxed enum tag
Tests	test/compliance/cases/stdlib/gettype_enum_case.phpt

Done when

• Repro prints object on VM and JIT/AOT
• ./script/ci-fast.sh --filter gettype_enum green

Related

• Bootstrap: backed enum explicit value — EnumBackedCaseCheck false positive when php-cfg overlay missing (#5397) #5491 — backed enum compile overlay
• Stdlib: gettype() on uninitialized typed property must throw Error (zend_builtin_functions.c) #4894 — uninitialized typed property (different guard)

[PurHur]

claim: worker-lane-a — starting this run

[PurHur]

Merged via #7586.

Fix: JitGettype::boxed() now maps VmVariable::TYPE_ENUM_CASE → 'object', matching VM gettype.php and php-src ext/standard/basic_functions.c.

Verification:

./script/docker-exec.sh -- bash -lc 'source script/php-env.sh && vendor/bin/phpunit --filter gettype_enum'
# OK (2 tests, 2 assertions)

Issue repro (Zend / VM / JIT) prints object on all tiers.