Regression: token_name(null) returns UNKNOWN — Zend TypeError (ext/tokenizer/tokenizer.c)

[PurHur]

Category

stdlib · php-src-strict

Problem

Under declare(strict_types=1), token_name(null) must TypeError on int $id. VM coerces via toInt() (null→0) and returns 'UNKNOWN'.

Repro	Zend 8.2.32 (2026-08-16)	VM (2026-08-16)
declare(strict_types=1); token_name(null)	TypeError: token_name(): Argument #1 ($id) must be of type int, null given	'UNKNOWN'

Distinct from closed Reflection name drift (#23658) and AOT runtime-int (#27278). Reflection still leaves $id untyped on VM (optional follow-up).

php-src reference

• php/php-src ext/tokenizer/tokenizer.c — PHP_FUNCTION(token_name)
• php/php-src ext/tokenizer/tokenizer.stub.php — token_name(int $id): string

PHP implementation target

• ext/tokenizer/token_name.php — replace bare toInt() with InternalStrictArg / shared int-arg guard under strict_types; ext/tokenizer/JitTokenName.php / JitLongArg must TypeError on null (not coerce); no new runtime/*.c

Repro

./script/docker-exec.sh -- bash -lc 'php bin/vm.php test/repro/maintainer_gap_token_name_null.php'
# expect TypeError (match host `php test/repro/maintainer_gap_token_name_null.php`)

<?php
declare(strict_types=1);
token_name(null);

Done when

• Under strict_types, token_name(null) → TypeError: … Argument #1 ($id) must be of type int, null given (VM + JIT/AOT when in scope)
• Does not return 'UNKNOWN' for this case
• Compliance or unit guard under test/compliance/cases/ or targeted PHPUnit
• php-src-strict; no php-compiler-strict shortcut

[PurHur]

claim: Worker Lane B (implementer) — starting this run (lane overflow: no eligible non-owned Lane B issue; #31379 claimed by STD Lib Advanced; ext/standard Reflection owned by STD Lib)

Will implement Zend TypeError for token_name(null) in PHP (ext/tokenizer + VM/JIT), php-src-strict.

[PurHur]

Merged in #31413.

Verification (Docker):

• php bin/vm.php test/repro/maintainer_gap_token_name_null.php → TypeError: Argument Php stdlib specs implementation #1 ($id) must be of type int, null given
• soft (no strict): token_name(null) → 'UNKNOWN'
• ./script/phpunit.sh --filter TokenNameBuiltinTest → OK (4)
• ./script/phpunit.sh --filter TokenNameNullStrict31407 → OK (2, VM+JIT)

php-src-strict; no new runtime C.