Fix bug when convertir push([1,2])

6 years ago · 5745be7d20
parent 8c34abe1c3
commit 5745be7d20
1 changed files with 2 additions and 2 deletions
--- a/slither/slithir/convert.py
+++ b/slither/slithir/convert.py
@ -224,11 +224,11 @@ def convert_to_push(ir):

        ir = Push(ir.destination, val)

-        length = len(operation.init_values)
+        length = Literal(len(operation.init_values))
        t = operation.init_values[0].type
        ir.lvalue.set_type(ArrayType(t, length))

-        ret.insert(ir)
+        ret.append(ir)
        return ret

    ir = Push(ir.destination, ir.arguments[0])