[PATCH] D19988: Separate the Verifier into an analysis and a transformation pass optionally stripping malformed debug info.

[Adrian Prantl via llvm-commits]

aprantl created this revision.
aprantl added a reviewer: joker.eph.
aprantl added subscribers: dexonsmith, llvm-commits.

This patch separates the Verifier into an analysis and a transformation pass, with the transformation pass optionally stripping malformed debug info.

The problem I'm trying to solve with this sequence of patches is that historically we've done a really bad job at verifying debug info. We want to be able to make the verifier stricter without having to worry about breaking bitcode compatibility with existing producers. For example, we don't necessarily want IR produced by an older version of clang to be rejected by an LTO link just because of malformed debug info, and rather provide an option to strip it. Note that merely outdated (but well-formed) debug info would continue to be auto-upgraded in this scenario.

rdar://problem/25818489

http://reviews.llvm.org/D19988

Files:
  include/llvm/IR/DiagnosticInfo.h
  include/llvm/IR/Verifier.h
  lib/IR/DiagnosticInfo.cpp
  lib/IR/Verifier.cpp
  lib/Passes/PassRegistry.def
  unittests/IR/VerifierTest.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D19988.56319.patch
Type: text/x-patch
Size: 7218 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160505/e87c8664/attachment.bin>