[IR/Verifier] Each DISubprogram with isDefinition: true must belong to a CU.
authorDavide Italiano <davide@freebsd.org>
Tue, 12 Apr 2016 18:22:33 +0000 (18:22 +0000)
committerDavide Italiano <davide@freebsd.org>
Tue, 12 Apr 2016 18:22:33 +0000 (18:22 +0000)
commitb390d8ee3980f729d1dc777c0cf422a2d72eb625
tree1ff64a6944685e5c8c674b3451f2ff0b4cceec9f
parentc3943574301f575ec22c1789836898614f96b86b
[IR/Verifier] Each DISubprogram with isDefinition: true must belong to a CU.

Add a check to catch violations. ~60 tests were broken and prevented
this change to be committed. Adrian and I (thanks Adrian!) went
through them in the last week or so updating. The check can be
done more efficiently but I'd still like to get this in ASAP to
avoid more broken tests to be checked in (if any).

PR:  27101
llvm-svn: 266102
llvm/lib/IR/Verifier.cpp
llvm/test/Verifier/disubprogram-nocu.ll [new file with mode: 0644]