Adjusting some guard analysis

This commit is contained in:
caheckman 2020-02-19 13:41:05 -05:00
parent ed786460ca
commit 163fa4af57
4 changed files with 15 additions and 4 deletions

View file

@ -1066,8 +1066,9 @@ Varnode *CircleRange::pullBack(PcodeOp *op,Varnode **constMarkup,bool usenzmask)
CircleRange nzrange;
if (!nzrange.setNZMask(res->getNZMask(),res->getSize()))
return res;
if (0!=intersect(nzrange))
return (Varnode *)0;
intersect(nzrange);
// If the intersect does not succeed (i.e. produces 2 pieces) the original range is
// preserved and we still consider this pullback successful.
}
return res;
}