From 396894f7a7bed05cb5bc2f09de4c755405ca023b Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 5 Jan 2006 20:01:18 +0000 Subject: [PATCH] * src/tgbaalgos/ndfs_result.hxx (ndfs_result::construct_cycle): Initialize tmp to suppress a GCC 4.0.1 warning (seen on Darwin). --- ChangeLog | 5 +++++ src/tgbaalgos/ndfs_result.hxx | 3 ++- 2 files changed, 7 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index 484f4a44f..a7a8dc960 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2006-01-05 Alexandre Duret-Lutz + + * 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 * src/tgbatest/defs.in (VALGRIND): Use --log-fd instead of diff --git a/src/tgbaalgos/ndfs_result.hxx b/src/tgbaalgos/ndfs_result.hxx index 3ff5b831c..f2b12fa46 100644 --- a/src/tgbaalgos/ndfs_result.hxx +++ b/src/tgbaalgos/ndfs_result.hxx @@ -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 s(this, a_, target, h_); const state* res = s.search(current.dest->clone(), run->cycle);