Prevent infite loop on nested try/catch/if/then/else (fix #533)

4 years ago · 7f06947601
parent a23a137a5e
commit 7f06947601
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: