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

parseaut: fix signed/unsigned comparison warning

Browse source 
* spot/parseaut/parseaut.yy: Here.
This commit is contained in:
Alexandre Duret-Lutz 2018-10-29 11:26:25 +01:00
parent e0958ee7c6
commit fa24cca76c
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
spot/parseaut/parseaut.yy
View file

@ -716,7 +716,7 @@ aps: "AP:" INT
if (i != res.ap[i]) if (i != res.ap[i])
bdd_setbddpair(pair, i, res.ap[i]); bdd_setbddpair(pair, i, res.ap[i]);
bdd extra = bddtrue; bdd extra = bddtrue;
for (unsigned i = apsize; i <= res.unknown_ap_max; ++i) for (int i = apsize; i <= res.unknown_ap_max; ++i)
extra &= bdd_ithvar(i); extra &= bdd_ithvar(i);
for (auto& p: res.alias) for (auto& p: res.alias)
p.second = bdd_restrict(bdd_replace(p.second, pair), extra); p.second = bdd_restrict(bdd_replace(p.second, pair), extra);