From bdda063b67d8c1d402f6dc17726fed0c800d3d1c Mon Sep 17 00:00:00 2001 From: Cyrille Bagard 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 +17-07-12 Cyrille Bagard + + * src/analysis/disass/dragon.c: + Fix the computation of dominators for the loops detection. + +17-07-12 Cyrille Bagard * 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