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

Fix a g++ warning about possibly uninitialized variable.

Browse source 
* src/ltlvisit/simplify.cc (simplify_visitor::visit(multop)):
Initialize `ri' to kill a warning.
This commit is contained in:
Alexandre Duret-Lutz 2011-12-08 10:12:43 +01:00
parent dd52768932
commit 0536cdfb9b
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/ltlvisit/simplify.cc
View file

@ -1965,7 +1965,7 @@ namespace spot
// do not accept [*0] // do not accept [*0]
// - 0 if more than one ri accept [*0] // - 0 if more than one ri accept [*0]
{ {
formula* ri; formula* ri = 0;
unsigned nonempty = 0; unsigned nonempty = 0;
for (unsigned j = 0; j < rs; ++j) for (unsigned j = 0; j < rs; ++j)
{ {