Commit 10d94d9f authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

gcc-snapshot warnings

* 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.
parent eb30d147
// -*- coding: utf-8 -*-
// Copyright (C) 2011-2017 Laboratoire de Recherche et Développement de
// Copyright (C) 2011-2018 Laboratoire de Recherche et Développement de
// l'Epita (LRDE)
//
// This file is part of Spot, a model checking library.
......@@ -35,6 +35,17 @@ namespace spot
{
}
kripke_graph_state(const kripke_graph_state& other) noexcept
: cond_(other.cond_)
{
}
kripke_graph_state& operator=(const kripke_graph_state& other) noexcept
{
cond_ = other.cond_;
return *this;
}
virtual ~kripke_graph_state() noexcept
{
}
......
// -*- coding: utf-8 -*-
// Copyright (C) 2013, 2016 Laboratoire de Recherche et Développement
// Copyright (C) 2013, 2016, 2018 Laboratoire de Recherche et Développement
// de l'Epita (LRDE).
// Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6 (LIP6),
// département Systèmes Répartis Coopératifs (SRC), Université Pierre
......@@ -35,6 +35,19 @@ namespace spot
public:
/// Default constructor.
bdd_allocator();
bdd_allocator(const bdd_allocator& other)
: free_list(other), lvarnum(other.lvarnum)
{
}
bdd_allocator& operator=(const bdd_allocator& other)
{
free_list::operator=(other);
lvarnum = other.lvarnum;
return *this;
}
/// Initialize the BDD library.
static void initialize();
/// Allocate \a n BDD variables.
......
// -*- coding: utf-8 -*-
// Copyright (C) 2008,2013 Laboratoire de Recherche et Développement
// de l'Epita (LRDE).
// Copyright (C) 2008,2013,2018 Laboratoire de Recherche et
// Développement de l'Epita (LRDE).
// Copyright (C) 2004, 2006 Laboratoire d'Informatique de Paris 6 (LIP6),
// département Systèmes Répartis Coopératifs (SRC), Université Pierre
// et Marie Curie.
......@@ -36,6 +36,21 @@ namespace spot
public:
virtual ~free_list();
free_list()
{
}
free_list(const free_list& other)
: fl(other.fl)
{
}
free_list& operator=(const free_list& other)
{
fl = other.fl;
return *this;
}
/// \brief Find \a n consecutive integers.
///
/// Browse the list of free integers until \a n consecutive
......
......@@ -106,10 +106,6 @@ public:
#endif
}
~vars_helper()
{
}
/// \brief Save all different sizes and precompute some values.
void
init(unsigned size_src, unsigned size_cond, unsigned size_dst,
......
......@@ -260,7 +260,10 @@ namespace spot
state_ta_explicit*
state_ta_explicit::clone() const
{
return new state_ta_explicit(*this);
return new state_ta_explicit(tgba_state_, tgba_condition_,
is_initial_state_,
is_accepting_state_,
is_livelock_accepting_state_, transitions_);
}
void
......
......@@ -55,6 +55,19 @@ namespace spot
{
}
anon_free_list(const anon_free_list& other) noexcept
: free_list(other), priv_(other.priv_)
{
}
spot::bdd_dict_priv::anon_free_list&
operator=(const anon_free_list& other) noexcept
{
spot::free_list::operator=(other);
priv_ = other.priv_;
return *this;
}
virtual int
extend(int n) override
{
......
......@@ -42,6 +42,15 @@ namespace spot
{
}
twa_graph_state(const twa_graph_state&) noexcept
{
}
twa_graph_state& operator=(const twa_graph_state&) noexcept
{
return *this;
}
virtual ~twa_graph_state() noexcept
{
}
......
// -*- 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;
......
......@@ -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)
{
......
......@@ -41,10 +41,6 @@ namespace spot
{
}
~ltl2taa_visitor()
{
}
taa_tgba_formula_ptr&
result()
{
......
......@@ -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*
......
......@@ -345,6 +345,19 @@ public:
{
}
my_state() noexcept
{
}
my_state(const my_state&) noexcept
{
}
my_state& operator=(const my_state&) noexcept
{
return *this;
}
int compare(const spot::state* other) const override
{
auto o = spot::down_cast<const my_state*>(other);
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment