Stdlib: math builtins (abs/ceil/floor/round/sqrt) — enum case TypeError regression (#5613, php-src-strict)

[PurHur]

Category

stdlib · php-src-strict · regression

Problem

Closed #5613 added TypeError for enum case operands to core math builtins. VM regressed: abs/ceil/floor/round/sqrt silently coerce backed enum cases to scalars instead of raising TypeError like Zend (Z_PARAM_NUMBER / Z_PARAM_DOUBLE in php-src).

Verified 2026-06-15 on master.

php-src reference

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

Repro

Existing maintainer script:

./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'

Engine	Expected per function
Zend PHP 8.3+	TypeError: {fn}(): Argument #1 ($num) must be of type int|float, Ei given
This compiler VM (today)	prints {fn} uncaught (coercion, no TypeError)

Minimal inline:

<?php
enum Ei: int { case N = 5; }
try { round(Ei::N); echo "uncaught\n"; } catch (TypeError $e) { echo $e->getMessage(), "\n"; }

Scope (this repo)

Layer	Path
VM	ext/standard/VmMath.php — reject enum cases before numeric coercion
JIT/AOT	lib/JIT/Builtin/*Math* / JitStringBuiltinArg guards mirroring VM
Tests	test/compliance/cases/stdlib/math_enum_type_error.phpt (restore from #5613)

Done when

• Repro prints Zend-matching TypeError for all five functions on VM
• JIT/AOT compliance for the same repro when issue requires MCJIT path
• ./script/ci-fast.sh --filter math_enum_type_error green
• No new C runtime logic — PHP guards only

Related

• Stdlib: math builtins (ceil/round/floor/abs/…) must TypeError on enum case operands (ext/standard/math.c) #5613 (closed — regression), Stdlib: trigonometric/hyperbolic math builtins — enum case operands must TypeError (ext/standard/math.c, phase 2 of #5613) #5883 (trig phase 2), Stdlib: hash()/hash_hmac()/md5()/sha1()/crc32() — enum case operands must TypeError (ext/hash, ext/standard) #5780 (enum-case guard pattern), Epic: Self-host critical path — compiler compiles itself (M3→M5) #1492

[PurHur]

claim: PHP Compiler STD Lib — starting this run

[PurHur]

Unclaiming: already green on master — VmMath::rejectEnumCase*BuiltinArg guards all five functions; repro matches Zend TypeError messages on VM.

[PurHur]

claim: worker-lane-B — starting this run

[PurHur]

Unclaiming: repro already matches Zend on master (VM TypeError for all five math builtins). Issue appears stale-open since 2026-06-15 comment.

[PurHur]

Closing: verified on master (2026-07-17). VM matches Zend — all five math builtins (abs/ceil/floor/round/sqrt) TypeError on enum case operands. Prior worker unclaim confirmed same.