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

gcc-snapshot warnings

Browse source 
* spot/kripke/kripkegraph.hh, spot/priv/bddalloc.hh,
spot/priv/freelist.hh, spot/priv/satcommon.hh, spot/ta/taexplicit.cc
spot/twa/bdddict.cc, spot/twa/twagraph.hh,
spot/twaalgos/alternation.hh, spot/twaalgos/dtwasat.cc,
spot/twaalgos/ltl2taa.cc, spot/twaalgos/stutter.cc,
tests/core/ngraph.cc: Add default constructors, copy constructors, or
remove useless destructors.
This commit is contained in:
Alexandre Duret-Lutz 2018-08-10 16:22:57 +02:00
parent d147ad2510
commit 389ef16b1b
12 changed files with 89 additions and 21 deletions
Download patch file Download diff file Expand all files Collapse all files

8
spot/twaalgos/alternation.hh
View file

@ -1,6 +1,6 @@
// -*- coding: utf-8 -*-
// Copyright (C) 2016 Laboratoire de Recherche et Développement de
// l'Epita (LRDE).
// Copyright (C) 2016, 2018 Laboratoire de Recherche et Développement
// de l'Epita (LRDE).
//
// This file is part of Spot, a model checking library.
//
@ -114,6 +114,10 @@ namespace spot
public:
univ_remover_state(const std::set<unsigned>& states);
univ_remover_state(const univ_remover_state& other)
: states_(other.states_), is_reset_(other.is_reset_)
{
}
int compare(const state* other) const override;
size_t hash() const override;
state* clone() const override;

5
spot/twaalgos/dtwasat.cc
View file

@ -233,11 +233,6 @@ namespace spot
trimming_map ref_inf_trim_map;
trimming_map cand_inf_trim_map;
~dict()
{
aut->get_dict()->unregister_all_my_variables(this);
}
int
transid(unsigned src, unsigned cond, unsigned dst)
{

4
spot/twaalgos/ltl2taa.cc
View file

@ -41,10 +41,6 @@ namespace spot
{
}
~ltl2taa_visitor()
{
}
taa_tgba_formula_ptr&
result()
{

2
spot/twaalgos/stutter.cc
View file

@ -77,7 +77,7 @@ namespace spot
virtual
state_tgbasl* clone() const override
{
return new state_tgbasl(*this);
return new state_tgbasl(s_, cond_);
}
const state*