alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

more noexcept to pleace GCC

Browse source 
* spot/bricks/brick-hashset (Row): Add noexcept.
* bin/autcross.cc (out_statistics): Likewise.
* bin/ltlcross.cc (statistics): Likewise.
This commit is contained in:
Alexandre Duret-Lutz 2022-05-17 17:43:27 +02:00
parent a23b30abdc
commit 2a4e68bfae
3 changed files with 3 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

3
bin/autcross.cc
View file

@ -345,7 +345,6 @@ struct in_statistics
struct out_statistics struct out_statistics
{ {
// If OK is false, output statistics are not available. // If OK is false, output statistics are not available.
bool ok; bool ok;
const char* status_str; const char* status_str;
@ -353,7 +352,7 @@ struct out_statistics
double time; double time;
aut_statistics output; aut_statistics output;
out_statistics() out_statistics() noexcept
: ok(false), : ok(false),
status_str(nullptr), status_str(nullptr),
status_code(0), status_code(0),

2
bin/ltlcross.cc
View file

@ -264,7 +264,7 @@ end_error()
struct statistics struct statistics
{ {
statistics() statistics() noexcept
: ok(false), : ok(false),
alternating(false), alternating(false),
status_str(nullptr), status_str(nullptr),

2
spot/bricks/brick-hashset
View file

@ -583,7 +583,7 @@ struct _ConcurrentHashSet : HashSetBase< Cell >
return begin() + size(); return begin() + size();
} }
Row() : _data( nullptr ), _size( 0 ) {} Row() noexcept : _data( nullptr ), _size( 0 ) {}
~Row() { free(); } ~Row() { free(); }
}; };