diff options
| author | Adrian Prantl <aprantl@apple.com> | 2016-10-18 16:24:43 +0000 |
|---|---|---|
| committer | Adrian Prantl <aprantl@apple.com> | 2016-10-18 16:24:43 +0000 |
| commit | 919bdf1d4fe2032ed9cbdcd9c2c419980bd75c9b (patch) | |
| tree | bf0bbc9cca8ffeccbdf516d2ff9ef97c2e9118ce /llvm | |
| parent | 55466e91061f36f8239f66d3ff8aba63bc12d67a (diff) | |
| download | bcm5719-llvm-919bdf1d4fe2032ed9cbdcd9c2c419980bd75c9b.tar.gz bcm5719-llvm-919bdf1d4fe2032ed9cbdcd9c2c419980bd75c9b.zip | |
Disable fatal errors in the Verifier instantiated by bugpoint's crash
debugger.
When bugpoint hacks at a testcase it may at one point create illegal
debug info metadata that won't even pass the Verifier. A bugpoint
*driver* built with assertions should not assert on it, but reject the
malformed intermediate step and continue to do its job.
llvm-svn: 284490
Diffstat (limited to 'llvm')
| -rw-r--r-- | llvm/test/BugPoint/invalid-debuginfo.ll | 22 | ||||
| -rw-r--r-- | llvm/tools/bugpoint/CrashDebugger.cpp | 6 |
2 files changed, 25 insertions, 3 deletions
diff --git a/llvm/test/BugPoint/invalid-debuginfo.ll b/llvm/test/BugPoint/invalid-debuginfo.ll new file mode 100644 index 00000000000..91b01493d1f --- /dev/null +++ b/llvm/test/BugPoint/invalid-debuginfo.ll @@ -0,0 +1,22 @@ +; RUN: bugpoint -load %llvmshlibdir/BugpointPasses%shlibext %s -output-prefix %t -bugpoint-crash-too-many-cus -silence-passes 2>&1 | FileCheck %s +; REQUIRES: loadable_module +; CHECK: All DICompileUnits must be listed in llvm.dbg.cu + +; When bugpoint hacks at this testcase it will at one point create illegal IR +; that won't even pass the Verifier. A bugpoint *driver* built with assertions +; should not assert on it, but reject the malformed intermediate step. +define void @f() !dbg !9 { ret void } +!llvm.dbg.cu = !{!0, !1, !2, !3, !4, !5} +!0 = distinct !DICompileUnit(language: 12, file: !6) +!1 = distinct !DICompileUnit(language: 12, file: !6) +!2 = distinct !DICompileUnit(language: 12, file: !6) +!3 = distinct !DICompileUnit(language: 12, file: !6) +!4 = distinct !DICompileUnit(language: 12, file: !6) +!5 = distinct !DICompileUnit(language: 12, file: !6) +!6 = !DIFile(filename: "path/to/file", directory: "/path/to/dir") + +!llvm.module.flags = !{!7, !8} +!7 = !{i32 2, !"Dwarf Version", i32 4} +!8 = !{i32 2, !"Debug Info Version", i32 3} + +!9 = distinct !DISubprogram(unit: !0) diff --git a/llvm/tools/bugpoint/CrashDebugger.cpp b/llvm/tools/bugpoint/CrashDebugger.cpp index cdbf57f90e8..a472fff0975 100644 --- a/llvm/tools/bugpoint/CrashDebugger.cpp +++ b/llvm/tools/bugpoint/CrashDebugger.cpp @@ -733,7 +733,7 @@ bool ReduceCrashingInstructions::TestInsts( // Verify that this is still valid. legacy::PassManager Passes; - Passes.add(createVerifierPass()); + Passes.add(createVerifierPass(/*FatalErrors=*/false)); Passes.run(*M); // Try running on the hacked up program... @@ -809,7 +809,7 @@ bool ReduceCrashingNamedMD::TestNamedMDs(std::vector<std::string> &NamedMDs) { // Verify that this is still valid. legacy::PassManager Passes; - Passes.add(createVerifierPass()); + Passes.add(createVerifierPass(/*FatalErrors=*/false)); Passes.run(*M); // Try running on the hacked up program... @@ -876,7 +876,7 @@ bool ReduceCrashingNamedMDOps::TestNamedMDOps( // Verify that this is still valid. legacy::PassManager Passes; - Passes.add(createVerifierPass()); + Passes.add(createVerifierPass(/*FatalErrors=*/false)); Passes.run(*M); // Try running on the hacked up program... |
