From bdda063b67d8c1d402f6dc17726fed0c800d3d1c Mon Sep 17 00:00:00 2001
From: Cyrille Bagard <nocbos@gmail.com>
Date: Wed, 12 Jul 2017 20:15:24 +0200
Subject: Fixed the computation of dominators for the loops detection.

---
 ChangeLog                    | 7 ++++++-
 src/analysis/disass/dragon.c | 2 ++
 2 files changed, 8 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index e54d49f..6562f78 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,4 +1,9 @@
-17-07-08  Cyrille Bagard <nocbos@gmail.com>
+17-07-12  Cyrille Bagard <nocbos@gmail.com>
+
+	* src/analysis/disass/dragon.c:
+	Fix the computation of dominators for the loops detection.
+
+17-07-12  Cyrille Bagard <nocbos@gmail.com>
 
 	* configure.ac:
 	* plugins/fmtp/parser.c:
diff --git a/src/analysis/disass/dragon.c b/src/analysis/disass/dragon.c
index 9064af8..655300b 100644
--- a/src/analysis/disass/dragon.c
+++ b/src/analysis/disass/dragon.c
@@ -591,6 +591,8 @@ void compute_all_dominators(dragon_node *nodes, size_t count)
 
             set_in_bit_field(inter, k, 1);
 
+            or_bit_field(inter, node->bits);
+
             if (compare_bit_fields(node->bits, inter) != 0)
             {
                 copy_bit_field(node->bits, inter);
-- 
cgit v0.11.2-87-g4458