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

* spot/twa/twagraph: Fix undefined behavior.

Browse source
This commit is contained in:
Jerome Dubois 2020-11-23 09:58:20 +01:00 • committed by Alexandre Duret-Lutz
parent 97eedd7c5c
commit b2d88d7153
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
spot/twa/twagraph.cc
View file

@ -306,7 +306,7 @@ namespace spot
// 32th bit (i.e., the sign bit) of todo[x] indicates whether // 32th bit (i.e., the sign bit) of todo[x] indicates whether
// states number x has been seen. // states number x has been seen.
std::vector<unsigned> todo(num_states, 0); std::vector<unsigned> todo(num_states, 0);
const unsigned seen = 1 << (sizeof(unsigned)*8-1); const unsigned seen = 1U << (sizeof(unsigned)*8-1);
const unsigned mask = seen - 1; const unsigned mask = seen - 1;
unsigned todo_pos = 0; unsigned todo_pos = 0;
for (unsigned i: univ_dests(get_init_state_number())) for (unsigned i: univ_dests(get_init_state_number()))