[Verifier] Diagnose when unwinding out of cycles of blocks
authorDavid Majnemer <david.majnemer@gmail.com>
Tue, 1 Mar 2016 01:19:05 +0000 (01:19 +0000)
committerDavid Majnemer <david.majnemer@gmail.com>
Tue, 1 Mar 2016 01:19:05 +0000 (01:19 +0000)
commitf08579f5a875d599eacbef3a744972dd71fc2a51
treedfb259002fb08f03f455789b7d49c99eddda3b64
parente5ec0623d15e99577e7d55c97d01fddfcc06effe
[Verifier] Diagnose when unwinding out of cycles of blocks

Generally speaking, this can only happen with unreachable code.
However, neglecting to check for this condition would lead us to loop
forever.

llvm-svn: 262284
llvm/lib/IR/Verifier.cpp
llvm/test/Verifier/invalid-eh.ll