From 64fa6c0026dc9bc05647048765c5cf1d5462f6c0 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 22 Dec 2016 18:47:46 +0100
Subject: [PATCH] remfin: ignore unreachable states in remove_fin_weak()

* spot/twaalgos/remfin.cc (remove_fin_weak): Ignore unreachable
states.  This caused crashes in the test cases for the
upcoming alternation support in ltlcross.
---
 spot/twaalgos/remfin.cc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/spot/twaalgos/remfin.cc b/spot/twaalgos/remfin.cc
index 8492c6d26..93fbe0887 100644
--- a/spot/twaalgos/remfin.cc
+++ b/spot/twaalgos/remfin.cc
@@ -472,6 +472,8 @@ namespace spot
 
       for (unsigned src = 0; src < n; ++src)
         {
+          if (!si.reachable_state(src))
+            continue;
           acc_cond::mark_t acc = 0U;
           unsigned scc = si.scc_of(src);
           if (si.is_accepting_scc(scc) && !si.is_trivial(scc))