From 69c8187330ce74ab2634c5d83692d3753636b308 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Mon, 18 Dec 2023 10:04:15 +0100
Subject: [PATCH] * spot/twaalgos/aiger.cc: Work around gcc snapshot
 diagnostics.

---
 spot/twaalgos/aiger.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/spot/twaalgos/aiger.cc b/spot/twaalgos/aiger.cc
index c5a2f8961..659dd281d 100644
--- a/spot/twaalgos/aiger.cc
+++ b/spot/twaalgos/aiger.cc
@@ -1331,6 +1331,7 @@ namespace spot
 
     std::deque<unsigned> todo;
     todo.push_back(0);
+    assert(n_max_states > 0);
     std::vector<bool> seen(n_max_states, false);
     seen[0] = true;