From b7cd6d4035f18a50fd664eb8bb3829e9a4aeb9c3 Mon Sep 17 00:00:00 2001 From: hexcoder- Date: Mon, 4 Jan 2021 18:11:51 +0100 Subject: code cleanup --- instrumentation/MarkNodes.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'instrumentation/MarkNodes.cc') diff --git a/instrumentation/MarkNodes.cc b/instrumentation/MarkNodes.cc index 20a7df35..b77466d9 100644 --- a/instrumentation/MarkNodes.cc +++ b/instrumentation/MarkNodes.cc @@ -332,11 +332,11 @@ bool Indistinguish(uint32_t node1, uint32_t node2) { void MakeUniq(uint32_t now) { - bool StopFlag = false; if (Marked.find(now) == Marked.end()) { for (uint32_t pred1 : t_Pred[now]) { + bool StopFlag = false; for (uint32_t pred2 : t_Pred[now]) { if (pred1 == pred2) continue; -- cgit 1.4.1