From ab43894edf8cdf53f8b8f8dae2920ceb7f6e7a07 Mon Sep 17 00:00:00 2001 From: Tigran Avagyan Date: Thu, 22 Jun 2023 18:55:44 +0400 Subject: [PATCH] added non reachable fathers to be analyzed --- slither/core/dominators/utils.py | 2 -- 1 file changed, 2 deletions(-) diff --git a/slither/core/dominators/utils.py b/slither/core/dominators/utils.py index 78413a2dab..1c2c4d3cdc 100644 --- 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