Compute integer range bounds for bitwise AND, OR, XOR, and NOT on `IntegerRangeType` - #5771

Merged

staabm merged 8 commits into

phpstan:2.2.xfrom

phpstan-bot:create-pull-request/patch-vqyeygp

Aug 13, 2026

Commits on Aug 13, 2026

Compute integer range bounds for bitwise AND, OR, XOR, and NOT on `IntegerRangeType`

VincentLanglet
authored and
staabm
committed
94c8eb8
Use typed parameters instead of inline @var in the bitwise range test

authored and
staabm
committed
63f896f
Update bug-14654.php
staabm
committed
b915953
Compute bitwise range bounds from the numeric-coerced operands

authored and
staabm
committed
a01c1bb
Derive the bit-propagation shifts from the native integer width

authored and
staabm
committed
eb52d7e
Update InitializerExprTypeResolver.php
staabm
committed
a8b9ee3
Update InitializerExprTypeResolver.php
staabm
committed
a4d4080
Infer int<0, max> for bitwise ops on non-negative operands without a finite max

phpstan-bot
and
claude
committed
52a58eb