diff --git a/bin/autcross.cc b/bin/autcross.cc
index 81b6bcef5..0711562a2 100644
--- a/bin/autcross.cc
+++ b/bin/autcross.cc
@@ -338,7 +338,6 @@ struct in_statistics
 
 struct out_statistics
 {
-
   // If OK is false, output statistics are not available.
   bool ok;
   const char* status_str;
@@ -346,7 +345,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 d36478837..f75075f82 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(); }
     };