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

address a new g++-10 warnings

Browse source 
* spot/twa/twa.hh (set_named_prop): Declare the lambda as noexcept.
* spot/twaalgos/couvreurnew.cc (acss_states): Likewise.
This commit is contained in:
Alexandre Duret-Lutz 2020-06-09 00:32:48 +02:00
parent e20bae6609
commit a3769dfd81
2 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

3
spot/twa/twa.hh
View file

@ -1120,7 +1120,8 @@ namespace spot
template<typename T> template<typename T>
void set_named_prop(std::string s, T* val) void set_named_prop(std::string s, T* val)
{ {
set_named_prop(s, val, [](void *p) { delete static_cast<T*>(p); }); set_named_prop(s, val,
[](void *p) noexcept { delete static_cast<T*>(p); });
} }
/// \brief Erase a named property /// \brief Erase a named property

2
spot/twaalgos/couvreurnew.cc
View file

@ -360,7 +360,7 @@ namespace spot
{ {
int scc_root = ecs_->root.top().index; int scc_root = ecs_->root.top().index;
return T::h_count(ecs_->h, return T::h_count(ecs_->h,
[scc_root](int s) { return s >= scc_root; }); [scc_root](int s) noexcept { return s >= scc_root; });
} }
twa_run_ptr twa_run_ptr