[PATCH] D16228: [Verifier] Check that all subprogram definitions are reachable from dbg.cu

[Keno Fischer via llvm-commits]

loladiro created this revision.
loladiro added reviewers: dexonsmith, dblaikie.
loladiro added a subscriber: llvm-commits.
loladiro set the repository for this revision to rL LLVM.

The backend requires that any subprogram definition belongs to some compile unit that is declared in the llvm.dbg.cu named metadata node. Check this, by going through all of them at the very beginning of module Verification, and adding them to the MDNodes set. After this initial pass, getting to any subprogram definition again is an error, because it means that such a subprogram was not referenced from llvm.dbg.cu.

Repository:
  rL LLVM

http://reviews.llvm.org/D16228

Files:
  lib/IR/Verifier.cpp
  test/DebugInfo/Generic/2010-07-19-Crash.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D16228.44997.patch
Type: text/x-patch
Size: 5738 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160115/68748a34/attachment.bin>