Merge pull request #563 from crytic/dev-fix-tuple-reassignement

Fix incorrect handling of tuple variable re-assignement
4 years ago · c01984f80e
parent b840336fd4 ac27e68f94
commit c01984f80e
1 changed files with 1 additions and 1 deletions
--- a/slither/visitors/slithir/expression_to_slithir.py
+++ b/slither/visitors/slithir/expression_to_slithir.py
@ -134,7 +134,7 @@ class ExpressionToSlithIR(ExpressionVisitor):
        # Tuple with only one element. We need to convert the assignment to a Unpack
        # Ex:
        # (uint a,,) = g()
-        elif isinstance(left, LocalVariableInitFromTuple) and left.tuple_index:
+        elif isinstance(left, LocalVariableInitFromTuple) and left.tuple_index and isinstance(right, TupleVariable):
            operation = Unpack(left, right, left.tuple_index)
            operation.set_expression(expression)
            self._result.append(operation)