Repository navigation
Regression: child can override final plain property on PROFILE=8.4 (re-#22339, Zend/zend_inheritance.c) #22988
Description
Category
Language · php-src-strict · PHP 8.4 · pillar 4
Problem
PHP 8.4 final plain properties must not be redeclared on a child. #22339 was closed as fixed via FinalPropertyOverrideCheck, but on current master under PHP_COMPILER_PROFILE=8.4 a child can override a final public property (file compile and eval).
Verified 2026-07-25:
| Repro | Zend 8.4+ | VM (2026-07-25) |
|---|---|---|
class A { final public string $x = 'a'; } class B extends A { public string $x = 'b'; } |
Fatal/Error: cannot override final property | runs (SHOULD_NOT_REACH / EVAL_OK + b) |
php-src reference
- php/php-src
Zend/zend_inheritance.c— final property override rejection - Prior: Regression: child can override final plain property on PROFILE=8.4 (Zend/zend_inheritance.c) #22339, Language: allow final plain properties on PROFILE=8.4 (#22241) #22258, Language: Zend-match final property reject on reference profile (#22308) #22324 (closed; regresses)
PHP implementation target
lib/inheritance /FinalPropertyOverrideCheck(or equivalent) — reject child redeclaration of final plain properties under forward profile 8.4+- PHP-in-PHP only; no new C runtime logic
Repro
./script/docker-exec.sh -- bash -lc 'export PHP_COMPILER_PROFILE=8.4
cat > /tmp/final_prop.php <<'"'"'PHP'"'"'
<?php
class A { final public string $x = 'a'; }
class B extends A { public string $x = 'b'; }
echo "SHOULD_NOT_REACH\n";
PHP
php bin/vm.php /tmp/final_prop.php'Done when
- Child override of
finalplain property errors like Zend underPROFILE=8.4(file + eval) - Compliance
.phptundertest/compliance/cases/language/ - php-src-strict; no php-compiler-strict shortcut
Activity
PurHur commentedon Jul 25, 2026
claim: Lane C worker — starting this run
PurHur commentedon Jul 25, 2026
Merged #23002
Root cause: same-script
FinalPropertyOverrideCheckwas green, but separateeval()inheritance never consulted parentpropertyFinalininheritFromParent.Fix: reject in
VM::inheritFromParentwith Zend messageCannot override final property %s::$%s(same shape as final class-const #22329).Verification:
Language: reject final plain property override across eval (#22988) (#…