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

kripkegraph: fix g++ warning

Browse source 
Test the output of down_cast before using it.  This
used to generate a warning when crosscompiling
for mingw with g+++ 6.1.1

* spot/kripke/kripkegraph.hh: Here.
This commit is contained in:
Alexandre Duret-Lutz 2016-09-04 17:25:24 +02:00
parent ca6435d847
commit cc761870c2
1 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
spot/kripke/kripkegraph.hh
View file

@ -245,7 +245,9 @@ namespace spot
/// \brief Get the condition on the state
virtual bdd state_condition(const state* s) const override
{
return down_cast<const kripke_graph_state*>(s)->cond();
auto gs = down_cast<const kripke_graph_state*>(s);
SPOT_ASSERT(gs);
return gs->cond();
}
edge_storage_t& edge_storage(unsigned t)