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 da9d92eef7
commit 6243803018
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>
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