diff options
| author | Tim Blazytko <tim.blazytko@rub.de> | 2015-05-12 19:07:19 +0200 |
|---|---|---|
| committer | Tim Blazytko <tim.blazytko@rub.de> | 2015-06-02 14:56:08 +0200 |
| commit | 8635555509e768655f5503792ad39ae1b6b3ff76 (patch) | |
| tree | cd1fcd69fc2534e94b4f7ecb0350a0fe39cecb26 /miasm2/core/graph.py | |
| parent | 7912f1870e2aa87753d1c8537e03826f82801166 (diff) | |
| download | miasm-8635555509e768655f5503792ad39ae1b6b3ff76.tar.gz miasm-8635555509e768655f5503792ad39ae1b6b3ff76.zip | |
DiGraph: fixed dominance_frontier for graphs with multiple heads
Diffstat (limited to 'miasm2/core/graph.py')
| -rw-r--r-- | miasm2/core/graph.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/miasm2/core/graph.py b/miasm2/core/graph.py index cd4da705..b11c2dd8 100644 --- a/miasm2/core/graph.py +++ b/miasm2/core/graph.py @@ -328,6 +328,8 @@ shape = "box" if self._nodes_pred[n] >= 2: for p in self.predecessors_iter(n): runner = p + if runner not in idoms: + continue while runner != idoms[n]: if n not in df: df[n] = set() |