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

* src/tgbaalgos/closure.cc: Fix invalid read.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2014-11-23 21:45:20 +01:00
parent ad3ea61ac2
commit 0beb148b6a
1 changed files with 5 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

8
src/tgbaalgos/closure.cc
View file

@ -71,9 +71,11 @@ namespace spot
} }
if (need_new_trans) if (need_new_trans)
{ {
unsigned i = // Load t2.dst first, because t2 can be
a->new_transition(state, t2.dst, cond, acc); // invalidated by new_transition().
dst2trans[t2.dst].push_back(i); auto dst = t2.dst;
auto i = a->new_transition(state, dst, cond, acc);
dst2trans[dst].push_back(i);
todo.push_back(i); todo.push_back(i);
} }
} }