fix: 27 correctness divergences from Zend 8.4 across codegen, folding, and declaration validation - #39

Closed

AlessioGiacobbe wants to merge 40 commits into

swoole:masterfrom

AlessioGiacobbe:fix/correctness-audit

Commits on Aug 31, 2026

fix(codegen): route typed division, int modulo and shifts through PHP operators
AlessioGiacobbe
committed
bec16db
fix(parser): always parenthesize the unary minus operand
AlessioGiacobbe
committed
9d520fd
fix(codegen): evaluate compound ??= RHS only when the target is not set
AlessioGiacobbe
committed
faa993a
test(phpunit): anchor TypePhp autoloading to the current checkout
AlessioGiacobbe
committed
82760b4
fix(translator): allow overrides to add a by-ref return
AlessioGiacobbe
committed
b9c01a1
fix(translator): let a trailing child variadic absorb parent parameters
AlessioGiacobbe
committed
5548c8a
fix(translator): validate overrides of built-in class methods
AlessioGiacobbe
committed
3630c16
fix(translator): enforce final and abstract parent constructor rules
AlessioGiacobbe
committed
b0fcae2
fix(translator): reject static/instance property redeclaration mismatch
AlessioGiacobbe
committed
9c74c44
fix(translator): make typed class-constant overrides covariant
AlessioGiacobbe
committed
10228f4
test(operator): accept parenthesized negative infinity literal
AlessioGiacobbe
committed
490f938
fix(parser): defer literal zero divisors to the runtime DivisionByZeroError
AlessioGiacobbe
committed
41ca614
fix(codegen): lower compound assignment and ++/-- on native scalar slots to PHP semantics
AlessioGiacobbe
committed
1b2954b
fix(translator): validate interface constant contracts
AlessioGiacobbe
committed
d462146
fix(gen_stub): spell PHP_INT_MIN constants with ZEND_LONG_MIN
AlessioGiacobbe
committed
07b43cc
fix(translator): compare trait data members by value, not source text
AlessioGiacobbe
committed
578d10d
fix(parser): resolve PHP_INT_MAX/MIN folds case-sensitively with namespace rules
AlessioGiacobbe
committed
953c13e
fix(translator): reject trait adaptations naming nonexistent methods
AlessioGiacobbe
committed
f33cb85
fix(parser): classify auto-Decimal literals by real mantissa precision
AlessioGiacobbe
committed
5979247
fix(translator): allow redeclaring a parent's private method
AlessioGiacobbe
committed
dad5293
Merge branch 'audit/oop-validation': OOP validation fixes
AlessioGiacobbe
committed
d158c20
fix(codegen): register enum-case class constants as real case objects
AlessioGiacobbe
committed
4e04e37
fix(preprocessor): enforce Zend enum declaration rules
AlessioGiacobbe
committed
7994da6
fix(translator): validate abstract method redeclarations against the parent chain
AlessioGiacobbe
committed
8c28f32
fix(preprocessor): enforce Zend readonly property declaration rules
AlessioGiacobbe
committed
29bfa8b
fix(preprocessor): reject abstract method bodies and abstract private class methods
AlessioGiacobbe
committed
a29f94b
fix(preprocessor): enforce Zend interface member declaration rules
AlessioGiacobbe
committed
fd1e00d
fix(translator): enforce readonly-class inheritance and interface parent kind
AlessioGiacobbe
committed
251513d
fix(preprocessor): enforce property-hook placement rules for class properties
AlessioGiacobbe
committed
2e185ab
fix(preprocessor): reject variadic promoted properties and callable property/constant types
AlessioGiacobbe
committed
6ab4658
test(native-property): assert PHP-semantics lowering for int property +=
AlessioGiacobbe
committed
b2b66d5
fix(codegen): keep Zend operand read order around hoisted side effects
AlessioGiacobbe
committed
9d3f7a7
fix(preprocessor): validate compound type declarations and class-scope type keywords
AlessioGiacobbe
committed
1409e8d
Merge branch 'audit/codegen': expression codegen and constant-folding fixes
AlessioGiacobbe
committed
0eefba1
test(preprocessor): cover Zend declaration-rule enforcement
AlessioGiacobbe
committed
7b6b9ec
Merge branch 'audit/preproc-validation': declaration validation fixes
AlessioGiacobbe
committed
865e820
fix(translator): validate same-name methods when interfaces merge
AlessioGiacobbe
committed
0e1714f
Merge upstream master (PR #19 trait composition, gh-38 namespace fix) into fix/correctness-audit
AlessioGiacobbe
committed
4c7ad4c
fix(ci): platform-neutral codegen assertions, bare negated literals
AlessioGiacobbe
committed
7e75c14
fix(ci): tolerate forward references in enum case values, align phpt semantics
AlessioGiacobbe
committed
7175652