swift
52b87c25 - Temporarily disable a SILVerifier unit test.

Commit
3 years ago
Temporarily disable a SILVerifier unit test. We can't verify that store borrows aren't nested until we can reliably compute liveness. This can be fixed in two ways, both of which we plan to do ASAP: (1) With complete lifetimes, this no longer needs to perform transitive liveness at all. (2) findInnerTransitiveGuaranteedUses, which ends up being called on the load_borrow to compute liveness, can be taught to transitively process InteriorPointer uses instead of returning PointerEscape. We need to make sure all uses of the utility need to handle this first.
Author
Committer
Parents
Loading