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

[Keno Fischer via llvm-commits]

loladiro added a comment.

The only cases I've found in the test cases that intentionally omit compile units from the .cu node are the AddDiscriminator tests. Are those the ones you are thinking about. For now, I made them all `isDefinition: false`. However, if this is something we want to support (creating debug info, but not codegening it), how about we just create a different global named metadata `llvm.dbg.cu.noemit` (bad name, please suggest something better), into which we pull all compile units we don't want to emit, but the Verifier could still look at it.


http://reviews.llvm.org/D16228