Language: typed static local variable — parse accepted on 8.2 profile (Zend/zend_compile.c)

[PurHur]

Category

language · php-src-strict · profile gate

Problem

Typed static locals (static int $x = 0;) are a PHP 8.3+ feature. On the project's default 8.2 language profile, Zend rejects the syntax at parse time; this compiler accepts and executes the function body.

Repro	Zend 8.2	VM (2026-07-05)
function f(){ static int $x=0; return ++$x; } f();	parse error	1

php-src reference

• php/php-src Zend/zend_compile.c — zend_compile_var() typed static locals (PHP 8.3)

PHP implementation target

• lib/Parser.php / compile path for static variables — reject typed static locals when PHP_COMPILER_LANGUAGE_PROFILE (or equivalent) is < 8.3
• Future 8.3+ profile may enable; gate behind profile version, not unconditional acceptance

Repro

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

Done when

• 8.2 profile: parse/compile error matching Zend for typed static locals
• 8.3+ profile (when enabled): typed static locals compile and run
• Compliance .phpt guard under test/compliance/cases/language/
• php-src-strict; no php-compiler-strict shortcut

[PurHur]

claim: cursor-agent-lane-a — starting this run

[PurHur]

Merged via #16516

Fix: supportsTypedFunctionStatic() now gates on languageProfileVersion() (default 8.4.0-dev reference profile → off). TypedFunctionStaticSyntaxRejector rejects static T \$var at preprocess with Zend's parse diagnostic.

Verification:
```bash
php bin/vm.php test/repro/maintainer_gap_typed_static_local_variable.php

Fatal error: syntax error, unexpected identifier "int", expecting "::" — exit 255

PHP_COMPILER_PROFILE=8.3 php bin/vm.php -r 'function f(){ static int $x=0; return ++$x; } echo f();'

1

./vendor/bin/phpunit test/unit/TypedFunctionStaticRewriterTest.php test/unit/TypedFunctionStaticVMTest.php --filter TypedFunctionStatic

OK

make bootstrap-selfhost-vm-driver-execute-probe

OK

```