From 330b6ddac0c479b41965498a4b0a091ecf2b25e2 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 16 May 2013 17:46:18 +0200
Subject: [PATCH] * src/bin/ltlcross.cc (statistics): Initialize all members.

---
 src/bin/ltlcross.cc | 16 ++++++++++++++--
 1 file changed, 14 insertions(+), 2 deletions(-)

diff --git a/src/bin/ltlcross.cc b/src/bin/ltlcross.cc
index 5be3f6584..a04049404 100644
--- a/src/bin/ltlcross.cc
+++ b/src/bin/ltlcross.cc
@@ -174,8 +174,20 @@ struct statistics
 {
   statistics()
     : ok(false),
-      // Initialize these, because they accumulate values from several
-      // products.
+      states(0),
+      transitions(0),
+      acc(0),
+      scc(0),
+      nonacc_scc(0),
+      terminal_scc(0),
+      weak_scc(0),
+      strong_scc(0),
+      nondetstates(0),
+      nondeterministic(false),
+      terminal_aut(false),
+      weak_aut(false),
+      strong_aut(false),
+      time(0),
       product_states(0),
       product_transitions(0),
       product_scc(0)