Skip to content
Permalink
Browse files

Add bytes.push() conversion

  • Loading branch information...
montyly committed May 9, 2019
1 parent 141d887 commit 1d2997b67fc48cf6fedb43f16f027d6536c6dcf7
Showing with 1 addition and 1 deletion.
  1. +1 −1 slither/slithir/convert.py
@@ -343,7 +343,7 @@ def propagate_types(ir, node):
# Convert push operations
# May need to insert a new operation
# Which leads to return a list of operation
if isinstance(t, ArrayType):
if isinstance(t, ArrayType) or (isinstance(t, ElementaryType) and t.type == 'bytes'):
if ir.function_name == 'push' and len(ir.arguments) == 1:
return convert_to_push(ir, node)

0 comments on commit 1d2997b

Please sign in to comment.
You can’t perform that action at this time.