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

unit_propagation: Correct a segfault when we have true in the condition

Browse source 
* spot/twa/acc.cc: Check if we have a "true" condition
in unit_propagation.
This commit is contained in:
Florian Renkin 2020-04-15 16:12:03 +02:00 • committed by Alexandre Duret-Lutz
parent ee3e09f8c9
commit d784094ab9
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
spot/twa/acc.cc
View file

@ -2651,6 +2651,8 @@ namespace spot
result = init_code | result.remove(mark, fin == conj);
}
if (result.is_t())
return result;
auto pos = &result.back();
auto fo = pos->sub.op;
bool is_and = (fo == acc_cond::acc_op::And);