[Verifier] Handle more funclet edge cases
authorDavid Majnemer <david.majnemer@gmail.com>
Mon, 29 Feb 2016 22:56:36 +0000 (22:56 +0000)
committerDavid Majnemer <david.majnemer@gmail.com>
Mon, 29 Feb 2016 22:56:36 +0000 (22:56 +0000)
commitfe2f7f367a09cc5b0330b87c0f0b0078a0700a8f
treecc40146a7df6c7f1b509d784e4f2e92cc9799622
parent83be06e52960e56ed6b7c78d151bbe4dff941a5f
[Verifier] Handle more funclet edge cases

This change makes the verifier a little more paranoid.  It was possible
to trick the verifier into crashing or infinite looping.

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