From a3445662ab8382ff70d83585c98c0041735f4a5d Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Wed, 4 Oct 2017 23:43:39 +0200 Subject: [PATCH] Reduce scope for variable. --- src/mc/checker/LivenessChecker.cpp | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/mc/checker/LivenessChecker.cpp b/src/mc/checker/LivenessChecker.cpp index df9cd0301b..42ce4dc61e 100644 --- a/src/mc/checker/LivenessChecker.cpp +++ b/src/mc/checker/LivenessChecker.cpp @@ -392,9 +392,8 @@ void LivenessChecker::run() } /* Pair already visited ? stop the exploration on the current path */ - int visited_num = -1; if (not current_pair->exploration_started) { - visited_num = this->insertVisitedPair(reached_pair, current_pair.get()); + int visited_num = this->insertVisitedPair(reached_pair, current_pair.get()); if (visited_num != -1) { if (dot_output != nullptr) { fprintf(dot_output, "\"%d\" -> \"%d\" [%s];\n", this->previousPair_, visited_num, -- 2.20.1