[LLVMbugs] [Bug 19434] New: DebugInfoVerifier fails on many checked in testcases

[bugzilla-daemon at llvm.org]

http://llvm.org/bugs/show_bug.cgi?id=19434

            Bug ID: 19434
           Summary: DebugInfoVerifier fails on many checked in testcases
           Product: libraries
           Version: trunk
          Hardware: All
                OS: All
            Status: NEW
          Severity: normal
          Priority: P
         Component: DebugInfo
          Assignee: unassignedbugs at nondot.org
          Reporter: dexonsmith at apple.com
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified

The DebugInfoVerifier currently (as of r206300) fails on 217 checked in
testcases, or 225 if we use --verify-each.  Reproduce by running make check
after applying the following patch:

diff --git a/lib/IR/Verifier.cpp b/lib/IR/Verifier.cpp
index 887ca7d..f7771bc 100644
--- a/lib/IR/Verifier.cpp
+++ b/lib/IR/Verifier.cpp
@@ -77,7 +77,7 @@
 #include <cstdarg>
 using namespace llvm;

-static cl::opt<bool> VerifyDebugInfo("verify-debug-info", cl::init(false));
+static cl::opt<bool> VerifyDebugInfo("verify-debug-info", cl::init(true));

 namespace {
 struct VerifierSupport {
diff --git a/tools/opt/opt.cpp b/tools/opt/opt.cpp
index 8f958bb..da897de 100644
--- a/tools/opt/opt.cpp
+++ b/tools/opt/opt.cpp
@@ -94,7 +94,8 @@ static cl::opt<bool>
 NoVerify("disable-verify", cl::desc("Do not verify result module"),
cl::Hidden);

 static cl::opt<bool>
-VerifyEach("verify-each", cl::desc("Verify after each transform"));
+VerifyEach("verify-each", cl::desc("Verify after each transform"),
+           cl::init(true));

 static cl::opt<bool>
 StripDebug("strip-debug",

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20140415/0264ffe7/attachment.html>