diff options
| author | serpilliere <serpilliere@users.noreply.github.com> | 2017-06-14 11:23:34 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-06-14 11:23:34 +0200 |
| commit | e4d1b30fd80506f9a3318c7545cb24faf93d3690 (patch) | |
| tree | b27e24e047608a19748a65f2296f4f11657d2286 | |
| parent | b974d4da277ca9a87527f4bedfeb55114f365e90 (diff) | |
| parent | c69082cde1e75281d6f3349261993c49c2f5c185 (diff) | |
| download | miasm-e4d1b30fd80506f9a3318c7545cb24faf93d3690.tar.gz miasm-e4d1b30fd80506f9a3318c7545cb24faf93d3690.zip | |
Merge pull request #571 from commial/fix/ir-delete
IR: Remove also from .blocks (not synchronized with the graph)
| -rw-r--r-- | miasm2/ir/ir.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/miasm2/ir/ir.py b/miasm2/ir/ir.py index 2509e901..7c39cf04 100644 --- a/miasm2/ir/ir.py +++ b/miasm2/ir/ir.py @@ -810,6 +810,7 @@ class IntermediateRepresentation(object): if (len(self.graph.predecessors(label)) == 0 and len(self.graph.successors(label)) == 0): self.graph.del_node(label) + del self.blocks[label] return modified def merge_blocks(self): |