Propagate constant symbols through equal2zero rule..

This commit is contained in:
caheckman 2020-11-05 12:18:31 -05:00
parent 78717038cf
commit f758942dd7

View file

@ -5509,6 +5509,7 @@ int4 RuleEqual2Zero::applyOp(PcodeOp *op,Funcdata &data)
if (vn2->isConstant()) {
Address val(vn2->getSpace(),uintb_negate(vn2->getOffset()-1,vn2->getSize()));
unnegvn = data.newVarnode(vn2->getSize(),val);
unnegvn->copySymbolIfValid(vn2); // Propagate any markup
posvn = vn;
}
else {