From f89a9e302e087dbb34de2dff47bc236a0ece36c6 Mon Sep 17 00:00:00 2001
From: Fabrice Desclaux <fabrice.desclaux@cea.fr>
Date: Thu, 7 Feb 2019 20:28:58 +0100
Subject: Propagation: Don't propagate immutable registers

---
 miasm2/analysis/data_flow.py | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'miasm2/analysis/data_flow.py')

diff --git a/miasm2/analysis/data_flow.py b/miasm2/analysis/data_flow.py
index a08acbd9..53033d7e 100644
--- a/miasm2/analysis/data_flow.py
+++ b/miasm2/analysis/data_flow.py
@@ -708,6 +708,8 @@ class PropagateExpr(object):
         to_replace = {}
         node_to_reg = {}
         for node in defuse.nodes():
+            if node.var in ssa.immutable_ids:
+                continue
             src = defuse.get_node_target(node)
             if expr_has_call(src):
                 continue
-- 
cgit 1.4.1