alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Fix a spurious g++ warning observed on Darwin builds.

Browse source 
* src/tgba/taatgba.cc (taa_succ_iterator::taa_succ_iterator):
Initialize iterator i to silence a spurious g++ warning on Darwin.
This commit is contained in:
Alexandre Duret-Lutz 2011-02-08 10:53:06 +01:00
parent 9119ffe9bc
commit baf1288dc6
2 changed files with 9 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/tgba/taatgba.cc
View file

@ -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<taa_tgba::transition*>::iterator j;
if (t->condition != bddfalse)
{