GP-6201 Check for free varnodes in functionalEqualityLevel0

This commit is contained in:
caheckman
2025-12-10 19:26:03 +00:00
parent 68f57a0e7c
commit 9692dd0640

View File

@@ -412,7 +412,7 @@ static int4 functionalEqualityLevel0(Varnode *vn1,Varnode *vn2)
}
return -1;
}
if (vn2->isConstant()) return -1;
if (vn1->isFree() || vn2->isFree()) return -1;
return 1;
}