From f2ba94f4d45ec75db4b41bc538eee9cd0cae1720 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 6 Feb 2015 11:57:27 +0100
Subject: [PATCH] Add (void) casts for variables used only in assert()s.

Report from Akim Demaille.

* src/ltlvisit/snf.cc, src/ta/taexplicit.cc, src/taalgos/tgba2ta.cc,
src/tgbaalgos/dupexp.cc, src/tgbaalgos/stutter.cc: Here.
---
 src/ltlvisit/snf.cc      | 1 +
 src/ta/taexplicit.cc     | 5 +++--
 src/taalgos/tgba2ta.cc   | 1 +
 src/tgbaalgos/dupexp.cc  | 1 +
 src/tgbaalgos/stutter.cc | 1 +
 5 files changed, 7 insertions(+), 2 deletions(-)

diff --git a/src/ltlvisit/snf.cc b/src/ltlvisit/snf.cc
index 3044c790f..e187ab698 100644
--- a/src/ltlvisit/snf.cc
+++ b/src/ltlvisit/snf.cc
@@ -56,6 +56,7 @@ namespace spot
 	visit(const constant* c)
 	{
 	  assert(c == constant::empty_word_instance());
+	  (void)c;
 	  result_ = constant::false_instance();
 	}
 
diff --git a/src/ta/taexplicit.cc b/src/ta/taexplicit.cc
index c313d8e84..93b2bdc24 100644
--- a/src/ta/taexplicit.cc
+++ b/src/ta/taexplicit.cc
@@ -1,6 +1,6 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2010, 2011, 2012, 2013, 2014 Laboratoire de Recherche
-// et Développement de l'Epita (LRDE).
+// Copyright (C) 2010, 2011, 2012, 2013, 2014, 2015 Laboratoire de
+// Recherche et Développement de l'Epita (LRDE).
 //
 // This file is part of Spot, a model checking library.
 //
@@ -363,6 +363,7 @@ namespace spot
       {
         state_ta_explicit* is = add_state(artificial_initial_state);
         assert(is == artificial_initial_state);
+	(void)is;
       }
   }
 
diff --git a/src/taalgos/tgba2ta.cc b/src/taalgos/tgba2ta.cc
index 55736520d..727797b72 100644
--- a/src/taalgos/tgba2ta.cc
+++ b/src/taalgos/tgba2ta.cc
@@ -61,6 +61,7 @@ namespace spot
 	  // unique artificial_livelock_acc_state
 	  assert(artificial_livelock_acc_state_added
 		 == artificial_livelock_acc_state);
+	  (void)artificial_livelock_acc_state_added;
 	  artificial_livelock_acc_state->set_livelock_accepting_state(true);
 	  artificial_livelock_acc_state->free_transitions();
 	}
diff --git a/src/tgbaalgos/dupexp.cc b/src/tgbaalgos/dupexp.cc
index 37fd19704..2cc839456 100644
--- a/src/tgbaalgos/dupexp.cc
+++ b/src/tgbaalgos/dupexp.cc
@@ -56,6 +56,7 @@ namespace spot
 	unsigned ns = out_->new_state();
 	assert(ns == static_cast<unsigned>(n) - 1);
 	(void)ns;
+	(void)n;
       }
 
       virtual void
diff --git a/src/tgbaalgos/stutter.cc b/src/tgbaalgos/stutter.cc
index d92227fbc..88173dab6 100644
--- a/src/tgbaalgos/stutter.cc
+++ b/src/tgbaalgos/stutter.cc
@@ -398,6 +398,7 @@ namespace spot
 		  // No acceptance here to preserve the state-based property.
 		  i = a->new_transition(tmp, dst, one, 0U);
 		  assert(i > num_transitions);
+		  (void)i;
 		  all -= one;
 		}
 	    }