Regression: gettype() on backed enum cases returns integer not object (re-#5496, basic_functions.c)

[PurHur]

Category

stdlib — regression

Problem

gettype() on enum case objects must return "object" per Zend. Closed #5496 fixed VM/JIT for enum cases, but backed enum cases now report "integer" because case materialization returns backing scalars (#8746 regression class).

Distinct from #5797 (is_int() / is_object() predicates) and #5509 (get_debug_type()).

php-src reference

• php/php-src ext/standard/basic_functions.c — PHP_FUNCTION(gettype)
• php/php-src Zend/zend_enum.c — enum zval type IS_OBJECT

Repro

test/repro/maintainer_gettype_enum.php:

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

php test/repro/maintainer_gettype_enum.php
# Zend: object

./script/docker-exec.sh -- bash -lc 'php bin/vm.php test/repro/maintainer_gettype_enum.php'
# VM today: integer

Scope

• ext/standard/gettype.php (or VM builtin) — enum cases are objects for gettype()
• Fix likely pairs with Regression: backed enum case fetch materializes backing scalar not enum object (re-#8725, zend_enum.c) #8746 enum case materialization (stop scalarizing case fetches)
• JIT/AOT gettype lowering must match VM

Done when

• Repro prints object under VM (+ JIT/AOT if lowered)
• ./script/ci-fast.sh --filter gettype_enum or compliance PHPT green
• php-src-strict

Links

• Language: gettype() JIT — enum case and boxed enum must return object (ext/standard/basic_functions.c) #5496 (closed), Regression: backed enum case fetch materializes backing scalar not enum object (re-#8725, zend_enum.c) #8746 (enum materialization regression), Stdlib: is_int()/is_object() on enum cases — type predicate parity (ext/standard/type.c) #5797, Stdlib: get_debug_type() on enum cases — must return enum name not scalar (ext/standard/type.c, #3454) #5509

[PurHur]

claim: cursor-agent-lane-c — starting this run (Lane C queue: no non-stdlib/php-in-php IR issues; enum parity regression #8810)

[PurHur]

Unclaiming: verified fixed on master — gettype(E::A) prints object for int-backed enums; compliance gettype_enum_case.phpt and enum_case_fetch_object_int.phpt green. No code change needed.

[PurHur]

Verified fixed on master (2026-06-23, lane C audit). Repro green via ./script/docker-exec.sh — see #10337 run 4 probe table.