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 230801c420
commit 43b580ccee
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. // Handy cast operators.
// Note that a pointer can be cast to a Boolean as usual.
operator bool() const operator bool() const
{ {
if (tag == BOOL) if (tag == BOOL)
return res; return res;
else else
return ecr; return !!ecr;
} }
operator emptiness_check_result_ptr() const operator emptiness_check_result_ptr() const
{ {
if (tag == PTR) if (tag == PTR)