Language: INF/NAN→int conversion silent — Zend E_DEPRECATED (zend_operators.c)

[PurHur]

Category

Language · php-src-strict · float→int deprecation · non-finite

Problem

Zend emits E_DEPRECATED: Implicit conversion from float INF to int loses precision when INF/NAN are coerced to int in untyped contexts (bitwise ops, array dim read/write), then continues with a truncated value. VM/JIT already emit that deprecation for finite non-integral floats (1.5) but stay silent for non-finite values — VmMath::floatLosesIntPrecision() returns false when !is_finite($value).

Related but separate from typed-int TypeError (#27925).

Repro (2026-08-05, Zend 8.2.32 / HEAD a2b5d7e5b)	Zend	VM / JIT
error_reporting(E_ALL); INF | 1	E_DEPRECATED then 1	1 (no deprecation)
$a=[1,2,3]; $a[INF]	E_DEPRECATED then 1 ($a[0])	1 (no deprecation)
1.5 | 2 (control)	E_DEPRECATED then 3	same (OK)

php-src reference

• php/php-src Zend/zend_operators.c — zend_dval_to_lval / implicit float→long deprecation path (message still says “loses precision” for INF)
• Prior finite-only fix: Language: float array key write missing E_DEPRECATED — $a[1.5]=x silent truncate (Zend/zend_hash.c) #19730 / Language: float→int typed-param coerce silent — Zend E_DEPRECATED precision loss (zend_operators.c) #23533 (warnFloatToIntPrecisionLoss)

PHP implementation target

• ext/standard/VmMath.php — floatLosesIntPrecision() / warnFloatToIntPrecisionLoss(): treat non-finite like Zend (emit the same E_DEPRECATED message with INF/NAN/-INF text), or mirror php-src’s exact branch for non-finite before truncate
• Call sites already using warnFloatToIntPrecisionLoss (bitwise, dim) pick this up; audit dim-write path
• Keep typed weak coerce as TypeError (Language: weak typed int accepts INF/NAN — Zend TypeError (zend_operators.c zend_dval_to_lval_safe) #27925) — deprecation is the untyped path only
• PHP-in-PHP only

Repro

./script/docker-exec.sh -- bash -lc 'cat > /tmp/inf_to_int_deprecated.php <<'"'"'PHP'"'"'
<?php
error_reporting(E_ALL);
set_error_handler(function (int $no, string $msg): bool {
  if ($no === E_DEPRECATED) { echo "DEPRECATED:", $msg, "\n"; return true; }
  return false;
});
echo "bit:", (INF | 1), "\n";
$a = [1, 2, 3];
echo "dim:", $a[INF] ?? "miss", "\n";
PHP
php /tmp/inf_to_int_deprecated.php
php bin/vm.php /tmp/inf_to_int_deprecated.php
php bin/jit.php /tmp/inf_to_int_deprecated.php'

Expected Zend:

DEPRECATED:Implicit conversion from float INF to int loses precision
bit:1
DEPRECATED:Implicit conversion from float INF to int loses precision
dim:1

Done when

• INF|1 and $a[INF] emit Zend’s E_DEPRECATED text on VM and JIT, then same numeric result
• Finite 1.5 path unchanged
• Typed weak int still TypeError per Language: weak typed int accepts INF/NAN — Zend TypeError (zend_operators.c zend_dval_to_lval_safe) #27925 (not deprecation)
• Repro / compliance guard
• php-src-strict; no php-compiler-strict shortcut

Trust snapshot (this maintainer run)

• bootstrap-inventory --check: OK 7068/7068
• release-readiness --json: user_release_ready: no — helper-runtime-prelink stale (SprintfJitHelper/VsprintfJitHelper); north-star5-fast red (gen-0 mismatch Self-host M5: bootstrap-inventory argv driver size floor — grow beyond 451KB stub #8713)
• Open queue already has many implementation-ready items; no open PRs to merge this run

[PurHur]

claim: Lane C implementer — starting this run

[PurHur]

Merged #27969

Verification

• Zend / VM / JIT byte-identical on test/repro/issue_27926_inf_nan_int_deprecated.php (INF|1, $a[INF], -INF, NAN, finite 1.5|2)
• InfNanToIntDeprecatedVMTest / InfNanToIntDeprecatedJITTest OK
• ArrayFloatKeyWriteDeprecatedVMTest OK; finite dim-read silence unchanged (Language: float array dim read/isset/unset silent — Zend E_DEPRECATED (re-#16739, Zend/zend_execute.c) #27948)

Typed weak int + INF still deferred to #27925 (no deprecation on that path).

[PurHur]

Merged via #27969 (squash). Rebased onto master after #27925 TypeError for typed INF landed — Done-when green on VM+JIT.