We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 5b230aa commit addf200Copy full SHA for addf200
slither/core/declarations/function.py
@@ -1594,10 +1594,6 @@ def is_returning_msg_sender(self) -> bool:
1594
):
1595
lval, rval = ir.lvalue.name, ir.rvalue.name
1596
assignment_map[lval] = assignment_map.get(rval, rval)
1597
- # if ir.rvalue.name in assignment_map:
1598
- # assignment_map[ir.lvalue.name] = assignment_map[ir.rvalue.name]
1599
- # else:
1600
- # assignment_map[ir.lvalue.name] = ir.rvalue.name
1601
1602
for var in return_vars:
1603
if var not in assignment_map:
0 commit comments