From d784094ab9b79ed88808c3662368662751e5a52f Mon Sep 17 00:00:00 2001
From: Florian Renkin <frenkin@lrde.epita.fr>
Date: Wed, 15 Apr 2020 16:12:03 +0200
Subject: [PATCH] unit_propagation: Correct a segfault when we have true in the
 condition

* spot/twa/acc.cc: Check if we have a "true" condition
in unit_propagation.
---
 spot/twa/acc.cc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/spot/twa/acc.cc b/spot/twa/acc.cc
index 1c4dcbacb..23dd7ef53 100644
--- a/spot/twa/acc.cc
+++ b/spot/twa/acc.cc
@@ -2651,6 +2651,8 @@ namespace spot
           result = init_code | result.remove(mark, fin == conj);
       }
 
+      if (result.is_t())
+        return result;
       auto pos = &result.back();
       auto fo = pos->sub.op;
       bool is_and = (fo == acc_cond::acc_op::And);