From 434475dbc86c23a33a25259830ef066864a0c6a8 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Fri, 29 Oct 2004 07:05:30 +0000 Subject: [PATCH] * src/tgbaalgos/gtec/ce.cc (couvreur99_check_result::accepting_path): Initialize best_end to remove a spurious warning. --- ChangeLog | 3 +++ src/tgbaalgos/gtec/ce.cc | 2 +- 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index 9ea897e42..e73fe26e5 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,8 @@ 2004-10-29 Alexandre Duret-Lutz + * src/tgbaalgos/gtec/ce.cc (couvreur99_check_result::accepting_path): + Initialize best_end to remove a spurious warning. + * src/tgbaalgos/gtec/ce.cc (couvreur99_check_result::accepting_run, couvreur99_check_result::complete_cycle, couvreur99_check_result::accepting_path): Record conditions and diff --git a/src/tgbaalgos/gtec/ce.cc b/src/tgbaalgos/gtec/ce.cc index 383af1943..b40556f02 100644 --- a/src/tgbaalgos/gtec/ce.cc +++ b/src/tgbaalgos/gtec/ce.cc @@ -304,7 +304,7 @@ namespace spot // The best path seen so far. tgba_run::steps best_path; // The end state of the base path. - const state* best_end; + const state* best_end = 0; // The acceptance conditions traversed by BEST_PATH. bdd best_acc = bddfalse;