| commit | 14d9bbfba15dcfbd3aedd0255cc0f4223087e009 | [log] [tgz] |
|---|---|---|
| author | Keno Fischer <kfischer@college.harvard.edu> | Thu Jan 14 22:20:56 2016 +0000 |
| committer | Keno Fischer <kfischer@college.harvard.edu> | Thu Jan 14 22:20:56 2016 +0000 |
| tree | 3268a71ddefab74d6f9c29278dd891b79b19c66b | |
| parent | fc8577b8217d7937e05d3ba874a04e51ac6dfa63 [diff] |
[Verifier] Verify that a GlobalValue is only used in this Module Summary: We already have the inverse verification that we only use globals that are defined in this module. This essentially catches the same mistake, but when verifying the module that contains the definition. Reviewers: rafael Differential Revision: http://reviews.llvm.org/D15272 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@257823 91177308-0d34-0410-b5e6-96231b3b80d8