use as_long for only Non ints

6 years ago · 75af0668ac
parent 77ca445804
commit 75af0668ac
1 changed files with 1 additions and 1 deletions
--- a/mythril/laser/ethereum/instructions.py
+++ b/mythril/laser/ethereum/instructions.py
@ -1287,7 +1287,7 @@ class Instruction:

            try:
                mem_out_start = helper.get_concrete_int(memory_out_offset)
-                mem_out_sz = memory_out_size.as_long()
+                mem_out_sz = memory_out_size if type(memory_out_size) == int else memory_out_size.as_long()
            except TypeError:
                logging.debug("CALL with symbolic start or offset not supported")
                return [global_state]