From 40b8bab890c501837bca06b0e3050dc9875847ae Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 28 Oct 2016 22:55:48 +0200
Subject: [PATCH] remove some dead code discovered while studying PVS-Studio's
 report

For #192.

* spot/misc/timer.hh, spot/twa/bdddict.cc, spot/twa/bdddict.hh,
spot/twaalgos/sbacc.cc: Here.
---
 spot/misc/timer.hh     | 7 -------
 spot/twa/bdddict.cc    | 1 -
 spot/twa/bdddict.hh    | 5 ++---
 spot/twaalgos/sbacc.cc | 1 -
 4 files changed, 2 insertions(+), 12 deletions(-)

diff --git a/spot/misc/timer.hh b/spot/misc/timer.hh
index 4d512fe26..107c8b846 100644
--- a/spot/misc/timer.hh
+++ b/spot/misc/timer.hh
@@ -211,13 +211,6 @@ namespace spot
       return i->second.first;
     }
 
-    /// Return the timer \a name.
-    spot::timer&
-    timer(const std::string& name)
-    {
-      return tm[name].first;
-    }
-
     /// \brief Whether there is no timer in the map.
     ///
     /// If empty() return true, then either no timer where ever
diff --git a/spot/twa/bdddict.cc b/spot/twa/bdddict.cc
index e92c62cc8..07b8280c3 100644
--- a/spot/twa/bdddict.cc
+++ b/spot/twa/bdddict.cc
@@ -149,7 +149,6 @@ namespace spot
         bdd_info& i = bdd_map[num];
         i.type = acc;
         i.f = f;
-        i.clone_counts = 0;
       }
     bdd_map[num].refs.insert(for_me);
     return num;
diff --git a/spot/twa/bdddict.hh b/spot/twa/bdddict.hh
index 33054d0c0..fafa4c214 100644
--- a/spot/twa/bdddict.hh
+++ b/spot/twa/bdddict.hh
@@ -1,6 +1,6 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2011, 2012, 2013, 2014, 2015 Laboratoire de Recherche
-// et Développement de l'Epita (LRDE).
+// Copyright (C) 2011, 2012, 2013, 2014, 2015, 2016 Laboratoire de
+// Recherche et Développement de l'Epita (LRDE).
 // Copyright (C) 2003, 2004, 2006 Laboratoire d'Informatique de Paris
 // 6 (LIP6), département Systèmes Répartis Coopératifs (SRC),
 // Université Pierre et Marie Curie.
@@ -82,7 +82,6 @@ namespace spot
       var_type type;
       formula f;        // Used unless t==anon.
       ref_set refs;
-      int clone_counts;
     };
     typedef std::vector<bdd_info> bdd_info_map;
     // Map BDD variables to their meaning.
diff --git a/spot/twaalgos/sbacc.cc b/spot/twaalgos/sbacc.cc
index 5b8039896..8a0e1276c 100644
--- a/spot/twaalgos/sbacc.cc
+++ b/spot/twaalgos/sbacc.cc
@@ -102,7 +102,6 @@ namespace spot
               acc = one_in[t.dst];
             if (dst_acc)
               acc |= common_out[t.dst];
-            common_out[t.dst];
             res->new_edge(one.second, new_state(t.dst, acc),
                           t.cond, one.first.second);
           }