From 5b6e79ad968f19902abba47bb551d8d0d6f619e8 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 6 Sep 2005 13:15:15 +0000 Subject: [PATCH] * src/tgbaalgos/ndfs_result.hxx (ndfs_result::construct_prefix): Initialize tmp to suppress a GCC 4.0 warning. * src/ltltest/randltl.cc (main): Likewise with another variable. --- ChangeLog | 6 ++++++ src/ltltest/randltl.cc | 2 +- src/tgbaalgos/ndfs_result.hxx | 1 + 3 files changed, 8 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index 60f55035e..e3964f706 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,9 @@ +2005-09-05 Heikki Tauriainen + + * src/tgbaalgos/ndfs_result.hxx (ndfs_result::construct_prefix): + Initialize tmp to suppress a GCC 4.0 warning. + * src/ltltest/randltl.cc (main): Likewise with another variable. + 2005-09-05 Heikki Tauriainen * src/ltlast/visitor.hh (visitor, const_visitor): Add empty diff --git a/src/ltltest/randltl.cc b/src/ltltest/randltl.cc index 4667b2b98..4c0f40620 100644 --- a/src/ltltest/randltl.cc +++ b/src/ltltest/randltl.cc @@ -169,7 +169,7 @@ main(int argc, char** argv) while (max_tries_u--) { spot::srand(opt_s++); - spot::ltl::formula* f; + spot::ltl::formula* f = 0; int max_tries_r = 1000; while (max_tries_r--) { diff --git a/src/tgbaalgos/ndfs_result.hxx b/src/tgbaalgos/ndfs_result.hxx index 86a43f2c6..3ff5b831c 100644 --- a/src/tgbaalgos/ndfs_result.hxx +++ b/src/tgbaalgos/ndfs_result.hxx @@ -615,6 +615,7 @@ namespace spot { m_source_trans target; transition tmp; + tmp.source = tmp.dest = 0; // Initialize to please GCC 4.0. // Register all states from the cycle as target of the BFS. for (tgba_run::steps::const_iterator i = run->cycle.begin();