Compute integer range bounds for bitwise AND, OR, XOR, and NOT on IntegerRangeType
#29897
VincentLanglettests.yml
on: pull_request
Matrix: Tests PHPUnit 12.x
Determine levels tests matrix
45s
Matrix: Integration tests
Matrix: Tests PHPUnit 11.x
Matrix: Tests with old PHPUnit
Matrix: Mutation Testing
Matrix: Levels tests
Annotations
2 errors, 3 warnings, and 8 notices
|
Mutation Testing (8.4, ubuntu-latest)
Process completed with exit code 1.
|
|
Mutation Testing (8.3, ubuntu-latest)
Process completed with exit code 1.
|
|
Mutation Testing (8.4, ubuntu-latest):
src/Reflection/InitializerExprTypeResolver.php#L1934
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
if ($leftBounds !== null && $rightType->isInteger()->yes()) {
return IntegerRangeType::fromInterval(0, $leftBounds[1]);
}
- if ($rightBounds !== null && $leftType->isInteger()->yes()) {
+ if ($rightBounds !== null && !$leftType->isInteger()->no()) {
return IntegerRangeType::fromInterval(0, $rightBounds[1]);
}
return null;
|
|
Mutation Testing (8.4, ubuntu-latest):
src/Reflection/InitializerExprTypeResolver.php#L1931
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
if ($leftBounds !== null && $rightBounds !== null) {
return IntegerRangeType::fromInterval(0, min($leftBounds[1], $rightBounds[1]));
}
- if ($leftBounds !== null && $rightType->isInteger()->yes()) {
+ if ($leftBounds !== null && !$rightType->isInteger()->no()) {
return IntegerRangeType::fromInterval(0, $leftBounds[1]);
}
if ($rightBounds !== null && $leftType->isInteger()->yes()) {
|
|
Mutation Testing (8.3, ubuntu-latest):
src/Reflection/InitializerExprTypeResolver.php#L1931
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
if ($leftBounds !== null && $rightBounds !== null) {
return IntegerRangeType::fromInterval(0, min($leftBounds[1], $rightBounds[1]));
}
- if ($leftBounds !== null && $rightType->isInteger()->yes()) {
+ if ($leftBounds !== null && !$rightType->isInteger()->no()) {
return IntegerRangeType::fromInterval(0, $leftBounds[1]);
}
if ($rightBounds !== null && $leftType->isInteger()->yes()) {
|
|
Integration tests (windows-latest)
NOTICE: windows-latest requests are being redirected to windows-2025-vs2026 by June 15, 2026
|
|
Tests PHPUnit 12.x (8.5, windows-latest)
NOTICE: windows-latest requests are being redirected to windows-2025-vs2026 by June 15, 2026
|
|
Tests with old PHPUnit (8.1, windows-latest)
NOTICE: windows-latest requests are being redirected to windows-2025-vs2026 by June 15, 2026
|
|
Tests PHPUnit 12.x (8.4, windows-latest)
NOTICE: windows-latest requests are being redirected to windows-2025-vs2026 by June 15, 2026
|
|
Tests PHPUnit 12.x (8.3, windows-latest)
NOTICE: windows-latest requests are being redirected to windows-2025-vs2026 by June 15, 2026
|
|
Tests with old PHPUnit (8.0, windows-latest)
NOTICE: windows-latest requests are being redirected to windows-2025-vs2026 by June 15, 2026
|
|
Tests PHPUnit 11.x (8.2, windows-latest)
NOTICE: windows-latest requests are being redirected to windows-2025-vs2026 by June 15, 2026
|
|
Tests with old PHPUnit (7.4, windows-latest)
NOTICE: windows-latest requests are being redirected to windows-2025-vs2026 by June 15, 2026
|