Arg value inherited currentlyAllowedUndefinedExpressions because of already stored expr result

ondrejmirtes · ondrejmirtes · commit 36ca42d50f60 · 2025-12-11T16:01:46.000+01:00
diff --git a/src/Analyser/NodeScopeResolver.php b/src/Analyser/NodeScopeResolver.php
@@ -5731,6 +5731,7 @@ private function processArgs(
 						new TypeExpr($byRefType),
 						$nodeCallback,
 					)->getScope();
+					$scope = $this->lookForUnsetAllowedUndefinedExpressions($scope, $argValue);
 				}
 			} elseif ($calleeReflection !== null && $calleeReflection->hasSideEffects()->yes()) {
 				$argType = $scope->getType($arg->value);

Original file line number	Diff line number	Diff line change
`@@ -5731,6 +5731,7 @@ private function processArgs(`
`5731`	`5731`	`new TypeExpr($byRefType),`
`5732`	`5732`	`$nodeCallback,`
`5733`	`5733`	`)->getScope();`
	`5734`	`+ $scope = $this->lookForUnsetAllowedUndefinedExpressions($scope, $argValue);`
`5734`	`5735`	`}`
`5735`	`5736`	`} elseif ($calleeReflection !== null && $calleeReflection->hasSideEffects()->yes()) {`
`5736`	`5737`	`$argType = $scope->getType($arg->value);`