Skip to content

Commit 4a44d55

Browse files
committedFeb 27, 2025·
Cleanup
1 parent 4230cf5 commit 4a44d55

File tree

1 file changed

+13
-10
lines changed

1 file changed

+13
-10
lines changed
 

‎src/Psalm/Internal/Codebase/TaintFlowGraph.php

+13-10
Original file line numberDiff line numberDiff line change
@@ -218,7 +218,8 @@ public function connectSinksAndSources(): void
218218
$visited_source_ids[$source->id][$source_taints] = true;
219219

220220
if (isset($this->forward_edges[$source->id])) {
221-
$new_sources += $this->getChildNodes(
221+
$this->getChildNodes(
222+
$new_sources,
222223
$source,
223224
$source_taints,
224225
$sinks,
@@ -236,7 +237,8 @@ public function connectSinksAndSources(): void
236237
$generated_source->id = $new_id;
237238
$generated_source->specialized_calls[$source->specialization_key][$new_id] = true;
238239

239-
$new_sources += $this->getChildNodes(
240+
$this->getChildNodes(
241+
$new_sources,
240242
$generated_source,
241243
$source_taints,
242244
$sinks,
@@ -253,7 +255,8 @@ public function connectSinksAndSources(): void
253255
$new_source->id = $new_id;
254256
unset($new_source->specialized_calls[$specialization]);
255257

256-
$new_sources += $this->getChildNodes(
258+
$this->getChildNodes(
259+
$new_sources,
257260
$new_source,
258261
$source_taints,
259262
$sinks,
@@ -271,7 +274,8 @@ public function connectSinksAndSources(): void
271274
$new_source = clone $source;
272275
$new_source->id = $new_id;
273276

274-
$new_sources += $this->getChildNodes(
277+
$this->getChildNodes(
278+
$new_sources,
275279
$new_source,
276280
$source_taints,
277281
$sinks,
@@ -283,21 +287,22 @@ public function connectSinksAndSources(): void
283287
}
284288

285289
$sources = $new_sources;
290+
unset($new_sources);
286291
}
287292
}
288293

289294
/**
290295
* @param array<DataFlowNode> $sinks
291-
* @return array<string, DataFlowNode>
296+
* @param array<string, DataFlowNode> $new_sources
297+
* @param-out array<string, DataFlowNode> $new_sources
292298
*/
293299
private function getChildNodes(
300+
array &$new_sources,
294301
DataFlowNode $generated_source,
295302
int $source_taints,
296303
array $sinks,
297304
array $visited_source_ids,
298-
): array {
299-
$new_sources = [];
300-
305+
): void {
301306
$config = Config::getInstance();
302307

303308
$project_analyzer = ProjectAnalyzer::getInstance();
@@ -488,7 +493,5 @@ private function getChildNodes(
488493
' ' . $new_destination->taints;
489494
$new_sources[$key] = $new_destination;
490495
}
491-
492-
return $new_sources;
493496
}
494497
}

0 commit comments

Comments
 (0)
Please sign in to comment.