Untitled Diff
作成日 差分は期限切れになりません
3 削除
| 行 | |
|---|---|
| 合計 | |
| 削除 | |
| 文字 | |
| 合計 | |
| 削除 | |
12 追加
| 行 | |
|---|---|
| 合計 | |
| 追加 | |
| 文字 | |
| 合計 | |
| 追加 | |
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);
}
}
}
}