tree 9052ffe4e4fc791501bb1465419c30a005c958f4
parent a2e34a25a94561f6e5f09f13ac815740881f6e35
author Greg Parker <gparker@apple.com> 1508235493 -0700
committer Joe Shajrawi <shajrawi@apple.com> 1508517817 -0700

Merge pull request #12484 from shajrawi/relax_verify

Relax the open_existential_addr immutable_access verifier further after sil-combine bail-out