Fix #11545: while-true-if-break: Variable might not be defined #25676
Triggered via pull request
February 17, 2026 03:47
phpstan-bot
Status
Failure
Total duration
13m 50s
Artifacts
–
tests.yml
on: pull_request
Matrix: Tests PHPUnit 12.x
Determine levels tests matrix
37s
Matrix: Integration tests
Matrix: Tests PHPUnit 11.x
Matrix: Tests with old PHPUnit
Matrix: Mutation Testing
Matrix: Levels tests
Annotations
2 errors and 4 warnings
|
Mutation Testing (8.3, ubuntu-latest)
Process completed with exit code 1.
|
|
Mutation Testing (8.4, ubuntu-latest)
Process completed with exit code 1.
|
|
Mutation Testing (8.3, ubuntu-latest):
src/Analyser/NodeScopeResolver.php#L1785
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
} else {
$finalScope = $finalScope->mergeWith($scope);
}
- } elseif (!$alwaysIterates->yes()) {
+ } elseif ($alwaysIterates->no()) {
if (!$this->polluteScopeWithLoopInitialAssignments) {
$finalScope = $finalScope->mergeWith($scope);
}
|
|
Mutation Testing (8.3, ubuntu-latest):
src/Analyser/NodeScopeResolver.php#L1759
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
}
$breakExitPoints = $finalScopeResult->getExitPointsByType(Break_::class);
- if ($alwaysIterates->yes() && count($breakExitPoints) > 0) {
+ if (!$alwaysIterates->no() && count($breakExitPoints) > 0) {
$finalScope = null;
foreach ($breakExitPoints as $breakExitPoint) {
$finalScope = $finalScope === null
|
|
Mutation Testing (8.4, ubuntu-latest):
src/Analyser/NodeScopeResolver.php#L1785
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
} else {
$finalScope = $finalScope->mergeWith($scope);
}
- } elseif (!$alwaysIterates->yes()) {
+ } elseif ($alwaysIterates->no()) {
if (!$this->polluteScopeWithLoopInitialAssignments) {
$finalScope = $finalScope->mergeWith($scope);
}
|
|
Mutation Testing (8.4, ubuntu-latest):
src/Analyser/NodeScopeResolver.php#L1759
Escaped Mutant for Mutator "PHPStan\Infection\TrinaryLogicMutator":
@@ @@
}
$breakExitPoints = $finalScopeResult->getExitPointsByType(Break_::class);
- if ($alwaysIterates->yes() && count($breakExitPoints) > 0) {
+ if (!$alwaysIterates->no() && count($breakExitPoints) > 0) {
$finalScope = null;
foreach ($breakExitPoints as $breakExitPoint) {
$finalScope = $finalScope === null
|