From f3b87c85a22e547361bf2d7213065129fb3d7d19 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 30 Sep 2013 20:16:00 +0200 Subject: [PATCH] Fix uninitialized variables in spot::postprocessor. * src/tgbaalgos/postproc.cc: Initialize option variables when opt is not given. --- src/tgbaalgos/postproc.cc | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/tgbaalgos/postproc.cc b/src/tgbaalgos/postproc.cc index dcfcb6d41..0c2be1410 100644 --- a/src/tgbaalgos/postproc.cc +++ b/src/tgbaalgos/postproc.cc @@ -39,7 +39,9 @@ namespace spot postprocessor::postprocessor(const option_map* opt) : type_(TGBA), pref_(Small), level_(High), degen_reset_(true), degen_order_(false), degen_cache_(true), - simul_(-1), scc_filter_(-1), ba_simul_(-1), tba_determinisation_(false) + simul_(-1), scc_filter_(-1), ba_simul_(-1), tba_determinisation_(false), + sat_minimize_(0), sat_acc_(0), sat_states_(0), state_based_(false), + wdba_minimize_(true) { if (opt) { @@ -52,8 +54,8 @@ namespace spot ba_simul_ = opt->get("ba-simul", -1); tba_determinisation_ = opt->get("tba-det", 0); sat_minimize_ = opt->get("sat-minimize", 0); - sat_states_ = opt->get("sat-states", 0); sat_acc_ = opt->get("sat-acc", 0); + sat_states_ = opt->get("sat-states", 0); state_based_ = opt->get("state-based", 0); wdba_minimize_ = opt->get("wdba-minimize", 1);