From 2a4e68bfae3c5a93f37c4f3ceb3cd23d3deee8e9 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 17 May 2022 17:43:27 +0200
Subject: [PATCH] more noexcept to pleace GCC

* spot/bricks/brick-hashset (Row): Add noexcept.
* bin/autcross.cc (out_statistics): Likewise.
* bin/ltlcross.cc (statistics): Likewise.
---
 bin/autcross.cc           | 3 +--
 bin/ltlcross.cc           | 2 +-
 spot/bricks/brick-hashset | 2 +-
 3 files changed, 3 insertions(+), 4 deletions(-)

diff --git a/bin/autcross.cc b/bin/autcross.cc
index e2224643d..21d21f2c7 100644
--- a/bin/autcross.cc
+++ b/bin/autcross.cc
@@ -345,7 +345,6 @@ struct in_statistics
 
 struct out_statistics
 {
-
   // If OK is false, output statistics are not available.
   bool ok;
   const char* status_str;
@@ -353,7 +352,7 @@ struct out_statistics
   double time;
   aut_statistics output;
 
-  out_statistics()
+  out_statistics() noexcept
     : ok(false),
       status_str(nullptr),
       status_code(0),
diff --git a/bin/ltlcross.cc b/bin/ltlcross.cc
index 396806f96..8e1005db6 100644
--- a/bin/ltlcross.cc
+++ b/bin/ltlcross.cc
@@ -264,7 +264,7 @@ end_error()
 
 struct statistics
 {
-  statistics()
+  statistics() noexcept
     : ok(false),
       alternating(false),
       status_str(nullptr),
diff --git a/spot/bricks/brick-hashset b/spot/bricks/brick-hashset
index 1c97c9618..7763d29ae 100644
--- a/spot/bricks/brick-hashset
+++ b/spot/bricks/brick-hashset
@@ -583,7 +583,7 @@ struct _ConcurrentHashSet : HashSetBase< Cell >
             return begin() + size();
         }
 
-        Row() : _data( nullptr ), _size( 0 ) {}
+        Row() noexcept : _data( nullptr ), _size( 0 ) {}
         ~Row() { free(); }
     };