]> granicus.if.org Git - llvm/commit
Verifier: Explicitly verify type references
authorDuncan P. N. Exon Smith <dexonsmith@apple.com>
Tue, 31 Mar 2015 02:27:32 +0000 (02:27 +0000)
committerDuncan P. N. Exon Smith <dexonsmith@apple.com>
Tue, 31 Mar 2015 02:27:32 +0000 (02:27 +0000)
commit35ef0ef906d9771f47a4b25fbe095012590e5879
treedfa489cb98fe07a7c48f638c6d5dc035ee5f1020
parentd3cfcf96146323bd0dbc63e011f46522c36235d5
Verifier: Explicitly verify type references

`verifyDebugInfo()` was doing two things:

  - Asserting on unresolved type references.
  - Calling `Verify()` functions for various types of debug info.

The `Verify()` functions have been gutted, so rename the function to
`verifyTypeRefs()` and explicitly check those.  Instead of assertions,
we get nice error messages now.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@233664 91177308-0d34-0410-b5e6-96231b3b80d8
lib/IR/Verifier.cpp