Merge pull request #535 from crytic/dev-try-catch

Prevent infinite loop on nested try/catch/if/then/else
4 years ago · 7f85eb3da4
parent a23a137a5e 7f06947601
commit 7f85eb3da4
1 changed files with 2 additions and 1 deletions
--- a/slither/solc_parsing/declarations/function.py
+++ b/slither/solc_parsing/declarations/function.py
@ -995,7 +995,8 @@ class FunctionSolc:
            link_nodes(node, end_node)
        else:
            for son in node.sons:
-                self._fix_catch(son, end_node)
+                if son != end_node:
+                    self._fix_catch(son, end_node)

    def _add_param(self, param: Dict) -> LocalVariableSolc: