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

Turn on some new warnings from GCC 6.0

Browse source 
* m4/gccwarn.m4: Add the new warnings.
* spot/ta/taexplicit.cc, spot/ta/taproduct.cc: Add missing asserts.
This commit is contained in:
Alexandre Duret-Lutz 2016-02-16 16:04:03 +01:00
parent 7078ab0af9
commit e86370f894
3 changed files with 12 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

6
m4/gccwarn.m4
View file

@ -35,7 +35,11 @@ EOF
Wdocumentation \ Wdocumentation \
Wmissing-declarations \ Wmissing-declarations \
Wnoexcept \ Wnoexcept \
Woverloaded-virtual Woverloaded-virtual \
Wmisleading-indentation \
Wlogical-op \
Wduplicated-cond \
Wnull-dereference
do do
CXXFLAGS="$cf_save_CXXFLAGS $ac_cv_prog_gxx_warn_flags -$cf_opt" CXXFLAGS="$cf_save_CXXFLAGS $ac_cv_prog_gxx_warn_flags -$cf_opt"
if AC_TRY_EVAL(ac_compile); then if AC_TRY_EVAL(ac_compile); then

7
spot/ta/taexplicit.cc
View file

@ -1,6 +1,6 @@
// -*- coding: utf-8 -*- // -*- coding: utf-8 -*-
// Copyright (C) 2010, 2011, 2012, 2013, 2014, 2015 Laboratoire de // Copyright (C) 2010, 2011, 2012, 2013, 2014, 2015, 2016 Laboratoire
// Recherche et Développement de l'Epita (LRDE). // de Recherche et Développement de l'Epita (LRDE).
// //
// This file is part of Spot, a model checking library. // This file is part of Spot, a model checking library.
// //
@ -362,7 +362,7 @@ namespace spot
{ {
auto* s = const_cast<state_ta_explicit*> auto* s = const_cast<state_ta_explicit*>
(down_cast<const state_ta_explicit*>(*it)); (down_cast<const state_ta_explicit*>(*it));
assert(s);
s->free_transitions(); s->free_transitions();
s->get_tgba_state()->destroy(); s->get_tgba_state()->destroy();
delete s; delete s;
@ -383,6 +383,7 @@ namespace spot
ta_explicit::add_to_initial_states_set(state* state, bdd condition) ta_explicit::add_to_initial_states_set(state* state, bdd condition)
{ {
state_ta_explicit* s = down_cast<state_ta_explicit*>(state); state_ta_explicit* s = down_cast<state_ta_explicit*>(state);
assert(s);
s->set_initial_state(true); s->set_initial_state(true);
if (condition == bddfalse) if (condition == bddfalse)
condition = get_state_condition(s); condition = get_state_condition(s);

5
spot/ta/taproduct.cc
View file

@ -1,6 +1,6 @@
// -*- coding: utf-8 -*- // -*- coding: utf-8 -*-
// Copyright (C) 2011, 2012, 2014, 2015 Laboratoire de Recherche et // Copyright (C) 2011, 2012, 2014, 2015, 2016 Laboratoire de Recherche
// Développement de l'Epita (LRDE). // et Développement de l'Epita (LRDE).
// //
// //
// This file is part of Spot, a model checking library. // This file is part of Spot, a model checking library.
@ -373,6 +373,7 @@ namespace spot
ta_product::is_hole_state_in_ta_component(const spot::state* s) const ta_product::is_hole_state_in_ta_component(const spot::state* s) const
{ {
const state_ta_product* stp = down_cast<const state_ta_product*> (s); const state_ta_product* stp = down_cast<const state_ta_product*> (s);
assert(stp);
ta_succ_iterator* ta_succ_iter = get_ta()->succ_iter(stp->get_ta_state()); ta_succ_iterator* ta_succ_iter = get_ta()->succ_iter(stp->get_ta_state());
bool is_hole_state = ta_succ_iter->done(); bool is_hole_state = ta_succ_iter->done();
delete ta_succ_iter; delete ta_succ_iter;