Untitled Diff
Creato Il diff non scade mai
3 rimozioni
| Linee | |
|---|---|
| Totale | |
| Rimosso | |
| Caratteri | |
| Totale | |
| Rimosso | |
12 aggiunte
| Linee | |
|---|---|
| Totale | |
| Aggiunto | |
| Caratteri | |
| Totale | |
| Aggiunto | |
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);
}
}
}
}