added non reachable fathers to be analyzed

crytic · Jun 22, 2023 · ab43894 · ab43894
1 parent 9c2837d
commit ab43894
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/slither/core/dominators/utils.py b/slither/core/dominators/utils.py
@@ -89,8 +89,6 @@ def compute_dominance_frontier(nodes: List["Node"]) -> None:
     for node in nodes:
         if len(node.fathers) >= 2:
             for father in node.fathers:
-                if not father.is_reachable:
-                    continue
                 runner = father
                 # Corner case: if there is a if without else
                 # we need to add update the conditional node