diff options
| author | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2019-02-08 17:51:01 +0100 |
|---|---|---|
| committer | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2019-02-18 22:49:33 +0100 |
| commit | 53c5f000e76852956fdb9a456c8e33ad63f556c0 (patch) | |
| tree | 136900a505bc3ca52b0fc2a9b4c71dcdc96ecd98 | |
| parent | 087f9f0998563914745f5b8b26e1c7b63e3ab84c (diff) | |
| download | miasm-53c5f000e76852956fdb9a456c8e33ad63f556c0.tar.gz miasm-53c5f000e76852956fdb9a456c8e33ad63f556c0.zip | |
SSA: head should not be in loops
Diffstat (limited to '')
| -rw-r--r-- | miasm2/analysis/ssa.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/miasm2/analysis/ssa.py b/miasm2/analysis/ssa.py index 036d92ca..489b4328 100644 --- a/miasm2/analysis/ssa.py +++ b/miasm2/analysis/ssa.py @@ -366,6 +366,7 @@ class SSADiGraph(SSA): def transform(self, head): """Transforms into SSA""" + assert not self.graph.predecessors(head) self._init_variable_defs(head) self._place_phi(head) self._rename(head) |