Skip to content

Commit

Permalink
Rename vars to candidates
Browse files Browse the repository at this point in the history
  • Loading branch information
montyly committed Feb 27, 2025
1 parent 0eca646 commit bbedc22
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions slither/core/cfg/node.py
Original file line number Diff line number Diff line change
Expand Up @@ -1008,13 +1008,13 @@ def _update_write_using_ssa(self, ir: Operation) -> None:
if isinstance(var, ReferenceVariable):
var = var.points_to_origin

vars = [var]
candidates = [var]

# If we write to a storage pointer, add everything it points to as target
if isinstance(var, LocalIRVariable) and var.is_storage:
vars += var.refers_to
candidates += var.refers_to

for var in vars:
for var in candidates:
# Only store non-slithIR variables
if var and isinstance(var, (StateIRVariable, LocalIRVariable)):
if isinstance(ir, PhiCallback):
Expand Down

0 comments on commit bbedc22

Please sign in to comment.