Merge branch 'bugfix/783' of github.com:ConsenSys/mythril into bugfix/783

6 years ago · 62dfe18a2d
parent b94c4578cc 7301359135
commit 62dfe18a2d
1 changed files with 7 additions and 2 deletions
--- a/mythril/laser/ethereum/instructions.py
+++ b/mythril/laser/ethereum/instructions.py
@ -991,8 +991,13 @@ class Instruction:
            for keccak_key in keccak_keys:
                key_argument = keccak_function_manager.get_argument(keccak_key)
                index_argument = keccak_function_manager.get_argument(index)
-
-                if is_true(simplify(key_argument == index_argument)):
+                condition = key_argument == index_argument
+                condition = (
+                    condition
+                    if type(condition) == bool
+                    else is_true(simplify(condition))
+                )
+                if condition:
                    return self._sstore_helper(
                        copy(global_state),
                        keccak_key,