Merge remote-tracking branch 'origin/GP-3930_UnaliasedReturnFix' into patch

This commit is contained in:
Ryan Kurtz 2023-10-16 16:40:10 -04:00
commit e08c039440

View File

@ -355,7 +355,7 @@ void ScopeLocal::checkUnaliasedReturn(const vector<uintb> &alias)
if (retOp == (PcodeOp *)0 || retOp->numInput() < 2) return;
Varnode *vn = retOp->getIn(1);
if (vn->getSpace() != space) return;
if (!vn->isMapped()) return;
// Assume vn is mapped. Cannot check vn->isMapped() as we are in the middle of restructuring.
vector<uintb>::const_iterator iter = lower_bound(alias.begin(),alias.end(),vn->getOffset());
if (iter != alias.end()) {
// Alias is greater than or equal to vn offset