Stdlib: strlen() scalar operands — TypeError not Zend string coercion (ext/standard/string.c) #11263

Category

stdlib

Problem

Zend strlen() accepts bool/int/float/null operands by coercing them to strings (strlen(false) → 0, strlen(null) → 0, strlen(1.5) → 3, etc.). This compiler’s VM raises TypeError for all non-string scalars, breaking php-src-strict parity for legacy code.

Distinct from #10775 (inline array literal LogicException) and strict-types user code paths.

php-src reference

• php/php-src ext/standard/string.c — PHP_FUNCTION(strlen) (internal ZPP string coercion)

Repro

<?php
foreach ([false, true, 0, 1, 1.5, null] as $v) {
    try {
        echo gettype($v), '=', strlen($v), ' ';
    } catch (Throwable $e) {
        echo gettype($v), '=', get_class($e), ' ';
    }
}
echo "\n";

Committed: test/repro/maintainer_gap_strlen_scalar_coerce.php

./script/docker-exec.sh -- bash -lc '
  source script/php-env.sh
  php test/repro/maintainer_gap_strlen_scalar_coerce.php
  php bin/vm.php test/repro/maintainer_gap_strlen_scalar_coerce.php
'

Scope (PHP-in-PHP)

Done when (php-src-strict)

• Scalar coercion matches Zend for repro operands; array/object still TypeError.
• VM/JIT/AOT agree; reuse shared coercion helper (no per-builtin one-offs).