From ac456dd9deabb80bf414f815677d6759004ad40e Mon Sep 17 00:00:00 2001
From: Fabrice Desclaux <fabrice.desclaux@cea.fr>
Date: Wed, 4 Jul 2018 15:19:40 +0200
Subject: Dataflow: do not remote exception_flags in dead_simp

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

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

diff --git a/miasm2/analysis/data_flow.py b/miasm2/analysis/data_flow.py
index 62176bb1..bba598e0 100644
--- a/miasm2/analysis/data_flow.py
+++ b/miasm2/analysis/data_flow.py
@@ -229,6 +229,7 @@ def dead_simp_useful_assignblks(irarch, defuse, reaching_defs):
             for lval, rval in assignblk.iteritems():
                 if (lval.is_mem() or
                     irarch.IRDst == lval or
+                    lval.is_id("exception_flags") or
                     rval.is_function_call()):
                     useful.add(AssignblkNode(block_lbl, index, lval))
 
-- 
cgit 1.4.1