File tree Expand file tree Collapse file tree 1 file changed +8
-6
lines changed
slither/core/declarations Expand file tree Collapse file tree 1 file changed +8
-6
lines changed Original file line number Diff line number Diff line change @@ -1586,12 +1586,14 @@ def is_returning_msg_sender(self) -> bool:
15861586
15871587 # Track assignments where an address-typed variable is assigned.
15881588 # This helps trace msg.sender aliases through reassignments.
1589- if isinstance (ir , Assignment ) and ir .lvalue .type == ElementaryType ("address" ):
1590- if hasattr (ir .lvalue , "name" ) and hasattr (ir .rvalue , "name" ):
1591- if ir .rvalue .name in assignment_map :
1592- assignment_map [ir .lvalue .name ] = assignment_map [ir .rvalue .name ]
1593- else :
1594- assignment_map [ir .lvalue .name ] = ir .rvalue .name
1589+ if (
1590+ isinstance (ir , Assignment ) and ir .lvalue .type == ElementaryType ("address" )
1591+ and hasattr (ir .lvalue , "name" ) and hasattr (ir .rvalue , "name" )
1592+ ):
1593+ if ir .rvalue .name in assignment_map :
1594+ assignment_map [ir .lvalue .name ] = assignment_map [ir .rvalue .name ]
1595+ else :
1596+ assignment_map [ir .lvalue .name ] = ir .rvalue .name
15951597
15961598 for var in return_vars :
15971599 if var not in assignment_map :
You can’t perform that action at this time.
0 commit comments