Minor

6 years ago · f1b578c11f
parent 1fb497a417
commit f1b578c11f
1 changed files with 2 additions and 0 deletions
--- a/slither/solc_parsing/declarations/function.py
+++ b/slither/solc_parsing/declarations/function.py
@ -839,6 +839,8 @@ class FunctionSolc(Function):
        self._remove_alone_endif()

    def get_last_ssa_state_variables_instances(self):
+        if not self.is_implemented:
+            return dict()
        last_instances = dict()

        def explore(node, visited, values):