tree 1eeb4b8073abd74ebc84a28896c44fa230dd587c
parent 56ad8bd482aeb0a90f5c843865b0454afd0d1fd7
parent 7f89e1f9cd21a27c57b5ba95ef14a483b04ff756
author Arnold Schwaighofer <aschwaighofer@apple.com> 1490708014 -0700
committer GitHub <noreply@github.com> 1490708014 -0700

Merge pull request #8390 from aschwaighofer/fix_silverifier_cow_existential_load_copy

Fix SILVerifier of open_existential_addr and opaque value loads