Stdlib: get_debug_type() — enum cases must return enum class name (ext/standard/type.c parity)

[PurHur]

Category

stdlib

Problem

get_debug_type() handles scalars and objects but not enum case values (Variable::TYPE_ENUM_CASE). Passing a backed or unit enum case throws LogicException: get_debug_type() does not support this value type in this compiler build.

Zend returns the enum class name (same string as get_class($case) on enum cases in PHP 8.1+).

php-src reference

• php/php-src ext/standard/type.c — PHP_FUNCTION(get_debug_type), zend_value_to_type() for IS_OBJECT enum instances
• php/php-src Zend/zend_enum.c — enum object handlers

Repro (failure today)

<?php
declare(strict_types=1);
// test/repro-maintainer/get_debug_type_enum.php

enum Color: string { case Red = 'r'; }
enum Size { case S; }

echo get_debug_type(Color::Red), "\n";
echo get_debug_type(Size::S), "\n";

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

Call	Zend PHP 8.x	This compiler VM (today)
get_debug_type(Color::Red)	Color	LogicException
get_debug_type(Size::S)	Size	LogicException

Scope (this repo)

Module	Path
VM	ext/standard/get_debug_type.php — branch on Variable::TYPE_ENUM_CASE
JIT	get_debug_type.php call() + boxed TYPE_VALUE path
Tests	test/compliance/cases/stdlib/get_debug_type_enum.phpt

Out of scope here: resource type label (separate issue if streams expose resources without get_resource_type parity).

Done when

• Repro prints Color and Size on VM matching Zend
• JIT/AOT compliance for enum case argument passes
• ./script/ci-fast.sh --filter get_debug_type_enum green

Related

• Language: Enum declarations (enum / backed enum) #1356 (enum declarations) · Epic: Self-host critical path — compiler compiles itself (M3→M5) #1492

[PurHur]

claim: PHP Compiler STD Lib — starting this run

[PurHur]

Merged via #8664.

Root cause: php-cfg can fold enum case ClassConstFetch operands while DECLARE_CLASS_CONST runs later; the second get_debug_type(Size::S) call had no runtime CLASS_CONST_FETCH before ARG_SEND. The stdlib builtin already handled TYPE_ENUM_CASE — this was a compiler lowering/dataflow fix.

Verification (Docker):

• php bin/vm.php test/repro-maintainer/get_debug_type_enum.php → Color / Size
• phpunit test/unit/GetDebugTypeBuiltinTest.php — OK (3)
• phpunit test/compliance/JITTest.php --filter get_debug_type_enum — OK
• phpunit test/compliance/VMTest.php --filter get_debug_type_enum — OK

AOT: bin/compile.php still segfaults on get_debug_type() with enum operands (pre-existing on master; separate from this fix).