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

fix some g++-snapshot warnings

Browse source 
* spot/twaalgos/couvreurnew.cc: explicit operator bool is not used by
return.
This commit is contained in:
Alexandre Duret-Lutz 2017-11-11 08:45:29 +01:00
parent 7c8d52640e
commit a55801c223
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
spot/twaalgos/couvreurnew.cc
View file

@ -613,14 +613,14 @@ namespace spot
}
// Handy cast operators.
// Note that a pointer can be cast to a Boolean as usual.
operator bool() const
{
if (tag == BOOL)
return res;
else
return ecr;
return !!ecr;
}
operator emptiness_check_result_ptr() const
{
if (tag == PTR)