Skip to content

Fix missing detection of dead code in expressions #4090

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
ondrejmirtes merged 28 commits into from
Jul 21, 2025
Merged

Fix missing detection of dead code in expressions #4090

Changes from 1 commit
Commits
Show all changes
28 commits
Select commit Hold shift + click to select a range
bda643b
Fix missing detection of dead code in expressions
staabm Jul 11, 2025
a3a6a49
Support method calls / static calls
staabm Jul 11, 2025
c2b3e7b
fix assignments
staabm Jul 11, 2025
a430885
fix regression
staabm Jul 11, 2025
074877a
Fix NullsafeMethodCall
staabm Jul 11, 2025
1707b28
fix build
staabm Jul 11, 2025
6023250
test nullsafe
staabm Jul 11, 2025
5bf7349
more tests
staabm Jul 11, 2025
82c93d4
fix PHP 7.4
staabm Jul 11, 2025
0cc9483
better names
staabm Jul 11, 2025
af69075
fix string interpolation
staabm Jul 12, 2025
0610269
fix func args
staabm Jul 12, 2025
0b29958
fix callables
staabm Jul 12, 2025
0b642df
added regression test
staabm Jul 12, 2025
e7d00d1
fix arrays
staabm Jul 12, 2025
dfe77ba
fix method calls
staabm Jul 12, 2025
95bb39d
ExpressionResult isAlwaysTerminating is consistent with StatementResult
staabm Jul 17, 2025
4e0c9c0
Added ExpressionResultTest
staabm Jul 17, 2025
89d5780
Add $isAlwaysTerminating to every node-type if-branch
staabm Jul 17, 2025
f18867b
fix build
staabm Jul 17, 2025
4e00904
fix arrow-fn and suppress
staabm Jul 17, 2025
d0d52d9
implement more cases
staabm Jul 17, 2025
cc65f3b
Update NodeScopeResolver.php
staabm Jul 17, 2025
70d67c2
Update NodeScopeResolver.php
staabm Jul 17, 2025
24ff8fd
fix nullsafe
staabm Jul 17, 2025
ba52625
fix expectations
staabm Jul 21, 2025
8b2806a
simplify ExpressionResultTest
staabm Jul 21, 2025
15f2b01
add more tests
staabm Jul 21, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Update NodeScopeResolver.php
  • Loading branch information
@staabm
staabm committed Jul 21, 2025
commit cc65f3bd09ad13febfdc58c84ea627f6779b342e
14 changes: 12 additions & 2 deletions src/Analyser/NodeScopeResolver.php
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2934,7 +2934,7 @@ static function (): void {
return new ExpressionResult(
$scope,
$exprResult->hasYield(),
false,
$exprResult->isAlwaysTerminating(),
$exprResult->getThrowPoints(),
$exprResult->getImpurePoints(),
static fn (): MutatingScope => $scope->filterByTruthyValue($expr),
Expand Down Expand Up @@ -3115,6 +3115,7 @@ static function (): void {
$hasYield = $hasYield || $result->hasYield();
$throwPoints = array_merge($throwPoints, $result->getThrowPoints());
$impurePoints = array_merge($impurePoints, $result->getImpurePoints());
$isAlwaysTerminating = $result->isAlwaysTerminating();
$scope = $result->getScope();
if ($this->phpVersion->supportsPropertyHooks()) {
$throwPoints[] = ThrowPoint::createImplicit($scope, $expr);
Expand All @@ -3139,7 +3140,7 @@ static function (): void {
return new ExpressionResult(
$scope,
$exprResult->hasYield(),
false,
$exprResult->isAlwaysTerminating(),
$exprResult->getThrowPoints(),
$exprResult->getImpurePoints(),
static fn (): MutatingScope => $scope->filterByTruthyValue($expr),
Expand All @@ -3163,13 +3164,15 @@ static function (): void {
$hasYield = $result->hasYield();
$throwPoints = $result->getThrowPoints();
$impurePoints = $result->getImpurePoints();
$isAlwaysTerminating = $result->isAlwaysTerminating();
$scope = $result->getScope();
}
if ($expr->name instanceof Expr) {
$result = $this->processExprNode($stmt, $expr->name, $scope, $nodeCallback, $context->enterDeep());
$hasYield = $hasYield || $result->hasYield();
$throwPoints = array_merge($throwPoints, $result->getThrowPoints());
$impurePoints = array_merge($impurePoints, $result->getImpurePoints());
$isAlwaysTerminating = $isAlwaysTerminating || $result->isAlwaysTerminating();
$scope = $result->getScope();
}
} elseif ($expr instanceof Expr\Closure) {
Expand Down Expand Up @@ -3240,13 +3243,15 @@ static function (): void {
$hasYield = $result->hasYield();
$throwPoints = $result->getThrowPoints();
$impurePoints = $result->getImpurePoints();
$isAlwaysTerminating = $result->isAlwaysTerminating();
$scope = $result->getScope();
}

$result = $this->processExprNode($stmt, $expr->var, $scope, $nodeCallback, $context->enterDeep());
$hasYield = $hasYield || $result->hasYield();
$throwPoints = array_merge($throwPoints, $result->getThrowPoints());
$impurePoints = array_merge($impurePoints, $result->getImpurePoints());
$isAlwaysTerminating = $isAlwaysTerminating || $result->isAlwaysTerminating();
$scope = $result->getScope();
} elseif ($expr instanceof Array_) {
$itemNodes = [];
Expand Down Expand Up @@ -3457,6 +3462,7 @@ static function (): void {
$hasYield = $result->hasYield();
$throwPoints = $result->getThrowPoints();
$impurePoints = $result->getImpurePoints();
$isAlwaysTerminating = $result->isAlwaysTerminating();
} else {
$hasYield = false;
$throwPoints = [];
Expand All @@ -3470,6 +3476,7 @@ static function (): void {
$hasYield = $hasYield || $result->hasYield();
$throwPoints = array_merge($throwPoints, $result->getThrowPoints());
$impurePoints = array_merge($impurePoints, $result->getImpurePoints());
$isAlwaysTerminating = $isAlwaysTerminating || $result->isAlwaysTerminating();
} else {
$nodeCallback($expr->name, $scope);
}
Expand Down Expand Up @@ -3520,6 +3527,7 @@ static function (): void {
$hasYield = $hasYield || $result->hasYield();
$throwPoints = array_merge($throwPoints, $result->getThrowPoints());
$impurePoints = array_merge($impurePoints, $result->getImpurePoints());
$isAlwaysTerminating = $isAlwaysTerminating || $result->isAlwaysTerminating();
}
} elseif ($expr instanceof List_) {
// only in assign and foreach, processed elsewhere
Expand Down Expand Up @@ -3549,6 +3557,7 @@ static function (): void {
$hasYield = $result->hasYield();
$throwPoints = $result->getThrowPoints();
$impurePoints = $result->getImpurePoints();
$isAlwaysTerminating = $result->isAlwaysTerminating();
foreach ($additionalThrowPoints as $throwPoint) {
$throwPoints[] = $throwPoint;
}
Expand Down Expand Up @@ -3644,6 +3653,7 @@ static function (): void {
$hasYield = $hasYield || $result->hasYield();
$throwPoints = array_merge($throwPoints, $result->getThrowPoints());
$impurePoints = array_merge($impurePoints, $result->getImpurePoints());
$isAlwaysTerminating = $isAlwaysTerminating || $result->isAlwaysTerminating();
} elseif (
$expr instanceof Expr\PreInc
|| $expr instanceof Expr\PostInc
Expand Down