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

minimize_wdba: avoid memory leak

Browse source 
* spot/twaalgos/minimize.cc: Do not look the final/non_final hash
table when determinization is aborted.
This commit is contained in:
Alexandre Duret-Lutz 2020-09-15 12:28:30 +02:00
parent 5fc026ed13
commit a814334342
1 changed files with 4 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

6
spot/twaalgos/minimize.cc
View file

@ -380,8 +380,8 @@ namespace spot
throw std::runtime_error throw std::runtime_error
("minimize_wdba() does not support alternation"); ("minimize_wdba() does not support alternation");
hash_set* final = new hash_set; hash_set* final;
hash_set* non_final = new hash_set; hash_set* non_final;
twa_graph_ptr det_a; twa_graph_ptr det_a;
@ -444,6 +444,8 @@ namespace spot
} }
} }
final = new hash_set;
non_final = new hash_set;
// SCC that have been marked as useless. // SCC that have been marked as useless.
std::vector<bool> useless(scc_count); std::vector<bool> useless(scc_count);