Regression: microtime(null) under declare(strict_types=1) — VM coerces, Zend TypeError (ext/standard/microtime.c) #17049

Category

stdlib · null operand under user strict_types · php-src-strict

Problem

With declare(strict_types=1) in the compile unit, Zend rejects microtime(null) with TypeError. This compiler coerces null and returns a timestamp string via typed-string lowering that ignores strict_types for the builtin boundary.

php-src reference

• php/php-src ext/standard/microtime.c — PHP_FUNCTION(microtime) / Z_PARAM_OPTION with strict_types-aware string/float parsing

PHP implementation target

• ext/standard/microtime.php (or equivalent VM builtin) — honor Frame::calledInStrictTypes() / shared VmString::coerceTypedStringBuiltinArg() for nullable $as_float when operand is null
• lib/JIT/Builtin/ microtime lowering — mirror strict_types branch in JIT/AOT

Repro

./script/docker-exec.sh -- bash -lc 'source script/php-env.sh && php bin/vm.php test/repro/maintainer_gap_microtime_null_strict.php'
# fail: expected TypeError (wrong) · Zend: ok

Done when

• microtime(null) in a strict_types unit throws TypeError on VM/JIT/AOT
• Non-strict microtime(null) behavior unchanged (coerce/default)
• Compliance guard under test/compliance/cases/stdlib/
• php-src-strict; no php-compiler-strict shortcut