Untitled Diff

Created Diff never expires
4 removals
Lines
Total
Removed
Words
Total
Removed
To continue using this feature, upgrade to
Diffchecker logo
Diffchecker Pro
15 lines
11 additions
Lines
Total
Added
Words
Total
Added
To continue using this feature, upgrade to
Diffchecker logo
Diffchecker Pro
22 lines
if ((tree->gtFlags & GTF_IND_NONNULL) != 0)
if ((tree->gtFlags & GTF_IND_NONNULL) != 0)
{
{
assert(tree->gtFlags & GTF_IND_NONFAULTING);
assert(tree->gtFlags & GTF_IND_NONFAULTING);
tree->gtVNPair = vnStore->VNPairForFunc(tree->TypeGet(), VNF_NonNullIndirect, addrNvnp);

if (addr->IsCnsIntOrI())
if (addr->gtCommaAssignVal()->IsCnsIntOrI())
{
{
assert(addrXvnp.BothEqual() &&
ValueNumPair effectiveAddrNvnp = addrNvnp;
(addrXvnp.GetLiberal() == ValueNumStore::VNForEmptyExcSet()));
ValueNumPair effectiveAddrXvnp = addrXvnp;
if (addr->OperIs(GT_COMMA))
{
vnStore->VNPUnpackExc(addr->gtEffectiveVal()->gtVNPair, &effectiveAddrNvnp, &effectiveAddrXvnp);
}
assert(effectiveAddrXvnp.BothEqual() &&
(effectiveAddrXvnp.GetLiberal() == ValueNumStore::VNForEmptyExcSet()));
tree->gtVNPair = vnStore->VNPairForFunc(tree->TypeGet(), VNF_NonNullIndirect, effectiveAddrNvnp);
}
}
else
else
{
{
assert(false && "it's not expected to be hit at the moment, but can be allowed.");
assert(false && "it's not expected to be hit at the moment, but can be allowed.");
// tree->gtVNPair = vnStore->VNPWithExc(tree->gtVNPair, addrXvnp);
// tree->gtVNPair = vnStore->VNPWithExc(tree->gtVNPair, addrXvnp);
}
}
}
}