From baf1288dc6110da42b698dc200a5db89ee17296d Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 8 Feb 2011 10:53:06 +0100 Subject: [PATCH] Fix a spurious g++ warning observed on Darwin builds. * src/tgba/taatgba.cc (taa_succ_iterator::taa_succ_iterator): Initialize iterator i to silence a spurious g++ warning on Darwin. --- ChangeLog | 7 +++++++ src/tgba/taatgba.cc | 4 ++-- 2 files changed, 9 insertions(+), 2 deletions(-) diff --git a/ChangeLog b/ChangeLog index 23ab6cd6a..27552aa14 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,10 @@ +2011-02-08 Alexandre Duret-Lutz + + Fix a spurious g++ warning observed on Darwin builds. + + * src/tgba/taatgba.cc (taa_succ_iterator::taa_succ_iterator): + Initialize iterator i to silence a spurious g++ warning on Darwin. + 2011-02-07 Alexandre Duret-Lutz * configure.ac: s/gnit/gnu so that we can use 0.7.1a as a version. diff --git a/src/tgba/taatgba.cc b/src/tgba/taatgba.cc index 4d283be1c..dcd73b19e 100644 --- a/src/tgba/taatgba.cc +++ b/src/tgba/taatgba.cc @@ -1,4 +1,4 @@ -// Copyright (C) 2009, 2010 Laboratoire de Recherche et Développement +// Copyright (C) 2009, 2010, 2011 Laboratoire de Recherche et Développement // de l'Epita (LRDE) // // This file is part of Spot, a model checking library. @@ -245,7 +245,7 @@ namespace spot // If no contradiction, then look for another transition to // merge with the new one. - seen_map::iterator i; + seen_map::iterator i = seen_.end(); // Initialize to silent a g++ warning. std::vector::iterator j; if (t->condition != bddfalse) {