Revert "Revert "Safely implement strict TBAA rules.""

We believe the failure now may be in the setup of the test harness.
Re-applying this change, since the tests passed in our other
configurations.
This commit is contained in:
Ted Kremenek
2015-11-20 15:08:58 -08:00
parent ddc9c52d5a
commit 3e779dbc66
8 changed files with 142 additions and 62 deletions

View File

@@ -98,8 +98,9 @@ SILValue SILValue::stripCasts() {
V = stripSinglePredecessorArgs(V);
auto K = V->getKind();
if (isRCIdentityPreservingCast(K) ||
K == ValueKind::UncheckedTrivialBitCastInst) {
if (isRCIdentityPreservingCast(K)
|| K == ValueKind::UncheckedTrivialBitCastInst
|| K == ValueKind::MarkDependenceInst) {
V = cast<SILInstruction>(V.getDef())->getOperand(0);
continue;
}