From 6ef5f284d6f89e77191d3b72e3d4893efe10f9b1 Mon Sep 17 00:00:00 2001 From: "Duncan P. N. Exon Smith" Date: Tue, 15 Apr 2014 16:27:38 +0000 Subject: verify-di: Implement DebugInfoVerifier Implement DebugInfoVerifier, which steals verification relying on DebugInfoFinder from Verifier. - Adds LegacyDebugInfoVerifierPassPass, a ModulePass which wraps DebugInfoVerifier. Uses -verify-di command-line flag. - Change verifyModule() to invoke DebugInfoVerifier as well as Verifier. - Add a call to createDebugInfoVerifierPass() wherever there was a call to createVerifierPass(). This implementation as a module pass should sidestep efficiency issues, allowing us to turn debug info verification back on. llvm-svn: 206300 --- llvm/unittests/Bitcode/BitReaderTest.cpp | 1 + 1 file changed, 1 insertion(+) (limited to 'llvm/unittests/Bitcode') diff --git a/llvm/unittests/Bitcode/BitReaderTest.cpp b/llvm/unittests/Bitcode/BitReaderTest.cpp index ba030230a20..b6a3e9a7b75 100644 --- a/llvm/unittests/Bitcode/BitReaderTest.cpp +++ b/llvm/unittests/Bitcode/BitReaderTest.cpp @@ -59,6 +59,7 @@ TEST(BitReaderTest, MaterializeFunctionsForBlockAddr) { // PR11677 std::unique_ptr m(ModuleOrErr.get()); PassManager passes; passes.add(createVerifierPass()); + passes.add(createDebugInfoVerifierPass()); passes.run(*m); } -- cgit v1.2.1