AOT: enum-as-const, variable static call, interface self::, static array prop (#31967)

[PurHur]

Summary

• Closes remaining AOT: unimplemented lowering — numeric-string arithmetic, NAN spaceship, enum-as-const, variable static call, self:: interface const #31967 AOT lowering gaps after AOT: fix boxed-NAN <=> native double + numeric-string arith guards (#31967) #31981 (numeric-string + / NAN <=>>): enum case as class-constant value, $obj::method(), interface self:: in const expressions, and non-empty array literals on static properties.
• Fixes php-in-php: drop always-on LibcExtern strtol (#31988) #31989 regression where ensureStrtolDecl() was inserted inside call argument lists (PHP parse error / silent AOT exit 255 on every compile).

php-src references: Zend/zend_enum.c, zend_execute.c (ZEND_INIT_STATIC_METHOD_CALL), zend_inheritance.c, zend_compile.c (static prop defaults).

Verification

./script/phpunit.sh --filter Issue31967AotConstStaticTest
# OK (4 tests)

./script/aot-smoke.sh
# aot-smoke: 8 passed, 0 failed

./script/docker-exec.sh -- bash -lc '
php bin/compile.php -o /tmp/e test/repro/issue_31967_enum_class_const.php && /tmp/e
php bin/compile.php -o /tmp/a test/repro/issue_31967_static_prop_array.php && /tmp/a
php bin/compile.php -o /tmp/v test/repro/issue_31967_variable_static_call.php && /tmp/v
php bin/compile.php -o /tmp/i test/repro/issue_31967_interface_self_const.php && /tmp/i
'
# h / 1 / U / 20

Not covered: full ./script/ci-local.sh; ClassConstEnumCaseJitCompileTest still fails module verify in isolation though the same int-backed enum snippet compiles and runs via bin/compile.php (pre-existing jitCompileBlock→compileCommon test harness gap).

Closes #31967

Made with Cursor