[Verifier] Avoid asserting on invalid cleanuppad chain
authorNikita Popov <npopov@redhat.com>
Fri, 14 Jan 2022 11:08:33 +0000 (12:08 +0100)
committerNikita Popov <npopov@redhat.com>
Fri, 14 Jan 2022 11:10:41 +0000 (12:10 +0100)
commited30a968b5d6cb1adc94f246a064eeb71a314120
tree94303a5a707fa868caddd3053c4b4e647cabb490
parentcc79d603c90e3b4768e7f7bd6a6d9289fbf7f6d1
[Verifier] Avoid asserting on invalid cleanuppad chain

The invalid undef value already triggers a verifier failure, but
then the upwards scan from the cleanuppad ends up asserting. Make
sure this is handled gacefully instead.
llvm/lib/IR/Verifier.cpp
llvm/test/Verifier/invalid-cleanuppad-chain.ll [new file with mode: 0644]