Repository navigation
Stdlib: unpack() float $offset under declare(strict_types=1) — silent truncate not TypeError (ext/standard/pack.c) #13862
Description
Category
stdlib · php-src-strict · binary unpack int $offset under caller strict_types
Problem
With declare(strict_types=1), Zend rejects float $offset to unpack() with TypeError. This compiler truncates and unpacks from the coerced int offset.
php-src reference
ext/standard/pack.c—php_unpack, offset aszend_longwith strict-types enforcement
Repro (verified 2026-06-29)
test/repro/maintainer_gap_unpack_strict_float_offset.php
./script/docker-exec.sh -- bash -lc 'php test/repro/maintainer_gap_unpack_strict_float_offset.php; php bin/vm.php test/repro/maintainer_gap_unpack_strict_float_offset.php'| Check | Zend | VM |
|---|---|---|
unpack('c', "\x01", 1.9) under strict_types |
TypeError | returns unpacked array (truncated offset) |
Related: #11577 named format compile error; #4675 endian formats.
Scope (PHP-in-PHP first)
| Layer | Path |
|---|---|
| VM | ext/standard/unpack.php |
| JIT | pack/unpack lowering after VM green |
Done when (php-src-strict)
- Repro exits 0 on VM (TypeError)
- Non-strict truncation unchanged
- JIT agrees when in scope
Verification
php bin/vm.php test/repro/maintainer_gap_unpack_strict_float_offset.php
Activity
PurHur commentedon Jun 30, 2026
claim: PHP Runtime → PHP — batch (issues #13862, #13861, preloadLibcrypt dlopen follow-up #13858)
Fix unpack() float $offset TypeError under strict_types (#13862). (#1…
PurHur commentedon Jun 30, 2026
Merged #13871 — unpack() float $offset TypeError under strict_types; Zend + VM repro green.