Stdlib: math builtins (ceil/round/floor/abs/…) must TypeError on enum case operands (ext/standard/math.c)

[PurHur]

Category

stdlib

Problem

Math builtins in ext/standard coerce enum case operands to backing scalars (or fail with non-Zend messages) instead of rejecting them with TypeError like Zend (Z_PARAM_NUMBER / Z_PARAM_DOUBLE).

Distinct from #5524 (string builtins) and #4163 (number_format() only).

php-src reference

• php/php-src ext/standard/math.c — ZEND_PARSE_PARAMETERS type checks
• php/php-src Zend/zend_enum.c

Repro

test/repro-maintainer/parity_math_builtin_enum_type_error.php:

docker info >/dev/null
./script/docker-exec.sh -- bash -lc 'source script/php-env.sh
php test/repro-maintainer/parity_math_builtin_enum_type_error.php
php bin/vm.php test/repro-maintainer/parity_math_builtin_enum_type_error.php'

Builtin	Zend	VM (today)
abs	TypeError	Unsupported type for abs(): 5 (fatal)
ceil	TypeError	succeeds (ok)
floor	TypeError	succeeds
round	TypeError	succeeds
sqrt	TypeError	succeeds

Scope (PHP-in-PHP)

Layer	Files
VM	ext/standard/abs.php, ceil.php, floor.php, round.php, sqrt.php, … — reject Variable::TYPE_ENUM_CASE before numeric coercion
JIT	Matching lib/JIT/Builtin/ / ext/standard/Jit*.php
Tests	test/compliance/cases/stdlib/math_enum_case_type_error.phpt

Done when

• Each listed builtin throws catchable TypeError with Zend-aligned message
• No backing-value coercion path for enum cases
• ./script/ci-fast.sh --filter math_enum_case green

Related

• Stdlib: string builtins must TypeError on enum case operands (ext/standard/string.c) #5524 — string builtins enum TypeError
• Stdlib: number_format() — TypeError when $num is not int/float (ext/standard/number_format.c parity) #4163 — number_format() enum operand
• Epic: Self-host critical path — compiler compiles itself (M3→M5) #1492

[PurHur]

claim: PHP Compiler STD Lib — starting this run

[PurHur]

Merged via #7523.

Verification (Docker harness, 2026-06-07):

• php test/repro-maintainer/parity_math_builtin_enum_type_error.php — Zend parity (all five builtins TypeError)
• php bin/vm.php test/repro-maintainer/parity_math_builtin_enum_type_error.php — same messages on VM
• vendor/bin/phpunit --filter math_enum_case — OK (2 tests: VM + JIT)

Implementation: VmMath::parseNumberBuiltinArg() / parseDoubleBuiltinArg() in ext/standard/{abs,ceil,floor,round,sqrt}.php; JIT via JitMathNumberArg + JitFdiv numeric TypeError lowering. php-src ref: ext/standard/math.c.