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

* src/tgbaalgos/ndfs_result.hxx (ndfs_result::construct_cycle):

Browse source 
Initialize tmp to suppress a GCC 4.0.1 warning (seen on Darwin).
This commit is contained in:
Alexandre Duret-Lutz 2006-01-05 20:01:18 +00:00
parent b47f4ab09b
commit 396894f7a7
2 changed files with 7 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

5
ChangeLog
View file

@ -1,3 +1,8 @@
2006-01-05 Alexandre Duret-Lutz <adl@gnu.org>
* src/tgbaalgos/ndfs_result.hxx (ndfs_result::construct_cycle):
Initialize tmp to suppress a GCC 4.0.1 warning (seen on Darwin).
2006-01-03 Alexandre Duret-Lutz <adl@src.lip6.fr>
* src/tgbatest/defs.in (VALGRIND): Use --log-fd instead of

3
src/tgbaalgos/ndfs_result.hxx
View file

@ -1,4 +1,4 @@
// Copyright (C) 2004, 2005 Laboratoire d'Informatique de Paris 6 (LIP6),
// Copyright (C) 2004, 2005, 2006 Laboratoire d'Informatique de Paris 6 (LIP6),
// département Systèmes Répartis Coopératifs (SRC), Université Pierre
// et Marie Curie.
//
@ -602,6 +602,7 @@ namespace spot
<< a_->format_state(current.dest) << " to "
<< a_->format_state(begin) << std::endl;
transition tmp;
tmp.source = tmp.dest = 0; // Initialize to please GCC 4.0.1 (Darwin).
target.insert(std::make_pair(begin, tmp));
min_path<true> s(this, a_, target, h_);
const state* res = s.search(current.dest->clone(), run->cycle);