[PATCH] D63499: Add debug location verification for !llvm.loop attachments

[Adrian Prantl via Phabricator via llvm-commits]

aprantl created this revision.
aprantl added reviewers: Orlando, anemet.
aprantl added a project: debug-info.
Herald added subscribers: dexonsmith, hiraditya, mehdi_amini.
Herald added a project: LLVM.

This patch teaches the Verifier how to detect broken !llvm.loop attachments as discussed in https://reviews.llvm.org/D60831. This allows LLVM to warn and strip out the broken debug info before attempting an LTO compilation with input generated by LLVM predating https://reviews.llvm.org/rL361149.

rdar://problem/51631158


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D63499

Files:
  llvm/lib/IR/Verifier.cpp
  llvm/test/Verifier/llvm.loop.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D63499.205378.patch
Type: text/x-patch
Size: 4263 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20190618/6d9fbc6b/attachment.bin>